@techreport{morrow-sogomonian-exec-outcome-attest-00,
    number =    {draft-morrow-sogomonian-exec-outcome-attest-00},
    type =      {Internet-Draft},
    institution =   {Internet Engineering Task Force},
    publisher = {Internet Engineering Task Force},
    note =      {Work in Progress},
    url =       {https://datatracker.ietf.org/doc/draft-morrow-sogomonian-exec-outcome-attest/00/},
    author =    {Morrow and Aram Sogomonian},
    title =     {{Execution Outcome Attestation for AI Agents and Automated Systems}},
    pagetotal = 8,
    year =      2026,
    month =     apr,
    day =       4,
    abstract =  {Current attestation frameworks establish that a system or agent is trustworthy at a point in time. They do not address whether that system actually performed a claimed action or whether the outcome of that action can be independently verified. This document defines execution outcome verification as a first-class concept, separate from identity attestation and communication transport. It introduces the execution receipt as a minimal composable primitive, provides a formal abstract model, and maps the model to concrete realizations including SCITT transparency logs, tightly-coupled direct verification, append-only local logs, and TEE-internal receipts.},
}
