← All writing

When Governance Becomes Infrastructure

A case study shipped with three factual errors — and every check passed: the sources were cited, the audit was green, the page compiled. The model had cited accurately and still been wrong. Cited is not correct. This essay follows that incident to its conclusion — governance compiled into a pre-execution, gating runtime: a Governed Constraint Set that decides whether an artifact should exist at all. The third paradigm in the as-Infrastructure progression, and the infrastructure counterpart of Governance-Driven Design.

Michael Shatny··8 min read

Cited Is Not Correct

A case study shipped with three factual errors. A statistic from one game, attributed to another. A “zero” that was a “two.” A figure quoted correctly from a source that was itself stale.

Every check had passed. The model had cited its sources accurately. The sources existed. The citations matched. The audit returned zero errors. The page compiled. The deploy took two seconds. Nothing in the pipeline caught the mistakes — because the constraint that would have caught them had never been written down.

The pipeline's working definition of correct was: every claim is supported by a cited source. The incident revealed that this constraint and a different one — every claim is true — had been quietly treated as the same thing. They are not. A model can cite accurately and still misread. A cited source can be stale. Cited is not correct.

That was not a model failure. The model did what it was asked. It was a governance failure: an assumption made too late, surfaced only by the cost of being wrong. And it pointed at something larger than a fix for one pipeline — at where governance belongs in a world where machines act before anyone reviews them.

The Table Gains Another Row

There is a table that has been growing for a decade. Each row takes something that used to live in a document or a person's head and compiles it into infrastructure — and pins it earlier in the lifecycle than the row before.

ParadigmWhat it compiles
Infrastructure-as-CodeProvisioning
Policy-as-CodeCompliance rules on deployed artifacts
Methodology-as-InfrastructureHow to think
Intent-as-InfrastructureWhat to reach into
Governance-as-InfrastructureWhat must be true

Methodology-as-Infrastructure (MaI) compiled how to think into a deterministic runtime. Intent-as-Infrastructure (IaI) compiled what to reach into, and handed compilation to an intelligent model. The new row compiles what must be true — and it sits furthest upstream, because every other row presupposes a definition of what correctness means. You cannot provision, gate, analyze, or act correctly without first knowing what correct is.

What Intent-as-Infrastructure Established

IaI gave the series its most important primitive: the human as a first-class architectural element, not an optional approval step. But it placed the human at a specific moment — the moment of consequence. When an autonomous workflow hits ambiguity it cannot resolve, it surfaces a decision and waits. The human decides at the point of action.

Governance-as-Infrastructure keeps the primitive and moves it upstream. The human is reserved at the moment of formalization — when the definition of correctness is declared, before any artifact exists. The shift is small to state and large in consequence: from decide at the moment of action to decide what correct means before any action exists. UC-236 is what the second one prevents and the first one cannot.

Four Properties, Precisely

For a system to qualify as Governance-as-Infrastructure — rather than as governance theater wearing a dashboard — four properties have to hold together.

1

Pre-execution

It operates before any artifact exists or any agent is invoked. Not audit (which inspects what already exists), not even Policy-as-Code (which gates what is already deployed). The earliest possible moment: the definition of correctness itself.

2

Constraint-formalized

Governance is compiled into an explicit, machine-checkable Governed Constraint Set — what must hold true, what must not be violated. Not prose policy, not tribal knowledge. The act of formalizing is itself the governance act.

3

Residue-sovereign

The constraint set — including the part that cannot be resolved by machine — is a sovereign, git-trackable, provable artifact. The unresolvable residue is surfaced, named, and owned. Never silently auto-resolved inside a scoring function.

4

Human-as-primitive at formalization

Human judgment is reserved at the moment of formalization, by design, and execution gates on it. Nothing proceeds past unacknowledged residue. The gate is wired into the run, not printed beside it.

A system that has audit logs and oversight dashboards, but resolves ambiguity silently and blocks nothing, is Governance-as-Audit. It fails the first property and usually the last two. It is the default posture of the field, and it is not what this is. The four-property test is the diagnostic that tells them apart.

The Gate Is the Runtime

The Governed Constraint Set is the unit of infrastructure here, and its shape is what makes it gating rather than advisory. It holds three kinds of statement: what must hold true, what must not be violated, and what remains unresolved and needs a human. The first two a machine can check. The third is the governance act — and the cycle does not exit when everything is resolved (much never will be), but when every unresolved item is explicitly acknowledged, with an owner.

In the pipeline that shipped UC-236, that abstraction is now three gates standing before deploy. A structural and semantic audit that must return clean. A claim-by-claim fact verification against cited sources — the gate that did not exist before the incident and exists because of it. And a permanent human gate: does this thesis earn a citable, archived record? — the one decision a machine cannot make. A report would inform you of a problem after the fact. A gate stops the run. That is the whole difference, and it is the difference between governance as a document and governance as infrastructure.

The result was not a slower pipeline. It was an explicit one. After the constraint set was formalized, cases shipped end to end — research, audit, verify, generate, deploy — with zero post-publish corrections across a sustained run. Speed was never the bottleneck. The undefined definition of correctness was.

The Human Moves Upstream Again

The temptation, reading this, is to hear an argument for more automation — for a machine that governs itself. It is the opposite argument. The most valuable output of the whole cycle is precisely the part a machine cannot resolve: the residue, the decisions where the rules are undefined, the constraints in genuine conflict, the question the audit cannot answer. The machine does everything else. The human is reserved for the one thing only a human can do, at the one moment it still costs nothing to do it — before anything is built.

This is the same primitive IaI named, moved one station up the line. IaI asks a human to decide which option is right when the workflow surfaces them. GaI asks a human to decide what right even means, before the workflow runs. The further upstream the judgment sits, the cheaper the mistake it prevents.

What GDD and GaI Say Together

There is a discipline for doing this. Governance-Driven Design (GDD) is the practice — the verb — the cycle a person runs to surface assumptions before they become expensive. Governance-as-Infrastructure is the noun: the claim that the artifact that practice produces, the Governed Constraint Set, is a runtime. GDD's cycle produces the constraint set; GaI is the proposition that the constraint set gates execution. One says how to do it. The other says what it is once it runs.

Which is why two lineages quietly converge here. One is a lineage of disciplines — TDD, DDD, BDD, and then GDD — each moving the definition of correctness one layer earlier. The other is a lineage of infrastructure paradigms — IaC, PaC, MaI, IaI, and then GaI — each compiling something abstract into a runtime. They end at the same place, from opposite directions. The discipline axis ends at governance. The infrastructure axis ends at governance. They are the verb and the noun of one primitive.

For decades, governance was something you added after a system produced something to govern. In AI-first delivery, where the distance between designed and in production collapses toward nothing, that posture arrives too late to be anything but remediation. Methodology became a runtime. Intent became a runtime. Governance is the runtime that comes first — the gate that is not beside the pipeline, but its first instruction.

The formal paper — Governance-as-Infrastructure: From Audit to Runtime — is published at doi.org/10.5281/zenodo.21010922. Source: github.com/semanticintent/governance-as-infrastructure. The discipline it is the infrastructure counterpart of: Governance-Driven Design doi.org/10.5281/zenodo.20938777.

Go deeper

Michael Shatny is a software developer and methodology engineer. Governance-as-Infrastructure is the third paper in the as-Infrastructure series, after Methodology-as-Infrastructure and Intent-as-Infrastructure — and the infrastructure counterpart of Governance-Driven Design. Governance, in his work, has been a primitive since the first Semantic Intent pattern (Single Source of Truth, immutable governance, 2025), before the term became the field's preoccupation.

ORCID: 0009-0006-2011-3258