Use shape-proven F64 facts in guarded loop regions - #11708

Closed

proggeramlug wants to merge 6 commits into

PerryTS:mainfrom

proggeramlug:codex-step5-p7-20260930

Commits on Sep 30, 2026

feat: admit region F64 reads into scoped Number facts
Ralph Küpper
committed
ff2d655
style: format region prime route imports after P4
Ralph Küpper
committed
4e1ea55
Count F iterations with proven region F64 lanes
Ralph Küpper
committed
e5a58ec
Parse region prime R mask before LLVM call attributes
Ralph Küpper
committed
3699de1
docs: describe shape-proven F64 loop regions
Ralph Küpper
committed
d7f5e01
ci: refresh stale suite map and thread-local ratchet
Ralph Küpper
committed
bd0a3dd