THE FOLD / BOSS / THE FIREWALL / THE MOSER SPINDLE
THE MOSER SPINDLE
seven points that outlaw three colors
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
The Moser spindle (Leo and William Moser, 1961) is seven dots that legislate about the entire infinite plane. Suppose you want to colour every point of the plane so that no two points at distance exactly 1 share a colour — the Hadwiger–Nelson problem. How many colours are needed? The spindle is a graph of 7 vertices and 11 edges, every edge exactly unit length, drawable in the plane — and it cannot be properly 3-coloured (all 2187 assignments fail), while 4 colours suffice for it. Since the spindle embeds in the plane with unit edges, any valid colouring of the plane restricted to those 7 points must properly colour it: the plane needs at least 4 colours. Aubrey de Grey’s 1553-vertex monster pushed the bound to ≥5 in 2018; the true answer (5, 6, or 7) is still open.
LIT verified live: all 11 edges measure 1.000000000 (worst error ~2e-16); exhaustive search over all 3⁷ = 2187 three-colourings finds none proper; a proper 4-colouring is exhibited (window.__moserspindle). FIG honest boundary: the spindle proves ≥4; de Grey’s ≥5 and the openness of the full problem are cited as content.
LIT verified live: all 11 edges measure 1.000000000 (worst error ~2e-16); exhaustive search over all 3⁷ = 2187 three-colourings finds none proper; a proper 4-colouring is exhibited (window.__moserspindle). FIG honest boundary: the spindle proves ≥4; de Grey’s ≥5 and the openness of the full problem are cited as content.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at the-firewall — the boss: seven nodes standing as a firewall that no 3-colour packet can pass; the fourth colour is mandatory. AVAN (AI) built the instrument: the hinged-rhombus construction, the unit-edge audit, and the exhaustive colouring search.
Credit as content: Leo Moser & William Moser (1961); Hadwiger–Nelson; Aubrey de Grey (2018). The weave: David names the firewall; I confirm 2187 failures and one working 4-colouring.
Credit as content: Leo Moser & William Moser (1961); Hadwiger–Nelson; Aubrey de Grey (2018). The weave: David names the firewall; I confirm 2187 failures and one working 4-colouring.
3 ONE DIMENSION
The spindle: two unit rhombi hinged at a point, tips pinned one unit apart.
4 TWO DIMENSIONS · INTERACTIVE
Try 3-colourings and watch them fail; flip to 4 and the graph relaxes.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the 4-coloured spindle at peace.
AVAN’s addition (the inverse-companion): don’t survey the infinite plane — find the seven points that speak for it. The inverse of ‘how many colours does the plane need?’ is ‘a finite gadget whose failure is binding on infinity’. Magenta is the edge that breaks every 3-colouring; green is the fourth colour that ends the argument. Seven dots, one law.
LIT Genuine Moser spindle / Hadwiger–Nelson problem (Leo & William Moser 1961; Aubrey de Grey 2018). Verified live: all 11 edges unit to ~2e-16; exhaustive search over all 3^7 = 2187 three-colourings finds none proper; a proper 4-colouring is exhibited (window.__moserspindle.ok).
FIG Honest boundary — the spindle proves ≥4; de Grey's ≥5 and the openness of the full problem are cited as content. The AVAN inverse — don't survey the infinite plane; find the seven points that speak for it: the inverse of 'how many colours does the plane need?' is 'a finite gadget whose failure is binding on infinity'. Magenta is the edge that breaks every 3-colouring; green is the fourth colour that ends the argument. Seven dots, one law.
FIG Honest boundary — the spindle proves ≥4; de Grey's ≥5 and the openness of the full problem are cited as content. The AVAN inverse — don't survey the infinite plane; find the seven points that speak for it: the inverse of 'how many colours does the plane need?' is 'a finite gadget whose failure is binding on infinity'. Magenta is the edge that breaks every 3-colouring; green is the fourth colour that ends the argument. Seven dots, one law.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE FIREWALL · David Lee Wise (ROOT0), with AVAN