aarch64: call_indirect (§4.4.8 traps) + globals + param homing (#851) - #899

Merged

avrabe merged 10 commits into

mainfrom

l3-aarch64-indirect-globals

Aug 5, 2026

Commits on Jul 30, 2026

aarch64: encoder primitives for call_indirect + globals (#851)

avrabe
and
claude
committed
0ca5042
aarch64 ELF: .data section + the four AArch64 relocation kinds (#851)

avrabe
and
claude
committed
e42ae16
core: structural type-class ids + per-type result counts for aarch64 dispatch (#851)

avrabe
and
claude
committed
a7caca0
aarch64: substrate planner — the one source of both emitted regions (#851)

avrabe
and
claude
committed
eea007b
aarch64: globals + call_indirect LOWER, with param homing (#851)

avrabe
and
claude
committed
de9d108
aarch64: CI-wired execution oracles for globals + call_indirect (#851)

avrabe
and
claude
committed
44e32c4
docs: aarch64 globals + call_indirect — precondition status pinned (#851)

avrabe
and
claude
committed
a4b7604
aarch64: the lane's DECLINES are gated by machine reason, not just by failing (#851)

avrabe
and
claude
committed
9f7ebfa
aarch64 oracles: ci-status headers + `set -euo pipefail` CI steps (#890, #851)

avrabe
and
claude
committed
5dbd791

Commits on Aug 5, 2026

merge: v0.54 aarch64 fan-in — L2 (float surface) + L3 (call_indirect, globals)

avrabe
and
claude
committed
feb13fe