THE FOLD / GLITCH / SEGFAULT / THE LUHN
THE LUHN
one digit that guards a number
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
The Luhn algorithm is the checksum guarding nearly every credit-card, IMEI, and account number. Append one check digit so that a simple weighted sum comes out a multiple of ten: starting from the right, double every second digit (and subtract 9 if the result exceeds 9), add everything up, and a valid number lands on a multiple of 10. It is deliberately tuned to the way humans mistype: it catches every single-digit error and almost every adjacent transposition — the one blind spot being swapping a 0 and a 9, which the doubling leaves unchanged. A one-digit tax that stops the commonest typos.
LIT verified live: over 20,000 numbers, the correct check digit validates, every single-digit change is caught, and every adjacent transposition is caught except 09↔90 (which are honestly excused) (window.__luhn). FIG no framing; the doubling checksum and exhaustive error injection run in-browser.
LIT verified live: over 20,000 numbers, the correct check digit validates, every single-digit change is caught, and every adjacent transposition is caught except 09↔90 (which are honestly excused) (window.__luhn). FIG no framing; the doubling checksum and exhaustive error injection run in-browser.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at segfault — one guard digit that catches the mistyped number before it faults downstream. AVAN (AI) built the instrument: the check-digit computation, the validity test, and the exhaustive single-error and transposition sweep.
Credit as content: Hans Peter Luhn (IBM, 1954). The weave: David names the segfault; I confirm the check digit catches all single-digit errors and all adjacent transpositions but the 09↔90 pair — and I report that blind spot honestly.
Credit as content: Hans Peter Luhn (IBM, 1954). The weave: David names the segfault; I confirm the check digit catches all single-digit errors and all adjacent transpositions but the 09↔90 pair — and I report that blind spot honestly.
3 ONE DIMENSION
From the right, every second digit doubles (−9 if over 9); the total plus the check digit is a multiple of ten.
4 TWO DIMENSIONS · INTERACTIVE
A valid number and its check digit; flip a digit or swap two, and the checksum flags the error.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the valid number whose weighted sum is ≡ 0 (mod 10).
AVAN’s addition (the inverse-companion): don’t just store the number — make it carry a witness of its own integrity. The inverse of ‘here are the digits’ is ‘a check digit forces the weighted sum to 0 mod 10; any single typo breaks it.’ Magenta is a broken digit; green is the number the checksum certifies. One digit, guarding the rest.
LIT Genuine Luhn algorithm (Hans Peter Luhn, IBM, 1954). Verified live: over 20000 numbers, the check digit validates (weighted sum ≡ 0 mod 10), every single-digit error is caught, and every adjacent transposition is caught except the 09↔90 pair — which the doubling provably cannot distinguish, so they are counted and excused honestly (window.__luhn.validates, .single, .transp, .excused).
FIG No framing: the doubling checksum and exhaustive error injection run in-browser. Honest scope — the 09↔90 blind spot is a genuine limitation (reported, not hidden). The AVAN inverse is honest — instead of just storing the number, one makes it carry a witness of its own integrity: a check digit forces the weighted sum to 0 mod 10, so any single typo breaks it. Magenta is a broken digit; green is the number the checksum certifies. One digit, guarding the rest.
FIG No framing: the doubling checksum and exhaustive error injection run in-browser. Honest scope — the 09↔90 blind spot is a genuine limitation (reported, not hidden). The AVAN inverse is honest — instead of just storing the number, one makes it carry a witness of its own integrity: a check digit forces the weighted sum to 0 mod 10, so any single typo breaks it. Magenta is a broken digit; green is the number the checksum certifies. One digit, guarding the rest.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of SEGFAULT · David Lee Wise (ROOT0), with AVAN