{
 "key": "b735ac0aaaec804a3e0960716dab621eef5c909d09be7741b908a52b099dcb15",
 "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_ODA756T4YUO4GEGQ77ZKDUCZTA",
  "seal_version": "crovia.seal.v1",
  "signature": {
   "alg": "ed25519",
   "canon": "csc-1",
   "domain": "CROVIA-SEAL-v1",
   "payload_hash_alg": "sha256",
   "sig_hex": "62f98dcccafc670f117f4977dc40f4a496238518daef759c185f4d91ea3b457f03cd60dc5525f940179105f3bf075909f90a4724afdad0cfed0713ebf221f407"
  },
  "subject": {
   "input_hash": "sha256:48b0509c5ff33fd384713528119bce9252c9b713afe9127899cc6b192c2c5252",
   "input_len": 1118,
   "modality": "text",
   "output_hash": "sha256:c4352b2789e69914469cb287ae6d49347bfe3af972fb4c528b0439a8eace335c",
   "output_len": 340
  },
  "timestamp": {
   "emitted_at": "2026-09-20T16:06:01.331Z",
   "nonce": "CPSAYWNLDMN446RPLPKF7OVOGM"
  }
 },
 "value": {
  "kind": "disclosure",
  "reveals": null,
  "seal_hash": "sha256:7526f161a012855eccb64ed985652ad764f11f967687bd6f33f853e2c665379a",
  "snapshot_hash": "sha256:bcbe5c02563ee64d2c65ad5f6f0d4407cfbe5500655840469465e57b3cbf9ecc",
  "summary_hash": "sha256:3c61781f4f2a474447179666cb812b285adaa391486769ac3d11466e6ee9a2ea",
  "summary_url": "https://huggingface.co/Nellyw888/VeriReason-Qwen2.5-3b-RTLCoder-Verilog-GRPO-reasoning-tb/raw/main/README.md"
 },
 "value_hash": "sha256:6f293436e57318928b1e66be79a59b7212a0617d4348882be0fd981d8a5aff76"
}