FIVE-ORACLE DETERMINISTIC FALSIFICATION LEDGER // SBOM.CDX.JSON
Cryptographic SHA-256 Artifact Provenance Manifest (v1.0.0)
Every mathematical theorem, cycle-accurate simulation trace, post-route Vivado report, 7nm OpenROAD sign-off receipt, Dual-AFI AWS F2 silicon log, and Kubernetes admission receipt is cryptographically sealed below and cross-checked in CI.
01. Sealed Artifact SHA-256 Digests
| Repository Artifact | SHA-256 Digest |
|---|---|
| 00_Author_Manuscript_Source/preprint_Murphy_v1_0_0.tex | b576d886ee3f8605bfe39cd938aebd20170d342536eb0f5951321b901e9b6d4e |
| formal_lean4/CxlSubflitSanitizerFormal.lean | d0b41201b49cc92d3ade5c689439052322cfc3bb1af025b8f01a0692de47436f |
| formal_lean4/CxlSubflitSanitizerExtensions.lean | fe8efc2f6a76b5f7c56bbe039b9235ebe2304c8100b5120b29adabd2bfcbc1f6 |
| reports_public/vivado_xcvu47p_core_timing_summary.rpt | a900cc749cf81511a0a933b08281fa88ebd491391f45b253993b41527dba8ae0 |
| reports_public/vivado_xcvu47p_core_utilization.rpt | d2e08f40667679da1ecd361adf658dc38aa772734b1b5647a4062cabde0b7085 |
| reports_public/vivado_xcvu47p_drc_audit.rpt | aa7886f9555e100fa1ad71bb3715e61d1792460c6152073c56f3f663a7155d29 |
| reports_public/vivado_xcvu47p_power.rpt | d3896ee98ca541f3c265e6ed158cd17076ba68f9b856d108bd66062183d5bde1 |
| sim/benchmark_workload_and_martingale.py | 66813682ffd1e133d39675a27301720375f0f0897e401dc17d8a97cec5cfc601 |
| reports_public/ZK_LEC_MITER_RECEIPT.json | 46bee17ecb4354909ebc9d04da3fe835883e0ee827a585edc80e20f2f52ee359 |
| reports_public/STAGE2_AWS_F2_SILICON_RECEIPT.json | eeca95b13d690c45f41643b1533229f1ff8fdab4be792d595c65187b4c1c6b54 |
| reports_public/TRL6_ASIC_7NM_ASAP7_SIGNOFF.json | 29d30a340852684986c6888471a674e46faa70e17fea92f8dc72d81b1712c7ab |
| reports_public/TRL7_AWS_F2_HBM2_DMA_RECEIPT.json | de49300290bc59489dc7ef13792935fa1cfe35a98f8184031292f5f6cea74c49 |
| reports_public/TRL8_K8S_OPERATOR_HIL_RECEIPT.json | 31933793b66dab1c494d11b167ae2bf67f3fcedcdced5137a13abaa8b2fa61ad |