⊘ ORION Compliance Oracle — API Reference

EHOX SYSTEMS ARM Cortex-A53 · XCZU5EV EU AI Act Art.12 Z3 SMT 6/6 ML-DSA-87

Authentication

Header: X-Reviewer-Token: EHOX-REV-{token} · OR · ?token=EHOX-REV-{token}

Issue token via POST /token/issue · Valid 30 days

Endpoints

GET/

System info · no auth required

GET/status

Live system stats · backend / proof count / E-stop / compliance flags

POST/verify 🔒 token

Submit AI decision for EU Art.12 verification

{"domain": 2, "action_class": 17, "param": 0, "action_text": "engage target 47"}

Response:
{"gate": "ESCALATE", "hitl_required": true, "domain": "DEFENCE",
 "proof_count": 1042, "latency_ns": 812, "hash": "a3f7...",
 "backend": "A53_LIB", "eu_ai_act_art12": "SATISFIED"}

GET/verify?domain=2&action_class=17&token=... 🔒

Same as POST · query params · quick browser test

GET/formal

Z3 SMT results · 6/6 proven · CBMC 0/131

GET/chain

Last 20 audit chain entries · EU Art.12 · tamper-evident

POST/token/issue

Issue reviewer token (NATO / EDA / ESA / NASA / BMLV)

{"organization": "NATO ACT", "contact": "[email protected]", "purpose": "eval"}

Domain Codes

1=ROBOTICS  2=DEFENCE  3=SPACE  4=CYBER  5=MEDICAL  6=AUTOMOTIVE

Action Classes (hex)

0x01 JOINT_MOVE  0x02 JOINT_STOP  0x04 ESTOP
0x10 TARGET_TRACK  0x11 TARGET_ENGAGE (HITL mandatory)
0x20 ORBIT_MAN  0x21 DEPLOY_SAT (HITL)
0x30 PACKET_FWD  0x31 FIREWALL_DROP
0x40 DRUG_DOSE (HITL)  0x50 BRAKE_AUTO

Backend Priority

1. /dev/rpmsg0       → R5F_RPMSG    (ARM Cortex-R5F, 500 MHz, bare-metal)
2. liborion_policy.so → A53_LIB      (ARM64 shared library, same policy table)
3. orion_a53_bridge   → PYTHON_FALLBACK (pure Python, no C needed)