Skip to content

Theory

Mathematical properties, laws, and impossibility proofs about the puzzle.

14 pages

finding
Why 479 is impossible

A counting argument on the official piece set forbids a score of exactly 479/480: every color's half-edges come in even numbers, and a single broken joint would leave two odd counts. The floor below perfect is 478, and at most 76 one-move near misses can surround any solution.

finding
The rigidity wall

Every record board we have is frozen in place. You cannot nudge your way from a great board to a perfect one, and we can prove it.

finding
Entropy and the area law

Eternity II has two rules: edges must match, and each piece is used once. The first is generous. All the hardness lives in the second.

finding
Forbidden patterns

Almost every small patch of pieces you could build is impossible. For a 2×2 square, 99.72% of the ways to place four pieces can never be made to match.

finding
Ring purity: the border is a closed sub-puzzle with zero slack

Five of the 22 colors never touch the 196 interior pieces. The piece list forces every valid solution to spend all 120 frame half-edges on the border ring: a self-contained sub-puzzle at exactly zero slack (120 = 120), an Eulerian circuit on five vertices, coupled to the interior through just 56 inward edges.

finding
Flux invariants: a rotation law the official set obeys exactly

Weight every edge color and read each piece as a signed vector, east minus west on one axis, south minus north on the other. Summed over any region the interior seams cancel and only the boundary survives, so the whole board totals zero. A quarter turn rotates the vector by a right angle, making the law algebra in the Gaussian integers.

finding
Why basin-hopping looks impossible

If you can't improve a great board by polishing it, maybe you can jump to a different great board. On every record pair tested, you can't, and the structural reason why is worth seeing.

finding
The puzzle has no height function

Borrow the physicist's trick that makes crystal defects solvable and try to turn a mismatched joint into a dislocation with a conserved charge. It fails three ways: a scalar height is blind to breaks, the break set is open strings rather than closed loops, and the oriented per-color current is not conserved. Only an unsigned parity bit survives.

finding
The hard region you cannot design away

Fill a board in any fixed order and the top three quarters go in freely while the difficulty piles into whichever band you finish last. Across forty generated boards the entire leftover sits in the bottom half every single time; shuffle the fill order and it scatters, so the hard region is made by the sweep, not hidden in the board.

finding
Constraint immediacy: every fill order pays the same 480

Sum, over any visit order of the 16x16 board, the number of already-placed neighbours each cell faces at the moment it is filled: the total is exactly 480, for every order. A fill order cannot add restriction; it only chooses when each restriction binds. What separates orders is immediacy, the distance between a decision and its refutation, and only the extremes of that ranking are properties of the puzzle rather than of the engine.

finding
The board as a codeword

Read a full board as a codeword whose 480 internal joints are parity-like checks, and the matched-edge score becomes 480 minus the number of failed checks. It is a clean lens with one load-bearing identity underneath it, and it is worth being exact about what the coding view buys and what it only renames.

finding
The frame is not the basin: a different border does not open a different high board

The border ring is the most constrained part of the puzzle, so a different strong border ought to pin a different high interior. It does not. Many distinct fully-matched borders, each completed by one fixed interior producer, give tops that are near-maximally different from each other yet uniformly low, none near the record band. The border diversifies the board without predicting its ceiling.

finding
The border balance

A solved board hides a simple bookkeeping law: every colour the border hands to the interior, the interior hands straight back. Break it and you know instantly the board is wrong; obeying it, though, guarantees nothing.

finding
The theorem sweep: thirteen structural laws

One research arc, thirteen families of structural theorems: ring purity, the 479 parity floor, the 470 wall as a phase boundary, flux invariants, the entropy area law, and the impossibility results that price every standard shortcut. This page is the map.