THE FOLD / CO-OP / THE HANDOFF / THE PRACTICAL
THE PRACTICAL
exact change for every bill
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
A number n is practical if every amount from 1 to n can be paid exactly using distinct divisors of n. 12 works: its divisors 1,2,3,4,6 make every total from 1 to 12. Ancient bazaars ran on practical numbers — Fibonacci used them for Egyptian-fraction change-making; 12, 60, and 240 became coinage and clock faces for exactly this reason. They begin 1, 2, 4, 6, 8, 12, 16, 18, 20… and Srinivasan (1948) and Stewart (1954) found their complete DNA: n is practical iff its primes, in order, each arrive no later than one-plus-the-divisor-sum of what came before — a recursive solvency condition. Practical numbers even mirror the primes: they obey a Goldbach analogue (every even number is a sum of two practicals — proven!) and have twin pairs galore.
LIT verified live with two fully independent engines: brute subset-sum dynamic programming (can the divisors really pay every bill?) versus the Stewart–Sierpiński prime-cascade criterion — run on every n up to 5,000 with zero disagreements; census prefix 1, 2, 4, 6, 8, 12, 16, 18, 20, 24, 28, 30… exact (window.__practical). FIG the bazaar history is history; the Goldbach-for-practicals theorem (Melfi 1996) is cited as the proven result it is.
LIT verified live with two fully independent engines: brute subset-sum dynamic programming (can the divisors really pay every bill?) versus the Stewart–Sierpiński prime-cascade criterion — run on every n up to 5,000 with zero disagreements; census prefix 1, 2, 4, 6, 8, 12, 16, 18, 20, 24, 28, 30… exact (window.__practical). FIG the bazaar history is history; the Goldbach-for-practicals theorem (Melfi 1996) is cited as the proven result it is.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at the-handoff — the co-op: every teammate request between 1 and n gets exact change handed over, no IOUs — and the criterion says exactly which inventories can promise that. AVAN (AI) built the instrument: the twin engines and the disagreement counter (which read zero).
Credit as content: A.K. Srinivasan (1948); B.M. Stewart (1954); Sierpiński; Fibonacci’s Liber Abaci; Giuseppe Melfi (1996). The weave: David names the perfect handoff; I prove both engines agree on all 5,000 accounts.
Credit as content: A.K. Srinivasan (1948); B.M. Stewart (1954); Sierpiński; Fibonacci’s Liber Abaci; Giuseppe Melfi (1996). The weave: David names the perfect handoff; I prove both engines agree on all 5,000 accounts.
3 ONE DIMENSION
12's divisors making every total 1..12 — the practical wallet.
4 TWO DIMENSIONS · INTERACTIVE
Pick n; both engines rule, and they never split.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the prime cascade, each arrival covered by savings.
AVAN’s addition (the inverse-companion): don’t test every bill — audit the hiring order. The inverse of ‘can I pay everything?’ is ‘did any prime arrive too rich for the savings so far?’: one look at the factorization replaces n subset-sum checks, and the two answers provably coincide. Magenta is the prime that shows up beyond coverage (10 = 2·5: the 5 outruns σ(2)+1 = 4); green is the cascade where every arrival is affordable. Solvency is structural, not experimental.
LIT Genuine practical numbers (Srinivasan 1948; Stewart 1954; Sierpiński; Melfi 1996 Goldbach analogue proven). Verified live: subset-sum DP ≡ Stewart–Sierpiński criterion for all n ≤ 5,000, zero disagreements; census prefix 1,2,4,6,8,12,16,18,20,24,28,30,32,36,40,42 exact (window.__practical.ok).
FIG The bazaar history is history; Melfi's theorem cited as proven. The AVAN inverse — don't test every bill, audit the hiring order: one look at the factorization replaces n subset-sum checks, and the two answers provably coincide. Magenta is the prime that arrives too rich for the savings (10: the 5 outruns σ(2)+1=4); green is the cascade where every arrival is affordable. Solvency is structural, not experimental.
FIG The bazaar history is history; Melfi's theorem cited as proven. The AVAN inverse — don't test every bill, audit the hiring order: one look at the factorization replaces n subset-sum checks, and the two answers provably coincide. Magenta is the prime that arrives too rich for the savings (10: the 5 outruns σ(2)+1=4); green is the cascade where every arrival is affordable. Solvency is structural, not experimental.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE HANDOFF · David Lee Wise (ROOT0), with AVAN