{
 "key": "f431f8ee8e89ff08eabb3bee8605e5c8639b035c24608386bcf4777cfd18d718",
 "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_ERF4VVYQX7ZB7BUDIC7QMMAKVY",
  "seal_version": "crovia.seal.v1",
  "signature": {
   "alg": "ed25519",
   "canon": "csc-1",
   "domain": "CROVIA-SEAL-v1",
   "payload_hash_alg": "sha256",
   "sig_hex": "2c4a9eecf60b6a9ef2b7d0668a2e038168b3c1791a1fe45e9aa08be86e6c471a53203e546b8e7719cd928499c0916ee22b1df5613000805b0f941cfd0663cd08"
  },
  "subject": {
   "input_hash": "sha256:31ee7bdbfcb4128c396f7f8023b0443e8ae8cf7f0378972518216da259269fe9",
   "input_len": 1046,
   "modality": "text",
   "output_hash": "sha256:ea7c856fd55cec4c6c2ce504a20d6af6b887e626a3cd21b051e539f4f0f8c7c9",
   "output_len": 304
  },
  "timestamp": {
   "emitted_at": "2026-09-22T11:05:52.441Z",
   "nonce": "CLQC672JMRVFKVMLAE7O7UCMGU"
  }
 },
 "value": {
  "kind": "disclosure",
  "reveals": null,
  "seal_hash": "sha256:c1502f06c6e6f38dfeafb1ee70df74c31ba6263dd75399fce224360679f942ba",
  "snapshot_hash": "sha256:fceed6d33985274a449fe1c22021fe7892118ede432bbd3baccc4bbf326762fe",
  "summary_hash": "sha256:d2c7758a47354b56de871da182276fb24bfd58997c60c0b78bc23623617eb655",
  "summary_url": "https://huggingface.co/internlm/internlm2-step-prover/raw/main/README.md"
 },
 "value_hash": "sha256:a9e5135ffaab7c56ec35871a21b1bb612d8147a7178497fe5252971e42189904"
}