| 1 | // Trace-triage for Chapter 6 (Hyperbolic functions) — mirrors the benchmark's |
| 2 | // deterministic sample, runs each problem through the driver with trace on, |
| 3 | // and tallies WHY the unsolved ones fail (unimplemented predicates, failing |
| 4 | // conditions, dispatch gaps where no rule's skeleton even matched). |