<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rfc SYSTEM "rfc2629-xhtml.ent">
<?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>

<rfc
    xmlns:xi="http://www.w3.org/2001/XInclude"
    category="info"
    docName="draft-das-protocols-candidate-act-finality-01"
    ipr="trust200902"
    submissionType="independent"
    xml:lang="en"
    version="3"
    tocInclude="true"
    tocDepth="4"
    sortRefs="true"
    symRefs="true">

  <front>
    <title abbrev="DAS Protocols AI Finality">
      Stopping AI Hallucinations and Unsafe Acts from Becoming Real-World
      Consequences (DAS Protocols)
    </title>

    <seriesInfo name="Internet-Draft" value="draft-das-protocols-candidate-act-finality-01"/>
    <seriesInfo name="Independent Submission" value=""/>

    <author fullname="Sangam Das" initials="S." surname="Das">
      <organization>Independent</organization>
      <address>
        <postal>
          <street>Balasore</street>
          <region>Odisha</region>
          <country>India</country>
        </postal>
        <email>info@sangamdas.com</email>
      </address>
    </author>

    <date year="2026" month="September" day="9"/>
    <area>Security</area>
    <workgroup>Independent Submission</workgroup>
    <keyword>AI governance</keyword>
    <keyword>candidate-act finality</keyword>
    <keyword>hallucination prevention</keyword>
    <keyword>execution-consequence boundary</keyword>
    <keyword>finality sink</keyword>
    <keyword>non-completability</keyword>
    <keyword>DAS Protocols</keyword>
    <keyword>agentic AI safety</keyword>
    <keyword>Anthropic</keyword>
    <keyword>Claude</keyword>
    <keyword>Anthropic tool_use</keyword>
    <keyword>computer_use</keyword>
    <keyword>Model Context Protocol (MCP)</keyword>
    <keyword>frontier model safety</keyword>
    <keyword>Anthropic Responsible Scaling Policy</keyword>
    <keyword>OpenAI</keyword>
    <keyword>ChatGPT</keyword>
    <keyword>OpenAI function calling</keyword>
    <keyword>OpenAI Assistants API</keyword>
    <keyword>OpenAI Responses API</keyword>
    <keyword>GPT agentic tool calling</keyword>
    <keyword>OpenAI Preparedness Framework</keyword>

    <abstract>
      <t>
        The internet has protocols for moving data, securing channels, naming hosts,
        and delegating identity. It has no protocol for the moment a machine-generated
        instruction becomes a real-world act. As AI systems begin to move money,
        change databases, reconfigure networks, send communications, and control
        physical systems, that missing boundary becomes a structural risk.
      </t>
      <t>
        Today an AI can hallucinate a fact, cite a stale source, invent a tool argument,
        or propose an unsafe agentic step — and still reach an effectuation interface.
        Model approval is not output approval. Workflow approval is not consequence
        approval. Moderation, access control, TEEs, simulation, and post-hoc audit all
        leave the final transition from computation to consequence under-protected.
      </t>
      <t>
        This document specifies the DAS Protocols Candidate-Act Finality architecture.
        Every effect-capable AI output is first converted into a non-effective Candidate
        Act. The Candidate Act stays non-effective until a Protected Enforcement Domain
        has validated output, provenance, factual support, consequence, jurisdiction,
        epoch, and sink predicates. Only then is a scoped non-bearer capability or
        Execution Handle released and verified at a Finality Sink. In advanced forms
        the Finality Sink is cryptographically unable to complete the act unless the
        handle supplies the missing execution material.
      </t>
      <t>
        The architecture supports graduated and escalated conditional finality so that
        elevated-risk but necessary acts can still proceed under stricter controls.
        The document elaborates the problem space, compares the approach with
        representative existing techniques, describes the base and advanced finality
        paths, and provides JSON Schema definitions for the core protected objects.
        Related Indian provisional applications and PCT filings are listed in the
        final appendix.
      </t>
    </abstract>
  </front>

  <middle>
    <section anchor="intro" numbered="true">
      <name>Introduction</name>

      <section anchor="missing-layer" numbered="true">
        <name>The Missing Protocol Layer of the Internet</name>
        <t>
          The internet was built with protocols governing how data moves — TCP/IP for
          transmission, TLS for confidentiality, DNS for naming, OAuth for delegated
          identity. Each protocol solved a specific boundary problem. What no existing
          protocol addresses is the boundary at which a computational output becomes an
          externally effective act.
        </t>
        <t>
          As artificial-intelligence systems assume increasing operational authority —
          executing payments, mutating databases, controlling infrastructure, issuing
          communications, managing supply chains, and directing physical systems —
          the absence of a finality protocol at the computation-to-consequence boundary
          becomes a structural gap in internet architecture. Existing protocols govern
          the transmission of instructions; none governs whether a computationally
          generated instruction has satisfied the machine-verifiable predicates required
          to become a consequence.
        </t>
        <t>
          The disclosed architecture addresses this gap by introducing a protected
          finality layer positioned at the output-to-consequence boundary — a protocol-
          level enforcement mechanism that does for artificial-intelligence-generated
          acts what TLS did for data in transit and what OAuth did for delegated access:
          it converts an uncontrolled technical boundary into a machine-verifiable,
          cryptographically enforced, and sink-verified governance checkpoint through
          which no artificial-intelligence-generated output may pass into external
          consequence without satisfying the required finality predicates.
        </t>
      </section>

      <section anchor="scope" numbered="true">
        <name>Scope and Relationship to the Broader DAS Protocols Family</name>
        <t>
          This document describes a focused embodiment of the broader DAS Protocols
          execution-finality architecture. It is technically related to the body of work
          disclosed across multiple Indian provisional applications and PCT international
          applications, including the Mothership application PCT/IB2026/055615. Full
          identification of related filings appears in Appendix A.
        </t>
      </section>
    </section>

    <section anchor="problem" numbered="true">
      <name>Problem Space</name>

      <section anchor="tech-field" numbered="true">
        <name>Technical Field</name>
        <t>
          This disclosure relates to artificial-intelligence governance, hallucination-
          resistant artificial-intelligence control, autonomous-agent execution control,
          protected execution finality, machine-verifiable compliance, cryptographic
          capability release, hardware-rooted execution control, secure distributed
          computing, trusted enforcement domains, and technical systems for controlling
          the boundary at which computational outputs become externally effective acts.
        </t>
        <t>
          More particularly, this disclosure relates to systems and methods in which an
          artificial-intelligence-generated output is treated as a non-effective Candidate
          Act and is prevented from becoming an external consequence unless a protected
          finality pipeline validates output-level, provenance-level, factual-support-level,
          consequence-level, jurisdiction-level, epoch-level, and sink-level predicates.
          Advanced embodiments further provide non-completability in which a Finality Sink
          is technically unable to complete a Candidate Act unless a protected Execution
          Handle or other sink-bound capability enables completion.
        </t>
      </section>

      <section anchor="background" numbered="true">
        <name>Background and Core Technical Problems</name>
        <t>
          Artificial-intelligence systems increasingly generate outputs that are not
          merely informational. Modern systems — autonomous agents, enterprise copilots,
          orchestration systems, cloud-management systems, software-development agents,
          database agents, financial agents, telecom controllers, robotic systems, and
          decision-support systems — may produce outputs that trigger tool calls, payments,
          data exports, database commits, memory writes, model updates, communications,
          software deployments, network-configuration changes, settlement events, legal
          commitments, physical commands, or other externally effective acts.
        </t>
        <t>
          Existing artificial-intelligence governance approaches commonly focus on model
          training, alignment, prompt filtering, output moderation, identity checks, access
          control, policy review, ordinary human approval, logging, monitoring, or post-hoc
          audit. These approaches may reduce risk, but they do not reliably control the
          precise technical boundary at which an artificial-intelligence-generated output
          becomes an external consequence.
        </t>
        <t>
          A specific technical problem arises because an artificial-intelligence model may
          be approved, a workflow may be approved, a prompt policy may be approved, a tool
          policy may be approved, and observed runtime behavior may remain within an
          expected envelope, yet the specific generated output may still be incorrect,
          unsupported, stale, unsafe, confidential, technically undesired, jurisdictionally
          improper, or otherwise unsuitable for effectuation.
        </t>
        <t>
          Thus: approval of the model is not approval of the output. Approval of the
          workflow is not approval of the consequence. Approval of runtime behavior is not
          approval of the specific act becoming externally effective.
        </t>
        <t>
          Additional problems include:
        </t>
        <ul>
          <li><t>bypass or separation of moderation/policy layers from the actual effectuation interface;</t></li>
          <li><t>state drift and time-of-check-to-time-of-use risk between validation and execution;</t></li>
          <li><t>binary allow-or-deny outcomes that are impractical for elevated-risk but necessary acts;</t></li>
          <li><t>software-only enforcement that can be bypassed by alternate paths to effectuation.</t></li>
        </ul>
        <t>
          The technical problem is therefore not merely whether an artificial-intelligence
          system was allowed to generate an output. The technical problem is whether the
          generated output should be permitted to cross the machine boundary from
          computation into consequence, under current protected state conditions, and under
          what scope, safeguards, and sink-verifiable authority.
        </t>
      </section>
    </section>

    <section anchor="differences" numbered="true">
      <name>Differences from Existing and Prior Technical Approaches</name>

      <section anchor="diff-moderation" numbered="true">
        <name>Difference from AI Moderation and Output Filtering</name>
        <t>
          Existing safety systems often focus on prompt filtering, response moderation,
          toxicity classification, refusal policies, output scoring, content filtering, or
          guardrail models. Such systems may classify or suppress certain generated content,
          but they do not necessarily control the final machine boundary where an AI-
          generated output becomes an external consequence.
        </t>
        <t>
          The disclosed architecture converts the AI-generated output into a Candidate Act
          and holds it in a non-effective state. The Candidate Act cannot become externally
          effective merely because a moderation layer permitted the text or a model
          generated the output. It must satisfy protected finality predicates before a
          scoped non-bearer capability or Execution Handle is released and verified by the
          Finality Sink. The invention does not merely moderate output; it governs whether
          the output may become consequence.
        </t>
      </section>

      <section anchor="diff-access" numbered="true">
        <name>Difference from Identity, Access-Control, and API Authorization</name>
        <t>
          Identity and access-control systems answer the question: “Who or what is allowed
          to request an operation?” The disclosed architecture answers a different
          technical question: “Whether this specific AI-generated Candidate Act may become
          this specific external consequence at this specific Finality Sink under current
          protected state conditions.”
        </t>
        <t>
          A user, model, service, or agent may be authenticated and authorized, yet the
          specific Candidate Act may still be blocked if it lacks factual support, exceeds
          the Result-Consequence Acceptance Envelope, relies on stale provenance, conflicts
          with jurisdiction, fails consequence simulation, uses a stale policy or revocation
          epoch, or is not accepted by the Finality Sink. Identity or access authority is
          not treated as execution authority.
        </t>
      </section>

      <section anchor="diff-bearer" numbered="true">
        <name>Difference from Ordinary Bearer Tokens and Permission Tokens</name>
        <t>
          Ordinary permission or bearer tokens may permit access when presented by a holder
          and may be misused if copied, stolen, forwarded, or replayed. The disclosed scoped
          non-bearer finality capability is different: possession of the capability data
          alone is insufficient to cause effectuation. The capability may be bound to the
          Candidate Act hash, Finality Sink identity, permitted recipient, purpose,
          jurisdiction, data class, consequence type, nonce, expiration, policy epoch,
          revocation epoch, Result-Consequence Acceptance Envelope, validation receipt, and
          sink verification context. In advanced embodiments the Execution Handle may also
          supply or activate missing execution material required by the Finality Sink.
        </t>
      </section>

      <section anchor="diff-policy" numbered="true">
        <name>Difference from Policy Engines and Gatekeeper Systems</name>
        <t>
          Policy engines may return allow-or-deny decisions that remain separated from the
          actual effectuation interface. If downstream software can still execute the act,
          the policy decision may be bypassed, ignored, or stale. The disclosed architecture
          requires the finality requirement to follow the Candidate Act to the Finality Sink.
          In advanced non-completability embodiments the sink is technically unable to
          complete the Candidate Act unless protected finality validation releases the
          missing execution material. The invention is therefore a sink-bound finality-
          control system, not merely a policy decision system.
        </t>
      </section>

      <section anchor="diff-tee" numbered="true">
        <name>Difference from Confidential Computing or Trusted Execution Alone</name>
        <t>
          Trusted execution environments may protect computation, secrets, or data in use.
          The disclosed architecture may use such components, but the invention is not
          merely the use of a trusted environment. The protected domain is used to enforce
          a specific output-to-consequence finality sequence: validate the Candidate Act,
          bind evidence, evaluate consequence, record validation evidence, release a scoped
          capability or Execution Handle, and prevent effectuation unless the Finality Sink
          verifies the required authority.
        </t>
      </section>

      <section anchor="diff-audit" numbered="true">
        <name>Difference from Logging, Monitoring, and Post-Hoc Audit</name>
        <t>
          Logging and audit systems record what happened after an action occurred. They do
          not necessarily prevent an improper act from becoming externally effective. In
          the disclosed architecture the Candidate Act remains non-effective before
          effectuation. Validation occurs before or atomically with capability release. The
          validation receipt participates in the protected finality transaction that binds
          validation evidence to release authority.
        </t>
      </section>

      <section anchor="diff-human" numbered="true">
        <name>Difference from Ordinary Human Approval</name>
        <t>
          Ordinary human approval (click, email, chat, workflow prompt) may be stale,
          replayed, spoofed, unbound to the actual consequence, or separated from the
          Finality Sink. The disclosed architecture may require a Protected Human Approval
          Finality Token bound to the Candidate Act, output content, predicted consequence,
          approving role, authenticated user presence, approval time, policy epoch,
          revocation epoch, and Finality Sink identity. Human approval is converted into a
          protected, act-specific finality predicate.
        </t>
      </section>

      <section anchor="diff-sim" numbered="true">
        <name>Difference from Simulation or Digital-Twin Systems Alone</name>
        <t>
          Simulation systems may estimate the effect of a proposed action but remain
          advisory. The disclosed architecture uses consequence simulation as a pre-
          effectuation predicate. The simulation result may be bound to the Candidate Act,
          Result-Consequence Acceptance Envelope, validation receipt, scoped capability,
          Execution Handle, and Finality Sink verification context. Simulation becomes part
          of a machine-verifiable finality condition for effectuation.
        </t>
      </section>

      <section anchor="diff-binary" numbered="true">
        <name>Difference from Binary Allow-or-Deny Systems</name>
        <t>
          Binary allow-or-deny structures are often impractical for elevated-risk but
          necessary acts. The disclosed architecture supports graduated finality: a
          Candidate Act may be allowed, denied, quarantined, routed for review, redacted,
          delayed, sandboxed, reduced in scope, made reversible, executed as a canary, or
          classified as escalated but still allowable. In Escalated Conditional Finality
          Mode additional controls (protected human approval, multi-party approval, shortened
          expiration, reduced value, stricter scope, enhanced monitoring) may be applied
          while the Candidate Act remains non-effective until those controls succeed.
        </t>
      </section>

      <section anchor="diff-toc-tou" numbered="true">
        <name>Difference from Validate-Once-Execute-Later Systems</name>
        <t>
          Systems that validate at one time and execute later are exposed to state drift.
          The disclosed architecture requires current-state finality. In some embodiments
          validation, consequence simulation, policy-epoch and revocation-epoch verification,
          sink attestation, nonce generation, monotonic counter advancement, validation-
          receipt generation, and capability or Execution Handle release occur within a
          protected atomic transaction. The Finality Sink accepts the capability only if
          current state remains cryptographically congruent with the state bound during
          validation. Historical approval is insufficient for current effectuation.
        </t>
      </section>

      <section anchor="diff-summary" numbered="true">
        <name>Summary of Differences</name>
        <t>
          Existing systems may authorize, moderate, simulate, or audit. The disclosed
          architecture prevents an artificial-intelligence-generated Candidate Act from
          becoming consequence unless protected finality succeeds at the sink boundary.
        </t>
        <t>
          Core sequence (base path):
        </t>
        <artwork type="ascii-art"><![CDATA[
AI Output → Candidate Act → Non-Effective State
   → Hash-Linked Candidate Act Descriptor (HCAD)
   → Algorithmic Logic Fingerprint (ALF) Validation
   → Runtime Behavioral Descriptor (RBD) Matching
   → Output Provenance Capsule (OPC) Validation
   → Factual Claim Unit (FCU) Verification
   → Result-Consequence Acceptance Envelope (RCAE)
   → Consequence Simulation
   → Graduated / Escalated Finality Decision
   → Scoped Non-Bearer Capability or Execution Handle Release
   → Finality Sink Verification
   → Effectuation or Denial
]]></artwork>
      </section>
    </section>

    <section anchor="solution" numbered="true">
      <name>Summary of the Invention</name>
      <t>
        The disclosed invention provides a hallucination-resistant output-to-consequence
        finality architecture for artificial-intelligence-generated acts. The core rule is:
      </t>
      <t>
        <strong>An artificial-intelligence-generated output is not authority to act.</strong>
      </t>
      <t>
        The output is converted into a Candidate Act and placed in a non-effective state.
        The Candidate Act remains non-effective until a Protected Enforcement Domain
        validates required finality predicates and the applicable Finality Sink verifies a
        scoped capability or Execution Handle.
      </t>
      <t>
        The invention includes a base inventive path, a graduated/escalated conditional
        finality path, and an advanced cryptographic execution-dependency non-completability
        path.
      </t>

      <section anchor="base-path" numbered="true">
        <name>Base Output-to-Consequence Finality Path</name>
        <t>
          Every effect-capable AI-generated output is treated as a Candidate Act
          (message, recommendation, command, tool call, data disclosure, payment
          instruction, network-configuration change, database mutation, memory write,
          model update, physical actuation, settlement, or other effect-capable operation).
          The Candidate Act is held in a non-effective state.
        </t>
        <t>
          Key steps include:
        </t>
        <ol>
          <li><t><strong>Candidate Act Formation</strong> — convert the AI output into a structured Candidate Act and place it in a non-effective state.</t></li>
          <li><t><strong>HCAD Generation</strong> — generate a Hash-Linked Candidate Act Descriptor binding the act to output hash, originating system, ALF/RBD/OPC identifiers, policy/revocation epochs, Finality Sink identity, recipient, purpose, jurisdiction, risk class, timestamp, and nonce.</t></li>
          <li><t><strong>ALF Validation</strong> — confirm that the Candidate Act was generated under an approved computational logic configuration (process-integrity predicate, not final authority to act).</t></li>
          <li><t><strong>RBD Matching</strong> — compare observed runtime behavior with the ALF-bound approved behavioral envelope.</t></li>
          <li><t><strong>OPC Validation</strong> — validate the Output Provenance Capsule for sources, retrieval records, tool outputs, timestamps, confidence indicators, limitation flags, and permitted-use constraints.</t></li>
          <li><t><strong>FCU Verification</strong> — for hallucination-sensitive outputs, extract and verify Factual Claim Units against permitted evidence, freshness, confidence, and scope.</t></li>
          <li><t><strong>RCAE Generation</strong> — generate or retrieve a Result-Consequence Acceptance Envelope defining the permitted consequence boundary.</t></li>
          <li><t><strong>Consequence Simulation</strong> — determine what the Candidate Act would cause if effectuated by the applicable Finality Sink; bind the simulation result to the protected finality state.</t></li>
          <li><t><strong>Graduated / Escalated Finality Decision</strong> — allow, deny, quarantine, redact, delay, sandbox, reduce scope, or escalate with additional safeguards.</t></li>
          <li><t><strong>Scoped Non-Bearer Capability or Execution Handle Release</strong> — only after successful validation and (where required) receipt commitment.</t></li>
          <li><t><strong>Finality Sink Verification</strong> — the sink verifies the capability/handle before effectuation; in advanced embodiments the sink lacks completion material until the handle supplies it.</t></li>
        </ol>
      </section>

      <section anchor="advanced" numbered="true">
        <name>Advanced Non-Completability Path</name>
        <t>
          In advanced embodiments the Finality Sink is technically unable to complete the
          Candidate Act unless protected finality validation releases, reconstructs, unseals,
          combines, or activates missing execution material via an Execution Handle. The
          sequence is strengthened to:
        </t>
        <artwork type="ascii-art"><![CDATA[
Candidate Act
   → Result-Consequence Acceptance Envelope
   → Execution Authorization Scope Object
   → Atomic Receipt-With-Release
   → Execution Handle
   → Hardware-Bound Sink Verification
   → Reconstruction / Unsealing / Combining / Activation of Missing Material
   → Effectuation Only if Completion Succeeds
]]></artwork>
        <t>
          A copied or stolen artifact therefore cannot operate as generic permission to act.
        </t>
      </section>
    </section>

    <section anchor="json-schema" numbered="true">
      <name>JSON Schema for Core Protected Objects</name>
      <t>
        Illustrative JSON Schema (draft 2020-12) definitions for key protected objects.
        Implementations may extend or map these schemas while preserving the required
        binding and non-bearer properties.
      </t>

      <section anchor="schema-candidate" numbered="true">
        <name>Candidate Act</name>
        <sourcecode type="json"><![CDATA[
{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://das-protocols.example/schemas/candidate-act-v1.json",
  "title": "CandidateAct",
  "type": "object",
  "required": ["actId", "outputHash", "originatingSystemId", "intendedSinkId", "status"],
  "properties": {
    "actId": { "type": "string", "format": "uuid" },
    "outputHash": { "type": "string", "pattern": "^[0-9a-fA-F]{64,}$" },
    "originatingSystemId": { "type": "string" },
    "modelId": { "type": "string" },
    "workflowId": { "type": "string" },
    "intendedRecipient": { "type": "string" },
    "intendedTool": { "type": "string" },
    "intendedSinkId": { "type": "string" },
    "purpose": { "type": "string" },
    "jurisdiction": { "type": "string" },
    "dataClass": { "type": "string" },
    "riskClass": { "type": "string" },
    "requestedConsequence": { "type": "string" },
    "timestamp": { "type": "string", "format": "date-time" },
    "alfId": { "type": "string" },
    "status": {
      "type": "string",
      "enum": ["non-effective", "under-validation", "escalated", "capability-issued", "effectuated", "denied", "quarantined"]
    }
  },
  "additionalProperties": false
}
]]></sourcecode>
      </section>

      <section anchor="schema-hcad" numbered="true">
        <name>Hash-Linked Candidate Act Descriptor (HCAD)</name>
        <sourcecode type="json"><![CDATA[
{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://das-protocols.example/schemas/hcad-v1.json",
  "title": "HashLinkedCandidateActDescriptor",
  "type": "object",
  "required": ["hcadId", "actId", "outputHash", "policyEpoch", "revocationEpoch", "nonce"],
  "properties": {
    "hcadId": { "type": "string", "format": "uuid" },
    "actId": { "type": "string", "format": "uuid" },
    "outputHash": { "type": "string", "pattern": "^[0-9a-fA-F]{64,}$" },
    "originatingSystemId": { "type": "string" },
    "alfId": { "type": "string" },
    "rbdId": { "type": "string" },
    "opcId": { "type": "string" },
    "rcaeId": { "type": "string" },
    "policyEpoch": { "type": "integer", "minimum": 0 },
    "revocationEpoch": { "type": "integer", "minimum": 0 },
    "finalitySinkId": { "type": "string" },
    "recipient": { "type": "string" },
    "purpose": { "type": "string" },
    "jurisdiction": { "type": "string" },
    "riskClass": { "type": "string" },
    "timestamp": { "type": "string", "format": "date-time" },
    "nonce": { "type": "string", "minLength": 16 },
    "evidenceRefs": { "type": "array", "items": { "type": "string" } }
  },
  "additionalProperties": false
}
]]></sourcecode>
      </section>

      <section anchor="schema-capability" numbered="true">
        <name>Scoped Non-Bearer Finality Capability / Execution Handle</name>
        <sourcecode type="json"><![CDATA[
{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://das-protocols.example/schemas/execution-handle-v1.json",
  "title": "ExecutionHandle",
  "type": "object",
  "required": [
    "handleId", "actId", "hcadDigest", "sinkId", "policyEpoch",
    "revocationEpoch", "expiresAt", "oneTimeUse"
  ],
  "properties": {
    "handleId": { "type": "string", "format": "uuid" },
    "actId": { "type": "string", "format": "uuid" },
    "hcadDigest": { "type": "string", "pattern": "^[0-9a-fA-F]{64,}$" },
    "validationReceiptDigest": { "type": "string", "pattern": "^[0-9a-fA-F]{64,}$" },
    "sinkId": { "type": "string" },
    "hardwareBoundSinkId": { "type": "string" },
    "permittedRecipient": { "type": "string" },
    "permittedPurpose": { "type": "string" },
    "permittedJurisdiction": { "type": "string" },
    "permittedDataClass": { "type": "string" },
    "permittedConsequenceType": { "type": "string" },
    "rcaeDigest": { "type": "string" },
    "policyEpoch": { "type": "integer", "minimum": 0 },
    "revocationEpoch": { "type": "integer", "minimum": 0 },
    "nonce": { "type": "string" },
    "expiresAt": { "type": "string", "format": "date-time" },
    "oneTimeUse": { "type": "boolean", "const": true },
    "consumed": { "type": "boolean", "default": false },
    "executionMaterialHint": {
      "type": "string",
      "description": "Optional reference or sealed material required for non-completability embodiments"
    }
  },
  "additionalProperties": false
}
]]></sourcecode>
      </section>
    </section>

    <section anchor="threat-model" numbered="true">
      <name>Threat Model</name>
      <t>
        This section enumerates the adversaries, capabilities, and attack goals the
        architecture is designed to resist, following the style of <xref target="RFC3552"/>-class
        threat enumeration. For each threat, the corresponding architectural control is
        identified. Threats are labeled T1 through T12. This section is informative; the
        binding normative requirements remain in <xref target="security"/>.
      </t>

      <section anchor="threat-actors" numbered="true">
        <name>Adversary Classes</name>
        <t>
          The architecture considers four adversary classes:
        </t>
        <ul>
          <li><t><strong>External attacker</strong> — no privileged access to the AI system, the Protected
          Enforcement Domain (PED), or the Finality Sink; interacts only through exposed
          interfaces (prompts, tool responses, retrieved documents, network traffic).</t></li>
          <li><t><strong>Compromised or adversarially manipulated model</strong> — the model itself
          (through jailbreak, adversarial fine-tuning, data poisoning, or prompt injection)
          attempts to cause an unauthorized effect, while the surrounding software stack is
          uncompromised.</t></li>
          <li><t><strong>Malicious or coerced insider</strong> — an operator, engineer, or
          administrator with legitimate access to some subset of the PED, sink, or key
          material attempts to misuse that access.</t></li>
          <li><t><strong>Infrastructure-level attacker</strong> — an attacker who has gained code
          execution, root, or hypervisor-level access to a component (model host, PED node,
          sink node) through an unrelated vulnerability.</t></li>
        </ul>
        <t>
          Consistent with <xref target="security"/>, simultaneous compromise of every
          Protected Enforcement Domain instance, every alternate effectuation path, and the
          Finality Sink is outside the claimed assurance boundary of any single-domain
          deployment; <xref target="mitigation-t11"/> and multi-party/multi-domain
          deployment patterns address this residual risk.
        </t>
      </section>

      <section anchor="threat-enumeration" numbered="true">
        <name>Enumerated Threats and Mitigations</name>

        <t><strong>T1 — Direct effectuation bypass.</strong> The originating AI system, or
        software downstream of it, attempts to invoke the Finality Sink (or an equivalent
        effectuation interface) directly, skipping Candidate Act formation entirely.
        <br/>Mitigation: the Finality Sink is architecturally required to accept only a
        verified scoped capability or Execution Handle bound to a valid HCAD; in the
        advanced non-completability path the sink lacks the material needed to complete
        the act without that handle, so a bypassed request has no effect at the sink
        regardless of how it was submitted.</t>

        <t><strong>T2 — Capability or Execution Handle forgery/replay.</strong> An attacker
        who observes a valid Execution Handle attempts to forge a similar one, or replays
        a previously consumed handle.
        <br/>Mitigation: handles are non-bearer, single-use (<tt>oneTimeUse</tt>),
        bound by cryptographic digest to the specific Candidate Act, HCAD, sink identity,
        policy epoch, revocation epoch, and nonce, and expire (<tt>expiresAt</tt>).
        Consumption is tracked (<tt>consumed</tt>); the sink MUST reject a
        second presentation of the same handle.</t>

        <t><strong>T3 — Compromise of the Protected Enforcement Domain.</strong> An attacker
        gains control of the PED and attempts to issue capabilities for Candidate Acts that
        should not be authorized.
        <br/>Mitigation: this is the threat the architecture cannot fully defend against
        from within a single PED instance, and the document says so directly rather than
        claiming otherwise (see <xref target="security"/>). Deployments requiring resistance
        to single-domain compromise SHOULD use multi-party or hardware-attested PED
        instances (e.g., threshold approval across independent PED replicas, or a
        hardware-rooted PED per <xref target="diff-tee"/>) so that no single compromised
        instance can unilaterally release a capability.</t>

        <t><strong>T4 — Compromise or collusion at the Finality Sink.</strong> An attacker
        controlling the Finality Sink attempts to effectuate an act without a valid handle,
        or colludes with a compromised PED.
        <br/>Mitigation: hardware-bound sink verification and, in advanced embodiments,
        cryptographic non-completability mean the sink itself does not hold sufficient
        material to complete the act unilaterally — completion material must be supplied,
        reconstructed, or unsealed via the Execution Handle. This reduces (but, per T3/T4
        combined compromise, does not eliminate) the value of compromising the sink alone.</t>

        <t><strong>T5 — Time-of-check-to-time-of-use / state drift.</strong> A Candidate Act
        is validated under one set of conditions (policy, revocation state, risk posture)
        but effectuated later under different conditions.
        <br/>Mitigation: see <xref target="diff-toc-tou"/> — policy-epoch and
        revocation-epoch binding, nonce-based replay prevention, and (in advanced
        embodiments) an atomic validation-to-release transaction requiring the sink to
        confirm current-state congruence before accepting the handle.</t>

        <t><strong>T6 — Prompt injection producing a facially valid but adversary-directed
        Candidate Act.</strong> The model itself is not compromised at the weights level,
        but adversarial input (a retrieved document, a tool response, a user message)
        induces the model to construct a Candidate Act that is well-formed and internally
        consistent but serves an attacker's goal (e.g., an injected instruction to
        exfiltrate data to an attacker-controlled recipient).
        <br/>Mitigation: this is explicitly why finality predicates are evaluated against
        externally-anchored state rather than the model's own assertions — OPC (provenance)
        validation, FCU (factual claim) verification against permitted evidence, and the
        Result-Consequence Acceptance Envelope constrain permitted recipients, purpose, and
        data class independently of what the model claims about them. A Candidate Act
        requesting an out-of-envelope recipient or data class is denied at the PED even
        though the model itself is not misbehaving in a way any output filter would
        catch. This threat is discussed further in <xref target="faq-injection"/>.</t>

        <t><strong>T7 — Insider fabrication of validation evidence.</strong> An operator with
        legitimate access to PED tooling manually crafts an HCAD or validation receipt for
        an act that was never actually validated.
        <br/>Mitigation: validation evidence is itself bound (hash-linked) into the chain
        that the Finality Sink verifies; a fabricated HCAD lacking a genuine ALF/RBD/OPC/FCU
        validation trail from an attested PED instance fails sink verification if the sink
        checks provenance of the validation itself (e.g., a signature from an attested PED
        key) rather than merely the shape of the HCAD. Deployments concerned with this
        threat SHOULD bind HCAD issuance to attested PED signing keys, not merely to HCAD
        schema conformance.</t>

        <t><strong>T8 — Denial-of-service to force fail-open.</strong> An attacker floods the
        PED or Finality Sink to induce resource exhaustion, hoping operators disable
        enforcement to restore availability.
        <br/>Mitigation: <xref target="security"/> requires fail-closed behavior for missing,
        stale, or unverifiable protected state; the architecture treats unavailability of
        the PED or sink as a denial condition for new effectuations, not as a reason to
        bypass finality. This is an explicit availability/safety trade-off discussed in
        <xref target="faq-availability"/>.</t>

        <t><strong>T9 — Side-channel or timing attack against sealed execution material.</strong>
        In the advanced non-completability path, an attacker attempts to infer or extract
        the missing execution material through timing, power, or other side channels on the
        sink or PED.
        <br/>Mitigation: this is a standard hardware-security-module and confidential-
        computing concern rather than one specific to this architecture; implementations
        SHOULD apply established side-channel countermeasures for whatever key-management
        or TEE substrate they use to hold sealed material.</t>

        <t><strong>T10 — Supply-chain compromise of the ALF/RBD baseline.</strong> An attacker
        compromises the build or update pipeline that establishes the Algorithmic Logic
        Fingerprint or Runtime Behavioral Descriptor baseline, so that a subsequently
        malicious model or agent still matches the "approved" fingerprint.
        <br/>Mitigation: ALF/RBD matching is a process-integrity predicate, not the sole
        finality gate (see <xref target="background"/>) — it narrows the space of acts that
        proceed to OPC/FCU/RCAE/consequence-simulation checks, but a poisoned baseline does
        not by itself grant effectuation authority, since downstream predicates still
        evaluate the specific act's provenance, factual support, and consequence envelope
        independently of ALF/RBD status.</t>

        <t anchor="mitigation-t11"><strong>T11 — Multi-agent collusion across enforcement domains.</strong>
        Two or more AI agents, each individually validated within its own PED, coordinate
        so that no single Candidate Act at any single domain appears to exceed its
        Result-Consequence Acceptance Envelope, while the combined effect across domains
        does.
        <br/>Mitigation: this is a cross-domain composition risk that a single PED instance
        cannot resolve by itself; deployments with multiple cooperating agents SHOULD
        aggregate consequence simulation across the agents' combined intended effects (or
        route composite acts through a shared PED/RCAE scope) rather than validating each
        agent's acts in isolation. The document does not claim single-domain deployments
        resist this threat and flags it as an open composition problem in
        <xref target="faq-multiagent"/>.</t>

        <t><strong>T12 — Downgrade to the base path when non-completability was required.</strong>
        An attacker (or a misconfigured deployment) induces the system to process a
        high-risk Candidate Act through the base finality path rather than the advanced
        non-completability path, so that a compromised sink alone becomes sufficient to
        effectuate it.
        <br/>Mitigation: risk class and required finality path SHOULD be bound into the
        RCAE and HCAD at Candidate Act formation time (not selected later by the
        effectuating component), and the Finality Sink SHOULD refuse to accept a
        base-path capability for an act whose RCAE marks it as requiring non-completability.</t>
      </section>
    </section>

    <section anchor="security" numbered="true">
      <name>Security Considerations</name>
      <t>
        The architecture assumes that the Protected Enforcement Domain and the Finality
        Sink (or their critical sub-components) remain uncompromised under the applicable
        threat model. Simultaneous compromise of every protected domain and every alternate
        effectuation path falls outside the claimed assurance.
      </t>
      <t>
        Implementations MUST enforce fail-closed behaviour for missing, stale, ambiguous,
        inconsistent, expired, or unverifiable protected state. Possession of an HCAD,
        capability, or Execution Handle MUST NOT be treated as sufficient authority without
        verifying the bound Candidate Act, epochs, sink identity, and other required
        conditions.
      </t>
      <t>
        Consequence simulation SHOULD be treated as a protected pre-effectuation predicate,
        not as an advisory second opinion. Escalated Conditional Finality Mode SHOULD be
        used for elevated-risk but necessary acts rather than relaxing core finality
        requirements.
      </t>
    </section>

    <section anchor="faq" numbered="true">
      <name>Frequently Asked Questions</name>
      <t>
        This section is informative. It restates, in question form, the objections most
        likely to be raised by systems and safety engineers at organizations operating
        frontier AI systems — including but not limited to the kinds of questions expected
        from Anthropic and OpenAI engineering review — and points to where in this document
        (or in the related draft family) each is addressed. Where a question exposes a
        genuinely open problem rather than a solved one, this section says so rather than
        overclaiming.
      </t>

      <section anchor="faq-duplicate" numbered="true">
        <name>"Doesn't this duplicate the tool-permission scoping already in function
        calling / MCP?"</name>
        <t>
          Existing tool-call allowlisting, MCP scoped tool grants, and function-calling
          schemas constrain <em>which</em> tools a model may invoke and with what argument
          shape. They generally do not evaluate whether <em>this specific generated
          argument</em> is factually supported, within a defined consequence envelope, or
          consistent with current policy/revocation state at the moment of effectuation.
          <xref target="draft-das-agentic-tool-binding"/> (companion draft) binds this
          architecture directly onto <tt>tool_use</tt>/function-calling/MCP
          <tt>tools/call</tt> dispatch to make the relationship concrete:
          the tool-permission layer decides eligibility to call a tool at all; the
          Candidate-Act layer decides whether this particular call, with this particular
          content, may complete. The two are complementary, not redundant — see
          <xref target="diff-access"/>.
        </t>
      </section>

      <section anchor="faq-latency" numbered="true">
        <name>"What is the latency overhead, and how does this work for interactive,
        low-latency chat completions?"</name>
        <t>
          The document does not currently specify a target latency budget or measured
          overhead, and this is a legitimate open engineering question rather than a
          solved one. The base path adds, at minimum, HCAD generation and RCAE/consequence-
          simulation evaluation before capability release; the advanced non-completability
          path adds sink-side reconstruction/unsealing. For latency-sensitive interactive
          use (e.g., low-risk conversational turns with no external effect), the
          architecture is intended to apply primarily to effect-capable outputs — a
          Candidate Act is only formed for outputs that would trigger an externally
          effective act (<xref target="background"/>) — so purely informational completions
          are not expected to enter the finality pipeline at all. For effect-capable but
          latency-sensitive acts (e.g., a high-frequency low-value tool call), graduated
          finality (<xref target="diff-binary"/>) permits pre-authorized, narrowly-scoped,
          reduced-value fast paths rather than forcing every act through full escalated
          review; quantifying the achievable latency for such fast paths is left to
          implementation and benchmarking, not specified normatively here.
        </t>
      </section>

      <section anchor="faq-spof" numbered="true">
        <name>"Isn't the Finality Sink / PED a centralization risk or single point of
        failure?"</name>
        <t>
          Yes, in a naive single-instance deployment, and the document does not claim
          otherwise (<xref target="security"/>, <xref target="threat-model"/>, T3/T4). The
          architecture specifies the finality <em>protocol</em> — the sequence of predicates
          and the non-bearer binding properties — not a mandated deployment topology.
          Nothing in the base or advanced path requires a single PED or sink instance;
          multi-party approval, threshold signing across independent PED replicas, or
          per-jurisdiction/per-tenant sink instances are all conformant deployment patterns.
          Availability engineering for the PED/sink (replication, threshold quorum) is an
          implementation concern the document flags but does not itself specify.
        </t>
      </section>

      <section anchor="faq-streaming" numbered="true">
        <name>"How does this interact with token-by-token streaming, where the 'output'
        doesn't exist as a discrete object until generation completes?"</name>
        <t>
          Candidate Act formation is defined over the effect-capable output once it is
          complete enough to be evaluated as a discrete act (e.g., a completed tool call,
          a completed message intended for external send, a completed payment instruction)
          — not over intermediate generation tokens. Streaming text intended purely for
          display to the requesting user, with no external effect, does not itself
          constitute a Candidate Act. Where a system streams partial tool-call arguments
          and begins side effects before generation completes, that pattern is itself the
          kind of premature-effectuation risk this architecture is meant to close off:
          implementations SHOULD NOT begin effectuation from partial/streaming output.
        </t>
      </section>

      <section anchor="faq-injection" numbered="true">
        <name>"What actually stops a jailbroken or adversarially-fine-tuned model from
        forging a valid Candidate Act on its own?"</name>
        <t>
          The model is treated as untrusted with respect to finality — see T6 in
          <xref target="threat-enumeration"/>. Candidate Act formation, HCAD generation,
          and predicate validation are specified as occurring in the Protected Enforcement
          Domain, which is architecturally distinct from the model's own inference process;
          a model cannot itself mint a valid HCAD, capability, or Execution Handle, because
          those artifacts require PED-side attestation, epoch state, and (in the advanced
          path) sink-side sealed material the model has no access to. A compromised model
          can request an act it should not be permitted to take, but requesting is not
          the same as effectuating; the request is still evaluated against externally
          anchored provenance, factual-support, and consequence-envelope predicates it does
          not control.
        </t>
      </section>

      <section anchor="faq-ground-truth" numbered="true">
        <name>"FCU (factual claim) verification assumes a ground-truth oracle. What about
        domains with no verifiable ground truth — creative writing, opinion, open-ended
        reasoning?"</name>
        <t>
          FCU verification is scoped to "hallucination-sensitive outputs" (<xref
          target="base-path"/>), not to every generated token. The architecture is directed
          at outputs that become external, effect-bearing consequences (payments, database
          mutations, communications sent on the user's behalf, physical actuation, and
          similar); purely creative or opinion content that carries no such consequence is
          not the target of FCU verification and is not expected to require it. Where a
          consequence-bearing act does rest on an unverifiable factual premise (no
          available ground truth), the correct outcome under this architecture is
          denial, quarantine, or escalation pending human approval — not silent
          effectuation on an unverified claim.
        </t>
      </section>

      <section anchor="faq-operator" numbered="true">
        <name>"Who operates the PED in a real deployment — the model provider, the
        enterprise customer, or a third party? What's the trust and liability model?"</name>
        <t>
          The document specifies the architecture, not a fixed deployment or business
          model; a PED could plausibly be operated by the model provider (inline in the
          serving stack), by the deploying enterprise (as middleware in front of the
          effectuation interfaces it controls), or by an independent attestation service.
          Each placement has different trust and liability implications that the document
          does not adjudicate. This is flagged as an open deployment-architecture question
          rather than resolved here.
        </t>
      </section>

      <section anchor="faq-novelty" numbered="true">
        <name>"How is this different from existing capability-based security (e.g.,
        Zanzibar-style relationship tuples, Cap'n Proto capabilities), sealed secrets, or
        policy engines like OPA — isn't this a recombination of known primitives?"</name>
        <t>
          The individual primitives referenced — capability tokens, policy evaluation,
          sealed/HSM-held material, provenance tracking — are independently known. The
          disclosed contribution, as claimed across the related PCT filings (Appendix A),
          is their specific composition into a mandatory, non-bypassable sequence gating
          the transition from AI-generated computation to external consequence, with the
          non-bearer capability bound to act-specific content hash, provenance, and
          consequence-envelope state rather than merely to identity or role, and with the
          optional cryptographic non-completability property removing the Finality Sink's
          unilateral ability to complete the act. Whether this composition is novel and
          non-obvious over any specific piece of prior art is a patent-examination
          question addressed during prosecution of the related applications, not settled
          by this document.
        </t>
      </section>

      <section anchor="faq-multiagent" numbered="true">
        <name>"How does this handle multi-step agentic plans, where step N depends on the
        (still non-effective) result of step N-1 — won't every intermediate step needing
        its own Candidate Act make agent loops impractically slow?"</name>
        <t>
          The document does not require that every internal reasoning or planning step
          form a Candidate Act — only effect-capable outputs that would themselves become
          external consequences (<xref target="background"/>). Purely internal
          plan-construction steps that produce no external effect are not Candidate Acts.
          Where an agentic plan's later steps genuinely depend on the external effect of an
          earlier step (e.g., step 2 needs the result of a payment made in step 1), step 1
          must still complete finality before step 2 can proceed, since step 2's Candidate
          Act cannot be truthfully formed without that result. Composition across many
          agents or many chained effectful steps (T11, <xref target="threat-enumeration"/>)
          is flagged as an open problem, not a solved one: single-PED validation of each
          step in isolation does not by itself catch a multi-step plan whose steps are
          each individually within-envelope but whose combination is not.
        </t>
      </section>

      <section anchor="faq-availability" numbered="true">
        <name>"Mandatory fail-closed sounds good for safety but creates an availability/DoS
        risk — how do you avoid legitimate high-volume agentic workloads (thousands of
        tool calls per second) being halted by PED/sink unavailability or an attacker
        deliberately overloading the PED?"</name>
        <t>
          This is a real trade-off the document makes explicitly rather than hiding: T8 in
          <xref target="threat-enumeration"/> treats forced unavailability as a path to
          denial-of-service, and <xref target="security"/> still requires fail-closed
          behavior in that case, because the alternative — failing open under load — defeats
          the purpose of the architecture precisely when an attacker has the strongest
          incentive to induce that failure. The document's answer to the resulting
          availability concern is architectural, not a relaxation of fail-closed: PED and
          sink capacity, replication, and graduated finality's fast paths for narrowly
          pre-scoped, low-risk, reduced-value acts (<xref target="diff-binary"/>) are the
          intended mitigation for throughput, not weakening the fail-closed guarantee
          itself.
        </t>
      </section>

      <section anchor="faq-key-mgmt" numbered="true">
        <name>"What's the key-management, rotation, and revocation story for PED signing
        keys and sink-bound sealed material?"</name>
        <t>
          The document specifies the finality-protocol data model (HCAD, capability,
          Execution Handle) and the required binding properties (policy epoch, revocation
          epoch, nonce, expiry, one-time use), but does not itself specify a key-management
          protocol; implementations are expected to use established key-management practice
          (HSM-backed signing keys, standard rotation/revocation procedures) for whatever
          keys back PED attestation and sink-bound sealed material. This is an
          implementation concern outside this document's scope, consistent with how TLS
          specifies a handshake protocol without mandating a specific PKI operational
          practice.
        </t>
      </section>

      <section anchor="faq-adoption" numbered="true">
        <name>"Why would a frontier lab voluntarily absorb the engineering cost and latency
        tax of this architecture rather than continuing with existing guardrails, tool
        allowlists, and human-in-the-loop review?"</name>
        <t>
          This document makes a technical case, not a business case, and does not attempt
          to resolve the adoption-incentive question. The technical argument is narrower:
          for effect-capable AI outputs, existing model/workflow/runtime approval does not
          by itself constrain whether a specific generated output should become a specific
          external consequence (<xref target="background"/>), and that gap persists
          regardless of adoption incentives. Whether the cost of closing that gap through
          this specific architecture is justified for a given deployment's risk profile is
          a decision left to implementers.
        </t>
      </section>

      <section anchor="faq-missed" numbered="true">
        <name>Other gaps not yet addressed in this document</name>
        <t>
          For completeness, the following questions are anticipated but not yet given a
          worked answer anywhere in this draft or its companions, and are noted here as
          open items rather than silently omitted:
        </t>
        <ul>
          <li><t>A quantified latency/throughput budget or reference benchmark for the base
          and advanced paths (see <xref target="faq-latency"/>).</t></li>
          <li><t>A concrete key-management and PED-attestation protocol, rather than a
          reference to "established practice" (see <xref target="faq-key-mgmt"/>).</t></li>
          <li><t>A formal cross-domain consequence-composition mechanism for multi-agent or
          multi-step plans (T11, <xref target="faq-multiagent"/>).</t></li>
          <li><t>Guidance on partial/rollback semantics when a multi-effect Candidate Act
          (e.g., a batch of database mutations) is authorized as a unit but effectuation
          fails partway through at the sink.</t></li>
          <li><t>Interoperability testing or a reference conformance suite demonstrating the
          base path against a real tool-calling/MCP stack, beyond the architectural binding
          described in <xref target="draft-das-agentic-tool-binding"/>.</t></li>
        </ul>
      </section>
    </section>

    <section anchor="resources" numbered="true">
      <name>Resources: Reference Implementation</name>
      <t>
        This section is informative. A runnable, informative reference implementation of
        the base finality path described in this document has been published as open
        source:
      </t>
      <t>
        <eref target="https://github.com/sangmdas/Preventing-AI-Hallucinations-and-Unauthorized-Actions-Runnable-Reference-Implementation">
        https://github.com/sangmdas/Preventing-AI-Hallucinations-and-Unauthorized-Actions-Runnable-Reference-Implementation</eref>
      </t>
      <t>
        Publication of this implementation is not a claim of IETF compliance, production
        certification, hardware enforcement, or formal security verification. It
        demonstrates the sequence <tt>AI Output -&gt; Candidate Act -&gt; Non-Effective State -&gt;
        Policy and Evidence Validation -&gt; HCAD -&gt; Validation Receipt -&gt; Execution Handle -&gt;
        Finality Sink -&gt; External Effect</tt> using the Python standard library, SQLite,
        and HMAC-SHA-256 as a software reference mechanism, with no third-party runtime
        dependency and no network calls.
      </t>

      <section anchor="resources-tests" numbered="true">
        <name>Test Coverage</name>
        <t>
          The repository's test suite (Python <tt>unittest</tt>) comprises 74 tests
          covering: non-effective-state invariants and output-hash correctness; ordering of
          evidence recording before handle issuance; expiry, policy-epoch, and
          revocation-epoch invalidation; persistence across database reopening; replay and
          concurrent-consumption handling with atomic <tt>UNUSED -&gt; CONSUMED_PENDING -&gt;
          EFFECTUATED</tt> transitions; tampering detection across the Execution Handle,
          HCAD, validation receipt, and Candidate Act; substitution attacks against every
          bound field (output, originating system, model, workflow, recipient, tool, sink,
          purpose, jurisdiction, data class, risk class, requested consequence, and ALF
          identifier); policy-violation and threat scenarios corresponding to
          <xref target="threat-enumeration"/> (unapproved systems/models/tools, ALF
          mismatch, runtime-behavior drift, stale or invalid provenance, unsupported
          factual claims, unsafe consequence simulation, out-of-envelope recipient/purpose/
          jurisdiction/data-class/consequence, excessive risk or scope, missing human
          approval, duplicate approvals, intentional delay); and the graduated decision set
          (allow, deny, quarantine, redact, delay, sandbox, reduce scope, escalate). All 74
          tests passed, with zero failures and zero skips, both in the development
          directory and from a freshly extracted release archive.
        </t>
      </section>

      <section anchor="resources-latency" numbered="true">
        <name>Non-Normative Latency Benchmark</name>
        <t>
          Consistent with <xref target="faq-latency"/>, this document does not impose a
          mandatory numeric latency target. The repository defines its own non-normative
          engineering regression targets and recorded the following local, single-process
          microbenchmark (SQLite in-memory, no network I/O, 1,000 iterations after 100
          warm-up iterations):
        </t>
        <table anchor="tab-latency">
          <thead>
            <tr>
              <th>Stage</th>
              <th>Mean</th>
              <th>p50</th>
              <th>p95</th>
              <th>p99</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td>Candidate Act preparation</td>
              <td>0.0130 ms</td>
              <td>0.0092 ms</td>
              <td>0.0174 ms</td>
              <td>0.0636 ms</td>
            </tr>
            <tr>
              <td>PED validation and handle issuance</td>
              <td>0.2549 ms</td>
              <td>0.1752 ms</td>
              <td>0.5165 ms</td>
              <td>1.8593 ms</td>
            </tr>
            <tr>
              <td>Sink verification and effect</td>
              <td>0.1813 ms</td>
              <td>0.1175 ms</td>
              <td>0.3341 ms</td>
              <td>1.5875 ms</td>
            </tr>
            <tr>
              <td>Complete local path</td>
              <td>0.4492 ms</td>
              <td>0.3134 ms</td>
              <td>1.0565 ms</td>
              <td>2.8546 ms</td>
            </tr>
          </tbody>
        </table>
        <t>
          These figures exclude network round-trip time, remote evidence retrieval, real
          consequence-simulation cost, hardware-security operations, replicated storage,
          distributed consensus, external API or payment-settlement latency, queueing, and
          multi-region communication, and MUST NOT be read as a production SLA. They are
          offered only as an existence proof that the base-path predicate sequence itself
          need not dominate end-to-end latency in a single-process deployment; the
          open engineering questions in <xref target="faq-latency"/> and
          <xref target="faq-missed"/> remain open at the distributed-deployment level.
        </t>
      </section>

      <section anchor="resources-limitations" numbered="true">
        <name>Scope and Limitations of the Reference Implementation</name>
        <t>
          The reference implementation is a software emulation, not a hardware or
          production system, and its trusted computing base assumes the PED, Finality
          Sink, configured cryptographic secret, clock, epoch source, and SQLite engine are
          not compromised. It does not implement a real AI model or agent runtime, a real
          evidence-generation system, or a complete world-model consequence simulator; it
          uses software-held HMAC-SHA-256 rather than an HSM, TPM, secure enclave, or
          remote attestation, and does not demonstrate hardware-bound non-exportability or
          physical non-completability. SQLite provides local atomicity, not distributed
          consensus, and no real external API, payment rail, robot, or production system
          was contacted. Formal verification, fuzzing, penetration testing, and hardware
          fault injection were not performed, and the other language targets it documents
          (TypeScript, Go, Rust, Java, Kotlin, C#, C/C++, WebAssembly, secure elements,
          FPGA) are design guidance only and were not implemented or tested. These
          limitations do not narrow the claims of this document; they scope what the
          reference implementation itself does and does not demonstrate.
        </t>
      </section>

      <section anchor="resources-licensing" numbered="true">
        <name>Licensing of the Reference Implementation</name>
        <t>
          The reference implementation repository is published under the Creative Commons
          Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0); attribution
          is required and commercial use requires separate written permission from the
          rights holder. That copyright license does not itself grant patent rights;
          commercial implementation of the architecture described in this document may
          require a separate patent license under the applications identified in
          <xref target="ip-disclosure"/>, consistent with BCP 79.
        </t>
      </section>

      <section anchor="resources-policy" numbered="true">
        <name>Related Public-Policy Resource</name>
        <t>
          For non-normative context on the public-policy and digital-sovereignty framing
          of this architecture, see the Applicant's community submission to the European
          Commission's Apply AI Alliance Futurium platform:
        </t>
        <t>
          <xref target="Futurium-Sovereignty"/> — "Protecting Europe: A Technical
          Foundation for Digital Sovereignty, Data Protection, and AI Governance" —
          <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>
        </t>
        <t>
          That submission is a policy-oriented companion piece; it does not alter or
          extend the technical claims made in this Internet-Draft.
        </t>
      </section>

      <section anchor="resources-family" numbered="true">
        <name>Related DAS Protocols Internet-Drafts</name>
        <t>
          This document is one member of a broader family of DAS Protocols Internet-Drafts
          applying the execution-finality architecture to specific domains. The current
          related drafts, each linked to its IETF Datatracker page, are:
        </t>
        <ul>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-ntn-rf-execution-finality/">draft-das-ntn-rf-execution-finality</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-payment-execution-finality/">draft-das-payment-execution-finality</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-precision-bounded-egress/">draft-das-precision-bounded-egress</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-ai-native-6g-execution-finality/">draft-das-ai-native-6g-execution-finality</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-6g-query-scoped-communication-handles/">draft-das-6g-query-scoped-communication-handles</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-map-discovery-communication-finality/">draft-das-map-discovery-communication-finality</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-rats-attestation-bnd-execution-finality/">draft-das-rats-attestation-bnd-execution-finality</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-child-safe-rendering-finality/">draft-das-child-safe-rendering-finality</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-rats-openai-anthropic-extraction/">draft-das-rats-openai-anthropic-extraction</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-protocols-enterprise-ai/">draft-das-protocols-enterprise-ai</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-rats-frontier-model-extraction/">draft-das-rats-frontier-model-extraction</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-enterprise-ai-output-finality/">draft-das-enterprise-ai-output-finality</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-execution-finality-ai-interoperability/">draft-das-execution-finality-ai-interoperability</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-agentic-tool-binding/">draft-das-agentic-tool-binding</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-execution-finality-protocol-layer/">draft-das-execution-finality-protocol-layer</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-eu-ai-act-execution-enforcement/">draft-das-eu-ai-act-execution-enforcement</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-global-privacy-execution-enforcement/">draft-das-global-privacy-execution-enforcement</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-digital-sovereignty-finality/">draft-das-digital-sovereignty-finality</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-agentic-execution-finality/">draft-das-agentic-execution-finality</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-ot-actuation-finality/">draft-das-ot-actuation-finality</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-protocols-candidate-act-finality/">draft-das-protocols-candidate-act-finality</eref> (this document)</t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-agentic-ai-tool-execution-finality/">draft-agentic-ai-tool-execution-finality</eref></t></li>
          <li><t><eref target="https://datatracker.ietf.org/doc/draft-das-hardware-enforced-execution-finality/">draft-das-hardware-enforced-execution-finality</eref></t></li>
        </ul>
        <t>
          Datatracker links point to the latest posted revision of each draft, which may
          be a later revision than the one current at the time this document was prepared.
        </t>
      </section>
    </section>

    <section anchor="iana" numbered="true">
      <name>IANA Considerations</name>
      <t>
        This document has no IANA actions.
      </t>
    </section>

    <section anchor="conclusion" numbered="true">
      <name>Conclusion</name>
      <t>
        An artificial-intelligence-generated output is not authority to act. By converting
        every effect-capable output into a non-effective Candidate Act, validating machine-
        verifiable finality predicates, binding validation evidence to a scoped non-bearer
        capability or Execution Handle, and requiring Finality Sink verification (with
        optional cryptographic non-completability), the architecture prevents hallucinations,
        unsupported outputs, stale results, and unsafe agentic acts from automatically
        becoming external consequences.
      </t>
      <t>
        Existing systems may authorize, moderate, simulate, or audit. This architecture
        prevents consequence unless protected finality succeeds at the sink boundary.
      </t>
    </section>
  </middle>

  <back>
    <references>
      <name>Normative References</name>
    </references>
    <references>
      <name>Informative References</name>
      <reference anchor="RFC3552">
        <front>
          <title>Guidelines for Writing RFC Text on Security Considerations</title>
          <author initials="E." surname="Rescorla" fullname="E. Rescorla"/>
          <author initials="B." surname="Korver" fullname="B. Korver"/>
          <date year="2003" month="July"/>
        </front>
        <seriesInfo name="RFC" value="3552"/>
      </reference>
      <reference anchor="Futurium-Sovereignty" target="https://futurium.ec.europa.eu/en/apply-ai-alliance/community-content/protecting-europe-technical-foundation-digital-sovereignty-data-protection-and-ai-governance">
        <front>
          <title>Protecting Europe: A Technical Foundation for Digital Sovereignty, Data Protection, and AI Governance</title>
          <author initials="S." surname="Das" fullname="S. Das">
            <organization>Independent</organization>
          </author>
          <date year="2026"/>
        </front>
        <refcontent>European Commission Apply AI Alliance, Futurium Community Content</refcontent>
      </reference>
      <reference anchor="draft-das-agentic-tool-binding">
        <front>
          <title>tool_use Is Not invoke(): Binding Execution-Finality to Agentic Tool Calling and MCP</title>
          <author initials="S." surname="Das" fullname="S. Das">
            <organization>Independent</organization>
          </author>
          <date year="2026"/>
        </front>
        <seriesInfo name="Internet-Draft" value="draft-das-agentic-tool-binding-02"/>
      </reference>
      <reference anchor="PCT-Mothership">
        <front>
          <title>THE DAS PROTOCOLS</title>
          <author>
            <organization>Applicant</organization>
          </author>
          <date year="2026" month="June"/>
        </front>
        <seriesInfo name="PCT" value="PCT/IB2026/055615"/>
      </reference>
    </references>

    <section anchor="ack" numbered="false">
      <name>Acknowledgements</name>
      <t>
        This document is part of the broader DAS Protocols body of work.
      </t>
    </section>

    <section anchor="ip-disclosure" numbered="false">
      <name>Appendix A. Intellectual Property Disclosure — Related Applications</name>
      <t>
        The present document is technically related to subject matter disclosed in one or
        more of the following applications. This statement is provided for architectural
        and transparency context. Any claim of priority is made only to the extent that
        the respective application is validly and expressly identified in the official
        filing record of a corresponding patent application. Identification of an
        application in this appendix is not intended, by itself, to create, add, correct,
        or modify a priority claim.
      </t>

      <section anchor="ip-indian" numbered="false">
        <name>A.1. Related Indian Provisional Applications</name>
        <t>
          The present work is technically aligned with the Applicant’s broader body of work
          developed across the following Indian provisional patent applications:
        </t>
        <ol>
          <li><t>Indian Patent Application No. 202531123959, filed 9 December 2025;</t></li>
          <li><t>Indian Patent Application No. 202531123977, filed 9 December 2025;</t></li>
          <li><t>Indian Patent Application No. 202531125643, filed 12 December 2025;</t></li>
          <li><t>Indian Patent Application No. 202531129538, filed 20 December 2025;</t></li>
          <li><t>Indian Patent Application No. 202531130168, filed 22 December 2025;</t></li>
          <li><t>Indian Patent Application No. 202531130665, filed 23 December 2025;</t></li>
          <li><t>Indian Patent Application No. 202631000572, filed 3 January 2026;</t></li>
          <li><t>Indian Patent Application No. 202631001586, filed 7 January 2026;</t></li>
          <li><t>Indian Patent Application No. 202631002990, filed 12 January 2026;</t></li>
          <li><t>Indian Patent Application No. 202631004331, filed 16 January 2026;</t></li>
          <li><t>Indian Patent Application No. 202631005583, filed 20 January 2026;</t></li>
          <li><t>Indian Patent Application No. 202631005645, filed 20 January 2026;</t></li>
          <li><t>Indian Patent Application No. 202631006616, filed 22 January 2026;</t></li>
          <li><t>Indian Patent Application No. 202631007467, filed 26 January 2026;</t></li>
          <li><t>Indian Patent Application No. 202631009579, filed 30 January 2026;</t></li>
          <li><t>Indian Patent Application No. 202631011216, filed 3 February 2026;</t></li>
          <li><t>Indian Patent Application No. 202631011630, filed 3 February 2026;</t></li>
          <li><t>Indian Patent Application No. 202631016797, filed 16 February 2026;</t></li>
          <li><t>Indian Patent Application No. 202631018571, filed 18 February 2026;</t></li>
          <li><t>Indian Patent Application No. 202631024957, filed 3 March 2026;</t></li>
          <li><t>Indian Patent Application No. 202631030760, filed 14 March 2026;</t></li>
          <li><t>Indian Patent Application No. 202631034260, filed 21 March 2026;</t></li>
          <li><t>Indian Patent Application No. 202631035846, filed 24 March 2026;</t></li>
          <li><t>Indian Patent Application No. 202631038227, filed 27 March 2026;</t></li>
          <li><t>Indian Patent Application No. 202631041923, filed 1 April 2026;</t></li>
          <li><t>Indian Patent Application No. 202631043195, filed 4 April 2026;</t></li>
          <li><t>Indian Patent Application No. 202631043507, filed 6 April 2026;</t></li>
          <li><t>Indian Patent Application No. 202631046689, filed 11 April 2026;</t></li>
          <li><t>Indian Patent Application No. 202631046739, filed 12 April 2026;</t></li>
          <li><t>Indian Patent Application No. 202631047382, filed 14 April 2026;</t></li>
          <li><t>Indian Patent Application No. 202631049021, filed 17 April 2026; and</t></li>
          <li><t>Indian Patent Application No. 202631051652, filed 23 April 2026.</t></li>
        </ol>
      </section>

      <section anchor="ip-pct" numbered="false">
        <name>A.2. Related International (PCT) Applications</name>
        <t>
          The present document is also technically related to subject matter disclosed in
          one or more of the following international applications:
        </t>
        <ol>
          <li><t>PCT/IB2026/053385, filed 7 April 2026;</t></li>
          <li><t>PCT/IB2026/054453, filed 5 May 2026;</t></li>
          <li><t>PCT/IB2026/055615, filed 4 June 2026 (the “Mothership Application” / “DAS Protocols Mothership”);</t></li>
          <li><t>PCT/IB2026/055760, filed 7 June 2026;</t></li>
          <li><t>PCT/IB2026/055870, filed 10 June 2026;</t></li>
          <li><t>PCT/IB2026/056058, filed 13 June 2026;</t></li>
          <li><t>PCT/IB2026/056353, filed 22 June 2026;</t></li>
          <li><t>PCT/IB2026/056771, filed 1 July 2026;</t></li>
          <li><t>PCT/IB2026/056809, filed 1 July 2026;</t></li>
          <li><t>PCT/IB2026/056941, filed 6 July 2026; and</t></li>
          <li><t>PCT/IB2026/057198, filed 12 July 2026.</t></li>
        </ol>
        <t>
          The foregoing applications may disclose related, complementary, overlapping,
          upstream, downstream, domain-specific, or implementation-specific aspects of
          protected execution governance, non-bearer authority, protected validation
          evidence, technical non-completability, mandatory mediation, artificial-
          intelligence governance, and execution-finality enforcement.
        </t>
      </section>

      <section anchor="ip-mothership" numbered="false">
        <name>A.3. Relationship to the Mothership Application (PCT/IB2026/055615)</name>
        <t>
          International Application No. PCT/IB2026/055615, filed 4 June 2026, discloses a
          broader execution-finality architecture. The present disclosure develops a focused
          embodiment directed at preventing AI-generated hallucinations, unsupported outputs,
          stale outputs, and unsafe agentic acts from becoming external consequences through
          Candidate-Act Finality, Consequence Simulation, Escalated Conditional Finality, and
          Cryptographic Execution-Dependency Non-Completability.
        </t>
      </section>
    </section>
  </back>
</rfc>
