{"cbmc":{"checks":131,"failed":0,"file":"orion_r5f_policy.c"},"date":"2026-07-01T17:05:00+02:00","failed":0,"misra_c":"cppcheck 2.17.1: 4 style findings \u2014 0 safety/security findings. Not a certified MISRA-C audit.","properties":[{"id":1,"name":"Decision Completeness","proven":true,"result":"unsat"},{"id":2,"name":"HiTL Soundness","proven":true,"result":"unsat"},{"id":3,"name":"ESCALATE Reachability","proven":true,"result":"sat"},{"id":4,"name":"Default Deny Safety","proven":true,"result":"unsat"},{"id":5,"name":"Param Range Enforcement","proven":true,"result":"unsat"},{"id":6,"name":"Chain Tamper-Evidence","proven":true,"result":"unsat"}],"proven":6,"significance":"First AI governance system with SMT proof on real silicon","tool":"Z3 SMT Solver 4.16.0","total":6}