Research

Each dossier gathers the experiments, reports, data, and documentation for one research project, covering Lenia artificial life, sorting algorithms, Lean proof search, and simulated materials.

A schematic of local exchanges producing a sorted sequence.

D-001Morphogenetic Signatures in Sorting Algorithms

Statusactive-writing

Activity2026-10-16

Cells sort themselves under perturbation, while local moves, waiting rules, and obstacles shape the order that emerges.

Open dossier Repository Cabinet docs

Two routes to an algebraic proof, shown schematically.

D-002Wonton Soup

Statusactive

Scopeexpansion

Activity2026-10-16

Lean proof searches rerun with one tactic removed, testing which routes to a theorem remain available.

Open dossier Repository Cabinet docs

D-003Lenia Swarm

Statusactive

Activity2026-10-16

Artificial-life experiments in which Lenia bodies form, persist, and respond to change, with a map of the shapes they can take.

Open dossier Repository Cabinet docs

Six connected bodies under a driving force and a disturbance, shown schematically.

D-004Material Memory in Physical Collectives

Statusconcept

Activity2026-10-14

Jolt simulations in which materials update a local memory, compared against memory-free and damping-only controls.

Open dossier Repository Cabinet docs