{
 "environment": {
  "platform": "Linux-7.0.0-38-generic-x86_64-with-glibc2.43",
  "python": "3.14.4"
 },
 "files": {
  "benchmark.json": {
   "bytes": 2212,
   "sha256": "4549a83fee2dcb0ac8f903cf370280462ab020471ff70603733632fd7290aecf"
  },
  "docs/ARCHITECTURE.md": {
   "bytes": 12279,
   "sha256": "37058111b2f134bcd21842c8d372ba0f5d6770f654b5a5bf575b7bb0545eb5c5"
  },
  "docs/ASSURANCE_CASE.md": {
   "bytes": 5908,
   "sha256": "e5a6276b1d214e17d7fc253ad6982fbb5d08a27f05df69c1dc5f7b6e65c4817d"
  },
  "docs/FINDINGS.md": {
   "bytes": 3752,
   "sha256": "18912a569341bc3b7b11c1d690cb678d2ba3d31b88f4327bb4e9ac73ebb13dae"
  },
  "docs/INTEGRATION.md": {
   "bytes": 8301,
   "sha256": "2e17d72ff8d336a5079327e4bc355f570f1b56ece39b32ecdfef763298db04d3"
  },
  "docs/LIMITATIONS.md": {
   "bytes": 5501,
   "sha256": "261e3ca95fd20bb9274c1fd0f87ba4a7ffcab0d7877ea450a9aeafe5eed38cce"
  },
  "docs/README.md": {
   "bytes": 4112,
   "sha256": "69199c9ad947b3b1ee3466536c5ba87471edf77fcfa09bb13e33fab529cabbee"
  },
  "docs/RUNTIME.md": {
   "bytes": 5264,
   "sha256": "f9e775035c75835bba46e8310fa3ecfb2a19378cddf105e894f23719048e4630"
  },
  "docs/SECURITY_INVARIANTS.md": {
   "bytes": 7061,
   "sha256": "a9ed1d4dc85ad344f9a5319c5d03b349f19017f0be741a11f1b83204b461b840"
  },
  "docs/THREAT_MODEL.md": {
   "bytes": 11850,
   "sha256": "350717dab37898418d3717400f934c0f2d3bfd124648ed7510ff56e440138347"
  },
  "docs/auditor/EXPECTED_RESULTS.md": {
   "bytes": 1337,
   "sha256": "76329fabb3dd96e569cbb45d767d86bbcf10865dc4559b1e2bcdd747ba3e0519"
  },
  "docs/auditor/FINDINGS_TEMPLATE.md": {
   "bytes": 668,
   "sha256": "4427ea61c415573bba7adc0a42eb8486af26202a03b2a1dc51835d7590995c05"
  },
  "docs/auditor/PROVENANCE.md": {
   "bytes": 1026,
   "sha256": "016625d5202f39f38c69b4cb9c63b77a25fbedebed757140110cd2b3decb9ed2"
  },
  "docs/auditor/QUICKSTART.md": {
   "bytes": 980,
   "sha256": "cc1356587ec9aa21016100e2363965942c883e50fb7464e95d1a5e4f90e4a5ed"
  },
  "docs/auditor/VERIFY_INSTRUCTIONS.md": {
   "bytes": 1886,
   "sha256": "f86bd40d5520175cb3a43fe5f4dda3627176358f6f5a4b37764ae0de53a93788"
  },
  "docs/formal/IHVRK.cfg": {
   "bytes": 313,
   "sha256": "197d9c9cb6eac96c6c5368f057ae034d6e54261bb8dc6e019d147396b6b0ea9d"
  },
  "docs/formal/IHVRK.tla": {
   "bytes": 9685,
   "sha256": "735910adc2c7f25bce6bb0f2235919f9421885e265fa26901a04cdd8fcd8f3b2"
  },
  "docs/formal/IHVRK_no_auth_check.cfg": {
   "bytes": 322,
   "sha256": "920b73d1fd6e7fc6328daa1f55ccff4ae6bcf57a8647ea86cd15211a34e5eead"
  },
  "docs/formal/IHVRK_no_digest_check.cfg": {
   "bytes": 324,
   "sha256": "d7554ae17aee13a9fae15e2443aab68e19cf9883325d149fa872376c438f19a1"
  },
  "docs/formal/IHVRK_no_nonce_consume.cfg": {
   "bytes": 325,
   "sha256": "2a417f6199608d97e8b6f6b9c9ebb50231a8a97f36267ec2ca1881310f41ceb1"
  },
  "docs/formal/IHVRK_permit_reuse.cfg": {
   "bytes": 321,
   "sha256": "e83bc273ec35ddbc879459983ab25d4f293242009a9e7f7be5b59eeae2c67910"
  },
  "docs/release_gate.json": {
   "bytes": 2224,
   "sha256": "97bd4854c196644a958950619b4c0d774b16597d2511c96de21b4e525e93c5b6"
  },
  "docs/schemas/action_proposal.schema.json": {
   "bytes": 803,
   "sha256": "37933429bc8fce98d6a7be2c9f80c98a0e6a5681115e752c40942f1ce3015f34"
  },
  "docs/schemas/approval.schema.json": {
   "bytes": 2413,
   "sha256": "b959a1b8a4aa4bc84f88f7b2d6ebd45ec24690935fa68fc7f9602ea60d2b56f9"
  },
  "docs/schemas/break_glass_grant.schema.json": {
   "bytes": 1312,
   "sha256": "9c00dd9053e1a019f9dd4ea2b656e4674871194582dcc4857167dfaae1772c54"
  },
  "docs/schemas/challenge.schema.json": {
   "bytes": 1725,
   "sha256": "45051e652601168dbef021a017a21a0ffcc8e2d99f0a4bfb7369072db6a0f7ef"
  },
  "docs/schemas/decision.schema.json": {
   "bytes": 637,
   "sha256": "0aeee51275081bdda54bf4a477e174cc858b6c4eb00a11c1b0fea8a8e840eb89"
  },
  "docs/schemas/ledger_record.schema.json": {
   "bytes": 1353,
   "sha256": "bc2f04be6cb53a96e4dddc9edc24824d5473795a14443109f7c3b2cba58cae6f"
  },
  "docs/schemas/permit.schema.json": {
   "bytes": 1660,
   "sha256": "a7129600e65c37ae126fc6fc81b8e079572a80321e5959625f7aabbe84275926"
  },
  "ebpf_verifier_load.txt": {
   "bytes": 625,
   "sha256": "6348e16621f14c9d353846b6e90171b543b975a97ba3c9fcb31fbd46e9f292ce"
  },
  "mutation.json": {
   "bytes": 7670,
   "sha256": "7a97e95b38cd7b375242c975856453e714b688ab7843fed106719bfed2eb8cfd"
  },
  "sample_ledger/checkpoint_keys.json": {
   "bytes": 64,
   "sha256": "678559e607d599e2bb98d6b15271e83e1c5ac6ae327bfdb0c709cc208e19e936"
  },
  "sample_ledger/checkpoints.jsonl": {
   "bytes": 325,
   "sha256": "ca8578d36d70253c20b389b6f6ce78102785253e2a0b8ab1ea085cec85c38e6a"
  },
  "sample_ledger/ledger.jsonl": {
   "bytes": 19564,
   "sha256": "758e907f555c63fabbe713487628275ab709024a141f4ff39d33c8636207aa71"
  },
  "sample_ledger/tampered_deleted.jsonl": {
   "bytes": 18938,
   "sha256": "b5d241a8009c84dfe09bdbb87b5e570e9f97042d3573e5a26c8cb3097f406aa8"
  },
  "sample_ledger/tampered_modified.jsonl": {
   "bytes": 19564,
   "sha256": "1a6242684890dfe39479dfb9b7d99b2d745bb122937bfe42439e7646bac7426b"
  },
  "sample_ledger/tampered_truncated.jsonl": {
   "bytes": 16924,
   "sha256": "eb2ca20285edfa522b6475b9d23bd161bbdc7013b933ca59765218ef8025c497"
  },
  "test_results.json": {
   "bytes": 44071,
   "sha256": "3690e7eab1caae6329b90be94a7cb200fd07e052400b9fab70906cd92557cce7"
  },
  "tlc/design.txt": {
   "bytes": 6469,
   "sha256": "0852c1578df8a1399233c41a0a1db16e2ce6315ee1bbe850babba7bd708953dd"
  },
  "tlc/no_auth_check.txt": {
   "bytes": 5449,
   "sha256": "f499cd6bd8c5cf2df04ec695d6d52869852afffe52fd616f1b8742649bac100f"
  },
  "tlc/no_digest_check.txt": {
   "bytes": 6581,
   "sha256": "bf27bee5b175ba8eeeb406169c2ea9387f8f35a3124c1648026261b41a60a9c9"
  },
  "tlc/no_nonce_consume.txt": {
   "bytes": 5729,
   "sha256": "2689479b0735521527174253ec5ea8312ec1727be685abee2ace2a17601f4dca"
  },
  "tlc/permit_reuse.txt": {
   "bytes": 7219,
   "sha256": "0897fe216127c2e1f4b67b86467301367b2b2866f5f2a09620ac9975d83cc267"
  },
  "tlc_summary.json": {
   "bytes": 1746,
   "sha256": "7091cf4487294231bbbe8e776f4f59a1ac9011a86e1575b1beb2623909ffd503"
  },
  "verify_ihvrk_evidence.py": {
   "bytes": 10263,
   "sha256": "a4cb2db9839034e018439dcf86fa2c3f6dda6882361261ff175a09628f402342"
  },
  "z3_proofs.json": {
   "bytes": 21640,
   "sha256": "c04918fd0f1304eb06bb4a9bd0ef98bcb306da72fb61e0269628b6308b919949"
  }
 },
 "ihvrk_tree_clean_at_generation": true,
 "sample_ledger": {
  "checkpoint_count": 28,
  "note": "synthetic run; keys are fresh SOFTWARE_TEST keys generated for this bundle only",
  "records": 28
 },
 "schema": "ihvrk.evidence_manifest/1",
 "signature": "UNSIGNED: this manifest is integrity-checked by sha256 only; a signed kit release is the auditor-kit release key's job (owner-held)",
 "source_commit": "ef92dfd109e9f83d72662a11126564789785ffec",
 "tests": {
  "error": 0,
  "failed": 0,
  "passed": 301,
  "skipped": 0
 }
}