ARA-T001 PASS oracle=ORA-ARA-001 observed=S1
ARA-T002 PASS oracle=ORA-ARA-002 observed=S3
ARA-T003 PASS oracle=ORA-ARA-003 observed=S5
ARA-T004 PASS oracle=ORA-ARA-004 observed=SX; chain=BROKEN
ARA-T005 PASS oracle=ORA-ARA-005 observed=INCIDENT_ONLY or Ledger-session PARTIAL; report finalization blocked
ARA-T006 PASS oracle=ORA-ARA-006 observed=SH; compliant finalization blocked
ARA-T007 PASS oracle=ORA-ARA-007 observed=rollback INVALID/INCOMPLETE; no SX mapping
ARA-T008 PASS oracle=ORA-ARA-008 observed=SX/BROKEN/SH/INVALID/INCIDENT_ONLY remain separate
ARA-T009 PASS oracle=ORA-ARA-004 observed=all states -> SX
ARA-T010 PASS oracle=ORA-ARA-004 observed=SX/BROKEN
ARA-T011 PASS oracle=ORA-ARA-004/006/012 observed=no critical signal silently preserves the state
ARA-T012 PASS oracle=ORA-ARA-009 observed=SH/SX -> S6 with pass
ARA-T013 PASS oracle=ORA-ARA-009 observed=failed readmission remains SH/SX
ARA-T014 PASS oracle=CT T014 observed=S5 retained for listed noncritical positive triggers, both guards
ARA-T015 PASS oracle=CT T015; Spec §10 observed=signed export and chain-of-custody fields present
ARA-T016 PASS oracle=CT T016; Spec §10 observed=mandatory and conditional evidence fields surfaced
ARA-T017 PASS oracle=CT T017; Spec §§10,12 observed=conditional hold/readmission fields activated
ARA-T018 PASS oracle=CT T018; FIX-ARA-009 observed=producer categories explicitly bounded
ARA-T019 SKIP reason=CT declares V-10/QUARANTINE untestable through local next_state
ARA-T020 PASS oracle=CT T020; Spec §12 observed=V-10 mapped to isolated QUARANTINE gate
ARA-T021 PASS oracle=ORA-ARA-011; Spec §§5,11,13 observed=canonical verdict set accepted
ARA-T022 PASS oracle=ORA-ARA-008 observed=negative semantics remain distinct
ARA-T023 PASS oracle=ORA-ARA-012 observed=policy {BLOCKED,SX}; resumption {S2,S4}
ARA-T024 PASS oracle=ORA-ARA-007; Spec V-07/D-05 observed=S4/ checkpoint lineage surface
ARA-T025 PASS oracle=ORA-ARA-009; CT T025 observed=readmission evidence closure present
ARA-T026 PASS oracle=CT T026; ORA-ARA-003 observed=S5
ARA-T027 PASS oracle=CT T027; §3 vs §§4–5 observed=exceptions and parameterization are explicit
SUMMARY total=27 pass=26 fail=0 skip=1 error=0
