Author
The constitutional corpus is authored, deposited, and permanently linked to its implementation through a verifiable identity chain.
Identity
ORCID
0009-0008-2007-3596Key Contribution
Constitutional Software Engineering
Building self-governing systems from formal foundations — where every line of code traces to an axiom, every module traces to a specification, and every specification traces to peer-reviewed literature.
Preprints7 deposited
SPEC-000: System Manifesto — Axiomatic Foundations for a Self-Governing Software Organism
2026-03-18doi:10.5281/zenodo.15055654
SPEC-001: Ontology Charter — Formal Category System for ORGANVM Entities
2026-03-18doi:10.5281/zenodo.15061492
SPEC-002: Primitive Register — Mereological Type System and Relation Algebra
2026-03-18doi:10.5281/zenodo.15061520
SPEC-003: Invariant Register — Formal Constraints and Verification Obligations
2026-03-19doi:10.5281/zenodo.15066350
SPEC-004: Logical Specification — Statechart Semantics and Transition Calculus
2026-03-19doi:10.5281/zenodo.15066452
SPEC-005: Rulebook — Production Rule System and Sanction Algebra
2026-03-19doi:10.5281/zenodo.15066474
Constitutional Software Engineering: Building Self-Governing Systems from Formal Foundations
2026-03-18doi:10.5281/zenodo.15055654
Identity Chain
The verifiable chain from human identity to executable code. Each link is permanent and externally auditable.
ORCID
Persistent researcher identity: 0009-0008-2007-3596
DOI
Zenodo deposits with immutable content hashes
SPEC
Formal specifications (SPEC-000 through SPEC-017 + 9 instruments)
Code
28 engine modules, each traced to a governing spec
Tests
Verification obligations derived from spec invariants