Arkadiy Miteiko

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

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...

Institutional Continuity Infrastructure: A Formal Model from Governing Meaning to Provable Machine Consequence

Agentic systems increasingly cross institutional boundaries by initiating payments, changing records, granting access, deploying code, and producing outputs on which organizations rely. Authorization, policy evaluation, runtime monitoring, provenance, conformance checking, and au...