EHOX Silicon Benchmark: HOTL EW-Jamming Heartbeat Timeout Proof — Live R5F Payload + Actuarial Significance

This technical note presents the live machine-generated decision payload from the ARM Cortex-R5F TCM bare-metal firmware (v19, NRULES=31) on the AMD Kria KV260, demonstrating the EHOX GLOB-4 scenario: an Electronic Warfare (EW) jammer cuts the cryptographic operator heartbeat link while an autonomous swarm system initiates a kinetic engagement (Action Class 0x11). The R5F responds with a hardware register clamp (0.0V) in 44 nanoseconds -- before any firing or motor circuit can activate -- producing decision: DENY, rule: HOTL_EW_HEARTBEAT_TIMEOUT, override_possible: false. Legacy OS systems require 100ms-5000ms for the same detection. The document introduces the actuarial significance of this proof: for the first time, an autonomous weapon system's fail-safe is actuarially provable through a public API call, creating the foundation for LAWS liability insurance under EU Product Liability Directive 2024, NATO AQAP-2110, and DODD 3000.09. Formal verification: Z3 SMT 43/43, CBMC 198/0 (v19 firmware). Parent benchmark: DOI 10.5281/zenodo.21877692 (GLOB-4). Origin: Gerhard Hirschmann / EHOX / ORION Genesis Workspace System, 10.08.2026.