feat(aarch64): complete the scalar float surface — rounding, FP memory, i64 converts, GUARDED i64 truncations (#851) - #898

Merged

avrabe merged 9 commits into

mainfrom

feat/v054-l2-aarch64-float

Aug 5, 2026

Commits on Jul 30, 2026

feat(aarch64): encoder support for FRINT/FP-mem/i64→float converts (#851)

avrabe
and
claude
committed
22fc68e
feat(aarch64): close ROUNDING + I64_TO_FP parity gaps (#851)

avrabe
and
claude
committed
a81b034
feat(aarch64): close the FP_MEM parity gap — bounds-checked f32/f64 load/store (#851)

avrabe
and
claude
committed
131f604
feat(aarch64): close TRAP_TRUNC_I64 — domain-guarded i64-target truncations (#851)

avrabe
and
claude
committed
5394d42
test(aarch64): CI-wired boundary-table oracle for the float-completion surface (#851)

avrabe
and
claude
committed
1fc58c8
docs(aarch64): matrix + feature-matrix template + CHANGELOG for the float completion (#851)

avrabe
and
claude
committed
6140447
chore: regenerate status artifacts for the aarch64 float completion (#851)

avrabe
and
claude
committed
8b0b737
fix(ci): the float-completion gate could pass while its oracle FAILED (#890)

avrabe
and
claude
committed
52a8d87

Commits on Aug 5, 2026

Merge remote-tracking branch 'origin/main' into feat/v054-l2-aarch64-float
avrabe
committed
8a7b78c