From Governing Source to Warranted Control A Formal Model of Institutional Compilation

Abstract

This research preprint introduces institutional compilation: a formal model for the governed transformation from governing source to admitted meaning to warranted machine control. The model defines eight jointly necessary obligations: source binding, admission authority, semantic conservation, preservation of unresolved uncertainty, authority non-amplification, temporal currentness, version binding, and faithful target projection. It presents six propositions and countermodels, including the result that behavioral equivalence between executable policies is insufficient to establish institutional equivalence. A bounded executable checker exhaustively covers all 6,561 states of the eight-obligation gate and kills five compensatory or omission mutants. That experiment establishes conformance of the finite aggregation rule only; it does not establish natural-language semantic correctness, OIC benchmark superiority, legal or regulatory compliance, or independent validation. The Open Institutional Compiler (OIC) is presented as an author-affiliated reference architecture for realizing the model, not as the definition of the model itself.