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

Intervention framework for proof-search structure: centralized MCTS maps proof families, basin stability, and search efficiency, while distributed MCTS tests how collective control 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.

Canonical SPECTER design language specification and multi-target token generation.

Compact decision procedure for equational implication over magmas, distilled from the 4694-law implication graph into a sub-10KB offline cheatsheet for SAIR's Stage 1 benchmark.

Implementation for reworking CATWD 2.0 semantics and calibrating K across domains to better understand its properties.

Typst template suite for Specter field manuals and public papers, with shared tokens and reproducible build routing.

Lean-native extractor for deterministic theorem-item JSONL used in Wonton Soup corpus workflows.

Offline training and reranking over exported Wonton Soup run traces.

WASM-first `egui` component library for dashboard-grade research visualization.

Algebraic, round-trippable representations of Lean proof-state tactics.

History-mined benchmark harness for reproducible tinygrad contribution tasks.

Benchmark harness for Lean `sorry` tactic proposals, with split policy, scoring, and verification protocols.

Deterministic ingestion pipeline for SorryDB-compatible snapshots and benchmark indexes.