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

MCTS proof search in Lean under controlled perturbations, with emphasis on structural invariants and reproducible run analysis.

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.