Engineering & Technologyarticle2026-08-15

EHOX TRL-7 Frozen Baseline — Live Hardware Test Suite 15 August 2026

Open access0 citations

Abstract

Formal freeze of EHOX (Hardware-Enforced AI Policy Governance) at TRL-7 (Technology Readiness Level 7, ESA ECSS-E-AS-11C). Contains live test results from Kria KV260 hardware (board serial XFL1HAY5NOFV): CBMC 6.9.0 live verification (198 assertions, 0 failures, 2026-08-15T06:03:20Z), Z3 SMT 4.16.0 spot check (5/5 theorems live, 2026-08-15T06:03:37Z), HWRNG entropy measurement (256 bytes, Xilinx TRNG, sha3-256: 7e7c55ab...), XPUF silicon fingerprint (421224fb361a8060), system uptime 84,273 seconds continuous operation. All tests globally verifiable at https://api.ehox.io/. TRL-8 explicitly NOT claimed. Origin: Gerhard Hirschmann & Elisabeth Steurer, St. Johann in Tirol, Austria. OHL-EHOX-1.0. ORION Genesis Workspace System.

// Source

View paper (DOI)Open access versionOpenAlexZenodo (CERN European Organization for Nuclear Research)Published 2026-08-15

Authors: Gerhard Hirschmann, Elisabeth Steurer

Institutions: Tirol Kliniken, EOX IT Services (Austria)