By: ValentinHirschi <valentin.hirschi@gmail.com>
Add bounded boundary-polynomial rule search and document four-loop refusal Keep native original-source, normalization, guard and descent gates. Record optimized tests, controlled negative results and literature-backed follow-ups. Co-authored-by: Codex <noreply@openai.com>