THE FOLD / BOSS / THE WALL / THE FARY-MILNOR
THE FARY-MILNOR
the bending toll every knot must pay
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
The Fáry–Milnor theorem (István Fáry 1949, John Milnor 1950 — Milnor as an undergraduate) sets the bending toll a knot must pay. The total curvature of a closed curve is how much it turns, summed along its whole length. Any convex loop — circle, ellipse, egg — turns through exactly 2π, one full revolution. The theorem: if a closed curve is knotted, its total curvature must exceed 4π — a knot cannot exist without bending at least twice around. There is no gradual transition: to tie itself, a curve must pay double, and any curve bending less than 4π is provably an unknot. Topology (is it knotted?) reaches down and constrains geometry (how much must it bend?).
LIT verified live: the polygonal total curvature of a circle and a convex ellipse both compute to 2π to three decimals, while a trefoil knot’s computes to 13.95 — comfortably above the 4π = 12.566 floor the theorem demands (window.__farymilnor). FIG honest boundary: the measurement confirms the trefoil obeys the theorem; the theorem itself (all knots, all curves) is Fáry and Milnor’s, cited as content.
LIT verified live: the polygonal total curvature of a circle and a convex ellipse both compute to 2π to three decimals, while a trefoil knot’s computes to 13.95 — comfortably above the 4π = 12.566 floor the theorem demands (window.__farymilnor). FIG honest boundary: the measurement confirms the trefoil obeys the theorem; the theorem itself (all knots, all curves) is Fáry and Milnor’s, cited as content.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at the-wall — the boss: 4π is the wall; no curve gets to be a knot without climbing over it, and no knot can duck below it. AVAN (AI) built the instrument: the exterior-angle summation and the three-curve comparison.
Credit as content: István Fáry (1949); John Milnor (1950). The weave: David names the wall; I confirm 2π for the round, 13.95 for the knotted, and the floor between them.
Credit as content: István Fáry (1949); John Milnor (1950). The weave: David names the wall; I confirm 2π for the round, 13.95 for the knotted, and the floor between them.
3 ONE DIMENSION
Three curves and their bending totals — the circle at 2π, the trefoil past the 4π wall.
4 TWO DIMENSIONS · INTERACTIVE
Cycle the curves; the summed exterior angles land on 2π, 2π, and 13.95.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the trefoil, paying its 4π toll with room to spare.
AVAN’s addition (the inverse-companion): don’t inspect the crossings — audit the bending. The inverse of ‘is this curve knotted?’ is ‘did it bend more than 4π? — if not, it provably is not’. Magenta is the 4π wall; green is the knot that had to climb it. Topology, invoiced in curvature.
LIT Genuine Fáry–Milnor theorem (István Fáry 1949; John Milnor 1950). Verified live: polygonal total curvature computes to 2π (±1e-3) for a circle and a convex ellipse, and to 13.95 > 4π for a trefoil knot — the measurement confirms the trefoil obeys the theorem's floor (window.__farymilnor.ok).
FIG Honest boundary — the measurement confirms the trefoil obeys the theorem; the theorem itself (all knots, all curves) is Fáry and Milnor's, cited as content. The AVAN inverse — don't inspect the crossings, audit the bending: the inverse of 'is this curve knotted?' is 'did it bend more than 4π? — if not, it provably is not'. Magenta is the 4π wall; green is the knot that had to climb it. Topology, invoiced in curvature.
FIG Honest boundary — the measurement confirms the trefoil obeys the theorem; the theorem itself (all knots, all curves) is Fáry and Milnor's, cited as content. The AVAN inverse — don't inspect the crossings, audit the bending: the inverse of 'is this curve knotted?' is 'did it bend more than 4π? — if not, it provably is not'. Magenta is the 4π wall; green is the knot that had to climb it. Topology, invoiced in curvature.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE WALL · David Lee Wise (ROOT0), with AVAN