Christian Nennemann
e60035c75b
Add paragraph in Policy Claims section explicitly stating that policy definition, distribution, and evaluation are out of scope. The pol claim is an opaque identifier; any policy engine may be used provided outcomes are faithfully recorded. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
3219 lines
137 KiB
XML
3219 lines
137 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
||
<?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
|
||
<!-- generated by https://github.com/cabo/kramdown-rfc version 1.7.31 (Ruby 3.4.5) -->
|
||
|
||
|
||
<!DOCTYPE rfc [
|
||
<!ENTITY nbsp " ">
|
||
<!ENTITY zwsp "​">
|
||
<!ENTITY nbhy "‑">
|
||
<!ENTITY wj "⁠">
|
||
|
||
]>
|
||
|
||
|
||
<rfc ipr="trust200902" docName="draft-nennemann-wimse-execution-context-00" category="std" consensus="true" submissionType="IETF" tocInclude="true" sortRefs="true" symRefs="true">
|
||
<front>
|
||
<title abbrev="WIMSE Execution Context">Execution Context Tokens for Distributed Agentic Workflows</title>
|
||
|
||
<author fullname="Christian Nennemann">
|
||
<organization>Independent Researcher</organization>
|
||
<address>
|
||
<email>ietf@nennemann.de</email>
|
||
</address>
|
||
</author>
|
||
|
||
<date year="2026" month="February" day="24"/>
|
||
|
||
<area>Security</area>
|
||
<workgroup>WIMSE</workgroup>
|
||
<keyword>execution context</keyword> <keyword>workload identity</keyword> <keyword>agentic workflows</keyword> <keyword>audit trail</keyword> <keyword>compliance</keyword> <keyword>regulated systems</keyword>
|
||
|
||
<abstract>
|
||
|
||
|
||
<?line 83?>
|
||
|
||
<t>This document defines Execution Context Tokens (ECTs), an extension
|
||
to the Workload Identity in Multi System Environments (WIMSE)
|
||
architecture for distributed agentic workflows in regulated
|
||
environments. ECTs provide cryptographic proof of task execution
|
||
order, policy enforcement decisions, and compliance state across
|
||
agent-to-agent communication. By extending WIMSE Workload Identity
|
||
Tokens with execution context claims in JSON Web Token (JWT)
|
||
format, this specification enables regulated systems to maintain
|
||
structured audit trails that support compliance verification.
|
||
ECTs use a directed acyclic graph (DAG) structure to represent task
|
||
dependencies, record policy evaluation outcomes at each decision
|
||
point, and integrate with WIMSE Workload Identity Tokens (WIT) and
|
||
Workload Proof Tokens (WPT) using the same signing model and
|
||
cryptographic primitives. A new HTTP header field,
|
||
Execution-Context, is defined for transporting ECTs alongside
|
||
existing WIMSE headers. ECTs are a technical building block that
|
||
supports, but does not by itself constitute, compliance with
|
||
regulatory frameworks.</t>
|
||
|
||
|
||
|
||
</abstract>
|
||
|
||
|
||
|
||
</front>
|
||
|
||
<middle>
|
||
|
||
|
||
<?line 104?>
|
||
|
||
<section anchor="introduction"><name>Introduction</name>
|
||
|
||
<section anchor="motivation"><name>Motivation</name>
|
||
|
||
<t>The Workload Identity in Multi System Environments (WIMSE)
|
||
framework <xref target="I-D.ietf-wimse-arch"/> provides robust workload
|
||
authentication through Workload Identity Tokens (WIT) and Workload
|
||
Proof Tokens (WPT). The WIMSE service-to-service protocol
|
||
<xref target="I-D.ietf-wimse-s2s-protocol"/> defines how workloads authenticate
|
||
each other across call chains using the Workload-Identity and
|
||
Workload-Proof-Token HTTP headers.</t>
|
||
|
||
<t>However, workload identity alone does not address execution
|
||
accountability. Knowing who performed an action does not prove
|
||
what was done, what policy was applied, or whether compliance
|
||
requirements were satisfied at each decision point.</t>
|
||
|
||
<t>Regulated environments increasingly deploy autonomous agents that
|
||
coordinate across organizational boundaries. Multiple regulatory
|
||
frameworks motivate the need for structured execution records:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t>The EU Artificial Intelligence Act <xref target="EU-AI-ACT"/> Article 12
|
||
requires high-risk AI systems to be designed with capabilities
|
||
enabling automatic recording of events ("logs") while the
|
||
system is operating.</t>
|
||
<t>The U.S. FDA 21 CFR Part 11 <xref target="FDA-21CFR11"/> requires
|
||
computer-generated, timestamped audit trails that independently
|
||
record the date, time, operator identity, and actions taken
|
||
(Section 11.10(e)).</t>
|
||
<t>The Markets in Financial Instruments Directive (MiFID II)
|
||
<xref target="MIFID-II"/> requires firms to maintain records of transactions
|
||
and orders that are sufficient to enable supervisory authorities
|
||
to monitor compliance.</t>
|
||
<t>The Digital Operational Resilience Act (DORA) <xref target="DORA"/> Article 12
|
||
requires financial entities to have logging policies that record
|
||
ICT activities and anomalies.</t>
|
||
</list></t>
|
||
|
||
<t>This document defines an extension to the WIMSE architecture that
|
||
addresses the gap between workload identity and execution
|
||
accountability. WIMSE authenticates agents; this extension records
|
||
what they did, in what order, and what policy was evaluated.</t>
|
||
|
||
<t>As identified in <xref target="I-D.ni-wimse-ai-agent-identity"/>, call context
|
||
in agentic workflows needs to be visible and preserved. ECTs
|
||
provide a mechanism to address this requirement with cryptographic
|
||
assurances.</t>
|
||
|
||
</section>
|
||
<section anchor="problem-statement"><name>Problem Statement</name>
|
||
|
||
<t>Three core gaps exist in current approaches to regulated agentic
|
||
systems:</t>
|
||
|
||
<t><list style="numbers" type="1">
|
||
<t>WIMSE authenticates agents but does not record what they
|
||
actually did. A WIT proves "Agent A is authorized" but not
|
||
"Agent A executed Task X, under Policy Y, producing Output Z."</t>
|
||
<t>No standard mechanism exists to record policy evaluation
|
||
outcomes at each decision point in a multi-agent workflow.</t>
|
||
<t>No mechanism exists to cryptographically link compensation and
|
||
rollback decisions to original actions.</t>
|
||
</list></t>
|
||
|
||
<t>Existing observability tools such as distributed tracing
|
||
<xref target="OPENTELEMETRY"/> provide visibility for debugging and monitoring
|
||
but do not provide cryptographic assurances. Tracing data is not
|
||
cryptographically signed, not tamper-evident, and not designed for
|
||
regulatory audit scenarios.</t>
|
||
|
||
</section>
|
||
<section anchor="scope-and-applicability"><name>Scope and Applicability</name>
|
||
|
||
<t>This document defines:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t>The Execution Context Token (ECT) format (<xref target="ect-format"/>)</t>
|
||
<t>DAG structure for task dependency ordering (<xref target="dag-validation"/>)</t>
|
||
<t>Policy checkpoint recording (<xref target="policy-claims"/>)</t>
|
||
<t>Integration with the WIMSE identity framework
|
||
(<xref target="wimse-integration"/>)</t>
|
||
<t>An HTTP header for ECT transport (<xref target="http-header"/>)</t>
|
||
<t>Audit ledger interface requirements (<xref target="ledger-interface"/>)</t>
|
||
</list></t>
|
||
|
||
<t>The following are out of scope and are handled by WIMSE:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t>Workload authentication and identity provisioning</t>
|
||
<t>Key distribution and management</t>
|
||
<t>Trust domain establishment and management</t>
|
||
<t>Credential lifecycle management</t>
|
||
</list></t>
|
||
|
||
</section>
|
||
<section anchor="relationship-to-regulatory-compliance"><name>Relationship to Regulatory Compliance</name>
|
||
|
||
<t>ECTs are a technical mechanism that can support compliance programs
|
||
by providing structured, cryptographically signed execution
|
||
records. ECTs do not by themselves constitute compliance with any
|
||
regulatory framework referenced in this document.</t>
|
||
|
||
<t>Compliance with each referenced regulation requires organizational
|
||
controls, policies, procedures, validation, and governance measures
|
||
beyond the scope of this specification. The regulatory references
|
||
in this document are intended to motivate the design requirements,
|
||
not to claim that implementing ECTs satisfies these regulations.</t>
|
||
|
||
<t>ECTs provide evidence of claimed execution ordering and policy
|
||
evaluation. They do not independently verify that the claimed
|
||
execution actually occurred as described, that the policy
|
||
evaluation was correct, or that the agent faithfully performed the
|
||
stated action. The trustworthiness of ECT claims depends on the
|
||
trustworthiness of the signing agent and the integrity of the
|
||
broader deployment environment.</t>
|
||
|
||
</section>
|
||
</section>
|
||
<section anchor="conventions-and-definitions"><name>Conventions and Definitions</name>
|
||
|
||
<t>The key words "<bcp14>MUST</bcp14>", "<bcp14>MUST NOT</bcp14>", "<bcp14>REQUIRED</bcp14>", "<bcp14>SHALL</bcp14>", "<bcp14>SHALL
|
||
NOT</bcp14>", "<bcp14>SHOULD</bcp14>", "<bcp14>SHOULD NOT</bcp14>", "<bcp14>RECOMMENDED</bcp14>", "<bcp14>NOT RECOMMENDED</bcp14>",
|
||
"<bcp14>MAY</bcp14>", and "<bcp14>OPTIONAL</bcp14>" 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>
|
||
|
||
<?line -18?>
|
||
|
||
<t>The following terms are used in this document:</t>
|
||
|
||
<dl>
|
||
<dt>Agent:</dt>
|
||
<dd>
|
||
<t>An autonomous workload, as defined by WIMSE
|
||
<xref target="I-D.ietf-wimse-arch"/>, that executes tasks within a workflow.</t>
|
||
</dd>
|
||
<dt>Task:</dt>
|
||
<dd>
|
||
<t>A discrete unit of agent work that consumes inputs and produces
|
||
outputs.</t>
|
||
</dd>
|
||
<dt>Directed Acyclic Graph (DAG):</dt>
|
||
<dd>
|
||
<t>A graph structure representing task dependency ordering where
|
||
edges are directed and no cycles exist.</t>
|
||
</dd>
|
||
<dt>Execution Context Token (ECT):</dt>
|
||
<dd>
|
||
<t>A JSON Web Token <xref target="RFC7519"/> defined by this specification that
|
||
records task execution details and policy evaluation outcomes.</t>
|
||
</dd>
|
||
<dt>Audit Ledger:</dt>
|
||
<dd>
|
||
<t>An append-only, immutable log of all ECTs within a workflow or
|
||
set of workflows, used for regulatory audit and compliance
|
||
verification.</t>
|
||
</dd>
|
||
<dt>Policy Checkpoint:</dt>
|
||
<dd>
|
||
<t>A point in a workflow where a policy evaluation outcome is
|
||
recorded within an ECT.</t>
|
||
</dd>
|
||
<dt>Workload Identity Token (WIT):</dt>
|
||
<dd>
|
||
<t>A WIMSE credential proving a workload's identity within a trust
|
||
domain.</t>
|
||
</dd>
|
||
<dt>Workload Proof Token (WPT):</dt>
|
||
<dd>
|
||
<t>A WIMSE proof-of-possession token used for request-level
|
||
authentication.</t>
|
||
</dd>
|
||
<dt>Trust Domain:</dt>
|
||
<dd>
|
||
<t>A WIMSE concept representing an organizational boundary with a
|
||
shared identity issuer, corresponding to a SPIFFE <xref target="SPIFFE"/>
|
||
trust domain.</t>
|
||
</dd>
|
||
<dt>Witness:</dt>
|
||
<dd>
|
||
<t>A third-party entity that observes and attests to the execution
|
||
of a task, providing additional accountability.</t>
|
||
</dd>
|
||
</dl>
|
||
|
||
</section>
|
||
<section anchor="wimse-integration"><name>WIMSE Architecture Integration</name>
|
||
|
||
<section anchor="wimse-foundation"><name>WIMSE Foundation</name>
|
||
|
||
<t>The WIMSE architecture <xref target="I-D.ietf-wimse-arch"/> defines:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t>Workload Identity Tokens (WIT) that prove a workload's identity
|
||
within a trust domain ("I am Agent X in trust domain Y")</t>
|
||
<t>Workload Proof Tokens (WPT) that prove possession of the private
|
||
key associated with a WIT ("I control the key for Agent X")</t>
|
||
<t>Multi-hop authentication via the service-to-service protocol
|
||
<xref target="I-D.ietf-wimse-s2s-protocol"/></t>
|
||
</list></t>
|
||
|
||
<t>The following execution accountability needs are complementary to
|
||
the WIMSE scope and are not addressed by workload identity alone:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t>Recording what agents actually do with their authenticated
|
||
identity</t>
|
||
<t>Recording policy evaluation outcomes at each hop</t>
|
||
<t>Maintaining structured execution records</t>
|
||
<t>Linking compensation or rollback actions to original tasks</t>
|
||
</list></t>
|
||
|
||
</section>
|
||
<section anchor="extension-model"><name>Extension Model</name>
|
||
|
||
<t>ECTs extend WIMSE by adding an execution accountability layer
|
||
between the identity layer and the application layer:</t>
|
||
|
||
<figure title="WIMSE Extension Architecture Layers" anchor="fig-layers"><artwork type="ascii-art"><![CDATA[
|
||
+--------------------------------------------------+
|
||
| WIMSE Layer (Identity) |
|
||
| WIT: "I am Agent X (spiffe://td/agent/x)" |
|
||
| WPT: "I prove I control the key for Agent X" |
|
||
+--------------------------------------------------+
|
||
|
|
||
v
|
||
+--------------------------------------------------+
|
||
| ECT Layer (Execution Accountability) [This Spec]|
|
||
| ECT: "Task executed, dependencies met, |
|
||
| policy evaluated, outcome recorded" |
|
||
+--------------------------------------------------+
|
||
|
|
||
v
|
||
+--------------------------------------------------+
|
||
| Ledger Layer (Immutable Record) |
|
||
| "All ECTs appended to audit ledger" |
|
||
+--------------------------------------------------+
|
||
]]></artwork></figure>
|
||
|
||
<t>This extension reuses the WIMSE signing model, extends JWT claims
|
||
using standard JWT extensibility <xref target="RFC7519"/>, and maintains WIMSE
|
||
concepts including trust domains and workload identifiers.</t>
|
||
|
||
</section>
|
||
<section anchor="integration-points"><name>Integration Points</name>
|
||
|
||
<t>An ECT integrates with the WIMSE identity framework through the
|
||
following mechanisms:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t>The ECT JOSE header "kid" parameter <bcp14>MUST</bcp14> reference the public
|
||
key identifier from the agent's WIT.</t>
|
||
<t>The ECT "iss" claim <bcp14>MUST</bcp14> use the WIMSE workload identifier
|
||
format (a SPIFFE ID <xref target="SPIFFE"/>).</t>
|
||
<t>The ECT <bcp14>MUST</bcp14> be signed with the same private key used to
|
||
generate the agent's WPT.</t>
|
||
<t>The ECT signing algorithm (JOSE header "alg" parameter) <bcp14>MUST</bcp14>
|
||
match the algorithm used in the corresponding WIT.</t>
|
||
</list></t>
|
||
|
||
<t>When an agent makes an HTTP request to another agent, the three
|
||
tokens are carried in their respective HTTP header fields:</t>
|
||
|
||
<figure title="HTTP Header Stacking" anchor="fig-http-headers"><artwork type="ascii-art"><![CDATA[
|
||
HTTP Request from Agent A to Agent B:
|
||
Workload-Identity: <WIT for Agent A>
|
||
Workload-Proof-Token: <WPT proving A controls key>
|
||
Execution-Context: <ECT recording what A did>
|
||
]]></artwork></figure>
|
||
|
||
<t>The receiving agent (Agent B) verifies in order:</t>
|
||
|
||
<t><list style="numbers" type="1">
|
||
<t>WIT and WPT (WIMSE layer): Proves who Agent A is and that the
|
||
request is authentic.</t>
|
||
<t>ECT (this extension): Records what Agent A did, what policy was
|
||
evaluated, and what precedent tasks exist.</t>
|
||
<t>Ledger: Appends the verified ECT to the audit ledger.</t>
|
||
</list></t>
|
||
|
||
</section>
|
||
</section>
|
||
<section anchor="ect-format"><name>Execution Context Token Format</name>
|
||
|
||
<t>An Execution Context Token is a JSON Web Token (JWT) <xref target="RFC7519"/>
|
||
signed as a JSON Web Signature (JWS) <xref target="RFC7515"/> using the Compact
|
||
Serialization. JWS JSON Serialization <bcp14>MUST NOT</bcp14> be used for ECTs.</t>
|
||
|
||
<section anchor="jose-header"><name>JOSE Header</name>
|
||
|
||
<t>The ECT JOSE header <bcp14>MUST</bcp14> contain the following parameters:</t>
|
||
|
||
<figure title="ECT JOSE Header Example" anchor="fig-header"><sourcecode type="json"><![CDATA[
|
||
{
|
||
"alg": "ES256",
|
||
"typ": "wimse-exec+jwt",
|
||
"kid": "agent-a-key-id-123"
|
||
}
|
||
]]></sourcecode></figure>
|
||
|
||
<dl>
|
||
<dt>alg:</dt>
|
||
<dd>
|
||
<t><bcp14>REQUIRED</bcp14>. The digital signature algorithm used to sign the ECT.
|
||
<bcp14>MUST</bcp14> match the algorithm in the corresponding WIT.
|
||
Implementations <bcp14>MUST</bcp14> support ES256 <xref target="RFC7518"/>. The "alg"
|
||
value <bcp14>MUST NOT</bcp14> be "none". Symmetric algorithms (e.g., HS256,
|
||
HS384, HS512) <bcp14>MUST NOT</bcp14> be used, as ECTs require asymmetric
|
||
signatures for non-repudiation.</t>
|
||
</dd>
|
||
<dt>typ:</dt>
|
||
<dd>
|
||
<t><bcp14>REQUIRED</bcp14>. <bcp14>MUST</bcp14> be set to "wimse-exec+jwt" to distinguish ECTs
|
||
from other JWT types, consistent with the WIMSE convention for
|
||
type parameter values.</t>
|
||
</dd>
|
||
<dt>kid:</dt>
|
||
<dd>
|
||
<t><bcp14>REQUIRED</bcp14>. The key identifier referencing the public key from
|
||
the agent's WIT <xref target="RFC7517"/>. Used by verifiers to look up the
|
||
correct public key for signature verification.</t>
|
||
</dd>
|
||
</dl>
|
||
|
||
</section>
|
||
<section anchor="jwt-claims"><name>JWT Claims</name>
|
||
|
||
<t>The ECT payload contains both WIMSE-compatible standard JWT claims
|
||
and execution context claims defined by this specification.</t>
|
||
|
||
<section anchor="wimse-compatible-claims"><name>WIMSE-Compatible Claims</name>
|
||
|
||
<t>The following standard JWT claims <xref target="RFC7519"/> <bcp14>MUST</bcp14> be present in
|
||
every ECT:</t>
|
||
|
||
<dl>
|
||
<dt>iss:</dt>
|
||
<dd>
|
||
<t><bcp14>REQUIRED</bcp14>. StringOrURI. The issuer of the ECT, which <bcp14>MUST</bcp14> be
|
||
the workload's SPIFFE ID in the format
|
||
<spanx style="verb">spiffe://<trust-domain>/<path></spanx>. This <bcp14>MUST</bcp14> match the "sub"
|
||
claim of the agent's WIT.</t>
|
||
</dd>
|
||
<dt>sub:</dt>
|
||
<dd>
|
||
<t><bcp14>OPTIONAL</bcp14>. StringOrURI. The subject of the ECT. When present,
|
||
<bcp14>MUST</bcp14> equal the "iss" claim. This claim is included for
|
||
compatibility with JWT libraries and frameworks that expect a
|
||
"sub" claim to be present.</t>
|
||
</dd>
|
||
<dt>aud:</dt>
|
||
<dd>
|
||
<t><bcp14>REQUIRED</bcp14>. StringOrURI or array of StringOrURI. The intended
|
||
recipient(s) of the ECT. Because ECTs serve as both inter-agent
|
||
messages and audit records, the "aud" claim <bcp14>SHOULD</bcp14> contain the
|
||
identifiers of all entities that will verify the ECT. In
|
||
practice this means:
|
||
</t>
|
||
|
||
<t><list style="symbols">
|
||
<t><strong>Point-to-point delivery</strong>: when an ECT is sent from one
|
||
agent to a single next agent, "aud" contains that agent's
|
||
workload identity. The receiving agent verifies the ECT and
|
||
forwards it to the ledger on behalf of the issuer.</t>
|
||
<t><strong>Direct-to-ledger submission</strong>: when an ECT is submitted
|
||
directly to the audit ledger (e.g., after a join or at
|
||
workflow completion), "aud" contains the ledger's identity.</t>
|
||
<t><strong>Multi-audience</strong>: when an ECT must be verified by both the
|
||
next agent and the ledger independently, "aud" <bcp14>MUST</bcp14> be an
|
||
array containing both identifiers (e.g.,
|
||
["spiffe://example.com/agent/next",
|
||
"spiffe://example.com/system/ledger"]). Each verifier checks
|
||
that its own identity appears in the array.</t>
|
||
</list></t>
|
||
|
||
<t>In multi-parent (join) scenarios where a task depends on ECTs
|
||
from multiple parent agents, the joining agent creates a new ECT
|
||
with the parent task IDs in "par". The "aud" of this new ECT
|
||
is set according to the rules above based on where the ECT will
|
||
be delivered — it is independent of the "aud" values in the
|
||
parent ECTs.</t>
|
||
</dd>
|
||
<dt>iat:</dt>
|
||
<dd>
|
||
<t><bcp14>REQUIRED</bcp14>. NumericDate. The time at which the ECT was issued.
|
||
The ECT records a completed action, so the "iat" value reflects
|
||
when the record was created, not when task execution began.</t>
|
||
</dd>
|
||
<dt>exp:</dt>
|
||
<dd>
|
||
<t><bcp14>REQUIRED</bcp14>. NumericDate. The expiration time of the ECT.
|
||
Implementations <bcp14>SHOULD</bcp14> set this to 5 to 15 minutes after "iat"
|
||
to limit the replay window while allowing for reasonable clock
|
||
skew and processing time.</t>
|
||
</dd>
|
||
</dl>
|
||
|
||
<t>The standard JWT "nbf" (Not Before) claim is not used in ECTs
|
||
because ECTs record completed actions and are valid immediately
|
||
upon issuance.</t>
|
||
|
||
<dl>
|
||
<dt>jti:</dt>
|
||
<dd>
|
||
<t><bcp14>REQUIRED</bcp14>. String. A unique identifier for the ECT in UUID
|
||
format <xref target="RFC9562"/>. Used for replay detection: receivers <bcp14>MUST</bcp14>
|
||
reject ECTs whose "jti" has already been seen within the
|
||
expiration window. The "jti" value <bcp14>MUST</bcp14> be unique across all
|
||
ECTs issued by the same agent.</t>
|
||
</dd>
|
||
</dl>
|
||
|
||
</section>
|
||
<section anchor="exec-claims"><name>Execution Context Claims</name>
|
||
|
||
<t>The following claims are defined by this specification:</t>
|
||
|
||
<dl>
|
||
<dt>wid:</dt>
|
||
<dd>
|
||
<t><bcp14>OPTIONAL</bcp14>. String. A workflow identifier that groups related
|
||
ECTs into a single workflow. When present, <bcp14>MUST</bcp14> be a UUID
|
||
<xref target="RFC9562"/>. When absent, the "tid" uniqueness requirement
|
||
applies globally across the entire ledger.</t>
|
||
</dd>
|
||
<dt>tid:</dt>
|
||
<dd>
|
||
<t><bcp14>REQUIRED</bcp14>. String. A globally unique task identifier in UUID
|
||
format <xref target="RFC9562"/>. Each task <bcp14>MUST</bcp14> have a unique "tid" value.
|
||
When "wid" is present, uniqueness is scoped to the workflow;
|
||
when "wid" is absent, uniqueness <bcp14>MUST</bcp14> be enforced globally
|
||
across the ledger.</t>
|
||
</dd>
|
||
<dt>exec_act:</dt>
|
||
<dd>
|
||
<t><bcp14>REQUIRED</bcp14>. String. The action or task type identifier describing
|
||
what the agent performed (e.g., "process_payment",
|
||
"validate_safety", "calculate_dosage"). Note: this claim is
|
||
intentionally named "exec_act" rather than "act" to avoid
|
||
collision with the "act" (Actor) claim registered by
|
||
<xref target="RFC8693"/>.</t>
|
||
</dd>
|
||
<dt>par:</dt>
|
||
<dd>
|
||
<t><bcp14>REQUIRED</bcp14>. Array of strings. Parent task identifiers
|
||
representing DAG dependencies. Each element <bcp14>MUST</bcp14> be a valid
|
||
"tid" from a previously executed task. An empty array indicates
|
||
a root task with no dependencies. A workflow <bcp14>MAY</bcp14> contain
|
||
multiple root tasks.</t>
|
||
</dd>
|
||
</dl>
|
||
|
||
</section>
|
||
<section anchor="policy-claims"><name>Policy Claims</name>
|
||
|
||
<t>The following claims record policy evaluation outcomes:</t>
|
||
|
||
<dl>
|
||
<dt>pol:</dt>
|
||
<dd>
|
||
<t><bcp14>REQUIRED</bcp14>. String. The identifier of the policy rule that was
|
||
evaluated for this task (e.g.,
|
||
"clinical_data_access_policy_v1").</t>
|
||
</dd>
|
||
<dt>pol_decision:</dt>
|
||
<dd>
|
||
<t><bcp14>REQUIRED</bcp14>. String. The result of the policy evaluation. <bcp14>MUST</bcp14>
|
||
be one of the values registered in the ECT Policy Decision
|
||
Values registry (<xref target="pol-decision-registry"/>). Initial values
|
||
are:
|
||
</t>
|
||
|
||
<t><list style="symbols">
|
||
<t>"approved": The policy evaluation succeeded and the task
|
||
was authorized to proceed.</t>
|
||
<t>"rejected": The policy evaluation failed. A "rejected" ECT
|
||
<bcp14>MUST</bcp14> still be appended to the audit ledger for accountability.
|
||
An ECT with "pol_decision" of "rejected" <bcp14>MAY</bcp14> appear as a
|
||
parent in the "par" array of a subsequent ECT, but only for
|
||
compensation, rollback, or remediation tasks. Agents <bcp14>MUST
|
||
NOT</bcp14> proceed with normal workflow execution based on a parent
|
||
ECT whose "pol_decision" is "rejected".</t>
|
||
<t>"pending_human_review": The policy evaluation requires human
|
||
judgment before proceeding. Agents <bcp14>MUST NOT</bcp14> proceed with
|
||
dependent tasks until a subsequent ECT from a human reviewer
|
||
records an "approved" decision referencing this task as a
|
||
parent.</t>
|
||
</list></t>
|
||
</dd>
|
||
<dt>pol_enforcer:</dt>
|
||
<dd>
|
||
<t><bcp14>OPTIONAL</bcp14>. StringOrURI. The identity of the entity (system or
|
||
person) that evaluated the policy decision. When present,
|
||
<bcp14>SHOULD</bcp14> use SPIFFE ID format.</t>
|
||
</dd>
|
||
<dt>pol_timestamp:</dt>
|
||
<dd>
|
||
<t><bcp14>OPTIONAL</bcp14>. NumericDate. The time at which the policy decision
|
||
was made. When present, <bcp14>MUST</bcp14> be equal to or earlier than the
|
||
"iat" claim.</t>
|
||
</dd>
|
||
</dl>
|
||
|
||
<t>This specification intentionally defines only the recording of
|
||
policy evaluation outcomes. The mechanisms by which policies are
|
||
defined, distributed to agents, and evaluated are out of scope.
|
||
The "pol" claim is an opaque identifier referencing an external
|
||
policy; the semantics and enforcement of that policy are
|
||
determined by the deployment environment. Implementations may
|
||
use any policy engine or framework (e.g., OPA/Rego, Cedar, XACML,
|
||
or custom solutions) provided that the evaluation outcome is
|
||
faithfully recorded in the ECT claims defined above.</t>
|
||
|
||
</section>
|
||
<section anchor="data-integrity-claims"><name>Data Integrity Claims</name>
|
||
|
||
<t>The following claims provide integrity verification for task
|
||
inputs and outputs without revealing the data itself:</t>
|
||
|
||
<dl>
|
||
<dt>inp_hash:</dt>
|
||
<dd>
|
||
<t><bcp14>OPTIONAL</bcp14>. String. A cryptographic hash of the input data,
|
||
formatted as "hash-algorithm:base64url-encoded-hash" (e.g.,
|
||
"sha-256:n4bQgYhMfWWaL-qgxVrQFaO_TxsrC4Is0V1sFbDwCgg"). The
|
||
hash algorithm identifier <bcp14>MUST</bcp14> be a lowercase value from the
|
||
IANA Named Information Hash Algorithm Registry (e.g., "sha-256",
|
||
"sha-384", "sha-512"). Implementations <bcp14>MUST</bcp14> support "sha-256"
|
||
and <bcp14>SHOULD</bcp14> use "sha-256" unless a stronger algorithm is
|
||
required. Implementations <bcp14>MUST NOT</bcp14> accept hash algorithms
|
||
weaker than SHA-256 (e.g., MD5, SHA-1). The hash <bcp14>MUST</bcp14> be
|
||
computed over the raw octets of the input data.</t>
|
||
</dd>
|
||
<dt>out_hash:</dt>
|
||
<dd>
|
||
<t><bcp14>OPTIONAL</bcp14>. String. A cryptographic hash of the output data,
|
||
using the same format and algorithm requirements as "inp_hash".</t>
|
||
</dd>
|
||
<dt>inp_classification:</dt>
|
||
<dd>
|
||
<t><bcp14>OPTIONAL</bcp14>. String. The data sensitivity classification of the
|
||
input (e.g., "public", "confidential", "restricted").</t>
|
||
</dd>
|
||
</dl>
|
||
|
||
</section>
|
||
<section anchor="operational-claims"><name>Operational Claims</name>
|
||
|
||
<t>The following claims provide additional operational context:</t>
|
||
|
||
<dl>
|
||
<dt>exec_time_ms:</dt>
|
||
<dd>
|
||
<t><bcp14>OPTIONAL</bcp14>. Integer. The execution duration of the task in
|
||
milliseconds. <bcp14>MUST</bcp14> be a non-negative integer.</t>
|
||
</dd>
|
||
<dt>regulated_domain:</dt>
|
||
<dd>
|
||
<t><bcp14>OPTIONAL</bcp14>. String. The regulatory domain applicable to this
|
||
task. Values <bcp14>MUST</bcp14> be registered in the ECT Regulated Domain
|
||
Values registry (<xref target="regulated-domain-registry"/>).</t>
|
||
</dd>
|
||
<dt>model_version:</dt>
|
||
<dd>
|
||
<t><bcp14>OPTIONAL</bcp14>. String. The version identifier of the AI or ML model
|
||
used to perform the task, if applicable.</t>
|
||
</dd>
|
||
</dl>
|
||
|
||
</section>
|
||
<section anchor="witness-claims"><name>Witness Claims</name>
|
||
|
||
<dl>
|
||
<dt>witnessed_by:</dt>
|
||
<dd>
|
||
<t><bcp14>OPTIONAL</bcp14>. Array of StringOrURI. Identifiers of third-party
|
||
entities that the issuing agent claims observed or attested to
|
||
the execution of this task. When present, each element <bcp14>SHOULD</bcp14>
|
||
use SPIFFE ID format. Note that this claim is self-asserted by
|
||
the ECT issuer; witnesses listed here do not co-sign this ECT.
|
||
For stronger assurance, witnesses <bcp14>SHOULD</bcp14> submit independent
|
||
signed ECTs to the ledger attesting to their observation (see
|
||
<xref target="witness-attestation-model"/>). In regulated environments,
|
||
implementations <bcp14>SHOULD</bcp14> use witness attestation for critical
|
||
decision points to mitigate the risk of single-agent false
|
||
claims. See also <xref target="self-assertion-limitation"/> for the security
|
||
implications of self-asserted witness claims.</t>
|
||
</dd>
|
||
</dl>
|
||
|
||
</section>
|
||
<section anchor="compensation-claims"><name>Compensation Claims</name>
|
||
|
||
<dl>
|
||
<dt>compensation_required:</dt>
|
||
<dd>
|
||
<t><bcp14>OPTIONAL</bcp14>. Boolean. Indicates whether this task is a
|
||
compensation or rollback action for a previous task.</t>
|
||
</dd>
|
||
<dt>compensation_reason:</dt>
|
||
<dd>
|
||
<t><bcp14>OPTIONAL</bcp14>. String. A human-readable reason for the compensation
|
||
action. <bcp14>MUST</bcp14> be present if "compensation_required" is true.
|
||
Values <bcp14>SHOULD</bcp14> use structured identifiers (e.g.,
|
||
"policy_violation_in_parent_trade") rather than free-form text
|
||
to minimize the risk of embedding sensitive information. See
|
||
<xref target="data-minimization"/> for privacy guidance.
|
||
If "compensation_reason" is present, "compensation_required"
|
||
<bcp14>MUST</bcp14> be true.</t>
|
||
</dd>
|
||
</dl>
|
||
|
||
<t>Note: compensation ECTs reference historical parent tasks via the
|
||
"par" claim. The referenced parent ECTs may have passed their own
|
||
"exp" time; ECT expiration applies to the verification window of
|
||
the ECT itself, not to its validity as a parent reference in the
|
||
ledger.</t>
|
||
|
||
</section>
|
||
<section anchor="extension-claims"><name>Extension Claims</name>
|
||
|
||
<dl>
|
||
<dt>ext:</dt>
|
||
<dd>
|
||
<t><bcp14>OPTIONAL</bcp14>. Object. An extension object for domain-specific
|
||
claims not defined by this specification. Implementations
|
||
that do not understand extension claims <bcp14>MUST</bcp14> ignore them.</t>
|
||
</dd>
|
||
</dl>
|
||
|
||
<t>To avoid key collisions between different domains, extension
|
||
key names <bcp14>MUST</bcp14> use reverse domain notation (e.g.,
|
||
"com.example.custom_field"). Implementations <bcp14>MUST NOT</bcp14> use
|
||
unqualified key names within the "ext" object. To prevent
|
||
abuse and excessive token size, the serialized JSON
|
||
representation of the "ext" object <bcp14>SHOULD NOT</bcp14> exceed 4096
|
||
bytes, and the JSON nesting depth within the "ext" object
|
||
<bcp14>SHOULD NOT</bcp14> exceed 5 levels. Implementations <bcp14>SHOULD</bcp14> reject
|
||
ECTs whose "ext" claim exceeds these limits.</t>
|
||
|
||
</section>
|
||
</section>
|
||
<section anchor="complete-ect-example"><name>Complete ECT Example</name>
|
||
|
||
<t>The following is a complete ECT payload example:</t>
|
||
|
||
<figure title="Complete ECT Payload Example" anchor="fig-full-ect"><sourcecode type="json"><![CDATA[
|
||
{
|
||
"iss": "spiffe://example.com/agent/clinical",
|
||
"sub": "spiffe://example.com/agent/clinical",
|
||
"aud": "spiffe://example.com/agent/safety",
|
||
"iat": 1772064150,
|
||
"exp": 1772064750,
|
||
"jti": "7f3a8b2c-d1e4-4f56-9a0b-c3d4e5f6a7b8",
|
||
|
||
"wid": "a0b1c2d3-e4f5-6789-abcd-ef0123456789",
|
||
"tid": "550e8400-e29b-41d4-a716-446655440001",
|
||
"exec_act": "recommend_treatment",
|
||
"par": [],
|
||
|
||
"pol": "clinical_reasoning_policy_v2",
|
||
"pol_decision": "approved",
|
||
"pol_enforcer": "spiffe://example.com/policy/clinical-engine",
|
||
"pol_timestamp": 1772064145,
|
||
|
||
"inp_hash": "sha-256:n4bQgYhMfWWaL-qgxVrQFaO_TxsrC4Is0V1sFbDwCgg",
|
||
"out_hash": "sha-256:LCa0a2j_xo_5m0U8HTBBNBNCLXBkg7-g-YpeiGJm564",
|
||
"inp_classification": "confidential",
|
||
"exec_time_ms": 245,
|
||
"regulated_domain": "medtech",
|
||
"model_version": "clinical-reasoning-v4.2",
|
||
|
||
"witnessed_by": [
|
||
"spiffe://example.com/audit/observer-1"
|
||
]
|
||
}
|
||
]]></sourcecode></figure>
|
||
|
||
</section>
|
||
</section>
|
||
<section anchor="http-header"><name>HTTP Header Transport</name>
|
||
|
||
<section anchor="execution-context-header-field"><name>Execution-Context Header Field</name>
|
||
|
||
<t>This specification defines the Execution-Context HTTP header field
|
||
<xref target="RFC9110"/> for transporting ECTs between agents.</t>
|
||
|
||
<t>The header field value is the ECT in JWS Compact Serialization
|
||
format <xref target="RFC7515"/>. The value consists of three Base64url-encoded
|
||
parts separated by period (".") characters.</t>
|
||
|
||
<t>An agent sending a request to another agent includes the
|
||
Execution-Context header alongside the WIMSE Workload-Identity
|
||
and Workload-Proof-Token headers:</t>
|
||
|
||
<figure title="HTTP Request with ECT Header" anchor="fig-http-example"><artwork><![CDATA[
|
||
GET /api/safety-check HTTP/1.1
|
||
Host: safety-agent.example.com
|
||
Workload-Identity: eyJhbGci...WIT...
|
||
Workload-Proof-Token: eyJhbGci...WPT...
|
||
Execution-Context: eyJhbGci...ECT...
|
||
]]></artwork></figure>
|
||
|
||
<t>When multiple parent tasks contribute context to a single request,
|
||
multiple Execution-Context header field lines <bcp14>MAY</bcp14> be included, each
|
||
carrying a separate ECT in JWS Compact Serialization format.</t>
|
||
|
||
<t>When a receiver processes multiple Execution-Context headers, it
|
||
<bcp14>MUST</bcp14> individually verify each ECT per the procedure in
|
||
<xref target="verification"/>. If any single ECT fails verification, the
|
||
receiver <bcp14>MUST</bcp14> reject the entire request. The set of verified
|
||
parent task IDs across all received ECTs represents the complete
|
||
set of parent dependencies available for the receiving agent's
|
||
subsequent ECT.</t>
|
||
|
||
</section>
|
||
</section>
|
||
<section anchor="dag-validation"><name>DAG Validation</name>
|
||
|
||
<section anchor="overview"><name>Overview</name>
|
||
|
||
<t>ECTs form a Directed Acyclic Graph (DAG) where each task
|
||
references its parent tasks via the "par" claim. This structure
|
||
provides a cryptographically signed record of execution ordering,
|
||
enabling auditors to reconstruct the complete workflow and verify
|
||
that required predecessor tasks were recorded before dependent
|
||
tasks.</t>
|
||
|
||
</section>
|
||
<section anchor="validation-rules"><name>Validation Rules</name>
|
||
|
||
<t>When receiving and verifying an ECT, implementations <bcp14>MUST</bcp14> perform
|
||
the following DAG validation steps:</t>
|
||
|
||
<t><list style="numbers" type="1">
|
||
<t>Task ID Uniqueness: The "tid" claim <bcp14>MUST</bcp14> be unique within the
|
||
applicable scope (the workflow identified by "wid", or the
|
||
entire ledger if "wid" is absent). If a task with the same
|
||
"tid" already exists, the ECT <bcp14>MUST</bcp14> be rejected.</t>
|
||
<t>Parent Existence: Every task identifier listed in the "par"
|
||
array <bcp14>MUST</bcp14> correspond to a task that has been previously
|
||
recorded in the ledger. If any parent task is not found, the
|
||
ECT <bcp14>MUST</bcp14> be rejected.</t>
|
||
<t>Temporal Ordering: The "iat" value of every parent task <bcp14>MUST
|
||
NOT</bcp14> be greater than the "iat" value of the current task plus a
|
||
configurable clock skew tolerance (<bcp14>RECOMMENDED</bcp14>: 30 seconds).
|
||
That is, for each parent: <spanx style="verb">parent.iat < child.iat +
|
||
clock_skew_tolerance</spanx>. The tolerance accounts for clock skew
|
||
between agents; it does not guarantee strict causal ordering
|
||
from timestamps alone. Causal ordering is primarily enforced
|
||
by the DAG structure (parent existence in the ledger), not by
|
||
timestamps. If any parent task violates this constraint, the
|
||
ECT <bcp14>MUST</bcp14> be rejected.</t>
|
||
<t>Acyclicity: Following the chain of parent references <bcp14>MUST NOT</bcp14>
|
||
lead back to the current task's "tid". If a cycle is detected,
|
||
the ECT <bcp14>MUST</bcp14> be rejected.</t>
|
||
<t>Parent Policy Decision: If any parent task has a "pol_decision"
|
||
of "rejected" or "pending_human_review", the current task's
|
||
"exec_act" <bcp14>MUST</bcp14> indicate a compensation, rollback, remediation,
|
||
or human review action. Implementations <bcp14>MUST NOT</bcp14> accept an ECT
|
||
representing normal workflow continuation when a parent's
|
||
"pol_decision" is not "approved", unless the current ECT has
|
||
"compensation_required" set to true.</t>
|
||
<t>Trust Domain Consistency: Parent tasks <bcp14>SHOULD</bcp14> belong to the
|
||
same trust domain or to a trust domain with which a federation
|
||
relationship has been established.</t>
|
||
</list></t>
|
||
|
||
</section>
|
||
<section anchor="dag-validation-algorithm"><name>DAG Validation Algorithm</name>
|
||
|
||
<t>The following pseudocode describes the DAG validation procedure:</t>
|
||
|
||
<figure title="DAG Validation Pseudocode" anchor="fig-dag-validation"><sourcecode type="pseudocode"><![CDATA[
|
||
function validate_dag(ect, ledger, clock_skew_tolerance):
|
||
// Step 1: Uniqueness check
|
||
if ledger.contains(ect.tid, ect.wid):
|
||
return error("Task ID already exists in ledger")
|
||
|
||
// Step 2: Parent existence and temporal ordering
|
||
for parent_id in ect.par:
|
||
parent = ledger.get(parent_id)
|
||
if parent is null:
|
||
return error("Parent task not found: " + parent_id)
|
||
if parent.iat >= ect.iat + clock_skew_tolerance:
|
||
return error("Parent task not earlier than current")
|
||
|
||
// Step 3: Cycle detection (with traversal limit)
|
||
visited = set()
|
||
result = has_cycle(ect.tid, ect.par, ledger, visited,
|
||
max_ancestor_limit)
|
||
if result is error or result is true:
|
||
return error("Circular dependency or depth limit exceeded")
|
||
|
||
return success
|
||
|
||
function has_cycle(target_tid, parent_ids, ledger, visited,
|
||
max_depth):
|
||
if visited.size() >= max_depth:
|
||
return error("Maximum ancestor traversal limit exceeded")
|
||
for parent_id in parent_ids:
|
||
if parent_id == target_tid:
|
||
return true
|
||
if parent_id in visited:
|
||
continue
|
||
visited.add(parent_id)
|
||
parent = ledger.get(parent_id)
|
||
if parent is not null:
|
||
result = has_cycle(target_tid, parent.par, ledger,
|
||
visited, max_depth)
|
||
if result is error or result is true:
|
||
return result
|
||
return false
|
||
]]></sourcecode></figure>
|
||
|
||
<t>The cycle detection traverses the ancestor graph rooted at the
|
||
current task's parents. The complexity is O(V) where V is the
|
||
number of ancestor nodes reachable from the current task's parent
|
||
references. For typical workflows with shallow DAGs, this is
|
||
efficient. To prevent denial-of-service via extremely deep or
|
||
wide DAGs, implementations <bcp14>SHOULD</bcp14> enforce a maximum ancestor
|
||
traversal limit (<bcp14>RECOMMENDED</bcp14>: 10000 nodes). If the limit is
|
||
reached before cycle detection completes, the ECT <bcp14>SHOULD</bcp14> be
|
||
rejected. Implementations <bcp14>SHOULD</bcp14> cache cycle detection results
|
||
for previously verified tasks to avoid redundant traversals.</t>
|
||
|
||
</section>
|
||
</section>
|
||
<section anchor="verification"><name>Signature and Token Verification</name>
|
||
|
||
<section anchor="verification-procedure"><name>Verification Procedure</name>
|
||
|
||
<t>When an agent receives an ECT, it <bcp14>MUST</bcp14> perform the following
|
||
verification steps in order:</t>
|
||
|
||
<t><list style="numbers" type="1">
|
||
<t>Parse the JWS Compact Serialization to extract the JOSE header,
|
||
payload, and signature components per <xref target="RFC7515"/>.</t>
|
||
<t>Verify that the "typ" header parameter is "wimse-exec+jwt".</t>
|
||
<t>Verify that the "alg" header parameter is not "none" and is
|
||
not a symmetric algorithm.</t>
|
||
<t>Verify the "kid" header parameter references a known, valid
|
||
public key from a WIT within the trust domain.</t>
|
||
<t>Retrieve the public key identified by "kid" and verify the JWS
|
||
signature per <xref target="RFC7515"/> Section 5.2.</t>
|
||
<t>Verify that the signing key identified by "kid" has not been
|
||
revoked within the trust domain. Implementations <bcp14>MUST</bcp14> check
|
||
the key's revocation status using the trust domain's key
|
||
lifecycle mechanism (e.g., certificate revocation list, OCSP,
|
||
or SPIFFE trust bundle updates).</t>
|
||
<t>Verify the "alg" header parameter matches the algorithm in the
|
||
corresponding WIT.</t>
|
||
<t>Verify the "iss" claim matches the "sub" claim of the WIT
|
||
associated with the "kid" public key.</t>
|
||
<t>Verify the "aud" claim contains the verifier's own workload
|
||
identity. When "aud" is an array, it is sufficient that the
|
||
verifier's identity appears as one element; the presence of
|
||
other audience values does not cause verification failure.
|
||
When the verifier is the audit ledger, the ledger's own
|
||
identity <bcp14>MUST</bcp14> appear in "aud".</t>
|
||
<t>Verify the "exp" claim indicates the ECT has not expired.</t>
|
||
<t>Verify the "iat" claim is not unreasonably far in the past
|
||
(implementation-specific threshold, <bcp14>RECOMMENDED</bcp14> maximum of
|
||
15 minutes) and is not unreasonably far in the future
|
||
(<bcp14>RECOMMENDED</bcp14>: no more than 30 seconds ahead of the
|
||
verifier's current time, to account for clock skew).</t>
|
||
<t>Verify all required claims ("jti", "tid", "exec_act", "par",
|
||
"pol", "pol_decision") are present and well-formed.</t>
|
||
<t>Verify "pol_decision" is one of "approved", "rejected", or
|
||
"pending_human_review".</t>
|
||
<t>Perform DAG validation per <xref target="dag-validation"/>.</t>
|
||
<t>If all checks pass, the ECT <bcp14>MUST</bcp14> be appended to the audit
|
||
ledger.</t>
|
||
</list></t>
|
||
|
||
<t>If any verification step fails, the ECT <bcp14>MUST</bcp14> be rejected and the
|
||
failure <bcp14>MUST</bcp14> be logged for audit purposes. Error messages
|
||
<bcp14>SHOULD NOT</bcp14> reveal whether specific parent task IDs exist in the
|
||
ledger, to prevent information disclosure.</t>
|
||
|
||
<t>When ECT verification fails during HTTP request processing, the
|
||
receiving agent <bcp14>SHOULD</bcp14> respond with HTTP 403 (Forbidden) if the
|
||
WIT and WPT are valid but the ECT is invalid, and HTTP 401
|
||
(Unauthorized) if the ECT signature verification fails. The
|
||
response body <bcp14>SHOULD</bcp14> include a generic error indicator without
|
||
revealing which specific verification step failed. The receiving
|
||
agent <bcp14>MUST NOT</bcp14> process the requested action when ECT verification
|
||
fails.</t>
|
||
|
||
</section>
|
||
<section anchor="verification-pseudocode"><name>Verification Pseudocode</name>
|
||
|
||
<figure title="ECT Verification Pseudocode" anchor="fig-verification"><sourcecode type="pseudocode"><![CDATA[
|
||
function verify_ect(ect_jws, verifier_id,
|
||
trust_domain_keys, ledger):
|
||
// Parse JWS
|
||
(header, payload, signature) = parse_jws(ect_jws)
|
||
|
||
// Verify header
|
||
if header.typ != "wimse-exec+jwt":
|
||
return reject("Invalid typ parameter")
|
||
|
||
if header.alg == "none" or is_symmetric(header.alg):
|
||
return reject("Prohibited algorithm")
|
||
|
||
// Look up public key
|
||
public_key = trust_domain_keys.get(header.kid)
|
||
if public_key is null:
|
||
return reject("Unknown key identifier")
|
||
|
||
// Verify signature
|
||
if not verify_jws_signature(header, payload,
|
||
signature, public_key):
|
||
return reject("Invalid signature")
|
||
|
||
// Verify key not revoked
|
||
if is_key_revoked(header.kid, trust_domain_keys):
|
||
return reject("Signing key has been revoked")
|
||
|
||
// Verify algorithm alignment
|
||
wit = get_wit_for_key(header.kid)
|
||
if header.alg != wit.alg:
|
||
return reject("Algorithm mismatch with WIT")
|
||
|
||
// Verify issuer matches WIT subject
|
||
if payload.iss != wit.sub:
|
||
return reject("Issuer does not match WIT subject")
|
||
|
||
// Verify audience
|
||
if verifier_id not in payload.aud:
|
||
return reject("ECT not intended for this recipient")
|
||
|
||
// Verify not expired
|
||
if payload.exp < current_time():
|
||
return reject("ECT has expired")
|
||
|
||
// Verify iat freshness (not too old, not in the future)
|
||
if payload.iat < current_time() - max_age_threshold:
|
||
return reject("ECT issued too long ago")
|
||
if payload.iat > current_time() + clock_skew_tolerance:
|
||
return reject("ECT issued in the future")
|
||
|
||
// Verify required claims
|
||
for claim in ["jti", "tid", "exec_act", "par",
|
||
"pol", "pol_decision"]:
|
||
if claim not in payload:
|
||
return reject("Missing required claim: " + claim)
|
||
|
||
// Validate pol_decision value
|
||
if payload.pol_decision not in
|
||
["approved", "rejected", "pending_human_review"]:
|
||
return reject("Invalid pol_decision value")
|
||
|
||
// Validate DAG
|
||
result = validate_dag(payload, ledger,
|
||
clock_skew_tolerance)
|
||
if result is error:
|
||
return reject("DAG validation failed")
|
||
|
||
// All checks passed; append to ledger
|
||
ledger.append(payload)
|
||
return accept
|
||
]]></sourcecode></figure>
|
||
|
||
</section>
|
||
</section>
|
||
<section anchor="ledger-interface"><name>Audit Ledger Interface</name>
|
||
|
||
<section anchor="overview-1"><name>Overview</name>
|
||
|
||
<t>ECTs are designed to be recorded in an immutable audit ledger for
|
||
compliance verification and post-hoc analysis. This specification
|
||
defines the logical interface for the ledger but does not mandate
|
||
a specific storage technology. Implementations <bcp14>MAY</bcp14> use
|
||
append-only logs, databases with cryptographic commitment schemes,
|
||
distributed ledgers, or any storage mechanism that provides the
|
||
required properties.</t>
|
||
|
||
</section>
|
||
<section anchor="required-properties"><name>Required Properties</name>
|
||
|
||
<t>An audit ledger implementation <bcp14>MUST</bcp14> provide:</t>
|
||
|
||
<t><list style="numbers" type="1">
|
||
<t>Append-only semantics: Once an ECT is recorded, it <bcp14>MUST NOT</bcp14> be
|
||
modified or deleted.</t>
|
||
<t>Ordering: The ledger <bcp14>MUST</bcp14> maintain a total ordering of ECT
|
||
entries via a monotonically increasing sequence number.</t>
|
||
<t>Lookup by task ID: The ledger <bcp14>MUST</bcp14> support efficient retrieval
|
||
of ECT entries by "tid" value.</t>
|
||
<t>Integrity verification: The ledger <bcp14>SHOULD</bcp14> provide a mechanism
|
||
to verify that no entries have been tampered with (e.g.,
|
||
hash chains or Merkle trees).</t>
|
||
</list></t>
|
||
|
||
<t>The ledger <bcp14>SHOULD</bcp14> be maintained by an entity independent of the
|
||
workflow agents to reduce the risk of collusion.</t>
|
||
|
||
</section>
|
||
<section anchor="ledger-entry-structure"><name>Ledger Entry Structure</name>
|
||
|
||
<t>Each ledger entry is a logical record containing:</t>
|
||
|
||
<figure title="Ledger Entry Example" anchor="fig-ledger-entry"><sourcecode type="json"><![CDATA[
|
||
{
|
||
"ledger_sequence": 42,
|
||
"task_id": "550e8400-e29b-41d4-a716-446655440001",
|
||
"agent_id": "spiffe://example.com/agent/clinical",
|
||
"action": "recommend_treatment",
|
||
"parents": [],
|
||
"ect_jws": "eyJhbGciOiJFUzI1NiIs...<complete JWS>",
|
||
"signature_verified": true,
|
||
"verification_timestamp": "2026-02-24T15:42:31.000Z",
|
||
"stored_timestamp": "2026-02-24T15:42:31.050Z"
|
||
}
|
||
]]></sourcecode></figure>
|
||
|
||
<t>The "ect_jws" field contains the full JWS Compact Serialization
|
||
and is the authoritative record. The other fields ("agent_id",
|
||
"action", "parents") are convenience indexes derived from the
|
||
ECT payload; if they disagree with the JWS payload, the JWS
|
||
payload takes precedence. Implementations <bcp14>SHOULD</bcp14> validate that
|
||
convenience index fields match the corresponding values in the
|
||
JWS payload at write time to prevent desynchronization between
|
||
the authoritative JWS and the indexed fields.</t>
|
||
|
||
</section>
|
||
</section>
|
||
<section anchor="use-cases"><name>Use Cases</name>
|
||
|
||
<t>This section describes representative use cases demonstrating how
|
||
ECTs provide execution records in regulated environments. These
|
||
examples demonstrate ECT mechanics; production deployments would
|
||
include additional domain-specific requirements beyond the scope
|
||
of this specification.</t>
|
||
|
||
<t>Note: task identifiers in this section are abbreviated for
|
||
readability. In production, all "tid" values are required to be
|
||
UUIDs per <xref target="exec-claims"/>.</t>
|
||
|
||
<section anchor="medical-device-sdlc-workflow"><name>Medical Device SDLC Workflow</name>
|
||
|
||
<t>In a medical device software development lifecycle (SDLC),
|
||
AI agents assist across multiple phases from requirements
|
||
analysis through release approval. Regulatory frameworks
|
||
including <xref target="FDA-21CFR11"/> Section 11.10(e) and <xref target="EU-MDR"/> require
|
||
audit trails documenting the complete development process for
|
||
software used in medical devices.</t>
|
||
|
||
<figure title="Medical Device SDLC Workflow" anchor="fig-medtech-sdlc"><artwork><![CDATA[
|
||
Agent A (Spec Reviewer):
|
||
tid: task-001 par: []
|
||
exec_act: review_requirements_spec
|
||
pol: spec_review_policy_v2 pol_decision: approved
|
||
|
||
Agent B (Code Generator):
|
||
tid: task-002 par: [task-001]
|
||
exec_act: implement_module
|
||
pol: coding_standards_v3 pol_decision: approved
|
||
|
||
Agent C (Test Agent):
|
||
tid: task-003 par: [task-002]
|
||
exec_act: execute_test_suite
|
||
pol: test_coverage_policy_v1 pol_decision: approved
|
||
|
||
Agent D (Build Agent):
|
||
tid: task-004 par: [task-003]
|
||
exec_act: build_release_artifact
|
||
pol: build_validation_v2 pol_decision: approved
|
||
|
||
Human Release Manager:
|
||
tid: task-005 par: [task-004]
|
||
exec_act: approve_release
|
||
pol: release_approval_policy pol_decision: approved
|
||
pol_enforcer: spiffe://meddev.example/human/release-mgr-42
|
||
witnessed_by: [spiffe://meddev.example/audit/qa-observer-1]
|
||
]]></artwork></figure>
|
||
|
||
<t>ECTs record that requirements were reviewed before implementation
|
||
began, that tests were executed against the implemented code, that
|
||
the build artifact was validated, and that a human release manager
|
||
explicitly approved the release. The DAG structure ensures no
|
||
phase was skipped or reordered.</t>
|
||
|
||
<section anchor="fda-audit-with-dag-reconstruction"><name>FDA Audit with DAG Reconstruction</name>
|
||
|
||
<t>During a regulatory audit, an FDA reviewer requests evidence of
|
||
the development process for a specific software release. The
|
||
auditing authority retrieves all ECTs sharing the same workflow
|
||
identifier ("wid") from the audit ledger and reconstructs the
|
||
complete DAG:</t>
|
||
|
||
<figure title="Reconstructed DAG for FDA Audit" anchor="fig-fda-audit"><artwork><![CDATA[
|
||
task-001 (review_requirements_spec)
|
||
|
|
||
v
|
||
task-002 (implement_module)
|
||
|
|
||
v
|
||
task-003 (execute_test_suite)
|
||
|
|
||
v
|
||
task-004 (build_release_artifact)
|
||
|
|
||
v
|
||
task-005 (approve_release) [human, witnessed]
|
||
]]></artwork></figure>
|
||
|
||
<t>The reconstructed DAG provides cryptographic evidence that:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t>Each phase was executed by an identified and authenticated agent.</t>
|
||
<t>Policy checkpoints were evaluated at every phase transition.</t>
|
||
<t>The execution sequence was maintained (no step was bypassed).</t>
|
||
<t>A human-in-the-loop approved the final release, with independent
|
||
witness attestation.</t>
|
||
<t>Timestamps and execution durations are recorded for each step.</t>
|
||
</list></t>
|
||
|
||
<t>This can contribute to compliance with:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t><xref target="FDA-21CFR11"/> Section 11.10(e): Computer-generated audit trails
|
||
that record the date, time, and identity of the operator.</t>
|
||
<t><xref target="EU-MDR"/> Annex II: Technical documentation traceability for the
|
||
software development lifecycle.</t>
|
||
<t><xref target="EU-AI-ACT"/> Article 12: Automatic logging capabilities for
|
||
high-risk AI systems involved in the development process.</t>
|
||
<t><xref target="EU-AI-ACT"/> Article 14: ECTs can record evidence that human
|
||
oversight events occurred during the release process.</t>
|
||
</list></t>
|
||
|
||
</section>
|
||
</section>
|
||
<section anchor="financial-trading-workflow"><name>Financial Trading Workflow</name>
|
||
|
||
<t>In a financial trading workflow, agents perform risk assessment,
|
||
compliance verification, and trade execution. The DAG structure
|
||
records that compliance checks were evaluated before trade
|
||
execution.</t>
|
||
|
||
<figure title="Financial Trading Workflow" anchor="fig-finance"><artwork><![CDATA[
|
||
Agent A (Risk Assessment):
|
||
tid: task-001 par: []
|
||
exec_act: calculate_risk_exposure
|
||
pol: risk_limits_policy_v2 pol_decision: approved
|
||
|
||
Agent B (Compliance):
|
||
tid: task-002 par: [task-001]
|
||
exec_act: verify_compliance
|
||
pol: compliance_check_v1 pol_decision: approved
|
||
|
||
Agent C (Execution):
|
||
tid: task-003 par: [task-002]
|
||
exec_act: execute_trade
|
||
pol: execution_policy_v3 pol_decision: approved
|
||
]]></artwork></figure>
|
||
|
||
<t>This can contribute to compliance with:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t><xref target="MIFID-II"/>: ECTs provide cryptographic records of the execution
|
||
sequence that can support transaction audit requirements.</t>
|
||
<t><xref target="DORA"/> Article 12: ECTs contribute to ICT activity logging.</t>
|
||
<t><xref target="EU-AI-ACT"/> Article 12: Logging of decisions made by AI-driven
|
||
systems.</t>
|
||
</list></t>
|
||
|
||
</section>
|
||
<section anchor="compensation-and-rollback"><name>Compensation and Rollback</name>
|
||
|
||
<t>When a compliance violation is discovered after execution, ECTs
|
||
provide a mechanism to record authorized compensation actions with
|
||
a cryptographic link to the original task:</t>
|
||
|
||
<figure title="Compensation ECT Example" anchor="fig-compensation"><sourcecode type="json"><![CDATA[
|
||
{
|
||
"iss": "spiffe://bank.example/agent/operations",
|
||
"sub": "spiffe://bank.example/agent/operations",
|
||
"aud": "spiffe://bank.example/system/ledger",
|
||
"iat": 1772150550,
|
||
"exp": 1772151150,
|
||
"wid": "d3e4f5a6-b7c8-9012-def0-123456789012",
|
||
"tid": "550e8400-e29b-41d4-a716-446655440099",
|
||
"exec_act": "initiate_trade_rollback",
|
||
"par": ["550e8400-e29b-41d4-a716-446655440003"],
|
||
"pol": "compensation_policy_v1",
|
||
"pol_decision": "approved",
|
||
"pol_enforcer": "spiffe://bank.example/human/compliance-officer",
|
||
"compensation_required": true,
|
||
"compensation_reason": "policy_violation_in_parent_trade"
|
||
}
|
||
]]></sourcecode></figure>
|
||
|
||
<t>The "par" claim links the compensation action to the original
|
||
trade, creating an auditable chain from execution through
|
||
violation discovery to remediation.</t>
|
||
|
||
</section>
|
||
<section anchor="autonomous-logistics-coordination"><name>Autonomous Logistics Coordination</name>
|
||
|
||
<t>In a logistics workflow, multiple compliance checks complete
|
||
before shipment commitment. The DAG structure records that all
|
||
required checks were completed:</t>
|
||
|
||
<figure title="Logistics Workflow with Parallel Tasks" anchor="fig-logistics"><artwork><![CDATA[
|
||
Agent A (Route Planning):
|
||
tid: task-001 par: []
|
||
exec_act: plan_route
|
||
pol: route_policy_v1 pol_decision: approved
|
||
|
||
Agent B (Customs):
|
||
tid: task-002 par: [task-001]
|
||
exec_act: validate_customs
|
||
pol: customs_policy_v2 pol_decision: approved
|
||
|
||
Agent C (Safety):
|
||
tid: task-003 par: [task-001]
|
||
exec_act: verify_cargo_safety
|
||
pol: safety_policy_v1 pol_decision: approved
|
||
|
||
Agent D (Payment):
|
||
tid: task-004 par: [task-002, task-003]
|
||
exec_act: authorize_payment
|
||
pol: payment_policy_v3 pol_decision: approved
|
||
|
||
System (Commitment):
|
||
tid: task-005 par: [task-004]
|
||
exec_act: commit_shipment
|
||
pol: commitment_policy_v1 pol_decision: approved
|
||
]]></artwork></figure>
|
||
|
||
<t>Note that tasks 002 and 003 both depend only on task-001 and can
|
||
execute in parallel. Task 004 depends on both, demonstrating the
|
||
DAG's ability to represent parallel execution with a join point.</t>
|
||
|
||
</section>
|
||
</section>
|
||
<section anchor="security-considerations"><name>Security Considerations</name>
|
||
|
||
<t>This section addresses security considerations following the
|
||
guidance in <xref target="RFC3552"/>.</t>
|
||
|
||
<section anchor="threat-model"><name>Threat Model</name>
|
||
|
||
<t>The following threat actors are considered:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t>Malicious agent (insider threat): An agent within the trust
|
||
domain that intentionally creates false ECT claims.</t>
|
||
<t>Compromised agent (external attacker): An agent whose private
|
||
key has been obtained by an external attacker.</t>
|
||
<t>Ledger tamperer: An entity attempting to modify or delete ledger
|
||
entries after they have been recorded.</t>
|
||
<t>Time manipulator: An entity attempting to manipulate timestamps
|
||
to alter perceived execution ordering.</t>
|
||
</list></t>
|
||
|
||
</section>
|
||
<section anchor="self-assertion-limitation"><name>Self-Assertion Limitation</name>
|
||
|
||
<t>ECTs are self-asserted by the executing agent. The agent claims
|
||
what it did, and this claim is signed with its private key. A
|
||
compromised or malicious agent could create ECTs with false claims
|
||
(e.g., setting "pol_decision" to "approved" without actually
|
||
evaluating the policy).</t>
|
||
|
||
<t>ECTs do not independently verify that:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t>The claimed execution actually occurred as described</t>
|
||
<t>The policy evaluation was correctly performed</t>
|
||
<t>The input/output hashes correspond to the actual data processed</t>
|
||
<t>The agent faithfully performed the stated action</t>
|
||
</list></t>
|
||
|
||
<t>The trustworthiness of ECT claims depends on the trustworthiness
|
||
of the signing agent. To mitigate single-agent false claims,
|
||
regulated environments <bcp14>SHOULD</bcp14> use the "witnessed_by" mechanism
|
||
to include independent third-party observers at critical decision
|
||
points. However, the "witnessed_by" claim is self-asserted by
|
||
the ECT issuer: the listed witnesses do not co-sign the ECT and
|
||
there is no cryptographic proof within a single ECT that the
|
||
witnesses actually observed the task. An issuing agent could
|
||
list witnesses that did not participate.</t>
|
||
|
||
<section anchor="witness-attestation-model"><name>Witness Attestation Model</name>
|
||
|
||
<t>To address the self-assertion limitation of the "witnessed_by"
|
||
claim, witnesses <bcp14>SHOULD</bcp14> submit their own independent signed ECTs
|
||
to the audit ledger attesting to the observed task. A witness
|
||
attestation ECT:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t><bcp14>MUST</bcp14> set "iss" to the witness's own workload identity.</t>
|
||
<t><bcp14>MUST</bcp14> set "exec_act" to "witness_attestation" (or a domain-
|
||
specific equivalent).</t>
|
||
<t><bcp14>MUST</bcp14> include the observed task's "tid" in the "par" array,
|
||
linking the attestation to the original task.</t>
|
||
<t><bcp14>MUST</bcp14> set "pol_decision" to "approved" to indicate the witness
|
||
confirms the observation.</t>
|
||
</list></t>
|
||
|
||
<t>When a task's "witnessed_by" claim lists one or more witnesses,
|
||
auditors <bcp14>SHOULD</bcp14> verify that corresponding witness attestation
|
||
ECTs exist in the ledger for each listed witness. A mismatch
|
||
between the "witnessed_by" list and the set of independent witness
|
||
ECTs in the ledger <bcp14>SHOULD</bcp14> be flagged during audit review.</t>
|
||
|
||
<t>This model converts witness attestation from a self-asserted claim
|
||
to a cryptographically verifiable property of the ledger: the
|
||
witness independently signs their own ECT using their own key,
|
||
and the ledger records both the original task ECT and the witness
|
||
attestation ECTs.</t>
|
||
|
||
</section>
|
||
</section>
|
||
<section anchor="organizational-prerequisites"><name>Organizational Prerequisites</name>
|
||
|
||
<t>ECTs operate within a broader trust framework. The guarantees
|
||
provided by ECTs are only meaningful when the following
|
||
organizational controls are in place:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t>Key management governance: Controls over who provisions agent
|
||
keys and how keys are protected.</t>
|
||
<t>Ledger integrity governance: The ledger is maintained by an
|
||
entity independent of the workflow agents.</t>
|
||
<t>Policy lifecycle management: Policy identifiers in ECTs map to
|
||
actual, validated policy rules.</t>
|
||
<t>Agent deployment governance: Agents are deployed and maintained
|
||
in a manner that preserves their integrity.</t>
|
||
</list></t>
|
||
|
||
</section>
|
||
<section anchor="signature-verification"><name>Signature Verification</name>
|
||
|
||
<t>ECTs <bcp14>MUST</bcp14> be signed with the agent's private key using JWS
|
||
<xref target="RFC7515"/>. The signature algorithm <bcp14>MUST</bcp14> match the algorithm
|
||
specified in the agent's WIT. Receivers <bcp14>MUST</bcp14> verify the ECT
|
||
signature against the WIT public key before processing any
|
||
claims. Receivers <bcp14>MUST</bcp14> verify that the signing key has not been
|
||
revoked within the trust domain (see step 6 in
|
||
<xref target="verification"/>).</t>
|
||
|
||
<t>If signature verification fails or if the signing key has been
|
||
revoked, the ECT <bcp14>MUST</bcp14> be rejected entirely and the failure <bcp14>MUST</bcp14>
|
||
be logged.</t>
|
||
|
||
<t>Implementations <bcp14>MUST</bcp14> use established JWS libraries and <bcp14>MUST NOT</bcp14>
|
||
implement custom signature verification.</t>
|
||
|
||
</section>
|
||
<section anchor="replay-attack-prevention"><name>Replay Attack Prevention</name>
|
||
|
||
<t>ECTs include short expiration times (<bcp14>RECOMMENDED</bcp14>: 5-15 minutes) to
|
||
limit the window for replay attacks. The "aud" claim restricts
|
||
replay to unintended recipients: an ECT intended for Agent B
|
||
will be rejected by Agent C. The "iat" claim enables receivers to
|
||
reject ECTs that are too old, even if not yet expired.</t>
|
||
|
||
<t>The DAG structure provides additional replay protection: an ECT
|
||
referencing parent tasks that already have a recorded child task
|
||
with the same action can be flagged as a potential replay.</t>
|
||
|
||
<t>Implementations <bcp14>MUST</bcp14> maintain a cache of recently-seen "jti"
|
||
values to detect replayed ECTs within the expiration window.
|
||
An ECT with a duplicate "jti" value <bcp14>MUST</bcp14> be rejected.</t>
|
||
|
||
</section>
|
||
<section anchor="man-in-the-middle-protection"><name>Man-in-the-Middle Protection</name>
|
||
|
||
<t>ECTs do not replace transport-layer security. ECTs <bcp14>MUST</bcp14> be
|
||
transmitted over TLS or mTLS connections. When used with the WIMSE
|
||
service-to-service protocol <xref target="I-D.ietf-wimse-s2s-protocol"/>,
|
||
transport security is already established. HTTP Message Signatures
|
||
<xref target="RFC9421"/> provide an alternative channel binding mechanism.</t>
|
||
|
||
<t>The defense-in-depth model provides:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t>TLS/mTLS (transport layer): Prevents network-level tampering.</t>
|
||
<t>WIT/WPT (WIMSE identity layer): Proves agent identity and
|
||
request authorization.</t>
|
||
<t>ECT (execution accountability layer): Records what the agent did
|
||
and under what policy.</t>
|
||
</list></t>
|
||
|
||
</section>
|
||
<section anchor="key-compromise"><name>Key Compromise</name>
|
||
|
||
<t>If an agent's private key is compromised, an attacker can forge
|
||
ECTs that appear to originate from that agent. To mitigate this
|
||
risk:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t>Implementations <bcp14>SHOULD</bcp14> use short-lived keys and rotate them
|
||
frequently (hours to days, not months).</t>
|
||
<t>Private keys <bcp14>SHOULD</bcp14> be stored in Hardware Security Modules (HSMs)
|
||
or equivalent secure key storage.</t>
|
||
<t>Trust domains <bcp14>MUST</bcp14> support rapid key revocation.</t>
|
||
<t>Upon suspected compromise, the trust domain <bcp14>MUST</bcp14> revoke the
|
||
compromised key and issue a new WIT with a fresh key pair.</t>
|
||
</list></t>
|
||
|
||
<t>ECTs signed with a compromised key that were recorded in the
|
||
ledger before revocation remain valid historical records but <bcp14>SHOULD</bcp14>
|
||
be flagged in the ledger as "signed with subsequently revoked key"
|
||
for audit purposes.</t>
|
||
|
||
</section>
|
||
<section anchor="collusion-and-false-claims"><name>Collusion and False Claims</name>
|
||
|
||
<t>A single malicious agent cannot forge parent task references
|
||
because DAG validation requires parent tasks to exist in the
|
||
ledger. However, multiple colluding agents could potentially
|
||
create a false execution history if they control the ledger.</t>
|
||
|
||
<t>Mitigations include:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t>Independent ledger maintenance: The ledger <bcp14>SHOULD</bcp14> be maintained
|
||
by an entity independent of the workflow agents.</t>
|
||
<t>Witness attestation: Using the "witnessed_by" claim to include
|
||
independent third-party observers.</t>
|
||
<t>Cross-verification: Multiple independent ledger replicas can be
|
||
compared for consistency.</t>
|
||
<t>Out-of-band audit: External auditors periodically verify ledger
|
||
contents against expected workflow patterns.</t>
|
||
</list></t>
|
||
|
||
</section>
|
||
<section anchor="denial-of-service"><name>Denial of Service</name>
|
||
|
||
<t>ECT signature verification is computationally inexpensive
|
||
(approximately 1ms per ECT on modern hardware for ES256). DAG
|
||
validation complexity is O(V) where V is the number of ancestor
|
||
nodes reachable from the parent references; for typical shallow
|
||
DAGs this is efficient.</t>
|
||
|
||
<t>Implementations <bcp14>SHOULD</bcp14> apply rate limiting at the API layer to
|
||
prevent excessive ECT submissions. DAG validation <bcp14>SHOULD</bcp14> be
|
||
performed after signature verification to avoid wasting resources
|
||
on unsigned or incorrectly signed tokens.</t>
|
||
|
||
</section>
|
||
<section anchor="timestamp-accuracy"><name>Timestamp Accuracy</name>
|
||
|
||
<t>ECTs rely on timestamps ("iat", "exp") for temporal ordering.
|
||
Clock skew between agents can lead to incorrect ordering
|
||
judgments. Implementations <bcp14>SHOULD</bcp14> use synchronized time sources
|
||
(e.g., NTP) and <bcp14>SHOULD</bcp14> allow a configurable clock skew tolerance
|
||
(<bcp14>RECOMMENDED</bcp14>: 30 seconds).</t>
|
||
|
||
<t>Cross-organizational deployments where agents span multiple trust
|
||
domains with independent time sources <bcp14>MAY</bcp14> require a higher clock
|
||
skew tolerance. Deployments using trust domain federation <bcp14>SHOULD</bcp14>
|
||
document their configured clock skew tolerance value and <bcp14>SHOULD</bcp14>
|
||
ensure all participating trust domains agree on a common tolerance.</t>
|
||
|
||
<t>The temporal ordering check in DAG validation incorporates the
|
||
clock skew tolerance to account for minor clock differences
|
||
between agents.</t>
|
||
|
||
</section>
|
||
<section anchor="ect-size-constraints"><name>ECT Size Constraints</name>
|
||
|
||
<t>ECTs with many parent tasks or large extension objects can
|
||
increase HTTP header size. Implementations <bcp14>SHOULD</bcp14> limit the "par"
|
||
array to a maximum of 256 entries. Workflows requiring more
|
||
parent references <bcp14>SHOULD</bcp14> introduce intermediate aggregation
|
||
tasks. The "ext" object <bcp14>SHOULD NOT</bcp14> exceed 4096 bytes when
|
||
serialized as JSON and <bcp14>SHOULD NOT</bcp14> exceed a nesting depth of
|
||
5 levels (see also <xref target="extension-claims"/>).</t>
|
||
|
||
</section>
|
||
</section>
|
||
<section anchor="privacy-considerations"><name>Privacy Considerations</name>
|
||
|
||
<section anchor="data-exposure-in-ects"><name>Data Exposure in ECTs</name>
|
||
|
||
<t>ECTs necessarily reveal:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t>Agent identities ("iss", "aud") for accountability purposes</t>
|
||
<t>Action descriptions ("exec_act") for audit trail completeness</t>
|
||
<t>Policy evaluation outcomes ("pol", "pol_decision") for
|
||
compliance verification</t>
|
||
<t>Timestamps ("iat", "exp") for temporal ordering</t>
|
||
</list></t>
|
||
|
||
<t>ECTs are designed to NOT reveal:</t>
|
||
|
||
<t><list style="symbols">
|
||
<t>Actual input or output data values (replaced with cryptographic
|
||
hashes via "inp_hash" and "out_hash")</t>
|
||
<t>Internal computation details or intermediate steps</t>
|
||
<t>Proprietary algorithms or intellectual property</t>
|
||
<t>Personally identifiable information (PII)</t>
|
||
</list></t>
|
||
|
||
</section>
|
||
<section anchor="data-minimization"><name>Data Minimization</name>
|
||
|
||
<t>Implementations <bcp14>SHOULD</bcp14> minimize the information included in ECTs.
|
||
The "exec_act" claim <bcp14>SHOULD</bcp14> use structured identifiers (e.g.,
|
||
"process_payment") rather than natural language descriptions.
|
||
The "pol" claim <bcp14>SHOULD</bcp14> reference policy identifiers rather than
|
||
embedding policy content.</t>
|
||
|
||
<t>The "compensation_reason" claim (<xref target="compensation-claims"/>)
|
||
deserves particular attention: because it is human-readable and
|
||
may describe the circumstances of a failure or policy violation,
|
||
it risks exposing sensitive operational details. Implementations
|
||
<bcp14>SHOULD</bcp14> use short, structured reason codes (e.g.,
|
||
"policy_violation_in_parent_trade") rather than free-form
|
||
natural language explanations. Implementers <bcp14>SHOULD</bcp14> review
|
||
"compensation_reason" values for potential information leakage
|
||
before deploying to production.</t>
|
||
|
||
</section>
|
||
<section anchor="storage-and-access-control"><name>Storage and Access Control</name>
|
||
|
||
<t>ECTs stored in audit ledgers <bcp14>SHOULD</bcp14> be access-controlled so that
|
||
only authorized auditors and regulators can read them.
|
||
Implementations <bcp14>SHOULD</bcp14> consider encryption at rest for ledger
|
||
storage containing sensitive regulatory data.</t>
|
||
|
||
<t>Full input and output data (corresponding to the hashes in ECTs)
|
||
<bcp14>SHOULD</bcp14> be stored separately from the ledger with additional access
|
||
controls, since auditors may need to verify hash correctness but
|
||
general access to the data values is not needed.</t>
|
||
|
||
</section>
|
||
<section anchor="regulatory-access"><name>Regulatory Access</name>
|
||
|
||
<t>ECTs are designed for interpretation by qualified human auditors
|
||
and regulators. ECTs provide structural records of execution
|
||
ordering and policy evaluation; they are not intended for public
|
||
disclosure.</t>
|
||
|
||
</section>
|
||
</section>
|
||
<section anchor="iana-considerations"><name>IANA Considerations</name>
|
||
|
||
<section anchor="media-type-registration"><name>Media Type Registration</name>
|
||
|
||
<t>This document requests registration of the following media type
|
||
in the "Media Types" registry maintained by IANA:</t>
|
||
|
||
<dl>
|
||
<dt>Type name:</dt>
|
||
<dd>
|
||
<t>application</t>
|
||
</dd>
|
||
<dt>Subtype name:</dt>
|
||
<dd>
|
||
<t>wimse-exec+jwt</t>
|
||
</dd>
|
||
<dt>Required parameters:</dt>
|
||
<dd>
|
||
<t>none</t>
|
||
</dd>
|
||
<dt>Optional parameters:</dt>
|
||
<dd>
|
||
<t>none</t>
|
||
</dd>
|
||
<dt>Encoding considerations:</dt>
|
||
<dd>
|
||
<t>8bit; an ECT is a JWT that is a JWS using the Compact
|
||
Serialization, which is a sequence of Base64url-encoded values
|
||
separated by period characters.</t>
|
||
</dd>
|
||
<dt>Security considerations:</dt>
|
||
<dd>
|
||
<t>See the Security Considerations section of this document.</t>
|
||
</dd>
|
||
<dt>Interoperability considerations:</dt>
|
||
<dd>
|
||
<t>none</t>
|
||
</dd>
|
||
<dt>Published specification:</dt>
|
||
<dd>
|
||
<t>This document</t>
|
||
</dd>
|
||
<dt>Applications that use this media type:</dt>
|
||
<dd>
|
||
<t>Applications that implement regulated agentic workflows requiring
|
||
execution context tracing and audit trails.</t>
|
||
</dd>
|
||
<dt>Additional information:</dt>
|
||
<dd>
|
||
<t>Magic number(s): none
|
||
File extension(s): none
|
||
Macintosh file type code(s): none</t>
|
||
</dd>
|
||
<dt>Person and email address to contact for further information:</dt>
|
||
<dd>
|
||
<t>Christian Nennemann, ietf@nennemann.de</t>
|
||
</dd>
|
||
<dt>Intended usage:</dt>
|
||
<dd>
|
||
<t>COMMON</t>
|
||
</dd>
|
||
<dt>Restrictions on usage:</dt>
|
||
<dd>
|
||
<t>none</t>
|
||
</dd>
|
||
<dt>Author:</dt>
|
||
<dd>
|
||
<t>Christian Nennemann</t>
|
||
</dd>
|
||
<dt>Change controller:</dt>
|
||
<dd>
|
||
<t>IETF</t>
|
||
</dd>
|
||
</dl>
|
||
|
||
</section>
|
||
<section anchor="header-registration"><name>HTTP Header Field Registration</name>
|
||
|
||
<t>This document requests registration of the following header field
|
||
in the "Hypertext Transfer Protocol (HTTP) Field Name Registry"
|
||
maintained by IANA:</t>
|
||
|
||
<dl>
|
||
<dt>Field name:</dt>
|
||
<dd>
|
||
<t>Execution-Context</t>
|
||
</dd>
|
||
<dt>Status:</dt>
|
||
<dd>
|
||
<t>permanent</t>
|
||
</dd>
|
||
<dt>Specification document:</dt>
|
||
<dd>
|
||
<t>This document, <xref target="http-header"/></t>
|
||
</dd>
|
||
</dl>
|
||
|
||
</section>
|
||
<section anchor="claims-registration"><name>JWT Claims Registration</name>
|
||
|
||
<t>This document requests registration of the following claims in
|
||
the "JSON Web Token Claims" registry maintained by IANA:</t>
|
||
|
||
<texttable title="JWT Claims Registrations" anchor="_table-claims">
|
||
<ttcol align='center'>Claim Name</ttcol>
|
||
<ttcol align='left'>Claim Description</ttcol>
|
||
<ttcol align='center'>Change Controller</ttcol>
|
||
<ttcol align='center'>Reference</ttcol>
|
||
<c>wid</c>
|
||
<c>Workflow Identifier</c>
|
||
<c>IETF</c>
|
||
<c><xref target="exec-claims"/></c>
|
||
<c>tid</c>
|
||
<c>Task Identifier</c>
|
||
<c>IETF</c>
|
||
<c><xref target="exec-claims"/></c>
|
||
<c>exec_act</c>
|
||
<c>Action/Task Type</c>
|
||
<c>IETF</c>
|
||
<c><xref target="exec-claims"/></c>
|
||
<c>par</c>
|
||
<c>Parent Task Identifiers</c>
|
||
<c>IETF</c>
|
||
<c><xref target="exec-claims"/></c>
|
||
<c>pol</c>
|
||
<c>Policy Rule Identifier</c>
|
||
<c>IETF</c>
|
||
<c><xref target="policy-claims"/></c>
|
||
<c>pol_decision</c>
|
||
<c>Policy Decision Result</c>
|
||
<c>IETF</c>
|
||
<c><xref target="policy-claims"/></c>
|
||
<c>pol_enforcer</c>
|
||
<c>Policy Enforcer Identity</c>
|
||
<c>IETF</c>
|
||
<c><xref target="policy-claims"/></c>
|
||
<c>pol_timestamp</c>
|
||
<c>Policy Decision Timestamp</c>
|
||
<c>IETF</c>
|
||
<c><xref target="policy-claims"/></c>
|
||
<c>inp_hash</c>
|
||
<c>Input Data Hash</c>
|
||
<c>IETF</c>
|
||
<c><xref target="data-integrity-claims"/></c>
|
||
<c>out_hash</c>
|
||
<c>Output Data Hash</c>
|
||
<c>IETF</c>
|
||
<c><xref target="data-integrity-claims"/></c>
|
||
<c>inp_classification</c>
|
||
<c>Input Data Classification</c>
|
||
<c>IETF</c>
|
||
<c><xref target="data-integrity-claims"/></c>
|
||
<c>exec_time_ms</c>
|
||
<c>Execution Time (ms)</c>
|
||
<c>IETF</c>
|
||
<c><xref target="operational-claims"/></c>
|
||
<c>witnessed_by</c>
|
||
<c>Witness Identities</c>
|
||
<c>IETF</c>
|
||
<c><xref target="witness-claims"/></c>
|
||
<c>regulated_domain</c>
|
||
<c>Regulatory Domain</c>
|
||
<c>IETF</c>
|
||
<c><xref target="operational-claims"/></c>
|
||
<c>model_version</c>
|
||
<c>AI/ML Model Version</c>
|
||
<c>IETF</c>
|
||
<c><xref target="operational-claims"/></c>
|
||
<c>compensation_required</c>
|
||
<c>Compensation Flag</c>
|
||
<c>IETF</c>
|
||
<c><xref target="compensation-claims"/></c>
|
||
<c>compensation_reason</c>
|
||
<c>Compensation Reason</c>
|
||
<c>IETF</c>
|
||
<c><xref target="compensation-claims"/></c>
|
||
<c>ext</c>
|
||
<c>Extension Object</c>
|
||
<c>IETF</c>
|
||
<c><xref target="extension-claims"/></c>
|
||
</texttable>
|
||
|
||
</section>
|
||
<section anchor="pol-decision-registry"><name>ECT Policy Decision Values Registry</name>
|
||
|
||
<t>This document establishes the "ECT Policy Decision Values"
|
||
registry under the "JSON Web Token (JWT)" group. Registration
|
||
policy is Specification Required per <xref target="RFC8126"/>.</t>
|
||
|
||
<t>The initial contents of the registry are:</t>
|
||
|
||
<texttable title="ECT Policy Decision Values" anchor="_table-pol-decision">
|
||
<ttcol align='center'>Value</ttcol>
|
||
<ttcol align='left'>Description</ttcol>
|
||
<ttcol align='center'>Change Controller</ttcol>
|
||
<ttcol align='center'>Reference</ttcol>
|
||
<c>approved</c>
|
||
<c>Policy evaluation succeeded</c>
|
||
<c>IETF</c>
|
||
<c><xref target="policy-claims"/></c>
|
||
<c>rejected</c>
|
||
<c>Policy evaluation failed</c>
|
||
<c>IETF</c>
|
||
<c><xref target="policy-claims"/></c>
|
||
<c>pending_human_review</c>
|
||
<c>Awaiting human judgment</c>
|
||
<c>IETF</c>
|
||
<c><xref target="policy-claims"/></c>
|
||
</texttable>
|
||
|
||
</section>
|
||
<section anchor="regulated-domain-registry"><name>ECT Regulated Domain Values Registry</name>
|
||
|
||
<t>This document establishes the "ECT Regulated Domain Values"
|
||
registry under the "JSON Web Token (JWT)" group. Registration
|
||
policy is Specification Required per <xref target="RFC8126"/>.</t>
|
||
|
||
<t>The initial contents of the registry are:</t>
|
||
|
||
<texttable title="ECT Regulated Domain Values" anchor="_table-regulated-domain">
|
||
<ttcol align='center'>Value</ttcol>
|
||
<ttcol align='left'>Description</ttcol>
|
||
<ttcol align='center'>Change Controller</ttcol>
|
||
<ttcol align='center'>Reference</ttcol>
|
||
<c>medtech</c>
|
||
<c>Medical technology and devices</c>
|
||
<c>IETF</c>
|
||
<c><xref target="operational-claims"/></c>
|
||
<c>finance</c>
|
||
<c>Financial services and trading</c>
|
||
<c>IETF</c>
|
||
<c><xref target="operational-claims"/></c>
|
||
<c>military</c>
|
||
<c>Military and defense</c>
|
||
<c>IETF</c>
|
||
<c><xref target="operational-claims"/></c>
|
||
</texttable>
|
||
|
||
</section>
|
||
</section>
|
||
|
||
|
||
</middle>
|
||
|
||
<back>
|
||
|
||
|
||
<references title='References' anchor="sec-combined-references">
|
||
|
||
<references title='Normative References' anchor="sec-normative-references">
|
||
|
||
|
||
|
||
<reference anchor="RFC7515">
|
||
<front>
|
||
<title>JSON Web Signature (JWS)</title>
|
||
<author fullname="M. Jones" initials="M." surname="Jones"/>
|
||
<author fullname="J. Bradley" initials="J." surname="Bradley"/>
|
||
<author fullname="N. Sakimura" initials="N." surname="Sakimura"/>
|
||
<date month="May" year="2015"/>
|
||
<abstract>
|
||
<t>JSON Web Signature (JWS) represents content secured with digital signatures or Message Authentication Codes (MACs) using JSON-based data structures. Cryptographic algorithms and identifiers for use with this specification are described in the separate JSON Web Algorithms (JWA) specification and an IANA registry defined by that specification. Related encryption capabilities are described in the separate JSON Web Encryption (JWE) specification.</t>
|
||
</abstract>
|
||
</front>
|
||
<seriesInfo name="RFC" value="7515"/>
|
||
<seriesInfo name="DOI" value="10.17487/RFC7515"/>
|
||
</reference>
|
||
<reference anchor="RFC7517">
|
||
<front>
|
||
<title>JSON Web Key (JWK)</title>
|
||
<author fullname="M. Jones" initials="M." surname="Jones"/>
|
||
<date month="May" year="2015"/>
|
||
<abstract>
|
||
<t>A JSON Web Key (JWK) is a JavaScript Object Notation (JSON) data structure that represents a cryptographic key. This specification also defines a JWK Set JSON data structure that represents a set of JWKs. Cryptographic algorithms and identifiers for use with this specification are described in the separate JSON Web Algorithms (JWA) specification and IANA registries established by that specification.</t>
|
||
</abstract>
|
||
</front>
|
||
<seriesInfo name="RFC" value="7517"/>
|
||
<seriesInfo name="DOI" value="10.17487/RFC7517"/>
|
||
</reference>
|
||
<reference anchor="RFC7519">
|
||
<front>
|
||
<title>JSON Web Token (JWT)</title>
|
||
<author fullname="M. Jones" initials="M." surname="Jones"/>
|
||
<author fullname="J. Bradley" initials="J." surname="Bradley"/>
|
||
<author fullname="N. Sakimura" initials="N." surname="Sakimura"/>
|
||
<date month="May" year="2015"/>
|
||
<abstract>
|
||
<t>JSON Web Token (JWT) is a compact, URL-safe means of representing claims to be transferred between two parties. The claims in a JWT are encoded as a JSON object that is used as the payload of a JSON Web Signature (JWS) structure or as the plaintext of a JSON Web Encryption (JWE) structure, enabling the claims to be digitally signed or integrity protected with a Message Authentication Code (MAC) and/or encrypted.</t>
|
||
</abstract>
|
||
</front>
|
||
<seriesInfo name="RFC" value="7519"/>
|
||
<seriesInfo name="DOI" value="10.17487/RFC7519"/>
|
||
</reference>
|
||
<reference anchor="RFC7518">
|
||
<front>
|
||
<title>JSON Web Algorithms (JWA)</title>
|
||
<author fullname="M. Jones" initials="M." surname="Jones"/>
|
||
<date month="May" year="2015"/>
|
||
<abstract>
|
||
<t>This specification registers cryptographic algorithms and identifiers to be used with the JSON Web Signature (JWS), JSON Web Encryption (JWE), and JSON Web Key (JWK) specifications. It defines several IANA registries for these identifiers.</t>
|
||
</abstract>
|
||
</front>
|
||
<seriesInfo name="RFC" value="7518"/>
|
||
<seriesInfo name="DOI" value="10.17487/RFC7518"/>
|
||
</reference>
|
||
<reference anchor="RFC9562">
|
||
<front>
|
||
<title>Universally Unique IDentifiers (UUIDs)</title>
|
||
<author fullname="K. Davis" initials="K." surname="Davis"/>
|
||
<author fullname="B. Peabody" initials="B." surname="Peabody"/>
|
||
<author fullname="P. Leach" initials="P." surname="Leach"/>
|
||
<date month="May" year="2024"/>
|
||
<abstract>
|
||
<t>This specification defines UUIDs (Universally Unique IDentifiers) --
|
||
also known as GUIDs (Globally Unique IDentifiers) -- and a Uniform
|
||
Resource Name namespace for UUIDs. A UUID is 128 bits long and is
|
||
intended to guarantee uniqueness across space and time. UUIDs were
|
||
originally used in the Apollo Network Computing System (NCS), later
|
||
in the Open Software Foundation's (OSF's) Distributed Computing
|
||
Environment (DCE), and then in Microsoft Windows platforms.</t>
|
||
<t>This specification is derived from the OSF DCE specification with the
|
||
kind permission of the OSF (now known as "The Open Group"). Information from earlier versions of the OSF DCE specification have
|
||
been incorporated into this document. This document obsoletes RFC
|
||
4122.</t>
|
||
</abstract>
|
||
</front>
|
||
<seriesInfo name="RFC" value="9562"/>
|
||
<seriesInfo name="DOI" value="10.17487/RFC9562"/>
|
||
</reference>
|
||
<reference anchor="RFC9110">
|
||
<front>
|
||
<title>HTTP Semantics</title>
|
||
<author fullname="R. Fielding" initials="R." role="editor" surname="Fielding"/>
|
||
<author fullname="M. Nottingham" initials="M." role="editor" surname="Nottingham"/>
|
||
<author fullname="J. Reschke" initials="J." role="editor" surname="Reschke"/>
|
||
<date month="June" year="2022"/>
|
||
<abstract>
|
||
<t>The Hypertext Transfer Protocol (HTTP) is a stateless application-level protocol for distributed, collaborative, hypertext information systems. This document describes the overall architecture of HTTP, establishes common terminology, and defines aspects of the protocol that are shared by all versions. In this definition are core protocol elements, extensibility mechanisms, and the "http" and "https" Uniform Resource Identifier (URI) schemes.</t>
|
||
<t>This document updates RFC 3864 and obsoletes RFCs 2818, 7231, 7232, 7233, 7235, 7538, 7615, 7694, and portions of 7230.</t>
|
||
</abstract>
|
||
</front>
|
||
<seriesInfo name="STD" value="97"/>
|
||
<seriesInfo name="RFC" value="9110"/>
|
||
<seriesInfo name="DOI" value="10.17487/RFC9110"/>
|
||
</reference>
|
||
|
||
<reference anchor="I-D.ietf-wimse-arch">
|
||
<front>
|
||
<title>Workload Identity in a Multi System Environment (WIMSE) Architecture</title>
|
||
<author fullname="Joseph A. Salowey" initials="J. A." surname="Salowey">
|
||
<organization>CyberArk</organization>
|
||
</author>
|
||
<author fullname="Yaroslav Rosomakho" initials="Y." surname="Rosomakho">
|
||
<organization>Zscaler</organization>
|
||
</author>
|
||
<author fullname="Hannes Tschofenig" initials="H." surname="Tschofenig">
|
||
<organization>University of Applied Sciences Bonn-Rhein-Sieg</organization>
|
||
</author>
|
||
<date day="30" month="September" year="2025"/>
|
||
<abstract>
|
||
<t> The increasing prevalence of cloud computing and micro service
|
||
architectures has led to the rise of complex software functions being
|
||
built and deployed as workloads, where a workload is defined as a
|
||
running instance of software executing for a specific purpose. This
|
||
document discusses an architecture for designing and standardizing
|
||
protocols and payloads for conveying workload identity and security
|
||
context information.
|
||
|
||
</t>
|
||
</abstract>
|
||
</front>
|
||
<seriesInfo name="Internet-Draft" value="draft-ietf-wimse-arch-06"/>
|
||
|
||
</reference>
|
||
|
||
<reference anchor="I-D.ietf-wimse-s2s-protocol">
|
||
<front>
|
||
<title>WIMSE Workload-to-Workload Authentication</title>
|
||
<author fullname="Brian Campbell" initials="B." surname="Campbell">
|
||
<organization>Ping Identity</organization>
|
||
</author>
|
||
<author fullname="Joseph A. Salowey" initials="J. A." surname="Salowey">
|
||
<organization>CyberArk</organization>
|
||
</author>
|
||
<author fullname="Arndt Schwenkschuster" initials="A." surname="Schwenkschuster">
|
||
<organization>SPIRL</organization>
|
||
</author>
|
||
<author fullname="Yaron Sheffer" initials="Y." surname="Sheffer">
|
||
<organization>Intuit</organization>
|
||
</author>
|
||
<date day="16" month="October" year="2025"/>
|
||
<abstract>
|
||
<t> The WIMSE architecture defines authentication and authorization for
|
||
software workloads in a variety of runtime environments, from the
|
||
most basic ones up to complex multi-service, multi-cloud, multi-
|
||
tenant deployments. This document defines the simplest, atomic unit
|
||
of this architecture: the protocol between two workloads that need to
|
||
verify each other's identity in order to communicate securely. The
|
||
scope of this protocol is a single HTTP request-and-response pair.
|
||
To address the needs of different setups, we propose two protocols,
|
||
one at the application level and one that makes use of trusted TLS
|
||
transport. These two protocols are compatible, in the sense that a
|
||
single call chain can have some calls use one protocol and some use
|
||
the other. Workload A can call Workload B with mutual TLS
|
||
authentication, while the next call from Workload B to Workload C
|
||
would be authenticated at the application level.
|
||
|
||
</t>
|
||
</abstract>
|
||
</front>
|
||
<seriesInfo name="Internet-Draft" value="draft-ietf-wimse-s2s-protocol-07"/>
|
||
|
||
</reference>
|
||
<reference anchor="RFC2119">
|
||
<front>
|
||
<title>Key words for use in RFCs to Indicate Requirement Levels</title>
|
||
<author fullname="S. Bradner" initials="S." surname="Bradner"/>
|
||
<date month="March" year="1997"/>
|
||
<abstract>
|
||
<t>In many standards track documents several words are used to signify the requirements in the specification. These words are often capitalized. This document defines these words as they should be interpreted in IETF documents. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements.</t>
|
||
</abstract>
|
||
</front>
|
||
<seriesInfo name="BCP" value="14"/>
|
||
<seriesInfo name="RFC" value="2119"/>
|
||
<seriesInfo name="DOI" value="10.17487/RFC2119"/>
|
||
</reference>
|
||
<reference anchor="RFC8174">
|
||
<front>
|
||
<title>Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words</title>
|
||
<author fullname="B. Leiba" initials="B." surname="Leiba"/>
|
||
<date month="May" year="2017"/>
|
||
<abstract>
|
||
<t>RFC 2119 specifies common key words that may be used in protocol specifications. This document aims to reduce the ambiguity by clarifying that only UPPERCASE usage of the key words have the defined special meanings.</t>
|
||
</abstract>
|
||
</front>
|
||
<seriesInfo name="BCP" value="14"/>
|
||
<seriesInfo name="RFC" value="8174"/>
|
||
<seriesInfo name="DOI" value="10.17487/RFC8174"/>
|
||
</reference>
|
||
<reference anchor="RFC8126">
|
||
<front>
|
||
<title>Guidelines for Writing an IANA Considerations Section in RFCs</title>
|
||
<author fullname="M. Cotton" initials="M." surname="Cotton"/>
|
||
<author fullname="B. Leiba" initials="B." surname="Leiba"/>
|
||
<author fullname="T. Narten" initials="T." surname="Narten"/>
|
||
<date month="June" year="2017"/>
|
||
<abstract>
|
||
<t>Many protocols make use of points of extensibility that use constants to identify various protocol parameters. To ensure that the values in these fields do not have conflicting uses and to promote interoperability, their allocations are often coordinated by a central record keeper. For IETF protocols, that role is filled by the Internet Assigned Numbers Authority (IANA).</t>
|
||
<t>To make assignments in a given registry prudently, guidance describing the conditions under which new values should be assigned, as well as when and how modifications to existing values can be made, is needed. This document defines a framework for the documentation of these guidelines by specification authors, in order to assure that the provided guidance for the IANA Considerations is clear and addresses the various issues that are likely in the operation of a registry.</t>
|
||
<t>This is the third edition of this document; it obsoletes RFC 5226.</t>
|
||
</abstract>
|
||
</front>
|
||
<seriesInfo name="BCP" value="26"/>
|
||
<seriesInfo name="RFC" value="8126"/>
|
||
<seriesInfo name="DOI" value="10.17487/RFC8126"/>
|
||
</reference>
|
||
|
||
|
||
|
||
</references>
|
||
|
||
<references title='Informative References' anchor="sec-informative-references">
|
||
|
||
|
||
|
||
<reference anchor="RFC3552">
|
||
<front>
|
||
<title>Guidelines for Writing RFC Text on Security Considerations</title>
|
||
<author fullname="E. Rescorla" initials="E." surname="Rescorla"/>
|
||
<author fullname="B. Korver" initials="B." surname="Korver"/>
|
||
<date month="July" year="2003"/>
|
||
<abstract>
|
||
<t>All RFCs are required to have a Security Considerations section. Historically, such sections have been relatively weak. This document provides guidelines to RFC authors on how to write a good Security Considerations section. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements.</t>
|
||
</abstract>
|
||
</front>
|
||
<seriesInfo name="BCP" value="72"/>
|
||
<seriesInfo name="RFC" value="3552"/>
|
||
<seriesInfo name="DOI" value="10.17487/RFC3552"/>
|
||
</reference>
|
||
<reference anchor="RFC8693">
|
||
<front>
|
||
<title>OAuth 2.0 Token Exchange</title>
|
||
<author fullname="M. Jones" initials="M." surname="Jones"/>
|
||
<author fullname="A. Nadalin" initials="A." surname="Nadalin"/>
|
||
<author fullname="B. Campbell" initials="B." role="editor" surname="Campbell"/>
|
||
<author fullname="J. Bradley" initials="J." surname="Bradley"/>
|
||
<author fullname="C. Mortimore" initials="C." surname="Mortimore"/>
|
||
<date month="January" year="2020"/>
|
||
<abstract>
|
||
<t>This specification defines a protocol for an HTTP- and JSON-based Security Token Service (STS) by defining how to request and obtain security tokens from OAuth 2.0 authorization servers, including security tokens employing impersonation and delegation.</t>
|
||
</abstract>
|
||
</front>
|
||
<seriesInfo name="RFC" value="8693"/>
|
||
<seriesInfo name="DOI" value="10.17487/RFC8693"/>
|
||
</reference>
|
||
<reference anchor="RFC9421">
|
||
<front>
|
||
<title>HTTP Message Signatures</title>
|
||
<author fullname="A. Backman" initials="A." role="editor" surname="Backman"/>
|
||
<author fullname="J. Richer" initials="J." role="editor" surname="Richer"/>
|
||
<author fullname="M. Sporny" initials="M." surname="Sporny"/>
|
||
<date month="February" year="2024"/>
|
||
<abstract>
|
||
<t>This document describes a mechanism for creating, encoding, and verifying digital signatures or message authentication codes over components of an HTTP message. This mechanism supports use cases where the full HTTP message may not be known to the signer and where the message may be transformed (e.g., by intermediaries) before reaching the verifier. This document also describes a means for requesting that a signature be applied to a subsequent HTTP message in an ongoing HTTP exchange.</t>
|
||
</abstract>
|
||
</front>
|
||
<seriesInfo name="RFC" value="9421"/>
|
||
<seriesInfo name="DOI" value="10.17487/RFC9421"/>
|
||
</reference>
|
||
|
||
<reference anchor="I-D.ni-wimse-ai-agent-identity">
|
||
<front>
|
||
<title>WIMSE Applicability for AI Agents</title>
|
||
<author fullname="Ni Yuan" initials="N." surname="Yuan">
|
||
<organization>Huawei</organization>
|
||
</author>
|
||
<author fullname="Peter Chunchi Liu" initials="P. C." surname="Liu">
|
||
<organization>Huawei</organization>
|
||
</author>
|
||
<date day="20" month="October" year="2025"/>
|
||
<abstract>
|
||
<t> This document discusses WIMSE applicability to Agentic AI, so as to
|
||
establish independent identities and credential management mechanisms
|
||
for AI agents.
|
||
|
||
</t>
|
||
</abstract>
|
||
</front>
|
||
<seriesInfo name="Internet-Draft" value="draft-ni-wimse-ai-agent-identity-01"/>
|
||
|
||
</reference>
|
||
|
||
<reference anchor="SPIFFE" target="https://spiffe.io/docs/latest/spiffe-about/overview/">
|
||
<front>
|
||
<title>Secure Production Identity Framework for Everyone (SPIFFE)</title>
|
||
<author >
|
||
<organization></organization>
|
||
</author>
|
||
<date />
|
||
</front>
|
||
</reference>
|
||
<reference anchor="EU-AI-ACT" target="https://eur-lex.europa.eu/eli/reg/2024/1689">
|
||
<front>
|
||
<title>Regulation (EU) 2024/1689 of the European Parliament and of the Council laying down harmonised rules on artificial intelligence (Artificial Intelligence Act)</title>
|
||
<author >
|
||
<organization>European Parliament and Council of the European Union</organization>
|
||
</author>
|
||
<date year="2024" month="June" day="13"/>
|
||
</front>
|
||
</reference>
|
||
<reference anchor="FDA-21CFR11" target="https://www.ecfr.gov/current/title-21/chapter-I/subchapter-A/part-11">
|
||
<front>
|
||
<title>Title 21, Code of Federal Regulations, Part 11: Electronic Records; Electronic Signatures</title>
|
||
<author >
|
||
<organization>U.S. Food and Drug Administration</organization>
|
||
</author>
|
||
<date />
|
||
</front>
|
||
</reference>
|
||
<reference anchor="MIFID-II" target="https://eur-lex.europa.eu/eli/dir/2014/65">
|
||
<front>
|
||
<title>Directive 2014/65/EU of the European Parliament and of the Council on markets in financial instruments (MiFID II)</title>
|
||
<author >
|
||
<organization>European Parliament and Council of the European Union</organization>
|
||
</author>
|
||
<date year="2014" month="May" day="15"/>
|
||
</front>
|
||
</reference>
|
||
<reference anchor="DORA" target="https://eur-lex.europa.eu/eli/reg/2022/2554">
|
||
<front>
|
||
<title>Regulation (EU) 2022/2554 on digital operational resilience for the financial sector (DORA)</title>
|
||
<author >
|
||
<organization>European Parliament and Council of the European Union</organization>
|
||
</author>
|
||
<date year="2022" month="December" day="14"/>
|
||
</front>
|
||
</reference>
|
||
<reference anchor="EU-MDR" target="https://eur-lex.europa.eu/eli/reg/2017/745">
|
||
<front>
|
||
<title>Regulation (EU) 2017/745 on medical devices (MDR)</title>
|
||
<author >
|
||
<organization>European Parliament and Council of the European Union</organization>
|
||
</author>
|
||
<date year="2017" month="April" day="05"/>
|
||
</front>
|
||
</reference>
|
||
<reference anchor="OPENTELEMETRY" target="https://opentelemetry.io/docs/specs/otel/">
|
||
<front>
|
||
<title>OpenTelemetry Specification</title>
|
||
<author >
|
||
<organization>Cloud Native Computing Foundation</organization>
|
||
</author>
|
||
<date />
|
||
</front>
|
||
</reference>
|
||
|
||
|
||
|
||
<reference anchor="I-D.ietf-scitt-architecture">
|
||
<front>
|
||
<title>An Architecture for Trustworthy and Transparent Digital Supply Chains</title>
|
||
<author fullname="Henk Birkholz" initials="H." surname="Birkholz">
|
||
<organization>Fraunhofer SIT</organization>
|
||
</author>
|
||
<author fullname="Antoine Delignat-Lavaud" initials="A." surname="Delignat-Lavaud">
|
||
<organization>Microsoft Research</organization>
|
||
</author>
|
||
<author fullname="Cedric Fournet" initials="C." surname="Fournet">
|
||
<organization>Microsoft Research</organization>
|
||
</author>
|
||
<author fullname="Yogesh Deshpande" initials="Y." surname="Deshpande">
|
||
<organization>ARM</organization>
|
||
</author>
|
||
<author fullname="Steve Lasker" initials="S." surname="Lasker">
|
||
</author>
|
||
<date day="10" month="October" year="2025"/>
|
||
<abstract>
|
||
<t> Traceability in supply chains is a growing security concern. While
|
||
verifiable data structures have addressed specific issues, such as
|
||
equivocation over digital certificates, they lack a universal
|
||
architecture for all supply chains. This document defines such an
|
||
architecture for single-issuer signed statement transparency. It
|
||
ensures extensibility, interoperability between different
|
||
transparency services, and compliance with various auditing
|
||
procedures and regulatory requirements.
|
||
|
||
</t>
|
||
</abstract>
|
||
</front>
|
||
<seriesInfo name="Internet-Draft" value="draft-ietf-scitt-architecture-22"/>
|
||
|
||
</reference>
|
||
|
||
|
||
|
||
</references>
|
||
|
||
</references>
|
||
|
||
|
||
<?line 1659?>
|
||
|
||
<section numbered="false" anchor="related-work"><name>Related Work</name>
|
||
|
||
<section numbered="false" anchor="wimse-workload-identity"><name>WIMSE Workload Identity</name>
|
||
|
||
<t>The WIMSE architecture <xref target="I-D.ietf-wimse-arch"/> and service-to-
|
||
service protocol <xref target="I-D.ietf-wimse-s2s-protocol"/> provide the
|
||
identity foundation upon which ECTs are built. WIT/WPT answer
|
||
"who is this agent?" and "does it control the claimed key?" while
|
||
ECTs record "what did this agent do?" and "what policy was
|
||
evaluated?" Together they form an identity-plus-accountability
|
||
framework for regulated agentic systems.</t>
|
||
|
||
</section>
|
||
<section numbered="false" anchor="oauth-20-token-exchange"><name>OAuth 2.0 Token Exchange</name>
|
||
|
||
<t><xref target="RFC8693"/> defines the OAuth 2.0 Token Exchange protocol and
|
||
registers the "act" (Actor) claim in the JWT Claims registry.
|
||
ECTs intentionally use the distinct claim name "exec_act" for the
|
||
action/task type to avoid collision with the "act" claim.
|
||
Transaction tokens in OAuth establish API authorization context;
|
||
ECTs serve the complementary purpose of recording execution
|
||
accountability across multi-step workflows.</t>
|
||
|
||
</section>
|
||
<section numbered="false" anchor="distributed-tracing-opentelemetry"><name>Distributed Tracing (OpenTelemetry)</name>
|
||
|
||
<t>OpenTelemetry <xref target="OPENTELEMETRY"/> and similar distributed tracing
|
||
systems provide observability for debugging and monitoring. ECTs
|
||
differ in several important ways: ECTs are cryptographically
|
||
signed per-task with the agent's private key; ECTs are
|
||
tamper-evident through JWS signatures; ECTs enforce DAG validation
|
||
rules; and ECTs are designed for regulatory audit rather than
|
||
operational monitoring. OpenTelemetry data is typically controlled
|
||
by the platform operator and can be modified or deleted without
|
||
detection. ECTs and distributed traces are complementary: traces
|
||
provide observability while ECTs provide signed execution records.
|
||
ECTs may reference OpenTelemetry trace identifiers in the "ext"
|
||
claim for correlation.</t>
|
||
|
||
</section>
|
||
<section numbered="false" anchor="blockchain-and-distributed-ledgers"><name>Blockchain and Distributed Ledgers</name>
|
||
|
||
<t>Both ECTs and blockchain systems provide immutable records. This
|
||
specification intentionally defines only the ECT token format and
|
||
is agnostic to the storage mechanism. ECTs can be stored in
|
||
append-only logs, databases with cryptographic commitments,
|
||
blockchain networks, or any storage providing the required
|
||
properties defined in <xref target="ledger-interface"/>.</t>
|
||
|
||
</section>
|
||
<section numbered="false" anchor="scitt-supply-chain-integrity-transparency-and-trust"><name>SCITT (Supply Chain Integrity, Transparency, and Trust)</name>
|
||
|
||
<t>The SCITT architecture <xref target="I-D.ietf-scitt-architecture"/> defines a
|
||
framework for creating transparent and auditable supply chain
|
||
records through Transparency Services, Signed Statements, and
|
||
Receipts. ECTs and SCITT are naturally complementary: the ECT
|
||
"wid" (Workflow Identifier) claim can serve as a correlation
|
||
identifier referenced in SCITT Signed Statements, linking a
|
||
complete ECT audit trail to a supply chain transparency record.
|
||
For example, in a regulated manufacturing workflow, each agent
|
||
step produces an ECT (recording what was done, by whom, under
|
||
what policy), while the overall workflow identified by "wid" is
|
||
registered as a SCITT Signed Statement on a Transparency Service.
|
||
This enables auditors to verify both the individual execution
|
||
steps (via ECT DAG validation) and the end-to-end supply chain
|
||
integrity (via SCITT Receipts) using the "wid" as the shared
|
||
correlation point. The "ext" claim in ECTs (<xref target="exec-claims"/>)
|
||
can carry SCITT-specific metadata such as Transparency Service
|
||
identifiers or Receipt references for tighter integration.</t>
|
||
|
||
</section>
|
||
<section numbered="false" anchor="w3c-verifiable-credentials"><name>W3C Verifiable Credentials</name>
|
||
|
||
<t>W3C Verifiable Credentials represent claims about subjects (e.g.,
|
||
identity, qualifications). ECTs represent execution records of
|
||
actions (what happened, in what order, under what policy). While
|
||
both use JWT/JWS as a serialization format, their semantics and
|
||
use cases are distinct.</t>
|
||
|
||
</section>
|
||
</section>
|
||
<section numbered="false" anchor="implementation-guidance"><name>Implementation Guidance</name>
|
||
|
||
<section numbered="false" anchor="minimal-implementation"><name>Minimal Implementation</name>
|
||
|
||
<t>A minimal conforming implementation needs to:</t>
|
||
|
||
<t><list style="numbers" type="1">
|
||
<t>Create JWTs with all required claims ("iss", "aud", "iat",
|
||
"exp", "jti", "tid", "exec_act", "par", "pol",
|
||
"pol_decision").</t>
|
||
<t>Sign ECTs with the agent's private key using an algorithm
|
||
matching the WIT (ES256 recommended).</t>
|
||
<t>Verify ECT signatures against WIT public keys.</t>
|
||
<t>Perform DAG validation (parent existence, temporal ordering,
|
||
cycle detection).</t>
|
||
<t>Append verified ECTs to an audit ledger.</t>
|
||
</list></t>
|
||
|
||
</section>
|
||
<section numbered="false" anchor="storage-recommendations"><name>Storage Recommendations</name>
|
||
|
||
<t><list style="symbols">
|
||
<t>Append-only log: Simplest approach; immutability by design.</t>
|
||
<t>Database with hash chains: Periodic cryptographic commitments
|
||
over batches of entries.</t>
|
||
<t>Distributed ledger: Maximum immutability guarantees for
|
||
cross-organizational audit.</t>
|
||
<t>Hybrid: Hot storage in a database, cold archive in immutable
|
||
storage.</t>
|
||
</list></t>
|
||
|
||
</section>
|
||
<section numbered="false" anchor="performance-considerations"><name>Performance Considerations</name>
|
||
|
||
<t><list style="symbols">
|
||
<t>ES256 signature verification: approximately 1ms per ECT on
|
||
modern hardware.</t>
|
||
<t>DAG validation: O(V) where V is the number of reachable ancestor
|
||
nodes (typically small for shallow workflows).</t>
|
||
<t>JSON serialization: sub-millisecond per ECT.</t>
|
||
<t>Total per-request overhead: approximately 5-10ms, acceptable
|
||
for regulated workflows where correctness is prioritized over
|
||
latency.</t>
|
||
</list></t>
|
||
|
||
</section>
|
||
<section numbered="false" anchor="interoperability"><name>Interoperability</name>
|
||
|
||
<t>Implementations are expected to use established JWT/JWS libraries
|
||
(JOSE) for token creation and verification. Custom cryptographic
|
||
implementations are strongly discouraged. Implementations are
|
||
expected to be tested against multiple JWT libraries to ensure
|
||
interoperability.</t>
|
||
|
||
</section>
|
||
</section>
|
||
<section numbered="false" anchor="regulatory-compliance-mapping"><name>Regulatory Compliance Mapping</name>
|
||
|
||
<t>The following table summarizes how ECTs can contribute to
|
||
compliance with various regulatory frameworks. ECTs are a
|
||
technical building block; achieving compliance requires
|
||
additional organizational measures beyond this specification.</t>
|
||
|
||
<texttable title="Regulatory Compliance Mapping" anchor="_table-regulatory">
|
||
<ttcol align='left'>Regulation</ttcol>
|
||
<ttcol align='left'>Requirement</ttcol>
|
||
<ttcol align='left'>ECT Contribution</ttcol>
|
||
<c>FDA 21 CFR Part 11</c>
|
||
<c>Audit trails recording date, time, operator, actions (11.10(e))</c>
|
||
<c>Cryptographic signatures and append-only ledger contribute to audit trail requirements</c>
|
||
<c>EU MDR</c>
|
||
<c>Technical documentation traceability (Annex II)</c>
|
||
<c>ECTs provide signed records of AI-assisted decision sequences</c>
|
||
<c>EU AI Act Art. 12</c>
|
||
<c>Automatic logging capabilities for high-risk AI</c>
|
||
<c>ECTs contribute cryptographic activity logging</c>
|
||
<c>EU AI Act Art. 14</c>
|
||
<c>Human oversight capability</c>
|
||
<c>ECTs can record evidence that human oversight events occurred</c>
|
||
<c>MiFID II</c>
|
||
<c>Transaction records for supervisory authorities</c>
|
||
<c>ECTs provide cryptographic execution sequence records</c>
|
||
<c>DORA Art. 12</c>
|
||
<c>ICT activity logging policies</c>
|
||
<c>ECT ledger contributes to ICT activity audit trail</c>
|
||
</texttable>
|
||
|
||
</section>
|
||
<section numbered="false" anchor="examples"><name>Examples</name>
|
||
|
||
<section numbered="false" anchor="example-1-simple-two-agent-workflow"><name>Example 1: Simple Two-Agent Workflow</name>
|
||
|
||
<t>Agent A executes a data retrieval task and sends the ECT to
|
||
Agent B:</t>
|
||
|
||
<t>ECT JOSE Header:</t>
|
||
|
||
<figure><sourcecode type="json"><![CDATA[
|
||
{
|
||
"alg": "ES256",
|
||
"typ": "wimse-exec+jwt",
|
||
"kid": "agent-a-key-2026-02"
|
||
}
|
||
]]></sourcecode></figure>
|
||
|
||
<t>ECT Payload:</t>
|
||
|
||
<figure><sourcecode type="json"><![CDATA[
|
||
{
|
||
"iss": "spiffe://example.com/agent/data-retrieval",
|
||
"sub": "spiffe://example.com/agent/data-retrieval",
|
||
"aud": "spiffe://example.com/agent/validator",
|
||
"iat": 1772064150,
|
||
"exp": 1772064750,
|
||
"wid": "b1c2d3e4-f5a6-7890-bcde-f01234567890",
|
||
"tid": "550e8400-e29b-41d4-a716-446655440001",
|
||
"exec_act": "fetch_patient_data",
|
||
"par": [],
|
||
"pol": "clinical_data_access_policy_v1",
|
||
"pol_decision": "approved",
|
||
"inp_hash": "sha-256:n4bQgYhMfWWaL-qgxVrQFaO_TxsrC4Is0V1sFbDwCgg",
|
||
"out_hash": "sha-256:LCa0a2j_xo_5m0U8HTBBNBNCLXBkg7-g-YpeiGJm564",
|
||
"exec_time_ms": 142,
|
||
"regulated_domain": "medtech"
|
||
}
|
||
]]></sourcecode></figure>
|
||
|
||
<t>Agent B receives the ECT, verifies it, executes a validation
|
||
task, and creates its own ECT:</t>
|
||
|
||
<figure><sourcecode type="json"><![CDATA[
|
||
{
|
||
"iss": "spiffe://example.com/agent/validator",
|
||
"sub": "spiffe://example.com/agent/validator",
|
||
"aud": "spiffe://example.com/system/ledger",
|
||
"iat": 1772064160,
|
||
"exp": 1772064760,
|
||
"wid": "b1c2d3e4-f5a6-7890-bcde-f01234567890",
|
||
"tid": "550e8400-e29b-41d4-a716-446655440002",
|
||
"exec_act": "validate_safety",
|
||
"par": ["550e8400-e29b-41d4-a716-446655440001"],
|
||
"pol": "safety_validation_policy_v2",
|
||
"pol_decision": "approved",
|
||
"exec_time_ms": 89,
|
||
"regulated_domain": "medtech"
|
||
}
|
||
]]></sourcecode></figure>
|
||
|
||
<t>The resulting DAG:</t>
|
||
|
||
<figure><artwork><![CDATA[
|
||
task-...-0001 (fetch_patient_data)
|
||
|
|
||
v
|
||
task-...-0002 (validate_safety)
|
||
]]></artwork></figure>
|
||
|
||
</section>
|
||
<section numbered="false" anchor="example-2-medical-device-sdlc-with-release-approval"><name>Example 2: Medical Device SDLC with Release Approval</name>
|
||
|
||
<t>A multi-step medical device software lifecycle workflow with
|
||
autonomous agents and human release approval:</t>
|
||
|
||
<t>Task 1 (Spec Review Agent):</t>
|
||
|
||
<figure><sourcecode type="json"><![CDATA[
|
||
{
|
||
"iss": "spiffe://meddev.example/agent/spec-reviewer",
|
||
"sub": "spiffe://meddev.example/agent/spec-reviewer",
|
||
"aud": "spiffe://meddev.example/agent/code-gen",
|
||
"iat": 1772064150,
|
||
"exp": 1772064750,
|
||
"wid": "c2d3e4f5-a6b7-8901-cdef-012345678901",
|
||
"tid": "a1b2c3d4-0001-0000-0000-000000000001",
|
||
"exec_act": "review_requirements_spec",
|
||
"par": [],
|
||
"pol": "spec_review_policy_v2",
|
||
"pol_decision": "approved",
|
||
"regulated_domain": "medtech",
|
||
"model_version": "spec-review-v3.1",
|
||
"inp_hash": "sha-256:n4bQgYhMfWWaL-qgxVrQFaO_TxsrC4Is0V1sFbDwCgg",
|
||
"out_hash": "sha-256:LCa0a2j_xo_5m0U8HTBBNBNCLXBkg7-g-YpeiGJm564"
|
||
}
|
||
]]></sourcecode></figure>
|
||
|
||
<t>Task 2 (Code Generation Agent):</t>
|
||
|
||
<figure><sourcecode type="json"><![CDATA[
|
||
{
|
||
"iss": "spiffe://meddev.example/agent/code-gen",
|
||
"sub": "spiffe://meddev.example/agent/code-gen",
|
||
"aud": "spiffe://meddev.example/agent/test-runner",
|
||
"iat": 1772064200,
|
||
"exp": 1772064800,
|
||
"wid": "c2d3e4f5-a6b7-8901-cdef-012345678901",
|
||
"tid": "a1b2c3d4-0001-0000-0000-000000000002",
|
||
"exec_act": "implement_module",
|
||
"par": ["a1b2c3d4-0001-0000-0000-000000000001"],
|
||
"pol": "coding_standards_v3",
|
||
"pol_decision": "approved",
|
||
"regulated_domain": "medtech",
|
||
"model_version": "codegen-v2.4"
|
||
}
|
||
]]></sourcecode></figure>
|
||
|
||
<t>Task 3 (Autonomous Test Agent):</t>
|
||
|
||
<figure><sourcecode type="json"><![CDATA[
|
||
{
|
||
"iss": "spiffe://meddev.example/agent/test-runner",
|
||
"sub": "spiffe://meddev.example/agent/test-runner",
|
||
"aud": "spiffe://meddev.example/agent/build",
|
||
"iat": 1772064260,
|
||
"exp": 1772064860,
|
||
"wid": "c2d3e4f5-a6b7-8901-cdef-012345678901",
|
||
"tid": "a1b2c3d4-0001-0000-0000-000000000003",
|
||
"exec_act": "execute_test_suite",
|
||
"par": ["a1b2c3d4-0001-0000-0000-000000000002"],
|
||
"pol": "test_coverage_policy_v1",
|
||
"pol_decision": "approved",
|
||
"regulated_domain": "medtech",
|
||
"exec_time_ms": 4523
|
||
}
|
||
]]></sourcecode></figure>
|
||
|
||
<t>Task 4 (Build Agent):</t>
|
||
|
||
<figure><sourcecode type="json"><![CDATA[
|
||
{
|
||
"iss": "spiffe://meddev.example/agent/build",
|
||
"sub": "spiffe://meddev.example/agent/build",
|
||
"aud": "spiffe://meddev.example/human/release-mgr-42",
|
||
"iat": 1772064310,
|
||
"exp": 1772064910,
|
||
"wid": "c2d3e4f5-a6b7-8901-cdef-012345678901",
|
||
"tid": "a1b2c3d4-0001-0000-0000-000000000004",
|
||
"exec_act": "build_release_artifact",
|
||
"par": ["a1b2c3d4-0001-0000-0000-000000000003"],
|
||
"pol": "build_validation_v2",
|
||
"pol_decision": "approved",
|
||
"regulated_domain": "medtech",
|
||
"out_hash": "sha-256:Ry1YfOoW2XpC5Mq8HkGzNx3dL9vBa4sUjE7iKt0wPZc"
|
||
}
|
||
]]></sourcecode></figure>
|
||
|
||
<t>Task 5 (Human Release Manager Approval):</t>
|
||
|
||
<figure><sourcecode type="json"><![CDATA[
|
||
{
|
||
"iss": "spiffe://meddev.example/human/release-mgr-42",
|
||
"sub": "spiffe://meddev.example/human/release-mgr-42",
|
||
"aud": "spiffe://meddev.example/system/ledger",
|
||
"iat": 1772064510,
|
||
"exp": 1772065110,
|
||
"wid": "c2d3e4f5-a6b7-8901-cdef-012345678901",
|
||
"tid": "a1b2c3d4-0001-0000-0000-000000000005",
|
||
"exec_act": "approve_release",
|
||
"par": ["a1b2c3d4-0001-0000-0000-000000000004"],
|
||
"pol": "release_approval_policy",
|
||
"pol_decision": "approved",
|
||
"pol_enforcer": "spiffe://meddev.example/human/release-mgr-42",
|
||
"witnessed_by": [
|
||
"spiffe://meddev.example/audit/qa-observer-1"
|
||
],
|
||
"regulated_domain": "medtech"
|
||
}
|
||
]]></sourcecode></figure>
|
||
|
||
<t>The resulting DAG records the complete SDLC: spec review preceded
|
||
implementation, implementation preceded testing, testing preceded
|
||
build, and a human release manager approved the final release
|
||
with independent witness attestation.</t>
|
||
|
||
<figure><artwork><![CDATA[
|
||
task-...-0001 (review_requirements_spec)
|
||
|
|
||
v
|
||
task-...-0002 (implement_module)
|
||
|
|
||
v
|
||
task-...-0003 (execute_test_suite)
|
||
|
|
||
v
|
||
task-...-0004 (build_release_artifact)
|
||
|
|
||
v
|
||
task-...-0005 (approve_release) [human, witnessed]
|
||
]]></artwork></figure>
|
||
|
||
<t>An FDA auditor reconstructs this DAG by querying the audit ledger
|
||
for all ECTs with wid "c2d3e4f5-a6b7-8901-cdef-012345678901" and
|
||
verifying each signature. The DAG provides cryptographic evidence
|
||
that the SDLC followed the prescribed process with human oversight
|
||
at the release gate.</t>
|
||
|
||
</section>
|
||
<section numbered="false" anchor="example-3-parallel-execution-with-join"><name>Example 3: Parallel Execution with Join</name>
|
||
|
||
<t>A workflow where two tasks execute in parallel and a third task
|
||
depends on both:</t>
|
||
|
||
<figure><artwork><![CDATA[
|
||
task-...-0001 (assess_risk)
|
||
| \
|
||
v v
|
||
task-...-0002 task-...-0003
|
||
(check (verify
|
||
compliance) liquidity)
|
||
| /
|
||
v v
|
||
task-...-0004 (execute_trade)
|
||
]]></artwork></figure>
|
||
|
||
<t>Task 004 ECT payload:</t>
|
||
|
||
<figure><sourcecode type="json"><![CDATA[
|
||
{
|
||
"iss": "spiffe://bank.example/agent/execution",
|
||
"sub": "spiffe://bank.example/agent/execution",
|
||
"aud": "spiffe://bank.example/system/ledger",
|
||
"iat": 1772064250,
|
||
"exp": 1772064850,
|
||
"wid": "d3e4f5a6-b7c8-9012-def0-123456789012",
|
||
"tid": "f1e2d3c4-0004-0000-0000-000000000004",
|
||
"exec_act": "execute_trade",
|
||
"par": [
|
||
"f1e2d3c4-0002-0000-0000-000000000002",
|
||
"f1e2d3c4-0003-0000-0000-000000000003"
|
||
],
|
||
"pol": "trade_execution_policy_v3",
|
||
"pol_decision": "approved",
|
||
"regulated_domain": "finance"
|
||
}
|
||
]]></sourcecode></figure>
|
||
|
||
<t>The "par" array with two entries records that both compliance
|
||
checking and liquidity verification were completed before trade
|
||
execution.</t>
|
||
|
||
</section>
|
||
</section>
|
||
<section numbered="false" anchor="acknowledgments"><name>Acknowledgments</name>
|
||
|
||
<t>The author thanks the WIMSE working group for their foundational
|
||
work on workload identity in multi-system environments. The
|
||
concepts of Workload Identity Tokens and Workload Proof Tokens
|
||
provide the identity foundation upon which execution context
|
||
tracing is built.</t>
|
||
|
||
</section>
|
||
|
||
|
||
</back>
|
||
|
||
<!-- ##markdown-source:
|
||
H4sIAAAAAAAAA+W92XLbWJYo+o6vQNMPSVYTkqjBA12ZfWRJTivbslSSnK7s
|
||
6gw1SEIU0iTAAkDJLKc7zkfcD7jfcj/lfslZ4x4AUJJdVREdcRRVaYkE9rD2
|
||
2mseoigKqrSaJcOwc/QpGS+rNM/Cgzyrkk9VeJl/TLIyvM6L8DAtqyIdLatk
|
||
Eu5Pk6xKx+GHvPh4Pcvvyk4Qj0ZFcguDfDg+uTgKG0N1gnFcJdO8WA3DspoE
|
||
k3ycxXOYdVLE11WUJVmWzOMsi+7SeZlEib4fjfn9aGsrKJejeVqW8Gm1WsCr
|
||
x0eXr4NsOR8lxTCYwPDDAFawE8RFEsNKLmCIIq1WneAO1jkt8uVC19cJPiYr
|
||
+HQyDMIwCs1socxGn+JbszyehOkEt1ut6NNY9n6ne+dPl5O0CqsiTmf09zif
|
||
L2ZpnI0T+rNIpstZjKArV2WVzMsgiJfVTV7Q/PD/MLxezmYMkYObAmANL4fv
|
||
FCr0RF5M4yz9W4wLhc1nk2SRZLi08Dwpk7gY3yQFPQivpLNhmCbV9f8ygN2Y
|
||
JEGQ5cUc3r9NcN7z1wfP9gZ79tdn9tcX9tfn8uuLvafb+utgsIW/HkeHGziL
|
||
HBouoeXjcruMFkVe5eN8NgyCNLuurWJnb09Hfv70xY5Osrs90NGyVKdIIzqA
|
||
SM8En7g4O379+mhIe1dcpsNPwrMinyzHdLTH8kb4ugAw4/ERXh/dJsUqz5Kw
|
||
y8P0OjxOXEyTahjeVNWiHG5ulov0+jrZSPNNwNxyEw+zrOTTKB7ly2ozh5Fu
|
||
0+RukwYgfAyv41mJKHD0Pto/jvYPLv1VnjNe4PK6R+974fbW9u7m4OnzF2F+
|
||
HVY3SXi0LPJFAqhwFheAT3M87Tib6NcH+TIbp7NwFq/SbBpO8rssvImLeZ6l
|
||
JSBbsZwlZQiDx0WVXqfjNJ6FKSD4bJYCEMew5337xbH7xf64WgOIZFlEs+TT
|
||
RoIri+GfzWSWbgKCb5rFO/vHz6Ktp9Fghz60SI8/EaL0cO0edXN1ULzPAF4w
|
||
xOvD/Wh7cPD6fDDwoXqJ/4bbgz4MMUnw/dfJJClgjxbeZR+nq0J4NzyaJeOq
|
||
AJiN4YExUIXypfvZRTrN4gqwqWyHyN3d3UYyvi42pvntJmBdARvYpLXA8jbH
|
||
N/GiSoroeBPIl/6xv7mAyaPBoAVV1kDp/cbFRvg6zycEm8NiOQ33J/M0Q7JM
|
||
O4LHT45fHx9Gx8c+OA7TAvYC1w1OY7C7+XRv8+j9V+IXoNA8Lj4mVQn4E16n
|
||
GVA2RiaYfYlvlWH3JIXZw+Pjr0KcSVpsyrI8tBkA2uxFg71/PNocnp7vP3gL
|
||
tze39/Z2cd+TdJpWsFUYhOEMvwMqpLOULgqSEJzGwqQEYMOHXZznW+4QT+3f
|
||
oe1oAP/b/ccDA+jSyeH5Q+AYPNt8trtHWJBM0jFscpLcpuMED/3w/Bs2yQP6
|
||
B/4s2sIz/8fv8fTs6N3l0dujk6PL81/8rZ4CB71MZsk8qYpVeLFIxkgNae/t
|
||
m4KRkUzyC4YblPBiuZnDF220f812Dmb5chK+I0YIe5gvQAIBGv4adjPRC204
|
||
aTlOq4oYbFoBfgExAk4aRSB4jPD+j6sguLxJS+AAY7qOcECAkXBAa2W67tHB
|
||
ZdnrAwRB/KngE5yxygmEH1TyMTwTbv3Jclal4QXJL+FRdpsCdZSbTzJVL3CX
|
||
Rxdj4siMDbkJxzRyUZA4A24AXsLiQhAaboHPh+NitajyaREvbmAA+BROGg87
|
||
Lj9a0S0Aup0U/XCRz9LxKkxQyhgnAotxWjLNR3yxshlIojB5GI+LvCwDFiyq
|
||
nCUMfGy+zAQbYEmvVgyoCZ4SS7kNOAUC3Lu0umlKleF4FoMUgxv/6eL0Xfgh
|
||
GfFphN2fPlz2ApaL+nAEcJKli4ywnXiEvLwhSIZwZCDuZRX8P0BiTNCfuAIp
|
||
PHMTV2G5XCzyonK3DwKLmWIjIJgvS4AHHByyDBxmvBoDPEMCPtC0/R97oZkF
|
||
5y6SBVBDhBceR6Ay6ThNANoFcVNzJLfxbMnbAXEJlgH7gXUl8fjGHFGwyGEv
|
||
fE4oqcC8cEAEzjUgN/j84fiyh+8F5pEzwhTz/Rl8vyzx9BDHSyAgYQmsHT+Y
|
||
g5wwo5fruJbOU7ygiJP7YZbchW8uL8/CmyQGZAOin8wm/cDcsUjuWD/Eq0g3
|
||
cMIcooizEqGPkxGc41meTUvA7iD5hNK+wSke2twB0GXgPOBS3WREeEfLdEYY
|
||
OJrl4490soGcLAAcrhqQAIBrllfhCK5tVSaza8Q/mKKCe9h3jx/BGghGgWIW
|
||
XqtgXG4wcZmnk8kM1IYnKBwaSRr+fhKe5AAWJlNAeb6ZZJgpw8+fW7SJL1+U
|
||
CADq56NlWRmtjBQoIimMUtUNKHjTm0cgiHkkaCIIgJ12Q0dRojw/TpAkyK+h
|
||
6jFBY7mulgPLVvp7k9+ZJZehs2Y4eET8HD4ohAKFcMCzEGREEKscTNXlRmZH
|
||
LpZHtImI6YiDnHiGb/K75BaJYkOVJfxLLK7Ekwlc49Ihp/F4DJyoikcg6VQr
|
||
gMu/Z/kdLunuJg9BFkJihQQClAvWr8xYeGJJcIc05y5GlpQB2tGfQgjw03gB
|
||
WJhM+sAL4buEoOAozUXy1yXQIEaWu6TA+1qlJVy4SYNmhEQzYLvnhji63AQQ
|
||
cVwkMYJztoKXFrN8hQeRZ/k8X5bMmJhGBuMc6BVIcoYpeEo3Xj/izkVKBIHQ
|
||
ewGqhr1DFqFLICp0RRI6xCwRUuDQaMsgmFCWyNMJ/0BAv0czg7ti9ElANXxy
|
||
DKsYbIPEIIADxEunN1GRAovcP3aZxQhOPUG6BwsgujqOF3zIsCkYgDgNnjOC
|
||
CNX0sawOP4PbAghFF7gzy6dlpweHl85oi/AuT4PET6TlbLqhW2L95XAf9LIQ
|
||
dDbVvmAvjh4Hu9ENwHBjEopAXYKd43CILlUKbKOK54tWHpdao8hsRdAgBoQH
|
||
gDIZv96X1cFh6HVghsOIDEPFcJfg7e5Fwqg9GGwMtrpJr2d2c2K1oddG8j92
|
||
tCGrdFm9CIb8/Fl1NGerwEcKn5MrQpCYg7xDlgYjkHaGoo5sGRlEubxGVCEu
|
||
nIusgPweiVaJlJ0FUD1inAg0WwSAvXJma4ei8Jw6Cs+5VXgQ/1i3gc3gv2sx
|
||
0KpEBGSYG2e+iQEmgDtTxCciCPQFboU3jWLvwSUdxi2/RWcDtzWe4b1bJ+m6
|
||
gmyogizRcU8upXsu5I4mTsJpvIBrUd0lQEFbKGU2uY8syhQOYVeS8pIFObso
|
||
OVQmjfA8UKMUUBqOmz4RARbnq1NLEZ2SCex+v5S1ETGEl5kVrTeRffnSF84i
|
||
xk14pymNI4FSAgFYkyIK4VJIvCtuYWqWSAKVymNQBoFXZWk5x9eUg9CeHfIt
|
||
RMYVq4K4LJcFIh2eJggTwMJgunl4geI4voRnXCQg+ecFHQ9CEaQk3K0YWJCB
|
||
FDmwAcYqKxfLzgIheUBSB/eeki8zCcEwJ8TqG2AOwI+Oi+RAkCSYy5Vhh2zh
|
||
8Fla6i37WzLp0KgwIL1vnmE0gkVeoury534IzAT43hkf9C99HBSELLwZp8sK
|
||
aF/4HxudINiGSd/lqKwg75k4cCeoCADaRW22HK8Tt5l1IljhNJGbie6jaAHH
|
||
s8OTt83pHSoBCBjHR6IpgPEslqGogkso8tlsFIPEapQxHAGgBXQAKITQN5jv
|
||
SMXhfIR4JxcNHs6ByJdLWDzKFI5iieovPA8SmafoW9GR0ZmHIa00GS2Z/CB+
|
||
CyXEERgTjAzTVD0dvAU5kedFxhLj6eNpNyHCnLZPgxLbKqLklm4m33T83PBj
|
||
WJ0rjzN/K8dA0Is0l7tyMQbuRa/uowg1FgCtoYpWomi3A5AZoBey5hl2P38G
|
||
KhnxX1++9OBd0PgchY90GcRdo+etmGwhIODtSTyNAPVSNmDwCILdcFPHHxnd
|
||
rDwBrzDGRqwa8xvHovjhaol6WFJuqLKRs5BPf/7MpC+1L/JI+5mvr6G9H3iL
|
||
UcfwVTTtRPyAvERgnyWTKbyCQxbX8TgJPZEU3uMHIvMAvkyq0DWgOovKyJvh
|
||
7iEXL82x4YdwlUCxmqCKRvuiYzKaS02zIV1Y902IifcHETYK/52YiFwGfXge
|
||
Z3CNiY7C4ReoNU1yFC1CFJ1AuitvjPHMe/YApFKcBy7kLL1OUPdP3CcQ/84T
|
||
MaDfpAu8wucWXw+s/B60Kq8Ow0ACOwaW3WKVgC3CIc7LYCTbJVSxcnO/hfDI
|
||
BbJ8WnitqtFyrWFEAC2gygxpt1WL61oxgGbVqhkDFlyDNgLPEeut3DsH9/Og
|
||
NgwRW+eVwppWjZjkaxgBMmkglmXfCEfEFuBt9ED0Q3u9mIBM0e2U0ZRz0HLw
|
||
oWCUrPKMxV7GOzKN1o1Kous62zQrLYP65ugsEdfh1k9YgnS0G6Zg3hXpB0Ty
|
||
cjZ6iXgO0KFvjRlEtToSxMrEARDxAtcKyGRzTJuhMT0NylAhklmIpgSWC/JW
|
||
V4oGnprAVrAVrxA3I4MHdnAjAORjEj8mxIOScgzXjpQSfbUxMUlvgImoDJCu
|
||
ax5lRnsdA5qg63fl6NSoTJFlUlUSOakKrzJgIRxMhqIWAAKpmVgVeUvk7sMB
|
||
Wh4mfBCLF08fC5Yw4UT6wo8FI5CtkGKyukwI4OjUyImQj6AqSKycXFLIcVJW
|
||
U4gOfgSA35EW0zl5f3HZ6fO/4btT+v386E/vj8+PDvH3izf7b9+aXwJ54uLN
|
||
6fu3h/Y3++bB6cnJ0btDfhk+Db2Pgs7J/i8dvh6d07PL49N3+287jftKKM0C
|
||
LxFxkHQJ5GVgjhbfeXVw9v/9v4NdELP/5fz1wfZg8AJEC/7j+eDZLvxxB9Sa
|
||
Z8szOEj+k6RHEFKTuCD5CuXveIGaFZqhAfNvyFkL9w2g+Ye/IGR+HYZ/HI0X
|
||
g90f5APcsPehwsz7kGDW/KTxMgOx5aOWaQw0vc9rkPbXu/+L97fC3fnwj/8G
|
||
8mESRoPn//ZDUOeVcABz5hjLsoW4AockKXoYDJGrO/Yb1dj6fCnZ6KqMlVTu
|
||
VsOi3FoRyUsSa9hwT9KwIwGjsE7TIqcdI5KA3J4SV7fSsnA0QP4lCtppBtJ7
|
||
KQoUyvSkeOck1CNlO1QD+74Y2H+0Bnaeiy3uVvQyhnYC1joZ7A4RCq04IJsw
|
||
NK0pn6TNkJi66FMkbt8jF/JKar6Kz58lRMRYOSfMVxtOC1K1Q2PL8P018G5F
|
||
hhtLsNs8BKjwkjz2lsQtPf4Fbj3C6wb683y+rMjkMcvJRIV3jVhH4zQBUGim
|
||
SujwjO7bZ5RD6bAhffsOI3jZ95kEIt0eGOmWYeboVWZuOhv4YO1mQYsw4BLr
|
||
HI6Q4WZgqjWWbTZs87QsJI+tGEfME8m9uSbflVaYNPAhZgFzs5jozuWYyNlC
|
||
7k5ErrgI/rfI0Zgilhd81AHoX5cgdUaz5DbB0ChftsXbRfLpIU3sbSIHeC8q
|
||
H+/jbI1BdiViG57uTYwc2mwyBaUN7SrEhUHqZwceWiwkcAgwmn/58gWNY468
|
||
jIBIK2SfvDKAVjGJMHRjFcrodO1ZVVVLVYWhQaWaoKxIGhJu0jXoO4JtPJmk
|
||
spmacQm5LANj37VguerR5ydNzYfEdH7PcSYHl+32sHV+F1eBfMCnQjAge0g7
|
||
nsHOfUxTdaTbOQ7jOYcThn8mmu9+/Uun507e4s5zZnZQUESdRUECKsyOkgjo
|
||
7vk4JaGKUYWsOLgCkbjpHXwS0VaWRAsgM390ky/qitltGrNMdY+fqIX/+J6i
|
||
Oh90pU4XG8RAhySd6BHJ0Yj4VR5Y/dhXMx3PDhPpNX4gOuRzo5WT9UusY9b2
|
||
lRtdPC08SxoaeMxRu+M8wu8LUEUIi9nb1/Oa/hF49G2afcTHPCMT0hm1Lxkj
|
||
vmNdIt5O1+LIGGNP0OUrKgb79QWEACa8kkxt1p7GLF4lRaBWY5KhFaT0lRGt
|
||
Y7bS0Bj0DQD7v//7vwEfx2kKl60K/jX66p9/DX5Xm+Zbmq2rN7MXrv35HV/C
|
||
1y6HoX/xuhzHONzcrCabdPCbn3od950zfoev2v1XBl/6pi2tXfaaL26/GXKo
|
||
NQncrPyz7x1wL/wLGdQwJuhXgQK8htGFVoxB3c+NeAANHLQ8H9z8418F8nsK
|
||
z1d239G3/ofDjuUwg3ZG9uJr30Q/AUNnX4Uylt3YiBA7praO99I3LQ/uVfB5
|
||
GD65TqcR3bWSI72+N1Hpevs9hkp7KTtfxIbqOmyW6iMS8urGi/SFbpThTx9U
|
||
Cw/YbW9M9fiNjCeEwxGf+2KBY+JXisYigg/5rWdLFlYcrshCRo2QX6fs8H/y
|
||
xJMOzlAKLUFIcMSDiETTEja7T4KlDbMpHza2migLtBFYnmXseo69GUb+6dTE
|
||
s4SdjymgOIhOMBKoeiGpt8bexPx6OYJLIuza7gtmz+fWZPIdwulyw52nAyJe
|
||
R+xMNC4GMdlttMAKJlGTt5ECjw8dQbDnTUCDjpLQdZubGCIRM2jVJPYCQw5D
|
||
dVn7Cz/zF26MMbMpemdv5mHXgxl87sCsR+uAsWHdY16AfdEqzUlN0mVofQB2
|
||
TcEaRKXn8Uf2mJJ1XGR0upCZBKRMyUOBo1XoiQsqFrtI/IiLIjWzpSjjo95H
|
||
zu5GdFTZYHf0yLlMSWer7jGYn399haGSjbCXIVKGP6LUZtnN/g/uk04ozBCe
|
||
PLs0+s++sqwSzwlfagRt8fB4LIUvCaHeP/nBIy6Oz8CQGNrXG976RQWiCAzQ
|
||
EfEORkzSW2t368o+e6JOksWAtXjjsLzkWCXYBAdLsfTQG6IcjLoGxuG4zkeS
|
||
N9i4yB43AXHqhB1tsDMRN9n1ndMwrsS+y6ZlZPJQ19zRnGRiWZn1WOM+JxoM
|
||
aI0M6EMU/R29VkQzEbVk8xN2yrC+5LIE0oDWWShe8wX+/MRxWTFRW/MCAqI1
|
||
8NKlyYHc8dh72KQA4AsX9oU9UJRsoBZa/zEU9wK2Fc9ER4Wtwys8lPdFqBY+
|
||
pCxGX0YWyYScKIHg0+cnv+WgOYiXinGqTmFpOMTyWMiApc+GhMht/K0EhfAz
|
||
HCNRGMz8utjee9rp4yfVaoGf2DSsf/3truKvkITDVxxdEEdwkaJ0Eg22dzrB
|
||
F/968IrkYpiFymaOPsWov+DdgOlRs1azpti5NeS+NFCv0TlAFfI3VAyGDUx9
|
||
wN23Ecb1NDEMj40exToDDaIeKYKJOennX77I6ghmaAgC/E+8Q+xkoEt14LGL
|
||
1RwDxNFjrOsAjTXZmG70wzc4LILzzcXO8138e2+w3WsgA1kzSV4Spwr8raOi
|
||
kcPkpBDWwMRRkSzg6qhZBY6xBlnDxBKi9PUTxs8m7HpfpuUNx3qETKCZJ6As
|
||
g4l3ZZ/snPCsCe+wzHZsvALkzQ7pDYfvE9QQwwGZWo6+xvpVQNAbxiICqxyw
|
||
MBzelwvMeT2j83oveq8QmoLUwlmefwyXCyGU4pzxhsYwPYN7NYMf3kwAxAE7
|
||
XeBi3lXqvLb3chGvSOKQ61iGo1wjmCPUXGEwCtFyxUQRIL1wo3rk+L32Vlqc
|
||
WH6iAzsLL7VuZ2iZ2zPtKrpoeHeaBRhLuiItKAhStok5x3dRoQX6tHh/fiyH
|
||
yZY3k5dxcImcJIUbKmPL8TkWIyuKGRqGdB0e/C+jov6RpOGIpeEfNv8I27z5
|
||
4b9oyrSs04FOuRzhZWXhUFbiy5HwBO5E/RWtO4FnfkMksVtBFo0ilYCnryQI
|
||
LmvMerEjlerieBWpivYS8cGBjnhYrCHQjcJTmaWjgmJNicM6kaXiuUChi0ye
|
||
tEt1tObOqW1gnmn9njnbQ8sJSHMx+f1aDlD8vWyVThcYYdgtez4YXiXjGAVu
|
||
9ueiHRRJFyE8udU4pAjF1qQs46laSYnNi12HBc0OfKa7EMeUw86MkYnvsZj5
|
||
bWQhhRun8JFx5+oCj9H0usAkmZQ0jRT19DhDXhiGf4D//YH0JDTfsdkedLsU
|
||
Uf0PfxiSM09M8HhwdBWYJmYsZolER/ZkijHGWN9PlUrQsimlA5UxrX3HYlTT
|
||
JGfc8r7IaARF2ZiJrEIcuotRcEsrFaIkeAUIyCi5iWfXemJ8IzfMxtkNhTuX
|
||
N2yKddvm8cuKDX7ww56l2apNclNuF18j0Y/D33KSb8O4srsmpwjbMpF89VqA
|
||
pTtxjMl28WyXxVlRhayvd44q88iRMYFmElKqfOwckzHWmaAfJz5Al6UEMc7k
|
||
3OneyGIpI4NQ3sFRhgE//Z9/6RgKlrAAtAF7F2sbLqUjT7Y/x+GMm2Iq+c9f
|
||
MVPhCC2oyto4wEqQiqMtQPVHH7O19ZI3ulTaShsgcB5nEv0HfJrUEzyuno08
|
||
M64rx+9IgQaukDDXaHgZhA3IfLVxPIvKGI5PAZiUUANjiIOAWTy/TTMdH9Ji
|
||
O/BZx0hfeBYaz2Lfp7tZkZW2UAcPDscp0PEI7ZajGMUBDMqg7ehFQqoBI1Bg
|
||
PF18eOj//9//D14nItU2z15uEa+BJZnQUCdZuAjwIIjVyO675RyOanwIW9d4
|
||
jnSeoCWcmaJZDlBPuqcTFFFVolAnaqw3xgSH9MMyF4YTV7IsFJwwgRkPhy5F
|
||
daOWRo5IoROQsER+wHfOjpJpjAIFMJkHtwHPpGJwoh053KFFxhbKTlIoHiGc
|
||
0x7+Z7AXztOMXPFMNGg7HK0+wyws2cMC1GA4smxCHlXMPYhVpGF/YwzKDVkk
|
||
x5ghhbLyR8AS8cSP0UWE2AEL3WCRyBOEOtnouhN23wFYXiUwXtKzTBthpWYW
|
||
QvyRy/kEuvXTKY0zhgK30FmdoJSezFbBEtQROmqJv/+tSltZNcUcL7MU9HnP
|
||
Liapx2zEC9+/Pz60di0S5bBkg5WDGTwEv0lScWrDUPgMkiuxLhUJiTrsQL8B
|
||
tTPswMI64Q2qxDOA7wQIKTo9SoqXZ8ceXwEHE/iE9NLSAI7CNEp0P5JmE9MV
|
||
pDkZ9yVUj01sRDZEvG1q90YUR/T1ZXEr7oqESxER9wnRIBTcsWbSEAjpGAzj
|
||
cg6CqC3VF0E0mIlLjDeTuYKBCSqpCY+Wt+gp+sfHxrtRaWxynQqtqQxCiu5y
|
||
Iu/QyU7JVWU4neUjct4JlMkfDasuEmtgqRp6mLNbM4CcFlEJZ+cPoB0xKHqH
|
||
NkipH7GOxXsgpEA6QXsEpRQ+S0sLGWePeFTo3pwobVdwvlQqZ15XWDlvK4gl
|
||
MXhi9obwsuAxcEFkuoI7vA44iF6S+aZB0aTqOtCRMDKM1A1NSoHwQBvtJ5JS
|
||
R6jTFeiOeIxscpFoz+SqjK+TaoXhbuN4NqZch6tJjvJ0p0cR+phxXrlKBjJF
|
||
lN85tgDOEKvLTMKObqwTwlW9YfQF0NEniKy3eTohnWQ24xwBw5r5me4+1jdQ
|
||
ulgkUzQEFHSfFHGxigsgQBAAT6zBb1+1jZIAiQG6Zw7Hd8QnIkVO7AdGorvO
|
||
NsWvhNmLc4cIaGTLQnQg4SRGjLpN82U5W9k0DJwS15SFyXyBAhItDigXZ4gg
|
||
ZoRFnsvaCA5ZXl+EQxNO9n9RgRD1HZMeqEOUQsM0aEgJlx8Dv4Z0PZhMDaRr
|
||
gRV21uOrg5saI8GjoZQkKhSZd41xV5hMKtFbRqLtjGcpxXRfYfoDoBOjLo12
|
||
dTvooP8E/rrSbI/7VgVHDJCqrciL3RXOBIeLSavyoMhfDgKmxiKoED7UtPIw
|
||
/Nl9vFhJ6kGkC4z0C/T9oEScUvwUT4KIQBUXSPPoUOrRbYLG0Mu2FWOayjhJ
|
||
JhJ0R04UTI5nzSd2E4XwxtHFp9QuHp4Z8D3DX8cg9nAmkn1Y5OBQ7BBlhbrw
|
||
KPHcrQ0tDU+3HnREY4hvkFC+4x4kyd7OrIjyEuWKG+O3RRSW8yDx3ZoZYtQj
|
||
S3ROsLTMWesUOcvWkDD0ojv6JraDAqiRyYmZU+5UyM4KI8DADxpSBax6bYE9
|
||
zexNdSRdVQpiWTaPQLtn6cffPlwFu31zZguuC3F1s5zH2RWSmuRu7fnZHF18
|
||
muf7bTmZEhkbkdipqxdGbPfX2Jro4kZHYc8LHGg6a4BaaSHNG/IqpWaYVTAy
|
||
B8FtophviVV6UD9yufXCY4sH7WpGNZU7LX91JZGY0AE4JUj0EutlCZNDK3SR
|
||
LTY50TZQSre2RZZVZK0mobi22Meoa7X5A77d83iSrJXwxD6IwUlhgnVslAGz
|
||
BM06HBsNJRzBj6n1WbrmvtLtsToep2oH90TV8o6s356Cw2hfJiUXDjQQUbnv
|
||
J9zlRrcnY7U5knq60wYxMrw/HatFYQjnIq6pMi52SR5vgckwvIOXEmUHSFul
|
||
Y9ao3PouhDzWQ8kLx3hyK+Yn6zIZmgrqPAbNDKugZCtbTGaKget54URCiNh2
|
||
era/eZ5M8354kIAW2Q//vH9w8rYfYG71sqzgupX5jChN2dNUFuuoXRME7GSF
|
||
mGhgh7nVnAFk3BDJ4hCTEY9NNoeRMJBLRybL4wFJQzNubFaI6wMxSYCBE+Qu
|
||
ke1EkRAFgLYk8UzdNpwiSbVIqADg4gqUyZv1SpafdYnPGgMmTknj9Y3SwUkb
|
||
YQefi4zDbYiE/enusphFgFg5gDDCBzqODFPexNH23tNhtjv60/SXm5PrDx/i
|
||
t9Ffp59+Lv70Oj79z6vLT2VxsHtcbv08KF+PDu8OptOOlAiB92ldjqPRorMV
|
||
RQGwSTGGlYj2q7EsaBjZf7cfviOZ/FhLIgJ03+Co+2bUcyOviJogi+6YHew8
|
||
3+3I53uDbVrfvX5NM0LAxQQcEmm+Av4xQ6UpRjE9z1BUcDbKojnxsMm62ZBN
|
||
oVS4qGpwIpNUEn9UunfxZh+n1P2dHO716bOB1mKh163HSIpCAMrdJmz/KOK7
|
||
MAd2XJVNLIFrAej4zejGaG3wrVY9SHReMvAY6HhpooiWiu4oLODvcMnK0rE3
|
||
tK/qUq9NifEZVAphFfqvaq5WKPs1iiR5MklVzLPrVFIB8G9gRug/RsmlJwTD
|
||
rfJgqIVT6+6RpMIJYncL5Yn7cijqNHLQq3lZ2zORK9C51ZpoEkSWhbtPURBJ
|
||
s0pRNwXKmFGGp71u6AfPkinXVEtl3CAw1QGuJibPYB3QnQwQCUOXCF40KZIM
|
||
TfgvqqNoFbqCdmXE1qXhNId2bcQsUlybnkYSBBRyeIWGugewRh5pUfb2yd93
|
||
8pbDFwmfRQNhY4SBcj9Mr51tq2OZUyEsmtzxBxZF5AOA82hVW+J+u5fx2Hfp
|
||
OQkWqIV6zj31Xzl+BF6IZF9M2L+EyRcahFd5+KROAzk6Xz5LXFMCk0QGUFNu
|
||
ZGuLLsp16yKDi+CKJkWl9hBjoCXP28tQQVSGs5QWSq4IyUsd55HEtaSl2s9f
|
||
c80gIcJagKDvDKQWdfLOuf4KiRPh+Kqy5htkSFlPSVpoxQWu/FgmCZlz9JD5
|
||
eQ4hJfxRRdmpveGWXUJ6mbbb/hGqMmzoDEuCxRir1IxjxE6/SAXXx4EvpxpV
|
||
ScWNUNYk42qkCbVcdJFxA+9Ggh6CMoetOMeDuyCvghQLMMb0UopGy+qF1BJy
|
||
+qerG5CJ+IocuFkJ5p642qy9LO6nV8pOa7fmVZ7PkjgjOItRylTLslpYylrY
|
||
AykRrOwbOxhfg8Yy0HuynlOS4hihD4DIIT9uYOcORVZVx3zjhZJcI2tq2T1p
|
||
11XBBmEhkQ7OOKkhrW7Wjtqf0pxzyK/S7IoV06uqAK2s0/NsntdFkkRM+Ljm
|
||
N2FYBmjxNx/Dkvko4ZQQ5cbIXYzMxlhGt4XkbBnDRS0KEgZNYrpMJ+ztgSNt
|
||
ggHB6du/1wAqsFBleAVsAfZwQPxSGmMN+IKFTrAQg+NkLTWNKWA7jQ1YSdzK
|
||
BY53EzUktuUvYkosEupxlwWd5NOiQ4ryS6J6jkNIfRJChTyNQtx5oLIacknK
|
||
gpRNycmVTVZdcmOXxlbj7E6cUDZw1Mv2cXxE8pG9iCSgeBh/StE+Yhk2Y+Qc
|
||
A0QlZJhDq2pu6I2Uc7kvSKshLwfirhceQCWByCfpTC2j05EDRc/Ze00mArHY
|
||
U+CasdmXpp7VBGMJCFSSPtB3yr3iO+gVKG3YPCpuRZmo7AMrEn7AlwzRccPE
|
||
JZCCe0Vx3uv1DtQEYORgmaHpg2Mx7MTWf4ieiaojUEYEzIlWIR+LR6yQI0jI
|
||
g3ubSJ5pCVe1L4SbY2thdIy1DYzvwJMh3TlCm/1O48Kbu1svngajVZWIbQNf
|
||
ocjdTHgl8NbqZt2ig+aAeyElvpYtwJGH2ZYYuO5WGpKFCh5Gq2MQx5Lw4ANx
|
||
NNN1kZDaupCeuvECXmCiHGE9HBhD1oZrIlA4UkXt/qJ/Lkdf9TwGTtz/vPq5
|
||
1BY2DAfPnm1vPd0d7G3Rh0hhzIfP5EP0L8O4z6534uej7XE0GSS70e713tPo
|
||
Rbw1isY7k91k7/pp/Gz0HIbGN+4klnlrNBhvT3aiBJ6Onj57/iKKR+NJlFxv
|
||
DbZ3dvfwE4mL5hf29raS57tbW1Gy/WIU7Q4mu1H8bPA02t19+nRvbxe+2Rp0
|
||
ZKHiZxui4oXVhEEqAz6UxJX17yHJHYZ/+ZUXhZayoeNbYYaAdmXlbNsdZXTW
|
||
JD10DLbmWzXBrgU3j2jOJ2Iblx3A2EWdI9jd43UalXb4oBGl1YZCk6he7g7y
|
||
9iDeird/u/qUX+3Nt94/f3P56tW7V+8O3v751cfps2ga/bJI0h9/mu893RUU
|
||
aSjUBEBP7zWHIeonPLGNOyFXi68Y4svzZIIVi/g9T+tyzyYyZxPd7m5sG6yy
|
||
ChCea7A+oIv8MJuiuxTRAFn6r7U4ejQBRkipJJLeu/NncpWdcPonoZuEcmmq
|
||
XH1+4ha5kkTYWvqLvvUaqXmr6VmNzcSjm6/XM38CjgUYDLZUvG4UQVYmxeZk
|
||
icdxxxCrWWqjHrF29ocLTbXwMyoCNwiBszNUJ6ZhJGpdNE2sL/iqbiNEj3WF
|
||
ihxGrLMSh9pxmk/CbmcD5MfxTYyRpJxut6/5VKWUBY/X5lJpyC/tpFkxWndt
|
||
ykI7IfWNRKjALWLs1f+VlCQm68GPR5fhZrxIhahGFCFIB7U52BgEb/KyGoby
|
||
HYfYOAgatORfJaufbkY/jtONjQ2Mnd7YaK1C7D93Rs+1ZFs5D6GqCw81Mqxk
|
||
OV6GlWaOkVsPMYLxFtGfNPp6GCLLuJT9Rf4LE1LvBubIqfUD8/baE2K8nNFN
|
||
QOcnVQ/iaG62IgSYH7dibFA8ehB1rU+KY31MWJYGrWFy8UNrA6ElrQIWEgEf
|
||
b9MJp+5LRDSZOEgIEMOpKSuGVrXPn12RnG4OKCjoBBEYkf+QKra4D5LwFZjV
|
||
SloniVdOtJHAV6Ppuf6KRuYG9ZBPGxOmYJioLiMyXWn0TSSHgQwo43gZ2fEt
|
||
LJmUVdVSa4HV35WB7ySlpDMMNvnZVFojB4pX2ZBo6Kk0/JEqAqRJxuF9pX0k
|
||
8jTRuKjAVlwjHadNLwvrehkSZtWEtRorCXrrquJJ5Agqso16af3AKfg8wUqY
|
||
ppxoxrN4oLYedKRBjFiBFO9l1RSFdhBNAGXFTST1u40jSxzc1kplI2NckJ9j
|
||
4K5cB+fIzKziKqQAgrqdibBQjJqkUlqRGA/WniMAMllojdhLxj/sGyJBY+zA
|
||
5zAiJ73YRi960Y+haynmQhxdN0zNLdsLbIVEUKkJx697oXlkJfHj2XpyJ51w
|
||
JPVFsKBBC9UYTa7T2jec09qoOXhBckEl+orKriIiDrkjViPUT8yVbkxHYMPg
|
||
JflQc+yYuHJQHCIHxo5SzKiNwgps0IEdVrR3Q3pcyiARuNdY0qZvYLZmZ5hx
|
||
epnMQdrAStaC63KcTpg01zMv/IlMGImk400pWNq66esj0P2QqsQ0wGK21LgI
|
||
kkSny8IGJHM4cpXPEjLkhl2noNow3NkKxa/R40icS4rkh2O8poABdNDTUofh
|
||
f0nIBSwm/CPIJelsQr9zMQia6wrnujJz/ZcGMpjJJfaHkwjt8mgEXzh7ieHw
|
||
pkzydAlsDVgP2eTSMZbyXJbo+xFI0wDs61Q1glteYGDEgf8sm7vSeVykM9O3
|
||
hVNMxHXv16DtylklirE+8vT6UumTRrDTtyMVmwoTKVvNNC9OJcz2PgTbResQ
|
||
E3gSjV7bQnaIDtjDwWFJDplXmwgNPoObGpKNVsxiLh59V/KN1lvP5Vips0hF
|
||
y+CEkXvu956937WAuGEbMCjCu6Zc0hR+yBegSnu8U79lC0yYbMypkU7G1GRh
|
||
baSXE+bF24RZ3bAla11+yP3MTELIjRNPWg8JQ7kwzbRsJ0thDB3dRSMQDBHN
|
||
0b3Va+5CAU/mRlLm1xm9JSNXDLlPqba0LYqGce6cbDsGPDtzJQQxIY0S1BoE
|
||
hWgmck97tbSQzeT1+lvEQjjsJw6vqUee2O5DDmRPpc6vod+mgDDh15OGoGQC
|
||
F+qmqEWZLCc56limcGppLrfDkI1MKnUj7HvB9TJjR4YJigahrEuFVfnq91up
|
||
Xg+LSWxuhhfA6sPB0GHvnDKFnp5r5Tyae4bDblRY+wB/ATbcGwpUgAYBGIoi
|
||
L7odlRh8lov0SPK0eoEz97Y5PUu6yMiofMqhnuQzYM9FStwRl0HR1E585fe6
|
||
6mlSdc3TPXokNbQH8XQ5m2n3MX8Hbuy14a7DsBP+a7huQGIyP3xPKyJ+0wr1
|
||
x03nRcDJlfGBtjMMD4jumZSVsMuSTxGjWYZKVc/TCheJhbFRRvkeb1S3R1Eq
|
||
FFr8PSLwFdFP/2AXGLGlyCOvSxpe42cef7qi2u8gI1+ZOQEsMglW08BdcpCq
|
||
foSXug11DtICo/gLv4qn2Jc534ltvxirEQTmdQotLkEwNrfBbo2b1V3R7szp
|
||
lY/bIO6OJidEh13JwxtoYe/28MDNI237OYk/pfMl6D8Cofr5uLtpQW+73KGP
|
||
bfj999+Hdms1xEL4Nt9IM12/Pi7UnZ/VvcWTSf3efPXVAiz2r1cD45rH4uHd
|
||
GnRz1tl3TkeefjzaObDiry0usa/ctbr4Wq7aXWo0/syQZC1vM67dUDl7ofAG
|
||
JbikLWZDcBcn5FY1gYfho/GprHV+4iqe4Wn3Z1WgfxaToHR/prBynSXLqVsY
|
||
ysqs92v5qNapHA18g4MtqtWCfKS2NQrRm/KG8gyRX5XSoi8tg0Qb73gOKwBF
|
||
lsYzrIyqBSFRmU8+VSjWUNwukLa8wFSzREZcEysh8jD256jdsKB+w3xNYrAF
|
||
PwwM0RtJRqYnYeEEH6uN109Q9X1HfzTCRmAkzLVOrTEO3hiU8a8M2CFu0nFM
|
||
hjYLNZqDBI9PsHppVllaQmYCpxoPsk+2fP7s+pM/P/FsWWxacB84UymjXhhL
|
||
7E2lNS1UnjUh9KwJgefFJltCvY4TcDwpRrbe9oc9mz5RF09+0Bb16QtNWkmB
|
||
a9iuLUyCZwQaFapvaNFzrd6s2v9cK2xPtX3UjmlLsmBGQ60YjGjQjQGoIFnb
|
||
ACQJU/kbblfBAi/VHw3LZjUcUaB+tqUauD5cY2hHcYrDj1l+l/VNeldYLwcj
|
||
NV0d72ytmC/qQ+e4lOTWLTnnV51h4wwtx1qb9ARZujZHUIN7qA3D9ja2RZKv
|
||
g1BLvq2bEiVt0l+TROXwW0DwydpdrVGAVLRl/RBm+66koQyuwgbcJoPumN9R
|
||
kTRWUG0bENO7Q+JMxwl3qEM9zhkZ7UT98PTg4szobRJBx1OMltj6JFwuUIJH
|
||
K0fwrIYJ7UhGNV2Uo9SqO4mppVn17nltaKdQoDueWz9FDDrwPpu3amWDLa5a
|
||
3IGJXtT3YEuZeOUstFrDd1yawTSzJJ5uC4BwMiwNwikTZGXrS0kCt92bW/HN
|
||
GbxR8yEuKXdOIhxfiv0flWHqqMFHxe4qKaihCXbG6MPJ7n4qQJzOlkXCpqoP
|
||
WmjAlKQQv52bctZ3TDUMBG/vjLy2bQLBAOA72Nrw4EtxRhJ3aSLjlFPpHaLo
|
||
I1JUBwP/dZtlYxL7M1M5AIgJT04wikvOCOv6DNrE/pAnsbzJZ0CfHQZs2LXA
|
||
1pY36AmFvHfa6yVZ92lij61n2HmF29hljrUwjPHC2IhwDxmM4EPND5G/stmv
|
||
ZvXDuzjYNoBi94sY9SUAqUuRFn22S/Udu06fLcJ9YyihT1x7SY/SgzQEkEoG
|
||
JrNZxEnQOPOOmblpaJG0T9fWYg1S/VDSBtutUjg2MJszYeB1ewNR8HrfKnwH
|
||
mMUxFxniyioU7dY0p7fmV4pxT0LRxNTWEBbYnbbeQq8hSIFcM/MAtk+U3Fy+
|
||
W4tlschLzokmZUBrLbkhSZyTY+JHDQLX3W+m1Z6Np+tznioLt07kI3XEmOUl
|
||
0QAWpXAjDRpRYjA/kmWv3qitx+F6EW18t4mQYp8C0V8aYHdrJ+yCrD5KJ0A3
|
||
eqgN4ftuzUxbcQOzS20UNqyePmZhSkYbBN33mU3K1QFNjdZmITjelaQC8QKB
|
||
No7yyUpXLU5hkEmoFCzAmdU0IVfY9pZzpQKbK8WmOHMw7QhDcvel68jkzuW1
|
||
9FCxQwqsTT0StmzWDyng7bQIytb8tt4cR7f2ClAWjStXv2FDDaU+oDSvUXBJ
|
||
GpCwmytgosZOofY6lpxZ5uqKOGxFYXMsPdC1F/goTqwLUBOSEBR+m+0a/PsG
|
||
iMLhv3zfEHw90wbfw27nmFEGNUMrkLBVxg4IMgkaKkQIxoMur4zk27UP9Vqn
|
||
AIXkJh2R9coIN8YQ9lYKFlqJI1DZFyEHAGgAk+wWMulHNlyg2cK+41kFa4t5
|
||
n5GkXSvG2KkB1ZwAj43cTDABDuDKfNs4unvsHaEnXfed9bZDTQ/GvFJfI8WZ
|
||
UltPEqJ5pXAw8PmVfOZAqd+EY/u8F44Qb0zjMl59CVZWhaVOM6nQAncfjg3N
|
||
QvDbFdBTnK15YA5uAbLCoxtUMbVlSTZjcA4yOtU/JHoJNLG+IinLqAIwUk2p
|
||
byhYwge1Ac/prFQjse0AeCgjIvLEzogNaIhwKTZGSyWkL5uZnMoWtsyIlIsf
|
||
lVZ0pkCFqVBYn9MRBf0NwofoOWXpiKIDu+3nrUKljNIAaIw1AUEIJKdCl2PW
|
||
85BEQtmWlel6NSCz99ZbQxixsXmaXBnhcu26pFwSTkheoHiad1rm+KE+x31m
|
||
+/XTeFupw6EmLYqdV6X08C+PEh69n1ZJ8ldjIuahfcyp2Yd1DycpF/7y18ie
|
||
DvrV7EWcS6E7J+tCPlS973kNPPVf1omp7fLpr/eStuYqOo2Vgkjr+jo895hh
|
||
mA9am1t9Z60ejtYF1+RqllTMWvd9MTqZvBTBmcq70dICIzHzN7r0njVYs0fX
|
||
s1h7MpJTcHqNFMNRsm5HMUo/5Q6vn580erq2xXlxDTGJreJyq24cC+hltiNZ
|
||
vdpK4DQa9ZbOXdDKKrrJx/BHPFuVaWnCvdw43MCNwwVNgIzVtk2thrnJnF53
|
||
6zlWuquSILYyJlqSgdBwk9Ychlu1WZT2f6EUDqftGs4MIhvmO2GifdnS5hsN
|
||
lPOUgt3DEg4fdJJ+4BaS4CWWFANFgYayllqbWBPixjqCCTPDROMq1R7i5/rF
|
||
mfmCA3S9br7exsSyy8OLvXbf2aKpODEMT9lZq0qEnre1D3OsEF2MeT5hox75
|
||
86gYoBhk/UAkWZNULOYmIOihzys3OoabfNLACcawJhwYGGPj6rzKMwn1A3UD
|
||
LQmco4b+bVgvO0e0/j4IkSBDjlaq6DUXoRUCjFMD7x0aSykdM9R+o7oMtFm6
|
||
NdzIpHvcWjPCm0sUpJY+8myvzL2OrFluJqScM5K1uJO22uScOquUvE/RNyXl
|
||
OifFR4wfLhI2NTZXMUoM7NkMi+VHpHFco/JnYKMfuSIPRUpid0cvXRDTsJZU
|
||
kIYwU+jMUYaJ3hcmcjOg6mWymoS+pHwdvdKmoKQWmK0n6/CrV3rcnWG4u82p
|
||
KnDAV1+brkI7krcen88z1pSL+zJcEFSS5YKxQKyi4UsaAn6a/vT6/d+OB+/S
|
||
43JjY+OPJtoUtL8fJNNIRfwrdRfBAOjl5DJ5Dq55mSud7a3tp9HWdrS9eznY
|
||
G+5uD3cGG7Dp/5BRgeIkk0e8sQdv1JIzhFfwyQnn8Y7aScyguEPduISQe3Zh
|
||
zPS4J7FBLIZsXyIzRcU1DhhJxCDA9ltuuxJ27Yn2Az2ovj2PnrSSw3L9qYTR
|
||
TUAkw/CygkKuTa0SJ3HspZhGqOt4PMUcCmMWx+UbcUP9JZpwVlHHGW0QMk7W
|
||
+w5VfKHrHzQWqPuzNd59w79fltdZE5VuAsBJIafK9daWq2x8U+TaV1JjH4Mm
|
||
wHFA2zUZATaRFZFr8n2ZhAfEDz8/AY4ZYemXUhtLleIdsgFQbpLiLTV+COkN
|
||
eGTOsYgUqnaT39V6Ydc74+F+2/PwGTeAectddsdmC5eQ33H5UnrVyiK1XhK2
|
||
2F3OJoGxaNlaH7U8WL/4Sb0LedDehVxTl+v1H00LYAUbdZMfjVBs1tKEAaei
|
||
c+U6KkZgd9An263DoVhyMwIESW4Bli9V/6lbP/YL0+6TZELE+DAhL/7F4dsD
|
||
yrxBJhAExxlxL35kwo+U+XV1xyLibTLLFyT+WDdaF4fo9YP9Y9NhscToPk16
|
||
sOkrN4QIdAldsAYqHIbai6sAGQMrDLHWEc/IydlsXV8GtqHY58+vD/ej7cHB
|
||
6/PBwPFbDgYbg61uwi6Kz5+P3kcnh+fwvSwgYGEKQ2RntjWzCXpVqu3uXG2R
|
||
eFgGNFpF2Qcd3iAksNp6qIu992ArXKWONHOM/yFEiYBvIb/HkDhgLEEYmnqt
|
||
EiB65QLtClEuoDZ8Q0I/Ub5sXiWpQF7FylC1OOk8Hb4KuwcYv/gjt/bKm0va
|
||
tkvSRfpLM/LnFQiJy1miSwLVBPVCLUVdXt3uiFZ2/5IOwu4lWtLpr8ZydhrL
|
||
2faXI4VQr7AEx1W5TCuzIPpkjCWW0Aph6no+uKDDsPtqmQJ3a1/RbmNFO/6K
|
||
RvjylWD0VYwe5pjsUrQq/tZqmXpu61f1hkKGz+WGnMDdoSbS/qr2Gqva9Vcl
|
||
4+m6dDlmmXLxBE7rl8NfmOqIoZGz4CLAHdD0u02yD2zK8NF8WkS722w0tOV1
|
||
wr+se5szS/8aRza59FdPcpEM16iczMYqudxH6FCCcWucu/k+wiA4w4duqokp
|
||
8pWtgErKS9d17pBMb5livPEUpSGp86OvoqEG7hy/RuyYcCBUzKCCiyoxTDRp
|
||
H4tymWhxPvo5Hz0WtKeQ/dnKHIv4Seg5kaT8jIMkK6nTUpYHRJVp0vJjuliw
|
||
klckpK1JSPSTEGirmBhINsLBzm0+FcIiOGR3WBzWG47jFmgArc6pHpwyTJD1
|
||
i7sel7yGzIaudq8U19sek3FO+WLZZqWaXlLa7unYSNurd6baT+CkBXUpR6nn
|
||
NGl09W08DieVjFV4wycAMJKpakh6dx3xRisQdjO9DQyt7dapaeOZHVANGySu
|
||
8dRu2G0nO40n98JujRT0wr8Qntl6TBP/rl1P4ki4Jl80BxOwIBjgBp6ZQRmn
|
||
Y2DtMWMG8Y0sBisQ7an9JumVFlHNBWPl1gk64j48lW3krIX2I00XGZu29npb
|
||
bbHPSlOnaCZK7k5ZoItqhdyMQYKroxptuwu6Pbk18fPRig2DPXxfKw2BbAnL
|
||
i2Y5Nt92r+s19XWWQ+jzPfMrX7UUmKKVOflIXqctrTanUqIY9EzaFS5US7KO
|
||
48zNKAZJ0jHr4VroHB4Ssoak7C2xRZJ2C9W+SCxhBaGSWiG7VBIQiSEFcpBS
|
||
WCugy8X38mKD5jfy236WgeZ0fDwML9HOx0KXiG+xhuyOE21ufW2SEu+XZs0s
|
||
+8fR/sElTgRXB8XcwfYQ8LnKMUxgTPEKVDQwXvAUKfetgwlu0ulNRIYTkIi5
|
||
7C/56PPZrXU3tFC6e6beHTL9GseqHvmXxJRdzqmuw/SGMBlRPB+Tk2Si0QoO
|
||
Y7DzolrwGtAvG2OB8Msi5ngzXym4Ng9U8oASz77K/RpRSpuPqXk9brC/zkQs
|
||
zA3rWFm0beNXgeqEtFlnNDHA1y6ycGsaOLAD12Txczois8rHS+O2XQFu9Ar4
|
||
L4WLGBkKP+S6Nq4w/ghJXLf19VK4uKktZKwYrp9cEaxY4n1YBjcJ+X+HCE7g
|
||
l3WYUzAg2blnHR67IbwzFRPW46npdv1YWnZy/Pr4MDo+/vJFrpfaInx2pLin
|
||
Bb11J0hLlA0wXsaZMTgT85D4FG0MZ/k/X/XD0/P9GoHhW+6t/Rgbo42lXKqQ
|
||
nfup1FuhTbBghS2X8EZ+CW9M0BhGy2fiZKsvmTpreC/PJXPRFHBwb7HWo6Pk
|
||
zbQkvQppPfU5MiDqc1ehFru4ZuQXE7d1gFfrTbsNUUn4Wi0ArFZhMkzh5Skx
|
||
T8THh+o/jeLso9UryABsyruW7SWgHvFKvQqU94rf6KxWB2qwt7XXqAM12Bto
|
||
cSip6jTZwXJO8dNo9Gz8PHqxNdiOJsn1VmRKOsEnX1nV6cWLZlWnlJpE6OW9
|
||
0uRVr7LTYyzwO51ftewSVy9yskRtS42/p/CTB2HWLi1+Rjn6exTY7Tmqjq29
|
||
rWTh8BG1F2vmcw97nfpGbvXChgndVsIgnLZlQGr3oI7sAS2hz33PpHIEERrO
|
||
y6dsbdJgrDwo1rXAXl69uSu+jiY/mSkCSjtZPsfKmkBSsJHuuAQyQdX4WQFm
|
||
yWBmvrQSgTH6NZm1qXEibBrTcUkOss7VVp3VkwGwu5YNfHCkANOtbFhn9zkS
|
||
1LNZnKHn6fHcfjHDwAZ82TB4/MOzID3S1EbFBctv4O4a/sDlCUvD3PnPmsnv
|
||
YeZ+QQWSHsHZ10gZcTHNpX2TsUDSXw2gPGhaO+PWUI8wq233w3YDm+Ef2mdK
|
||
1yR/+hLH+jVdcIcOlMMEDRuretCsxih8pSjtSGEy5GMMj55Lztwt9ceZD1Tu
|
||
YVXxLC7gTiQzqvlSInlxSjpTFhoiGvJ1PGhq7Mm6JXfakNYzdBHwIZBlRHJO
|
||
JJmVRteaMnhATtNMHK5f8/CgtgUX+Dss9cI6GNEYDZfXER36RPuQxqqkoXNq
|
||
nJQv5qIBmtBf1hxQ8WRScE0pLXfMtdHM807iPq5Mq9bi5ijdaWdvb1tdJJc3
|
||
SFTDE6opXsv6r/i7eEx1hcThSPMQyYnCkxitcUg0OYa5m/LX8iboyKbGWj0B
|
||
CtBFyhhwt1OvMYq2GKUUV6dpBsqCyGWA1qelGjzQSsQNR9BaABwcvQ3OxFSV
|
||
kyr4Elnzoj7zkR86UB8IJxSvsAQtFDS0pudUmP2vZbgpcmRl40ZsZJSGQLDI
|
||
SA5YGw2hxgq1b6CxM12wWfGeyfShxKmSElD8RTzDWWCxUnyrWTaKj/4CK2Lv
|
||
a0Ht8K0pqB1+frK+2LYTRlUvmO7qDJoGoL32nJLvwR33twWWbGy+Xh12js1i
|
||
q1BV6tlRrlYY7pOGrRiAyRI1JByju1NQSPpg4kiMS7ICSYIrk4pWWktZARg6
|
||
TZS0KQpcAyrIFmjXF+1qT1QO41NoMikE7DUhdkNi6OJQejQuxTsencFaMuLS
|
||
uJsn8lqzLRC1hEUvOrVzNq0J5XnqLrEprTAwwCYpa6WeyO5LU3PPCq1ZpyNo
|
||
aXbT1cZ2PyTjchXbBAUmIXTDQUDCK49WPAk9Mp1vDDGtmg8HontqqqXBIqd+
|
||
fLNmvIzdD9rd6G4dckoh80p9OiFMWK1aHOVuAJHT2UAbFiBFrEzBe9tFiu2t
|
||
sOA3+R2aWPttE67vOWBzXTA2eyhp36VTsz4pmw0HbE/xijLsKT+tpkYusMaj
|
||
0uHYrQto0hDtDBYVtT0DHZXpuFhr5UARBrhMZ5FcFltiwxF0cEsX2I/L70ex
|
||
77QQIC7ktKZodi3gktnMABlNPEIVWkJlakZ7kA8I8uv7L1RaDN07fqcPQ9DW
|
||
iK/ejcGBmkBMJwzcjgkwHrNRCt9LKslw1f6o/EYt19TppO6+aEs0IfGSV6+c
|
||
yTphl5xLEvOBFhF1M6FqAdQEhUAzqF6Cxma0rFVLe0DUL1GvU8LobrXNfOHv
|
||
4D4STLdSik45oAmkQlsxL52FqlYnlhxddNsFnHE9WW4ORomZBi/6gSmoqJFN
|
||
TlijH7TU4qxgXuDm4rlNG8kl4d9qQhJN/gi0elsL6aBbpjFMUjrTxVWFjTQw
|
||
dqe2QZPXs5hyEMVSrlY7dN6pl4TuG0eYFdwarNnxg7P2fRpGkA2oWlWzpCVb
|
||
xEltlwhg4/vgNQ5dOlRjongLS+eGIukyKfDyGcgI/UChI9tWZZoUgQYWKuX0
|
||
EKt2S8VseFpMYw0yg7fPQBrEu4NVXkrh/mwsSyyZHRU5pcJz+rwJ5xGxyFTi
|
||
M4ZDkqOMhEX6yjyJkRMC77Xd4G0Ri9xfFBlU8xm/jsrFLMa8ELhq/w5SJ/vR
|
||
yQIxRWMImZuH1IubXqKuXCAxs3mYralE4llwZq/bDehh/Ad3uqykYJ0RlW3n
|
||
OXcSJ3o3LRthu0G4PnA3rAXuOi5Op8KB2dpQv6yFo0n3iwV3F2IO17fhB243
|
||
XZqCFXen86C7G2nqyc41fEI8snZfmHxBEWZxlmmbcdIIi9tE0dhASiRyk63q
|
||
JkAIamn6sCseVyqefeeJyXItMIKzWU3bpsTa5DaJYteYTPNFIEzCOvN0NqzQ
|
||
gJFqbvt5t9oGRr07MznRIZhf5lTucDumcpJPnK0C0wBo3QwtBTm84hsPFN6g
|
||
Dknsvn7aVj+5x4nf96UPU5bodesq3BXckyCeUMVYjGUR8uNmigcmUxyX0lYk
|
||
BIVZp6IfBbfO0lERs64JY5pqlSbWwrS1bN2Y5mIA0VihYIalLc84zNbioYoG
|
||
5Q1lG9geMaSH1goe7EVu6QS4eFzCiGkttY25phAcmpG1bi0f5Vbh0NZ3WPmI
|
||
HgX+ssxMFqFJHiyHJs3DzTAUsyTwFe6qbE4AnURsKdRJndoSVFqZwnwVBWH9
|
||
Uh2bW3KRdRa9r5oviKDSdNpV4tawaNp4be1nG5EruxOiyqYyLoDp9lj16kyL
|
||
iZhLGJJVIbbxD1RXlmtVewWH1dCObjxHHODePDmZYsxq1qGfk/TCBaPyawIV
|
||
8uqoROmFMgYDid6tcqklJcNqVXDngjq4xMixEbidrEF4XXJPr4SHliK+LaVT
|
||
MfbXBqCcpBMsWnNmoOqr6rSecWI7HES4vMJY1zbC0CXAAT0HWGzaWF6+vSAB
|
||
Ev8F/pvxJKVWgqF4WQN+6goQSGGxqMpNjTE89Hycg/7z+Tg63EiT6jri/PZy
|
||
u4z02y9f+oFZqDUAYu6JlrF0inyGXCPhhOtJWP5SSnuH3W0MbTE+y4xtRxnH
|
||
s6NOnIEMOEpZzDVasqDzBFAyg+UBlLnwIYuMitds6Hh7sUlw6dpFE3R7Q6Us
|
||
QLQT1P8/RtRsRwxt4vkFZrGJBSG63EzBBMzYMXKKeuMmDaZsTjYJQlOoQo3m
|
||
JooIMarrml3cFupm6HMRG++U1/AkE6pehdSVej3x1yw6MOKhnGWNlFI/pJVL
|
||
p+wgElsWxQ6q4ZFuJpCuaRI4pIYL61D7aZJgK1MfD79tMZRQu0sM0qDDWJOy
|
||
Qc3ZbgjvyV5oBL0C20dxryrMBi64yj7wq+5NvuRK85MYSz9QdiLIkDclaZBn
|
||
do9OlduQ03VQkHgTFxOKSzIG7xMKAQTu8ebipMTIPdSSjF7KeM5AkzRDspY6
|
||
DL3WJhd0DumqZYtb4SvvFxjRtkSxphInPIO/3xQRpBsCcnGJp3Itjzg2J/aU
|
||
S2pemtyZ+mUYQoSZ3/TQIk4LNQ66slvcGI6O0S+379VxUVnJqddVJLRUzjZ2
|
||
WsQZnWdp+mE6dN5XC7HNrbsw21BhtjIFzGB9naClZI3EU0jKHEHkNRnkuGdb
|
||
EOyrpalhpwXqQjVrAcm9Kja2ahysmctW1dKTxRta67hAhfgaxW9cS5zjqZ1J
|
||
LoWEc7HR2LC+GUigbECOxb5oyQVDeWVSqUTjciAKQDnhG0jXTAQmvoKOciPg
|
||
Jz6aNJWkthTHIHwoybFNV/rQ1N2H4XtTPK7VNGINoaTHPGAKJccMZsB4Gd3D
|
||
8EQBnjb3jWwXHixFCJHrFRcis41t3Wwc/XRZYUHOEUe9AgoOqT8ge2vUUsO9
|
||
flxbw8o6YahzDOlsooyAuMFUwIBsgRAqMsHqQyoDSl1vmUXTJV6nEwgxX1ax
|
||
cWPBiX3C2AagqgGHHn9KQclCiX8w57QlHBBeRs5ZYDFgoYsIgKOL7b2nWPwT
|
||
CwQ4yP9gWdWwWVY1WFtWtVHi/iXHj0oZVambit5NqbKPZQRM2dSmaChYi700
|
||
ViGZQkjip6vGbHT/7Jh5LIrTmsRnOwMSiNEYW5YiRNUuv61kav0Q7FhbczKm
|
||
JOldzEZaoBzAv5C+wLfLTGgfVXeyfhRTIeBjoghhoo/DfXTQxOOVyawQt7IN
|
||
T+6SJtHnSKcew7ReKXwjOLA9JfyGDXQpqL8AX0Relq0x/ttyMtUEwfvYusmM
|
||
xK2gc1F3Lh6wd5dnPbePPFfJjR/ufBHc0/kiYFJQs0x5KYmEsLLVchE7jZ/Y
|
||
O6xMvR4a7m2CKhsIL8CUkXSKGbS02sBfLWKRM71YDV1mb+vnK7/UCGsx1ShE
|
||
yMTZ0gmEdRELyoDzTighw3o/6vMiNcI03FyCDueEr7pq8abV8YaDgJDN1a4G
|
||
IQo+K/UUg9aV1koIgnZuCglqv1HmvbX2bth3DisJY3/dA9NrQy2fdFLzWlMK
|
||
MpLMsIJ2oxMroXgghQ8SrwEdFi1fj9fWgsBtbLiFDRmcbdXGEGinut1RDzPV
|
||
oBldSJ3JsQFTo8OHKQBXUS4qN6IvOFwMURaOixm7dD4Su8HDnUlD6kxKJtzA
|
||
aXcKDJB6lDqX0HkxrvUuza8DbUrKJixpjt1ojEsWrCcsio+bASXI3tDXeyQB
|
||
3WoflcPMqAUU93ThAnckvey7ahYambrkseqzrYapXE2bUkER33bzpxd8pl3r
|
||
ueo5FREpg8LEt5FJ3ph8Hc93vqzgGVpHe9FKzlJYE5Lv55M8hmCvKSFjyzMy
|
||
lNiXTo53xH/xvZNvXYwhXbE5TFoKrwShuumxUojt1kkYYvtu9kiaFAnIkTzQ
|
||
ymLMky7qUoFr0s5yUELhocIpb2Yen80SXr76Z/ANkPBUpBGTOvEFt5Rk9+z4
|
||
uGfx6sRpok391+qNtddKDl4Lb3cG7dOnqLohdRmM55MF10d3HO+IyVlD6Wrt
|
||
xUmSwOrscTZdovHExVuZG5HOn9Z2tF40fRDO8IFtSi4PingqNL+9tThP1f38
|
||
ua0n/ZdeMFHvAjMc6lCBIm3G0rhqU1yHuNYNHm0m2Bpc4004OBf7XMwxsRlJ
|
||
IwqUxkaNVeB55SbGth+gFzFFsk+JIn7LdRNHTrJAJRU46+206zaJvnuK0rF+
|
||
TMKsOcZvbBsfNE4Ys0tjDvf1lpYUTr9nKiXVfjxyualAvjGiuigMAt1HmCiw
|
||
TfRAJJGwAVv6QHxBUk4Jb/0+dQ1RN53aEow5xY1FcA0uMb0WiYIK34PgxKm4
|
||
5Fd0khGMBsUpn5LUqklYMXkn5hvrrqxGBQLDJUpGhoCKjPYEDFHBtECUrYnj
|
||
YIeTSYvEAmDwGouqMBHFVblUtOv73yW4QKimkIde0LA8aT/P2crqP6KMskXG
|
||
GuIZdIF6U7FiKdWQUjjhTckSJv+iaHLxIhbUSd0eLauAUwN1PF2pywq0Cwm1
|
||
V1EHjIHFvvSLafKda6XvoEIJ5R+tQtuknROodcGBf7Bq0lbLr94xx3Lk9psM
|
||
jOTJhc5qfPglG0JweY3ijuzpC7xKw0/C4/13+20yCeaxx+HlapEgEFIOsOWo
|
||
stSWrLBJ1YXzkBpAbPwqcT5UZZNAo1XsBGVH317VnNG4OGDktApscz8Mhtob
|
||
khdzsRxV7pd+FdogMMXMTLnZEh/D2rJBcLoQFGv78ijjWhK1gF584PkorV46
|
||
Rczi8KcPErolf104DQGkEBHIEl4por4UKaY3TEYXAK7RSlnQkxK/mt2UvT7K
|
||
F+1RyLjoi4T5yJrAZhPSrLVl9ITRsIC4TTxDJMnm6Ayzs6U6QL3KNPiAhzVB
|
||
sG8PUSzqHA+I4QgGVfC95oPWgWoDDEkxSsdOqxmjXEig/FIMNtKyGECmd8hN
|
||
FMZW1JbyOPwCl3IST2EKtuh0y55sOgxfpzNHp3K/OcFZqhyI0TU+Q5iKR2qf
|
||
CVig4xTqOUraJqIuZ+o8ZsJ9vSyIcdbWdHBTYFw+4OK7JMuwzB4gFvqr/lem
|
||
f29gyeljJQRL9D7Rm6cnJ6fv8IawP5cAjEYYfYDXt0+cac1UQXAAfFz4CPE1
|
||
evL46PI10RC3iTq1Q/dICXZTp+8il3Z8+UYK43VMVxrzZoWCM5449XAHgZBc
|
||
j+Tb6+LqerKud+iJlcWtOkErFeInldI0ekfD7aNeIPglzArwIUy/8Fu/y64a
|
||
V6IPmqPbW54LZiJdYet9HXIsaf5DICexwClX6eqQCvwhGUk/IJ7+IQr9Oz/H
|
||
cNQ/Dq2Yjp8xqhwYVIHPzo2M/nvw+zCKoiH91/l1CF8AVZ/Awybz5NhWzfid
|
||
kA3+qRWdwvEwhwa+4d6Cj3xFVRj4mnXkTXqdGNC9LwJhhm+kLV9tyvKBVwEZ
|
||
f1eVGrs1r1ktM/vGu7aq7e/15qQAX6o3+4hBNNvRDnKkn2jb+scMY8yuLYu5
|
||
dL67dyDVs/E5EjpJj30jn+ibpMiaqC1/BFXN4cFTFla/eghcBHxQlvbyess5
|
||
aHz3mFEJvxBIV3PECkNEON2kOy977kiOnuYP47qJ8GaIV+nYmoOcUTSE2xvB
|
||
8E4p0k6X0ci6h/rZw0uhSIMrKgBBYNg/3jx5K+HjP5tPHx6nNV0WyYablPp6
|
||
Fk/d0VqV77bhSFmtDXaunz5iOGQhv5Obiw2np2xe9O513ewHL2I+HaXGyoea
|
||
TreGrlMCndh267fnZ9ZRlEcBC4CrE+ndV0awajABG4MiLZrWD94JDJHngIo2
|
||
ftCFtfc64bTIlwsukGd1AzW0gDrqcT0rhVN5wH85f33wfLD9lBLfODEmJQXd
|
||
+AWFR5nlxNTG9ndeJ4D7H8ZZTC2c31tsmtQiFHXBhwiWCWJrG4ULeD9IPFsq
|
||
muNtuovZY8c6pPqa7h/NYp2LIm5R7zXnb7Hv3IjWQgqa6GcoSCSJDF+Hgmtm
|
||
+L8QB6WKHLygteNsDXFSDKSq46PIqNYt+d0prSNhbaWpe4MI9SjajuoeGqdh
|
||
aforL4jCzR4xhkXFOrq46LgOFwCTAEghlwNBYww/hIIgjMyaWDL5vkNxIYK9
|
||
HJ32QXN0VHhpf/5SowDhdMc3KcYkokG1EfaH38J+qG2kDRcMvjZe0Bh50CFo
|
||
QuSoVTQj6XJBjYXQLmDMTFhSDYPJNP4O9Ji7pAg6mBuQSiQA6b//Jn4JqlKf
|
||
Vl40jGY4fkxW8BjMMEu8SoSdO00Rs+PBBdYhncg6dN0HpugRPAB3cpqIUTeh
|
||
kldzWx4N5J/FbFlGvisqMMkXEnNc1+O9EjGnqIOG2xtbcvuPPo3psrUfKUVT
|
||
Pn/6YgfA7Rb4XzeKPTw0u/NtpwBjintGZ0Z3H7Oue7b/Bn7lcHClEBsalO3m
|
||
T2uaI5brT7Nxpa02UE9yHCZaKIyDgTcp+IrMBSZiAuOkmFjb9onW17IRXDql
|
||
fzhSApfKuzYEmCI+vCBMNYm8FEs2Oi0YY3JjYS6M71ACi6kWx9QxStY8jW4J
|
||
3ogL06lhRuJ5nOYFl2KL6Z4CD7ykvooAzF776XrPwHU7PTt6d3n09ujk6PL8
|
||
F72hKdAtbAjuTCIGn0ALo+lFlDw1p1zbJBktuZAR5ZDkGRptMUKE7bQB++UR
|
||
tiVGsqGZCF2TFbbXvYtX5dDe3EbSVSAGY6CVER3xfZkjL81AAcfhRlx8DR3u
|
||
XK8Y7Ywm0KaU57XPsR+PEFAqzUvaU7sBu14/03ORuQ4jDyT+eZAxHWkShyzN
|
||
VtYwNAkkKX0BkxCN0Ap7WviBwuuaHR9MdzfT/lgt5sSJamecaHEEB3mH8k3Q
|
||
fuhEDGs2eAZLozi43HD0OFjvog8CmqpZfVvCEjiZRoLqiiKZObkerzDsgyvo
|
||
4M7cK8LJXGX7lXiFuXQGICM7Sh3XbTMV3Q53RQk8Y22NfikJJTeVps8QfQnZ
|
||
EElkk1hGlmOFEHWsNHqQ6LHJURuf2bc3Qyn7gbNdCV1vdkHh/dsyhCwHBrbv
|
||
iWxywlU5Gq1rpDzHxcHx5WXYvVhSPN0BzWmadPTZwEjOzvGKSylQTPQaOoaC
|
||
Bw+4TvAox2lVRe63DkOLaxzUlGOqzCoqa9ymMy953QQrp7AhUxJ38RpiCYC8
|
||
4HuAdk2uIEcbCygRbFGV7kXUzSTqrafL799CyUWj4mJht8WcpzyWStoRJ6I0
|
||
GOequBVzzRWkg+MFtKxY86BjWy+X8kyd6BaKWHIB5MAR0xC5N0SATe2l9lef
|
||
Ewqt5ALa2RJL3XIWr61IRfnFnLdJjJB9y6YvOoafKDslIQsrSEzyDCYYIWnK
|
||
533WgwJHBOv1hWhRBi0xoZmNnK01wyZgU596lmw0t6gdXhz91oYOG6zUaSaW
|
||
cb9ar6tJ6sUkFbhxGLpiRQRu6t7FQBrct8+eeibvDikBiNZYIcjDWJvISkPw
|
||
6hURe467jTccS0mCGwxiDhwEkhI/bqiYkesImbs1E20voMKOcYE9Z3BW26QB
|
||
KH5MLK9c4iGXrXALXF4ACCRrduPcSPjD8qkmYddhCx92DiQFla7xQZFMOJxh
|
||
DTtY/7xTBkmsUfEIq6lIh0ETxqGSe19d2OJ+6+l9t+M022fk14FWUOwSyt4Q
|
||
eacOTxmjOHmw+82cnR5laaFmQpi0pKall5vUKISdpI77VLhPX0JCTYcpIlC2
|
||
/QeJOSJ6s7vbb1z1oxRkWqtOUvQUILL/Xvvj+xwxxUYEXB/iZK1TFgYX4KWR
|
||
LlkHnNoA+xRe194s2gnt63NipDSIxgi5fvhQP0Bp/xdoJ0AnLm+D+mkhGXAK
|
||
9Nyfy0y5aZqVTH26MFtZ7x8m3nQpYD40rYyoGPWO7ezuxe7bLAA/HRmkLeyD
|
||
tabddFeYHKWZ4DXqN2MEecOck26kR1jJnmlPpo0zRShGPuDH8PgBQOe6IYmT
|
||
aMWCyGt9BgLNEMBLDWMqNjcCR3ipwhiLoKOVyOKYXnEowg8fhdOHa4iwoKSK
|
||
9RKRFGMOR9KTFENHJPQWh270jEOvNgfqeguyxRA0brMtjJwAheO+WY0KrFf3
|
||
Jq+M1EX8UQW5PqqvE5Z1buk7I4xiWIPmkSGs5bzJiFULS1kDbka29owDqW+3
|
||
JtkjCOvpHgQlD9OGD+R12EQOk+ERhpzj0bV6UDnHi42EXtI4rEZMeXpk4PQI
|
||
3BDpcgSaLOjtFM6v66Z0O2pttyDXOWdW4qmj67i+4b1osDVHuY06PgrAfaOL
|
||
DZrgTbqBUykRALzrFJyGs2BpmViSgfDA6tEh7cdUj1eLqWOFZP1gCnkjg54p
|
||
v8miD7o/nV4cSTQw6R8s9ErwhJc7D3SVc+v9aN60ZQ1wIfJsOltxUdIl4uGk
|
||
JeAdtXB3uRiUKd3AhXiZrAm0DNncf8yEo+wDkmBcOG2wSdNo3bYQN9zJxQKt
|
||
FWtVB6cwoAj383mM8YMllQQxepZX09mth0605RZewSTAoq3JkRHuMXEiqEy1
|
||
e+rwgDOT6vUSEOsmTW45UMoMr1mBgRPHVyMe8yTmZiCmu1VLQyvjlGQj+7kt
|
||
Zo3eOLjDB7pBeiCw9nX+DwyADSG2B+HB63P0zlfhYIBuFbf9kpXA3aYAap7o
|
||
m4rQXe03gD7aA48Cu8wMtS6XAXBUo19d21U+vP4vuOKj9+HJ4TlGLjymxUBX
|
||
WxL0GCQNK4YTRbh/HHGTLKw3pL4fjT0zk+8fY+wD1vbeCAfbBK2H+g/43Qd+
|
||
bxQU9/lVva5468S7MAw3HbLdBcy0KzPHva0J7mlMgFOepK+PDwFyCGrHeqoA
|
||
I2q9XKAYX7JZjHu8sHv9ntLtLQ07dEycFguwO9Btq7TOErGZqIlEZaNGu4tS
|
||
LX6X3PZWvJfmcF9fKRe9huU+MQ+EAxVuwsu7POKkFNPBoV1IlsrIUua1FCnB
|
||
dkjlzGN2tWST0jE6aU3jIWd/Ij+Q6LJ6+XWQT7GUNkkGUp98RT0p/fhQ/uoj
|
||
ly4ngTeKIxA9I2ldqaW2abozbYt9f6X3ZqdPigcx22sv9v64t+r13ptvidyS
|
||
Nwq+bz3dHTQKvsOHz/yC76PBeBuLvkdU9R0LvEej8SSJrrdsyfevLPiufVHd
|
||
gu/XCYinV5iEh7kBuFWv1rtfxV0apdJjVxy9/XXV3E3eDsLuJo4AKYbZ7uhP
|
||
019uTq4/fIjfRn+dfvq5+NPr+PTq8lNZHOwel1s/D8rXo8O7g+mUBzHZPs4g
|
||
bw/irXj7t6tP+dXefOv98zeXr169e/Xu4O2fX32cPoum0S+LJP3xp/ne010H
|
||
BhL+g2cgfWbrwTg4h3iFDQpqPW8pgWPuRV91GPT59d1r5Vj/8UqxUVLr+WI1
|
||
V6nc9vUYXcOyh5G59sJ9eHxv2wLE4qdtWPz0n47F200sNgXSuQz5V7crGPjt
|
||
CqSYudOVz1RYfwyW13Dr+YtHo9YlmcUxUhBZT62Z2MbGRrRFHcWal7bW10se
|
||
3Q67Ncj0eB6Hb2wPWzuCkliqTQb3pRvgWmOLdS+uax1qa9LduWXLg9j2GNDm
|
||
odmk1uhOmxFi/gFypIHXR9P0Zbz/7tQ7CtJtQCk30rZ07Vfose/Vb1Lrexhy
|
||
jp2xvpEn8F263ovip6NnEfb8iOAyXUfOZRp4tykejLbHO4DwiDf4ny37H/lp
|
||
4QnrGtat5wyt/Ucfc1XuuxT0gBfUqFMJ6KPbnY3B/yDGYm4xIum231oVZdC/
|
||
A1F9xHkUjvqvPAo9UZGOiiWWZmzB0O2tFgx9vvVPx9AWel9vk+gT/Edhfa0/
|
||
TaNZ7T8He/FQANTR7fZGDV92QH+0tNBrgfsN+NI4yUehTOOtR2EN2SHa8KVN
|
||
Pnj+9J+OLztNfGm2zPxqjNn2MWZNN+F/CNbU5Ifdve0dD1V26x2JvwFBnEN7
|
||
FGo4zz+AFG2dfluwY2fQgh0vBv907NhtYkd7q9SvxpBaz6uWzs7/EOxo41Ln
|
||
q8Ev16f5h+0/Lw72Tv76/M3HH//27tPO5O2L21fxbvn+t6Nn6b9XW3dn/zH2
|
||
qc5e2G3tJ21Evq/FrvWn/wCarX/xAXx7SE3Za0G0vcE/H9H2mohW67T71Ri2
|
||
62PYmmbdf1dbtUefilcfDdbPLs2vaODdgTd+/XbNyGkHZpt+ke4yJOO1VCXA
|
||
6tJjzByo+Rz6dXewPhdK14K+/mJHoBvNyvuaXtz3dPQNGlWbWtv5tql7j2wg
|
||
bZW+B7pIy4OPaSUtjz62n7Q8/hVNpbGYLToGJIql3lo7LemsKYk/KVami4Lj
|
||
GOYCjNrhm6CMWYqPu9MUpMBRMxRHS22R1YXgdKF7oFN1YGpvk/LMTiHBAozQ
|
||
4GY1pqU5+5N9u3ggAyhGTbUriNHUd4a2yZdNV6OxfsrTtZEQVt8mn2J1l0sV
|
||
qpb2XoLbVM6QKyTXmny12yO41S91wyWECJ2f/0TscD9ooGvoIWXQ5UJe+tPl
|
||
03FcZj38eJbCZQAkWDUm3KxN2MBkrz9tz2GG+C3alxePsy+3tAU1/oZHNxKt
|
||
vfHtfURR4G4zITz/O/uIXg8SuEhjYku7jxapPBh7fI75hDvq9n1qX+3ZnXWi
|
||
l2EmKp9T/9KWrsPfKoNJOo/HkJw+LxKuc5ebvmZeu0qKo3K6MxOOa2i7wWW/
|
||
RKPfznJ9U+sn4f74Y5bfIV5w6MlabzU7ziiSXDqNcs4N0ghcDeVxaQpEWjgJ
|
||
MfEsoBjXvKXrDlIQMQFyC0W3yxQTUSwag2EP5PxspARxIgib/syXZ9Saib8J
|
||
nHSd8IF0nUaNiUBrTKSlpPAE/wd6ibUMIyQBAA==
|
||
|
||
-->
|
||
|
||
</rfc>
|
||
|