feat(#815): VCR-RA-003 RV32 register-allocation validator (RV32 analogue of the ARM gate)#821

Merged

avrabe merged 2 commits into

mainfrom

feat/50-rv32-alloc-validator

Jul 18, 2026

Commits on Jul 17, 2026

feat(#815): VCR-RA-003 RV32 register-allocation validator (RV32 analogue of the ARM gate)

avrabe
and
claude
committed
docs(#815): rustdoc-clean the RV32 validator + name the store-side FN boundary

avrabe
and
claude
committed