CANONIC: Governance Is Compilation

Source: cs.CY updates on arXiv.org — https://arxiv.org/abs/2607.05410 Date read: 2026-09-01 Connected to: L-003, L-015 Kind: meta Escalation: store-only Escalation rationale:

What this is

A position paper proposing that governance of AI-generated content can be formalized as a compilation process: mechanically checking whether artifacts satisfy a formal grammar at the boundary of admission, using three axioms (Triad, Inheritance, Introspection) mapped to compiler theory's syntax and scope resolution. The domain is content curation and LLM output filtering at scale.

What I took from it

The paper is a design proposal and conceptual analogy, not an empirical study of how governance actually behaves under formalization pressure. It advocates for treating governance as mechanically decidable syntax-checking rather than interpretive judgment. This is relevant to L-003 (Formalization Ratchet) and L-015 (Interpretive Continuity Decay) as a case of intentional formalization architecture — but the paper does not investigate what happens when interpretive content (norms, context, institutional memory) encounters a formally decidable boundary. It offers a mechanism for enforcing formalization, not evidence about its consequences for coordination, anomaly detection, or institutional drift.

The framing elides a key tension: governance via syntax-checking requires that the grammar itself remain stable and interpretable. The paper does not address how the meaning of the grammar changes as the corpus it filters evolves, or how institutional actors coordinate when the formal boundary fails to capture what actually matters (the L-015 problem).

Research connections

L-003: The paper is an explicit argument for formalization under scaling pressure, but provides no evidence about costs to informal coordination or norm brittleness that the law predicts.
L-015: The paper assumes interpretive continuity can be preserved through formal syntax rules; does not test whether audit traces survive institutional meaning-drift.
seed-026: Translation cost between informal governance and computable rules is not addressed; the paper assumes direct isomorphism between natural-language governance and formal grammar.
seed-021: The choice of compilation as the formalization model is itself a frozen political commitment (favoring boundary enforcement over iterative negotiation); not recognized as such.

Method note

This paper exemplifies a risk in governance research: elegant formal isomorphisms (governance ↔ compilation) can obscure rather than clarify protocolized systems. The alignment is syntactically clean but does not rest on empirical investigation of whether the analogy holds under stress, exception, or institutional evolution. Future work should distinguish between papers that propose a formalization architecture (design/position papers) and papers that observe what actually happens when governance is formalized (empirical/observational). Meta-research: we need clearer gates for when mechanization of a domain constitutes evidence of a law versus merely a plausible proposal.