Lessons — what the tree has learned
Derived on every run from 296 sources: 145 corrections the deposit recorded about itself, in the comments of the files where each one happened. Nobody wrote this list; it is counted.
The taxonomy is a choice — six classes, because six are what the record shows — and it is stated so a reader can disagree with the classes rather than with the arithmetic.
| corrections | class | why it costs something |
|---|---|---|
| 51 | a constant typed instead of derived | the value and its meaning drift apart, and the copy is the one nobody updates |
| 34 | a check that could not go red | it reports health it never measured, and deleting it would change nothing |
| 28 | the instrument was wrong, not the code | a finding is evidence about the finder until the finder has been run against a known case |
| 12 | domain narrower than the defect | the claim reads over the whole tree and the scan covered part of it |
| 10 | the check read its own explanation | a gate that scans the tree scans the prose describing what it scans for |
| 10 | a flattering number survived | a result that clears you is checked less than one that accuses you |
Where they were learned
A file near the top has been corrected often. That is a record of attention, not of poor quality — the untouched files are the ones nobody has checked this hard.
scripts/gates-fire.ts— 11src/proof/instruments.lean— 6scripts/contradictions.ts— 5scripts/paper.ts— 5scripts/uses.ts— 5scripts/orphan-gate.ts— 5scripts/control-probe.ts— 4scripts/pages.ts— 4
Generated by scripts/lessons.ts. It excludes itself: every pattern above appears in it, because itexplains them, and a check that reads the whole tree reads its own explanation.