Indexing the archive…
Your Universe of Digital Possibilities
Give every cell the whole alphabet of tiles at once, then start ruling things out. Collapse the most-constrained cell to a single tile, let that choice forbid its neighbours’ mismatches, and repeat — certainty crystallising outward until the grid resolves into a pattern that is everywhere locally legal yet nowhere repeats. It borrows its name loosely from quantum measurement; it is not quantum — just constraint propagation with a poet’s name.
Every cell starts as a superposition of all tiles. Collapse the most-constrained cell (lowest Shannon entropy) to one tile, propagate the adjacency rules to its neighbours, and repeat — a wave of certainty spreading by constraint, borrowing its name loosely from quantum measurement.
Square tiles with coloured edges that may sit side by side only when the touching edges match. Wang asked the innocent question — can a given set tile the plane? — and conjectured that any set that can, can do so periodically. He was wrong, and the wrongness runs deep.
Berger proved no algorithm can decide it — by encoding a Turing machine into tiles, so “tiles forever” means “never halts”. The proof spits out the first aperiodic set: tiles that cover the plane but never repeat. Penrose shrank it to two; the hat, in 2023, to one.
WFC borrows its name loosely from quantum measurement — a cell’s superposition “collapsing” to one tile — but be clear: it is notquantum, just constraint propagation. The Tile is the procedural cousin of The Mosaic (INST·59, tessellating the plane) and The Seed (INST·58, growing structure from a rule), and like The Set it builds endless structure from a finite grammar. The deep twist lives one level down: whether a tile-set can tile the plane at all is undecidable— Berger’s 1966 reduction to the halting problem, the same horizon The Tape (INST·64) maps. And the famous aperiodic sets — Penrose’s two tiles, Shechtman’s quasicrystals, the 2023 “hat” einstein monotile — are order without repetition: a pattern that never quite repeats yet never breaks its rule.