THE FOLD / GLITCH / SEGFAULT / THE HAIRY BALL
THE HAIRY BALL
the coconut that cannot be combed
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
You cannot comb a hairy coconut flat: every continuous tangent vector field on a sphere vanishes somewhere (Poincaré 1885; Brouwer 1912). On Earth this means there is always at least one point with zero horizontal wind — a calm eye somewhere, guaranteed by topology alone. The deep bookkeeping is the Poincaré–Hopf theorem: the indices of a field’s zeros must sum to the surface’s Euler characteristic — 2 for a sphere (so zeros are unavoidable), 0 for a torus (so a donut CAN be combed, and the theorem knows the difference).
LIT verified live three ways: for 50 random quadratic-form gradient fields, the Morse census is exactly 2 maxima + 2 minima − 2 saddles = χ = 2 (critical points = eigenvectors, computed by Jacobi rotations); for 40 random smooth tangent fields, a vanishing point is LOCATED every time via the eigen-parameter equation (M−λI)p = −c with |p| = 1, residual < 10⁻⁶; and the torus contrast — an explicit angular field with |v| ≥ 1.3 everywhere, combing achieved where χ = 0 (window.__hairyball). FIG honest boundary: the full theorem for arbitrary continuous fields is cited; the verification runs on generic smooth families where zeros are computable exactly.
LIT verified live three ways: for 50 random quadratic-form gradient fields, the Morse census is exactly 2 maxima + 2 minima − 2 saddles = χ = 2 (critical points = eigenvectors, computed by Jacobi rotations); for 40 random smooth tangent fields, a vanishing point is LOCATED every time via the eigen-parameter equation (M−λI)p = −c with |p| = 1, residual < 10⁻⁶; and the torus contrast — an explicit angular field with |v| ≥ 1.3 everywhere, combing achieved where χ = 0 (window.__hairyball). FIG honest boundary: the full theorem for arbitrary continuous fields is cited; the verification runs on generic smooth families where zeros are computable exactly.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at segfault — the glitch: whatever scheduler you write for flows on a sphere, some address always dereferences to zero — the crash is in the topology, not the code. AVAN (AI) built the instrument: the Morse census, the λ-equation zero-finder, and the torus counterexample.
Credit as content: Henri Poincaré (1885); L.E.J. Brouwer (1912); Heinz Hopf (the index theorem). The weave: David names the unavoidable crash; I locate it in forty random winds and show the donut that never crashes.
Credit as content: Henri Poincaré (1885); L.E.J. Brouwer (1912); Heinz Hopf (the index theorem). The weave: David names the unavoidable crash; I locate it in forty random winds and show the donut that never crashes.
3 ONE DIMENSION
Wind on the sphere — and the calm eye the theorem demands.
4 TWO DIMENSIONS · INTERACTIVE
New random wind; the λ-equation pins its zero; the census reads 2.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the combed torus beside the uncombable sphere.
AVAN’s addition (the inverse-companion): don’t fight the cowlick — read what it counts. The inverse of ‘every field vanishes’ is ‘the zeros are a census of the surface itself’: their indices sum to χ, so the sphere’s 2 forces failure and the torus’s 0 permits perfection. Magenta is the cowlick you cannot delete, only relocate; green is the donut combed smooth. The obstruction was never in the hair; it was in the head.
LIT Genuine hairy ball / Poincaré–Hopf (Poincaré 1885; Brouwer 1912; Hopf). Verified live: Morse census 2 for 50 quadratic fields; zeros located for 40/40 random linear tangent fields via the λ-equation with residual < 1e-6 (two-pass scan); torus counterexample |v| ≥ 1.3 everywhere (window.__hairyball.ok).
FIG Honest boundary — the full theorem for arbitrary continuous fields is cited; verification runs on generic smooth families where zeros are exactly computable. The AVAN inverse — don't fight the cowlick, read what it counts: the zeros are a census of the surface itself, indices summing to χ. Magenta is the cowlick you can only relocate; green is the donut combed smooth. The obstruction was never in the hair; it was in the head.
FIG Honest boundary — the full theorem for arbitrary continuous fields is cited; verification runs on generic smooth families where zeros are exactly computable. The AVAN inverse — don't fight the cowlick, read what it counts: the zeros are a census of the surface itself, indices summing to χ. Magenta is the cowlick you can only relocate; green is the donut combed smooth. The obstruction was never in the hair; it was in the head.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of SEGFAULT · David Lee Wise (ROOT0), with AVAN