Systemic foundations for transdisciplinary science.
Claims are machine-checked where they can be, and labeled as prose where they can't. Instruments ship as working software.
systems-science-foundations |
Machine-verified commuting triangle of systems ontology: Klir, Bunge, Mobus in Lean 4 |
what-is-a-system |
Interactive Lean 4 document: three definitions of system, one commuting triangle. Read it |
mathematical-systems |
Formal definitions of "system," and the maps between them. A sourced atlas, a Lean bridge, and the cost of translation. Live at math.systems |
bert |
The systems scientist's toolkit. Bounded Entity Reasoning Toolkit, at bert.systems |
session-starter-kit |
A tiny generic starter for running your work through Claude Code |
brand |
The Halcyonic Frost visual identity: palette, type, and the kingfisher mark |
stigmergy-bench |
Stigmergy as a coordination protocol: reproducing and generalizing "Hacking the Colony" (AAMAS 2022). How authentication-free coordination collapses under forged signals, and what a defense costs |
stigmergy |
A single-file ant-pheromone toy. Watch highways self-organize |
rsc-endowment-abm |
Agent-based model of ResearchCoin staking with behavioral archetypes |
georgist-network-economy |
Agent-based Georgist land value simulation |