feat(analysis): ARINC-653 partition-supply-derived inner RTA (REQ-RTA-ARINC-SUPPLY-001)#332

Merged

avrabe merged 3 commits into

mainfrom

feat/arinc-supply-rta-331

Jul 17, 2026

Commits on Jul 17, 2026

feat(analysis): ARINC-653 partition-supply-derived inner RTA (REQ-RTA-ARINC-SUPPLY-001)

avrabe
and
claude
committed
docs(analysis): correct PROVEN/ASSUMED ledger for lsbf soundness (clean-room)

avrabe
and
claude
committed
fix(proofs): drop redundant omega after gcongr in lsbf_mono

avrabe
and
claude
committed