By: ValentinHirschi <valentin.hirschi@gmail.com>
Preserve exact lower cuts in checked rule alternatives Encode finite omitted index slices without widening a proved chart; retain old rules and conservative guard admission. Add native dispatch, boundary, budget and export controls, and record the large-source search diagnosis. Co-authored-by: Codex <noreply@openai.com>