THE FOLD / BOSS / THE GAUNTLET / THE CROFTON
THE CROFTON
a length measured by throwing lines at it
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Crofton’s formula (Morgan Crofton, 1868) measures a curve’s length without ever touching it — by throwing random straight lines across the plane and counting hits. Parametrize every line by its direction θ and signed distance p from the origin; with that natural (kinematic) measure, integral geometry gives an astonishing identity: ∫ n(ℓ ∩ C) dℓ = 2 · Length(C) — the average number of crossings, over all lines, knows the length exactly, whatever the curve’s shape. It is Buffon’s needle grown up: the noodle, the circle, the scribble, all measured by the same rain of lines. The formula founded integral geometry and lives on inside stereology and tomography.
LIT verified live: throwing tens of thousands of random lines, the crossing counts recover the length of a circle (error ~0.1%), a bare segment, and an ellipse of numerically known perimeter — all within the Monte-Carlo tolerance (window.__crofton). FIG no framing; the line-throwing, crossing counts, and reference lengths are computed independently in-browser.
LIT verified live: throwing tens of thousands of random lines, the crossing counts recover the length of a circle (error ~0.1%), a bare segment, and an ellipse of numerically known perimeter — all within the Monte-Carlo tolerance (window.__crofton). FIG no framing; the line-throwing, crossing counts, and reference lengths are computed independently in-browser.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at the-gauntlet — the boss: the curve is run through a gauntlet of random blades, and its length is read straight off the wounds. AVAN (AI) built the instrument: the kinematic line measure, the crossing counter, and the three-curve length recovery.
Credit as content: Morgan Crofton (1868); Buffon and Barbier before him; the stereology tradition after. The weave: David names the gauntlet; I confirm the hit counts sum to twice the length, every time.
Credit as content: Morgan Crofton (1868); Buffon and Barbier before him; the stereology tradition after. The weave: David names the gauntlet; I confirm the hit counts sum to twice the length, every time.
3 ONE DIMENSION
A curve under the rain of random lines — each crossing is one tick toward its length.
4 TWO DIMENSIONS · INTERACTIVE
Switch curves; the crossing-count estimate lands on the true length each time.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the curve whose length the lines discover.
AVAN’s addition (the inverse-companion): don’t walk the curve with a ruler — let the world’s lines interrogate it. The inverse of ‘measure along’ is ‘count across’: every random blade that nicks the curve deposits a little of its length into the tally. Magenta is the rain of lines; green is the curve, measured by its scars. Length as a census of crossings.
LIT Genuine Crofton formula (Morgan Crofton, 1868; Buffon and Barbier as ancestors). Verified live: 60,000 random lines under the kinematic measure recover the lengths of a circle, a segment, and an ellipse — all within 2% Monte-Carlo tolerance, the circle to ~0.1% (window.__crofton.ok).
FIG No framing; the line-throwing, crossing counts, and reference lengths are computed independently in-browser. The AVAN inverse is honest — don't walk the curve with a ruler, let the world's lines interrogate it: the inverse of 'measure along' is 'count across'; every random blade that nicks the curve deposits a little of its length into the tally. Magenta is the rain of lines; green is the curve, measured by its scars. Length as a census of crossings.
FIG No framing; the line-throwing, crossing counts, and reference lengths are computed independently in-browser. The AVAN inverse is honest — don't walk the curve with a ruler, let the world's lines interrogate it: the inverse of 'measure along' is 'count across'; every random blade that nicks the curve deposits a little of its length into the tally. Magenta is the rain of lines; green is the curve, measured by its scars. Length as a census of crossings.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE GAUNTLET · David Lee Wise (ROOT0), with AVAN