@techreport{lee-orprg-permit-receipts-00,
    number =    {draft-lee-orprg-permit-receipts-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-lee-orprg-permit-receipts/00/},
    author =    {Yong Bok Lee},
    title =     {{Permit Receipts for Permit-Before-Commit Authorization of AI-Agent and Workload External Effects}},
    pagetotal = 16,
    year =      2026,
    month =     jun,
    day =       4,
    abstract =  {This document defines requirements and an abstract data model for PermitReceipts used in permit-before-commit authorization of AI-agent and workload external effects. A verifier evaluates a canonicalized effect request, action digest, policy epoch, validity interval, scope, issuer evidence, revocation status, and anti-replay state before a protected effect is committed at an effect boundary. The document specifies verifier behavior, failure semantics, conformance expectations, and candidate interoperability registries for discussion. It is intended to enable IETF discussion about the appropriate home, scope, and wire-profile split for this work.},
}