{
 "key": "4157622d14fceb7b8f6ed574b6191487c30c3a70aad256ef1caf65d00015ac6a",
 "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_TXIREXP4TC6UJNUJS5SV2TRATM",
  "seal_version": "crovia.seal.v1",
  "signature": {
   "alg": "ed25519",
   "canon": "csc-1",
   "domain": "CROVIA-SEAL-v1",
   "payload_hash_alg": "sha256",
   "sig_hex": "2ef08696323a76c6e028808718593772795eee2aec709a6cc0fd550b5a0a97c1930d2c31461292af8a340ffb946c9ac1409f7165ce657f3082ce9cc692142b0b"
  },
  "subject": {
   "input_hash": "sha256:33e0874c11de226f21411ab0737f48ec1807ffee90368a5ece4319946a41923b",
   "input_len": 1050,
   "modality": "text",
   "output_hash": "sha256:55434bf780180b7e8262ff4b559523dd8d9e1f1bb7c5cbf15140fa5be8ef5708",
   "output_len": 306
  },
  "timestamp": {
   "emitted_at": "2026-09-22T11:06:04.973Z",
   "nonce": "SIG4R7D3GBJVOYBAZM4NTO6NCQ"
  }
 },
 "value": {
  "kind": "disclosure",
  "reveals": null,
  "seal_hash": "sha256:fb796e2f2e79ec1b62b079ad11655fb6db211b8fbe20b996bfb543d96f1ffd8a",
  "snapshot_hash": "sha256:2101cd0bfbdb4673a8029ff7e8b90bee771a9e35556916743a636954ad364953",
  "summary_hash": "sha256:55648fa3d27835044b230efd760daea56c3e4138e37f363ca8e92a64cab5afed",
  "summary_url": "https://huggingface.co/internlm/internlm2_5-step-prover/raw/main/README.md"
 },
 "value_hash": "sha256:ad9b823a7b064d78cbd5ed90f1011cf8a4139fd8455be459becf2d27c24685d7"
}