By: ValentinHirschi <valentin.hirschi@gmail.com>
Add exact projected-source rule optimization diagnostics Validate input-driven Symbolica source projection, complete-tail replay and unchanged-order descent on unit controls and five campaign-derived points. Document non-vacuous forbidden-column experiments and remaining parametric and downstream gates. Co-authored-by: Codex <noreply@openai.com>