perf(codegen): representation-selection Phase 4a.3 — Ptr<NumArray> collector, guard-free numeric-array element access - #6916

Merged

proggeramlug merged 5 commits into

mainfrom

perf/repsel-p4a3-ptr-numarray

Jul 28, 2026

Commits on Jul 28, 2026

perf(codegen): repsel Phase 4a.3 — Ptr<NumArray> collector + guard-free element access
Ralph Küpper
committed
d322b80
test+docs: repsel 4a.3 gap coverage + RFC shipped-state update
Ralph Küpper
committed
f099737
refactor: 4a.3 access lowering into expr/ptr_numarray_access.rs (file-size cap) + test-fixture field
Ralph Küpper
committed
82649bc
changelog: 6916 fragment (repsel Phase 4a.3 Ptr<NumArray>)
Ralph Küpper
committed
251cbf2
review: close the aliased-prototype hole, pin the growth invariant, wire proven-integer values into the numeric proof
Ralph Küpper
committed
59596e0