| Internet-Draft | Mission AuthZEN | July 2026 |
| McGuinness | Expires 8 January 2027 | [Page] |
Mission-Bound Runtime Enforcement specifies a
substrate-independent decision contract: before each consequential
action runs, a Policy Enforcement Point (PEP) obtains a permit from a
Policy Decision Point (PDP) that evaluates the action against the
established Mission. That contract is independent of
the decision wire format. This document is the concrete OpenID AuthZEN
binding of that contract. It defines how the runtime profile's
materialized policy view is referenced on the wire through its
policy_view_id, how the abstract decision inputs map
onto the AuthZEN Authorization API request and response, the Decision
Evidence and Execution Evidence objects a deployment emits and their
integrity, how runtime denials map onto AuthZEN decision context and
optional error details, how requestable denials can compose with the
AuthZEN Access Request and Approval Profile, how a Mission's approved
authority is bound to the capability source it was derived from and a
drifted capability definition is refused. It
does not restate the enforcement semantics the runtime profile owns.¶
This note is to be removed before publishing as an RFC.¶
The latest revision of this draft can be found at https://mcguinness.github.io/mission-bound-authorization/draft-mcguinness-mission-authzen.html. Status information for this document may be found at https://datatracker.ietf.org/doc/draft-mcguinness-mission-authzen/.¶
Source for this draft and an issue tracker can be found at https://github.com/mcguinness/mission-bound-authorization.¶
This Internet-Draft is submitted in full conformance with the provisions of BCP 78 and BCP 79.¶
Internet-Drafts are working documents of the Internet Engineering Task Force (IETF). Note that other groups may also distribute working documents as Internet-Drafts. The list of current Internet-Drafts is at https://datatracker.ietf.org/drafts/current/.¶
Internet-Drafts are draft documents valid for a maximum of six months and may be updated, replaced, or obsoleted by other documents at any time. It is inappropriate to use Internet-Drafts as reference material or to cite them other than as "work in progress."¶
This Internet-Draft will expire on 8 January 2027.¶
Copyright (c) 2026 IETF Trust and the persons identified as the document authors. All rights reserved.¶
This document is subject to BCP 78 and the IETF Trust's Legal Provisions Relating to IETF Documents (https://trustee.ietf.org/license-info) in effect on the date of publication of this document. Please review these documents carefully, as they describe your rights and restrictions with respect to this document. Code Components extracted from this document must include Revised BSD License text as described in Section 4.e of the Trust Legal Provisions and are provided without warranty as described in the Revised BSD License.¶
Mission-Bound Runtime Enforcement [I-D.draft-mcguinness-mission-runtime] (the "runtime profile") specifies the runtime enforcement layer for Mission-bound access tokens issued under Mission-Bound Authorization for OAuth 2.0 [I-D.draft-mcguinness-oauth-mission] (the "issuance profile"). The runtime profile is deliberately substrate-independent: it defines the decision contract, action classification, PEP placement, parameter binding and the time-of-check to time-of-use gap, the consumption-bound failure posture, failure modes, runtime enforcement evidence, and the runtime conformance scope, but it states that the decision API wire format is a deployment choice and defines no binding of its own.¶
This document is the OpenID AuthZEN binding of that contract: it maps the runtime profile's abstract decision contract onto the OpenID AuthZEN Authorization API [AUTHZEN] and carries only the AuthZEN-binding deltas:¶
how the runtime profile's materialized policy view is referenced on
the wire through its policy_view_id
(Section 4);¶
how the runtime profile's decision inputs map onto the AuthZEN
subject/resource/action/context envelope, the worked PDP
request, and the PDP-side consistency checks (Section 5);¶
batch evaluations over the AuthZEN evaluations endpoint (Section 5.11);¶
the Decision Evidence and Execution Evidence objects, their integrity, and worked examples (Section 6, Section 7);¶
how runtime denials map onto AuthZEN decision context and optional error details (Section 8);¶
how requestable denials can compose with the AuthZEN Access Request and Approval Profile [ARAP];¶
the binding of a Mission's approved authority to concrete, catalog-sourced capabilities (Section 9).¶
The AuthZEN wire representation of cumulative consumption metering, including the settlement exchange and duration-lease renewal, is defined with the metering semantics themselves in the experimental metering companion ([I-D.draft-mcguinness-mission-metering]).¶
This document does not restate the enforcement contract. It does not redefine which actions are consequential, where the PEP MUST sit, the semantics of parameter binding, the failure modes, or the runtime conformance scope; those are normatively defined in [I-D.draft-mcguinness-mission-runtime] and are referenced, not duplicated, here.¶
The end-to-end flow this binding realizes:¶
Agent PEP PDP Access Request Service | | | | |- action ->| | | | | validate token | | | |- evaluation -->| | | | request | decide vs Mission | | |<- permit ------| | | | (+ context) | | | | execute | | | |- Execution --->| | | | Evidence | commit / release | |<- result -| | | | | | | | |<- deny --------| | | | (+ access_request) | | |- submit access request ------------->| | |<--------------- approval ------------| | |- re-evaluate ->| |¶
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 [RFC2119] [RFC8174] when, and only when, they appear in all capitals, as shown here.¶
This document uses JSON [RFC8259] as the data model for all PDP requests, responses, and evidence objects. JCS canonicalization [RFC8785] applies wherever an integrity hash is computed, under the canonicalization rules of [I-D.draft-mcguinness-oauth-mission]; this document does not define a second canonicalization.¶
"SHA-256" refers to [RFC6234]. A digest is encoded in the
integrity-anchor encoded form of
[I-D.draft-mcguinness-oauth-mission]: sha-256: followed by the
base64url, no-padding encoding of the digest.¶
The terms Policy Enforcement Point (PEP), Policy Decision Point (PDP),
consequential action, Resource policy, decision, Mission state source,
enforcement scope, high-consequence classes, parameter-bound, and the
action-class names (consequential read, consequential write,
irreversible action, external commitment, and privileged
administration) are used as defined in
[I-D.draft-mcguinness-mission-runtime]. The Mission claim
(id, issuer, authority_hash), the integrity anchors
(intent_hash, authority_hash), and authorization_details
entries of type mission_resource_access are used as defined in
[I-D.draft-mcguinness-oauth-mission].¶
Additional terms specific to this binding:¶
Defined by the runtime profile
([I-D.draft-mcguinness-mission-runtime]). This binding carries
only the wire member policy_view_id
(Section 4).¶
The component that, at derivation, validates the Mission's authority
and records the derivation-time facts the PDP later checks (such as a
capability source_digest, Section 9). In the
issuance profile this is the Mission Issuer; this profile uses the
term where the recording role is what matters.¶
The runtime enforcement evidence record emitted by the PDP, in the concrete object form of Section 6.¶
The record emitted by the PEP or executor after the authorized action's outcome is determined (Section 7).¶
The component that carries out a permitted action and emits Execution Evidence. It is the PEP in the common case, or a distinct component where the requesting PEP and the executing component differ (Section 7).¶
A component or role that reads Decision Evidence and Execution Evidence to reconstruct or verify a decision after the fact.¶
HTTP message examples follow the AuthZEN specification [AUTHZEN] for the decision request and response, and [RFC9457] for problem-details error bodies where a deployment carries them outside the AuthZEN envelope.¶
This binding inherits the substrate requirements of the runtime
profile ([I-D.draft-mcguinness-mission-runtime]), whose decision
contract is defined against the Mission model rather than against
OAuth 2.0 mechanics. OAuth enters only through the credential-derived
decision inputs (the token's sub, client_id, cnf,
authorization_details, and mission claim), which the substrate's
Mission-bound credential supplies. A deployment on another Mission
substrate maps that substrate's credential to the same inputs and uses
this binding unchanged.¶
The PDP evaluates a Mission against an action through a materialized
policy view. The materialized policy view, its trusted-compiler and
reproducibility rules, its bounded-fidelity property, and the
content-addressed policy_view_id with its mission-policy-view
integrity envelope are defined by the runtime profile
([I-D.draft-mcguinness-mission-runtime]). That envelope's
committed payload binds the Mission's mission_id and authority_hash,
so a consistency check between a decision request and the loaded view is
an equality test on those values (Section 5).¶
This binding carries only the wire member. policy_view_id appears in
the PDP request and response context (Section 5.2,
Section 8) as the content-addressed correlator
between a permit, its evidence, and the view the PDP evaluated against.
This profile does not pick a concrete policy-language wire form for the
materialized view. Implementations MAY use canonical input bundles the
AuthZEN PDP consumes directly, or an engine-native artifact. Compiling
a Mission into an engine-native policy artifact and standardizing a
policy-view carriage format are out of scope
([I-D.draft-mcguinness-mission-runtime]).¶
The PDP request realizes the runtime profile's abstract decision
contract over the OpenID AuthZEN Authorization API [AUTHZEN]. AuthZEN
defines a top-level envelope with subject, resource, action, and
context members. This profile binds the Mission-bound decision inputs
into that envelope. It does not change which inputs MUST be evaluated;
those are defined by the runtime profile.¶
This binding is used after ordinary access-token validation under [I-D.draft-mcguinness-mission-runtime]: the PEP MUST NOT ask a PDP to authorize an action from unverified token claims, and the PEP-PDP channel MUST be integrity-protected and mutually authenticated as that profile requires.¶
| AuthZEN member | Mission-bound binding |
|---|---|
subject
|
The principal the decision is requested for. |
resource
|
The fine-grained target object the action names (for example, a specific journal entry), for Resource-policy evaluation. It is NOT the field matched against the approved entry's resource; see below. |
action
|
The requested action identifier (for example, journal-entries.write), which the PDP evaluates against the approved actions per [I-D.draft-mcguinness-oauth-mission]. |
context
|
Carries the Mission-bound context object defined below. |
The runtime profile requires the PDP to confirm that the action falls
within an approved Authority Set entry by matching the action's
resource and action identity against that entry's resource and
actions ([I-D.draft-mcguinness-mission-runtime]). In this
binding, the approved entry's resource (the protected-resource or
audience URI, for example https://erp.example.com) is matched against
context.audience, not against the AuthZEN resource member. The
AuthZEN resource carries the finer-grained object identity used only
for Resource-policy evaluation. A PDP MUST perform the entry match
against context.audience; matching it against the AuthZEN resource
member is non-conforming and will diverge across deployments.¶
The AuthZEN subject is the token's authenticated sub: the Subject
the Mission's authority is exercised for
([I-D.draft-mcguinness-oauth-mission]). It does not change under
delegation. The acting agent's client_id and any act delegation
chain are carried in context.actor, never in subject. The PDP binds
the permit to subject together with the actor context, and the
confused-deputy check ([I-D.draft-mcguinness-mission-runtime])
re-verifies that the action is for the same Subject it was authorized
for.¶
subject.type is user unless the deployment profiles another value.
subject.id is the token's authenticated sub. subject.properties.iss
is REQUIRED when the Subject's issuer is known, carrying the issuer that
authenticated the Subject, so a sub is disambiguated across issuers;
a PEP that cannot establish the Subject's issuer omits it.¶
The mission member identifies the governance record and its current
materialized view:¶
id:REQUIRED. A string. the Mission's id.¶
issuer:REQUIRED. A string containing a URI. the Mission's issuer.¶
authority_hash:REQUIRED. A string. the Authority Set integrity anchor, in the integrity-anchor encoded form ([I-D.draft-mcguinness-oauth-mission]).¶
state:REQUIRED. A string. the current Mission lifecycle state the PEP established from its Mission state source ([I-D.draft-mcguinness-mission-runtime]).¶
policy_version:REQUIRED when known. A string. the policy_version recorded at the
approval event. It is a Mission-record field
([I-D.draft-mcguinness-oauth-mission]) and is not carried on the
mission claim or the introspection projection, so a PEP that is not
co-located with the Mission record may not have it; such a PEP omits
it and relies on policy_view_id for view correlation. A PEP that can
obtain it (for example, co-located with the issuer) includes it.¶
policy_view_id:OPTIONAL. A string. the materialized view identifier (Section 4). The PDP is authoritative for the current view, so a PEP need not supply it; a PEP that has the value supplies it and the PDP uses it as a content-addressed correlator. When present it is checked as in Section 5.¶
The actor member carries the authenticated actor context when
delegation is in effect, reconstructed from the access token's act
claim and the token's authenticated client identity per
[I-D.draft-mcguinness-oauth-mission]:¶
client_id:REQUIRED when known. A string. the authenticated client identity.¶
client_instance_id:OPTIONAL. A string. a deployment-defined client-instance correlator when the PEP can establish one.¶
act:OPTIONAL. An array of objects. the delegation chain projection, ordered root to leaf. For a single actor, the array has one member.¶
The actor member carries the delegation chain only. Provenance beyond
the delegation chain (the tool a request invoked, a named workflow
step, a human approver) MUST NOT be encoded inside the act chain;
the PDP evaluates the act chain as defined by the runtime profile,
and provenance is recorded in dedicated evidence fields where the
deployment captures it.¶
Where tokens carry instance identity
([I-D.draft-mcguinness-oauth-client-instance-assertion]), the act
entry this projection already copies carries the instance identifier
and, under the agent profile
([I-D.draft-mcguinness-oauth-ai-agent-instance]), issuer-minted
provenance such as agent_instance_id and agent_model. Fleet
deployments therefore get which-instance-acted attribution in Decision
Evidence and, through the decision_id link, in Execution Evidence,
without new members.¶
The credential member carries token-derived facts the PEP has already
validated and that the PDP needs to enforce the runtime decision's
time, issuer, and sender-constraint checks:¶
issuer:REQUIRED when known. A string containing a URI. The token issuer.¶
expires_at:REQUIRED when the token carries an expiry. An RFC 3339 [RFC3339] timestamp corresponding to the token expiry.¶
confirmation:OPTIONAL. An object. A sender-constraint confirmation value or digest of that value, included only after the PEP has verified the proof-of-possession check for the presented token.¶
The PEP MUST NOT include unverified credential claims in this member.¶
When parameter binding is required for the requested action's class under [I-D.draft-mcguinness-mission-runtime], the PEP supplies:¶
parameters:CONDITIONAL. An object. When present, it MUST be the
operation-profile-normalized parameter object
([I-D.draft-mcguinness-mission-runtime]): the same bytes the
parameter_digest is computed over, so the PDP's recomputation
matches. The shape is action-specific. The PEP MAY omit parameters
and supply only parameter_digest where the raw values are sensitive
(Section 13), but only when the PDP can still enforce
the applicable parameter policy from the digest, supplied derived
attributes, or local state. If the PDP needs raw parameter values to
evaluate an applicable constraint and they are not supplied through an
equivalent privacy-preserving form, it MUST deny with
parameter_violation.¶
parameter_digest:REQUIRED for parameter-bound classes. A string.
the parameter_digest defined by
[I-D.draft-mcguinness-mission-runtime]. This profile carries
that value on the wire; it does not define a second digest or
canonicalization. The executing PEP recomputes and
reverifies the digest immediately before acting, and the PDP
recomputes it over any supplied parameters, both as that section
requires.¶
audience:REQUIRED. A string. the PEP's audience or protected-resource identifier.¶
freshness:REQUIRED. An object. the freshness of the Mission state the PEP relied on, conveying the runtime profile's freshness inputs on the wire. Members:¶
mode:REQUIRED. A string. one of fresh, cached, or event_driven
(Section 10).¶
freshness_at:REQUIRED in every mode. An RFC 3339 [RFC3339] timestamp. when the PEP's view of the Mission state was current.¶
mission_status_issued_at:REQUIRED for cached and event_driven, OPTIONAL for fresh. An
RFC 3339 timestamp. when the relied-on Mission state was issued.¶
mission_status_expires_at:REQUIRED for cached and event_driven, OPTIONAL for fresh. An
RFC 3339 timestamp. when the relied-on Mission state (or its
lease) expires.¶
The deployment's maximum staleness bound, and the rule that a
consequential action MUST fail closed when the Mission cannot be
established as active within that bound, are defined by the runtime
profile ([I-D.draft-mcguinness-mission-runtime]); the
freshness object is only their wire representation.¶
The OPTIONAL taint member carries the harness's untrusted-content
determination ([I-D.draft-mcguinness-mission-harness]) for the
requested action, when the deployment routes taint enforcement
through the PDP, as the value of context.taint:¶
{
"tainted": true,
"granularity": "parameter",
"source_class": "web_fetch"
}
¶
tainted:REQUIRED when taint is present. A boolean. Whether a bound
parameter of the action derives from tainted content (under
granularity parameter) or tainted content has entered the
governed session (under granularity session).¶
granularity:REQUIRED when taint is present. A string, parameter or
session: the trigger granularity the harness established.¶
source_class:OPTIONAL. A string. The deployment-defined class of the tainting
source (for example, web_fetch, inbound_message,
third_party_document), for policy and evidence.¶
Absence of taint means the harness did not route the determination
through the decision request, not that the action is untainted; the
harness's own egress rule then applies. When taint is present with
tainted true on a consequential external-communication or
external-commitment action, the PDP MUST deny or return
action_approval_required (Section 8) unless
a fresh action-bound approval bound to the action's parameters is
present in the decision context. The PDP MUST record the presented
taint context in Decision Evidence.¶
For catalog-sourced actions, the PEP supplies the capability-source
binding in context.capability_source using the object defined in
Section 9. For non-catalog actions, this member is
absent.¶
The policy_view_id values in this document's examples
(sha-256:kP3xR9sQ...) differ from the runtime profile's worked
materialized-view value (sha-256:fuMqn6Nb...): this deployment's
view payload includes the engine-evaluable form, so it hashes
differently. Both are valid views of the same Mission.¶
For the ERP reconciliation Mission:¶
In addition to evaluating the decision inputs the runtime profile requires, the PDP MUST verify that the AuthZEN-carried envelope is self-consistent:¶
The Mission state conveyed in context.mission.state is exactly
active; every other value, recognized or not, is non-active per the
issuance profile's forward-compatibility rule
([I-D.draft-mcguinness-oauth-mission]) and the PDP returns
mission_inactive (Section 8). A PDP with
direct access to a Mission state source MUST prefer its own fresher
view over context.mission.state, and MUST return mission_inactive
when its view disagrees with the PEP-supplied state. PEP-supplied
state is a floor, never a substitute for a state source the PDP can
itself consult.¶
The id and authority_hash in context.mission equal the
mission_id and authority_hash committed in the materialized
policy view the PDP has loaded for this Mission
([I-D.draft-mcguinness-mission-runtime]); the PDP returns
stale_state on any inequality. When context.mission.policy_view_id
is present, it MUST equal the loaded view's policy_view_id, and the
PDP returns stale_state on inequality. A PDP MUST NOT fail a
decision solely because the optional policy_view_id or
policy_version was omitted; the view the PDP loaded is
authoritative.¶
When context.credential.expires_at is present, it has not passed;
otherwise the PDP returns credential_invalid.¶
The context.freshness the PEP supplied is within the deployment's
staleness bound; otherwise the PDP returns stale_state, with the
freshness-window violation in the denial reason.¶
For an action whose class requires parameter binding
([I-D.draft-mcguinness-mission-runtime]),
context.parameter_digest MUST be present; if it is absent the PDP
returns parameter_violation. When context.parameters is also
present, the PDP-recomputed digest MUST match
context.parameter_digest, otherwise parameter_violation. When
parameters is omitted under the privacy carve-out
(Section 5.5), the PDP MUST still be able to evaluate every
applicable parameter constraint from the digest, supplied derived
attributes, or local state, and returns parameter_violation if it
cannot. A parameter-bound action MUST NOT be permitted without a
verified parameter_digest.¶
For a catalog-sourced action whose approved entry recorded a
capability source binding at derivation
(Section 9), context.capability_source MUST be
present and match the approved binding: the presented source_digest,
computed over the capability's current extracted definition
(Section 9.1), MUST equal the recorded value, and, where
a catalog_digest was recorded, the presented catalog_digest MUST
equal it likewise; otherwise the PDP returns capability_drift.
Whether an action is catalog-sourced, and which digests were
recorded, are determined from the materialized policy view, not from
the PEP's request; where no source binding was recorded, this check
does not apply.¶
The AuthZEN evaluations (boxcar) endpoint MAY be used to submit several
Mission-bound decisions in one request. Each item is evaluated
independently and on the same terms as a single request: each item
yields its own Decision Evidence Object with its own decision_id and
sequence, assigned in request order; any metered bounds apply per
item in request order ([I-D.draft-mcguinness-mission-metering]); and permits
are per item, so a boxcar MAY return a mix of permits and denials.
Batching is a transport optimization and changes none of the per-item
enforcement semantics.¶
A batch request for two journal-entry writes under the ERP
reconciliation Mission, where the second exceeds the entry's
max_amount ceiling of 500.00 USD. The shared subject is hoisted
to the request's default members per [AUTHZEN]; each item carries its
complete context:¶
The response returns one decision per item, in request order; the
first is a permit and the second a parameter_violation deny, whose
failing max_amount key is listed in that item's Decision
Evidence contributing_constraints:¶
{
"evaluations": [
{
"decision": true,
"context": {
"decision_id": "dec_2FpQ8kV5nR1tX7mB4sJ9eL6wYc",
"action_class": "irreversible_action",
"class_source": "deployment",
"parameter_digest":
"sha-256:WPVi6EnQ7H9Fh-qk9ADxmTg8zruOdVUX1esl-v3TfCI",
"policy_view_id":
"sha-256:kP3xR9sQ7nM2vL4tY6bD1eF8jC5wH0pV2nR3kQ4mZ7t",
"permit_expires_at": "2026-11-02T08:15:00Z",
"single_use": true
}
},
{
"decision": false,
"context": {
"decision_id": "dec_6JwN3xT9rQ4mV8kP1sB5eZ2yLd",
"denial_reason": "parameter_violation",
"action_class": "irreversible_action",
"class_source": "deployment",
"parameter_digest":
"sha-256:mzFwtXAT6_hY0v8_NFHMDJG39HFuWY2fRcOCSFGDyyE",
"policy_view_id":
"sha-256:kP3xR9sQ7nM2vL4tY6bD1eF8jC5wH0pV2nR3kQ4mZ7t"
}
}
]
}
¶
The runtime profile requires a decision evidence record for every PDP decision on a consequential action and fixes the minimum content and local integrity requirements. This section gives the concrete object, canonicalization, and integrity envelope an AuthZEN deployment emits.¶
decision_id:REQUIRED. A string. unique decision identifier. ABNF:
1*64( ALPHA / DIGIT / "-" / "_" ). At least 128 bits of entropy.¶
mission:REQUIRED. An object. the PDP request's context.mission
object (id, issuer, authority_hash, and, when known,
policy_version), extended with the PDP's own policy_view_id,
with intent_hash,
and, when known, a consent-disclosure commitment, so the evidence
chains back to the exact approved Mission. Within mission, id,
issuer, authority_hash, and policy_view_id are REQUIRED
(the PDP always knows and populates its own view identifier,
whatever the request carried); intent_hash is OPTIONAL
(it is carried in neither the mission claim nor introspection, so
only a PDP with direct Mission-record access can record it), and the
remaining members are OPTIONAL. These hashes are the issuing AS's
commitments cited as anchors; the PDP does not recompute them.¶
subject:REQUIRED. An object. PDP inputs as supplied, after PDP-side normalization.¶
resource:REQUIRED. An object. PDP inputs as supplied, after PDP-side normalization.¶
action:REQUIRED. An object. PDP inputs as supplied, after PDP-side normalization.¶
audience:REQUIRED. A string. PDP inputs as supplied, after PDP-side normalization.¶
action_class:REQUIRED. A string. the runtime action class the PDP applied to the
action: one of consequential_read, consequential_write,
irreversible_action, external_commitment, or
privileged_administration, naming the classes of
[I-D.draft-mcguinness-mission-runtime]. Every decision this
binding records is on a consequential action, so the member is always
present.¶
class_source:REQUIRED when action_class is present. A string. how the applied
class was assigned: default (the runtime profile's default
classification), resource_floor (the resource's published
mission_action_class_floors floor set or raised it,
[I-D.draft-mcguinness-mission-runtime]), or deployment
(deployment policy assigned it).¶
actor:OPTIONAL. An object. PDP inputs as supplied, after PDP-side normalization.¶
credential:OPTIONAL. An object. token-derived inputs as supplied, after PDP-side normalization. This member MUST contain only claims the PEP verified before invoking the PDP.¶
parameter_digest:OPTIONAL. A string. PDP inputs as supplied, after PDP-side normalization.¶
request_digest:CONDITIONAL. A string. a privacy-preserving digest of the evaluation
request, in the integrity-anchor encoded form
([I-D.draft-mcguinness-oauth-mission]). REQUIRED when
parameter_digest is absent for a consequential action, so the closed
object still carries the request digest the runtime profile requires
of every decision record ([I-D.draft-mcguinness-mission-runtime]).¶
capability_source:OPTIONAL. An object. the catalog-source binding the PDP evaluated for catalog-sourced actions.¶
compensates_decision_id:OPTIONAL. A string. the decision_id of the action this decision
compensates, carrying the runtime profile's compensation link
([I-D.draft-mcguinness-mission-runtime]) so a compensating
action reconciles against the action it reverses.¶
decision:REQUIRED. A string. one of permit or deny.¶
contributing_constraints:REQUIRED when the decision turned on one or more authority or
constraint entries. An array of strings: the identifiers of the
constraints and entries the PDP evaluated (constraints keys,
authorization_details entry types). For a permit it records every
constraint key and entry type the decision relied on; for a deny it
MUST list every entry that failed. Omitting an entry the decision
turned on is non-conforming, so the array can be relied on to
reconstruct the decision basis.¶
sequence:REQUIRED. An integer. the per-Mission sequence indicator the runtime profile requires, so the decision stream has a verifiable order and gaps are detectable. MUST be zero or greater.¶
denial_reason:CONDITIONAL. A string. Present when decision is deny. A value from
the set of Section 8, including any
specification-defined extension under that section's extensibility
rule; a consumer MUST treat an unrecognized value as a deny and MUST NOT attach any other semantics to it. When the denial
is a constraint violation, the value is parameter_violation and the
specific failing constraints keys are carried in
contributing_constraints, not in denial_reason, so the reason
enum and the open constraint-key space never mix in one field.¶
evaluated_at:authorizing_entry:OPTIONAL. An object. the authorization_details entry the decision
was evaluated against.¶
entry_digest:OPTIONAL. A string. the integrity-anchor encoded digest
([I-D.draft-mcguinness-oauth-mission]) of that entry, for a
deployment that does not record the entry in full. A record of a
permit MUST carry authorizing_entry or entry_digest, per the
runtime record requirements
([I-D.draft-mcguinness-mission-runtime]).¶
taint:OPTIONAL. An object. the presented taint context
(Section 5.7), recorded as supplied. REQUIRED when the
decision request carried context.taint.¶
evidence_envelope:REQUIRED. An object. integrity protection
(Section 6.3), carrying a format (string,
required) and a value (string, required).¶
A Decision Evidence Object is closed to uncoordinated extension: a companion profile of the runtime contract MAY add members with short names coordinated with this profile (for example, the metering companion's consumption and settlement members), any other extension MUST use a collision-resistant name, and a consumer MUST ignore members it does not understand and MUST NOT derive authority from any member.¶
The Decision Evidence Object records a PDP decision, which is why its
PDP-derived members are REQUIRED. The runtime profile also requires an
evidence record for a PEP refusal that occurs before any PDP decision:
token validation failure, a missing mission claim, PEP-PDP channel
failure, PDP unreachability, or the PEP being unable to establish
Mission state ([I-D.draft-mcguinness-mission-runtime]). Such a
refusal has no PDP decision and cannot populate the PDP-derived members
above. An AuthZEN deployment records it not as a Decision Evidence
Object but as a refusal record carrying only the fields the PEP
verified, at least audience, an action descriptor, evaluated_at,
the parameter_digest for a parameter-bound class (or a
privacy-preserving digest of the refused request otherwise, per the
runtime record minimum),
decision of deny, and a denial_reason from this pre-decision set:
token_invalid, mission_claim_missing, channel_failure,
pdp_unreachable, or state_unavailable (the PEP cannot establish
Mission state to send to the PDP). These name PEP-side conditions and
are disjoint from the PDP denial reasons of
Section 8; a record that can populate the
PDP-derived members is a Decision Evidence Object instead. When the
deployment establishes the Mission binding externally under the
runtime profile's binding-establishment step
([I-D.draft-mcguinness-mission-runtime]), absence of the mission
claim is not a pre-decision refusal and mission_claim_missing does
not apply; the external join's verification governs instead.¶
The evidence_envelope carries the integrity protection over the
Decision Evidence content. This AuthZEN profile defines the concrete
serialization required by [I-D.draft-mcguinness-mission-runtime]:
the Decision Evidence object is serialized as JCS [RFC8785] canonical
JSON before integrity protection. The default format is
jws-compact, a JWS Compact Serialization [RFC7515] whose payload is
the JCS canonical bytes of the Decision Evidence object with the
evidence_envelope member removed during signing. Verification
re-removes evidence_envelope and verifies the JWS against the
emitter's published signing key. For Decision Evidence emitted by a
PDP, the emitter is the PDP. For Execution Evidence emitted by a PEP or
executor, the emitter is that PEP or executor.¶
The JWS protected header MUST carry:¶
kid: a key identifier resolvable in the emitter's published JWKS
(Section 12.4), so a verifier can select the
emitter's signing key independently.¶
alg: ES256 [RFC7518] is mandatory to implement; an
implementation MAY offer other JOSE algorithms but MUST implement
ES256.¶
typ: the registered media type of the evidence object being signed
(application/mission-decision-evidence+json for Decision Evidence,
application/mission-execution-evidence+json for Execution Evidence,
Section 14). A verifier MUST reject a JWS whose protected typ is not
the media type of the object it is verifying, so Decision Evidence and
Execution Evidence signatures cannot be cross-used.¶
{
"evidence_envelope": {
"format": "jws-compact",
"value": "eyJhbGciOiJFUzI1NiIsImtpZCI6InBkcC1rZXkt..."
}
}
¶
This profile defines only the jws-compact format. Additional formats
MAY be defined by future specifications; implementations MUST reject
envelopes with unsupported formats.¶
{
"decision_id": "dec_8K2nP4qV9rL3tY6sB1zN0eF7jB",
"mission": {
"id": "msn_8RfX2Lqv9TqMv4z7sA2bN1k0YpEdHc9-",
"issuer": "https://as.example.com",
"authority_hash":
"sha-256:l3KvZ4mP5x0wQrR6tY2nD9bM7sX1cF8gH2vJ4kE5pNQ",
"intent_hash":
"sha-256:wQ7p4LHnX9Md0LqJ6sZJ8b8mZ3rN2xT5pV4lE6sQqYY",
"policy_version": "deploy-policy:v17",
"policy_view_id":
"sha-256:kP3xR9sQ7nM2vL4tY6bD1eF8jC5wH0pV2nR3kQ4mZ7t"
},
"subject": {
"type": "user",
"id": "user_3p2q8mN1a0kV7tR",
"properties": {
"iss": "https://idp.example.com"
}
},
"actor": {
"client_id": "s6BhdRkqt3",
"client_instance_id": "inst_macbook_7f3a",
"act": [
{
"iss": "https://as.example.com",
"sub": "s6BhdRkqt3"
}
]
},
"credential": {
"issuer": "https://as.example.com",
"expires_at": "2026-11-02T09:14:00Z"
},
"resource": {
"type": "journal-entry",
"id": "je_2026Q3_inv_8421"
},
"action": { "name": "journal-entries.write" },
"parameter_digest":
"sha-256:WPVi6EnQ7H9Fh-qk9ADxmTg8zruOdVUX1esl-v3TfCI",
"audience": "https://erp.example.com",
"action_class": "irreversible_action",
"class_source": "deployment",
"decision": "permit",
"contributing_constraints": [
"mission_resource_access", "max_amount"
],
"sequence": 42,
"evaluated_at": "2026-11-02T08:14:03Z",
"evidence_envelope": {
"format": "jws-compact",
"value": "eyJhbGciOiJFUzI1NiIsImtpZCI6InBkcC1rZXkt..."
}
}
¶
Decision Evidence is durable and integrity-protected. It is the authoritative record of what the PDP evaluated, not proof that the action occurred.¶
For a consequential action that is not parameter-bound (here a
consequential read), the record carries request_digest in place of
parameter_digest. The runtime profile does not standardize the
digested request form, so the emitting deployment states the exact
input; this non-normative example digests exactly the following
evaluation-request summary object:¶
{
"action": "journal-entries.read",
"audience": "https://erp.example.com",
"mission_id": "msn_8RfX2Lqv9TqMv4z7sA2bN1k0YpEdHc9-",
"resource": "je_2026Q3_inv_8421",
"subject": "user_3p2q8mN1a0kV7tR"
}
¶
The value is the integrity-anchor encoded form of the SHA-256 of the JCS [RFC8785] canonical bytes of that object (one line, sorted member names, no whitespace, shown here wrapped for layout only; remove the layout line breaks, adding no characters, to recover the canonical form):¶
{"action":"journal-entries.read","audience":"https://erp.example.com
","mission_id":"msn_8RfX2Lqv9TqMv4z7sA2bN1k0YpEdHc9-","resource":
"je_2026Q3_inv_8421","subject":"user_3p2q8mN1a0kV7tR"}
¶
request_digest = sha-256:sK12VE_g01AHD2v-O1vsf1Gf_xT_htjX0UN0Oe0dDRU¶
The PEP or executor emits an Execution Evidence Object after the
authorized action's outcome is determined. It records whether the
permitted action was attempted, completed, failed, or suppressed,
linked to the Decision Evidence by decision_id.¶
execution_id:REQUIRED. A string. unique execution identifier.
ABNF: 1*64( ALPHA / DIGIT / "-" / "_" ). At least 128 bits of
entropy.¶
decision_id:REQUIRED. A string. the linked Decision Evidence.¶
mission_id:REQUIRED. A string. the Mission id, mirrored from the
linked Decision Evidence for join-key convenience.¶
parameter_digest:CONDITIONAL. A string. MUST be present when the linked Decision Evidence carries one, and MUST match it.¶
outcome:REQUIRED. A string. one of attempted, completed,
failed, or suppressed. suppressed means the action was
permitted but the executor chose not to attempt it (for example, a
kill-switch or a secondary deny).¶
outcome_at:error:CONDITIONAL. A string. error identifier when outcome is failed or
suppressed, from this closed set: parameter_mismatch (the
executing PEP found the effective parameters differ from those the
permit bound), permit_expired (the permit's validity window had
passed at execution), permit_consumed (re-presentation of an
already-consumed single-use decision identifier), and kill_switch
(execution suppressed by an operator or safety control). A deployment
MAY define additional values, which MUST be collision-resistant names
(a short name within a namespace the deployment controls, following
the Collision-Resistant Name guidance of [RFC7519] Section 4.2) so
they cannot collide with this set or another deployment's.¶
sequence:REQUIRED. An integer. the per-Mission sequence indicator the runtime profile requires of every record, so the execution stream has a verifiable order and gaps are detectable. MUST be zero or greater.¶
attempted_at:OPTIONAL. An RFC 3339 timestamp. timing context.¶
completed_at:OPTIONAL. An RFC 3339 timestamp. timing context.¶
result_summary:OPTIONAL. An object. minimal action result metadata (for example, affected resource counts). MUST NOT carry user-content payloads.¶
evidence_envelope:REQUIRED. An object. integrity protection in the
same form as Decision Evidence (Section 6.3),
carrying a format (string, required) and a value (string,
required).¶
An Execution Evidence Object is closed to uncoordinated extension
under the same rule as Decision Evidence: coordinated companion
members (for example, the metering companion's measured_duration)
are permitted, any other extension MUST use a collision-resistant
name, and a consumer MUST ignore members it does not understand.¶
{
"execution_id": "exe_4r9SqLm8tY2pXkV3nR0eF7jB1zN6cQ5w",
"decision_id": "dec_8K2nP4qV9rL3tY6sB1zN0eF7jB",
"mission_id": "msn_8RfX2Lqv9TqMv4z7sA2bN1k0YpEdHc9-",
"parameter_digest":
"sha-256:WPVi6EnQ7H9Fh-qk9ADxmTg8zruOdVUX1esl-v3TfCI",
"outcome": "completed",
"sequence": 43,
"attempted_at": "2026-11-02T08:14:04Z",
"completed_at": "2026-11-02T08:14:05Z",
"outcome_at": "2026-11-02T08:14:05Z",
"result_summary": {
"rows_affected": 1
},
"evidence_envelope": {
"format": "jws-compact",
"value": "eyJhbGciOiJFUzI1NiIsImtpZCI6InBlcC1rZXkt..."
}
}
¶
Decision Evidence and Execution Evidence are linked but distinct. Authorization is not proof that an action occurred; a Decision Evidence record with no corresponding Execution Evidence record indicates the action was not attempted, or that the executor failed to emit evidence.¶
The semantics of parameter binding and the time-of-check to
time-of-use gap are defined by the runtime profile
([I-D.draft-mcguinness-mission-runtime]). In this binding, the
parameter_digest chain runs from the PDP request through Decision
Evidence to Execution Evidence: if the executed action's effective
parameters differ from those the PDP evaluated, the digest mismatch is
detectable in audit.¶
The PEP MUST NOT emit Execution Evidence that claims an attempted or
completed execution under a parameter_digest that does not match the
linked Decision Evidence. When the executing PEP detects a mismatch
before acting, it MUST refuse the action and emit Execution Evidence
with outcome set to suppressed and error set to
parameter_mismatch, or emit an equivalent PEP-refusal evidence record
under the deployment's runtime evidence mechanism. When values
nonetheless diverge across the chain, the audit consumer MUST classify
the action as parameter-mismatch and treat it as equivalent to an
unauthorized action for compliance purposes.¶
Decision Evidence and Execution Evidence MUST be retained for at least the deployment's audit retention window, which the runtime profile requires to be no shorter than the Mission's audit horizon, the term defined in the Mission Record section of [I-D.draft-mcguinness-oauth-mission]. Regulated deployments MAY require longer retention.¶
When the PDP denies a consequential action, the failure condition is one defined by the runtime profile. This section binds those conditions to AuthZEN responses and gives the denial-reason identifiers carried in Decision Evidence:¶
out_of_authority: the action is not within the Authority Set.¶
step_up_required: Resource policy requires a stronger authentication
context for this action than the actor presents, and MAY be satisfied
by [RFC9470] step-up authentication. This is a Resource-policy
condition, not a Mission constraint: the issuance profile's acr is
an approval-time requirement on the Approver, recorded on the Mission
and neither carried on derived tokens nor evaluated per action
([I-D.draft-mcguinness-oauth-mission]), and the issuance profile
defines no per-action amr constraint. It is a specialization of
resource_policy that names the step-up affordance.¶
action_approval_required: deployment or Resource policy requires an
action-bound approval for this action
([I-D.draft-mcguinness-mission-runtime]) and a valid fresh
approval bound to the action's parameters is not present. The PEP
carries any such approval in the decision context; this profile does
not define the approval artifact, which the runtime profile owns.¶
stale_state: the PEP-supplied freshness is stale or inconsistent
with the materialized policy view.¶
mission_inactive: the Mission state is not active.¶
actor_invalid: the required act chain is missing or malformed, so
the PDP cannot establish the runtime actor context
([I-D.draft-mcguinness-mission-runtime]).¶
credential_invalid: token-derived credential facts supplied by the
PEP are expired, inconsistent, or otherwise not usable for a runtime
decision.¶
parameter_violation: parameters violate a constraint the PDP
evaluated, the recomputed digest does not match, or a required
parameter_digest is absent for a parameter-bound action.¶
resource_policy: Resource policy refuses the action independently
of Mission authority.¶
quota_exceeded: a metered runtime bound is exhausted. The runtime
profile fixes the fail-closed posture for consumption bounds
([I-D.draft-mcguinness-mission-runtime]); the metering semantics
and settlement exchange are defined by the experimental metering
companion ([I-D.draft-mcguinness-mission-metering]).¶
capability_drift: the digest of a catalog-sourced action's current
extracted capability definition differs from the source_digest
committed at derivation, a recorded catalog_digest no longer
matches the retrieved source, or the presented tool_id is outside
the approved set (Section 9).¶
unsupported_authorization_type: the action targets an
authorization_details type the PDP does not understand or cannot
enforce, so it refuses rather than guess the type's semantics
([I-D.draft-mcguinness-mission-runtime]).¶
constraint_unsupported: an applicable constraint or consumption
bound on the entry is unrecognized or unmetered, so the PDP cannot
enforce it and refuses ([I-D.draft-mcguinness-mission-runtime]).
This is distinct from parameter_violation, which is a constraint the
PDP evaluated and found violated.¶
This document defines no other denial-reason values. A companion
profile MAY extend the set by specification; an extension value MUST
be either a collision-resistant name (following the Collision-Resistant
Name guidance of [RFC7519] Section 4.2) or a name coordinated within
this document family, so values cannot collide. A consumer of a denial
reason, wherever it is carried (the Decision Evidence denial_reason,
Section 6, or the response context.denial_reason,
Section 8), MUST treat an unrecognized value as
a deny and MUST NOT attach any other semantics to it, mirroring the
issuance profile's open lifecycle state space
([I-D.draft-mcguinness-oauth-mission]).¶
A deny is terminal for the attempted action: the agent does not proceed
on a denial. A deny need not end the task, however. For an
out_of_authority or action_approval_required denial, the PDP MAY
mark the denial requestable by including a context.access_request
object, composing this binding with the AuthZEN Access Request and
Approval Profile [ARAP]. The PEP then submits an ARAP access request
bound to the denied evaluation, an independent approver or policy
adjudicates it (synchronously when policy auto-approves, otherwise
asynchronously through the portable ARAP task handle), and on approval
the PEP re-evaluates against the PDP. This is the demand-driven,
runtime-initiated counterpart to the pre-consented drawdown of the
experimental progressive authorization companion
([I-D.draft-mcguinness-oauth-mission-progressive]): the agent starts
narrow and requests the authority it discovers it needs, instead of
holding it up front.¶
Auto-approval is bounded the same way in-ceiling drawdown is
([I-D.draft-mcguinness-oauth-mission-progressive]): a deployment SHOULD
rate-limit and anomaly-check synchronous auto-approval, and MUST NOT
auto-approve a request for an action_approval_required denial in the
irreversible, external-commitment, or privileged-administration classes
without an independent approver, so a compromised agent cannot drive the
request loop to escalate itself unattended.¶
Two ARAP properties carry weight here and match this profile's stance.
First, an ARAP approval is input context, not a bearer grant: the PDP
remains authoritative at enforcement, so the PEP MUST obtain a fresh
decision, and any resulting permit and evidence remain subject to this
profile. The action-bound approval an action_approval_required denial
calls for ([I-D.draft-mcguinness-mission-runtime]) is exactly
such an approval, and ARAP's approval.id or signed approval.state is
its carrier. Second, to persist authority beyond the single
re-evaluated action rather than re-requesting it per call, an approved
request MAY be realized as a Mission expansion
([I-D.draft-mcguinness-oauth-mission-expansion]): as the fresh human
approval that creates the successor Mission or, where the experimental
progressive authorization companion is deployed, as a
policy-adjudicated in-ceiling expansion
([I-D.draft-mcguinness-oauth-mission-progressive]).¶
AuthZEN decisions use a boolean decision member and an optional
context object. This profile defines the following AuthZEN response
context members:¶
decision_id:REQUIRED. A string. The Decision Evidence identifier for this decision.¶
denial_reason:REQUIRED when decision is false. A string from the set of
Section 8, including any
specification-defined extension under that section's extensibility
rule; a consumer MUST treat an unrecognized value as a deny and MUST NOT attach any other semantics to it. A constraint violation uses
parameter_violation; the specific failing constraints keys are
carried in the Decision Evidence contributing_constraints, not here.¶
action_class:REQUIRED. A string. the runtime action class the PDP applied, from the value set of Section 6, so the PEP can verify it is enforcing that class's permit controls.¶
class_source:REQUIRED when action_class is present. A string. one of default,
resource_floor, or deployment (Section 6).¶
parameter_digest:REQUIRED when the request was parameter-bound. A string. The digest bound to the decision.¶
policy_view_id:REQUIRED. A string. The materialized policy view the PDP evaluated. The PDP is authoritative for the view, so it always knows and returns this value.¶
permit_expires_at:REQUIRED when decision is true. An RFC 3339 timestamp after
which the permit MUST NOT be used.¶
single_use:CONDITIONAL. A boolean. When true, the PEP MUST treat decision_id
as a single-use decision identifier. Absent, the permit is not
single-use. For an action in the high-consequence classes
([I-D.draft-mcguinness-mission-runtime]) the PDP MUST include
single_use: true, and the PEP MUST treat a high-consequence permit
lacking it as invalid.¶
insufficient_claims:OPTIONAL. An object. Present only for a step_up_required denial. It
MAY contain acr_values and amr_values members that identify the
authentication context Resource policy requires to lift the denial.¶
access_request:OPTIONAL. An object. Present on an out_of_authority or
action_approval_required denial when the deployment exposes it as
requestable under [ARAP]. It is the ARAP requestable-denial context,
carrying the submission endpoint and the denial binding that ties a
later access request to this evaluation. Its presence does not change
the decision: false result and does not grant access.¶
When the PDP permits an action, it returns AuthZEN decision: true and
the context needed by the PEP to enforce the permit lease. The
decision_id, policy_view_id, and any parameter_digest bind the
response to the Decision Evidence and to the request inputs the PDP
evaluated. permit_expires_at and single_use express the permit
lifetime controls required by the runtime profile.¶
{
"decision": true,
"context": {
"decision_id": "dec_8K2nP4qV9rL3tY6sB1zN0eF7jB",
"action_class": "irreversible_action",
"class_source": "deployment",
"parameter_digest":
"sha-256:WPVi6EnQ7H9Fh-qk9ADxmTg8zruOdVUX1esl-v3TfCI",
"policy_view_id":
"sha-256:kP3xR9sQ7nM2vL4tY6bD1eF8jC5wH0pV2nR3kQ4mZ7t",
"permit_expires_at": "2026-11-02T08:15:00Z",
"single_use": true
}
}
¶
For a step_up_required denial, the PDP MAY include
context.insufficient_claims, so the caller can satisfy the
Resource-policy authentication requirement through an OAuth step-up
authentication challenge [RFC9470] at the protected resource and
re-authenticate, without a Mission expansion. Because the requirement is
Resource policy and not a Mission constraint, satisfying it changes the
actor's authentication context, not the Mission or its Authority Set.¶
A permit is valid only on the mutually authenticated channel and PEP
identity that requested it, and MUST NOT be relayed to another
component as a bearer grant. Where the requesting component and the
executing PEP differ, the executor MUST receive the signed Decision
Evidence (Section 6) and verify the runtime's binding
fields (the Mission reference and policy_view_id, audience,
subject, client_id, actor
context, action, resource, the authorizing entry or entry_digest,
and parameter_digest) from it before
acting, rather than trusting a relayed decision: true. A PEP permit
cache MUST key on the complete request envelope, so a cached permit
cannot be reused for a request whose envelope differs in any bound
field.¶
In a split topology the resource request the permit authorizes is
served by a Resource Server that did not see the PDP exchange. The PEP
SHOULD propagate the permit's decision_id to the resource request in
the Mission-Decision request header field (Section 14); the field value
is the decision_id, whose ABNF (Section 6) is
field-value-safe. The field is protected in transit per deployment: at
minimum it rides the TLS channel this binding already requires
(Section 12), and where the deployment signs resource
requests the signature MUST cover it.¶
A Resource Server that logs the received decision_id with the access
it serves closes the decision-to-access join: the Decision Evidence,
the Execution Evidence, and the Resource Server's access log then share
one identifier, so an access is joined to the decision that permitted
it without timestamp correlation. This extends the issuance profile's
recommendation that a Resource Server log the mission claim's id
and the token jti with each decision
([I-D.draft-mcguinness-oauth-mission]): the decision identifier is
this profile's addition to that correlation set.¶
The field is a correlation aid, not an authorization. Its presence or value grants nothing, the Resource Server's token validation and PEP obligations are unchanged, and a Resource Server MUST NOT treat it as a permit; the permit-binding rules above govern.¶
The PDP returns its permit or denial in the AuthZEN response
[AUTHZEN]. Runtime denials are successful evaluations and therefore
are represented as decision: false with the context members above,
not as transport errors.¶
{
"decision": false,
"context": {
"decision_id": "dec_8K2nP4qV9rL3tY6sB1zN0eF7jB",
"denial_reason": "stale_state",
"action_class": "irreversible_action",
"class_source": "deployment",
"policy_view_id":
"sha-256:kP3xR9sQ7nM2vL4tY6bD1eF8jC5wH0pV2nR3kQ4mZ7t"
}
}
¶
A requestable denial additionally carries context.access_request.
Here deployment policy requires an action-bound approval for the
journal-entry write, no valid fresh approval is present, and the PDP
marks the denial requestable under [ARAP]:¶
{
"decision": false,
"context": {
"decision_id": "dec_7YbK4nQ9tR2xV6mL1sP8eJ3wZc",
"denial_reason": "action_approval_required",
"action_class": "irreversible_action",
"class_source": "deployment",
"parameter_digest":
"sha-256:WPVi6EnQ7H9Fh-qk9ADxmTg8zruOdVUX1esl-v3TfCI",
"policy_view_id":
"sha-256:kP3xR9sQ7nM2vL4tY6bD1eF8jC5wH0pV2nR3kQ4mZ7t",
"access_request": {
"endpoint": "https://requests.example.com/access-requests",
"denial_binding": "dec_7YbK4nQ9tR2xV6mL1sP8eJ3wZc"
}
}
}
¶
The access_request members are the ARAP requestable-denial context
[ARAP]; this profile does not define their shape. Its presence does
not change the decision: false result: the PEP refuses the action,
submits the access request, and re-evaluates only after approval.¶
Malformed requests, authentication failures, or PDP processing errors that prevent evaluation MAY be returned as AuthZEN or transport-level errors. A deployment MAY additionally carry [RFC9457] problem details for structured error information when the PDP is consumed over HTTP outside the AuthZEN envelope.¶
Consequential actions an agent discovers at runtime, through a Model
Context Protocol tool catalog, an OpenAPI document, a Protected
Resource Metadata-linked catalog, or an equivalent capability source,
identify the source they came from, so a Mission's approved authority
stays bound to concrete tools rather than to bare action names a later
catalog revision could redefine. The runtime profile assigns capability
identity to the approved actions and refuses an invoked identity
outside them ([I-D.draft-mcguinness-mission-runtime]); this
section gives the concrete binding an AuthZEN deployment presents for
catalog-sourced actions.¶
For MCP tools, this binding composes with the AuthZEN MCP profile's
COAZ mapping [COAZ]. COAZ maps MCP tool definitions and invocation
parameters into the AuthZEN Subject-Action-Resource-Context model; this
profile adds Mission governance, source binding, Mission evidence, and
runtime metering. A Mission-governed MCP deployment MAY use COAZ to
construct the AuthZEN subject, resource, action, and
parameter-bearing context members, but the Mission-specific
context.mission, context.actor, freshness, permit binding, and
evidence requirements in this document still apply.¶
The minimum binding, committed by the validating server at derivation
and presented by the executing component at request time in
context.capability_source, is:¶
{
"tool_id": "mcp://docs.example.com/tools/write_document",
"source_uri": "https://docs.example.com/.well-known/mcp",
"source_digest":
"sha-256:OAbEIh2DTYUVP7DjRhHct4aapsT8PybZq2ILdut9UP0",
"operation_ref": "tools/write_document"
}
¶
tool_id:A string. a stable capability identifier the executing component asserts the action invokes.¶
source_uri:A string. the discovery source the capability was resolved from.¶
source_digest:A string. the integrity-anchor encoded form ([I-D.draft-mcguinness-oauth-mission]) over the capability's extracted definition (Section 9.1), recorded at derivation time. At request time it is computed over the current extracted definition, so the PDP's comparison detects a mutated definition.¶
operation_ref:A string. the source-format-specific operation
reference (MCP tool name, OpenAPI operationId, or equivalent).¶
catalog_digest:OPTIONAL. A string. the integrity-anchor encoded form over the exact
retrieved source representation, recorded at derivation time. Its
semantics are strictly stricter than source_digest: when recorded,
any change to the retrieved source refuses, whether or not it touches
the capability. A deployment records it where the whole catalog is
the trust unit.¶
executor:OPTIONAL. A string. An identifier for the executing component that serves the capability at request time (for example, an MCP server instance), asserted by the PEP that authenticates it. It is a request-time fact, not part of the derived authority recorded at derivation, and is recorded in Decision Evidence when present. Where the executing component authenticates under an attested-instance profile ([I-D.draft-mcguinness-oauth-client-instance-assertion], [I-D.draft-mcguinness-oauth-ai-agent-instance]), the deployment SHOULD carry the attested instance identifier here rather than a self-chosen label.¶
Rules:¶
The validating server records tool_id, source_uri,
source_digest, operation_ref, and any catalog_digest for every
consequential action sourced from a discovered catalog. These values
are part of the approved Mission's derived authority and are
therefore covered by authority_hash
([I-D.draft-mcguinness-oauth-mission]).¶
The PEP presents tool_id on consequential requests for
catalog-sourced actions. The runtime profile owns the drift
semantics: it requires the PDP to refuse an invoked identity outside
the approved actions and, where a per-capability source digest was
recorded at derivation, to refuse when the digest of the capability's
current extracted definition differs from it
([I-D.draft-mcguinness-mission-runtime]). The comparison is per
capability: a catalog change that leaves the extracted definition
byte-identical does not refuse, and a mutated definition refuses even
when the rest of the catalog is unchanged. Where catalog_digest was
recorded, any difference from the current retrieved source also
refuses. This binding adds only the wire representation: such a
refusal is carried as capability_drift
(Section 8). It defines no drift rule of its
own.¶
Resource policy MAY refuse a catalog-sourced action whose
source_uri or executor is outside the deployment's trusted set.
Such a refusal is a Resource-policy condition, carried as
resource_policy (Section 8), not a drift
refusal.¶
Actions not sourced from a discovered catalog (deployment-registered
authorization_details types, first-party operations with stable
identity) do not require this binding.¶
source_digest is computed over the extracted per-capability
definition, not the whole retrieved source, so a revision elsewhere in
a shared catalog does not invalidate a Mission's approved capabilities,
while any mutation of an approved capability's own definition still
refuses. The extraction rule is fixed per source format:¶
For an MCP tool catalog, the extracted definition is the single tool's definition object as retrieved (the member of the catalog's tool list whose name is the capability's), JCS-canonicalized [RFC8785].¶
For an OpenAPI document, the extracted definition is an object with
two members: operation, the operation object operation_ref
identifies, and components, an object carrying, under their
component names, the components of the document the operation
references by name, directly or transitively. The assembled object
is JCS-canonicalized.¶
For another source format, the binding profile in use defines the
extraction rule. A capability whose format has no defined extraction
rule cannot carry a source_digest; the whole-source
catalog_digest remains available for it.¶
For the MCP tool of the minimum binding above, the extracted definition is the tool's definition object:¶
{
"name": "write_document",
"description": "Create or update a document",
"inputSchema": {
"type": "object",
"properties": {
"path": { "type": "string" },
"content": { "type": "string" }
},
"required": ["path", "content"]
}
}
¶
The JCS canonical bytes are a single line with sorted member names and no whitespace, shown here wrapped for layout only; remove the layout line breaks, adding no characters, to recover the canonical form:¶
{"description":"Create or update a document","inputSchema":{"propert
ies":{"content":{"type":"string"},"path":{"type":"string"}},"require
d":["path","content"],"type":"object"},"name":"write_document"}
¶
source_digest = sha-256:OAbEIh2DTYUVP7DjRhHct4aapsT8PybZq2ILdut9UP0¶
Adding, removing, or renaming another tool in the same catalog leaves this value unchanged; any byte change to this definition changes it.¶
Cross-format canonicalization, signed capability manifests, and media-type negotiation across catalog formats are out of scope ([I-D.draft-mcguinness-mission-runtime]); this binding requires only the stable identifier plus source evidence above.¶
The PDP relies on Mission state to decide. The runtime profile defines
the Mission state source, the maximum staleness bound, and the
fail-closed rule ([I-D.draft-mcguinness-mission-runtime]). This
binding conveys that state and its freshness on the wire through
context.mission.state and context.freshness (Section 5),
using a mode member with one of three values that describe how the
PEP obtained the state:¶
fresh: the PEP consulted the Mission state source synchronously
before the action.¶
cached: the PEP used cached Mission state within the deployment's
staleness bound.¶
event_driven: the PEP relies on event-channel invalidation, but the
cached state remains bounded by the deployment's staleness bound, or
the lease the state carries, exactly as for cached; it is not valid
indefinitely. A missed or delayed invalidation event does not extend
validity, and when the bound elapses without a confirming event the
PEP MUST refresh from a Mission state source rather than continue on
the cache.¶
When freshness cannot be established within the bound, the PDP fails
closed for consequential actions as the runtime profile requires; in
this binding that surfaces as a stale_state denial
(Section 8).¶
This binding adds AuthZEN-specific obligations on top of the runtime profile's enforcement contract; an implementation conforms to this binding only for the resources, action classes, and PDPs in the runtime enforcement scope it documents ([I-D.draft-mcguinness-mission-runtime]).¶
A PEP conforming to this binding MUST:¶
carry the Mission and actor decision inputs in the AuthZEN envelope as
defined (Section 5), and match the approved entry's resource
against context.audience, not the AuthZEN resource member;¶
supply context.parameter_digest for a parameter-bound action class
(Section 5.5), and context.capability_source for a
catalog-sourced action whose approved entry recorded a source binding
(Section 9); and¶
emit a Decision Evidence Object for each PDP decision (Section 6), an Execution Evidence Object for each high-consequence action (Section 7), and a pre-decision refusal record for a refusal before any PDP decision (Section 6.2).¶
A PDP conforming to this binding MUST:¶
return every denial with a denial-reason identifier from the set of Section 8, including any specification-defined extension under its extensibility rule;¶
return the applied action_class, with its class_source, in the
decision context and record both in Decision Evidence
(Section 6); and¶
produce Decision Evidence with the required members and a verifiable integrity envelope (Section 6, Section 6.3).¶
The runtime profile's Security Considerations ([I-D.draft-mcguinness-mission-runtime]) apply in full: placement and bypass, classification integrity, freshness and consumption honesty, Resource policy authority, TOCTOU and replay, and the limits of a compromised PEP or PDP. This section addresses only threats specific to the AuthZEN binding and the evidence objects.¶
A deployment that composes with ARAP adds the Access Request Service to its trusted base: it adjudicates requestable denials and issues the approvals the PDP consumes as input. A compromised or misconfigured Access Request Service can auto-approve escalations, so it MUST be trusted, authenticated, and access-controlled like the PDP, and its auto-approval is bounded as above.¶
The denial-reason identifiers and any contributing_constraints are a
decision oracle: an agent can probe them to map authority it does not
hold. The PEP SHOULD minimize the denial detail it relays to the agent;
a generic refusal suffices to stop the action, and the full reason and
contributing constraints belong in evidence, not in the agent-facing
response. To bound probing through the request loop, deployments SHOULD
rate-limit access requests per Mission and surface request provenance to
Approvers, so a compromised agent driving repeated requestable denials
is visible to the humans adjudicating them.¶
Decision Evidence is not proof an action occurred. Implementations MUST emit Execution Evidence to record outcomes, and auditors MUST NOT treat Decision Evidence alone as evidence of action. An audit consumer MUST classify orphaned Decision Evidence (no matching Execution Evidence within the deployment's reconciliation window) as undetermined-outcome or, per deployment policy, as action-attempted; it MUST NOT treat it as proof of action.¶
The evidence_envelope binds each record to the emitting PDP or PEP.
The PDP's jws-compact signing key MUST be resolvable, by the JWS
protected kid, in the PDP's published JWKS so a verifier can check
Decision Evidence independently. The PEP or executor signing key used
for Execution Evidence MUST be resolvable the same way through a
deployment-published key set.¶
This profile fixes one concrete discovery convention: the PDP publishes its JWKS at a deployment-published location named in the enforcement scope statement ([I-D.draft-mcguinness-mission-runtime]), and the PEP or executor key set is published and named there likewise. A retired signing key MUST remain resolvable in the published key set for at least the evidence retention window, so records signed before a rotation stay verifiable after it.¶
Implementations MUST reject evidence whose format is unsupported
rather than accepting it unverified.¶
A PDP that evaluates against a materialized view enlarging the
Authority Set's bounds violates the bounded property of
Section 4. authority_hash is the upper
bound; policy_view_id lets the PDP detect that the view it loaded
does not match the Mission the PEP referenced and deny with
stale_state.¶
The PDP endpoint and the audit channels carrying Decision Evidence and Execution Evidence MUST be served over TLS 1.2 or later (TLS 1.3 RECOMMENDED). PEP-to-PDP authentication MUST be mutual, satisfying the integrity and mutual-authentication requirement the runtime profile places on the PEP-PDP channel ([I-D.draft-mcguinness-mission-runtime]). Evidence at rest MUST be encrypted per the deployment's data-protection posture.¶
The runtime profile's evidence-privacy guidance ([I-D.draft-mcguinness-mission-runtime]) applies in full. This section addresses the concrete evidence objects.¶
Decision Evidence and Execution Evidence carry the authenticated
subject, actor chain, resource and action identifiers,
credential-derived correlators, capability-source identifiers,
parameter_digest, and timing. These records are PII sinks and SHOULD
be access-controlled to audit consumers with a legitimate need,
encrypted at rest, and retained per the window of
Section 7.¶
The durable Decision Evidence record MUST NOT contain the raw
parameters object; it carries only parameter_digest and, at most,
parameter-class metadata, consistent with the runtime profile's rule
that raw parameters never appear in the record. Where raw parameters
must be retained for audit, they are held in a separately
access-controlled store keyed by decision_id. When the parameters are
themselves PII, the PEP SHOULD supply only context.parameter_digest
to the PDP, omitting context.parameters, so the PDP evaluates against
parameter-class policy without observing the raw values. The Execution
Evidence result_summary MUST NOT carry user-content payloads.¶
The actor member carries the delegation chain, which MAY reveal
service accounts, client instances, and organizational structure.
Evidence carrying the same Mission id and authority_hash across
resource boundaries can correlate a subject's activity; this is
inherent to the Mission's role as a governance handle. Deployments that
require unlinkability need an additional privacy design outside this
profile.¶
This document requests the following IANA actions.¶
This document registers two media types per [RFC6838].¶
Type name: application¶
Subtype name: mission-decision-evidence+json¶
Required parameters: none¶
Optional parameters: none¶
Encoding considerations: binary; JSON encoded in UTF-8¶
Security considerations: see Section 12¶
Interoperability considerations: see this document¶
Published specification: this document¶
Applications that use this media type: Mission-bound runtime enforcement deployments¶
Fragment identifier considerations: same as for application/json¶
Additional information:¶
Person & email address to contact for further information: Karl McGuinness public@karlmcguinness.com¶
Intended usage: COMMON¶
Restrictions on usage: none¶
Author: IETF¶
Change controller: IETF¶
Type name: application¶
Subtype name: mission-execution-evidence+json¶
Required parameters: none¶
Optional parameters: none¶
Encoding considerations: binary; JSON encoded in UTF-8¶
Security considerations: see Section 12¶
Interoperability considerations: see this document¶
Published specification: this document¶
Applications that use this media type: Mission-bound runtime enforcement deployments¶
Fragment identifier considerations: same as for application/json¶
Additional information:¶
Person & email address to contact for further information: Karl McGuinness public@karlmcguinness.com¶
Intended usage: COMMON¶
Restrictions on usage: none¶
Author: IETF¶
Change controller: IETF¶
This document registers the following in the "Hypertext Transfer Protocol (HTTP) Field Name" registry ([RFC9110]):¶
Field Name: Mission-Decision¶
Status: permanent¶
Reference: this document, Section 8.4¶
Comments: none¶
The context.mission, context.actor, context.credential,
context.parameters, context.parameter_digest, context.audience,
context.freshness, context.taint, and context.capability_source
members carried
inside the AuthZEN request
context object (Section 5) are
AuthZEN extension data and are not registered in an IETF registry.
The response context.decision_id, context.denial_reason,
context.action_class, context.class_source,
context.parameter_digest, context.policy_view_id,
context.permit_expires_at, context.single_use,
context.insufficient_claims, and context.access_request members
(Section 8) are likewise AuthZEN extension
data. The Mission-bound token claims this profile consumes are
registered by [I-D.draft-mcguinness-oauth-mission].¶
This document is the AuthZEN binding of Mission-Bound Runtime Enforcement and builds on the OpenID AuthZEN Authorization API. The author thanks the OpenID AuthZEN community and the Mission-Bound Authorization implementer community for feedback.¶