Sorting algorithms as dynamical systems: mechanistic signatures, perturbations, and robustness tests.

MCTS search over Lean tactic proofs: an intervention harness for proof structures and basins, and a study of distributed MCTS as a search algorithm in its own right.

Flow Lenia: perturbation experiments that test whether spatially localized patterns cohere, recover, and show goal-directedness, and cartography of the genotype-phenotype morphospace they live in.

Jolt simulations that compare local material-memory updates against memory-free and damping-only controls.