<?xml version="1.0" encoding="UTF-8"?>
<rfc xmlns:xi="http://www.w3.org/2001/XInclude"
     category="info"
     docName="draft-das-digital-sovereignty-finality-02"
     ipr="trust200902"
     submissionType="IETF"
     tocInclude="true"
     tocDepth="3"
     symRefs="true"
     sortRefs="true"
     version="3">

  <front>
    <title abbrev="Digital Sovereignty Without Data Localisation">
      When Data Leaves Its Originating Jurisdiction, Who Controls It?
      Digital Sovereignty Without Data Localisation by Separating the Compute Plane from the Authority Plane
    </title>

    <seriesInfo name="Internet-Draft" value="draft-das-digital-sovereignty-finality-02"/>

    <author fullname="Sangam Das" initials="S." surname="Das">
      <organization>Independent Inventor</organization>
      <address>
        <postal>
          <street>Present Address: Kolkata, West Bengal, India</street>
          <street>Permanent Address: Balasore, Odisha, India</street>
          <city>Kolkata</city>
          <region>West Bengal</region>
          <country>India</country>
        </postal>
        <email>info@sangamdas.com</email>
      </address>
    </author>

    <date year="2026" month="September" day="10"/>

    <area>Security</area>
    <abstract>
      <t>
        Consider a simple case: data concerning U.S. citizens is processed in infrastructure located
        outside the United States.  The foreign jurisdiction may have its own lawful-access, surveillance,
        disclosure, retention, or national-security rules.  Even where contractual commitments, privacy
        policies, regional settings, or enterprise agreements specify how that data should be handled,
        the infrastructure executing the workload may ultimately operate under legal and technical
        authority outside the originating jurisdiction.
      </t>
      <t>
        The same problem applies in reverse to European, Indian, Japanese, Canadian, Australian, or
        other data processed through globally distributed infrastructure.
      </t>
      <t>
        This creates a deeper architectural problem than ordinary data localisation.
      </t>
      <t>
        If control over data automatically follows the physical location of compute, then moving
        computation across borders can also move practical authority over the resulting data, operations,
        and disclosures.  Privacy may be the first concern, but the same architectural dependency can
        later affect economic security, critical infrastructure, sensitive enterprise information,
        government workloads, and national security.
      </t>
      <t>
        This is where policy alone begins to reach its limit.
      </t>
      <t>
        Contracts, privacy policies, adequacy mechanisms, access-control rules, cloud-region settings,
        and audit requirements remain important.  However, they primarily describe what an actor is
        permitted or expected to do.  They do not necessarily create a technical condition that prevents
        a prohibited external effect from occurring in the first place.
      </t>
      <t>
        Although this document uses the term "digital sovereignty," it does not attempt to standardize
        national policy, determine which jurisdiction's law should prevail, or prescribe where data must
        be stored.  Its focus is technical: defining an interoperable mechanism by which deployment-selected
        policy and trust inputs can be bound to a specific Candidate Act and enforced at the effectuation
        boundary before that act becomes externally effective.  In this document, "sovereignty" therefore
        refers to retained execution authority, not to the standardization of geopolitical or regulatory policy.
      </t>
      <t>
        The architecture described here addresses this problem through a different model of digital
        sovereignty: separate the Compute Plane from the Authority Plane.
      </t>
      <t>
        The Compute Plane may remain globally distributed.  Data may be stored, transformed, analysed,
        routed, or processed using infrastructure located in another jurisdiction.  The architecture
        therefore does not require that all data remain physically local, nor does it assume that
        sovereign computing requires complete national isolation from global cloud, telecom, AI, or
        platform infrastructure.
      </t>
      <t>
        Instead, the Authority Plane remains independently governed.  A remote compute environment may
        perform computation, but computation alone does not grant authority to produce a protected
        external consequence.
      </t>
      <t>
        A proposed cross-jurisdiction operation is represented as a Candidate Act and remains in a
        Non-Effective State until the required policy, identity, purpose, destination, jurisdiction,
        runtime, revocation, and other applicable predicates have been validated.
      </t>
      <t>
        Protected validation may produce a LAVR or equivalent validation commitment and a scoped Finality
        Authority bound to the particular Candidate Act.  At the relevant Finality Sink — the first point
        at which the protected operation would become externally effective — the authority is independently
        verified.  Only after successful verification and appropriate consumption or reservation of that
        authority may the external effect occur.
      </t>
      <t>
        The resulting model is therefore: Compute Anywhere -&gt; Authority Remains Independently Governed
        -&gt; Candidate Act -&gt; Protected Validation -&gt; Scoped Finality Authority -&gt; Finality-Sink
        Verification -&gt; External Effect.
      </t>
      <t>
        If the required authority is missing, stale, revoked, mismatched, replayed, or inconsistent with
        the governing jurisdictional policy: No Valid Authority -&gt; No Protected External Effect.
      </t>
      <t>
        This permits a form of digital sovereignty without mandatory data localisation.  A jurisdiction,
        enterprise, regulated institution, or other authorised policy owner does not necessarily need to
        operate every processor, cloud region, network, or AI system that performs the computation.
        Instead, it can retain technical control over the conditions under which specified externally
        effective acts are permitted.
      </t>
      <t>
        The architecture therefore separates two questions that are commonly treated as one: Where is the
        computation performed?  Who has authority over the resulting external effect?  Those questions
        need not have the same answer.
      </t>
      <t>
        A U.S. workload could execute outside the United States while specified sensitive external effects
        remain subject to U.S.-controlled or enterprise-controlled authorization conditions.  An EU
        workload could similarly use infrastructure outside a particular Member State while retaining
        independently governed finality requirements.
      </t>
      <t>
        The same mechanism could apply to India, Japan, Singapore, Australia, Canada, multinational
        enterprises, sovereign clouds, regulated industries, or private data spaces.  The architecture
        does not prescribe which country's policy should prevail and does not attempt to resolve conflicts
        of law.
      </t>
      <t>
        Its contribution is narrower and technical: cross-border computation does not have to imply
        cross-border surrender of execution authority.
      </t>
      <t>
        This turns digital sovereignty from a primarily location-centred concept into an authority-centred
        execution model.  The objective is not to fragment the Internet or exclude global technology
        providers.
      </t>
      <t>
        On the contrary, separating the Compute Plane from the Authority Plane could allow hyperscale
        cloud providers, AI platforms, telecom operators, CDNs, satellite networks, and other global
        infrastructure providers to continue supplying efficient distributed computation while supporting
        stronger jurisdiction-specific, enterprise-specific, or regulated execution guarantees.
      </t>
      <t>
        In this model, sovereignty does not require saying that the data must never leave.  It can instead
        mean: the computation may occur elsewhere, but this protected external effect cannot occur without
        the required authority.
      </t>
      <t>
        That is the central architectural proposition of this document.
      </t>
    </abstract>
  </front>

  <middle>

    <section numbered="true" toc="include">
      <name>Introduction</name>
      <t>
        Consider data concerning persons, enterprises, public bodies, or regulated workloads that
        originates in one jurisdiction but is processed through infrastructure located in another.
        The receiving jurisdiction may impose its own lawful-access, disclosure, retention,
        cybersecurity, surveillance, national-security, or regulatory requirements.  The same
        structural problem can arise regardless of whether the originating jurisdiction is the
        United States, a Member State of the European Union, India, Japan, Singapore, Canada,
        Australia, or another jurisdiction.
      </t>
      <t>
        The resulting problem is broader than data localisation.  If practical control over protected
        data automatically follows the physical or logical location of compute, cross-border
        computation can also move practical authority over disclosures, transmissions, tool calls,
        model outputs, replication, or other externally effective consequences.
      </t>
      <t>
        The architectural proposition in this document is that cross-border computation need not imply
        cross-border surrender of execution authority.
      </t>
    </section>

    <section numbered="true" toc="include">
      <name>Why Policy Alone Is Not an Execution Boundary</name>
      <t>
        Law, contracts, privacy policies, data-processing agreements, organisational controls, cloud
        configuration, IAM, routing policy, encryption, monitoring, and audit remain indispensable.
        The issue addressed here is not whether those mechanisms matter.  The issue is that a rule
        describing what an actor is permitted or expected to do is not necessarily identical to a
        technical boundary that prevents a prohibited protected effect from occurring.
      </t>
      <t>
        This distinction becomes increasingly important as automated systems acquire greater
        computational capability, autonomy, tool access, parallelism, and speed.  AI systems and
        software agents can select tools, call APIs, manipulate files, trigger workflows, initiate
        communications, operate through multiple services, and create externally effective actions at
        machine speed.  Human review, contractual enforcement, or post-hoc audit can remain useful,
        but those mechanisms do not by themselves provide complete mediation at the point of effect.
      </t>
      <t>
        The intended security principle is therefore:
      </t>
      <blockquote>
        <t>Policy remains indispensable, but policy is not complete mediation.</t>
      </blockquote>
    </section>

    <section numbered="true" toc="include">
      <name>Digital Sovereignty Without Mandatory Data Localisation</name>
      <t>
        The proposed model separates the location of computation from the location of authority.
        The Compute Plane may remain globally distributed, while the Authority Plane can remain
        independently governed by a provider, enterprise, regulated institution, sovereign-cloud
        operator, trust service, public authority, or a multi-party combination selected by policy.
      </t>

      <section numbered="true" toc="include">
        <name>Compute Plane</name>
        <t>
          The Compute Plane may store, transform, analyse, route, infer, execute, or otherwise process
          data using infrastructure located in one or more jurisdictions.  A deployment is not required
          to treat physical localisation of all computation as the sole mechanism for digital sovereignty.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Authority Plane</name>
        <t>
          The Authority Plane determines whether a protected Candidate Act is authorised to become
          externally effective.  Compute can prepare an action, but compute alone does not necessarily
          possess final authority to effectuate that action.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Core Separation</name>
        <t>
          The model separates two questions:
        </t>
        <ul spacing="normal">
          <li>Where is the computation performed?</li>
          <li>Who has authority over the resulting protected external effect?</li>
        </ul>
        <t>
          Those questions need not have the same answer.
        </t>
      </section>
    </section>

    <section numbered="true" toc="include">
      <name>Execution-Finality Architecture</name>

      <section numbered="true" toc="include">
        <name>Candidate Act</name>
        <t>
          A proposed protected cross-boundary operation is represented as a Candidate Act.  Load-bearing
          attributes can include source identity, protected object or payload reference, requested
          operation, purpose, destination, jurisdictional context, policy identifier, security epoch,
          runtime state, and other deployment-defined predicates.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Non-Effective State</name>
        <t>
          A Candidate Act remains in a Non-Effective State while required validation is performed.
          Computation, preparation, serialization, inference, encryption, or routing preparation may
          occur without yet granting authority for the protected external effect.
        </t>
        <t>
          The architectural invariant is:
        </t>
        <blockquote>
          <t>Computation is not authority.</t>
        </blockquote>
      </section>

      <section numbered="true" toc="include">
        <name>Protected Enforcement Domain</name>
        <t>
          A Protected Enforcement Domain, or PED, evaluates deployment-selected predicates.  Such
          predicates can include identity, purpose, destination, policy, jurisdiction, runtime state,
          security epoch, revocation, freshness, replay status, and protected platform state.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Protected Validation Evidence and LAVR</name>
        <t>
          Successful validation can produce protected validation evidence.  A LAVR can commit to the
          Candidate Act and relevant validation state before, or in protected coordination with,
          effectuation.  The LAVR is not intended to be merely a post-hoc audit log.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Scoped Finality Authority</name>
        <t>
          Successful protected validation can enable issuance of a scoped Finality Authority.  The
          authority can be bound to the Candidate Act, destination, purpose, policy, epoch, Finality
          Sink, protected identity, revocation state, and bounded-use or single-use conditions.
        </t>
        <t>
          High-assurance implementations can make the authority non-bearer such that possession of an
          artifact alone is insufficient to exercise the authority from an arbitrary context.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Finality Sink</name>
        <t>
          The Finality Sink is the first usable release or effectuation boundary at which the protected
          external consequence can become effective.  It is a functional role and need not correspond
          to one specific physical component.
        </t>
        <t>
          Examples can include a cloud egress controller, telecom gateway, external API boundary,
          satellite gateway, storage replication boundary, inter-region transfer boundary, or another
          protected release point.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Finality-Sink Verification</name>
        <t>
          The Finality Sink verifies that the Finality Authority remains valid for the Candidate Act
          that is actually about to become externally effective.  Verification can include Candidate-Act
          binding, destination, purpose, policy, jurisdiction, security epoch, revocation, sink scope,
          replay state, and consumption state.
        </t>
        <t>
          Where appropriate, the sink can reconstruct load-bearing Candidate-Act attributes rather than
          relying solely on an upstream assertion.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Consumption or Reservation Before Effectuation</name>
        <t>
          A bounded authority should not remain reusable after enabling a protected external effect.
          High-assurance implementations can durably consume or reserve authority before, or atomically
          with, commitment of the external effect.
        </t>
        <t>
          A conceptual lifecycle can be represented as:
        </t>
        <blockquote>
          <t>ISSUED -&gt; ARMED -&gt; COMMITTING -&gt; EFFECT-COMMITTED -&gt; CONSUMED</t>
        </blockquote>
        <t>
          The security property is more important than the state names: crashes, retries, concurrency,
          or replay should not convert one bounded authority into unintended additional effects.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Fail-Closed Behaviour</name>
        <t>
          Where strict enforcement is selected, failure of a required finality predicate leaves the
          Candidate Act non-effective.  Failures can include missing authority, invalid binding, policy
          mismatch, destination mismatch, stale epoch, revocation, jurisdictional evidence failure,
          replay, sink mismatch, or unavailable required evidence.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Anti-Bypass Closure</name>
        <t>
          Finality enforcement is ineffective if a protected external effect can use an alternate
          unmediated path.  Every release path capable of producing the protected externally effective
          consequence therefore needs to terminate at the same Finality Sink or at an equivalent
          protected enforcement boundary.
        </t>
        <t>
          Potential bypass paths can include alternate network interfaces, file export, IPC, shared
          memory, storage replication, vendor HALs, accelerator paths, secondary gateways, external APIs,
          or other deployment-specific channels.
        </t>
      </section>
    </section>

    <section numbered="true" toc="include">
      <name>Jurisdiction and Location Evidence</name>
      <t>
        The architecture does not assume that a cloud-region label, IP geolocation result, GNSS reading,
        or any single signal constitutes infallible proof of physical jurisdiction.
      </t>

      <section numbered="true" toc="include">
        <name>Declared or Network-Derived Evidence</name>
        <ul spacing="normal">
          <li>Cloud-region identity</li>
          <li>Routing domain</li>
          <li>Service-region metadata</li>
          <li>IP or network geolocation assertions</li>
          <li>Gateway identity</li>
          <li>VPC or network context</li>
        </ul>
      </section>

      <section numbered="true" toc="include">
        <name>Protected or Independently Verifiable Evidence</name>
        <ul spacing="normal">
          <li>Hardware attestation</li>
          <li>Protected platform identity</li>
          <li>Trusted time</li>
          <li>Serving-network or PLMN evidence</li>
          <li>Gateway or facility attestation</li>
          <li>Protected infrastructure topology</li>
          <li>Radio-derived observations where applicable</li>
          <li>Satellite-related observations where applicable</li>
        </ul>
      </section>

      <section numbered="true" toc="include">
        <name>Cryptographic Binding, Not Cryptographic Geography</name>
        <t>
          Cryptography does not itself prove physical location.  It can bind the evidence that was
          evaluated, the Candidate Act, the applicable policy, the validating environment, the
          destination, the security epoch, and the resulting authorization.
        </t>
        <blockquote>
          <t>
            Protected evidence concerning jurisdiction, execution state, and destination can be
            cryptographically bound to the authorization decision that governs the external effect.
          </t>
        </blockquote>
      </section>
    </section>

    <section numbered="true" toc="include">
      <name>Governance Model</name>
      <t>
        The mechanism is jurisdiction-neutral and does not require a single governance model.
        Authority can be held by an infrastructure provider, enterprise customer, regulated
        institution, sovereign-cloud operator, trust service, public authority, or a multi-party
        combination.
      </t>

      <section numbered="true" toc="include">
        <name>Single-Authority Deployment</name>
        <t>
          A single policy authority can define the predicates that must be satisfied before a protected
          Candidate Act is authorised.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Multi-Party or Co-Signed Deployment</name>
        <t>
          A high-assurance deployment can require policy authorization from more than one entity.
          For example, an infrastructure provider and a regulated enterprise or sovereign authority
          can jointly define or authorize the protected policy bundle.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Protocol Neutrality</name>
        <t>
          The mechanism does not determine which jurisdiction's law should prevail, whether a specific
          transfer is lawful, or which governmental or private entity should control a policy.  Those
          questions remain legal, contractual, organisational, and political matters outside the
          protocol mechanism.
        </t>
      </section>
    </section>

    <section numbered="true" toc="include">
      <name>Machine-Verifiable Finality Receipts</name>
      <t>
        A Finality Sink can produce protected evidence describing an authorization or denial result and
        the corresponding effectuation state.  Such evidence can commit to the Candidate Act, policy
        version, validation state, Finality Sink identity, authorization result, consumption state,
        and effectuation result.
      </t>
      <t>
        Verifiability does not require globally public disclosure of sensitive transfer metadata.
        Deployments can use selective disclosure, encrypted receipts, permissioned logs, cryptographic
        commitments, protected audit systems, or other privacy-preserving verification techniques.
      </t>
    </section>

    <section anchor="latency-feasibility" numbered="true" toc="include">
      <name>Technical Clarification: Latency, Legacy Deployment, and Historical Feasibility</name>

      <t>
        A likely deployment concern is whether cryptographic validation, protected-state transitions,
        attestation, and independently governed authorization introduce unacceptable latency for
        cloud, telecom, AI-agent, storage, CDN, or high-throughput network systems.  This concern is
        valid if the architecture is implemented as a synchronous remote approval service placed in
        the critical path of every packet or every internal computation.
      </t>
      <t>
        That is not the intended performance model.
      </t>
      <blockquote>
        <t>
          The architecture separates expensive trust establishment from the local finality decision,
          and it applies finality to protected externally effective acts rather than blindly
          re-authorizing every packet or intermediate computation.
        </t>
      </blockquote>

      <section numbered="true" toc="include">
        <name>The Performance Principle: Do Not Put a WAN Round Trip in Every Effect</name>
        <t>
          A design that requires a remote governmental, enterprise, or provider authorization server
          to answer synchronously for every packet, storage write, AI model token, or tool-dispatch
          step will not scale across many high-throughput systems.  Network round-trip time,
          availability coupling, queueing, and remote-service failure would dominate the finality
          decision.
        </t>
        <t>
          The scalable construction separates a cold path from a hot path.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Cold Path: Expensive Operations Are Amortized</name>
        <t>
          Operations that are comparatively expensive, infrequent, or dependent on remote trust
          services SHOULD occur outside the per-effect hot path where the selected security model
          permits.  Examples include:
        </t>
        <ul spacing="normal">
          <li>remote platform attestation;</li>
          <li>certificate-chain construction and validation;</li>
          <li>policy retrieval and signature validation;</li>
          <li>trust-anchor establishment;</li>
          <li>key provisioning or key rotation;</li>
          <li>registration of Finality Sinks and Protected Enforcement Domains;</li>
          <li>jurisdiction-evidence source registration;</li>
          <li>negotiation of supported cryptographic suites;</li>
          <li>establishment of a policy epoch;</li>
          <li>revocation-state synchronization; and</li>
          <li>creation of bounded, protected local validation state derived from the currently
          authorized policy.</li>
        </ul>
        <t>
          Such state MUST remain constrained by the policy, epoch, destination classes, permitted
          purposes, revocation conditions, sink identity, and other applicable limits.  Amortization
          MUST NOT silently convert an act-scoped finality decision into an unrestricted bearer
          credential.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Hot Path: Keep the Finality Decision Local and Compact</name>
        <t>
          Immediately before a protected external effect, the hot path can be reduced to operations
          that are suitable for local execution at or adjacent to the Finality Sink.  Depending on the
          deployment, the hot path can include:
        </t>
        <ul spacing="normal">
          <li>canonicalization of the load-bearing Candidate-Act attributes;</li>
          <li>calculation or verification of a compact Candidate-Act digest;</li>
          <li>verification of LAVR binding or equivalent protected validation evidence;</li>
          <li>verification of the scoped Finality Authority;</li>
          <li>local comparison of destination, purpose, jurisdiction, policy epoch, and sink scope;</li>
          <li>local revocation or freshness checks against synchronized protected state;</li>
          <li>replay-state lookup;</li>
          <li>durable consume-or-reserve transition; and</li>
          <li>commit of the authorized external effect.</li>
        </ul>
        <t>
          The performance objective is therefore not zero cryptographic cost.  The objective is to
          eliminate unnecessary remote dependency from the critical effectuation path and to keep
          per-effect work bounded, local, hardware-accelerable, and proportional to the protected act.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Finality Is Per Protected Effect, Not Necessarily Per Packet</name>
        <t>
          The architecture does not require an independent sovereign authorization transaction for
          every Ethernet frame, IP packet, QUIC packet, storage block, model token, or CPU instruction.
          The protected object is the externally effective Candidate Act defined by the deployment.
        </t>
        <t>
          For example, the protected act can be creation of an outbound cross-jurisdiction flow,
          release of a protected dataset, invocation of a foreign API with protected content, creation
          of a replication relationship, dispatch of an agentic tool operation, or another
          security-relevant release event.
        </t>
        <t>
          Once a specifically authorized effect has entered a protected committed state, ordinary
          packetization or transport of that already-authorized effect need not repeat the complete
          policy-validation procedure for every packet, provided that transport cannot be substituted,
          redirected, expanded, or repurposed beyond the authority that was validated.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Large Payloads Need Not Be Rehashed in Full on the Critical Path</name>
        <t>
          A Candidate-Act commitment does not necessarily require rereading and hashing an entire
          multi-gigabyte or multi-terabyte object immediately before egress.  Where integrity of the
          payload is relevant, the architecture can bind to a protected content digest, object version,
          immutable storage identifier, Merkle root, authenticated manifest, or equivalent integrity
          value that was maintained by the protected storage or processing path.
        </t>
        <t>
          The Finality Sink can then verify the load-bearing commitment and the relationship between
          that commitment and the object being released.  The integrity mechanism must prevent an
          attacker from substituting a different object after authorization.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Public-Key Cryptography Need Not Dominate Every Hot-Path Decision</name>
        <t>
          Public-key signatures are useful at trust, policy, delegation, attestation, and
          cross-administrative-domain boundaries.  An implementation need not perform a complete remote
          attestation exchange and full certificate-chain validation for every protected act.
        </t>
        <t>
          A validated policy epoch and protected local state can allow subsequent act-bound decisions
          to use compact cryptographic verification appropriate to the negotiated security profile.
          Implementations can also use hardware acceleration for hashing, authenticated encryption,
          public-key verification, secure key handling, and protected state management.
        </t>
        <t>
          The protocol should therefore remain cryptographically agile rather than prescribing one
          expensive operation for every deployment.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Receipts Should Not Block the Effect Unless Policy Requires It</name>
        <t>
          Generation of a machine-verifiable finality receipt is logically distinct from remote
          publication or regulatory ingestion of that receipt.  The Finality Sink can create or commit
          the protected evidence locally as part of the effectuation transaction while transmission,
          indexing, aggregation, or auditor retrieval occurs asynchronously.
        </t>
        <t>
          A deployment that requires synchronous external notarization can select that stronger model,
          but such a requirement is not inherent to the base architecture.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Legacy Deployment Profile</name>
        <t>
          Existing systems can deploy a software-mediated Finality Sink in an egress proxy, service
          mesh gateway, API gateway, host networking layer, hypervisor boundary, storage gateway, or
          telecom control element without immediately replacing all underlying hardware.
        </t>
        <t>
          A software-only deployment can provide useful policy binding, act scoping, replay protection,
          durable state, and receipts.  Its assurance is lower if a privileged administrator or
          compromised host can bypass that software path.
        </t>
        <t>
          The architecture should therefore distinguish deployment assurance profiles rather than
          claiming that a legacy software gateway and a hardware-enforced non-bypassable boundary
          provide identical guarantees.
        </t>
        <t>
          A migration path can be represented as:
        </t>
        <blockquote>
          <t>
            Software gateway -&gt; hypervisor or confidential-compute enforcement -&gt;
            hardware-assisted I/O enforcement -&gt; protected sink-local finality
          </t>
        </blockquote>
      </section>

      <section numbered="true" toc="include">
        <name>Approximately Ten Years Ago: Technically Possible, Operationally Heavy</name>
        <t>
          Around 2016, the basic ingredients for parts of this architecture already existed:
          hardware-assisted symmetric cryptography, TPMs, HSMs, secure boot, emerging processor
          enclaves, programmable network appliances, and conventional policy engines.
        </t>
        <t>
          A protected finality mechanism was therefore technically possible for selected high-value,
          relatively low-rate operations such as financial authorization, key release, controlled
          database export, or dedicated gateway enforcement.
        </t>
        <t>
          The limiting factors were not an absence of cryptography.  The practical limitations were
          integration cost, limited enclave capacity and deployment maturity, centralized policy
          services, less pervasive hardware offload, fewer standardized confidential-computing
          abstractions, weaker support for protected I/O paths, and the operational difficulty of
          placing strong mediation directly into general-purpose cloud and network data paths.
        </t>
        <t>
          A universal per-act finality layer across hyperscale distributed infrastructure would
          therefore have been substantially more difficult and expensive to deploy than a specialized
          high-value transaction gate.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Approximately Five Years Ago: Practical for Selected Cloud and Confidential-Compute Workloads</name>
        <t>
          By approximately 2021, confidential-computing services, cloud attestation, hardware-isolated
          enclaves, SR-IOV-based I/O virtualization, programmable SmartNICs, increasingly capable
          service-mesh and policy infrastructure, and stronger cloud key-management integration made
          protected local enforcement materially more deployable.
        </t>
        <t>
          This period made it practical to separate an untrusted or less-trusted host environment from
          a protected validation environment for selected workloads.  It also made attestation-backed
          key release and protected processing available as commercial cloud capabilities rather than
          only specialized laboratory or appliance designs.
        </t>
        <t>
          Important constraints remained: heterogeneous hardware support, enclave memory and I/O
          limitations on some platforms, remote-attestation complexity, cross-cloud interoperability,
          and the cost of placing public-key or remote-service operations directly in very high-rate
          hot paths.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Current High-End Hardware: Move Enforcement Closer to the I/O Boundary</name>
        <t>
          Contemporary server and network platforms provide architectural options that were less
          mature or less widely deployable a decade ago.  These include integrated cryptographic
          accelerators, hardware roots of trust, confidential-computing environments, larger protected
          memory domains, hardware-assisted network and storage encryption, SmartNICs and DPUs capable
          of inline security processing, high-speed DMA and SR-IOV paths, and protected key storage
          adjacent to network or storage interfaces.
        </t>
        <t>
          These capabilities allow an implementation to move parts of finality verification away from
          a centralized software service and toward the host, DPU, NIC, gateway, secure processor, or
          other component that already participates in the I/O path.
        </t>
        <t>
          Current hardware does not make cryptographic validation free, and it does not eliminate the
          need for benchmarking.  It changes the engineering question from whether protected
          enforcement is possible at all to where the enforcement state should reside, which operations
          belong on the hot path, which operations can be amortized, and which assurance profile is
          appropriate for the workload.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Illustrative Technology Evolution Is Not a Protocol Dependency</name>
        <t>
          Commercial examples of this broader evolution include cloud confidential-computing
          environments, hardware-isolated enclave services, integrated server cryptographic
          accelerators, hardware I/O offload systems, modern DPUs and SmartNICs with inline
          cryptographic capabilities, and Arm confidential-computing mechanisms.
        </t>
        <t>
          These examples demonstrate feasibility trends; they are not normative dependencies.  The
          protocol architecture must remain implementable across multiple processor vendors, cloud
          providers, network technologies, accelerators, operating systems, and jurisdictions.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Why AI Changes the Latency Discussion</name>
        <t>
          Accelerated AI and agentic systems do not merely increase compute performance.  They can
          increase the rate at which software proposes consequential actions.  A model can generate
          tool calls, API operations, file actions, communications, code execution, retrieval requests,
          cross-agent messages, and other Candidate Acts faster than a human governance loop can review
          each act individually.
        </t>
        <t>
          The response should not be to place a human or remote policy server synchronously in every
          action path.  The scalable response is to compile or distribute authorized policy into
          protected machine-verifiable state and enforce the selected invariant at the local
          effectuation boundary.
        </t>
        <blockquote>
          <t>
            Faster computation increases the need for a faster enforcement boundary; it does not
            justify removing the enforcement boundary.
          </t>
        </blockquote>
      </section>

      <section numbered="true" toc="include">
        <name>Latency Budget Should Be Measured by Component</name>
        <t>
          A conforming implementation should report latency separately for the major components rather
          than publishing one undifferentiated "cryptographic overhead" number.  Useful measurements
          include:
        </t>
        <ul spacing="normal">
          <li>Candidate-Act canonicalization and digest cost;</li>
          <li>policy lookup cost;</li>
          <li>protected-state transition cost;</li>
          <li>Finality Authority verification cost;</li>
          <li>revocation and replay-state lookup cost;</li>
          <li>durable consume-or-reserve cost;</li>
          <li>Finality-Sink processing cost;</li>
          <li>receipt commitment cost;</li>
          <li>cold-path attestation and policy-establishment cost; and</li>
          <li>incremental end-to-end latency relative to the same effect without finality enforcement.</li>
        </ul>
        <t>
          Measurements should distinguish software-only, TEE-assisted, accelerator-assisted, DPU or
          SmartNIC-assisted, and other hardware-enforced deployment profiles.  Throughput, tail latency,
          failure behaviour, recovery cost, and concurrency should be reported in addition to average
          latency.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Target Engineering Invariant</name>
        <t>
          The intended performance-security compromise can be stated compactly:
        </t>
        <blockquote>
          <t>
            Remote trust establishment MAY be amortized.  Protected finality verification MUST remain
            bound to the actual Candidate Act at the effectuation boundary.
          </t>
        </blockquote>
        <t>
          Moving expensive operations off the hot path is an optimization.  Moving the final
          act-to-effect binding off the protected effectuation boundary would weaken the security
          property that the architecture is intended to provide.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>What the Architecture Does Not Claim About Performance</name>
        <t>
          The architecture does not claim zero overhead, universal sub-millisecond latency, identical
          performance on legacy and hardware-assisted systems, or suitability for every packet of every
          Internet flow.
        </t>
        <t>
          Performance depends on the cryptographic suite, hardware, protected-state mechanism, storage
          durability model, policy complexity, failure model, network topology, and definition of the
          Candidate Act.  Concrete latency claims require implementation-specific benchmarks.
        </t>
        <t>
          The architectural claim is narrower: modern systems provide sufficient local cryptographic,
          trusted-computing, and I/O-offload capability to make pre-effectuation enforcement a practical
          engineering option for selected high-consequence acts without requiring a remote policy
          round trip for every effect.
        </t>
      </section>
    </section>

    <section numbered="true" toc="include">
      <name>Technical FAQ and Adversarial Review</name>

      <section numbered="true" toc="include">
        <name>FAQ 1: Why Is Law, Contract, and Audit Not Sufficient?</name>
        <t>
          Those mechanisms remain essential because they define obligations, accountability, remedies,
          and governance.  They are not always equivalent to a machine-level invariant that prevents a
          prohibited protected effect before it occurs.  The architecture adds a technical enforcement
          point rather than attempting to replace law or contract.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>FAQ 2: Why Is This More Important in the AI Era?</name>
        <t>
          Automated systems can perform large numbers of consequential operations at machine speed,
          including tool calls, API invocation, file manipulation, model-driven workflow execution,
          agent-to-agent interaction, and parallel actions.  The gap between policy review speed and
          execution speed therefore becomes more significant.  Machine-speed action benefits from
          machine-speed enforcement at the effectuation boundary.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>FAQ 3: Is IAM or OAuth Already the Authorization Layer?</name>
        <t>
          IAM and OAuth commonly authorize principals, sessions, scopes, resources, or classes of API
          operations.  Finality authorization addresses whether a particular protected Candidate Act,
          with specific purpose, destination, jurisdiction, policy, runtime state, and epoch, may become
          externally effective.  Existing IAM and OAuth mechanisms can remain upstream inputs.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>FAQ 4: Why Not Use DLP, CASB, Firewalls, or VPC Egress Rules?</name>
        <t>
          Those controls can be strong and can provide important predicates.  The additional requirement
          is to bind the actual protected Candidate Act to a scoped finality decision at the first usable
          effectuation boundary.  The contribution is therefore not another firewall rule; it is the
          binding of Candidate Act, protected validation, scoped authority, and effectuation.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>FAQ 5: Why Is Encryption Alone Not Sufficient?</name>
        <t>
          Encryption protects confidentiality while data remains unavailable to unauthorized parties.
          It does not govern every externally effective consequence after legitimate decryption,
          computation, inference, or transformation.  Finality governs whether the protected effect is
          authorised, while encryption protects the payload and transport.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>FAQ 6: How Can Digital Sovereignty Exist Without Data Localisation?</name>
        <t>
          The model separates compute location from execution authority.  Computation can occur in a
          foreign or distributed environment while selected protected external effects remain subject
          to independently governed authorization conditions.
        </t>
        <blockquote>
          <t>Cross-border computation does not have to imply cross-border surrender of execution authority.</t>
        </blockquote>
      </section>

      <section numbered="true" toc="include">
        <name>FAQ 7: Can the Architecture Override Foreign Law?</name>
        <t>
          No.  The architecture does not resolve conflicts of law or invalidate sovereign legal powers.
          It provides a technical mechanism by which a deployment can require selected conditions before
          a covered external effect occurs.  A jurisdiction can still regulate, prohibit, compel, or
          otherwise affect the deployment through law.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>FAQ 8: Who Controls the Authority Plane?</name>
        <t>
          Control is deployment-defined.  It can reside with a provider, enterprise, regulated entity,
          sovereign-cloud operator, trust service, public authority, or multi-party combination.
          Standardization can define representation, scoping, verification, consumption, and failure
          behaviour without deciding which actor deserves authority.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>FAQ 9: How Can Jurisdiction Be Reliably Determined?</name>
        <t>
          No single location signal is assumed to be universally trustworthy.  High-assurance deployments
          can combine multiple evidence classes and define an evidence threshold through policy.
          Cryptography binds the evaluated evidence to the authorization decision; it does not transform
          weak evidence into physical truth.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>FAQ 10: What Prevents Replay of a Valid Finality Authority?</name>
        <t>
          The authority can be bound to the Candidate Act, destination, purpose, policy, security epoch,
          Finality Sink, protected identity, nonce, and consumption state.  Sink-side verification and
          durable consumption or reservation prevent a captured authorization from functioning as a
          generic reusable bearer credential.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>FAQ 11: How Is Time-of-Check to Time-of-Use Avoided?</name>
        <t>
          Finality-Sink verification occurs at the boundary where the protected effect becomes possible.
          Load-bearing Candidate-Act attributes can be reconstructed or revalidated at that boundary.
          Material changes in destination, purpose, policy epoch, payload identity, or protected state
          invalidate authority issued for a different act.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>FAQ 12: What Happens During Crashes, Retries, or Parallel Agent Execution?</name>
        <t>
          A bounded authority can be durably reserved or consumed before, or atomically with, effect
          commitment.  The implementation must ensure that concurrency, retries, failover, or crashes
          cannot transform one bounded authority into multiple unintended externally effective actions.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>FAQ 13: What Prevents Bypass Through Another Egress Path?</name>
        <t>
          The architecture requires anti-bypass closure for protected effects.  Alternate network
          interfaces, file exports, IPC paths, shared memory, storage replication, vendor HALs,
          accelerator paths, secondary gateways, or equivalent release channels must terminate at the
          same Finality Sink or an equivalent protected enforcement boundary.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>FAQ 14: Why Are Logs and Post-Hoc Audit Not Enough?</name>
        <t>
          Logs are valuable for accountability, forensic analysis, incident response, and regulatory
          review.  A log records or proves an event that may already have become irreversible.  Finality
          addresses prevention at the effectuation boundary.  Receipts and logs remain complementary
          evidence after the pre-effectuation decision.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>FAQ 15: Why Is This Particularly Relevant to Agentic AI?</name>
        <t>
          Agentic systems can collapse part of the traditional separation between decision-making and
          execution by selecting tools, composing operations, invoking APIs, manipulating resources,
          initiating communications, and coordinating with other agents.  As autonomy and computational
          capability increase above the enforcement boundary, deterministic and independently governed
          finality below that boundary becomes more important for high-consequence effects.
        </t>
        <blockquote>
          <t>Intelligence may remain probabilistic.  Execution authority does not have to be.</t>
        </blockquote>
      </section>
    </section>

    <section numbered="true" toc="include">
      <name>Comparison with Predominantly Policy-Centred Enforcement</name>
      <t>
        A simplified policy-centred sequence can be represented as:
      </t>
      <blockquote>
        <t>Policy -&gt; Configuration -&gt; Effect -&gt; Audit</t>
      </blockquote>
      <t>
        The execution-finality sequence is instead:
      </t>
      <blockquote>
        <t>
          Candidate Act -&gt; Non-Effective State -&gt; Protected Validation -&gt;
          Scoped Finality Authority -&gt; Finality-Sink Verification -&gt;
          Consume or Reserve -&gt; External Effect
        </t>
      </blockquote>
      <t>
        The difference is not the removal of policy.  The difference is making selected policy
        predicates a technical precondition of the protected effect.
      </t>
    </section>

    <section numbered="true" toc="include">
      <name>Benefits to Global Cloud, Telecom, and Platform Providers</name>
      <t>
        The architecture is not intended to be anti-cloud, anti-platform, anti-American, anti-European,
        or anti-global-compute.  It can provide an additional capability for infrastructure providers
        serving customers subject to differing sovereignty and regulatory requirements.
      </t>
      <t>
        Potential use cases include stronger sovereign-cloud assurances, independently verifiable
        residency controls, regulated-industry infrastructure, confidential-computing integration,
        machine-verifiable compliance evidence, enterprise policy enforcement, multi-cloud governance,
        telecom interconnection, satellite systems, and cross-domain AI execution.
      </t>
      <t>
        In such deployments, the infrastructure provider can continue supplying globally distributed
        compute while the customer or another designated authority retains control over selected
        externally effective operations.
      </t>
    </section>

    <section numbered="true" toc="include">
      <name>AI-Specific Application: Global AI Compute and Independently Governed Execution Authority</name>

      <section numbered="true" toc="include">
        <name>Overview</name>
        <t>
          Advanced AI capability is increasingly delivered through globally distributed cloud,
          accelerator, model, network, and platform infrastructure.  Many countries, public
          institutions, regulated sectors, and enterprises do not operate frontier-scale AI
          infrastructure of their own and may therefore depend on computing environments, models,
          accelerators, or service providers located outside their jurisdiction or direct
          administrative control.
        </t>
        <t>
          This creates an architectural problem that is distinct from ordinary data localisation.
          A country may wish to benefit from advanced foreign or globally distributed computation
          without automatically transferring practical authority over every consequential use of
          that computation to the infrastructure that performs it.  If the system that performs the
          computation also possesses unrestricted authority to transmit data, invoke external
          services, alter protected records, initiate payments, issue machine commands, release
          model outputs, or otherwise create consequential external effects, then dependence on
          foreign compute can become dependence on foreign execution authority.
        </t>
        <t>
          This section applies the Compute Plane / Authority Plane separation described elsewhere
          in this document specifically to AI infrastructure access.
        </t>
        <t>
          The Compute Plane may remain globally distributed and may perform storage, inference,
          transformation, routing, simulation, model execution, or other computation in
          infrastructure located outside the originating jurisdiction.  Computation alone, however,
          does not necessarily authorize a protected external consequence.
        </t>
        <t>
          A consequential operation is represented as a Candidate Act and remains in a Non-Effective
          State while deployment-selected predicates are evaluated.  Such predicates can include
          identity, purpose, destination, jurisdiction, policy epoch, runtime state, revocation,
          freshness, replay state, protected platform state, and other applicable conditions.
          Successful protected validation can produce protected validation evidence and a scoped
          Finality Authority bound to the particular Candidate Act.
        </t>
        <t>
          At the relevant Finality Sink, the authority is independently verified against the
          Candidate Act that is actually about to become externally effective.  The sink can
          reconstruct load-bearing attributes, verify destination, purpose, policy, jurisdiction,
          security epoch, scope, revocation, replay and consumption state, and prevent the protected
          effect when required conditions are not satisfied.
        </t>
        <t>
          The resulting separation can allow a jurisdiction, enterprise, regulated institution,
          sovereign-cloud operator, or other authorized policy owner to use externally supplied AI
          or compute capability while retaining independently governed technical control over
          selected consequence-bearing operations.
        </t>
        <t>
          The architectural proposition is therefore not that every country must operate its own
          frontier AI infrastructure, nor that foreign computation becomes inherently trustworthy.
          It is narrower:
        </t>
        <blockquote>
          <t>Access to computation and authority over consequential effects need not be
          controlled by the same entity.</t>
        </blockquote>
        <t>
          In compact form:
        </t>
        <blockquote>
          <t>Compute anywhere.  Keep authority independently governed.</t>
        </blockquote>
        <t>
          This architecture does not eliminate dependence on foreign compute providers, solve
          semiconductor or model sovereignty, guarantee continued access to foreign services,
          override foreign law, or prevent disclosure of plaintext data to a compute environment
          that is permitted to observe it.  Confidential computing, encryption, attestation, data
          minimization, legal controls, and other mechanisms can remain necessary.
        </t>
        <t>
          Its technical objective is instead to make selected externally effective acts
          non-completable until independently governed authorization conditions have been satisfied
          at the effectuation boundary.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Problem Space: Access to Global AI Without Surrendering Execution Authority</name>
        <t>
          The availability of advanced computation is unevenly distributed.
        </t>
        <t>
          Frontier-scale AI training and inference can require large accelerator clusters,
          specialized networking, high-capacity power infrastructure, sophisticated software
          platforms, model-development expertise, secure data-center operations, and continuing
          capital investment.  Many countries, public institutions, universities, hospitals,
          regulated enterprises, and smaller economies may therefore consume advanced AI capability
          through infrastructure operated by foreign or multinational providers.
        </t>
        <t>
          The resulting dependency is often treated as if it creates only two architectural choices:
        </t>
        <ol spacing="normal">
          <li>operate the complete AI and cloud infrastructure domestically; or</li>
          <li>permit the foreign or globally distributed computing environment to perform both the
          computation and the consequential actions resulting from that computation.</li>
        </ol>
        <t>
          The architecture in this document introduces a third possibility.
        </t>
        <t>
          The Compute Plane can provide the expensive or specialized computation, while a separately
          governed Authority Plane determines whether selected consequences produced by that
          computation are permitted to become externally effective.
        </t>
        <t>
          This distinction is important because computation and authority are not the same resource.
        </t>
        <t>
          A remote AI system can generate a diagnosis, recommendation, route, transaction proposal,
          software change, industrial instruction, administrative decision, or other proposed
          operation without necessarily possessing authority to complete that operation.
        </t>
        <t>
          The proposed operation can instead be represented as a Candidate Act.
        </t>
        <t>
          The Candidate Act remains non-effective until the applicable policy, identity, purpose,
          destination, jurisdiction, runtime, freshness, revocation, replay, and other
          deployment-defined predicates have been evaluated.
        </t>
        <t>
          Where validation succeeds, a scoped Finality Authority can be produced and bound to the
          Candidate Act.
        </t>
        <t>
          The Finality Sink then verifies that the authority remains valid for the exact operation
          that is about to cross the protected effectuation boundary.
        </t>
        <t>
          This creates an architectural separation:
        </t>
        <artwork name="" type="" align="left">
Global or foreign Compute Plane
              |
              v
       Candidate Act
              |
              v
      Non-Effective State
              |
              v
Independently Governed
     Authority Plane
              |
              v
  Scoped Finality Authority
              |
              v
      Finality Sink
              |
              v
      External Effect
        </artwork>
        <figure anchor="fig-cp-ap-flow">
          <name>Compute Plane / Authority Plane Architecture</name>
          <artwork type="svg" align="center">
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 480 800" width="480" height="800">

  <rect x="90" y="10" width="300" height="60" fill="white" stroke="black" stroke-width="2"/>
  <text x="240" y="45" font-family="monospace" font-size="15" text-anchor="middle" fill="black">Global / Foreign Compute Plane</text>
  <line x1="240" y1="70" x2="240" y2="104" stroke="black" stroke-width="2"/>
  <polygon points="240,110 234,98 246,98" fill="black" stroke="black"/>

  <rect x="90" y="110" width="300" height="60" fill="white" stroke="black" stroke-width="2"/>
  <text x="240" y="145" font-family="monospace" font-size="15" text-anchor="middle" fill="black">Candidate Act</text>
  <line x1="240" y1="170" x2="240" y2="204" stroke="black" stroke-width="2"/>
  <polygon points="240,210 234,198 246,198" fill="black" stroke="black"/>

  <rect x="90" y="210" width="300" height="60" fill="white" stroke="black" stroke-width="2"/>
  <text x="240" y="245" font-family="monospace" font-size="15" text-anchor="middle" fill="black">Non-Effective State</text>
  <line x1="240" y1="270" x2="240" y2="304" stroke="black" stroke-width="2"/>
  <polygon points="240,310 234,298 246,298" fill="black" stroke="black"/>

  <rect x="60" y="310" width="360" height="70" fill="white" stroke="black" stroke-width="2"/>
  <text x="240" y="340" font-family="monospace" font-size="15" text-anchor="middle" fill="black">Independently Governed</text>
  <text x="240" y="360" font-family="monospace" font-size="15" text-anchor="middle" fill="black">Authority Plane</text>
  <line x1="240" y1="380" x2="240" y2="414" stroke="black" stroke-width="2"/>
  <polygon points="240,420 234,408 246,408" fill="black" stroke="black"/>

  <rect x="60" y="420" width="360" height="60" fill="white" stroke="black" stroke-width="2"/>
  <text x="240" y="455" font-family="monospace" font-size="15" text-anchor="middle" fill="black">Scoped Finality Authority</text>
  <line x1="240" y1="480" x2="240" y2="514" stroke="black" stroke-width="2"/>
  <polygon points="240,520 234,508 246,508" fill="black" stroke="black"/>

  <rect x="90" y="520" width="300" height="60" fill="white" stroke="black" stroke-width="2"/>
  <text x="240" y="555" font-family="monospace" font-size="15" text-anchor="middle" fill="black">Finality Sink</text>
  <line x1="240" y1="580" x2="240" y2="614" stroke="black" stroke-width="2"/>
  <polygon points="240,620 234,608 246,608" fill="black" stroke="black"/>

  <rect x="90" y="620" width="300" height="60" fill="white" stroke="black" stroke-width="2"/>
  <text x="240" y="655" font-family="monospace" font-size="15" text-anchor="middle" fill="black">External Effect</text>

  <text x="240" y="720" font-family="monospace" font-size="13" text-anchor="middle" fill="black">Computation alone does not authorize the effect;</text>
  <text x="240" y="742" font-family="monospace" font-size="13" text-anchor="middle" fill="black">the Finality Sink verifies the exact Candidate Act</text>
  <text x="240" y="764" font-family="monospace" font-size="13" text-anchor="middle" fill="black">before the external effect may occur.</text>
</svg>
          </artwork>
        </figure>
        <t>
          The practical consequence is that a country does not necessarily need to reproduce the
          complete infrastructure used to perform the computation in order to retain technical
          control over selected protected effects.
        </t>
        <t>
          It can instead operate or designate the smaller set of components that determine and
          enforce final authority, such as policy authorities, trust anchors, protected validation
          services, cryptographic key infrastructure, revocation state, Finality Sinks, regulated
          gateways, protected output boundaries, and finality-receipt infrastructure.
        </t>
        <t>
          This does not make the country computationally independent.
        </t>
        <t>
          It remains dependent on the availability, quality, pricing, exportability, connectivity,
          and contractual availability of the external AI service.
        </t>
        <t>
          The distinction is that dependence on compute need not automatically imply unrestricted
          delegation of effectuation authority.
        </t>
        <t>
          For countries that cannot economically reproduce frontier-scale AI infrastructure, the
          architecture therefore offers a path to consume external computational capability without
          necessarily delegating unrestricted authority over the protected consequences of that
          computation.
        </t>
        <t>
          This is execution sovereignty, not complete compute sovereignty: dependence on foreign
          models, accelerators, connectivity, energy, software, providers, and supply chains can
          remain.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Illustrative Examples</name>
        <t>
          The following examples illustrate how the Compute Plane / Authority Plane separation and
          the Candidate Act / Finality Sink mechanism described in this document can apply to
          concrete AI deployments in infrastructure-constrained settings.  The examples are
          illustrative and non-limiting; they do not prescribe the substantive eligibility, clinical,
          or policy rules that a deployment must apply.
        </t>

        <section numbered="true" toc="include">
          <name>Advanced Medical AI Without Domestic Frontier-Scale AI Infrastructure</name>
          <t>
            Consider a developing country that has hospitals, medical regulators, national health
            systems, identity infrastructure, and domestic clinical policy, but does not operate
            sufficient accelerator infrastructure to host or train the most advanced medical AI
            models locally.
          </t>
          <t>
            A hospital in that country may wish to use an advanced diagnostic model operated by a
            foreign cloud or AI provider.  The remote Compute Plane can receive appropriately
            authorized medical input and perform computationally expensive operations such as image
            analysis, pathology inference, diagnostic ranking, treatment-option generation,
            drug-interaction analysis, or clinical summarization.
          </t>
          <t>
            Under a conventional architecture, the application running the model might also be
            allowed to directly create downstream effects.  For example, it might write a diagnosis
            into a national medical record, transmit patient information to another provider, place
            an order, initiate a clinical workflow, or invoke another medical system.
          </t>
          <t>
            The Compute-Plane/Authority-Plane separation changes that arrangement.
          </t>
          <t><strong>Step 1: Remote computation.</strong> The foreign AI infrastructure performs the
          inference.  For example, it produces "High probability of condition X; recommend treatment
          pathway Y."  At this stage, the output is computation.  It is not yet treated as authority
          to modify a protected national clinical system.</t>
          <t><strong>Step 2: Candidate Act construction.</strong> If the AI system or clinical
          application proposes a consequential operation, that operation becomes a Candidate Act.</t>
          <artwork name="" type="" align="left">
Candidate Act:
  Action: WRITE_DIAGNOSIS
  Patient: patient-identifier-4821
  Destination: National-Hospital-EHR
  Purpose: Clinical-Treatment
  Jurisdiction: Country-A
  Model/Runtime Evidence: specified evidence
  Policy Epoch: 184
  Requested Scope: append diagnosis
  Sink: Hospital-EHR-Finality-Sink
          </artwork>
          <t>
            The Candidate Act remains non-effective.  The remote AI provider therefore does not
            obtain authority merely because it generated the diagnosis.
          </t>
          <t><strong>Step 3: Domestic or independently governed validation.</strong> The Authority
          Plane can evaluate conditions defined by the health authority, hospital, regulated
          provider, or another authorized entity.  Depending on the deployment, the predicates can
          include:</t>
          <ul spacing="normal">
            <li>whether the hospital is authorized;</li>
            <li>whether the patient context is valid;</li>
            <li>whether the operation has the permitted clinical purpose;</li>
            <li>whether the destination is an approved national or hospital system;</li>
            <li>whether the AI model or execution environment satisfies the required attestation
            profile;</li>
            <li>whether the requesting clinician or workflow is authorized;</li>
            <li>whether the current policy epoch is valid;</li>
            <li>whether the action has been revoked;</li>
            <li>whether required consent or another policy predicate exists;</li>
            <li>whether the Candidate Act is fresh;</li>
            <li>whether the Candidate Act has already been used; and</li>
            <li>whether the exact proposed operation remains within the authorized scope.</li>
          </ul>
          <t><strong>Step 4: Scoped Finality Authority.</strong> If the required predicates succeed,
          the Authority Plane can issue a scoped Finality Authority.  That authority is not a generic
          permission for the foreign AI provider to write arbitrary medical information.  It can
          instead be bound to the particular Candidate Act, patient context, purpose, destination,
          policy epoch, Finality Sink, freshness period, and other required attributes.</t>
          <t><strong>Step 5: Domestic effectuation boundary.</strong> The hospital or national
          medical-record environment operates a Finality Sink at the boundary where the record
          modification can actually become effective.  The sink independently verifies the
          authority.  It verifies that the operation arriving at the EHR is the same operation that
          was authorized.</t>
          <t>
            If the AI originally proposed "append diagnosis X to patient 4821" but the arriving
            operation instead attempts "export the complete patient record to another endpoint," the
            Candidate-Act binding does not match and the second operation does not inherit the
            original authority.
          </t>
          <t>
            Similarly, a stale authority, different patient, different destination, changed purpose,
            revoked context, incorrect policy epoch, replayed authority, or unauthorized operation
            can fail closed.
          </t>
          <t><strong>Step 6: External effect.</strong> Only after successful Finality-Sink
          verification does the protected clinical action become effective.</t>
          <t>
            The architecture therefore separates who performed the medical computation from who
            retained final authority over the protected clinical consequence.
          </t>
          <t>
            The country did not need to reproduce the foreign provider's complete AI accelerator
            infrastructure.  It did, however, need to operate or trust the components required for
            its own Authority Plane and Finality Sink.
          </t>
          <t>
            This distinction is important.  The architecture does not guarantee that the foreign AI
            model is medically correct.  It does not make the foreign provider unavailable to
            foreign law.  It does not itself prevent the foreign compute provider from seeing
            plaintext medical data if the deployment sends plaintext into an environment that is
            permitted to observe it.
          </t>
          <t>
            Those risks require additional mechanisms such as clinical validation, confidential
            computing, encryption, remote attestation, data minimization, contractual controls, or
            other appropriate safeguards.
          </t>
          <t>
            The narrower property provided by execution finality is that possession of computational
            capability does not automatically provide authority to complete the protected downstream
            medical effect.
          </t>
        </section>

        <section numbered="true" toc="include">
          <name>AI-Assisted Agriculture and Disaster Response in an Infrastructure-Constrained Country</name>
          <t>
            Consider a least-developed or infrastructure-constrained country that does not possess a
            large domestic AI cloud, advanced satellite-processing infrastructure, or sufficient
            accelerator capacity to operate sophisticated forecasting and multimodal models
            nationally.
          </t>
          <t>
            The government may nevertheless have access to global AI services, satellite imagery
            providers, weather data, telecommunications infrastructure, international cloud
            platforms, and regional connectivity.  The country could use those external resources
            for agricultural forecasting and disaster response while keeping selected consequential
            decisions under an independently governed Authority Plane.
          </t>
          <t>
            Assume a global AI platform processes satellite imagery; weather observations; flood
            forecasts; soil and crop information; telecommunications-derived observations where
            lawfully available; logistics data; and historical disaster information.
          </t>
          <t>
            The foreign Compute Plane may generate conclusions such as "Flood probability in Region R
            exceeds the configured threshold," "Crop failure probability is high in District D," or
            "Emergency supplies should be routed to locations A, B, and C."
          </t>
          <t>
            These are valuable computational results.  They do not necessarily need to become direct
            authority to activate national infrastructure.
          </t>
          <t><strong>Step 1: Compute result.</strong> The remote AI system performs the large-scale
          model inference.  It can combine satellite data, weather models, historical information,
          and other permitted sources.  The output can remain informational until a protected
          consequence is requested.</t>
          <t><strong>Step 2: Candidate Act.</strong> Suppose an automated emergency-management agent
          proposes ACTIVATE_CELLULAR_EMERGENCY_ALERT for three districts.  The consequential request
          is represented as a Candidate Act.  It may contain:</t>
          <artwork name="" type="" align="left">
Action: ACTIVATE_EMERGENCY_ALERT
Region: Districts A, B, C
Destination: National-Telecom-Emergency-Gateway
Purpose: Flood-Emergency-Warning
Jurisdiction: Country-B
Policy Epoch: 73
Validity: 10 minutes
Requested Scope: public-warning
Sink: National-Alert-Finality-Sink
          </artwork>
          <t>
            The Candidate Act remains non-effective.  The global AI provider cannot cause the
            national alert merely because its model produced a flood forecast.
          </t>
          <t><strong>Step 3: National Authority Plane.</strong> The country's Authority Plane can
          apply domestically selected conditions.  For example:</t>
          <ul spacing="normal">
            <li>whether the requesting emergency-management service is authorized;</li>
            <li>whether the alert concerns a permitted emergency class;</li>
            <li>whether the affected geographic area is within the authorized scope;</li>
            <li>whether the warning destination is the national telecommunications alert gateway;</li>
            <li>whether the forecasting evidence satisfies the required policy threshold;</li>
            <li>whether the AI or data-processing environment satisfies required runtime or
            attestation conditions;</li>
            <li>whether the policy epoch is current;</li>
            <li>whether the emergency authorization has been revoked;</li>
            <li>whether the request is fresh;</li>
            <li>whether the same authority has already been consumed; and</li>
            <li>whether additional human or multi-party approval is required for that class of
            national action.</li>
          </ul>
          <t>
            The architecture does not dictate what the threshold should be.  The national policy
            authority defines the threshold.
          </t>
          <t><strong>Step 4: Scoped Finality Authority.</strong> If the conditions are satisfied,
          the Authority Plane issues a scoped Finality Authority.  The authority can be limited to
          ACTIVATE_EMERGENCY_ALERT, only for Districts A, B, C, only for Flood-Emergency-Warning,
          only through the National-Telecom-Emergency-Gateway, only during the permitted freshness
          interval, and only under policy epoch 73.  It is not a generic token permitting the AI
          provider to issue arbitrary national telecommunications commands.</t>
          <t><strong>Step 5: Finality Sink.</strong> The national telecommunications or
          emergency-management gateway acts as the Finality Sink.  Immediately before the warning can
          become externally effective, the sink verifies the Candidate Act and the corresponding
          authority.</t>
          <t>
            Suppose the AI service or a compromised intermediary attempts to modify the operation
            from "alert Districts A, B, C" to "alert the entire country," or changes the purpose from
            "Flood-Emergency-Warning" to another administrative purpose.  The sink-side Candidate-Act
            reconstruction would no longer match the scoped authority.  The modified operation
            therefore requires a new valid authorization rather than inheriting the earlier one.
          </t>
          <t><strong>Step 6: External effect.</strong> Only after final verification does the
          emergency warning reach the telecom network and become externally effective.</t>
          <t>
            The same architectural pattern could be applied to other high-consequence outputs from
            globally supplied AI, such as: opening or closing irrigation infrastructure; dispatching
            emergency resources; releasing a protected government dataset; initiating a payment from
            a disaster-relief fund; changing access to a critical information system; sending
            official public warnings; issuing machine commands to protected infrastructure; or
            transmitting sensitive information across a national boundary.
          </t>
          <t>
            The infrastructure-constrained country therefore does not need to own the satellite
            constellation, the hyperscale cloud, the accelerator cluster, and the AI model in order
            to retain technical control over these selected effects.
          </t>
          <t>
            What it does need is control, direct or delegated, over the relevant Authority Plane and
            Finality Sink.  The external AI service supplies intelligence.  The domestically governed
            finality infrastructure supplies authority.
          </t>
          <t>
            Again, this does not create complete technological independence.  Loss of connectivity or
            withdrawal of the foreign AI service can still remove access to the computation.  Poor
            model quality can still produce incorrect recommendations.  A malicious or compromised
            foreign compute environment can still attempt to deceive the Authority Plane.
          </t>
          <t>
            The strength of the result depends on the quality of evidence, policy, trusted computing
            base, key management, Finality-Sink protection, and anti-bypass closure.
          </t>
          <t>
            The architectural improvement is narrower but significant: the foreign system's ability
            to calculate or recommend a consequential action does not automatically give it the
            ability to complete that action.
          </t>
        </section>

        <section numbered="true" toc="include">
          <name>Using External AI for Public-Benefit and Financial Analysis While Retaining Domestic Payment Authority</name>
          <t>
            Consider a developing or infrastructure-constrained country that wishes to use advanced
            AI systems for administration of public-benefit, agricultural-support, disaster-relief,
            development-grant, small-business-support, or similar programs, but does not operate
            sufficient domestic accelerator infrastructure to host or train the required AI models at
            comparable scale.
          </t>
          <t>
            The country may therefore obtain AI capability from a foreign cloud provider, regional
            computing platform, international development infrastructure, or another externally
            operated service.
          </t>
          <t>
            The external Compute Plane can perform computationally intensive analysis, for example
            analysing permitted combinations of benefit applications; agricultural records;
            disaster-damage reports; satellite or remote-sensing information; business records;
            eligibility documentation; fraud indicators; historical claims; geographic information;
            program rules represented as machine-readable inputs; and other data that the deployment
            is legally and technically permitted to process.
          </t>
          <t>
            The AI system might produce a result such as "Applicant 472 appears eligible for a
            flood-relief payment of 25,000 units of local currency."
          </t>
          <t>
            That result is a computational output.  Under the architecture described in this
            document, it is not automatically a payment authorization.  The distinction is important.
            An external AI provider may be permitted to calculate an eligibility score, classify
            evidence, detect anomalies, estimate damage, or recommend a payment amount without
            thereby receiving unrestricted authority to move public funds.
          </t>
          <t>
            The consequential operation is therefore represented separately as a Candidate Act.  For
            example:
          </t>
          <artwork name="" type="" align="left">
Candidate Act

Action: RELEASE_PUBLIC_BENEFIT_PAYMENT
Recipient: Applicant-472
Amount: 25,000
Currency: Local-Currency
Purpose: Flood-Relief
Program: National-Relief-2026
Destination: Domestic-Payment-Rail
Jurisdiction: Country-C
Policy Epoch: 118
Requested Scope: Single benefit payment
Finality Sink: Treasury-Payment-Finality-Sink
          </artwork>
          <t>
            At this stage, the Candidate Act remains in a Non-Effective State.  The foreign AI
            service may have generated the recommendation and may even have constructed the proposed
            payment instruction, but computation alone does not make the payment externally
            effective.
          </t>
          <t>
            The Candidate Act is instead submitted to the independently governed Authority Plane.
            The Authority Plane can evaluate the deployment-selected predicates that are required
            before a protected public-payment operation is permitted.  Depending on national law,
            program design, risk level, and implementation policy, these predicates can include:
          </t>
          <ul spacing="normal">
            <li>whether the applicant is enrolled in the relevant program;</li>
            <li>whether the recipient identity is valid;</li>
            <li>whether the payment destination belongs to the intended recipient;</li>
            <li>whether the requested amount is within the permitted program limit;</li>
            <li>whether the relevant benefit or disaster program is currently active;</li>
            <li>whether sufficient budget remains available;</li>
            <li>whether a previous payment has already been made for the same entitlement;</li>
            <li>whether the proposed payment conflicts with a revocation or fraud decision;</li>
            <li>whether the request is fresh;</li>
            <li>whether the policy epoch remains current;</li>
            <li>whether the requesting administrative service is authorized;</li>
            <li>whether required human approval has been obtained;</li>
            <li>whether multiple independent approvals are required;</li>
            <li>whether the AI execution environment satisfies any required runtime or attestation
            policy;</li>
            <li>whether the requested purpose corresponds to the program for which the funds were
            appropriated;</li>
            <li>whether the destination payment rail is authorized; and</li>
            <li>whether the Candidate Act has already been reserved, consumed, or replayed.</li>
          </ul>
          <t>
            The architecture does not prescribe the substantive eligibility rules.  Those rules
            remain deployment-defined.  A government, treasury, regulated financial institution,
            public-benefit agency, central payment operator, or another designated authority can
            determine which predicates are required and how they are evaluated.
          </t>
          <t>
            If the required conditions are satisfied, protected validation can produce a scoped
            Finality Authority.  That authority can be cryptographically bound to the exact Candidate
            Act.  For example, the authority can be limited to:
          </t>
          <artwork name="" type="" align="left">
Recipient: Applicant-472
Amount: 25,000
Purpose: Flood-Relief
Program: National-Relief-2026
Destination: Domestic-Payment-Rail
Policy Epoch: 118
Finality Sink: Treasury-Payment-Finality-Sink
Use: Single-use
Freshness: Deployment-defined limited validity interval
          </artwork>
          <t>
            The resulting authority is therefore not equivalent to a generic credential permitting
            the external AI provider to create arbitrary payments.  Possession of the computational
            result does not create unrestricted payment authority.
          </t>
          <t>
            The payment then reaches the protected domestic effectuation boundary.  A treasury
            payment gateway, central-payment service, regulated bank interface, government
            disbursement system, or another protected financial component can perform the
            Finality-Sink role.  Immediately before the payment becomes externally effective, the
            Finality Sink independently verifies that the authority remains valid for the Candidate
            Act that is actually being presented.
          </t>
          <t>
            Where appropriate, the sink can reconstruct the load-bearing attributes rather than
            relying solely on an upstream assertion.  For example, assume the originally validated
            Candidate Act specified Recipient Applicant-472, Amount 25,000, and Purpose Flood-Relief.
            Suppose that, after authorization, a compromised intermediary attempts to submit the same
            recipient and purpose but Amount 250,000.  The amount no longer matches the Candidate Act
            for which authority was issued, so the original authority does not authorize the modified
            payment.
          </t>
          <t>
            Similarly, if an attacker changes the recipient from Applicant-472 to Applicant-913, the
            destination or beneficiary binding no longer matches, and the original authority cannot
            legitimately be reused for the second recipient.  The same principle applies if the
            operation is modified from Purpose Flood-Relief to Purpose General-Administrative-Payment,
            or if the destination changes from the authorized domestic payment rail to an unapproved
            external account or another payment mechanism.
          </t>
          <t>
            A valid authorization for one Candidate Act does not automatically become authority for
            another Candidate Act.
          </t>
          <t>
            Replay protection is also important.  If a Finality Authority was issued for one payment
            of 25,000 units, capture of that authority should not permit the same payment to be
            performed repeatedly.  A high-assurance implementation can therefore bind the authority to
            a nonce, Candidate-Act digest, policy epoch, Finality Sink, freshness interval, protected
            state, and single-use consumption or reservation state.
          </t>
          <t>
            The Finality Sink can durably consume or reserve the authority before, or atomically
            with, commitment of the payment where the underlying payment system supports such
            integration.  This reduces the risk that retries, parallel execution, process crashes, or
            captured authorization artifacts convert one approved public-benefit payment into
            multiple unintended payments.
          </t>
          <t>
            The complete sequence can therefore be represented as:
          </t>
          <artwork name="" type="" align="left">
External AI / Foreign Compute Plane
            |
            v
Eligibility, Fraud, Damage, or Risk Analysis
            |
            v
Proposed Payment Candidate Act
            |
            v
      NON-EFFECTIVE
            |
            v
Independently Governed Authority Plane
            |
            v
Identity + Eligibility + Program + Purpose
+ Amount + Destination + Budget + Epoch
+ Freshness + Revocation + Replay
+ Other Deployment-Selected Predicates
            |
            v
   Scoped Finality Authority
            |
            v
Domestic Treasury / Payment Finality Sink
            |
            v
Candidate-Act Reconstruction and Verification
            |
            v
    Consume or Reserve Authority
            |
            v
        PAYMENT EFFECT
          </artwork>
          <t>
            The architectural separation is therefore between who performs the computational analysis
            and who retains authority over the protected financial consequence.  The foreign or
            globally distributed AI infrastructure can provide computational capability.  The
            nationally or independently governed Authority Plane can determine whether the proposed
            financial consequence is permitted.  The domestically controlled or otherwise designated
            Finality Sink can prevent the protected payment from becoming effective unless the
            corresponding authority remains valid for the exact Candidate Act.
          </t>
          <t>
            This model can be particularly relevant to countries that cannot economically reproduce
            frontier-scale AI infrastructure but nevertheless require strong control over public
            funds and regulated payment systems.  It does not require the country to operate the same
            scale of accelerator infrastructure as the external AI provider.  It does require the
            country, or another trusted entity selected by the deployment, to control or appropriately
            govern the security-critical components needed for the Authority Plane and Finality Sink.
          </t>
          <t>
            These components can include policy authorities, trust anchors, cryptographic keys,
            revocation state, protected validation services, payment-gateway enforcement, replay
            state, protected state, and finality-receipt infrastructure.
          </t>
          <t>
            The architecture does not make the country completely technologically independent.  The
            country can remain dependent on the external provider for access to the AI model,
            accelerator capacity, connectivity, model quality, software support, pricing, and
            continued service availability.
          </t>
          <t>
            The architecture also does not guarantee that the AI analysis is correct.  An incorrect
            model can still recommend an incorrect payment.  The Authority Plane therefore does not
            replace program rules, human oversight where required, financial controls, fraud
            detection, audit, legal accountability, or model-quality assessment.
          </t>
          <t>
            Nor does the architecture override foreign law or eliminate risks arising from disclosure
            of plaintext information to an external compute provider.  Confidential computing,
            encryption, remote attestation, data minimization, contractual controls,
            privacy-preserving technologies, and other safeguards can remain necessary depending on
            the deployment.
          </t>
          <t>
            The narrower technical property is that the external AI system may calculate, recommend,
            or prepare a consequential financial operation without automatically possessing authority
            to complete that operation.
          </t>
          <t>
            For an infrastructure-constrained country, this creates a useful separation: access to
            advanced AI capability does not necessarily require unrestricted delegation of authority
            over sovereign or regulated funds.
          </t>
          <t>
            In compact form:
          </t>
          <blockquote>
            <t>External computation can propose the payment.  Independently governed authority
            decides whether the payment may occur.  The Finality Sink determines whether that exact
            authorized payment can become externally effective.</t>
          </blockquote>
        </section>
      </section>
    </section>

    <section numbered="true" toc="include">
      <name>Residual Trust Boundary</name>
      <t>
        The architecture does not eliminate all trust assumptions.  A Protected Enforcement Domain can
        depend on processor hardware, firmware, secure boot, trusted execution environments, attestation
        infrastructure, certificate authorities, vendor signing systems, and key-management systems.
      </t>
      <t>
        Failure or compromise at those layers can weaken higher-level assurance.  This is a general
        trusted-computing-base problem and is not specific to one vendor or jurisdiction.
      </t>
      <t>
        Execution-finality therefore addresses authority and effectuation at a selected enforcement
        boundary; it does not by itself solve semiconductor sovereignty, fabrication sovereignty, or
        every root-of-trust problem.
      </t>
    </section>

    <section numbered="true" toc="include">
      <name>Threat Model</name>
      <t>
        Relevant threats include misconfiguration, malicious or compromised workloads, excessive
        privilege, confused-deputy behaviour, replay, stale authority, destination substitution,
        policy substitution, jurisdiction-evidence manipulation, compromised agents, tool misuse,
        alternate egress paths, concurrency races, crash-retry duplication, and compromised components
        inside the trusted computing base.
      </t>
      <t>
        The architecture does not assume that all infrastructure operators are malicious.  It is intended
        to reduce the amount of discretionary trust required for selected protected effects.
      </t>
    </section>

    <section numbered="true" toc="include">
      <name>Security Considerations</name>
      <t>
        Security depends on correct Candidate-Act canonicalization, protected predicate evaluation,
        integrity of policy distribution, authority scoping, revocation, freshness, sink verification,
        durable consumption state, anti-replay protection, anti-bypass closure, and the integrity of the
        trusted computing base.
      </t>
      <t>
        An implementation that validates an operation upstream but permits unmediated effectuation
        through another path does not satisfy the intended complete-mediation property.
      </t>
      <t>
        Cryptographic binding must not be presented as proof that the underlying physical, geographic,
        hardware, or legal assertions are inherently true.  Assurance is bounded by the quality of the
        evidence sources and the trustworthiness of the components producing them.
      </t>
    </section>

    <section numbered="true" toc="include">
      <name>Privacy Considerations</name>
      <t>
        Jurisdiction evidence, workload identity, destination information, policy identifiers, and
        finality receipts can themselves reveal sensitive information.  Implementations should minimize
        retained metadata and can use selective disclosure, pseudonymous identifiers, encrypted evidence,
        cryptographic commitments, permissioned verification, or other privacy-preserving mechanisms.
      </t>
      <t>
        The architecture should not require unnecessary publication of individual transfer events or
        sensitive infrastructure topology.
      </t>
    </section>

    <section numbered="true" toc="include">
      <name>Authority Plane and Existing Trust Infrastructure</name>
      <t>
        The Authority Plane is not intended to replace IAM, OAuth, GNAP, RATS, EAT, PKI, attestation
        infrastructure, policy engines, or existing cryptographic trust mechanisms.  Those mechanisms
        answer important but different questions and can provide inputs to the Authority Plane.
      </t>
      <t>
        IAM, OAuth, OAuth Token Exchange, GNAP, and related authorization systems can establish identity,
        delegation, resource access, scopes, roles, or other upstream authorization context.  RATS, EAT,
        and related attestation mechanisms can provide evidence concerning the identity, integrity,
        configuration, or protected state of a workload, Protected Enforcement Domain, Finality Sink,
        or related execution environment.  Policy systems can determine which jurisdictional,
        organizational, contractual, security, purpose, destination, or operational conditions apply.
      </t>
      <t>
        The Authority Plane can consume these inputs.  Its narrower function is to determine whether,
        given the applicable identity, authorization, attestation, policy, runtime, destination,
        jurisdictional, freshness, revocation, and other required inputs, a particular Candidate Act is
        permitted to become externally effective.
      </t>
      <t>
        The Authority Plane therefore provides the architectural point at which upstream trust and
        authorization inputs can be combined into an act-scoped finality decision.  The Finality Sink
        performs the later effectuation-boundary check: it verifies that the resulting authority remains
        valid for the Candidate Act that is actually about to become externally effective.
      </t>
      <blockquote>
        <t>Existing trust and authorization mechanisms can establish relevant inputs.  The Authority Plane
        binds those inputs to the particular Candidate Act, and the Finality Sink verifies that binding
        at the effectuation boundary.</t>
      </blockquote>
    </section>

    <section numbered="true" toc="include">
      <name>Relationship to Existing IETF Protocols and Future Protocol Realization</name>
      <t>
        The architecture described in this document is intended to compose with, rather than replace,
        existing IETF security, authorization, attestation, representation, and cryptographic mechanisms.
      </t>
      <t>
        Remote-attestation mechanisms, including architectures based on RATS and EAT, can provide evidence
        concerning the identity, integrity, configuration, or protected state of a Protected Enforcement
        Domain or related execution environment.  Such evidence can serve as an input to protected
        validation.  Attestation evidence alone, however, does not necessarily constitute authority for
        a particular Candidate Act to become externally effective.
      </t>
      <t>
        OAuth, OAuth Token Exchange, GNAP, enterprise IAM, or equivalent authorization systems can provide
        upstream identity, delegation, resource, scope, or policy context.  Such mechanisms can participate
        in policy derivation or authority establishment.  Execution finality adds a narrower act-to-effect
        binding: authorization is associated with the particular Candidate Act and is revalidated at the
        Finality Sink before the protected external effect is committed.
      </t>
      <t>
        Concrete protocol realizations can use existing IETF representation and cryptographic mechanisms,
        including CBOR, CDDL, and COSE, to encode and protect Candidate Acts, validation evidence, scoped
        Finality Authorities, and Finality Receipts.  Transport-specific profiles can subsequently define
        integration with HTTP, RPC, messaging, telecom, storage, or other protocol environments.
      </t>
      <t>
        A follow-up protocol specification can define: 
      </t>
      <ul spacing="normal">
        <li>canonical Candidate-Act representation and digest calculation;</li>
        <li>LAVR or equivalent protected-validation-evidence representation;</li>
        <li>scoped Finality-Authority representation;</li>
        <li>Finality-Sink processing and verification rules;</li>
        <li>replay, freshness, revocation, reservation, and consumption semantics;</li>
        <li>denial and protocol error codes;</li>
        <li>Finality-Receipt representation;</li>
        <li>cryptographic algorithm profiles and agility requirements; and</li>
        <li>transport-specific bindings.</li>
      </ul>
      <t>
        The architectural contribution of this document is therefore not a replacement for existing
        identity, authorization, attestation, policy, or cryptographic protocols.  It defines an
        interoperable act-to-effect boundary at which those inputs can be bound to the actual Candidate
        Act and independently verified before a protected external consequence is permitted to occur.
      </t>
      <t>
        This document defines the architectural model.  Concrete object encodings, cryptographic bindings,
        processing rules, error semantics, and transport profiles can be specified in separate protocol
        documents.
      </t>
    </section>

    <section numbered="true" toc="include">
      <name>IETF Scope and Non-Goals</name>
      <t>
        The protocol mechanism does not determine which jurisdiction's law should prevail, whether any
        specific international transfer is lawful, or which public or private entity should control a
        deployment policy.
      </t>
      <t>
        The technical objective is to define interoperable mechanisms by which a deployment-selected
        policy can be bound to a protected Candidate Act and verified at the relevant Finality Sink
        before the covered external effect becomes effective.
      </t>
      <t>
        The architecture is intended to remain jurisdiction-neutral and provider-neutral.
      </t>
    </section>

    <section numbered="true" toc="include">
      <name>IANA Considerations</name>
      <t>
        This document has no IANA actions at this time.
      </t>
    </section>

    <section numbered="true" toc="include">
      <name>Core Proposition</name>
      <t>
        The architecture does not claim that data must never leave its originating jurisdiction, that
        cloud-region labels are inherently unreliable, or that cryptography can prove the physical
        location of every byte.
      </t>
      <t>
        The narrower technical proposition is:
      </t>
      <blockquote>
        <t>
          A deployment-defined cross-boundary policy can be made a protected pre-effectuation condition,
          such that a covered Candidate Act does not become externally effective until the required
          evidence, authorization, and Finality-Sink predicates have been successfully verified.
        </t>
      </blockquote>
      <t>
        In compact form:
      </t>
      <blockquote>
        <t>Compute anywhere.  Keep authority independently governed.</t>
      </blockquote>
    </section>

  </middle>

  <back>
    <section numbered="true" toc="include" anchor="appendix-ref-impl">
      <name>Reference Implementation (Non-Normative)</name>
      <t>
        This appendix summarizes a dependency-light, cross-language reference implementation and
        test methodology that exercises the Compute Plane / Authority Plane separation and the
        Candidate Act / Finality Sink mechanism described in this document, including its
        application to the healthcare, disaster-response, and public-benefit-payment scenarios
        introduced in the AI-specific application section above.  The material in this appendix is
        non-normative.  It documents one executable reference and its
        test results; it does not define a normative wire protocol, and it does not establish that
        every real-world national, cloud, telecom, payment, medical, or AI deployment automatically
        obtains the tested properties.
      </t>
      <t>
        <strong>Primary reference implementation repository:</strong>
        <eref target="https://github.com/sangmdas/Digital-Sovereignty-Without-Data-Localisation-Compute-Plane-Authority-Plane-Execution-Finality/">https://github.com/sangmdas/Digital-Sovereignty-Without-Data-Localisation-Compute-Plane-Authority-Plane-Execution-Finality/</eref>
      </t>
      <t>
        <strong>Primary reference implementation, versioned release v0.1.0:</strong>
        <eref target="https://github.com/sangmdas/Digital-Sovereignty-Without-Data-Localisation-Compute-Plane-Authority-Plane-Execution-Finality/releases/tag/v0.1.0">https://github.com/sangmdas/Digital-Sovereignty-Without-Data-Localisation-Compute-Plane-Authority-Plane-Execution-Finality/releases/tag/v0.1.0</eref>
      </t>

      <section numbered="true" toc="include">
        <name>Purpose and Engineering Question</name>
        <t>
          The reference implementation tests one narrow but operationally important architectural
          proposition: a workload may execute on foreign, regional, hyperscale, or otherwise
          externally operated compute while authority over selected externally effective acts
          remains independently governed.
        </t>
        <t>
          The tested security invariant is:
        </t>
        <blockquote>
          <t>
            A Compute Plane may calculate, infer, transform, or propose a protected operation, but
            the modeled operation cannot become externally effective through the guarded path until
            a separately governed Authority Plane authorizes the exact Candidate Act and a Finality
            Sink independently verifies that authorization at the effectuation boundary.
          </t>
        </blockquote>
        <t>
          The implementation does not assume that foreign compute is trustworthy, domestically
          controlled, legally subordinate to the authority jurisdiction, or physically located
          where metadata claims it is.  The reference instead asks whether the ability to compute
          and the ability to finalize a protected consequence can be represented as different
          technical roles and tested as different trust boundaries.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Source Architecture and Implementation Scope</name>
        <t>
          The source Internet-Draft is preserved in the reference repository at
          <tt>docs/source/draft-das-digital-sovereignty-finality-01.xml</tt>.
        </t>
        <t>
          The executable implementation maps the following architectural elements into code:
          globally distributed Compute Plane; independently governed Authority Plane; Candidate
          Act; Non-Effective State; deployment-selected policy, jurisdiction, purpose, destination,
          runtime, freshness, revocation, replay, and approval predicates; protected state
          transition; protected validation evidence / LAVR-equivalent evidence object; scoped
          Finality Authority; Finality-Sink reconstruction and verification; consume/reserve-before-
          effect behavior; fail-closed error paths; anti-bypass deployment requirement; single- and
          multi-party governance; and the distinction between authenticated evidence and
          factual/geographic truth.
        </t>
        <t>
          The reference does not attempt to decide which jurisdiction's law prevails or whether a
          particular cross-border transfer is lawful.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Repository Architecture and Tooling</name>
        <t>
          The repository contains two Python packages and two independent non-Python verification
          implementations:
        </t>
        <table>
          <thead>
            <tr><th>Component</th><th>Language</th><th>Role</th></tr>
          </thead>
          <tbody>
            <tr><td>src/finality_ref/</td><td>Python</td><td>Complete execution-finality state
            machine, protected authority, state, evidence, capability, replay store, effectors,
            Finality Sink</td></tr>
            <tr><td>src/sovereignty_ref/</td><td>Python</td><td>Compute Plane / Authority Plane
            separation, jurisdiction evidence, approvals, governance policy, national-use
            scenarios</td></tr>
            <tr><td>node/</td><td>Node.js</td><td>Independent portable canonicalization and core
            finality-vector verification</td></tr>
            <tr><td>go/</td><td>Go</td><td>Independent portable canonicalization and core
            finality-vector verification</td></tr>
          </tbody>
        </table>
        <t>
          Python is currently the complete executable reference for the sovereignty-specific layer.
          Node.js and Go independently verify the common execution-finality substrate and
          canonicalization vectors.  The sovereignty-specific object format is not yet claimed as a
          standardized cross-language wire protocol.
        </t>
        <t>
          The recorded reference stack uses CPython 3.13.5, pytest 9.0.2, pytest-cov 7.0.0,
          coverage.py 7.13.3, cryptography 46.0.4, setuptools 82.0.1, SQLite 3.46.1, OpenSSL 3.5.5,
          Node.js 22.16.0 (Unicode data 16.0, ICU 77.1), and Go 1.23.2 linux/amd64 (Unicode data
          15.0.0, vendored golang.org/x/text v0.16.0).  The Python runtime has no mandatory
          third-party dependency for the basic HMAC reference path; <tt>cryptography</tt> is
          optional and is used for the Ed25519 adapter exercised by the inherited core tests.
        </t>
        <t>
          Most sovereignty tests use a deterministic nanosecond clock (<tt>NOW =
          1_800_000_000_000_000_000</tt>) to prevent wall-clock drift from changing expected
          freshness, expiry, and replay outcomes, and to make failures reproducible across CI runs
          rather than dependent on scheduler timing.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Core Object Model</name>
        <t>
          <tt>ComputeContext</tt> records the facts the policy chooses to bind about the
          environment that performed computation: provider ID, compute jurisdiction, workload ID,
          model ID, runtime-evidence digest, and session ID.  A <tt>ComputePlane</tt> may call
          <tt>propose()</tt> to produce a Candidate Act.  Calling
          <tt>ComputePlane.effectuate()</tt> raises
          <tt>EffectDenied("compute_plane_has_no_effectuation_authority")</tt>.  This is an
          executable software-model invariant; it is not proof that a real cloud host, kernel, NIC,
          GPU, DMA engine, administrator, or alternative API cannot reach the underlying resource by
          another path.
        </t>
        <t>
          The inherited <tt>CandidateAct</tt> binds: act identifier, act class, effect class,
          source, destination, purpose, jurisdiction, policy epoch, nonce, issue time, freshness
          interval, sink identifier, effect boundary identifier, scope, payload, runtime-evidence
          digest, authority context, and status.  The default status is <tt>NON_EFFECTIVE</tt>.  The
          Candidate digest is derived from deterministic canonical serialization.  The capability
          later binds that complete digest, and the Finality Sink recomputes the Candidate digest
          rather than accepting an upstream digest as sufficient evidence.
        </t>
        <t>
          The sovereignty layer adds five load-bearing values to
          <tt>candidate.authority_context</tt>: compute-context digest, jurisdiction-evidence
          digest, approvals digest, compute-provider ID, and compute jurisdiction.  The
          <tt>AuthorityPlane</tt> independently recomputes the expected values and refuses issuance
          if any field differs.  After capability issuance, modifying any of these fields changes
          the Candidate digest and is rejected by sink-side Candidate verification.
        </t>
        <t>
          Approvals need to bind to the intended Candidate, but the Candidate ultimately contains a
          digest of the approval set; hashing the final Candidate into each approval would therefore
          create a circular dependency.  The implementation resolves this with
          <tt>governance_subject_digest(candidate)</tt>, which hashes the Candidate while excluding
          only the reserved governance-binding fields that are populated later.  The sequence is:
          construct the ordinary Candidate; compute the governance-subject digest; bind approval(s)
          to that digest; authenticate approval(s) when strict mode is used; digest the final
          approval set; bind compute/evidence/approval digests into the Candidate; submit the fully
          bound Candidate to the Authority Plane; and issue the Finality Authority only if all
          bindings match.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Sovereignty Policy Surface and Test Parameters</name>
        <t>
          <tt>SovereigntyPolicy</tt> can validate: authority jurisdiction; policy epoch;
          compute-jurisdiction allowlist; compute-provider allowlist; required runtime-evidence
          digest; trusted jurisdiction-evidence issuers; allowed evidence types; minimum evidence
          count; minimum independent evidence-issuer count; requirement for an
          authority-jurisdiction assertion; allowed evidence trust classes; required approval
          roles; numerical approval threshold; maximum future clock skew; required payload fields;
          numeric payload ranges; and allowed payload values.  These are reference parameters, not
          national policy recommendations.
        </t>
        <t>
          The common sovereignty fixture permits compute-jurisdiction labels FOREIGN, US, EU, IN,
          REGION-X, and REGION-Y, and provider labels global-ai-provider, regional-ai-provider,
          foreign-medical-ai, satellite-ai-provider, and external-benefit-ai, with required
          runtime-evidence digest <tt>runtime-ok</tt>.  Five explicitly disallowed/unregistered
          compute-location labels are also exercised: BLOCKED-1, BLOCKED-2, UNREGISTERED, UNKNOWN,
          and SANCTIONED.  These labels are synthetic; they test state-machine separation and
          allowlisting, not real sanctions law or geography.
        </t>
        <t>
          A cross-border matrix crosses five authority jurisdictions (COUNTRY-A through COUNTRY-E)
          with the six permitted compute jurisdictions, producing 30 allowed cross-product tests.
          The expected property is not that all such real-world transfers are lawful; the tested
          property is that the architecture can represent compute jurisdiction not equal to
          authority jurisdiction without automatically transferring final effectuation authority to
          the Compute Plane.
        </t>
        <t>
          Each <tt>JurisdictionEvidence</tt> object contains an evidence ID, evidence type,
          asserted jurisdiction, issuer, subject, observation time, expiration time, trust-class
          label, value digest, key ID, and signature; it is intentionally an assertion container,
          not a claim of perfect location proof.  The default test bundle contains two
          independently named issuers (national-trust-service / gateway-attestation / trust class
          protected; and regulated-network / network-context / trust class network-derived), with
          default policy requiring at least 2 evidence items from at least 2 independent configured
          issuers, at least one assertion for the authority jurisdiction, an allowed evidence type
          and trust-class label, non-expired evidence, and observation no more than 1 second into
          the future.
        </t>
        <t>
          Negative variants explicitly reject issuer values unknown, self-asserted, untrusted-cloud,
          random-service, and attacker (testing configured issuer trust, not global truth), and
          evidence types ip-only, gnss-unsigned, user-claim, free-text, and dns-label (demonstrating
          that a deployment can refuse evidence classes not configured as sufficient, without
          implying those signals can never be useful elsewhere).  Expired-evidence and future-skew
          boundaries are tested at multiple nanosecond offsets around the default 1-second maximum
          future-clock skew.  Evidence counts of 0 and 1 fail the default minimum of 2; two evidence
          objects from the same issuer fail the independent-issuer requirement; and duplicate
          evidence IDs are separately rejected.
        </t>
        <t>
          <tt>PrincipalVerifierRegistry</tt> maps configured issuer identities to authenticators.
          In strict authenticated mode the Authority Plane verifies each evidence object's signature
          before semantic policy validation, using distinct deterministic HMAC-SHA256 keys per
          configured issuer.  An authenticated mutation suite signs an evidence object and then
          modifies, without re-signing, the asserted jurisdiction, subject, evidence-value digest,
          expiry, or trust class; each case must fail before Finality Authority issuance.  A
          successful signature check proves only that the configured key authenticated the
          serialized assertion -- it does not prove physical geography, legal jurisdiction, the
          accuracy of a cloud-region label, honest generation of a facility attestation, or that the
          issuer itself is uncompromised.  This is why the reference uses policy-defined evidence
          classes and issuer thresholds rather than treating a signature as "cryptographic
          geography."
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Multi-Party Approval and Governance Testing</name>
        <t>
          Each <tt>Approval</tt> contains an approver identity, approver role, Candidate
          governance-subject digest, policy epoch, approval time, expiry time, key ID, and
          signature.  The policy can independently require a threshold and specific roles.
        </t>
        <table>
          <name>Approval Threshold Matrix (threshold, available approvals, expected result)</name>
          <thead>
            <tr><th>Threshold</th><th>Available</th><th>Expected</th></tr>
          </thead>
          <tbody>
            <tr><td>0</td><td>0</td><td>allow</td></tr>
            <tr><td>1</td><td>0</td><td>deny</td></tr>
            <tr><td>1</td><td>1</td><td>allow</td></tr>
            <tr><td>2</td><td>0</td><td>deny</td></tr>
            <tr><td>2</td><td>1</td><td>deny</td></tr>
            <tr><td>2</td><td>2</td><td>allow</td></tr>
            <tr><td>3</td><td>2</td><td>deny</td></tr>
            <tr><td>3</td><td>3</td><td>allow</td></tr>
            <tr><td>4</td><td>3</td><td>deny</td></tr>
            <tr><td>4</td><td>4</td><td>allow</td></tr>
          </tbody>
        </table>
        <t>
          Required-role testing separately confirms that "any N signatures" is not treated as
          equivalent to "the required authorities signed" -- for example, requiring treasury and
          benefit-agency approval is denied if only treasury and auditor are present, even though a
          numeric threshold might otherwise be met.  A duplicate-approver attack constructs two
          approvals with the same approver ID but different roles; these do not count as two
          independent approvers, and the policy emits <tt>duplicate_approver</tt> and fails the
          threshold when two distinct principals are required.
        </t>
        <t>
          An approval semantic suite mutates approvals into a wrong Candidate digest, wrong policy
          epoch, expired approval, or an approval issued too far into the future; an authenticated
          suite additionally mutates signed approval fields without re-signing and expects signature
          failure before semantic acceptance.  Semantic and cryptographic tests are deliberately
          separated: if every negative object were corrupted at the signature layer, later semantic
          branches (wrong role, threshold, expiry) would never be executed, and code coverage would
          give a misleadingly shallow picture.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Protected Authority and Finality-Sink Sequencing</name>
        <t>
          After sovereignty-specific checks pass, the wrapper delegates to
          <tt>ProtectedAuthority</tt>.  The core sequence is: build the HCAD/descriptor; validate
          core Candidate policy; reserve nonce and advance protected state; construct Validation
          Evidence; sign Validation Evidence; commit Validation Evidence; construct the scoped
          capability; sign the capability; and return the capability.  Evidence is deliberately
          committed before capability availability.
        </t>
        <t>
          The normal sovereignty test stack constructs protected state with a default quota of
          1000, default budget of 1,000,000, and an authorization cost normally of 1 (the benchmark
          stack uses much larger quotas to avoid exhausting state during thousands of iterations).
          The state transition binds nonce, source, version change, quota change, budget change,
          policy epoch, and Candidate identity.
        </t>
        <t>
          The core Finality Authority binds: authority ID, Candidate digest, descriptor digest,
          sink, boundary, nonce, exact scope, policy epoch, validation-evidence ID, protected-state
          transition ID, issue time, expiry time, key ID, and signature.  The test stack uses a
          capability TTL of 5 seconds, clamped so the capability cannot outlive the Candidate's own
          freshness window.
        </t>
        <t>
          The Finality Sink independently verifies, among other conditions: that the Candidate
          remains <tt>NON_EFFECTIVE</tt>; that Candidate effect class, sink ID, and boundary ID
          match the sink-local identity; that Candidate and capability policy epoch, scope, and
          nonce match; that the capability is neither future-dated beyond allowed skew, expired, nor
          longer-lived than Candidate freshness; that the capability signature verifies (with strict
          Proof-of-Possession checks where enabled); that the Candidate digest is recomputed and
          matched; that the HCAD is rebuilt using sink-local sink and boundary identity and the
          descriptor digest is matched; that committed validation evidence is retrieved and its
          signature verifies with a matching ALLOW decision; that evidence and capability fields
          (authority, Candidate, descriptor, transition, epoch) all match; and that the
          protected-state transition verifies.  Only after this verification can the effectuation
          function claim the capability and invoke the guarded effect handle.
        </t>
        <t>
          The sink does not trust an upstream caller to define which sink or boundary is being
          used; it supplies its own sink ID and boundary ID when reconstructing the HCAD, which
          directly tests sink-substitution and boundary-substitution attempts.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Replay, Concurrency, and Context-Substitution Testing</name>
        <t>
          The reference uses a verify -&gt; consume/claim -&gt; effect ordering rather than verify
          -&gt; effect -&gt; consume.  The first ordering prevents a crash after an irreversible
          effect but before replay-state persistence from allowing the same capability to be used
          again; the trade-off is that a crash after consumption but before external effect can
          leave a "consumed / no effect" state.  The reference therefore provides at-most-once
          authorization consumption, not universal distributed exactly-once semantics.
        </t>
        <t>
          <tt>SQLiteConsumptionStore</tt> uses SQLite WAL mode, capability ID as a uniqueness key,
          <tt>BEGIN IMMEDIATE</tt> for the claim transaction, and a 30-second SQLite connection
          timeout, providing a concrete durable single-use example rather than only an in-memory
          boolean.  Concurrent-replay races are tested with 2, 3, 4, 8, 16, and 32 concurrent
          in-memory workers and 2, 4, 8, and 16 concurrent SQLite-durable workers, launched with
          Python <tt>ThreadPoolExecutor</tt> against the same capability.  The expected invariant is
          that exactly one call returns success, all remaining attempts are replay failures, and the
          guarded effector records exactly one effect.
        </t>
        <t>
          Before capability issuance, a context-substitution suite substitutes provider ID, compute
          jurisdiction, workload ID, model ID, runtime-evidence digest, session ID, evidence value,
          approval identity, and governance digest fields.  After capability issuance, it mutates
          bound Candidate authority-context fields and expects sink-side
          <tt>candidate_digest_mismatch</tt> or equivalent fail-closed behavior.
        </t>
        <t>
          Two separate application-level checks demonstrate the intended API seam:
          <tt>ComputePlane.effectuate()</tt> always denies, and the public
          <tt>GuardedEffector.direct_effect()</tt> path always denies.  The Finality Sink receives a
          bound effect handle and is the only modeled component permitted to call it.  This
          demonstrates the intended API seam; it does not establish process-, kernel-, hypervisor-,
          NIC-, DPU-, DMA-, or hardware-level non-bypassability.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Scenario Profiles</name>
        <t>
          Three deployment scenarios corresponding to the illustrative examples above are
          separately parameterized and tested.
        </t>
        <table>
          <name>Healthcare Scenario Parameters</name>
          <thead><tr><th>Parameter</th><th>Value</th></tr></thead>
          <tbody>
            <tr><td>Authority jurisdiction</td><td>COUNTRY-A</td></tr>
            <tr><td>Policy epoch</td><td>184</td></tr>
            <tr><td>Effect class</td><td>storage-write</td></tr>
            <tr><td>Destination</td><td>National-Hospital-EHR</td></tr>
            <tr><td>Purpose</td><td>Clinical-Treatment</td></tr>
            <tr><td>Scope</td><td>WRITE:/records</td></tr>
            <tr><td>Sink</td><td>Hospital-EHR-Finality-Sink</td></tr>
            <tr><td>Boundary</td><td>Hospital-EHR-Write-Boundary</td></tr>
            <tr><td>Candidate freshness</td><td>10 s</td></tr>
          </tbody>
        </table>
        <t>
          Required healthcare payload fields are patient_id, operation, diagnosis, clinician_id, and
          consent, with allowed reference operation append-diagnosis and allowed consent state
          present.  Missing-field tests independently remove each required field.  Rejected
          operation values include export-record, delete-record, advertising-export, bulk-download,
          share-external, and overwrite-record; rejected consent values include missing, revoked,
          unknown, false, and empty string.  Post-authorization mutations independently alter
          patient, diagnosis, clinician, operation, or consent, and the old capability must fail
          because the Candidate digest is no longer identical.  The test does not establish clinical
          correctness of the diagnosis.
        </t>
        <table>
          <name>Disaster-Response Scenario Parameters</name>
          <thead><tr><th>Parameter</th><th>Value</th></tr></thead>
          <tbody>
            <tr><td>Authority jurisdiction</td><td>COUNTRY-B</td></tr>
            <tr><td>Policy epoch</td><td>73</td></tr>
            <tr><td>Effect class</td><td>network-egress</td></tr>
            <tr><td>Destination</td><td>National-Telecom-Emergency-Gateway</td></tr>
            <tr><td>Purpose</td><td>Flood-Emergency-Warning</td></tr>
            <tr><td>Scope</td><td>SEND</td></tr>
            <tr><td>Sink</td><td>National-Alert-Finality-Sink</td></tr>
            <tr><td>Boundary</td><td>National-Alert-Dispatch-Boundary</td></tr>
            <tr><td>Candidate freshness</td><td>600 s</td></tr>
          </tbody>
        </table>
        <t>
          Allowed hazards are flood, cyclone, earthquake, and wildfire, with allowed severities
          severe and extreme and required message class public-warning, producing a happy-path
          cross-product of 8 combinations.  Rejected hazard categories include marketing,
          political-message, routine-notice, unknown, and empty string.  After authorization, the
          region is independently changed to Entire-Country, District-Z, District-A-B-C-D,
          Foreign-Region, and a wildcard, and the original authority must fail in each case; each
          required payload field is also independently removed.
        </t>
        <table>
          <name>Public-Benefit/Payment Scenario Parameters</name>
          <thead><tr><th>Parameter</th><th>Value</th></tr></thead>
          <tbody>
            <tr><td>Authority jurisdiction</td><td>COUNTRY-C</td></tr>
            <tr><td>Policy epoch</td><td>118</td></tr>
            <tr><td>Effect class</td><td>payment-ledger</td></tr>
            <tr><td>Destination</td><td>Domestic-Payment-Rail</td></tr>
            <tr><td>Purpose</td><td>Flood-Relief</td></tr>
            <tr><td>Scope</td><td>SETTLE</td></tr>
            <tr><td>Sink</td><td>Treasury-Payment-Finality-Sink</td></tr>
            <tr><td>Boundary</td><td>Treasury-Settlement-Boundary</td></tr>
            <tr><td>Candidate freshness</td><td>30 s</td></tr>
          </tbody>
        </table>
        <t>
          The reference payload uses recipient Applicant-472, amount 25,000 minor units, currency
          LCU, program National-Relief-2026, and purpose Flood-Relief.  The amount policy allows 1
          &lt;= amount_minor &lt;= 100,000; boundary and representative allowed values are 1, 2,
          100, 999, 1,000, 25,000, 50,000, 99,999, and 100,000, while rejected numeric values
          include -10, -1, 0, 100,001, 250,000, 1,000,000, and 2^31-1, and rejected wrong types
          include string, null, boolean, list, map, and float.  Float is rejected at
          canonicalization before ordinary payload-policy evaluation because floating-point values
          are forbidden in security-bound canonical material.
        </t>
        <t>
          After a valid capability has been issued for recipient Applicant-472, the recipient is
          independently changed to Applicant-999, Applicant-001, Treasury, Foreign-Account, and
          attacker, and the old capability must fail in each case.  Amount escalation after
          authorization is separately tested with 25,001, 30,000, 50,000, 100,000, and 250,000; some
          changed amounts remain independently policy-valid but still fail because a policy-valid
          new act is not the same act that was authorized.  Rejected currencies include USD, EUR,
          INR, BTC, and empty string; rejected program identifiers include General-Budget,
          Election-Fund, Unknown, National-Relief-2025, and empty string; each required payload
          field is independently removed and must fail.
        </t>
        <t>
          Fail-closed provider and runtime tests reject provider labels unknown-provider, attacker,
          unregistered, shadow-cloud, and empty string, and reject runtime-evidence digests bad,
          stale, revoked, unknown, and empty string; a separate test verifies that Candidate runtime
          evidence must match ComputeContext runtime evidence even when no particular digest value
          is globally required by policy.  A policy-epoch negative-value suite exercises 0, 1, 72,
          183, 185, and 2^31-1 against the healthcare reference epoch 184, testing both near-boundary
          and extreme integer mismatches.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Cross-Language Verification and Canonicalization</name>
        <t>
          The inherited portable cross-language canonicalization profile supports null, boolean,
          integers within +/-(2^53-1), Unicode scalar strings, arrays, and string-keyed maps; it
          rejects floating point, unsafe integers outside the portable range, non-string map keys,
          unpaired surrogate values, and NFC-normalization key collisions.  Strings and keys are
          normalized using Unicode NFC before cryptographic binding.
        </t>
        <t>
          The hardened core retains 20/20 positive interoperability vectors, 9/9 dedicated
          canonicalization-conformance cases, and a baseline full Finality-Sink vector plus a
          decomposed-Unicode full Finality-Sink vector, each independently verified by Node.js and
          Go rather than by calling Python.  However, the current sovereignty_ref object model and
          its evidence/approval wire representation are tested only in Python, so the repository
          does not yet claim multi-language protocol interoperability for sovereignty-specific
          objects.  For an IETF protocol realization, Candidate, ComputeContext, Evidence, Approval,
          Finality Authority, and Receipt should eventually have a normative representation and
          signature structure, for example using CBOR/CDDL/COSE or another explicitly specified
          encoding.
        </t>
        <t>
          The recorded runtimes use different Unicode data versions (Python 15.1.0; Node 16.0; Go
          runtime data 15.0.0; vendored Go x/text v0.16.0).  The included conformance repertoire
          behaves consistently, but the repository does not claim exhaustive equivalence for all
          future Unicode code points; a standards-track profile should pin normalization behavior or
          define one normative canonicalization profile.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Test Coverage and Results</name>
        <t>
          Clean collection contains 741 Python tests total: 260 sovereignty-specific tests and 481
          inherited execution-finality tests.  Running
          <tt>pytest --cov=src/finality_ref --cov=src/sovereignty_ref --cov-report=term-missing
          -q</tt> against 990 measured source statements recorded 0 missed statements (100%
          statement coverage) with all 741 tests passing.  Statement coverage means every measured
          Python statement executed; it is not proof of complete semantic state-space coverage or
          security completeness.
        </t>
        <table>
          <name>Sovereignty-Specific Test Distribution</name>
          <thead><tr><th>Module</th><th>Tests</th></tr></thead>
          <tbody>
            <tr><td>Authenticated governance inputs</td><td>13</td></tr>
            <tr><td>Compute Plane vs Authority Plane separation</td><td>13</td></tr>
            <tr><td>Governance-context substitution attacks</td><td>18</td></tr>
            <tr><td>Cross-border compute matrix</td><td>35</td></tr>
            <tr><td>Disaster-response example</td><td>23</td></tr>
            <tr><td>Fail-closed policy behavior</td><td>18</td></tr>
            <tr><td>Healthcare example</td><td>22</td></tr>
            <tr><td>Jurisdiction-evidence matrix</td><td>36</td></tr>
            <tr><td>Multi-party governance</td><td>21</td></tr>
            <tr><td>Public-benefit/payment example</td><td>48</td></tr>
            <tr><td>Replay and concurrency</td><td>10</td></tr>
            <tr><td>Helper/remaining defensive branches</td><td>3</td></tr>
            <tr><td>Total</td><td>260</td></tr>
          </tbody>
        </table>
      </section>

      <section numbered="true" toc="include">
        <name>Benchmark Methodology and Results</name>
        <t>
          The inherited benchmark uses <tt>time.perf_counter_ns()</tt> with 1,000 warm-up
          iterations and 3,000 measured iterations in the checked-in latest run, reporting mean,
          p50, p95, p99, minimum, and maximum for three measured paths: canonical SHA-256 binding;
          sink verification only; and protected authority + sink + guarded effectuation.  The
          benchmark records the environment inside the JSON result rather than assuming the
          repository-level environment file always describes the same host.
        </t>
        <table>
          <name>Latest Recorded Core Benchmark (user-space CPython)</name>
          <thead>
            <tr><th>Path</th><th>Mean</th><th>p50</th><th>p95</th><th>p99</th><th>Max</th></tr>
          </thead>
          <tbody>
            <tr><td>Canonical SHA-256</td><td>14.42 us</td><td>9.37 us</td><td>15.00 us</td><td>136.14 us</td><td>2.352 ms</td></tr>
            <tr><td>Sink verify only</td><td>348.33 us</td><td>247.30 us</td><td>846.53 us</td><td>2.252 ms</td><td>4.713 ms</td></tr>
            <tr><td>Core authority + sink + effect</td><td>1.724 ms</td><td>1.392 ms</td><td>3.190 ms</td><td>5.218 ms</td><td>11.345 ms</td></tr>
          </tbody>
        </table>
        <t>
          The benchmark's own embedded environment for this run reports CPython 3.13.5, Linux
          6.18.35 x86_64 / glibc 2.41, a visible CPU string of Intel Xeon Platinum 8573C, 5 visible
          logical CPUs (affinity 0-4), and approximately 6.24 GB visible memory.  A separate
          repository environment file was captured on a different container placement and reports a
          different CPU string; for latency interpretation, the environment embedded in the
          particular benchmark JSON is authoritative for that measurement.
        </t>
        <t>
          A dedicated sovereignty-layer benchmark measures the authenticated public-benefit/payment
          profile (authority jurisdiction COUNTRY-C; compute jurisdiction FOREIGN; provider
          global-ai-provider; policy epoch 118; 2 jurisdiction-evidence objects from 2 independent
          issuers; authenticated evidence enabled; 1 authenticated approval; approval threshold 1;
          required role policy-owner; Candidate freshness 30 s; capability TTL 5 s; future skew 1 s;
          HMAC-SHA256 reference authentication; in-memory consumption for the measured full path).
          The timed Authority-Plane path includes evidence and approval signature verification,
          sovereignty policy evaluation, governance-context binding verification, core Candidate
          policy validation, protected-state transition, validation-evidence creation/commitment,
          and capability creation/signing.  The timed full path additionally includes Finality-Sink
          verification, single-use in-memory claim, guarded payment-effector commit, and sink
          receipt construction/signing.  It excludes WAN round trips to a policy service, remote
          evidence collection, real TPM/TEE/GPU/RATS attestation acquisition, policy-bundle
          download, network-PKI certificate-path construction, issuer-side signing time, durable
          real payment-ledger commit, and production network/device I/O -- those belong to cold-path
          establishment or deployment-specific effect latency and must be measured separately.
        </t>
        <table>
          <name>Recorded Sovereignty Benchmark (1,000 warm-up / 3,000 measured iterations)</name>
          <thead>
            <tr><th>Path</th><th>Mean</th><th>p50</th><th>p95</th><th>p99</th><th>Max</th></tr>
          </thead>
          <tbody>
            <tr><td>Sovereignty policy validate only</td><td>304.60 us</td><td>268.89 us</td><td>398.63 us</td><td>857.17 us</td><td>3.787 ms</td></tr>
            <tr><td>Authenticated Authority Plane issue</td><td>1.380 ms</td><td>1.278 ms</td><td>1.773 ms</td><td>3.422 ms</td><td>7.333 ms</td></tr>
            <tr><td>Sink verify after sovereignty issuance</td><td>319.23 us</td><td>286.23 us</td><td>426.25 us</td><td>801.71 us</td><td>4.533 ms</td></tr>
            <tr><td>Authenticated Authority + sink + effect</td><td>2.208 ms</td><td>2.042 ms</td><td>2.764 ms</td><td>5.133 ms</td><td>19.013 ms</td></tr>
          </tbody>
        </table>
        <t>
          These are reference measurements, not certified production results.
        </t>
        <t>
          The repository retains engineering deployment targets: embedded control 100 us (MCU /
          secure element); accelerator hot path 500 us (GPU / DPU / SmartNIC); UPF egress 1 ms
          (UPF/N6 or SmartNIC); API gateway 2 ms (reverse proxy / service mesh); storage writer 5 ms
          (transactional write boundary); payment finality 10 ms (payment terminal / ledger
          bridge); cross-region governance 20 ms (regional egress gateway); and audit-heavy output
          50 ms (model-output emitter).  These are engineering stress targets, not standards
          requirements, vendor claims, or promises that the CPython implementation meets them.
        </t>
        <t>
          Comparing targets against the recorded run: the 100 us embedded target is not met by the
          Python sink path, which requires native/device-resident code; the 500 us accelerator
          target is met at p50 but not in the tail; the 1 ms UPF target is met at p50 but p99 and
          the full authority+sink path exceed it, requiring native/accelerated local verification;
          the 2 ms API-gateway target is met at p50 for the core full path but not reliably at
          p95/p99, and the authenticated sovereignty full p50 (~2.04 ms) does not demonstrate a
          dependable 2 ms budget; the 5 ms storage target's recorded p99 is slightly above 5 ms for
          both paths; and the 10 ms payment target's recorded p99 is below 10 ms but the observed
          maximum exceeds it and the benchmark excludes a real payment network/ledger commit, so it
          does not demonstrate a 10 ms end-to-end production guarantee.  The correct conclusion is
          that local verification cost can be small enough to be engineering-relevant, but target
          compliance must be measured on the actual enforcement hardware and effect system.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Cold Path, Hot Path, and Legacy Deployment Feasibility</name>
        <t>
          The architecture is not intended to put a remote sovereign-policy round trip into every
          packet or every model token.  Cold-path candidates that can often be amortized or
          pre-established include remote attestation acquisition, certificate-chain validation,
          policy retrieval and signature verification, trust-anchor establishment, key
          provisioning/rotation, registration of authority domains and Finality Sinks,
          synchronization of revocation state, negotiation of cryptographic algorithms,
          synchronization of policy epoch, registration of jurisdiction-evidence issuers, and
          creation of bounded protected local state.  Hot-path candidates immediately before
          effectuation include canonicalizing/reconstructing load-bearing Candidate attributes,
          calculating/verifying compact digests, verifying bounded authority/evidence binding,
          comparing sink/boundary/destination/purpose/jurisdiction/epoch/scope, checking local
          freshness/revocation/replay state, consuming/reserving the capability, and committing the
          effect.  Moving expensive trust establishment off the hot path is an optimization; moving
          the final act-to-effect binding away from the effectuation boundary would weaken the
          intended property.
        </t>
        <t>
          The architecture does not require every existing application to be rewritten before any
          useful deployment is possible.  A legacy system can participate when the protected
          consequence can be forced through a controllable gateway, writer, proxy, broker, or other
          mediation point.  The key question is not whether the legacy application was modified, but
          whether every path capable of producing the protected effect can be made to converge on
          the same enforcing boundary.
        </t>
        <t>
          Illustrative legacy-integration points include: a reverse proxy, egress gateway,
          service-mesh gateway, or privileged sidecar acting as the Finality Sink for HTTP/API
          calls; a privileged database writer or storage proxy owning the only credential capable of
          committing a protected write; a payment gateway, HSM-protected signing service, settlement
          adapter, or ledger bridge for payments (with the downstream transaction consuming or
          persisting the capability ID as an idempotency/transaction key where possible); an
          already-privileged telecom control/egress point such as a UPF/N6 boundary, policy
          enforcement gateway, SmartNIC/DPU adjacent to egress, radio-control gateway, or
          SMS/emergency-alert gateway; and, for AI/agent frameworks, a controlling tool gateway or
          resource-side sink interposed between generated tool calls and the existing API (agent -&gt;
          structured tool intent -&gt; finality gateway -&gt; existing API).  In each case, if the
          legacy process retains an unrestricted direct credential or a second path to the same
          consequence, the deployment remains bypassable.
        </t>
        <t>
          A descriptive (non-normative) legacy assurance classification distinguishes: L0 -- Observe
          (log/audit only, no pre-effect prevention); L1 -- Software gateway (reverse proxy, sidecar,
          DB proxy; useful binding/replay controls, but a privileged host may bypass); L2 --
          Host/hypervisor enforced (host firewall, hypervisor, protected service, isolated
          credentials; stronger path control); and L3 -- Hardware/I/O assisted (TEE/HSM, DPU/
          SmartNIC, IOMMU/device boundary, secure controller; stronger anti-bypass and key/state
          protection).  A legacy integration should be considered incomplete if the protected
          workload retains any alternate path to the same consequence -- for example a raw socket,
          direct DB/storage credential, alternate broker credential, unguarded admin API, secondary
          renderer/export path, DMA or peer-to-peer release path, debug channel, alternate payment
          signing key, alternate telecom gateway, or file/clipboard/IPC path.
        </t>
        <t>
          The Finality Sink need not necessarily rehash a multi-gigabyte object immediately before
          release if a protected storage or processing path already maintains a trustworthy content
          commitment; the Candidate can instead bind to an immutable object version, protected
          content digest, Merkle root, authenticated manifest, or protected storage identifier,
          provided the object presented at finality cannot be substituted after the commitment was
          authorized.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Cryptography Notes</name>
        <t>
          The dependency-free reference uses HMAC-SHA256 for deterministic tests and vectors for
          reproducibility and simple cross-language verification; this is not a recommendation to
          share symmetric secrets among countries, cloud providers, evidence issuers, approvers, and
          sinks.  Production deployments should normally use separated cryptographic roles and
          protected key storage, potentially including asymmetric signatures, HSM/TEE/device-backed
          keys, PKI or workload-identity trust chains, revocation, and rotation.
        </t>
        <t>
          The inherited core includes an optional Ed25519 adapter using the <tt>cryptography</tt>
          library, exercised with dedicated tests; this demonstrates algorithm abstraction but does
          not define a standards cryptographic suite.  A future protocol profile would need
          algorithm identifiers, key discovery, trust-chain rules, revocation, algorithm agility, and
          downgrade behavior.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Limitations</name>
        <t>
          The sovereignty layer binds and compares a runtime-evidence digest but does not parse a
          real TPM quote, EAT, RATS Evidence/Attestation Result, confidential-VM report, GPU
          attestation report, or cloud attestation document; such systems can supply upstream
          evidence, but their verification semantics are outside the current reference.  A valid
          signature authenticates an assertion; it does not establish the factual truth of physical
          location, legal status, patient state, disaster severity, benefit eligibility, or model
          correctness.
        </t>
        <t>
          Compute/authority separation does not stop a foreign Compute Plane from reading plaintext
          intentionally supplied to it; confidential computing, encryption, data minimization,
          privacy-enhancing technologies, protected key release, split processing, or other controls
          may be necessary.  The architecture does not create accelerators, models, data centers,
          electricity, connectivity, software support, or contractual access -- a country can remain
          dependent on an external provider for computation even while retaining independent
          effectuation authority.  The architecture cannot override foreign law, resolve conflicts of
          law, or compel an external provider to continue service.
        </t>
        <t>
          An AI system can generate an incorrect diagnosis, flood forecast, fraud score, or
          eligibility recommendation; execution finality governs whether a proposed consequence may
          become effective, not the correctness of the underlying recommendation.  The strongest
          deployment condition is complete mediation of the protected consequence -- if the same
          effect can be produced through a raw socket, direct database credential, DMA mapping,
          alternate renderer, secondary gateway, administrative API, debug port, alternate payment
          key, or other unmediated path, the real deployment does not satisfy the intended property
          for that effect.
        </t>
        <t>
          The Python protected state is a synchronized state machine, not hardware
          rollback-resistant storage; high-assurance deployment requires a durable and
          rollback-resistant state mechanism appropriate to the threat model.  The reference chooses
          at-most-once capability consumption before effectuation; exactly-once external semantics
          require co-design with the downstream transaction, ledger, idempotency, reservation,
          device, or database mechanism.
        </t>
        <t>
          The repository does not attempt to eliminate side channels, covert channels, timing
          leakage, cache leakage, RF leakage, power analysis, or all information flows available to
          a compromised privileged platform.  A completely compromised Authority Plane or Finality
          Sink is within the trusted-computing-base failure model -- the protocol cannot
          cryptographically force a fully compromised component to execute its own verification code
          honestly; mitigations can include smaller TCBs, attestation, isolated keys, multi-party
          approval, independent receipts, hardware enforcement, and operational separation.
        </t>
        <t>
          All reported latency values are user-space reference measurements; they are not certified
          performance for national infrastructure, hospitals, payment rails, GPUs, DPUs, SmartNICs,
          UPFs, TEEs, or production cloud deployments.  Target hardware and effect systems require
          independent benchmarks under realistic load.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Falsifiability Criterion</name>
        <t>
          A claimed deployment should be considered incomplete if: the protected effect can occur
          without finality verification; a different Candidate can reuse authority for the original
          Candidate; sink identity is supplied entirely by the untrusted caller; evidence/approval
          substitution is accepted without rebinding; replay creates more than one effect; fail-open
          behavior permits effect when required evidence is unavailable; or an alternate consequence
          path bypasses the enforcing boundary.  The repository is intended to make those claims
          testable rather than rhetorical.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Reproduction Commands</name>
        <t>
          The following commands reproduce the tests, coverage, and benchmarks described above:
        </t>
        <artwork name="" type="" align="left">
# Run all Python tests
pytest -q

# Run sovereignty-specific tests
pytest tests/sovereignty -q

# Run combined statement coverage
pytest --cov=src/finality_ref --cov=src/sovereignty_ref \
  --cov-report=term-missing -q

# Run all inherited Python/Node/Go verification
./scripts/run_all.sh

# Run the dedicated sovereignty verification wrapper
./scripts/run_sovereignty_checks.sh

# Run the core benchmark
python3 scripts/benchmark.py --iterations 3000 \
  --output benchmarks/latest.json

# Run the sovereignty-layer benchmark
python3 scripts/benchmark_sovereignty.py \
  --iterations 3000 \
  --warmup 1000 \
  --output benchmarks/sovereignty-python-local.json
        </artwork>
      </section>

      <section numbered="true" toc="include">
        <name>Correct Interpretation</name>
        <t>
          The defensible conclusion from this implementation is that the Compute Plane and Authority
          Plane can be represented as separate executable roles; that compute context, evidence,
          approvals, Candidate identity, protected state, scoped authority, sink identity, replay
          state, and consequence boundary can be made load-bearing in a fail-closed reference flow;
          and that the modeled separation survives the included policy variations, signature
          mutations, Candidate substitutions, cross-border matrices, replay races, and sink-side
          verification tests.
        </t>
        <t>
          The repository does not prove that every national, cloud, telecom, payment, medical, or AI
          deployment automatically obtains those properties.  Real assurance depends on evidence
          quality, key management, privileged enforcement, anti-bypass closure, protected state,
          downstream transaction semantics, and the actual deployment topology.
        </t>
      </section>

      <section numbered="true" toc="include">
        <name>Related Implementations and Resources</name>
        <t>
          The following resources are related to this document and to the reference implementation
          described in this appendix.  They are provided for cross-reference and are non-normative.
        </t>
        <ul spacing="normal">
          <li>
            Primary reference implementation repository (this appendix):
            <eref target="https://github.com/sangmdas/Digital-Sovereignty-Without-Data-Localisation-Compute-Plane-Authority-Plane-Execution-Finality/">https://github.com/sangmdas/Digital-Sovereignty-Without-Data-Localisation-Compute-Plane-Authority-Plane-Execution-Finality/</eref>
          </li>
          <li>
            Primary reference implementation, versioned release v0.1.0:
            <eref target="https://github.com/sangmdas/Digital-Sovereignty-Without-Data-Localisation-Compute-Plane-Authority-Plane-Execution-Finality/releases/tag/v0.1.0">https://github.com/sangmdas/Digital-Sovereignty-Without-Data-Localisation-Compute-Plane-Authority-Plane-Execution-Finality/releases/tag/v0.1.0</eref>
          </li>
          <li>
            Privacy Finality Reference -- public runnable reference implementation of Candidate-Act-
            based execution-finality enforcement:
            <eref target="https://github.com/sangmdas/privacy-finality-reference">https://github.com/sangmdas/privacy-finality-reference</eref>
          </li>
          <li>
            Privacy Finality Reference, versioned release v0.1.0:
            <eref target="https://github.com/sangmdas/privacy-finality-reference/releases/tag/v0.1.0">https://github.com/sangmdas/privacy-finality-reference/releases/tag/v0.1.0</eref>
          </li>
          <li>
            "Protecting Europe: A Technical Foundation for Digital Sovereignty, Data Protection, and
            AI Governance" -- Apply AI Alliance, European Commission Futurium:
            <eref target="https://futurium.ec.europa.eu/en/apply-ai-alliance/community-content/protecting-europe-technical-foundation-digital-sovereignty-data-protection-and-ai-governance">https://futurium.ec.europa.eu/en/apply-ai-alliance/community-content/protecting-europe-technical-foundation-digital-sovereignty-data-protection-and-ai-governance</eref>
          </li>
          <li>
            WO 2026/150382 -- Hardware-Rooted Execution-Finality System for Sovereign Artificial
            Intelligence Infrastructure, AI-Native Telecommunications and Satellites -- WIPO
            PatentScope:
            <eref target="https://patentscope2.wipo.int/search/en/WO2026150382">https://patentscope2.wipo.int/search/en/WO2026150382</eref>
          </li>
        </ul>
        <t>
          See <xref target="appendix-related-drafts"/> for a list of related Internet-Drafts by the
          same author.
        </t>
      </section>

      <section anchor="appendix-related-drafts" numbered="true" toc="include">
        <name>Related Internet-Drafts by the Same Author</name>
        <t>
          This document is part of a broader series of Internet-Drafts by the same author on
          execution-finality architecture across AI, telecommunications, satellite, payment,
          privacy, and related domains.  The related drafts are listed below for cross-reference,
          non-normatively, with full URLs.  Draft content, status, and version numbers change over
          time; the datatracker URL always resolves to the current version.
        </t>
        <ul spacing="normal">
          <li>draft-das-purpose-execution-finality: <eref target="https://datatracker.ietf.org/doc/draft-das-purpose-execution-finality/">https://datatracker.ietf.org/doc/draft-das-purpose-execution-finality/</eref></li>
          <li>draft-das-hardware-enforced-execution-finality: <eref target="https://datatracker.ietf.org/doc/draft-das-hardware-enforced-execution-finality/">https://datatracker.ietf.org/doc/draft-das-hardware-enforced-execution-finality/</eref></li>
          <li>draft-das-protocols-candidate-act-finality: <eref target="https://datatracker.ietf.org/doc/draft-das-protocols-candidate-act-finality/">https://datatracker.ietf.org/doc/draft-das-protocols-candidate-act-finality/</eref></li>
          <li>draft-das-ntn-rf-execution-finality: <eref target="https://datatracker.ietf.org/doc/draft-das-ntn-rf-execution-finality/">https://datatracker.ietf.org/doc/draft-das-ntn-rf-execution-finality/</eref></li>
          <li>draft-das-payment-execution-finality: <eref target="https://datatracker.ietf.org/doc/draft-das-payment-execution-finality/">https://datatracker.ietf.org/doc/draft-das-payment-execution-finality/</eref></li>
          <li>draft-das-precision-bounded-egress: <eref target="https://datatracker.ietf.org/doc/draft-das-precision-bounded-egress/">https://datatracker.ietf.org/doc/draft-das-precision-bounded-egress/</eref></li>
          <li>draft-das-ai-native-6g-execution-finality: <eref target="https://datatracker.ietf.org/doc/draft-das-ai-native-6g-execution-finality/">https://datatracker.ietf.org/doc/draft-das-ai-native-6g-execution-finality/</eref></li>
          <li>draft-das-6g-query-scoped-communication-handles: <eref target="https://datatracker.ietf.org/doc/draft-das-6g-query-scoped-communication-handles/">https://datatracker.ietf.org/doc/draft-das-6g-query-scoped-communication-handles/</eref></li>
          <li>draft-das-map-discovery-communication-finality: <eref target="https://datatracker.ietf.org/doc/draft-das-map-discovery-communication-finality/">https://datatracker.ietf.org/doc/draft-das-map-discovery-communication-finality/</eref></li>
          <li>draft-das-rats-attestation-bnd-execution-finality: <eref target="https://datatracker.ietf.org/doc/draft-das-rats-attestation-bnd-execution-finality/">https://datatracker.ietf.org/doc/draft-das-rats-attestation-bnd-execution-finality/</eref></li>
          <li>draft-das-child-safe-rendering-finality: <eref target="https://datatracker.ietf.org/doc/draft-das-child-safe-rendering-finality/">https://datatracker.ietf.org/doc/draft-das-child-safe-rendering-finality/</eref></li>
          <li>draft-das-rats-openai-anthropic-extraction: <eref target="https://datatracker.ietf.org/doc/draft-das-rats-openai-anthropic-extraction/">https://datatracker.ietf.org/doc/draft-das-rats-openai-anthropic-extraction/</eref></li>
          <li>draft-das-protocols-enterprise-ai: <eref target="https://datatracker.ietf.org/doc/draft-das-protocols-enterprise-ai/">https://datatracker.ietf.org/doc/draft-das-protocols-enterprise-ai/</eref></li>
          <li>draft-das-rats-frontier-model-extraction: <eref target="https://datatracker.ietf.org/doc/draft-das-rats-frontier-model-extraction/">https://datatracker.ietf.org/doc/draft-das-rats-frontier-model-extraction/</eref></li>
          <li>draft-das-enterprise-ai-output-finality: <eref target="https://datatracker.ietf.org/doc/draft-das-enterprise-ai-output-finality/">https://datatracker.ietf.org/doc/draft-das-enterprise-ai-output-finality/</eref></li>
          <li>draft-das-execution-finality-ai-interoperability: <eref target="https://datatracker.ietf.org/doc/draft-das-execution-finality-ai-interoperability/">https://datatracker.ietf.org/doc/draft-das-execution-finality-ai-interoperability/</eref></li>
          <li>draft-das-agentic-tool-binding: <eref target="https://datatracker.ietf.org/doc/draft-das-agentic-tool-binding/">https://datatracker.ietf.org/doc/draft-das-agentic-tool-binding/</eref></li>
          <li>draft-das-execution-finality-protocol-layer: <eref target="https://datatracker.ietf.org/doc/draft-das-execution-finality-protocol-layer/">https://datatracker.ietf.org/doc/draft-das-execution-finality-protocol-layer/</eref></li>
          <li>draft-das-eu-ai-act-execution-enforcement: <eref target="https://datatracker.ietf.org/doc/draft-das-eu-ai-act-execution-enforcement/">https://datatracker.ietf.org/doc/draft-das-eu-ai-act-execution-enforcement/</eref></li>
          <li>draft-das-global-privacy-execution-enforcement: <eref target="https://datatracker.ietf.org/doc/draft-das-global-privacy-execution-enforcement/">https://datatracker.ietf.org/doc/draft-das-global-privacy-execution-enforcement/</eref></li>
          <li>draft-das-digital-sovereignty-finality (this document): <eref target="https://datatracker.ietf.org/doc/draft-das-digital-sovereignty-finality/">https://datatracker.ietf.org/doc/draft-das-digital-sovereignty-finality/</eref></li>
          <li>draft-das-agentic-execution-finality: <eref target="https://datatracker.ietf.org/doc/draft-das-agentic-execution-finality/">https://datatracker.ietf.org/doc/draft-das-agentic-execution-finality/</eref></li>
          <li>draft-das-ot-actuation-finality: <eref target="https://datatracker.ietf.org/doc/draft-das-ot-actuation-finality/">https://datatracker.ietf.org/doc/draft-das-ot-actuation-finality/</eref></li>
          <li>draft-agentic-ai-tool-execution-finality: <eref target="https://datatracker.ietf.org/doc/draft-agentic-ai-tool-execution-finality/">https://datatracker.ietf.org/doc/draft-agentic-ai-tool-execution-finality/</eref></li>
        </ul>
      </section>

    </section>

    <section numbered="false" toc="include">
      <name>Acknowledgements</name>
      <t>
        Technical review and discussion from the Internet engineering, security, privacy, cloud,
        telecommunications, distributed-systems, and AI-safety communities are welcomed.
      </t>
    </section>
  </back>

</rfc>
