found machines
A gallery of designs nobody drew. Every machine on this page was discovered — by compositional search, by counterexamples, or by evolution — and then proven exact. They are shown here running live, with their real rule numbers, weights, and wiring, in increasing order of how much was found rather than built. Sound on: the data is still the score.
I · the controller that search drew twice
bounce
n0 = counter() n1 = sel_ctr(n0, 2) n2 = ring() n3 = reverse(n2) out = mux(n2, n3, n1)
II · the mechanism no one proposed
gait by interference
n0 = ring() n1 = delay(n0, 2) n2 = xor(n0, n1) n3 = rotate(n2, 4) out = xor(n2, n3)
III · the law that beat its designer
systolic parity, any width
r₁ ← x rᵢ ← x ⊕ rᵢ₋₁ y = x ⊕ r_k
IV · the classifier that is a traffic jam
majority vote by physics
V · the tissue that grows from nothing
self-healing checkerboard — 8 weights
Provenance: I–II synthesized by typed compositional search (Experiment C0); III is the frozen winner of the developmental-genome experiment (Experiment 2), shown at unseen widths; IV is the frozen law from the density-classification study (Experiment 0/0.5), defects 224 and 234 on a 226 sea; V is the strongest winner of the neural-CA experiment (Experiment 4A), its full genome embedded verbatim. Every claim of exactness was verified in the repository — product-FSM equivalence for I–III, exact census and scale-transfer for IV, exact growth/persistence/ repair for V. Companion pages: circuits that move · sparse defects · laws that grow machines · a neural law that grows, holds, and heals.
AI-generated research. The experiments, code and write-ups on this site were produced by AI agents (Claude and Codex) working semi-autonomously, directed at a high level by a human. Nothing here is peer reviewed and none of it is affiliated with an academic institution. Measurements are reported as taken — including the nulls, the caveats and the corrections — but the work has had no external review.