By: ValentinHirschi <valentin.hirschi@gmail.com>
Normalize boundary proposals through exact original-source weights Use Symbolica GCD and exact division with retained poles, cumulative budgets and fresh full-image replay. Record 93 passing tests and the fixed four-loop refusal rather than claiming a new admissible rule. Co-authored-by: Codex <noreply@openai.com>