/rules / math-first-gate
RULE 0.9 Math-First Gate
Pure-theory experiments: ask "provable?" — if YES derive first, run ONCE to confirm.
Numerical sweeps that test mathematically predictable outcomes burn compute without producing knowledge.
5 waste patterns to recognise (closed-form moment tests, IID stationary distributions, preferred-geometry hunts, fp-saturation, stopping-time concentration). Exemption: bio/clinical/industrial.
| id | RULE 0.9 |
| scope | topic |
| file | ~/.claude/rules/math-first-gate.md |