Independent researcher and systems architect. I work on formal theory and deterministic systems governance, integrating rewriting systems — treating architecture as something that gets verified, not just described.
- Deterministic governance — system behavior specified as invariants and contracts that get checked against the running system, not left as prose that can drift from the code.
- Rewriting systems — typed graph rewriting for structural repair: resolving conflicts, closing local minima, tracking phase transitions in a system's structure.
- Formal theory, applied — closed vocabularies, separation criteria, and provenance rules: the discipline that keeps a large body of documentation honest against a live, changing codebase.
ORCID: 0009-0003-9082-650X · Community page: Structural Governance on Zenodo
Formal theory
- The Structurally Computable Layer of Reality and the Cognitive System-Generating Operator (OCGS) — a formal theory of observable structural computability; four theorems, including uniqueness of the minimal architecture. Aug 2026
- Closure Trivialization in Typed Separation Systems — when a separation criterion (layered architectures, access control, separation of powers) can be trivialized by enlarging jurisdiction, and exactly when it can't. Aug 2026
- Two Regimes of Failure in Structural Repair — an oracle-verified engine that distinguishes trivial repair failure from an emergent structural local-minimum trap. Jul 2026
Deterministic governance engines — blueprints
- Operator Engine 2.0.13 — deterministic structural solver: classifies the form of a conflict, builds the architecture it requires, converges by energy minimization. Aug 2026
- Builder Engine 3.5.8 — the contract engine that declares architecture in BCL and fabricates systems from a contract with no module written by hand. Aug 2026
- Governing the Smallest Piece — blueprint of governed_core, the ~700-line console that plugs an 11-system ecosystem together. Aug 2026
- RICK AGG — blueprint of an enterprise operating system running a complete financial cycle, governed by deterministic engines. Aug 2026
Case studies & verification reports
- Architecture Is Verified, Not Remembered — implementation report on the enterprise OS above: what live verification found once the guards were built. Aug 2026
- An Error That Shouts Gets Fixed; One That Stays Silent Gets Inherited — ten rules for writing a guard that works, drawn from a month of running the system above. Aug 2026
- When the Defect Is in the Specification — using a published formalism as a correctness oracle for contract-generated code; every surviving defect traced to human transcription, not to generated code. Aug 2026
- Errata · When the Defect Is in the Specification — corrects two statements in the report above after a follow-up measurement. Aug 2026
- Appendix A · The Factory — a published paper's operator declared as a 40-module contract and fabricated with zero hand-written modules; includes a negative control. Aug 2026
Filing and following up on issues around closed-vocabulary enumeration and architecture-verification tooling — spec-kit, ArchUnit, eslint, import-linter, dependency-cruiser, Hypothesis.