Rule Record

Write what you mean. Encode it as one tiny tile rule. Try to falsify the gap before the machine does. Three rounds, then the declaration freezes as an exportable record.

round 0 / 3 · declaration required

1 · Declaration

One sentence naming what your rule is supposed to preserve.

After a contradiction, this sentence must change before the grid rule can change.

2 · Bounded tile rule

If center isand touchesand separately touchesturn center into

When you name a second neighbor, it must be a different adjacent square. One tree cannot satisfy both clauses.

3 · Falsify

Pick a chamber, then run one machine step. You are the adversary against your own rule.

Machine record

before

after one step