perf(codegen/runtime): #6812 — key-table clone lane: w12 beats node 6× - #6902

Merged

proggeramlug merged 4 commits into

mainfrom

perf/6812-keytable-lane

Jul 27, 2026

Commits on Jul 27, 2026

perf(codegen/runtime): #6812 — key-table clone lane (o[K[idx]] = v at clone tier)
Ralph Küpper
committed
perf(codegen): #6812 — integer-domain index emission for the key-table lane
Ralph Küpper
committed
docs: #6812 key-table lane fragment + w12 matrix row (0.17, beats node 6x)
Ralph Küpper
committed
fix: CodeRabbit on #6902 — integer proof requires i64-exact constants
Ralph Küpper
committed