{
 "key": "e2d7bed465e706f2fe73ea99f1ffa70c3391f8d1dc153da71cffe7115a734c02",
 "seal": {
  "chain": {
   "prev_seal_hash": null,
   "sequence": 0
  },
  "generator": {
   "id": "crovia/tacet-operator",
   "params": {
    "kind": "disclosure",
    "map_id": "urn:crovia:tacet:map:disclosure"
   },
   "version": "0.1.0",
   "weights_hash": null
  },
  "issuer": {
   "id": "urn:crovia:seal-issuer:tacet",
   "pubkey": {
    "alg": "ed25519",
    "key_hex": "628c15f65550e527a50b85a17b502010bc6c18e7249254483454e884eada837c"
   }
  },
  "seal_id": "cs_2026_YGQZT5VBLUFBY3WSRTAOLXQYBA",
  "seal_version": "crovia.seal.v1",
  "signature": {
   "alg": "ed25519",
   "canon": "csc-1",
   "domain": "CROVIA-SEAL-v1",
   "payload_hash_alg": "sha256",
   "sig_hex": "3fece98e7e3f7ca780221351d0efd563ab1e95978ebdc9069360c1bdb8aeebc08084709d750974ece3586bf1865e4d9f46416c53357c237b29cd27a164e9ce02"
  },
  "subject": {
   "input_hash": "sha256:4110fae8f6af7ef4bf9c77d34d30b1a9057b377f923be10ed442fbbaa714c725",
   "input_len": 1064,
   "modality": "text",
   "output_hash": "sha256:e1c6fad6bc9d579972399f9a118c3deac2ae951867cd720265c1fce7a2aa60cf",
   "output_len": 313
  },
  "timestamp": {
   "emitted_at": "2026-09-22T11:06:05.758Z",
   "nonce": "NV7N7U3I56G5C4MFG6KFTZMFFY"
  }
 },
 "value": {
  "kind": "disclosure",
  "reveals": null,
  "seal_hash": "sha256:c964fbc3a95ece0e017c82fd11c8cfea92afe8224a8beb53afceec46d48177e6",
  "snapshot_hash": "sha256:ca1b8c6187c96ba1d4e2960c892d371e5a3eb7aaeb09d476d241679ddde26f80",
  "summary_hash": "sha256:60aee3f416737b6c271b7cd8309d4a66b1f6653f4c2900fca68c6e3d5364f0e6",
  "summary_url": "https://huggingface.co/internlm/internlm2_5-step-prover-critic/raw/main/README.md"
 },
 "value_hash": "sha256:e09b0360c3b519bfb2a060a7b31b636b2c66939bc0030224d3042d163c1a1d39"
}