IV. Repos
Code
The code behind the papers. Lean mechanizations, exact finite laboratories and deterministic Python and Rust experiments. Every public repository of the programme is named six-birds-something and lives under github.com/ioannist.
Foundations and theory
6 repos-
Lean 4 + Python
Updated Sep 2026ioannist/six-birds-route-transport
Exact finite implementation and Lean core for Holonomy with Memory. Compares current event equivalence with future predictive equivalence on a fixed support.
Python Lean 4 -
Workspace
Updated Jul 2026ioannist/six-birds-theory
The full research workspace for the founding paper. Manuscript, formal scaffolding, reproducibility checks and the registries that later papers build on.
TeX ★ 3 -
Lean 4
Updated Jun 2026ioannist/six-birds-meta-math
Lean mechanization and traceability inventories for the layer agnostic law catalog and the meta theory paper that ties three Clay problem closures together.
TeX Lean 4 -
Lean 4
Updated Jun 2026ioannist/six-birds-math-usefulness
Companion Lean development for Why Mathematics Even Works. Binds every claim in the paper to a Lean declaration and re runs the coverage checks in one command.
Lean -
Theorem pack
Updated Mar 2026ioannist/six-birds-no-go
Eight no go theorems for audited emergence in finite systems, with machine readable theorem statements, witness suites and red team review runners.
Python -
Witnesses
Updated Feb 2026ioannist/six-birds-min-substrate
The weakest substrate on which all six primitives can be realized without smuggling. Finite Markov kernels, deterministic lenses and intrinsic audits, with witness experiments.
TeX
Physics
13 repos-
Simulation lab
Updated Sep 2026ioannist/six-birds-quantum-os
Quantum error correction as a test bed for the theory. Frozen predictions, exact rational arithmetic, Stim and PyMatching sampling, and every failed prediction reported as frozen.
Python -
Python package
Updated Jun 2026ioannist/six-birds-de-closure
The sbt_cosmo package for dark energy as closure. Background, growth, probes, audits, inference and a reproduce without rerun surface of committed tables and figures.
Python -
Atlas
Updated Jun 2026ioannist/six-birds-sm-qm-gr
Support surface for To Kill Three Stones. Physics track construction artifacts, validator outputs and re derivation pointers for the three predictions.
Python -
Lean 4 + TeX
Updated Jun 2026ioannist/six-birds-needles
Sources and mechanization for four papers: the needle killer, adequacy residuals, the Navier Stokes membrane theorem and audited operational realisability.
TeX Lean 4 -
Counterexample
Updated Jun 2026ioannist/six-birds-protocol-trap
Two reversible kernels that fail to commute yet produce no entropy once the schedule is modeled autonomously. A small, sharp counterexample with sweeps.
Python ★ 1 -
Audit
Updated Jun 2026ioannist/six-birds-neutrino
Replicates the neutrino mass shift between two SPT likelihoods and reads it as a packaging stability problem. Cross lens audits, staging controls and a Lean proof.
TeX -
Rust engine
Updated Mar 2026ioannist/six-birds-pica
Rust simulation engine and audit pipeline behind To Create a Stone. More than two thousand runs across four substrate sizes, with the full figure pipeline.
Rust ★ 1 -
Lean 4 + Python
Updated Mar 2026ioannist/six-birds-navier
A no Zeno decision scaffold for Navier Stokes. Machine checked inequalities in Lean and legality diagnostics in Python. It does not claim to solve the problem.
Python Lean 4 -
Engine
Updated Feb 2026ioannist/six-birds-space
Builds a space like layer from Markov dynamics. Lenses, closure operator, emergent metric, a curvature diagnostic and the Pythagoras experiment with its negative control.
TeX ★ 1 -
Experiments
Updated Feb 2026ioannist/six-birds-quantum
Finite dimensional quantum mechanics in closure language. Double slit and eraser, cat packaging, dephasing contexts and EPR, each as a deterministic experiment plus Lean lemmas.
TeX ★ 1 -
Micro lab
Updated Feb 2026ioannist/six-birds-time
A finite state world where time has to be earned. Arrow audits, clock audits, enablement audits and a measured no global time obstruction.
Python ★ 1 -
Experiments
Updated Feb 2026ioannist/six-birds-physics
Four familiar physics layers written in one dictionary: quantum to classical, kinetic to fluid, filtering on Burgers, and averaging with backreaction.
TeX -
Pipelines
Updated Feb 2026ioannist/six-birds-de
Cosmology as a closure package. Toy mechanisms, synthetic inference tests, and pipelines for public supernova, BAO and large scale structure data.
Python ★ 1
Mathematics and logic
8 repos-
Lean 4 + TeX
Updated Jun 2026ioannist/six-birds-duality-confinement
Sources and mechanization for self dual trace confinement and the conditional Riemann closure that rests on it.
TeX Lean 4 -
Lean 4 + TeX
Updated Jun 2026ioannist/six-birds-hiddenness
Sources and mechanization for Hiddenness as a structural law and the P versus NP paper that applies it to the saturated SAT layer.
TeX Lean 4 -
Theorem package
Updated Apr 2026ioannist/six-birds-cantor
Frozen theorem package for the Cantor shell paper. Claim ledger, traceability matrix, publication risk audit and a static web scaffold for the exported data.
Python -
Lean 4 + Python
Updated Mar 2026ioannist/six-birds-godel
Incompleteness as package change. Lean surfaces for fixed package saturation and package change necessity, plus a Python comparison layer.
Python Lean 4 -
Lean 4 + audits
Updated Mar 2026ioannist/six-birds-confluence
Confluence as flatness in rewriting systems. Lean core, exhaustive audits of every small system, and reduction 2 complex artifacts.
Python Lean 4 -
Markov labs
Updated Mar 2026ioannist/six-birds-logic
When does a substrate earn a bit? Finite Markov test beds for packaged predicates, gates and Booleanity, with parity robustness and gate phase experiments.
Python -
Experiments
Updated Mar 2026ioannist/six-birds-randomness
Randomness as the residue of non closure. Exact closure deficit benchmarks, budgeted prediction curves and hashing toys, with Lean anchors.
Python -
Experiments
Updated Feb 2026ioannist/six-birds-mathematics
Higher mathematical objects as closure pipelines. Stencil selection, route mismatch under coordinate change and prime closure experiments, with Lean anchors.
TeX ★ 1
Layers, agents and society
8 repos-
Exact lab
Updated Jun 2026ioannist/six-birds-game-theory
Institutions as strict extensions of the game. A complete finite repeated game laboratory, seeded stochastic runs and a pre registered human data analysis.
Python -
Result bundles
Updated Mar 2026ioannist/six-birds-layer-birth
A taxonomy of four layer birth classes and the observables that separate them. Analysis package, result bundles and a reproducibility freeze.
Python -
Atlas pipeline
Updated Mar 2026ioannist/six-birds-maps
Emergence phase diagrams in control space. Law space atlases, packaging space scans and PICA mechanism maps with the comparison layer used by the paper.
Python -
Markov lab
Updated Mar 2026ioannist/six-birds-currency
When a spending coordinate below becomes a feasibility law above. Path reversal audits, shadow price recovery and packaging stability experiments.
Python -
Ring world
Updated Feb 2026ioannist/six-birds-agent
An agent as a maintained package. Viability kernels, feasibility gated empowerment and a minimal ring world with toggles for each of the six primitives.
TeX ★ 1 -
Paper repo
Updated Feb 2026ioannist/six-birds-life
Paper first repository for To Wake a Stone. The manuscript and a claim ledger that ties every number to the two substrate repositories below.
TeX ★ 1 -
Rust + WASM
Updated Feb 2026ioannist/six-birds-particle
Interactive particle substrate for the life paper. A browser UI on a Rust core where you can switch the six primitives on and off and watch the audits move.
JavaScript ★ 1 -
Python
Updated Jan 2026ioannist/six-birds-neural
Neural and meta layer substrate for the life paper. Budgeted token coupling, stroboscopic diagnostics and hazard response under matched baselines.
Python