SUBTRACTORPERSIST +2ACT +2REACT +1LEARN +4LOOP +2
LIT SUBTRACTOR keeps a subtraction only when the remainder falls. gcd(233, 144) is 1. Twelve subtractions are kept and three decoys are dropped. The law sums to 11. A second run must match.
AMBER The subtractive algorithm is the one in Euclid's Elements, Book VII. The story of that book is assigned, not recomputed here.
WALL This page checks one pair. It does not certify the algorithm for every pair, and it is not a claim about number theory as a whole.
MODEL One pupil. The stage is the chain the pupil wrote. A step is kept only when the larger number falls. No cartridge is loaded.
Checking the clerk.
Seal sha256(name|slug|blurb): bf8b53e9b6b56a01e4a291d57661fe76c3cfd637c2e04042978798d8321329a5