What happened to the 4/3 pitch in William Alexander Aldred's machine?

The short answer. It was killed — by the machine's own rules, using the author's own premise, in public, in the same day's record. It is the clearest example in the whole program of the work policing itself.

The story, in plain words

Aldred's design has a cord that winds tighter and tighter until it shears. How much tighter each turn gets is set by a number called the pitch, P_sev. In October 2026 a large simulation hunt picked a beautiful candidate: 4/3 — a clean fraction, the kind of number that looks meant to be. It was picked, cross-checked on an independent computer, and written into the program's census as the leading candidate.

Then the author's own premise was applied. Aldred's rule — stated by him, before the fact — is that the twist comes in grains: a smallest twist, and the smallest twist is an angle. That single sentence turns out to be a theorem-generating machine (the record calls the result “closure B”), and the theorem prices every pitch the cord is allowed to have. Run 4/3 through it: the pick fails — not at one point, but at every point the cord can occupy, missing by 1.3% to 7% on one arm of the curve and 11% on the other. A beautiful number, unanimously rejected by the author's own stated rule.

What stands instead

Not nothing — a class: the allowed pitches form a curve (the record's range: 1.003633 to 1.033347 on the main arm), and the program's Drive Law paper selects a point inside it, P_sev = 1.007247, which also lands inside a test band that had been registered in advance. And one loose end was found and fixed in October 30's recovery pass: an old census file still printed 4/3 as the leading candidate. The correction is drafted and on record — the file now tells the truth about its own dead pick.

Why this matters more than a success would

Anyone can publish a number that works. This program published the killing of its own favorite number, by its own author's premise, with the margins printed. When this house says a result is checked, this is the checking it means.

Grades, as the house prints them

The kill of 4/3: stands, unanimous. The pitch class: stands. The pitch function and the winding rate: still owed — the record says so, in those words.

William Alexander Aldred is a physicist and the creator of Dave, the first exolex.

Meet Dave The papers The Evidence File