{"backend":"A53_HYBRID","company":"EHOX Systems \u00b7 St. Johann in Tirol \u00b7 Austria","docs":"/docs","eu_ai_act":"Art.12 COMPLIANT","formal":"Z3 SMT \u00b7 6/6 PROVEN \u00b7 01-JUL-2026","hardware":"AMD Kria KV260 \u00b7 XCZU5EV \u00b7 ARM Cortex-A53","hardware_verified":true,"owners":"Gerhard Hirschmann","post_quantum":"ML-DSA-87 \u00b7 NIST FIPS 204 (benchmark only \u2014 not yet in production request path)","proof_count":126,"r5f_online":true,"system":"ORION Compliance Oracle \u2014 Reviewer API","timestamp":"2026-08-03T05:55:50.799958+00:00","trust_level":"HARDWARE","version":"1.1.0","web":"paradoxon.at \u00b7 ehox.io"}