{
 "key": "7db34a24000ceebcc097ca4c9dc17eb56bb71c75374877bdcf3bbedbf0b2b40b",
 "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_OQATV6BFXQS4G2JNVOVZOU7K5Q",
  "seal_version": "crovia.seal.v1",
  "signature": {
   "alg": "ed25519",
   "canon": "csc-1",
   "domain": "CROVIA-SEAL-v1",
   "payload_hash_alg": "sha256",
   "sig_hex": "e0b8739e0dc8639d40fb9d84bbc2141dbc5ece0d2da31e9b3c2613387fe59228932dd9c2f73c8cd186e4047c51b45bef824a5608a8d834f128aaad09bf1b3a0f"
  },
  "subject": {
   "input_hash": "sha256:f5dbe068075e7be2946da1c783c06c477678cb32295963615b6c723e11c854dd",
   "input_len": 1036,
   "modality": "text",
   "output_hash": "sha256:51f6b7fbd0c088691f1f9f755696112a4cfab3935188e99fffb981e24bf08247",
   "output_len": 299
  },
  "timestamp": {
   "emitted_at": "2026-09-21T07:00:58.972Z",
   "nonce": "RCLDOUSMYB22PEJRXUMC4M2CEY"
  }
 },
 "value": {
  "kind": "disclosure",
  "reveals": null,
  "seal_hash": "sha256:52c8afbaa8a71bb8709248aab9f55b273b42aa2f65b480f34359f6c8ff65c397",
  "snapshot_hash": "sha256:591262cfbbaa94f69e088413d51a348529a30b291f45765416a482725c9b2519",
  "summary_hash": "sha256:14991725b60e132bd6d910d31d022eb26ea75c0447d24a2f9fae647804262a12",
  "summary_url": "https://huggingface.co/allenai/Flex-math-2x7B-1T/raw/main/README.md"
 },
 "value_hash": "sha256:104247e28341b851a8e6de98d9896f7d35f1fdb286e11fde4f134063c22d8f38"
}