<?xml version='1.0' encoding='utf-8'?>
<?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
<rfc category="info" docName="draft-das-agentic-tool-binding-00"
     ipr="trust200902" submissionType="IETF" xml:lang="en" version="3"
     tocInclude="true" tocDepth="3" symRefs="true" sortRefs="true">
  <front>
    <title abbrev="Tool-Use Binding">tool_use Is Not invoke(): Binding Execution-Finality to Claude, ChatGPT, and MCP</title>
    <seriesInfo name="Internet-Draft" value="draft-das-agentic-tool-binding-00"/>
    <author fullname="Sangam Das" initials="S." surname="Das">
      <organization>Independent Inventor</organization>
      <address>
        <postal>
          <city>Balasore</city>
          <region>Odisha</region>
          <code>756001</code>
          <country>India</country>
        </postal>
        <email>info@sangamdas.com</email>
      </address>
    </author>
    <date year="2026" month="August" day="27"/>
    <area>Security</area>
    <keyword>MCP</keyword>
    <keyword>Anthropic</keyword>
    <keyword>OpenAI</keyword>
    <keyword>tool use</keyword>
    <keyword>execution finality</keyword>
    <abstract>
      <t>Frontier runtimes already standardized the dangerous
      moment. Claude emits a tool_use block. ChatGPT emits
      tool_calls. MCP emits tools/call. The host then
      invokes whatever name and arguments the model printed.
      Alignment, allowlists, and OAuth sit around that
      moment. They do not sit on it. If the block is
      treated as a capability, prompt-injected mail, a
      poisoned retrieval, or a stolen enterprise seat
      becomes an external act with a 200 from the tool.</t>
      <t>This document does not invent another assistant API.
      It binds the Agent Candidate Act profile
      <xref target="I-D.das-agentic"/> onto the three
      interfaces those labs and their customers already
      ship: Anthropic tool_use / computer_use, OpenAI
      function calling and Responses tools, and Model
      Context Protocol tools/call. The model may emit the
      block. The block remains non-effective. A local
      enforcer builds the act, binds the argument digest,
      and refuses invoke() until scoped authority is
      verified and consumed at the dispatch sink.</t>
      <t>The implementation target is a middleware function
      that a host loop can call without changing the model
      vendor. tool_use is not invoke().</t>
    </abstract>
  </front>
  <middle>
    <section anchor="intro">
      <name>Introduction</name>
      <t>Every hosted agent product converged on the same
      wire shape:</t>
      <artwork><![CDATA[
model output
  Anthropic:  content[type=tool_use] {id, name, input}
  OpenAI:     tool_calls[] {id, function.name, function.arguments}
  MCP:        tools/call {name, arguments}
        |
        v
host.invoke(name, arguments)
        |
        v
tool_result / function output / MCP result
]]></artwork>
      <t>This document inserts a gate on the middle arrow
      without asking Anthropic or OpenAI to change model
      cards. The gate is the profile in
      <xref target="I-D.das-agentic"/>: wrap the block as
      an AgentCandidateAct, hold it non-effective, validate,
      commit evidence, issue scoped authority, verify at
      the dispatch sink, consume, then invoke.</t>
      <t>Vendor names are deployment classes. Field names
      below follow public tool-use and MCP shapes as of
      this writing and are informative where those APIs
      evolve. The load-bearing contract is the act
      object, not a trademark.</t>
    </section>

    <section anchor="why">
      <name>Why This Binding Is the Lab-Facing Draft</name>
      <t>The agentic profile is the architecture. This
      document is the thing a runtime engineer can
      implement on Monday. Labs lose enterprise deals
      on a specific sentence: "what happens when the
      model is injected and still emits a tool block."
      Answers that are only "we train refusal" or "we
      log the block" are weaker than "invoke() is
      unreachable without a consumed authority_id bound
      to this argument digest."</t>
      <t>That sentence maps onto products customers already
      buy: Claude for Work with tools and computer use,
      ChatGPT Enterprise with actions and an Agents
      runtime, and MCP servers wired into both. The
      binding is how isolation of action
      <xref target="DAS-ISOLATION"/> lands in the loop
      those products run thousands of times per minute.</t>
      <t>For an Anthropic reliability or safety engineer
      the claim is mechanical: a tool_use block can
      exist, be shown in the transcript, and still
      leave the world unchanged. Refusal training
      reduces how often the block appears. This
      binding reduces what the block can do when it
      appears anyway — including when the model is
      following a retrieved instruction it treated as
      a user turn.</t>
      <t>For an OpenAI platform or Agents engineer the
      claim is the same on tool_calls[] and on
      Actions HTTP. Schema-valid arguments are not
      a capability. Parallel calls are not one
      capability. An Agents SDK that owns the loop
      MUST expose the hook or wrap the tool objects;
      otherwise the safest model still has an
      unguarded invoke.</t>
    </section>

    <section anchor="rfc2119">
      <name>Requirements Language</name>
      <t>The key words "MUST", "MUST NOT", "REQUIRED",
      "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT",
      "RECOMMENDED", "NOT RECOMMENDED", "MAY", and
      "OPTIONAL" in this document are to be interpreted
      as described in BCP 14 <xref target="RFC2119"/>
      <xref target="RFC8174"/> when, and only when, they
      appear in all capitals, as shown here.</t>
      <t>A host that executes a tool block without current
      dispatch authority is non-conforming with this
      binding even if the model vendor's SDK performed
      the HTTP call.</t>
    </section>

    <section anchor="problem">
      <name>Problem Space</name>
      <t>The host loop is short and trusted by default:</t>
      <artwork><![CDATA[
for block in model_output.tool_uses:
    result = tools[block.name](**block.input)
    append_tool_result(block.id, result)
]]></artwork>
      <t>That loop is correct only if the block is a
      capability. It is not. Failures this binding
      treats as first-class:</t>
      <ul>
        <li>Injected page or ticket text causes
        tool_use name=email.send to a new recipient.</li>
        <li>OpenAI function.arguments JSON is valid
        against the schema and still pays the wrong
        vendor (see <xref target="I-D.das-payment"/>).</li>
        <li>MCP server with the same tool name is
        swapped (T7 in the agentic profile).</li>
        <li>Computer-use screenshot policy allows
        clicks; a submit posts a form the model
        narrated incorrectly.</li>
        <li>Memory or project write persists a
        prohibited join for the next turn
        <xref target="I-D.das-enterprise"/>.</li>
        <li>The host retries invoke() after a timeout
        and double-executes a side-effecting tool.</li>
      </ul>
    </section>

    <section anchor="existing">
      <name>What Labs Already Ship and What They Do Not Bind</name>
      <section>
        <name>Anthropic tool_use and Computer Use</name>
        <t>tool_use binds a name and an input object to a
        content block id. Computer use binds screen
        actions. System prompts, tool schemas, and
        constitutional or policy trained refusal try to
        stop bad blocks before they appear. They do
        not consume single-use authority at invoke, and
        they do not hash arguments so an approved
        search cannot become a send.</t>
      </section>
      <section>
        <name>OpenAI function calling, Responses tools, GPTs</name>
        <t>tool_calls bind a function name and a JSON
        argument string. GPTs Actions add OpenAPI
        backends. The Agents runtime adds loops.
        Schema validation answers "is this JSON
        shaped." It does not answer "may this digest
        run now at this sink."</t>
      </section>
      <section>
        <name>MCP tools/list and tools/call</name>
        <t>MCP authenticates a client to a server and
        names tools. tools/call is still bearer-like
        with respect to every call that server will
        accept under the session. Server discovery
        is not act authority <xref target="I-D.das-agentic"/>.</t>
      </section>
      <section>
        <name>What This Binding Adds</name>
        <t>A deterministic mapping from those three
        envelopes to AgentCandidateAct, a host-local
        enforce() that MUST wrap invoke, and an error
        mapping back into tool_result / function output
        / MCP error so the model sees a deny rather
        than a successful side effect.</t>
      </section>
    </section>

    <section anchor="map-anthropic">
      <name>Binding: Anthropic tool_use</name>
      <t>Informative source shape:</t>
      <sourcecode type="json"><![CDATA[
{
  "type": "tool_use",
  "id": "toolu_01A",
  "name": "email_send",
  "input": {
    "to": "alice@example.com",
    "subject": "Invoice",
    "body": "..."
  }
}
]]></sourcecode>
      <t>Mapping MUST be:</t>
      <ul>
        <li>candidate_act_id — host-generated, MUST NOT
        equal toolu_* alone if that id can be replayed
        across sessions; MAY incorporate it.</li>
        <li>act_type — TOOL_CALL, or BROWSER_ACTION /
        COMPUTER_USE when name is in the computer-use
        family.</li>
        <li>tool.tool_id and function_id — name.</li>
        <li>tool.tool_protocol — LOCAL_FUNCTION or MCP.</li>
        <li>arguments_digest — hash of JCS(input) or
        documented canonical JSON.</li>
        <li>instruction_provenance.source_type — user,
        retrieval, tool, or unknown as the host can
        attest.</li>
        <li>finality_sink.sink_type — TOOL_DISPATCH or
        BROWSER_CONTROLLER.</li>
      </ul>
      <t>On deny, the host MUST append a tool_result for
      that id whose content is an error object, not a
      successful send. On allow, invoke then append
      the real result. The model is allowed to
      recover. The world is not allowed to change on
      deny.</t>
      <section>
        <name>Computer Use</name>
        <t>Each consequential action (click, type-submit,
        file download) is its own Candidate Act.
        screenshot and cursor moves MAY be
        INFORMATIONAL if they cannot exfiltrate.
        A submit that posts a form MUST bind a digest
        over the live form values, not over the
        model's text description of the click.
        Origin change MUST invalidate prior
        authority.</t>
        <t>Informative computer-use action names vary by
        preview API. Treat left_click, type, and
        key(Enter) on a focused form as potential
        COMMUNICATION or FINANCIAL if the focused
        origin is a mail, bank, or admin host.
        Treat screenshot as DATA_DISCLOSURE when
        the frame can contain secrets (password
        managers, MFA QR, customer PII). A single
        "computer use session allow" MUST NOT
        authorize every later action in the
        session.</t>
        <t>The live digest SHOULD include origin,
        destination URL if known, and a
        stable serialization of the filled
        fields. If the controller cannot read
        those fields, it MUST escalate or deny
        rather than click on narration alone.
        This is the computer-use form of
        argument substitution.</t>
      </section>
    </section>

    <section anchor="map-openai">
      <name>Binding: OpenAI tool_calls and Responses</name>
      <t>Informative source shape:</t>
      <sourcecode type="json"><![CDATA[
{
  "id": "call_8f3",
  "type": "function",
  "function": {
    "name": "payout_create",
    "arguments": "{\"amount\":\"150.00\",\"currency\":\"EUR\",\"beneficiary\":\"vendor-441\"}"
  }
}
]]></sourcecode>
      <t>Mapping MUST parse arguments as JSON, then
      canonicalize the object, then hash. Hashing the
      raw string is allowed only if the host guarantees
      one serialization. Two equivalent JSON strings
      MUST NOT produce two different authorities that
      both can run.</t>
      <t>function.name maps to tool_id and function_id.
      Parallel tool_calls[] are parallel Candidate
      Acts. Each MUST be enforced separately. A
      single ALLOW for the message MUST NOT authorize
      every call in the array.</t>
      <t>Responses API tool outputs and Assistants
      tool-output submits are the same sink moment:
      before the host runs the function map. GPT
      Actions that HTTP POST to a customer API are
      API_REQUEST acts; destination is the Action
      server URL.</t>
    </section>

    <section anchor="map-mcp">
      <name>Binding: MCP tools/call</name>
      <t>Informative request:</t>
      <sourcecode type="json"><![CDATA[
{
  "jsonrpc": "2.0",
  "id": 4,
  "method": "tools/call",
  "params": {
    "name": "repo_deploy",
    "arguments": { "env": "prod", "ref": "main" }
  }
}
]]></sourcecode>
      <t>The conforming placement is the MCP *client*
      dispatcher, not each server. One enforcer sees
      every server the agent can reach. Server
      identity MUST enter destination or
      tool.tool_endpoint so a swapped server with the
      same tool name fails sink or destination
      match.</t>
      <t>On deny the client MUST NOT send tools/call, or
      MUST send it only to a server that is itself a
      cooperating sink and will refuse. Returning an
      MCP error to the model is required so the loop
      does not treat silence as success.</t>
      <t>tools/list remains discovery. list results MUST
      NOT issue AgentFinalityAuthority.</t>
    </section>

    <section anchor="streaming">
      <name>Streaming, Partial Blocks, and Parallel Calls</name>
      <t>Both labs stream tokens. A partial tool_use or
      partial function.arguments string MUST remain
      non-effective. enforce() MUST run only on the
      finalized block. Invoking on a partial JSON
      object is non-conforming.</t>
      <t>Parallel tool_calls and multiple tool_use blocks
      in one assistant message are independent acts.
      The host MAY validate them concurrently. It
      MUST NOT treat one ALLOW as covering siblings.
      If one call is FINANCIAL and one is
      INFORMATIONAL, only the FINANCIAL call escalates.
      A deny on one call MUST NOT be "fixed" by
      invoking the others first and hoping the model
      forgets.</t>
      <t>Retries after transport failure MUST reuse the
      same candidate_act_id only when the consume bit
      is unread and the digest is unchanged. If
      consume already happened, retry is a new act or
      a fetch of the original tool_result, never a
      second invoke.</t>
    </section>

    <section anchor="schema">
      <name>AgentCandidateAct Schema Recalled for Implementers</name>
      <t>The normative schema lives in
      <xref target="I-D.das-agentic"/>. It is repeated
      here so this binding can be implemented from one
      document on a first reading.</t>
      <sourcecode type="json"><![CDATA[
{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "urn:ietf:params:json-schema:agent-finality:candidate-act:1",
  "title": "AgentCandidateAct",
  "type": "object",
  "additionalProperties": false,
  "required": [
    "version", "object_type", "candidate_act_id", "act_type",
    "created_at", "expires_at", "initiating_principal", "agent",
    "tool", "purpose", "arguments_digest", "consequence_class",
    "policy_state", "freshness", "finality_sink"
  ],
  "properties": {
    "act_type": {
      "type": "string",
      "enum": [
        "TOOL_CALL", "FUNCTION_CALL", "API_REQUEST",
        "BROWSER_ACTION", "SHELL_ACTION", "MESSAGE_SEND",
        "FILE_WRITE", "MEMORY_WRITE", "AGENT_DELEGATION",
        "PAYMENT_REQUEST", "COMPUTER_USE", "OTHER"
      ]
    },
    "tool": {
      "type": "object",
      "required": ["tool_id", "function_id"],
      "properties": {
        "tool_id": { "type": "string" },
        "function_id": { "type": "string" },
        "tool_endpoint": { "type": "string" },
        "tool_protocol": {
          "type": "string",
          "enum": [
            "MCP", "HTTP_API", "LOCAL_FUNCTION",
            "BROWSER", "SHELL", "A2A",
            "ANTHROPIC_TOOL_USE", "OPENAI_TOOL_CALL", "OTHER"
          ]
        }
      }
    },
    "consequence_class": {
      "type": "string",
      "enum": [
        "INFORMATIONAL", "DATA_DISCLOSURE",
        "PERSISTENT_STATE_CHANGE", "FINANCIAL",
        "NETWORK_CONTROL", "PHYSICAL", "COMMUNICATION", "OTHER"
      ]
    }
  }
}
]]></sourcecode>
    </section>

    <section anchor="fieldmap">
      <name>Field-by-Field Mapping Tables</name>
      <section>
        <name>Anthropic tool_use to AgentCandidateAct</name>
        <t>type=tool_use → act_type TOOL_CALL.
        id → incorporated into candidate_act_id.
        name → tool_id and function_id.
        input → canonicalized into arguments_digest.
        Host session id → freshness.session_id.
        Workspace org → initiating_principal.
        Model name from the request → agent.model_id.
        computer_2025xxxx tools → act_type COMPUTER_USE
        and sink BROWSER_CONTROLLER.</t>
      </section>
      <section>
        <name>OpenAI tool_calls to AgentCandidateAct</name>
        <t>id call_* → incorporated into
        candidate_act_id. type=function → TOOL_CALL.
        function.name → tool_id. function.arguments
        parsed object → arguments_digest.
        Parallel index is not authority; each id is
        an act. Responses API function_call items
        use the same map. Custom GPT Action
        operationId MAY populate function_id when
        name is generic.</t>
      </section>
      <section>
        <name>MCP tools/call to AgentCandidateAct</name>
        <t>params.name → tool_id. params.arguments →
        digest. jsonrpc id is not candidate_act_id
        (it can collide across servers). Server
        URL or server name → tool_endpoint and
        destination. Protocol MCP. A
        notifications/message that asks the host to
        call a tool is the same map if the host
        would invoke.</t>
      </section>
    </section>

    <section anchor="denies">
      <name>Worked Denies the Labs Will Recognize</name>
      <sourcecode type="json"><![CDATA[
{
  "scenario": "INJECTED_EMAIL_SEND",
  "vendor": "anthropic",
  "block": { "name": "email_send", "input": { "to": "attacker@ex.com" } },
  "reason": "provenance=retrieval and consequence=COMMUNICATION",
  "enforce": { "allow": false, "code": "EF_INSTRUCTION_PROVENANCE_FAILURE" },
  "invoked": false,
  "tool_result": { "is_error": true }
}
]]></sourcecode>
      <sourcecode type="json"><![CDATA[
{
  "scenario": "PARALLEL_PAY_AND_SEARCH",
  "vendor": "openai",
  "tool_calls": [
    { "name": "search", "result": "enforce_hot_allow" },
    { "name": "payout_create", "result": "enforce_deny_envelope" }
  ],
  "rule": "search invoke does not authorize payout invoke"
}
]]></sourcecode>
      <sourcecode type="json"><![CDATA[
{
  "scenario": "MCP_SERVER_SWAP",
  "name": "repo_deploy",
  "authorized_endpoint": "mcp://git.example/prod",
  "live_endpoint": "mcp://git.attacker/prod",
  "enforce": { "allow": false, "code": "EF_DESTINATION_MISMATCH" }
}
]]></sourcecode>
      <sourcecode type="json"><![CDATA[
{
  "scenario": "COMPUTER_USE_ORIGIN_CHANGE",
  "authorized_origin": "https://pay.example/checkout",
  "live_origin": "https://pay.example-evil/checkout",
  "enforce": { "allow": false, "code": "EF_DESTINATION_MISMATCH" }
}
]]></sourcecode>
    </section>

    <section anchor="hooks">
      <name>Where to Put the Hook in Shipping Runtimes</name>
      <t>Anthropic Messages API: after the application
      assembles content blocks, before the developer
      function table runs. Computer-use beta: inside
      the controller that turns action items into OS
      events, before the event is sent.</t>
      <t>OpenAI Chat Completions: after tool_calls is
      parsed, before the function map. Assistants
      API: before submitting tool outputs that the
      host computed by running code. Responses API:
      before executing function_call items.
      Agents SDK: a before_tool_call callback if
      present; otherwise wrap the tool implementation
      objects the SDK receives.</t>
      <t>MCP TypeScript and Python reference clients:
      wrap Client.callTool. IDE agents that embed
      MCP (desktop hosts) wrap the same method so
      every server inherits the gate.</t>
    </section>

    <section anchor="workflow">
      <name>Host-Loop Workflow</name>
      <ol>
        <li>Receive model output or MCP request.</li>
        <li>For each tool block, parse name and
        arguments.</li>
        <li>Canonicalize arguments. Compute
        arguments_digest.</li>
        <li>Build AgentCandidateAct
        <xref target="I-D.das-agentic"/>.</li>
        <li>HOLD_NON_EFFECTIVE.</li>
        <li>PED_VALIDATE (local hot path or escalate).</li>
        <li>Commit evidence. Issue authority.</li>
        <li>DISPATCH_SINK_INVOKE: verify live digest,
        sink, epochs, consume.</li>
        <li>Only then call the vendor SDK, local
        function, or MCP transport.</li>
        <li>Map deny to the vendor error shape. Do
        not invoke on timeout.</li>
      </ol>
    </section>

    <section anchor="pseudocode">
      <name>Reference Host Loop</name>
      <sourcecode type="pseudocode"><![CDATA[
function HANDLE_ANTHROPIC_MESSAGE(msg, ctx):
    for block in msg.content where block.type == "tool_use":
        act = map_tool_use(block, ctx)
        decision = enforce(act, block.input)
        if decision.allow:
            raw = invoke(block.name, block.input)
            append_tool_result(block.id, raw)
        else:
            append_tool_result(block.id, {
              "error": decision.code,
              "message": decision.message
            })

function HANDLE_OPENAI_MESSAGE(msg, ctx):
    for call in msg.tool_calls:
        args = parse_json(call.function.arguments)
        act = map_tool_call(call, args, ctx)
        decision = enforce(act, args)
        if decision.allow:
            raw = invoke(call.function.name, args)
            append_tool_output(call.id, raw)
        else:
            append_tool_output(call.id, error_payload(decision))

function HANDLE_MCP_TOOLS_CALL(req, ctx):
    act = map_mcp(req, ctx)
    decision = enforce(act, req.params.arguments)
    if not decision.allow:
        return mcp_error(decision)
    return transport_tools_call(req)
]]></sourcecode>
    </section>

    <section anchor="enforce">
      <name>enforce() Contract</name>
      <t>A library advertised as implementing this
      binding MUST expose a function with this
      behavior, regardless of language:</t>
      <sourcecode type="pseudocode"><![CDATA[
enforce(act: AgentCandidateAct, live_args: object) ->
    { allow: bool, authority_id?: string, code?: string, message?: string }

# MUST:
# 1. hash live_args with the same canonicalization as act.arguments_digest
# 2. refuse if hashes differ
# 3. refuse if authority missing, expired, consumed, or sink-mismatched
# 4. consume single-use authority before returning allow=true
# 5. never return allow=true on timeout or uncertain epoch
]]></sourcecode>
      <t>Returning allow=true and then failing to
      consume is non-conforming. Logging a deny and
      invoking anyway is non-conforming.</t>
    </section>

    <section anchor="json">
      <name>JSON Objects Used on the Wire</name>
      <t>The Candidate Act schema is
      <xref target="I-D.das-agentic"/>. This binding
      adds only mapped examples and the host error
      object.</t>
      <section>
        <name>Mapped Claude Block</name>
        <sourcecode type="json"><![CDATA[
{
  "version": "1.0",
  "object_type": "agent_candidate_act",
  "candidate_act_id": "act-toolu-01A-sess55",
  "act_type": "TOOL_CALL",
  "agent": {
    "agent_id": "claude-work-seat-12",
    "runtime_id": "anthropic-host-loop",
    "model_id": "claude-family",
    "delegation_depth": 0
  },
  "tool": {
    "tool_id": "email_send",
    "function_id": "email_send",
    "tool_protocol": "LOCAL_FUNCTION"
  },
  "purpose": {
    "purpose_id": "user-turn",
    "declared_purpose": "send invoice email"
  },
  "arguments_digest": {
    "algorithm": "SHA-256",
    "value": "base64url-args",
    "canonicalization": "JCS"
  },
  "destination": { "destination_id": "smtp-gw-1" },
  "consequence_class": "COMMUNICATION",
  "policy_state": {
    "policy_epoch": 9,
    "authority_epoch": 3,
    "revocation_epoch": 1
  },
  "freshness": { "nonce": "C0FFEE11DEADBEEF" },
  "instruction_provenance": { "source_type": "user" },
  "finality_sink": {
    "sink_id": "host-dispatch-1",
    "sink_type": "TOOL_DISPATCH"
  }
}
]]></sourcecode>
      </section>
      <section>
        <name>Mapped OpenAI Payout Call</name>
        <sourcecode type="json"><![CDATA[
{
  "object_type": "agent_candidate_act",
  "act_type": "TOOL_CALL",
  "tool": {
    "tool_id": "payout_create",
    "function_id": "payout_create",
    "tool_protocol": "HTTP_API"
  },
  "arguments_digest": {
    "algorithm": "SHA-256",
    "value": "base64url-args",
    "canonicalization": "JCS"
  },
  "consequence_class": "FINANCIAL",
  "destination": { "destination_id": "psp.example" },
  "finality_sink": {
    "sink_id": "host-dispatch-1",
    "sink_type": "TOOL_DISPATCH"
  }
}
]]></sourcecode>
        <t>If the handler would move funds, a
        PaymentCandidateAct from
        <xref target="I-D.das-payment"/> MUST also be
        enforced before the PSP SDK.</t>
      </section>
      <section>
        <name>Host Deny Payload Back to the Model</name>
        <sourcecode type="json"><![CDATA[
{
  "error": {
    "code": "EF_SCOPE_MISMATCH",
    "message": "Live arguments are not the authorized digest.",
    "retryable": false,
    "invoked": false
  }
}
]]></sourcecode>
      </section>
      <section>
        <name>Complete Claude Turn</name>
        <sourcecode type="json"><![CDATA[
{
  "step_1_block": {
    "type": "tool_use",
    "name": "maps_search",
    "status": "NON_EFFECTIVE"
  },
  "step_2_enforce": {
    "allow": true,
    "authority_id": "afa-c7d32d54",
    "consumed": true
  },
  "step_3_invoke": { "tool": "maps_search", "once": true },
  "step_4_tool_result": { "id": "toolu_01A", "ok": true }
}
]]></sourcecode>
      </section>
    </section>

    <section anchor="feasibility">
      <name>Practical Feasibility: Latency and Legacy Loops</name>
      <section>
        <name>Do Not Change the Model</name>
        <t>The binding is host-side. No tokenizer change,
        no tool-schema change, no fine-tune is required
        for v1. That is why a lab can trial this on
        one enterprise workspace without a model
        release.</t>
      </section>
      <section>
        <name>Latency Budget</name>
        <t>Tool loops are already dominated by the model
        forward pass and the tool I/O. enforce() on
        the hot path is: canonicalize JSON, SHA-256,
        MAC or signature verify, compare-and-swap on a
        consume row. Representative added cost is
        sub-millisecond to a few milliseconds on the
        same host — negligible next to a 200-2000 ms
        model call. Cold path (new tool, unknown
        destination, FINANCIAL class, unknown
        provenance) MAY add a policy fetch. Timeout
        of that fetch MUST deny, not invoke.</t>
      </section>
      <section>
        <name>Legacy Host Loops</name>
        <t>Existing OpenAI and Anthropic examples are
        ten-line for-loops. The feasible change is
        wrapping invoke, not rewriting the product.
        A feature flag "enforce_tools=true" on a
        workspace is a conforming pilot. Workspaces
        left on false are known alternate paths and
        MUST be listed if they can reach the same
        side-effecting tools.</t>
        <t>SDKs that invoke tools internally (some
        Agents runtimes) MUST expose a pre-invoke
        hook or MUST be wrapped at the HTTP client
        that talks to the tool backend. If neither
        hook exists, the deployment cannot claim this
        binding for those tools.</t>
      </section>
      <section>
        <name>MCP Without Server Changes</name>
        <t>Servers can stay unmodified if the client
        enforcer is in-line. Cooperating servers MAY
        later verify the authority object themselves.
        That is an enhancement, not a v1 requirement.
        Flag-day replacement of every MCP server is
        not required and not recommended.</t>
      </section>
      <section>
        <name>Computer Use Without a New Browser</name>
        <t>The sink is the existing controller process
        that issues clicks. Digest the live DOM or
        form state you already read to click. If you
        cannot digest the live values, those submits
        MUST be treated as cold path or denied. Do
        not invent a second browser.</t>
      </section>
      <section>
        <name>What This Binding Does Not Require</name>
        <t>It does not require a TEE on day one. It
        does not require vaults from
        <xref target="I-D.das-enterprise"/> on day
        one. It does not require Anthropic or OpenAI
        to accept a patch. It requires the host that
        already runs the loop to stop treating the
        block as a capability.</t>
      </section>
    </section>

    <section anchor="industry">
      <name>How Labs and Customers Use It</name>
      <section>
        <name>Anthropic-Class Workspace</name>
        <t>Enable enforce() on tools marked
        COMMUNICATION, FINANCIAL,
        PERSISTENT_STATE_CHANGE, or computer-use
        submit. Leave maps.search on a hot envelope.
        Measure denies that would have been sends.
        That metric is the procurement answer.</t>
      </section>
      <section>
        <name>OpenAI-Class Workspace</name>
        <t>Same split for Actions and function tools.
        Memory writes go through enforce() as
        MEMORY_WRITE. Share-chat and file export are
        Output Release Boundaries under
        <xref target="I-D.das-enterprise"/> when the
        content is a reconstructed view; they are
        still tool-shaped if implemented as tools.</t>
      </section>
      <section>
        <name>Platform Customers</name>
        <t>A bank or hospital that cannot wait for a
        vendor-native hook wraps the tool handlers
        they wrote. That is enough for tools they
        own. Tools the vendor invokes inside a
        black box remain an alternate path until the
        vendor exposes the hook.</t>
      </section>
    </section>

    <section anchor="classes">
      <name>Default Consequence Classes for Common Tools</name>
      <t>Hosts SHOULD assign consequence_class before
      enforce(), not after the model names the tool.
      Informative defaults:</t>
      <ul>
        <li>search, retrieve, get_weather —
        INFORMATIONAL</li>
        <li>email_send, slack_post, tweet —
        COMMUNICATION</li>
        <li>file_write, db_update, memory_write,
        ticket_create — PERSISTENT_STATE_CHANGE</li>
        <li>payout, refund, capture, wire —
        FINANCIAL (also
        <xref target="I-D.das-payment"/>)</li>
        <li>deploy, kubectl, iam_attach —
        PERSISTENT_STATE_CHANGE or
        NETWORK_CONTROL</li>
        <li>computer_use submit, browser_navigate
        to new origin — DATA_DISCLOSURE or
        COMMUNICATION depending on the form</li>
        <li>shell / bash — at least
        PERSISTENT_STATE_CHANGE; treat as cold
        path unless the envelope names the exact
        binary</li>
      </ul>
      <t>Misclassifying payout as INFORMATIONAL is a
      profile failure, not a model failure.</t>
    </section>

    <section anchor="memory">
      <name>Memory, Projects, and Persistent Notes</name>
      <t>Claude projects and ChatGPT memory are tool-
      shaped even when they are not named tools.
      A host that writes extracted facts into a
      memory store MUST treat that write as
      MEMORY_WRITE. Otherwise an injected turn
      stores a join that later turns treat as
      user provenance. That is how present theft
      becomes future mapping without another
      tool_use <xref target="DAS-ISOLATION"/>.</t>
    </section>

    <section anchor="tests">
      <name>Conformance Tests a Lab Can Run Overnight</name>
      <t>T-A: emit tool_use email_send to an address
      not in the user turn; expect invoke=false.
      T-B: two OpenAI tool_calls, search and
      payout; expect payout denied when above
      envelope. T-C: replay the same authority_id
      on a second invoke; expect deny. T-D: MCP
      call with swapped server URL; expect
      destination deny. T-E: computer-use submit
      after origin change; expect deny. T-F:
      measure enforce() p99 under 10 ms on hot
      search. T-G: kill the host after consume
      and before invoke; on restart do not
      invoke again.</t>
      <t>A workspace that passes T-A through T-G
      can be shown to an enterprise security
      review without a new model checkpoint.</t>
    </section>

    <section anchor="errors">
      <name>Error Mapping</name>
      <t>EF codes from <xref target="I-D.das-agentic"/>
      SHOULD be copied into the vendor error payload
      as machine-readable strings. retryable=true
      only for EF-060 timeout where policy allows a
      bounded retry of *validation*, never a retry
      that skips enforce(). Models that respond to
      deny by emitting a different tool_use are
      starting a new Candidate Act. That is
      expected.</t>
    </section>

    <section anchor="threats">
      <name>Threats This Binding Makes Local</name>
      <ul>
        <li>T1 Direct prompt injection → extra
        tool_use</li>
        <li>T2 Indirect injection in retrieved
        files</li>
        <li>T6 Tool name confusion / substitution</li>
        <li>T7 MCP server substitution</li>
        <li>T14 Replay of a previous tool block
        id</li>
        <li>T17 Alternate path: raw HTTP next to
        the SDK</li>
        <li>T18 Computer-use submit around API
        tools</li>
      </ul>
      <t>Threats that need the enterprise profile
      (join of identity and content) are out of
      scope here except as provenance=unknown plus
      high consequence_class → escalate.</t>
    </section>

    <section anchor="checklist">
      <name>Implementation Checklist</name>
      <ol>
        <li>Every side-effecting tool handler is
        reachable only through enforce().</li>
        <li>arguments_digest is over canonical
        JSON, not over the model's prose.</li>
        <li>Parallel tool_calls are separate
        acts.</li>
        <li>Deny returns an error block; invoked
        is false.</li>
        <li>Timeout does not invoke.</li>
        <li>MCP client, not only servers, runs
        enforce().</li>
        <li>Computer-use submit has a live-value
        digest.</li>
        <li>p99 added latency of enforce() is
        measured.</li>
        <li>Tools the vendor invokes without a
        hook are listed as open alternate
        paths.</li>
      </ol>
    </section>

    <section anchor="security">
      <name>Security Considerations</name>
      <t>If enforce() runs in the same process as a
      fully compromised host that can also call the
      tool backend directly, the binding is only as
      strong as alternate-path closure. Production
      hosts SHOULD block raw credentials from
      application code paths that skip enforce(), or
      SHOULD put the sink in a sidecar that owns
      the tool credentials.</t>
      <t>Model-visible deny messages MUST NOT leak
      other users' data. They MAY name the EF
      code.</t>
    </section>

    <section anchor="privacy">
      <name>Privacy Considerations</name>
      <t>Argument objects often contain recipients and
      PII. Logs SHOULD store digests, not raw
      arguments, once enforce() has run. Mapping
      layers MUST NOT write full tool input to a
      shared debug bus by default.</t>
    </section>

    <section anchor="code">
      <name>Informative Host Wrappers</name>
      <t>The following sketches are informative. They
      exist so a lab or customer engineer can see
      that the binding is a wrap of invoke, not a
      new assistant protocol.</t>
      <section>
        <name>Python</name>
        <sourcecode type="python"><![CDATA[
def enforce(act, live_args, store, sink_id):
    live = digest(canonicalize(live_args))
    if live != act["arguments_digest"]["value"]:
        return Deny("EF_SCOPE_MISMATCH")
    auth = store.get(act["candidate_act_id"])
    if not auth or auth.consumed or auth.expired():
        return Deny("EF_002")
    if auth.sink_id != sink_id:
        return Deny("EF_040")
    if not store.consume_cas(auth.authority_id):
        return Deny("EF_005")
    return Allow(auth.authority_id)

def handle_tool_use(block, ctx):
    act = map_tool_use(block, ctx)
    decision = enforce(act, block["input"], ctx.store, ctx.sink_id)
    if not decision.allow:
        return {"error": decision.code, "invoked": False}
    return invoke(block["name"], block["input"])
]]></sourcecode>
      </section>
      <section>
        <name>TypeScript</name>
        <sourcecode type="typescript"><![CDATA[
async function enforce(act: Act, live: object, store: Store, sink: string) {
  const d = digest(canonicalize(live));
  if (d !== act.arguments_digest.value) return deny("EF_SCOPE_MISMATCH");
  const auth = await store.get(act.candidate_act_id);
  if (!auth || auth.consumed || auth.expired()) return deny("EF_002");
  if (auth.sink_id !== sink) return deny("EF_040");
  const ok = await store.consumeCAS(auth.authority_id);
  if (!ok) return deny("EF_005");
  return allow(auth.authority_id);
}

async function onOpenAIToolCalls(calls: ToolCall[], ctx: Ctx) {
  const out = [];
  for (const c of calls) {
    const args = JSON.parse(c.function.arguments);
    const act = mapToolCall(c, args, ctx);
    const d = await enforce(act, args, ctx.store, ctx.sink);
    out.push(d.allow
      ? await invoke(c.function.name, args)
      : { error: d.code, invoked: false });
  }
  return out;
}
]]></sourcecode>
        <t>These functions are the entire v1 product
        surface. Vaults, TEEs, and RAOs can wrap
        later. If invoke is reachable without
        enforce, the sketches are documentation,
        not a binding.</t>
      </section>
    </section>

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

    <section anchor="ipr-note">
      <name>Intellectual Property Note</name>
      <t>Related concepts appear in the DAS Protocols
      family, including PCT/IB2026/055615. IETF
      disclosure should follow BCP 79
      <xref target="RFC8179"/>.</t>
    </section>

    <section anchor="conclusion">
      <name>Conclusion</name>
      <t>Claude will keep emitting tool_use. ChatGPT
      will keep emitting tool_calls. MCP will keep
      emitting tools/call. None of those blocks is
      permission to touch the world. Bind them to
      an AgentCandidateAct, consume authority at
      the host sink, then invoke. The model vendor
      does not have to change. The host loop
      does.</t>
    </section>
  </middle>
  <back>
    <references>
      <name>Normative References</name>
      <reference anchor="RFC2119" target="https://www.rfc-editor.org/info/rfc2119">
        <front>
          <title>Key words for use in RFCs to Indicate Requirement Levels</title>
          <author initials="S." surname="Bradner" fullname="S. Bradner"/>
          <date year="1997" month="March"/>
        </front>
        <seriesInfo name="BCP" value="14"/>
        <seriesInfo name="RFC" value="2119"/>
      </reference>
      <reference anchor="RFC8174" target="https://www.rfc-editor.org/info/rfc8174">
        <front>
          <title>Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words</title>
          <author initials="B." surname="Leiba" fullname="B. Leiba"/>
          <date year="2017" month="May"/>
        </front>
        <seriesInfo name="BCP" value="14"/>
        <seriesInfo name="RFC" value="8174"/>
      </reference>
      <reference anchor="RFC8179" target="https://www.rfc-editor.org/info/rfc8179">
        <front>
          <title>Intellectual Property Rights in IETF Technology</title>
          <author initials="S." surname="Bradner" fullname="S. Bradner"/>
          <author initials="J." surname="Contreras" fullname="J. Contreras"/>
          <date year="2017" month="May"/>
        </front>
        <seriesInfo name="BCP" value="79"/>
        <seriesInfo name="RFC" value="8179"/>
      </reference>
    </references>
    <references>
      <name>Informative References</name>
      <reference anchor="I-D.das-agentic">
        <front>
          <title>Tool Selection Is Not Execution: Finality for Agentic Tool Dispatch</title>
          <author fullname="Sangam Das" initials="S." surname="Das"/>
          <date year="2026" month="August"/>
        </front>
        <seriesInfo name="Internet-Draft" value="draft-das-agentic-execution-finality-01"/>
      </reference>
      <reference anchor="I-D.das-payment">
        <front>
          <title>A Signed Instruction Is Not Settlement: Finality for Agentic and API Payments</title>
          <author fullname="Sangam Das" initials="S." surname="Das"/>
          <date year="2026" month="August"/>
        </front>
        <seriesInfo name="Internet-Draft" value="draft-das-payment-execution-finality-00"/>
      </reference>
      <reference anchor="I-D.das-enterprise">
        <front>
          <title>A Compromised AI Server Must Not Become a Map of the Enterprise</title>
          <author fullname="Sangam Das" initials="S." surname="Das"/>
          <date year="2026" month="August"/>
        </front>
        <seriesInfo name="Internet-Draft" value="draft-das-enterprise-ai-output-finality-00"/>
      </reference>
      <reference anchor="DAS-ISOLATION" target="https://doi.org/10.5281/zenodo.22082925">
        <front>
          <title>Why the Next AI War Will Be Won on Isolation, Not Intelligence</title>
          <author fullname="Sangam Das" initials="S." surname="Das"/>
          <date year="2026"/>
        </front>
        <seriesInfo name="DOI" value="10.5281/zenodo.22082925"/>
      </reference>
    </references>
  </back>
</rfc>
