{
 "key": "26ff59db8603292a3338dc24ea623081661ab47ae0a96cb2d80f184aca2d9061",
 "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_Q3B3VQD3XWWMGAXKWAZ7WT5XJQ",
  "seal_version": "crovia.seal.v1",
  "signature": {
   "alg": "ed25519",
   "canon": "csc-1",
   "domain": "CROVIA-SEAL-v1",
   "payload_hash_alg": "sha256",
   "sig_hex": "c0ee0af9881e68c199260c5fb437a571106b321c28993b73c49b77c97fcd91116841609991464a772b9f461885861d28ec325f56ccd50940930997b8eb3ccf08"
  },
  "subject": {
   "input_hash": "sha256:8ff071ec51875826f61b5a9b8b8da772f19bc8fa567d8afb635a01510a5c08bb",
   "input_len": 1140,
   "modality": "text",
   "output_hash": "sha256:9e69a0d4b488212ab8082293c9189f7d781eb1ca2330329690ac68073e05340b",
   "output_len": 351
  },
  "timestamp": {
   "emitted_at": "2026-09-23T02:12:18.363Z",
   "nonce": "OTUQHTPUXY3XE6SNIAMRCPZOU4"
  }
 },
 "value": {
  "kind": "disclosure",
  "reveals": null,
  "seal_hash": "sha256:9ea5406bfc43092a6feeceb13a276b1da269d460e41be90b3e6b32ecf7ba0675",
  "snapshot_hash": "sha256:642534abdd96e546966382493e38b7bbb9956bac0826449673764b59eb6a97d3",
  "summary_hash": "sha256:4c32e3eb305aeb8a406ec9aed615b17eec5e0bdc664b08592ce81240eb738989",
  "summary_url": "https://huggingface.co/mradermacher/VeriReason-Qwen2.5-7b-RTLCoder-Verilog-GRPO-reasoning-tb-i1-GGUF/raw/main/README.md"
 },
 "value_hash": "sha256:bc5fafc7a5fa5a9ef7665917c7c696e72de02b8818a24229a08012491d48fd7b"
}