**The stress test:** trig may explode EML tree size — measure, don't assume. (In the EML paper a trig function's EML form was too long to print.) ## Sub-goals - [ ] **10.0** Compiler + rule-set extension: sin/cos/tan, negative-domain handling policy, wider constants (see the constants decision issue); soundness tiers per rule - [ ] **10.1** Corpus v2 with expanded grammar (reuse 3R generator discipline: depth mixture, dedup, triviality caps) - [ ] **10.2** Re-run α/DAG/motif studies on v2 — documented α behavior for trig - [ ] **10.3** Re-run Goal 6/7 grids where the verdict could flip with a richer operator vocabulary - [ ] **10R** Reserved repair pass ## Gate G10 Expanded compiler passes purity + numeric audits; α behavior for trig documented.
The stress test: trig may explode EML tree size — measure, don't assume. (In the EML paper a trig function's EML form was too long to print.)
Sub-goals
Gate G10
Expanded compiler passes purity + numeric audits; α behavior for trig documented.