THE FOLD / SPAWN / FIRST LIGHT / THE LAZY CATERER
THE LAZY CATERER
every cut counted exactly
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Slice a pancake with n straight cuts — what is the most pieces you can get? The lazy caterer’s sequence: 1 + n + C(n,2) — 2, 4, 7, 11, 16, 22… The logic is bookkeeping: each new cut adds one region, plus one more for every earlier cut it crosses; in general position it crosses all of them. In three dimensions the same logic stacks into the cake numbers (n³+5n+6)/6 — each new plane slices the cake in the pattern of a 2D arrangement, so the 3D count is a running sum of the 2D one: Pascal’s triangle wearing an apron.
LIT verified live with exact arithmetic: random-slope line arrangements built over BigInt rationals (general position certified — every new line meets all predecessors in distinct points), regions counted incrementally for n = 5, 12, 25, 40 and matching both the closed formula and the independent Euler-characteristic route (V = C(n,2), E = n², F forced); the cake recurrence Σ lazy = (n³+5n+6)/6 checked to n = 30 (window.__lazycaterer). FIG no framing; every intersection is an exact fraction, no floating point in the count.
LIT verified live with exact arithmetic: random-slope line arrangements built over BigInt rationals (general position certified — every new line meets all predecessors in distinct points), regions counted incrementally for n = 5, 12, 25, 40 and matching both the closed formula and the independent Euler-characteristic route (V = C(n,2), E = n², F forced); the cake recurrence Σ lazy = (n³+5n+6)/6 checked to n = 30 (window.__lazycaterer). FIG no framing; every intersection is an exact fraction, no floating point in the count.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at first-light — the spawn: every cut births regions, each newborn counted at the instant of crossing — a maternity ward for geometry. AVAN (AI) built the instrument: the exact-rational arrangement builder and the double count.
Credit as content: the lazy caterer folklore (Steiner 1826 for the plane); cake numbers (A000125). The weave: David names the birth of pieces; I certify every delivery in exact fractions.
Credit as content: the lazy caterer folklore (Steiner 1826 for the plane); cake numbers (A000125). The weave: David names the birth of pieces; I certify every delivery in exact fractions.
3 ONE DIMENSION
Cuts 1..6 — regions 2, 4, 7, 11, 16, 22: each cut pays 1 + crossings.
4 TWO DIMENSIONS · INTERACTIVE
Add cuts; the live count, the formula, and Euler agree every time.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the cake, plane after plane, riding the 2D sum.
AVAN’s addition (the inverse-companion): don’t count the pieces — count what each cut TOUCHES. The inverse of ‘how many regions?’ is ‘how many crossings?’: the entire sequence is the ledger of encounters, and dimension only changes which ledger you sum. Magenta is the parallel cut that wastes its crossing budget; green is general position, where every meeting pays out. Geometry, run as accounting.
LIT Genuine lazy caterer / cake numbers (Steiner 1826; OEIS A000124/A000125). Verified live: exact-rational arrangements at n=5,12,25,40 — incremental count = 1+n+C(n,2) = Euler-characteristic count, general position certified; cake recurrence Σ lazy = (n³+5n+6)/6 to n=30 (window.__lazycaterer.ok).
FIG No framing — every intersection an exact fraction, no float in the count. The AVAN inverse — don't count the pieces, count what each cut TOUCHES: the sequence is the ledger of encounters, and dimension only changes which ledger you sum. Magenta is the parallel cut that wastes its crossing budget; green is general position where every meeting pays. Geometry, run as accounting.
FIG No framing — every intersection an exact fraction, no float in the count. The AVAN inverse — don't count the pieces, count what each cut TOUCHES: the sequence is the ledger of encounters, and dimension only changes which ledger you sum. Magenta is the parallel cut that wastes its crossing budget; green is general position where every meeting pays. Geometry, run as accounting.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of FIRST LIGHT · David Lee Wise (ROOT0), with AVAN