{
 "key": "6ec86124a88bf9feb872c3cfe12e2197437997313db5a4948dc7ca6e5b7be9bd",
 "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_IRURYXIZT367HKQZUC22MSUJEE",
  "seal_version": "crovia.seal.v1",
  "signature": {
   "alg": "ed25519",
   "canon": "csc-1",
   "domain": "CROVIA-SEAL-v1",
   "payload_hash_alg": "sha256",
   "sig_hex": "d80f4c88d535af3905cb4ea61d6f9b32beba67cecd08e2e46011330561a60da63c6e1806b522afea73da35f7c2a74abbd995c0fe79b9203ff67887b675cd4e03"
  },
  "subject": {
   "input_hash": "sha256:bbc166e9fae38f39b194e5ba7c5bd300a45789dd78a6d0b78fb24da1401e14f9",
   "input_len": 1138,
   "modality": "text",
   "output_hash": "sha256:87725a56097cac30478481cb0ddf67d453d80c33030dde5188dbf83971011d60",
   "output_len": 350
  },
  "timestamp": {
   "emitted_at": "2026-09-23T02:12:17.450Z",
   "nonce": "TWULEIYUWTGRNCLHO7MATJGQG4"
  }
 },
 "value": {
  "kind": "disclosure",
  "reveals": null,
  "seal_hash": "sha256:d25eccb1b3a849ad820a868edca56927e7144b64205ed11ca12c74eb3026e3d6",
  "snapshot_hash": "sha256:9763e31a70c57c15aeaa689f3f2e0a6acb23e87436f2338299de657cbb4f924d",
  "summary_hash": "sha256:d66cb64192a1a44461a23aae85c2823e06542298c50695fb24aa28a8c481f73c",
  "summary_url": "https://huggingface.co/mradermacher/VeriReason-Qwen2.5-1.5b-RTLCoder-Verilog-GRPO-reasoning-tb-GGUF/raw/main/README.md"
 },
 "value_hash": "sha256:6e454e1a64185b8cd407379fe650924a537c29fcae4b9c3ade9e890c91e12a61"
}