<?xml version="1.0" encoding="UTF-8"?>
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" version="3" category="info" ipr="trust200902" docName="draft-okutomi-session-bound-agent-identity-02" submissionType="IETF" xml:lang="en">
  <front>
    <title abbrev="Core Agent Identity">A Core Acceptance Profile for Session-Bound Agent Identity</title>
    <seriesInfo name="Internet-Draft" value="draft-okutomi-session-bound-agent-identity-02"/>
    <author initials="A." surname="Okutomi" fullname="Akira Okutomi">
      <organization>Individual</organization>
      <address>
        <email>okutomi+ietf@pm.me</email>
      </address>
    </author>
    <date year="2026" month="June" day="25"/>
    <area>Security</area>
    <workgroup>Individual Submission</workgroup>
    <keyword>agent identity</keyword>
    <keyword>TLS exporter</keyword>
    <keyword>proof of possession</keyword>
    <keyword>remote attestation</keyword>
    <keyword>workload identity</keyword>
    <abstract>
      <t>This document defines a core verifier-side acceptance profile for session-bound Agent identity. A verifier accepts an Agent only when a verified authority grant, holder-of-key proof, accepted TLS or exported-authenticator session, freshness and replay state, any required attestation result, and verifier-local policy all describe the same intended interaction.</t>
      <t>This document does not define a TLS extension, attestation evidence format, identity provider, holder-side presentation format, registry, control plane, gateway, or application protocol. Instead, it defines the fail-closed acceptance rule for composing existing Internet mechanisms at the verifier boundary.</t>
    </abstract>
  </front>
  <middle>
<section anchor="introduction">
<name>Introduction</name>
<t>Automated agents often combine transport authentication, signed authorization material, platform attestation, and local policy. Each component can verify successfully while the composition still authenticates the wrong session, task, platform, or Agent.</t>
<t>This document defines a deterministic verifier-side acceptance gate. The verifier accepts a peer only when the authenticated identity, session binding, freshness and replay state, any required attestation state, and verifier-local policy describe the same intended interaction.</t>
<t>This core profile does not change TLS <xref target="RFC8446"/>, exported authenticators <xref target="RFC9261"/>, remote attestation roles <xref target="RFC9334"/>, JWT/JWS, CWT/COSE, OAuth, or HTTP.</t>
<t>Existing sender-constraining mechanisms can prove possession of a key, and attestation mechanisms can appraise evidence, but they do not by themselves define the verifier-side rule that the authority grant, live TLS session, request context, replay state, attestation result, and local policy all refer to the same intended interaction.</t>
</section>
<section anchor="terminology">
<name>Terminology</name>
<t>The key words &quot;MUST&quot;, &quot;MUST NOT&quot;, &quot;REQUIRED&quot;, &quot;SHALL&quot;, &quot;SHALL NOT&quot;, &quot;SHOULD&quot;, &quot;SHOULD NOT&quot;, &quot;RECOMMENDED&quot;, &quot;NOT RECOMMENDED&quot;, &quot;MAY&quot;, and &quot;OPTIONAL&quot; 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>
<dl newline="false" spacing="normal">
<dt>Core profile</dt>
<dd>The verifier-side acceptance rules defined by this document. The core profile is not a complete wire-binding profile by itself.</dd>
<dt>Binding profile</dt>
<dd>A specification that instantiates the core profile for a protocol or deployment by fixing wire representation, canonicalization, exporter label, replay rules, diagnostic behavior, and other protocol-specific inputs.</dd>
<dt>Deployment profile</dt>
<dd>Deployment policy that selects trusted issuers, local expected values, attestation requirements, disclosure policy, and operational limits.</dd>
<dt>Agent</dt>
<dd>The workload, process, service component, or automated actor whose identity is being accepted by the verifier.</dd>
<dt>Principal</dt>
<dd>A person or organization on whose behalf an Agent acts.</dd>
<dt>Verifier</dt>
<dd>The party that authenticates the grant, checks the session binding, evaluates freshness and replay state, and compares the result with local policy before returning an accepted identity to the application.</dd>
<dt>Policy authority</dt>
<dd>A locally trusted issuer of authority statements.</dd>
<dt>Authority grant</dt>
<dd>A signed or MACed authority statement issued by a policy authority. It authorizes upper-layer identity, task, and authorization values. It does not prove that the authorized Agent is present on the current TLS session.</dd>
<dt>Session proof</dt>
<dd>A holder-of-key proof that binds one verified authority grant to one accepted TLS or exported-authenticator session. It proves possession and session binding. It does not authorize service, tenant, task, scope, resource, or capability values.</dd>
<dt>Expected value</dt>
<dd>A verifier-local policy input.</dd>
<dt>Observed value</dt>
<dd>A value extracted from authenticated grants, session-bound statements, attestation results, trusted manifests, or locally derived request state. An observed value does not become an expected value without a trusted local policy decision.</dd>
<dt>Wrong-context acceptance</dt>
<dd>Accepting cryptographically valid material for a different service, tenant, Agent, task, delegation, or authority boundary than the verifier intended. Context diversion is a failure description, not a wire mechanism.</dd>
<dt>Intermediary</dt>
<dd>A gateway, relay, proxy, broker, service on the communication path, or component that terminates transport security for either side.</dd>
<dt>Acceptance decision</dt>
<dd>Returning a peer identity or authorization result to the application as profile-authenticated. For one-shot bindings, replay state is committed before this decision is returned.</dd>
</dl>
</section>
<section anchor="scope-and-non-goals">
<name>Scope and Non-Goals</name>
<t>This core profile defines verifier behavior before an application treats an accepted TLS peer as the intended platform, service, Agent, task, or authorized actor. It binds accepted TLS and post-handshake attestation facts, authenticated identity and authorization material, and verifier-local expected policy.</t>
<t>This document uses &quot;Agent&quot; broadly. The accepted identity can represent a workload, process, service component, or automated actor, depending on the binding profile and local policy. This document does not require a universal Agent namespace or a common semantic definition of agenthood.</t>
<t>The core profile does not select an identity provider, define a wire-token format, change attestation evidence or TLS, define holder-side presentation behavior, define discovery or rendezvous, or provide a complete authorization framework.</t>
<t>A requirement belongs here only if omitting it could cause acceptance of the wrong live session, wrong service or tenant, wrong Agent, wrong task, stale or replayed state, peer-selected policy, or a security result reused outside its intended request.</t>
</section>
<section anchor="core-invariant">
<name>Core Invariant</name>
<t>A verifier MUST NOT return a profile-authenticated Agent identity unless the verified authority grant, holder-of-key proof, accepted TLS or exported-authenticator session, freshness and replay state, any required attestation result, and verifier-local policy all identify the same intended interaction.</t>
<t>The intended interaction is determined by verifier-local expected values and trusted policy inputs, not by peer-provided descriptive metadata.</t>
<t>Before this acceptance decision succeeds, all peer-provided identity, task, scope, service, tenant, capability, attestation-related, and diagnostic values are observed values only. They do not define the verifier&#x27;s expected policy.</t>
<t>No inference, alias repair, display-name matching, peer-selected exporter label, or reserialized semantic metadata is part of the final acceptance path unless a binding profile and local policy explicitly define it.</t>
</section>
<section anchor="design-intent">
<name>Design Intent</name>
<t>This core profile is intentionally conservative. It does not create an Agent namespace, governance layer, registry, rendezvous service, mandatory intermediary, or application semantic model. Its purpose is to make existing Internet mechanisms compose safely at the verifier&#x27;s acceptance boundary.</t>
<t>Application semantics remain with application protocols and deployment profiles. This keeps the core profile usable across deployments without requiring unnecessary centralization or replacement of existing RFC-defined mechanisms.</t>
</section>
<section anchor="internet-applicability-and-deployment-assumptions">
<name>Internet Applicability and Deployment Assumptions</name>
<t>This core profile is usable in open Internet and enterprise deployments. Closed-world provisioning and prior bilateral relationships are deployment choices, not protocol requirements. A verifier still requires a local trust path to each issuer, attestation result, trust framework, or other accepted authority; otherwise acceptance fails closed.</t>
<t>No globally trusted authority, registry, rendezvous service, gateway, online authority, transparency log, or control plane is required. Intermediaries are not trusted by default; a component that terminates transport security is a separate relying party and sees only the claims and payloads disclosed to it.</t>
<t>When an Agent acts for a Principal, deployment profiles SHOULD support audience-scoped disclosure, short-lived grants, selective disclosure or reference tokens, and Principal-selected authorities and disclosure modes where practical. Security-required claims should be distinguished from application-convenience claims.</t>
<t>These assumptions preserve cryptographic protection, avoid standardizing wiretapping or pervasive monitoring functions, keep privacy analysis explicit, favor end-user interests, and avoid unnecessary centralization of Internet functions <xref target="RFC1984"/> <xref target="RFC2804"/> <xref target="RFC7258"/> <xref target="RFC6973"/> <xref target="RFC8890"/> <xref target="RFC9518"/>.</t>
</section>
<section anchor="conformance">
<name>Conformance</name>
<t>This document defines a core verifier acceptance profile for Direct-Agent mode. It is not, by itself, a complete wire-binding profile. A complete deployment of this core profile requires a binding profile that fixes protocol-specific wire representation, canonicalization rules, exporter label, replay rules, diagnostic behavior, and the items in <xref target="binding-profiles-and-related-rfcs"/>.</t>
<t>The normative requirements in this document apply only to implementations that claim conformance to this core profile or to a binding profile that incorporates it.</t>
<t>A claim of conformance to this document MUST identify the binding profile being implemented. An implementation that accepts authority grants or session proofs without such a binding profile is not conforming to this core profile.</t>
<t>For Direct-Agent mode, a conforming implementation completes all grant verification, holder-of-key verification, session-binding verification, required attestation checks, freshness checks, replay checks, and local-policy comparisons before returning a profile-authenticated identity or authorization result to the application.</t>
<t>A conforming implementation MUST fail closed. It MUST NOT report a profile-authenticated identity from only a verified authority grant, only a session proof, only a TLS endpoint identity, only an attestation result, or only peer-supplied metadata.</t>
</section>
<section anchor="acceptance-model">
<name>Acceptance Model</name>
<t>The labels D0 through D6 are acceptance dimensions used for policy separation and diagnostics. They are not OSI layers, encapsulation layers, wire-format layers, or trust hierarchy levels. The numbering is only a stable diagnostic order. It does not imply that D6 is above D5 or that every deployment evaluates all dimensions.</t>
<table>
<thead><tr><th>Dimension</th><th>Verification target</th><th>Main failure class</th></tr></thead>
<tbody>
<tr><td>D0</td><td>Live TLS or exported-authenticator session</td><td>MITM or session confusion</td></tr>
<tr><td>D1</td><td>Attested platform validity, when required</td><td>Fake, malformed, stale, or untrusted evidence</td></tr>
<tr><td>D2</td><td>Attestation or authenticator-to-session binding</td><td>Relay, replay, or borrowed evidence</td></tr>
<tr><td>D3</td><td>Service, tenant, deployment, or environment</td><td>Wrong service or tenant; context diversion</td></tr>
<tr><td>D4</td><td>Workload, process, or Agent</td><td>Same-host wrong-Agent confusion</td></tr>
<tr><td>D5</td><td>Task, thread, context, or delegation</td><td>Wrong task or delegation; context diversion</td></tr>
<tr><td>D6</td><td>Authorization or capability policy</td><td>Confused deputy or privilege escalation</td></tr>
</tbody>
</table>
<t>D0 through D2 are authentication and binding dimensions. D3 through D6 are verifier-local policy dimensions. Peer-provided metadata can be observed input; it is not expected policy.</t>
<t>Remote attestation is optional in this core profile. When local policy or a binding profile does not require attestation, D1 and the attestation-specific part of D2 are not evaluated. The remaining session-binding, freshness, replay, grant, and local-policy checks still apply.</t>
</section>
<section anchor="threat-model">
<name>Threat Model</name>
<t>The attacker can observe, replay, reorder, relay, substitute messages, supply malicious peer metadata, and run another Agent on the same host or deployment environment.</t>
<t>This core profile assumes correct TLS 1.3, exported-authenticator validation, and evidence appraisal by the underlying mechanisms. It defines what must be bound to those facts before an application accepts the peer as the intended actor.</t>
<t>Out of scope are a fully compromised verifier process, a malicious trusted policy authority, compromise of all local secret storage, denial of service, and side channels outside the identity-binding path.</t>
<t>The main threats are relay, replay, token substitution, stale key use, same-host wrong-Agent confusion, peer-metadata injection, context diversion, confused deputy behavior, cache confusion, and gateway route confusion.</t>
</section>
<section anchor="authority-and-key-separation">
<name>Authority and Key Separation</name>
<t>This core profile keeps three key roles separate.</t>
<table>
<thead><tr><th>Key role</th><th>Purpose</th></tr></thead>
<tbody>
<tr><td>TLS endpoint key</td><td>Proves possession for the accepted TLS or exported-authenticator endpoint.</td></tr>
<tr><td>Agent binding key</td><td>Signs the session proof.</td></tr>
<tr><td>Policy-authority key</td><td>Signs authority grants.</td></tr>
</tbody>
</table>
<t>These keys can be related by deployment policy, but they are not interchangeable by default. Policy-authority signing keys MUST NOT be accepted as Agent confirmation keys. Agent confirmation keys MUST NOT be accepted as policy-authority signing keys. Endpoint keys are valid for session binding only when the verified grant or local policy explicitly authorizes that use and the endpoint credential or local endpoint-key lifetime remains valid.</t>
<t>The protected-header <tt>kid</tt> is only a key-selection hint. Acceptance also depends on issuer, audience, algorithm allow-list, key type, key use, key status, profile version, token type, time validity, revocation state, and local policy. The <tt>none</tt> algorithm is forbidden.</t>
</section>
<section anchor="binding-profiles-and-related-rfcs">
<name>Binding Profiles and Related RFCs</name>
<t>This core profile does not define a new authority-token format, proof-token format, HTTP header, error format, or attestation evidence format. A binding profile fixes the exact wire representation and canonicalization needed to instantiate this core profile over a specific application protocol or deployment profile.</t>
<t>A binding profile that uses this document MUST define the following values.</t>
<table>
<thead><tr><th>Required binding-profile item</th><th>Prevents</th></tr></thead>
<tbody>
<tr><td>profile identifier and version</td><td>cross-profile confusion</td></tr>
<tr><td><tt>protocol_id</tt></td><td>cross-protocol replay or substitution</td></tr>
<tr><td>TLS exporter label</td><td>peer-selected or colliding channel bindings</td></tr>
<tr><td>canonical <tt>aud</tt> form</td><td>audience confusion</td></tr>
<tr><td>exact bytes used for <tt>grant_hash</tt></td><td>parse-and-reserialize substitution</td></tr>
<tr><td>session-proof encoding and protected-header rules</td><td>algorithm, type, and key-use confusion</td></tr>
<tr><td><tt>task_context</tt> and request-context construction</td><td>wrong-task acceptance</td></tr>
<tr><td>nonce generation, lifetime, and replay-key construction</td><td>replay and cross-task reuse</td></tr>
<tr><td>attestation requirement and session-binding rule</td><td>borrowed or replayed evidence</td></tr>
<tr><td>verifier-local source of D3 through D6 expected values</td><td>peer-selected policy</td></tr>
<tr><td>diagnostic error classes</td><td>disclosure of attacker-controlled values</td></tr>
</tbody>
</table>
<t>OAuth deployments <xref target="RFC6749"/> can use the JWT access-token profile <xref target="RFC9068"/>, token revocation and introspection <xref target="RFC7009"/> <xref target="RFC7662"/>, mutual-TLS certificate-bound tokens <xref target="RFC8705"/>, resource indicators <xref target="RFC8707"/>, rich authorization requests <xref target="RFC9396"/>, and DPoP <xref target="RFC9449"/> where those models fit. These mechanisms do not by themselves provide this core profile&#x27;s TLS-exporter, request-context, replay, and attestation-to-session binding.</t>
<t>HTTP bindings can use HTTP Message Signatures <xref target="RFC9421"/>, Digest Fields <xref target="RFC9530"/>, Structured Field Values <xref target="RFC9651"/>, and Problem Details <xref target="RFC9457"/> instead of defining new HTTP-specific syntax. Tokenized attestation claims can use EAT <xref target="RFC9711"/> within the RATS model <xref target="RFC9334"/>.</t>
<t>These reused RFC mechanisms remain independently specified by their RFCs. This document only specifies the verifier-side acceptance rule that decides when the verified grant, session proof, accepted TLS session, freshness state, any required attestation result, and verifier-local policy are accepted as the same intended interaction.</t>
</section>
<section anchor="grant-and-authority-material">
<name>Grant and Authority Material</name>
<t>An authority grant authorizes application semantics. It is signed or MACed by a policy authority and identifies the Agent confirmation key, usually through a confirmation-key claim such as <tt>cnf.kid</tt> for JWT <xref target="RFC7800"/> or the corresponding CWT confirmation method <xref target="RFC8747"/>. This core profile does not define a new authority grant token format.</t>
<t>A grant carries the deployment-specific equivalent of profile type, profile version, issuer, subject, audience, grant identifier, issued-at time, expiration time, and confirmation key. When policy requires it, the grant also carries D3 through D6 fields such as service, tenant, deployment, workload, Agent, task, delegation, canonical intent or capability references, scopes, resources, and authorization details.</t>
<t>The Agent is not the authority for those values. They are accepted only after grant verification, session binding, freshness checks, replay checks, and local policy comparison.</t>
<t>Multi-audience grants are rejected unless local policy explicitly allows the exact audience set and the resulting authority boundary.</t>
</section>
<section anchor="session-proof-material">
<name>Session Proof Material</name>
<t>A session proof proves that the holder of the confirmation key bound the verified grant to the accepted TLS session, or to an exported authenticator accepted for that session. It contains at least the abstract profile fields below. A binding profile fixes the exact JWT claim names <xref target="RFC7519"/>, CWT claim labels, COSE/JWS protected-header requirements, canonical encoding rules, and collision-avoidance rules used on the wire.</t>
<ul spacing="compact">
<li>profile type and profile version;</li>
<li>audience (<tt>aud</tt>), proof identifier (<tt>jti</tt> for JWT-based encodings or <tt>cti</tt> for CWT/COSE-based encodings), issued-at time (<tt>iat</tt>), and expiration time (<tt>exp</tt>);</li>
<li><tt>grant_hash</tt> over the exact verified grant bytes;</li>
<li><tt>tls_leaf_spki_sha256</tt>;</li>
<li><tt>tls_exporter_sha256</tt>;</li>
<li><tt>request_context_sha256</tt>;</li>
<li><tt>nonce</tt>; and</li>
<li><tt>attestation_binder_sha256</tt> when local policy requires attestation or when accepted attestation-to-session evidence is used.</li>
</ul>
<t>For binding profiles that use compact JWS grants <xref target="RFC7515"/> or COSE_Sign1/COSE_Mac0 grants, this document fixes the <tt>grant_hash</tt> input to avoid parser-dependent acceptance behavior:</t>
<sourcecode type="text"><![CDATA[grant_hash = SHA-256("sbaip.identity-grant.jwt.v1" || NUL ||
                     exact-compact-jws-grant-bytes)
grant_hash = SHA-256("sbaip.identity-grant.cwt.v1" || NUL ||
                     exact-cose-sign1-or-mac0-grant-bytes)]]></sourcecode>
<t><tt>exact-compact-jws-grant-bytes</tt> is the exact ASCII byte sequence of the compact JWS as received and successfully verified, including protected header, payload, and signature segments. This document does not define the <tt>grant_hash</tt> input for JWS JSON Serialization; a binding profile that uses it MUST define the exact hash input.</t>
<t><tt>exact-cose-sign1-or-mac0-grant-bytes</tt> is the exact byte sequence of the signed or MACed COSE object as received and successfully verified. A verifier MUST NOT compute <tt>grant_hash</tt> by parsing claims and reserializing JSON, CBOR, or COSE in the acceptance path. Deterministic CBOR/COSE is acceptable only when the binding profile normatively fixes the deterministic encoding rules <xref target="RFC8392"/> <xref target="RFC8949"/> <xref target="RFC9052"/>.</t>
<t>Domain-separation strings beginning with <tt>sbaip</tt> or <tt>SBAIP</tt> are fixed constants for this profile version. They are not external registry names.</t>
<t>The session proof does not authorize service, tenant, task, scope, resource, or capability values. Those values come from the verified grant and local policy.</t>
</section>
<section anchor="direct-session-binding-construction">
<name>Direct Session Binding Construction</name>
<t>This section fixes the Direct-Agent D2 construction. A verifier MUST NOT replace these inputs with peer-selected labels, inferred context, display names, or reserialized semantic metadata.</t>
<t>Inputs:</t>
<ul spacing="compact">
<li><tt>tls_connection</tt>: the accepted TLS 1.3 connection;</li>
<li><tt>exporter_label</tt>: an application- or deployment-profile-selected TLS exporter label. This document does not define that label;</li>
<li><tt>leaf_spki</tt>: DER SubjectPublicKeyInfo of the accepted endpoint public key <xref target="RFC5280"/>;</li>
<li><tt>role</tt>, <tt>protocol_id</tt>, <tt>aud</tt>, <tt>grant_hash</tt>, <tt>task_context</tt>, and <tt>verifier_nonce_or_attempt_id</tt> from verifier-local state.</li>
</ul>
<t>The exporter label is selected by the application or deployment profile, not by the peer. A verifier MUST NOT accept a peer-selected exporter label. Local experiments can use private-use labels, such as labels beginning with <tt>EXPERIMENTAL</tt>, as described by <xref target="RFC5705"/>. A generally applicable label can be defined later by another specification and registered according to the TLS Exporter Labels registry procedures updated by <xref target="RFC9847"/>.</t>
<t>Because the exporter label and other wire-visible inputs are protocol-specific, two implementations do not interoperate by implementing this core profile alone. Interoperability requires a binding profile that selects a stable exporter label and all other wire-visible inputs.</t>
<t>The context bytes are <tt>sbaip_context_v1</tt>:</t>
<sourcecode type="text"><![CDATA[field(name, value) =
    u16be(len(name)) || name || u32be(len(value)) || value

context = "SBAIP-CONTEXT-v1" || NUL ||
          field("role", role) ||
          field("protocol_id", protocol_id) ||
          field("aud", aud) ||
          field("grant_hash", raw_32_byte_grant_hash) ||
          field("task_context", task_context) ||
          field("verifier_nonce_or_attempt_id",
                verifier_nonce_or_attempt_id)]]></sourcecode>
<t>Field names are ASCII. Lengths are unsigned big-endian integers. The field sequence and field names are fixed. <tt>grant_hash</tt> is the raw 32-byte digest, not a hex string. <tt>task_context</tt> is itself length-delimited when it contains multiple values.</t>
<t>Construction:</t>
<sourcecode type="text"><![CDATA[EKM = TLS-Exporter(tls_connection,
                   label = exporter_label,
                   context = context,
                   length = 32)

attestation_binding_input =
    "SBAIP-ATTESTATION-BINDING-v1" || NUL ||
    field("leaf_spki", leaf_spki) ||
    field("ekm", EKM)

tls_leaf_spki_sha256      = SHA-256(leaf_spki)
tls_exporter_sha256        = SHA-256(EKM)
request_context_sha256     = SHA-256(context)
attestation_binder_sha256  = SHA-256(attestation_binding_input)]]></sourcecode>
<t>The session proof carries the SHA-256 values <xref target="RFC6234"/>. A common serialization is lowercase hexadecimal without a <tt>sha256:</tt> prefix, but the encoding profile fixes the exact representation.</t>
<t><tt>tls_leaf_spki_sha256</tt> confirms the endpoint key, but it is not session unique. The primary session binding is the TLS exporter under the accepted profile context, plus the grant hash, audience, nonce, attestation binder when present, and replay state. This construction uses the TLS exporter interface <xref target="RFC8446"/> to provide the channel-binding property described by <xref target="RFC5056"/> in a profile-specific form; it is not the bare <tt>tls-exporter</tt> channel-binding value defined by <xref target="RFC9266"/>.</t>
<t>Accepted attestation evidence or attestation results MUST be appraised against the same <tt>attestation_binding_input</tt>.</t>
<t>A binding profile for a specific attestation evidence format can map this binding input to evidence-specific fields, such as report data or nonce fields. For example, such a profile can derive:</t>
<sourcecode type="text"><![CDATA[report_data    = SHA-512(attestation_binding_input)
evidence_nonce = SHA-256("SBAIP-EVIDENCE-NONCE-v1" || NUL || EKM)]]></sourcecode>
<t>This example does not define an attestation evidence format and does not replace evidence-format-specific appraisal rules.</t>
<t>If local policy requires attestation, absence of an accepted attestation result, attestation-to-session evidence, or <tt>attestation_binder_sha256</tt> is an authentication failure. A verifier MUST NOT silently downgrade an attestation-required interaction to a channel-binding-only interaction.</t>
<t>A verifier compares <tt>tls_exporter_sha256</tt> and <tt>request_context_sha256</tt> with its own accepted values. Missing or mismatched mandatory fields fail closed.</t>
</section>
<section anchor="verification-procedure">
<name>Verification Procedure</name>
<t>Acceptance has an authentication phase, a policy phase, and a replay-commit step.</t>
<t>Authentication phase:</t>
<ol spacing="compact">
<li>Verify the authority grant under a trusted policy-authority key.</li>
<li>Check issuer, audience, profile guard, algorithm, key status, <tt>iat</tt>, <tt>exp</tt>, grant ID, and required authorization fields.</li>
<li>Verify the session proof under the Agent confirmation key or an explicitly authorized endpoint key.</li>
<li>Check that the binding signer is authorized by the verified grant or by local policy.</li>
<li>Check endpoint credential or endpoint-key validity under local TLS, PKIX, and key-status policy.</li>
<li>Recompute <tt>grant_hash</tt> over the exact verified grant bytes.</li>
<li>Recompute the accepted context and exporter-derived values.</li>
<li>Compare <tt>aud</tt>, endpoint-key hash, TLS exporter hash, request-context hash, attestation binder when required or present, and nonce.</li>
<li>Build an internal observed assertion only from verified material.</li>
</ol>
<t>Policy phase:</t>
<ol spacing="compact">
<li>Load verifier-local expected values for required dimensions.</li>
<li>Reject missing, ambiguous, non-canonical, or peer-supplied expected values.</li>
<li>Compare each observed D3 through D6 value with local expected policy.</li>
<li>Enforce D6 set semantics. The effective authorization is the intersection of capabilities authorized by the verified grant, capabilities allowed by verifier-local policy, and capabilities requested for the current task context. A requested capability absent from any of those sets is rejected. Surplus observed capabilities are ignored or rejected according to local policy, but they MUST NOT expand the effective authorization.</li>
</ol>
<t>Replay commit:</t>
<ul spacing="compact">
<li>before returning the acceptance decision, atomically insert the replay key with an expiry;</li>
<li>if the insert fails because the key already exists, reject;</li>
<li>failed authentication or policy attempts do not consume a one-shot value unless deployment policy deliberately chooses that anti-probing behavior.</li>
</ul>
<t>An implementation MUST NOT expose a profile-authenticated result to the application until it has constructed an internal accepted assertion from verified material and verifier-local policy. Applications consume that accepted assertion. They MUST NOT treat raw peer-provided identity, scope, task, service, tenant, capability, or attestation-related values as accepted identity.</t>
<t>Neither an authority grant alone nor a session proof alone is enough. Sender-constraining proves possession and freshness; it does not authorize surplus scopes, resources, capabilities, or authorization details.</t>
</section>
<section anchor="minimal-positive-acceptance-case">
<name>Minimal Positive Acceptance Case</name>
<t>A minimal positive Direct-Agent case has all of the following:</t>
<ul spacing="compact">
<li>a verified authority grant from a trusted policy authority;</li>
<li>a session proof signed by the authorized confirmation key;</li>
<li>a recomputed TLS exporter hash matching the proof;</li>
<li>a fresh nonce or attempt identifier not previously accepted;</li>
<li>matching audience, grant hash, endpoint-key hash, and request-context hash; and</li>
<li>local policy that accepts the observed D3 through D6 values required for the request.</li>
</ul>
<t>This is a minimum success pattern, not a complete binding profile.</t>
</section>
<section anchor="minimal-negative-acceptance-cases">
<name>Minimal Negative Acceptance Cases</name>
<t>The following cases are not exhaustive. They define a minimal rejection-preserving acceptance-case set for binding profiles and implementations.</t>
<table>
<thead><tr><th>Case</th><th>Required result</th></tr></thead>
<tbody>
<tr><td>Valid grant, but TLS exporter hash mismatch</td><td>Reject</td></tr>
<tr><td>Valid sender-constrained token, but no profile-defined TLS-exporter binding</td><td>Reject</td></tr>
<tr><td>Valid session proof, but <tt>grant_hash</tt> was computed from reserialized claims</td><td>Reject</td></tr>
<tr><td>Valid endpoint identity, but D3 service value is only peer-supplied metadata</td><td>Reject</td></tr>
<tr><td>Valid attestation result, but not bound to the accepted TLS session</td><td>Reject</td></tr>
<tr><td>Valid grant with surplus capability not allowed by local policy</td><td>Do not expand effective authorization</td></tr>
<tr><td>Reused nonce and request context on the same TLS connection for another task</td><td>Reject</td></tr>
<tr><td>Profile-authenticated identity requested for TLS 0-RTT data</td><td>Reject</td></tr>
</tbody>
</table>
</section>
<section anchor="freshness-replay-rotation-and-revocation">
<name>Freshness, Replay, Rotation, and Revocation</name>
<t>The accepted assertion expiry is the earliest applicable expiry among:</t>
<sourcecode type="text"><![CDATA[grant exp,
session proof exp,
TLS endpoint credential or endpoint-key lifetime,
attestation-result exp,
evidence challenge lifetime,
attestation collateral or TCB lifetime,
replay-cache TTL,
local policy maximum TTL]]></sourcecode>
<t>A missing required freshness policy value fails closed. Evidence without a trusted timestamp is acceptable only for the current challenge and current authentication attempt.</t>
<t>TLS resumption creates a new accepted TLS connection for this core profile. A resumed connection MUST NOT reuse a session proof or replay-cache entry from the original connection. Profile-authenticated identity MUST NOT be returned for TLS 0-RTT data.</t>
<t>When multiple tasks share one TLS connection, each accepted task binding MUST include a task-specific <tt>task_context</tt> and <tt>verifier_nonce_or_attempt_id</tt>. Reusing the same context and nonce across tasks fails closed.</t>
<t>Replay protection is keyed at least over:</t>
<sourcecode type="text"><![CDATA[grant_hash || aud || tls_exporter_sha256 ||
request_context_sha256 || nonce]]></sourcecode>
<t>When available, the key also includes the binding statement ID, task-binding value, evidence nonce, verifier challenge, or attestation-result identifier.</t>
<t>Key lookup and key caches MUST be scoped by the equivalent of:</t>
<sourcecode type="text"><![CDATA[profile_version || token_type || issuer || audience ||
key_use || alg || kty || kid || key_status || public_key_thumbprint]]></sourcecode>
<t><tt>kid</tt> is never a global key name. Unknown, revoked, retired, stale, wrong-use, or ambiguous keys fail closed. Deployments that need early invalidation must support grant revocation, policy-authority-key revocation, and Agent-binding-key revocation separately.</t>
</section>
<section anchor="canonical-policy-values">
<name>Canonical Policy Values</name>
<t>Decision-sensitive semantic values must be canonical before acceptance. Common examples are <tt>ontology_id</tt>, <tt>intent_ref</tt>, and <tt>capability_ref</tt>.</t>
<t>Receivers MUST NOT repair peer-provided aliases, display labels, natural language phrases, case variants, URI variants, or model interpretations during the final acceptance path. Alias resolution belongs to the policy authority, trusted registry, or local policy engine before issuance or comparison.</t>
<t>An alias is acceptable only when it resolves to exactly one canonical reference under a pinned registry namespace and version. Missing, ambiguous, deprecated, or unsupported registry data fails closed.</t>
</section>
<section anchor="deployment-topologies">
<name>Deployment Topologies</name>
<section anchor="direct-agent-mode">
<name>Direct-Agent Mode</name>
<t>In Direct-Agent mode, the Agent terminates TLS and signs the session proof with the confirmation key named by the verified authority grant, or with an endpoint key explicitly authorized by the grant or local policy.</t>
</section>
<section anchor="gateway-routed-mode">
<name>Gateway-Routed Mode</name>
<t>Gateway-routed deployments are separate binding profiles. This section gives requirements for avoiding misinterpretation of gateway authentication as final-Agent authentication; it does not define a complete gateway-routed binding profile.</t>
<t>Gateway authentication proves the gateway endpoint, not the final Agent. A verifier MUST NOT accept a final Agent identity through a gateway unless a binding profile defines route assertions, final-Agent holder-of-key requirements when required by policy, freshness, replay protection, and local route policy.</t>
<t>A route assertion binds the gateway identity, relying-party audience, route, tenant or authority partition, target Agent, request context, nonce, and expiry. Missing, stale, replayed, wrong-route, wrong-tenant, wrong-task, or wrong-Agent assertions fail closed. A gateway, route service, transparency log, or action log is a deployment choice, not a protocol requirement. Gateway deployments that exchange tokens can use OAuth 2.0 Token Exchange <xref target="RFC8693"/> when applicable.</t>
</section>
</section>
<section anchor="privacy-considerations">
<name>Privacy Considerations</name>
<t>Identity-binding data can create correlation. Deployments SHOULD prefer audience-scoped or pairwise identifiers, short lifetimes, selective disclosure, reference tokens, and minimized logs. Full grants, session proofs, key fingerprints, attestation evidence, tenant IDs, task IDs, and capability references should not be logged unless needed for security audit. Intermediaries SHOULD receive only the claims and payloads needed for their role.</t>
</section>
<section anchor="caching-and-replay-state-reuse">
<name>Caching and Replay-State Reuse</name>
<t>Response caching and security-state caching are different. This document does not change HTTP caching semantics. It states that security state from this core profile is not reusable acceptance evidence for a later request or session.</t>
<t>Verified grants, session proofs, attestation evidence, authorization decisions, and verification results MUST NOT be cached as acceptance evidence for a later session or request. HTTP responses whose contents depend on such state are expected to use cache controls appropriate to that sensitivity. The default for profile-sensitive HTTP responses is <tt>no-store</tt> <xref target="RFC9111"/>. <tt>Vary</tt> is not enough when the decision depends on non-header security state.</t>
</section>
<section anchor="diagnostics">
<name>Diagnostics</name>
<t>Diagnostics should preserve the acceptance dimension, field, and error class, but should not echo raw peer values. Implementations should reject invalid UTF-8, CRLF, control characters, and HTML delimiter characters in profile fields unless the field profile explicitly permits and canonicalizes them.</t>
</section>
<section anchor="security-considerations">
<name>Security Considerations</name>
<t>The security of this core profile depends on preserving the Core Invariant before returning a profile-authenticated identity to the application. Partial verification is not enough.</t>
<t>Implementations need fail-closed parsing for token type, algorithm, key, audience, duplicate claim names, malformed base64url, unsupported nesting, unexpected <tt>crit</tt>, and <tt>typ</tt>/<tt>cty</tt> ambiguity <xref target="RFC8725"/>. A parser that silently accepts duplicate JSON member names or unsupported critical headers is not suitable for this core profile.</t>
<t>High-risk hazards fall into three classes:</t>
<ul spacing="compact">
<li>parsing and key-selection hazards: duplicate claims, unsupported <tt>crit</tt>, <tt>typ</tt>/<tt>cty</tt> ambiguity, malformed base64url, global <tt>kid</tt>, wrong key use, and parsed or reserialized grant bytes for <tt>grant_hash</tt>;</li>
<li>binding hazards: peer-selected exporter label, TLS resumption, 0-RTT, HTTP/2 or gRPC request reuse without a fresh task binding, distributed replay-cache races, and borrowed attestation; and</li>
<li>policy hazards: peer metadata as expected policy, alias repair, surplus capability expansion, endpoint authentication treated as Agent authorization, and gateway route confusion.</li>
</ul>
<t>Gateway mode, when used, authenticates the gateway endpoint and the gateway-to-Agent route separately. A gateway, relay, registry, or transparency service is a deployment component, not a trust root unless local policy says so.</t>
<t>Deployment profiles should evaluate what is exposed to intermediaries, whether mandatory gatekeeping or monitoring is introduced, and whether Principals can choose trusted authorities and disclosed claims.</t>
</section>
<section anchor="iana-considerations">
<name>IANA Considerations</name>
<t>This document makes no IANA requests.</t>
<t>This core profile does not define a new TLS exporter label. Binding profiles using it are expected to define or select an appropriate application-specific exporter label. Any future generally applicable label is expected to follow the registration procedures for the &quot;TLS Exporter Labels&quot; registry, as updated by <xref target="RFC9847"/>.</t>
</section>
  </middle>
  <back>
    <references>
      <name>Normative References</name>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.2119.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.8174.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.5280.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.6234.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.8446.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.9261.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.9334.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.7515.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.7519.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.8725.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.7800.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.8392.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.8747.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.8949.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.9052.xml"/>
    </references>
    <references>
      <name>Informative References</name>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.1984.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.2804.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.5056.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.5705.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.6749.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.6973.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.7009.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.7258.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.7662.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.8693.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.8705.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.8707.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.8890.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.9068.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.9111.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.9266.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.9396.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.9421.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.9449.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.9457.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.9518.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.9530.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.9651.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.9711.xml"/>
      <xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.9847.xml"/>
    </references>
  </back>
</rfc>
