Grant Stellmacher
RegistryAEF

Attested Execution Framework

AEF

A framework for evidence of work executed by AI agents: what record a run must leave, what makes that record verifiable by someone who trusts neither the operator nor the system that produced it, and what a human sign-off actually attests to.

v0.2Early draft. Current release 11 August 2026. Expected to change in ways that break earlier assumptions.

The series

Documents are numbered in blocks: 1000s foundational, 1100s threat and adversary, 1200s verifier and conformance, 1300s the record itself, 1400s custody and time. Planned documents are listed with their numbers before they are written, because a numbered document is a commitment and an unnumbered one is an intention.

AEF documents, with number, title, status, version, and date
No.TitleStatusVersionDate
1000Charterpublishedv0.211 August 2026
1001Terminologyplanned
1100Threat modelplanned
1101The trust baseplanned
1200Verifier requirementsplanned
1201Conformance and self-testplanned
1300Record structure and scope declarationplanned
1301Approval and signature semanticsplanned
1400Sealing, time, and re-verificationplanned

Reading and disagreeing

The charter states the problem, the scope, the adversary the record is designed against, the principles every later document must trace to, and the conditions under which the framework would be wrong or unnecessary. Start there.

Disagreement is the point. Every substantive objection gets one of three outcomes, in writing and attributed: adopted with the document revised, rejected with the reason stated, or recorded as unresolved and published inside the document itself. The mechanism is in AEF 1000, section 10, and governance, including the fork right and the dormancy clause, is in section 11.

Changelog. Machine-readable series index at /aef/index.json. The charter source is served as Markdown at /aef/1000.md. Licensed under CC BY 4.0.