By: ValentinHirschi <valentin.hirschi@gmail.com>
Guide constrained IBP source search with exact span obstructions Share native Symbolica separator and inverse-support services, preserving default-off projection behavior. Record complete live-face diagnostics and finite-box negatives without claiming rule or campaign improvements. Co-authored-by: Codex <noreply@openai.com>