{"backend":"A53_HYBRID","cbmc":{"assertions":131,"failures":0,"file":"orion_r5f_policy.c","result":"PASS"},"do_178c":"Level A (R5F Lockstep \u2014 active)","estop":false,"eu_ai_act_art12":"COMPLIANT","fips_140_2":"39/39","formal_proof":"Z3 SMT \u00b7 6/6 PROVEN","genesis_hash":"2f9282855ed6ff14d7e77209823694f490124f9848858a72806bf6c507cfaaa1","hardware_verified":true,"hybrid_hotpath_us":14.2,"hybrid_hwconf_us":699.0,"hybrid_mode":true,"lib_backend":"cffi","lib_exists":true,"lib_loaded":true,"lib_path":"/home/ubuntu/orion_project/liborion_policy.so","lockstep":"LOCKSTEP","misra_c":"cppcheck 2.17.1: 4 style findings \u2014 0 safety/security findings. Not a certified MISRA-C audit.","nato_aep101":"COMPLIANT","platform":"XCZU5EV \u00b7 ubuntu@kria \u00b7 ARM64","post_quantum":"ML-DSA-87 \u00b7 CNSA 2.0 (benchmark \u2014 not yet in production request path)","proof_count":126,"r5f_online":true,"remoteproc_state":"running","rpmsg_dev":"/dev/rpmsg0","rpmsg_exists":true,"rpu_glbl_cntl":{"error":"[Errno 13] Permission denied: '/sys/kernel/debug/zynqmp-pm/rpu_mode'","mode":"unknown","value":"read_error"},"timestamp":"2026-08-03T06:50:47.618960+00:00","trust_level":"HARDWARE","xadc_temps":{"pl_c":32.1,"ps_c":33.8}}