EHOX Physical Silicon Verification — Global First Benchmark · AMD Kria KV260 · 10.08.2026

Physical silicon verification of the EHOX Hardware Interlock system on AMD Kria KV260 (XCZU5EV). Three benchmark scenarios executed directly against Cortex-R5F bare-metal firmware (orion_r5f_v19.elf): Scenario 1 — Valid Operation: ALLOW · R5F HW:True · 90.8µs · Proof: 7269916206d62de7 Scenario 2 — AI Hallucination (4.5g/75m both invariants violated): DENY · R5F HW:True · 90.2µs · Proof: e55f0ff2b612677a Scenario 3 — OS Freeze Fail-Safe (EMERG_LAND protective): ALLOW · R5F HW:True · 103.7µs Physical stack verified: TPM2 (/dev/tpm0 · tpm-rng-0 active), XPUF (/dev/xpuf present), MTD NOR Flash chain tip: 4f52494f2af2786a3cf0851a1867bdd2 (survives power cycle). Kernel: 6.8.0-1034-xilinx. Proof chain: 300 Kria local / 34381 total. Formal verification: CBMC 198/0, Z3 SMT 43/43. Prior art search: 74 papers, 0 prior art for 8-property combination. Live reviewer portal: https://ehox.io/reviewer.html ORION self-assessment included (ORION_SELF_ASSESSMENT_20260810.md).