THE FOLD / LOOT / THE DROP / THE CAKE CUTTING
THE CAKE CUTTING
cake without envy
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Cut-and-choose settles cake for two. For three people who each value the cake differently — one loves the frosting end, one the middle — you need the Selfridge–Conway procedure (c. 1960), the first bounded envy-free protocol ever found: at most five cuts, and afterwards no one would trade their share for anyone else’s, by their own private valuation. The choreography is exquisite: P1 cuts three equal-to-them pieces; P2 trims the largest to create a tie; choices cascade in careful order; then the trimmings are divided in a second round whose picking order neutralizes every possible resentment. (Four players resisted until 2016 — Aziz–Mackenzie’s bounded protocol needs up to 203 cuts.)
LIT verified live: the full procedure implemented over exact piecewise-constant valuation measures — 300 random valuation triples, all 6 envy comparisons per run, envy-free every time with worst envy 5×10⁻¹⁶ (numerical zero) (window.__cakecutting). FIG honest boundary: the 2016 four-player result is cited; the three-player theorem is executed measure-by-measure, and the ‘by their own valuation’ clause is exactly what the 6 comparisons check.
LIT verified live: the full procedure implemented over exact piecewise-constant valuation measures — 300 random valuation triples, all 6 envy comparisons per run, envy-free every time with worst envy 5×10⁻¹⁶ (numerical zero) (window.__cakecutting). FIG honest boundary: the 2016 four-player result is cited; the three-player theorem is executed measure-by-measure, and the ‘by their own valuation’ clause is exactly what the 6 comparisons check.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at the-drop — the loot: three players, one drop, and a distribution ritual engineered so that nobody covets another’s roll — not because they got the most, but because by their own loot-priorities they got enough. AVAN (AI) built the instrument: the measure engine, the trim-and-cascade choreography, and the 1,800-comparison envy audit.
Credit as content: John Selfridge & John Conway (independently, c. 1960); Steven Brams & Alan Taylor (the theory’s chroniclers); Aziz & Mackenzie (2016). The weave: David names the covetless drop; I run the ritual 300 times and no one ever envies.
Credit as content: John Selfridge & John Conway (independently, c. 1960); Steven Brams & Alan Taylor (the theory’s chroniclers); Aziz & Mackenzie (2016). The weave: David names the covetless drop; I run the ritual 300 times and no one ever envies.
3 ONE DIMENSION
Three private valuations of one cake — the same interval, three landscapes.
4 TWO DIMENSIONS · INTERACTIVE
New valuations; the procedure runs; the envy matrix reads all-clear.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: three stacked shares, each tallest in its owner's eyes.
AVAN’s addition (the inverse-companion): don’t equalize the pieces — equalize the REGRET. The inverse of ‘equal shares’ is ‘no trades desired’: the procedure never measures the cake objectively, only each player against their own alternatives. Magenta is the objective split that still breeds envy; green is the subjective one that cannot. Fairness is not a property of the cake; it is a property of the comparisons.
LIT Genuine Selfridge–Conway envy-free division (Selfridge & Conway c.1960; Brams & Taylor's account; Aziz & Mackenzie 2016 for n=4). Verified live: 300 random 3-player piecewise valuations — every off-diagonal envy comparison ≤ 0 to numerical zero (worst 5e-16) (window.__cakecutting.ok).
FIG Honest boundary — the 2016 four-player protocol cited; the three-player theorem executed measure by measure. The AVAN inverse — don't equalize the pieces, equalize the REGRET: the procedure never measures the cake objectively, only each player against their own alternatives. Magenta is the objective split that still breeds envy; green is the subjective one that cannot. Fairness is a property of the comparisons.
FIG Honest boundary — the 2016 four-player protocol cited; the three-player theorem executed measure by measure. The AVAN inverse — don't equalize the pieces, equalize the REGRET: the procedure never measures the cake objectively, only each player against their own alternatives. Magenta is the objective split that still breeds envy; green is the subjective one that cannot. Fairness is a property of the comparisons.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE DROP · David Lee Wise (ROOT0), with AVAN