aarch64: VCR-SEL-005 third-backend parity gate + 13 measured op gaps closed (#851, #883) - #889

Merged

avrabe merged 5 commits into

mainfrom

feat/aarch64-residual-851

Jul 30, 2026

Commits on Jul 29, 2026

feat(aarch64): VCR-SEL-005 third-backend parity gate + close 13 measured op gaps (#851)

avrabe
and
claude
committed
ef21745
test(aarch64): execution-verify the 13 op-surface closes — matrix 35→45 ops + surface differential (#851)

avrabe
and
claude
committed
92637fd
feat(aarch64): refuse active data segments + select/CSEL + wrap/extend/memory.size (#851)

avrabe
and
claude
committed
1a24bba
style(#851): fmt + clippy doc-paragraph fix; regen status/FEATURE_MATRIX

avrabe
and
claude
committed
314250e
fix(#880/#851): re-pin the aarch64 div/rem+popcnt claim after the v0.53 op-list growth

avrabe
and
claude
committed
9622cfc