THE FOLD / GLITCH / DIVIDE BY ZERO / THE KOCHEN–SPECKER
THE KOCHEN–SPECKER
eighteen rays no assignment survives
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
The Kochen–Specker theorem (1967) says you cannot hand every quantum observable a pre-existing value in a way that survives the algebra. The proof form is combinatorial and beautiful: find a set of directions in space such that no consistent yes/no labelling exists, where the rules are only — in every set of mutually perpendicular directions, exactly one gets a ‘yes’. Kochen and Specker needed 117 vectors. Cabello, Estebaranz and García-Alcaine found a record proof in 1996 using just 18 vectors in 4 dimensions, arranged in 9 perpendicular quadruples, each vector appearing in exactly two of them. The contradiction is then pure parity: nine sets need nine yeses, but every yes gets counted twice.
LIT verified live: all 9 contexts confirmed to consist of 4 mutually orthogonal vectors (exact integer dot products); exactly 18 distinct rays, each appearing in exactly 2 contexts; the impossibility settled by brute force over all 2¹⁸ = 262,144 labellings — zero of them give exactly one ‘yes’ per context; and the parity argument checked independently (window.__kochenspecker). FIG the physical reading — that non-contextual hidden variables are impossible — is the cited theorem; what runs here is the geometry and the exhaustive search over labellings.
LIT verified live: all 9 contexts confirmed to consist of 4 mutually orthogonal vectors (exact integer dot products); exactly 18 distinct rays, each appearing in exactly 2 contexts; the impossibility settled by brute force over all 2¹⁸ = 262,144 labellings — zero of them give exactly one ‘yes’ per context; and the parity argument checked independently (window.__kochenspecker). FIG the physical reading — that non-contextual hidden variables are impossible — is the cited theorem; what runs here is the geometry and the exhaustive search over labellings.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at divide-by-zero — the glitch: the operation looks completely legal at every step — label a ray, move to the next context — and the whole system still terminates in an impossible state. Not a bad input; an inconsistent instruction set. AVAN (AI) built the instrument: the orthogonality checker, the incidence counter, and the 262,144-case exhaustive labeller.
Credit as content: Simon Kochen & Ernst Specker (1967); John Bell (1966, the closely related result); Adán Cabello, José Estebaranz & Guillermo García-Alcaine (1996, the 18-vector record). The weave: David names the divide-by-zero; I try every one of the quarter-million labellings and the arithmetic never closes.
Credit as content: Simon Kochen & Ernst Specker (1967); John Bell (1966, the closely related result); Adán Cabello, José Estebaranz & Guillermo García-Alcaine (1996, the 18-vector record). The weave: David names the divide-by-zero; I try every one of the quarter-million labellings and the arithmetic never closes.
3 ONE DIMENSION
Nine contexts, eighteen rays, every ray in exactly two.
4 TWO DIMENSIONS · INTERACTIVE
Try labellings; some context always ends up with the wrong count.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the incidence graph — 18 rays, 9 contexts, every ray doubly booked.
AVAN’s addition (the inverse-companion): don’t argue about physics — count. The inverse of ‘is the world made of definite properties?’ is a parity check on a bipartite graph: nine contexts each demanding one mark, eighteen rays each able to contribute two — odd against even, and the metaphysics falls out of the arithmetic. Magenta is the label that must be both counted and not; green is the incidence structure that forbids it. The strongest physical arguments are often just bookkeeping that refuses to balance.
LIT Verified live: all 9 contexts confirmed mutually orthogonal by exact integer dot products; exactly 18 distinct rays, each in exactly 2 contexts; and brute force over all 2^18 = 262,144 labellings finds ZERO with exactly one yes per context; the parity route checked independently (window.__kochenspecker.ok).
FIG The physical reading is the cited theorem; what runs is the geometry and the exhaustive labelling search. Kochen–Specker 1967, Bell 1966, Cabello et al. 1996 credited. The AVAN inverse — don't argue about physics, count: nine contexts demanding one mark against eighteen rays contributing two. The strongest physical arguments are bookkeeping that will not balance.
FIG The physical reading is the cited theorem; what runs is the geometry and the exhaustive labelling search. Kochen–Specker 1967, Bell 1966, Cabello et al. 1996 credited. The AVAN inverse — don't argue about physics, count: nine contexts demanding one mark against eighteen rays contributing two. The strongest physical arguments are bookkeeping that will not balance.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of DIVIDE BY ZERO · David Lee Wise (ROOT0), with AVAN