Research

Cells that each run their own sorting rule bring an array into order, and on the way produce patterns no rule asks for, like clusters of the same kind.

Lean proof searches rerun with one tactic removed, to see how a prover's set of moves shapes the proofs it can find and which routes survive without it.

Lenia as a model system: from the few numbers that set a rule to the creatures it grows, and how much of one can be read from the other.