Published work
The papers behind OBEXGATE.
Six papers. Each one defines a structural problem in AI governance, or the architecture required to solve it. None of them are theoretical. They describe the conditions required for governance systems to function in production.
Published on Zenodo · Authored by Amelie Kingsbury Barry (ORCID 0009-0009-2479-2982) and Felix Montanez (ORCID 0009-0002-9858-9978)
Papers
Why AI Governance Frameworks Cannot Deploy: A Structural Analysis of the Execution-First Problem
Amelie Kingsbury Barry · 2 April 2026 · DOI: 10.5281/zenodo.19410642
Foundational paper. Identifies the structural reasons most AI governance frameworks fail at the deployment boundary. Introduces the Execution Verification Framework (EVF) as a procedural method for translating governance requirements into runtime-enforceable conditions.
Read on Zenodo →
The Governance Window: Voluntary Adoption, Mandate Dynamics, and the Irreversibility of Architecture Choice
Amelie Kingsbury Barry · 8 April 2026 · DOI: 10.5281/zenodo.19440550
Analyses the time-bounded window during which an AI governance architecture can be adopted before structural lock-in makes correction expensive. Examines adoption dynamics across regulated industries and the post-quantum cryptographic requirements that constrain the design space.
Read on Zenodo →
InnerLight OS: A Verification-Constrained Execution Runtime for AI Systems
Felix Montanez · 9 April 2026 · DOI: 10.5281/zenodo.19483455
A verification-constrained execution runtime for AI systems. InnerLight OS defines a runtime where only admissible states may execute, persist, or influence future behaviour.
DOI · Read on Zenodo →
Representational Sequestration and Discursive Admissibility: A Structural Analysis of Non-Deployable AI Governance Frameworks
Amelie Kingsbury Barry · 11 April 2026 · DOI: 10.5281/zenodo.19503567
Distinguishes between governance frameworks that exist as conceptual representations (admissible in discourse, not in execution) and governance systems that are admissible at the point of decision. Argues that the failure mode of most AI governance is not the absence of frameworks but the sequestration of those frameworks from the runtime where decisions are made.
Read on Zenodo →
Adversarial Sufficiency: A Structural Analysis of Governance Failure and a New Standard for Assurance
Amelie Kingsbury Barry and Felix Montanez · 15 April 2026 · DOI: 10.5281/zenodo.19583197
Defines a new standard for evaluating governance systems: not whether they pass a designed test, but whether they hold under adversarial conditions where an agent has incentive to circumvent. Introduces the Incentive Inversion Test as a procedural method for distinguishing governance that constrains behaviour from governance that only describes it.
Read on Zenodo →
Governance Without Consent: Why Compliant Systems Still Fail the Humans They Were Built to Serve
Amelie Kingsbury Barry and Felix Montanez · 21 April 2026 · DOI: 10.5281/zenodo.19686648
Examines the structural conditions under which governance systems are imposed on AI agents and the populations affected by them, without informed consent or meaningful contestation. Argues that runtime enforcement combined with a contestation workflow is the minimum architecture required for governance to be procedurally legitimate, not just substantively constraining.
Read on Zenodo →
Annotated Critique: SITG Cryptographic Transformation and Modernisation Whitepaper V6
Amelie Kingsbury Barry · 21 April 2026 · DOI: 10.5281/zenodo.19682649
Annotated structural critique of a published governance handbook (SITG V6). Identifies where the handbook's analytical claims do not survive translation into a deployable system, and where its structural arguments require additional architectural conditions to function under enforcement.
Read on Zenodo →
Witness Core Abstraction: A Structural Law for Independent Verification in Computational Systems
Felix Montanez · 22 April 2026 · DOI: 10.5281/zenodo.19702090
Defines a structural constraint for consequential systems: no system may be the final verifier of its own outputs. Extends verification-constrained execution into a general architectural principle for independent verification.
DOI · Read on Zenodo →