Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Toward Quantum Runtime Governance: Execution Invariants and Governance Requirements for Quantum and Hybrid Quantum Systems

John Willis

Published Jun 4, 2026• 1 citation
Publisher

Abstract

Existing artificial intelligence governance and runtime execution governance frameworks were developed primarily within classical computing environments. While autonomous and agentic systems have introduced new governance challenges, most governance architectures continue to rely upon assumptions regarding deterministic execution, reproducibility, authorization validity, and auditability. Quantum and hybrid classical-quantum systems introduce execution characteristics that challenge these assumptions. Probabilistic measurement, circuit compilation and transpilation, hardware-dependent execution behavior, calibration drift, shot-based execution, hybrid computational workflows, and emerging distributed quantum architectures create governance obligations not fully addressed by existing execution-governance models. This paper proposes an extension of execution-layer governance into quantum environments through the introduction of Quantum Runtime Governance Invariants and corresponding Quantum Governance Requirements. The proposed invariants identify governance properties that must remain true regardless of implementation details, hardware platforms, programming models, or execution environments. These invariants are explicitly tied to governance properties including authorization integrity, admissibility integrity, provenance continuity, governance evidence integrity, replayability, governance continuity, and governance authority. The paper further introduces the concept of Probabilistic Admissibility, in which governance systems evaluate and authorize bounded outcome distributions rather than deterministic outcomes. Building upon this foundation, the paper derives a structured set of Quantum Governance Requirements spanning quantum resource governance, circuit governance, compilation governance, probabilistic outcome governance, shot governance, calibration governance, hybrid classical-quantum governance, quantum artificial intelligence governance, and distributed quantum governance. Finally, the paper examines the implications of these concepts for the Artificial Intelligence Governance Control Plane (AGCP), arguing that quantum systems do not require a fundamentally new governance architecture. Rather, they require an extension of existing execution-governance semantics capable of operating over probabilistic execution environments. The resulting framework establishes an initial foundation for AGCP-Quantum profiles, governance conformance assessment methodologies, registry assessment frameworks, governance assurance models, and future standards development activities.

DOI
10.5281/zenodo.20549122

Related papers

Formal Execution Semantics and Governance Invariants for Hybrid Classical-Quantum Autonomous Systems

John Willis

The increasing adoption of autonomous systems, artificial intelligence (AI), Large Quantitative Models (LQMs), high-performance computing (HPC) infrastructures, and quantum computing introduces new challenges for execution-layer governance. Existing governance models frequently assume deterministic execution environments in which proposed actions, execution outcomes, and resulting state transitions can be evaluated using deterministic semantics. Emerging computational systems increasingly violate these assumptions by producing probabilistic outputs, confidence intervals, uncertainty distributions, optimization result spaces, and quantum measurement distributions. This paper extends prior work on Artificial Intelligence Governance Control Planes (AGCPs), formal execution semantics, and Quantum Runtime Governance by introducing a formal execution model for hybrid probabilistic execution environments spanning classical systems, HPC infrastructures, AI systems, LQMs, and quantum computing resources. The paper formalizes the concepts of Probabilistic Admissibility and Replay-by-Distribution, demonstrating how deterministic governance authority may be preserved even when governed execution environments exhibit probabilistic behavior. Building upon previously proposed Quantum Runtime Governance Invariants, the paper develops a mathematical formalization of governance-preservation properties and establishes a collection of governance-preservation theorems addressing commit safety, governance continuity, hybrid execution graph safety, replayability, auditability, and non-bypass execution. The analysis demonstrates that governance authority, authorization integrity, admissibility integrity, provenance continuity, and commit-bound control can remain preserved across heterogeneous execution environments despite probabilistic computational behavior. The paper argues that quantum computing is not an isolated governance challenge but rather an instance of a broader class of probabilistic execution systems. Accordingly, the work provides a foundation for extending execution-layer governance into future computational environments that combine classical computing, artificial intelligence, quantitative modeling, quantum computing, and autonomous decision-making systems.

•Jun 7, 2026•1 citation

From AI-Generated Circuits to Accountable Quantum Execution: A Hybrid Workflow Framework

Taylor Miss

Connecting AI-generated quantum programs to executable experiments requires more than syntactically valid code: the workflow must also control execution authority and preserve the basis for interpreting its results. This paper develops a conceptual architecture organized around three responsibilities: AI-assisted circuit proposal, deterministic classical validation, and quantum measurement execution. A quantum-job contract binds circuit artifacts, measurement settings, resource allocations, backend information, and provenance to explicit admission conditions. The design separates permission to run an experiment from evidence that its output answers the intended scientific question. An analytical single-qubit variational example demonstrates this distinction through exact energy calculations, finite-shot variance, and budget-constrained measurement allocation. Responsibility allocation, runtime interception, and staged transformation provide the architectural principles, while uncertainty reporting and reference calculations supply the scientific checks. A prospective evaluation protocol covers accuracy, policy violations, reproducibility, end-to-end cost, and researcher effort. The framework is presented as a design proposal supported by mathematical illustration, not as a tested implementation; its operational benefits and applicability to larger quantum workloads remain to be established.

•Sep 11, 2026•0 citations

Two Undecided Predicates: Compilation Equivalence and the Sampling Boundary in Hybrid Quantum Runtime Governance

Paweł Bański, Sergiusz Sobieski

Willis (2026) argues that a recursively self-improving system may increase its effective quantum capability without acquiring additional hardware, and that the resulting hybrid classical-quantum execution path becomes progressively harder to characterise exhaustively. The proposed response abandons exhaustive reconstruction as an assurance objective and instead requires that specified properties hold before computation is permitted to affect consequential state, with five quantum execution controls layered beneath substrate-independent constitutional invariants. This paper accepts that architecture and contests two of its load-bearing predicates. The compilation equivalence predicate. GovernanceEquivalent(C(a), C(e)) carries the entire compilation-integrity argument and is left undefined. It cannot be read as semantic equivalence: deciding circuit equivalence is QMA-complete (Janzing, Wocjan & Beth, 2005), and remains so for the shallow circuits typical of transpiled output, while semantic sameness is in any case the wrong target given what transpilation exists to do. The predicate must therefore be evaluated relative to a declared set of governance-relevant properties. That set is itself a governance object, and under recursive self-improvement it is reachable through the toolchain. An attack follows in which a compilation change justified purely on performance grounds renders a governance-relevant property unmeasurable over the executed representation, so that the permit gate continues to evaluate correctly over a test that no longer discriminates. Traceability of the executed artefact to the authorised one does not prevent this, because traceability and property preservation come apart precisely when a transformation is faithful in derivation and lossy in representation. The sampling boundary. The authorised shot count is specified as a ceiling. A ceiling bounds resource consumption; it does not bound evidentiary resolution, which varies in the same direction. Admissibility evaluated on a point estimate is therefore unsound under an adversarial or merely cost-optimising choice of sample size, and error mitigation supplies a second route that widens the uncertainty region while appearing to improve result quality. Evaluating admissibility over a confidence region rather than a point estimate is sound, imposes the necessary floor implicitly, and fails closed without requiring a separately specified minimum. An authorised sequential-sampling rule is a second sound form, subject to the condition that the stopping rule be fixed prior to sampling. Composition. The two results are not independent. The repair proposed for the second introduces a parameter that is vulnerable to the first, and the properties governing sampling can themselves be attenuated out of the property set. Sound sampling governance presupposes governed property-set membership. General form. Both attacks share a shape: an invariant is enforceable only to the extent that the instrument deciding it — its property set, tolerance, confidence level, sample size, or measurability assumption — is unreachable from inside the system it constrains. Under recursive self-improvement there is always gradient in those parameters, because they trade against latency, cost and throughput, which are the objectives the recursion optimises. No adversarial disposition is required. The paper closes by applying its own criterion reflexively. A response whose complaint is that declarations are mistaken for proof cannot end with declarations and leave the matter there. A governance requirement is structural when its violation is observable without relying on the cooperation of the governed system, and declarative when it is not; three of the four requirements proposed here are organisational by that test, and one is not. This work continues the author's earlier treatment of trajectory-level governance and the Constitutional Failure Boundary methodology (Zenodo 10.5281/zenodo.18980403) and of admissibility operators and bounded reachability in probabilistic decision systems (Zenodo 10.5281/zenodo.20057043), extended here from classical to hybrid quantum execution. No implementation is described and none should be inferred. Attribution: the counterfactual authorisation test adapted in §3.6 was proposed by R. Muro. The Layer 3 / Layer 1 redefinition formulation in §3.5 and the authorised sequential-sampling rule in §4.4 are J. M. Willis's, offered in public response to an earlier and shorter statement of these arguments.

•Sep 11, 2026•0 citations

Policy-Guided AI Assistance for Hybrid Quantum Computing

Taylor Miss

AI-assisted quantum programming requires a clear separation between generating candidate solutions and authorizing their execution. This paper presents a conceptual framework that assigns proposal generation to an AI assistant, validation and orchestration to a classical controller, and measurement execution to a quantum backend. A structured quantum-job contract links circuit artifacts, observables, shot allocations, backend selection, and provenance to explicit admission checks. The framework adapts responsibility-allocation and runtime-control principles from enterprise AI architectures while distinguishing software compliance from scientific correctness. An analytically solvable single-qubit variational example illustrates expectation-value estimation, finite-shot uncertainty, and resource-aware measurement allocation. The analysis shows why an authorized execution must still be assessed for measurement consistency, statistical uncertainty, and physical bias. A proposed evaluation protocol addresses accuracy, policy enforcement, reproducibility, operational cost, and researcher workload. The contribution is an architectural design and analytical illustration rather than an experimentally validated system; no measured reliability improvement or quantum advantage is claimed.

•Sep 11, 2026•0 citations

Responsible Hybrid Quantum Computing: A Conceptual Framework for AI-Assisted Quantum Workflows

Taylor Miss

This paper proposes a conceptual framework for coordinating quantum computation, clas-sical control, and artificial-intelligence-assisted development. The central design principle isto separate suggestions from execution authority: an AI assistant may propose circuits or ex-plain results, while deterministic software validates executable artifacts, enforces resource limits,and records experimental provenance. We formulate a policy-constrained quantum-job contractand illustrate its scientific component through an analytically solvable single-qubit variationalproblem. The example distinguishes exact expectation values from finite-shot estimates andshows why software authorization alone cannot establish physical accuracy. Drawing on workon enterprise AI responsibility allocation, runtime defense, and modular software generation,the framework adapts architectural ideas to quantum research without treating those sourcesas evidence of quantum performance. We provide an evaluation protocol covering scientific ac-curacy, policy enforcement, reproducibility, and end-to-end cost. This is a design proposal withan analytical illustration, not an experimental report; it makes no claim of measured reliabilitygains or quantum advantage.

•Sep 11, 2026•0 citations

Trivian Relational Architecture Beyond Classical Computation: A Compatibility Analysis and Research Agenda for Hybrid AI–Quantum Systems

Sarasha Elion

Hybrid AI–quantum workflows distribute computation, interpretation, and action across systems with different execution conditions and authority boundaries, a result can remain technically valid even after the context or authorization supporting its use has changed. This paper develops a philosophical and architectural account of those transitions through the Trivian Relational Architecture, arguing that governing heterogeneous computation requires attention to the relationships through which evidence is interpreted, authority is delegated, and decisions become consequential. It introduces a contextual, multi-role ontology distinguishing participants, computational resources, environmental interfaces, and governance authorities, then maps the five existing Trivian components (Relational Field Constants, Syzygy Rosetta, Coheronmetry, Orthogonal Signal, and the Trivian Resonance Lattice) to hybrid workflows — developing extensions for intent-bounded delegation, execution-linked provenance, resource-bounded authority, and action-time eligibility. A logistics scenario and an accompanying failure taxonomy illustrate specific risks including interpretation inflation, stale authority, computational authority laundering, ineffective human oversight, and categorical overgeneralization. Revocable participation and participant-specific trust are proposed to preserve both the right to refuse and the possibility of differentiated relationship. The paper closes with a comparative research agenda connecting the proposal to classical testbeds, quantum simulation, and targeted hardware studies, specifying matched baselines, independent outcomes, and explicit overhead limits. The contribution is a conceptual integration and evaluation framework, no new experimental results are reported. It establishes a basis for examining how relational governance can remain intelligible and accountable across changing computational substrates, while leaving its empirical value open to comparison and revision.

•Sep 12, 2026•0 citations
Existing artificial intelligence governance and runtime execution governance frameworks were developed primarily within classical computing environments. While autonomous and agentic systems have introduced new governance challenges, most governance architectures continue to rely upon assumptions regarding deterministic execution, reproducibility, authorization validity, and auditability. Quantum and hybrid classical-quantum systems introduce execution characteristics that challenge these assumptions. Probabilistic measurement, circuit compilation and transpilation, hardware-dependent execution behavior, calibration drift, shot-based execution, hybrid computational workflows, and emerging distributed quantum architectures create governance obligations not fully addressed by existing execution-governance models. This paper proposes an extension of execution-layer governance into quantum environments through the introduction of Quantum Runtime Governance Invariants and corresponding Quantum Governance Requirements. The proposed invariants identify governance properties that must remain true regardless of implementation details, hardware platforms, programming models, or execution environments. These invariants are explicitly tied to governance properties including authorization integrity, admissibility integrity, provenance continuity, governance evidence integrity, replayability, governance continuity, and governance authority. The paper further introduces the concept of Probabilistic Admissibility, in which governance systems evaluate and authorize bounded outcome distributions rather than deterministic outcomes. Building upon this foundation, the paper derives a structured set of Quantum Governance Requirements spanning quantum resource governance, circuit governance, compilation governance, probabilistic outcome governance, shot governance, calibration governance, hybrid classical-quantum governance, quantum artificial intelligence governance, and distributed quantum governance. Finally, the paper examines the implications of these concepts for the Artificial Intelligence Governance Control Plane (AGCP), arguing that quantum systems do not require a fundamentally new governance architecture. Rather, they require an extension of existing execution-governance semantics capable of operating over probabilistic execution environments. The resulting framework establishes an initial foundation for AGCP-Quantum profiles, governance conformance assessment methodologies, registry assessment frameworks, governance assurance models, and future standards development activities.
The increasing adoption of autonomous systems, artificial intelligence (AI), Large Quantitative Models (LQMs), high-performance computing (HPC) infrastructures, and quantum computing introduces new challenges for execution-layer governance. Existing governance models frequently assume deterministic execution environments in which proposed actions, execution outcomes, and resulting state transitions can be evaluated using deterministic semantics. Emerging computational systems increasingly violate these assumptions by producing probabilistic outputs, confidence intervals, uncertainty distributions, optimization result spaces, and quantum measurement distributions. This paper extends prior work on Artificial Intelligence Governance Control Planes (AGCPs), formal execution semantics, and Quantum Runtime Governance by introducing a formal execution model for hybrid probabilistic execution environments spanning classical systems, HPC infrastructures, AI systems, LQMs, and quantum computing resources. The paper formalizes the concepts of Probabilistic Admissibility and Replay-by-Distribution, demonstrating how deterministic governance authority may be preserved even when governed execution environments exhibit probabilistic behavior. Building upon previously proposed Quantum Runtime Governance Invariants, the paper develops a mathematical formalization of governance-preservation properties and establishes a collection of governance-preservation theorems addressing commit safety, governance continuity, hybrid execution graph safety, replayability, auditability, and non-bypass execution. The analysis demonstrates that governance authority, authorization integrity, admissibility integrity, provenance continuity, and commit-bound control can remain preserved across heterogeneous execution environments despite probabilistic computational behavior. The paper argues that quantum computing is not an isolated governance challenge but rather an instance of a broader class of probabilistic execution systems. Accordingly, the work provides a foundation for extending execution-layer governance into future computational environments that combine classical computing, artificial intelligence, quantitative modeling, quantum computing, and autonomous decision-making systems.
Connecting AI-generated quantum programs to executable experiments requires more than syntactically valid code: the workflow must also control execution authority and preserve the basis for interpreting its results. This paper develops a conceptual architecture organized around three responsibilities: AI-assisted circuit proposal, deterministic classical validation, and quantum measurement execution. A quantum-job contract binds circuit artifacts, measurement settings, resource allocations, backend information, and provenance to explicit admission conditions. The design separates permission to run an experiment from evidence that its output answers the intended scientific question. An analytical single-qubit variational example demonstrates this distinction through exact energy calculations, finite-shot variance, and budget-constrained measurement allocation. Responsibility allocation, runtime interception, and staged transformation provide the architectural principles, while uncertainty reporting and reference calculations supply the scientific checks. A prospective evaluation protocol covers accuracy, policy violations, reproducibility, end-to-end cost, and researcher effort. The framework is presented as a design proposal supported by mathematical illustration, not as a tested implementation; its operational benefits and applicability to larger quantum workloads remain to be established.
Willis (2026) argues that a recursively self-improving system may increase its effective quantum capability without acquiring additional hardware, and that the resulting hybrid classical-quantum execution path becomes progressively harder to characterise exhaustively. The proposed response abandons exhaustive reconstruction as an assurance objective and instead requires that specified properties hold before computation is permitted to affect consequential state, with five quantum execution controls layered beneath substrate-independent constitutional invariants. This paper accepts that architecture and contests two of its load-bearing predicates. The compilation equivalence predicate. GovernanceEquivalent(C(a), C(e)) carries the entire compilation-integrity argument and is left undefined. It cannot be read as semantic equivalence: deciding circuit equivalence is QMA-complete (Janzing, Wocjan & Beth, 2005), and remains so for the shallow circuits typical of transpiled output, while semantic sameness is in any case the wrong target given what transpilation exists to do. The predicate must therefore be evaluated relative to a declared set of governance-relevant properties. That set is itself a governance object, and under recursive self-improvement it is reachable through the toolchain. An attack follows in which a compilation change justified purely on performance grounds renders a governance-relevant property unmeasurable over the executed representation, so that the permit gate continues to evaluate correctly over a test that no longer discriminates. Traceability of the executed artefact to the authorised one does not prevent this, because traceability and property preservation come apart precisely when a transformation is faithful in derivation and lossy in representation. The sampling boundary. The authorised shot count is specified as a ceiling. A ceiling bounds resource consumption; it does not bound evidentiary resolution, which varies in the same direction. Admissibility evaluated on a point estimate is therefore unsound under an adversarial or merely cost-optimising choice of sample size, and error mitigation supplies a second route that widens the uncertainty region while appearing to improve result quality. Evaluating admissibility over a confidence region rather than a point estimate is sound, imposes the necessary floor implicitly, and fails closed without requiring a separately specified minimum. An authorised sequential-sampling rule is a second sound form, subject to the condition that the stopping rule be fixed prior to sampling. Composition. The two results are not independent. The repair proposed for the second introduces a parameter that is vulnerable to the first, and the properties governing sampling can themselves be attenuated out of the property set. Sound sampling governance presupposes governed property-set membership. General form. Both attacks share a shape: an invariant is enforceable only to the extent that the instrument deciding it — its property set, tolerance, confidence level, sample size, or measurability assumption — is unreachable from inside the system it constrains. Under recursive self-improvement there is always gradient in those parameters, because they trade against latency, cost and throughput, which are the objectives the recursion optimises. No adversarial disposition is required. The paper closes by applying its own criterion reflexively. A response whose complaint is that declarations are mistaken for proof cannot end with declarations and leave the matter there. A governance requirement is structural when its violation is observable without relying on the cooperation of the governed system, and declarative when it is not; three of the four requirements proposed here are organisational by that test, and one is not. This work continues the author's earlier treatment of trajectory-level governance and the Constitutional Failure Boundary methodology (Zenodo 10.5281/zenodo.18980403) and of admissibility operators and bounded reachability in probabilistic decision systems (Zenodo 10.5281/zenodo.20057043), extended here from classical to hybrid quantum execution. No implementation is described and none should be inferred. Attribution: the counterfactual authorisation test adapted in §3.6 was proposed by R. Muro. The Layer 3 / Layer 1 redefinition formulation in §3.5 and the authorised sequential-sampling rule in §4.4 are J. M. Willis's, offered in public response to an earlier and shorter statement of these arguments.
AI-assisted quantum programming requires a clear separation between generating candidate solutions and authorizing their execution. This paper presents a conceptual framework that assigns proposal generation to an AI assistant, validation and orchestration to a classical controller, and measurement execution to a quantum backend. A structured quantum-job contract links circuit artifacts, observables, shot allocations, backend selection, and provenance to explicit admission checks. The framework adapts responsibility-allocation and runtime-control principles from enterprise AI architectures while distinguishing software compliance from scientific correctness. An analytically solvable single-qubit variational example illustrates expectation-value estimation, finite-shot uncertainty, and resource-aware measurement allocation. The analysis shows why an authorized execution must still be assessed for measurement consistency, statistical uncertainty, and physical bias. A proposed evaluation protocol addresses accuracy, policy enforcement, reproducibility, operational cost, and researcher workload. The contribution is an architectural design and analytical illustration rather than an experimentally validated system; no measured reliability improvement or quantum advantage is claimed.
This paper proposes a conceptual framework for coordinating quantum computation, clas-sical control, and artificial-intelligence-assisted development. The central design principle isto separate suggestions from execution authority: an AI assistant may propose circuits or ex-plain results, while deterministic software validates executable artifacts, enforces resource limits,and records experimental provenance. We formulate a policy-constrained quantum-job contractand illustrate its scientific component through an analytically solvable single-qubit variationalproblem. The example distinguishes exact expectation values from finite-shot estimates andshows why software authorization alone cannot establish physical accuracy. Drawing on workon enterprise AI responsibility allocation, runtime defense, and modular software generation,the framework adapts architectural ideas to quantum research without treating those sourcesas evidence of quantum performance. We provide an evaluation protocol covering scientific ac-curacy, policy enforcement, reproducibility, and end-to-end cost. This is a design proposal withan analytical illustration, not an experimental report; it makes no claim of measured reliabilitygains or quantum advantage.
Hybrid AI–quantum workflows distribute computation, interpretation, and action across systems with different execution conditions and authority boundaries, a result can remain technically valid even after the context or authorization supporting its use has changed. This paper develops a philosophical and architectural account of those transitions through the Trivian Relational Architecture, arguing that governing heterogeneous computation requires attention to the relationships through which evidence is interpreted, authority is delegated, and decisions become consequential. It introduces a contextual, multi-role ontology distinguishing participants, computational resources, environmental interfaces, and governance authorities, then maps the five existing Trivian components (Relational Field Constants, Syzygy Rosetta, Coheronmetry, Orthogonal Signal, and the Trivian Resonance Lattice) to hybrid workflows — developing extensions for intent-bounded delegation, execution-linked provenance, resource-bounded authority, and action-time eligibility. A logistics scenario and an accompanying failure taxonomy illustrate specific risks including interpretation inflation, stale authority, computational authority laundering, ineffective human oversight, and categorical overgeneralization. Revocable participation and participant-specific trust are proposed to preserve both the right to refuse and the possibility of differentiated relationship. The paper closes with a comparative research agenda connecting the proposal to classical testbeds, quantum simulation, and targeted hardware studies, specifying matched baselines, independent outcomes, and explicit overhead limits. The contribution is a conceptual integration and evaluation framework, no new experimental results are reported. It establishes a basis for examining how relational governance can remain intelligible and accountable across changing computational substrates, while leaving its empirical value open to comparison and revision.