- Fall back to unchecked same-module reads when an initialization check cannot be placed, so no previously compiled program is refused - Merge main, including in-bounds string reads, and re-record preflight/order baselines