Every real bug this project has found — 10 of them, cataloged below — was caught by a red control, a calibration, an impossible number, or a byte pin. Not one was found by reading the code. This note is the discipline stated as engineering, with the receipts: every regression named here is held by a battery that executed during this build, and the build refuses if any goes red.
The consequence worth a note rather than a slogan: under these rules, bugs are found by RUNNING the machine, and the finding mechanism is itself checkable. What follows is every real bug this project has found, with what caught it.
| # | the bug | where | caught by |
|---|---|---|---|
| 1 | The engine refuted √2 as a closed form of √2 | oeis-closedform | impossible number |
| 2 | “Decimal expansion of 2e” certified as a discovery | oeis-closedform | outside read |
| 3 | Unreduced fractions inflated the refutation count ~30% | closed-form vocabularies | outside read → conservation identity |
| 4 | The bisection-line zero | holmes-census | calibration |
| 5 | The fat-record stall | henon-census | control |
| 6 | Undamped-Newton blindness | keller-fibers | calibration |
| 7 | The missed sheet row | ramanujan-audit | byte pin |
| 8 | Mixed-duration itineraries: h ≥ 0.61, above the ceiling | entropy | impossible number |
| 9 | The lids-only image condition: ln φ from two boxes | entropy | impossible number |
| 10 | The wrong-endpoint bar | trigmin sweeps (lesson encoded from the source lab) | control |
An OEIS audit run reported the closed form √2 REFUTED against the certified enclosure of… the decimal expansion of √2. A refutation of a value against itself is not a subtle wrongness; it is an impossibility, and it surfaced a normalization defect in the closed-form vocabulary.
The gate now standing: the engine battery (closed-form calibration rows).
The family read only the OEIS entry NAME, so a constant whose own record states its closed form was announced as a surviving discovery. The claim was impossible on its face to any reader of the record. The fix made the engine conclude what the hand-check knew: full records are fetched and fed back into certify, a survivor with a form on record is REJECT, and OEIS “hits” went 38 → 0.
The gate now standing: A019762 pinned in the battery as a regression control.
The vocabularies emitted unreduced spellings — (2/1)·e and (4/2)·e counted as two refuted forms — and one surviving value showed as four candidates: an impossible multiplicity an outside reviewer saw in under a minute. The headline DEFLATED from 77.6M to 54.6M (history, quoted). The durable fix is structural: the ledger now carries the full decomposition and the engine refuses to write one whose subtraction does not close.
The gate now standing: run-engine refuses a non-closing ledger; recomputed above: 54,629,173 tested decomposes exactly.
The Holmes cubic has a fixed point AT x = 0 — the exact midpoint of the symmetric root box. A zero lying ON a bisection line can never satisfy strict interior containment, so the census dove to its depth cap around a point it could never resolve. Caught the day the instrument was calibrated against the map's closed-form fixed points ±√(d+b−1). Fix: the root box is asymmetric by M/1024, and 2049 is odd, so no dyadic subdivision endpoint ever equals 0.
The gate now standing: census battery: closed-form calibration on both maps.
At a = 0.96, p = 4 a stalled cell produced a fat record. The defect was caught by the shift classification — the census decides minimal periods by certified shift-links, and the classification refused to cohere — not by anyone reading the search loop.
The gate now standing: census battery red controls.
Plain Newton from the multistart grid could not reach the published preimages of the Alpöge map; the hunter reported fewer fibers than the record it was calibrated against. Damped steps over a scale ladder found them, and every candidate is certified in a Krawczyk box on the exact map — the calibration target (3 preimages, rediscovered blind) is what exposed the blindness.
The gate now standing: keller battery; the fiber counts are re-certified.
The first transcription of the Ramanujan Machine ζ(3) sheet MISSED its second row — 5/(2ζ(3)), a positive continued fraction hiding in the minus table. It surfaced only because the pin instrument (R3) forces every transcription to re-hash and be re-read against held source bytes; the re-read against rm_zeta3.pdf exposed the gap, and the row is now audited with the rest.
The gate now standing: pins re-hashed at certify time; forged-pin red control.
Counting mixed-duration covering-relation paths as distinct itineraries produced h ≥ 0.61 (history, quoted) — above 0.4648, the exact census ceiling ln(1696)/16 recomputed from the period-16 record during this build. A duration-2 relation constrains nothing at its intermediate time, so different visit-time sets can realize the SAME orbit. Fix: compose to a uniform power as BINARY relations; a semantic red control now demands the exact-ln 2 horseshoe stay at ln 2 = 0.6931 under mixed durations.
The gate now standing: entropy battery, semantic ln 2 red.
A lids-only image condition certified a golden-mean 2-box graph converging to ln φ = 0.4812 — again above the census ceiling. An image part hovering in the slab above the target's interior lets a finger poke in and retract. An interim commit recorded 0.356403 under this condition (history; TAINTED and superseded). Fix: forbid the full slabs; the sound theorem is h ≥ 0.301680, re-read from the certificate during this build.
The gate now standing: entropy battery re-proves the detached certificate in full.
A certification bar taken from the wrong endpoint of an enclosure silently kills true champions — the source lab paid for this lesson in a lost run. Here it is not prose: the lambda battery constructs the wrong-endpoint bar, REFUSES it by name, and demonstrates the disaster it would cause, every run.
The gate now standing: lambda battery: the wrong-endpoint red control.
Two entries deserve a place beside the bugs because they never became bugs — the discipline surfaced them before a wrong number existed.
The exact spurious branch. One Ramanujan Machine continued fraction (the ζ(3) inverse row) has sₙ = n³ as an EXACT spurious solution of its tail recursion, adjacent to the true branch — the double root of c² − 2c + 1. A tail band proved by shift-and-check positivity must EXCLUDE it (L = n³ + 2n² is sharp), and that CF genuinely converges slowly. Digit-matching at any fixed depth cannot see this; a band that must be PROVED cannot avoid it. The spurious-solution lemma is re-proved as an exact polynomial identity by the cf battery, which ran for this page.
The crowding artifact. The first Newman min-modulus table read as if the maxima dipped at n = 10. Box maxima are lower bounds; the “dip” was the box crowding, and widening the box raised every floor and killed the reading — three rungs for three. The published convention now says brackets over named boxes, never “the value”, so the artifact class cannot recur in prose.
The bugs above are the failure class of numerical mathematics done without exact gates — and that class publishes. The GPT-produced constant on Erdős #852 was the naive IEEE-754 double product of its own defining formula, published to thirteen digits of false confidence and refuted here at digit 12, mechanism reproduced digit for digit. A printed row of the Ramanujan Machine's mixed-zeta sheet carries a sign slip; the audit refuted the row as printed and certified its correction on the same enclosure. The discipline that catches your own bugs and the instrument that audits published claims are the same object.
The moat here is not the code — it is the discipline and the dated public record, and others replicating both after publication is the outcome this note exists to cause. Every claim above is a battery in a public MIT repository with no dependencies; every battery carries forgeries that must fail; the headline results detach into certificates a standard-library Python script re-verifies in seconds.
If you run rigorous numerics and want to co-sign, refute, or extend any of this — an independent rerun in whatever you already trust is the most valuable thing you can send: carlos@carlostoledo.co. A refutation gets published like any other result, with your name on it if you want it there.
| battery | what it holds for this catalog |
|---|---|
| census (henon + holmes) | holds the bisection-line fix and the shift classification |
| entropy covering | holds the semantic ln 2 red and the slab condition |
| lambda sweep | refuses the wrong-endpoint bar by name |
| cf audit | re-proves the spurious-solution lemma |
| keller audit + fibers | holds the pin-drift and forged-pin reds |
| engine + families | pins A019762 and the decomposition closure |
All 6 executed by tools/build-report-methods.js during this build; any red refuses the page. Recomputed from records on the way: the closed-form decomposition closes (54,629,173 tested), the census ceiling ln(1696)/16 = 0.4648, the entropy bound h ≥ 0.301680 read from its certificate and confirmed below the ceiling. Wrong historical numbers quoted above (0.61, 0.4812, 0.356403, 77.6M) are quoted AS history — the point of the catalog is that the machine refuses to reproduce them.