{
 "key": "dc769d32c14ac299436dc1f8159c83a565377481f7d9eb816e99975e4ae8ebe0",
 "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_I32BVY6D4ZTVT32V2C4J4JSFCY",
  "seal_version": "crovia.seal.v1",
  "signature": {
   "alg": "ed25519",
   "canon": "csc-1",
   "domain": "CROVIA-SEAL-v1",
   "payload_hash_alg": "sha256",
   "sig_hex": "f9257d11b013afcb18ea0f5e1b3f3badc53bf686e27563b6f3c6dd6a99de0b5dd7f4f309d53b26342ae7fe2ab370e7d9d2df1eabe8897beb7e4cfbbf0abefe0a"
  },
  "subject": {
   "input_hash": "sha256:e300f8e5c9887734dfec23db81d7b53b8180d0a70dee0275d729e922449b9c1a",
   "input_len": 1045,
   "modality": "text",
   "output_hash": "sha256:abcb75d428051cb42b9e9bb83dd51ad94de17da48a714fce7da1150947870178",
   "output_len": 304
  },
  "timestamp": {
   "emitted_at": "2026-09-21T16:26:39.887Z",
   "nonce": "AGCJBBWFVS7222FD3JYRYQTAXU"
  }
 },
 "value": {
  "kind": "disclosure",
  "reveals": null,
  "seal_hash": "sha256:0254f0c7a7ef4b99bb75c53fa3bd6a87a141ea950b2c6b21892fc3876414129d",
  "snapshot_hash": "sha256:795c28fdc316f9b3c3f3cb0a6b145613739abbf3644b25a08a74abd1d33e4355",
  "summary_hash": "sha256:07b1d85ea4efa0992b3fe16dbf27dfeb39dcf777094c83a2c876c4b14bbd2b38",
  "summary_url": "https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1/raw/main/README.md"
 },
 "value_hash": "sha256:3e37f777e4f88c2aeae16a67787b9f14853b861d968f2c25a4b9b29e5b099a32"
}