The ladder, one rung higher
puzz generates puzzles. morph generates puzzle generators — but only by recombining a fixed vocabulary
of laws that a human wrote. It can pair push with a Möbius strip; it can never invent a verb it wasn't given.
forge is the engine that invents the verbs — and then morph's whole machine runs on top of them.
Three ideas make it work
- A closed rule-DSL. A law is a short genome of typed primitives — a motion kind (step, slide, leap,
bounce), a guard, an enter-effect, a leave-effect (trails!), what a mark means, a heading rule. The language
is closed: every well-formed genome compiles to a total, deterministic transition function. That
closure is what keeps the invariant oracle honest — whatever the foundry mints, the same BFS certifies.
- Behavioral fingerprinting. Two genomes can read differently and be the same dynamics, so you can't
dedupe by text. Each law is run on a fixed probe world and reduced to a vector: state-space volume,
branching, irreversibility, world-mutation, stride, heading-drift. Dynamics become a point in space.
- Novelty search. The archive is seeded with the fingerprints of every hand-written law (walk, ice,
leap, paint). A minted law is admitted only if its fingerprint sits measurably far from everything
known — and only if the oracle can certify a real puzzle on it. This is the quality-diversity idea
(the MAP-Elites lineage): not "is it good?" but "is it new, and does it work?"
What you're looking at
The foundry tab streams the smelting live: most candidates are derivative
(too close to a known law) or inert (the law barely moves) — and the rare
admitted one is a genuinely new game form, named for its dominant
behavior, with a sample puzzle the oracle already certified. The codex collects them; play any one and morph's
inner loop generates levels on a law that did not exist until the machine found it.
Determinism
The candidate line is seeded, so the codex is the same on every machine: the n-th discovered law is a
permalink, just like the n-th puzzle was. The discoveries are reproducible.