Sorting dynamics as morphogenetic systems, with mechanistic analysis and robustness assays.

Proof search in Lean as a structured problem space: centralized MCTS maps proof families and basin structure, while distributed MCTS tests how coordination changes access to that landscape.

Controlled studies of persistent forms and behavior in Flow Lenia, aimed at identifying candidate proto-cognitive structure.

Memory-like behavior in decentralized physical collectives under local material updates and path-dependent adaptation.