perf(codegen+runtime): representation-selection Phase 4a — fast plain-array numeric elements (inline tiers, holes axis, self-healing bindings) - #6915

Merged

proggeramlug merged 9 commits into

mainfrom

perf/repsel-p4a-numarray

Jul 28, 2026

Commits on Jul 28, 2026

perf(codegen): repsel 4a.0 — numeric-proven logical selections + array-guard LLVM attrs
Ralph Küpper
committed
c0bb218
perf(runtime): repsel 4a.2 — raw-f64-or-holes flag maintenance + stale-head refresh helper
Ralph Küpper
committed
866e15d
perf(codegen): repsel 4a.1+4a.2 — inline guard tiers for numeric plain-array read/write/push, hole-tolerant + self-healing
Ralph Küpper
committed
904cb73
docs(rfc)+bench: repsel 4a — Array<number> (Ptr<NumArray>) rows in RFC §4/§5.7; deterministic #6904 histogram benchmark
Ralph Küpper
committed
17c488e
style: cargo fmt over the 4a.0 files
Ralph Küpper
committed
f0f5d7c
test(runtime): use try_read_gc_header in the 4a.2 unit tests (addr-class ratchet)
Ralph Küpper
committed
815c6be
changelog: 6915 fragment (repsel Phase 4a numeric plain-array tiers)
Ralph Küpper
committed
2012771
test(compiler-output): re-pin the numeric_arrays structural proof to the repsel 4a shapes
Ralph Küpper
committed
20b7f24
review: RFC shipped-vs-deferred accuracy, shared residual-coerce helper, callee-growth gap test
Ralph Küpper
committed
c950b46