Attested Execution Framework
Where the series stands
Every number on this page is derived at build time from the repository's artifacts: the coverage declaration, the challenge record, the threat model source, and the version registry. Nothing here is hand-edited. Where this page and an artifact disagree, the artifact is authoritative and this page is a build defect.
Documents
10 published documents. Superseded versions stay live at permanent paths for citation.
| No. | Title | Version | Date | Superseded |
|---|---|---|---|---|
| 1000 | Charter | v0.3 | 11 August 2026 | 2 kept |
| 1001 | Terminology | v0.1 | 11 August 2026 | – |
| 1100 | Threat model | v0.2 | 11 August 2026 | 1 kept |
| 1101 | The trust base | v0.2 | 14 August 2026 | 1 kept |
| 1200 | Verifier requirements | v0.2 | 14 August 2026 | 1 kept |
| 1201 | Conformance and self-test | v0.1 | 14 August 2026 | – |
| 1300 | Record structure and scope declaration | v0.2 | 14 August 2026 | 1 kept |
| 1301 | Approval and signature semantics | v0.1 | 14 August 2026 | – |
| 1400 | Sealing, time, and re-verification | v0.1 | 14 August 2026 | – |
| 1900 | Provenance findings | v0.1 | 14 August 2026 | – |
Verifier and suite
The reference verifier is aef-reference-verifier 0.5.0, written against 1200/0.2 with 1300/0.2, 1300/0.1, 1201/0.1, 1301/0.1, 1400/0.1 also applied. The suite version under AEF 1201 C10 is the digest of the coverage declaration as served:
sha-256:18d0d14f4a34e724b1d84b92027cbf0b823cf0a587b31ec3cf49b8f3ec25768c
| Entries | 94 | 43 pinned fixtures, 51 generated tests; under C5 only the pinned entries are fixtures |
|---|---|---|
| Required to fail | 46 | entries whose expected outcome is a failure |
| Checks | 22 | 19 have a failing fixture counting all entries |
| Fatal-capable | 15 | 15 have an isolating entry |
| Retired | 5 | expectations superseded by later rulings, each retired with its reason under C12 |
Coverage of AEF 1200 v0.2's 54 requirements, entry by entry, is in the browsable coverage declaration.
Threat dispositions
AEF 1100 v0.2 enumerates 23 threats. The dispositions below are parsed from the document's own text, concessions first, because the concessions are the content:
| Conceded | 11 | no defense exists or is claimed |
|---|---|---|
| Conditional | 9 | defended only if a named mechanism exists |
| Out of scope | 2 | delegated to parties better placed |
| In scope | 1 | defended by the record as specified |
AEF 1400 section 16 records 5 disposition changes as candidates for AEF 1100 v0.3. They are recorded, not applied, and this page reports them the same way:
| Threat | Now | Candidate |
|---|---|---|
| 10.3 operator clock | CONDITIONAL, unrealizable | CONDITIONAL, realizable in part |
| 10.4 seal-time delay | CONCEDED | CONDITIONAL |
| 7.3 scope amendment | CONDITIONAL, unrealizable | CONDITIONAL, realizable |
| 10.1 backward reach | CONDITIONAL, half-unrealizable | CONDITIONAL, realizable |
| R14 ordering (1300 §12) | No observer | Candidate observer |
Open failures against AEF 1201
The list is empty, and emptiness means exactly this: no requirement of AEF 1201 that binds the suite, the coverage declaration, or the verifier's self-test is known to be unmet. It is not a statement of suite adequacy, which AEF 1201 section 4 says cannot be established. The reference implementation's remaining gaps against AEF 1200 itself are listed inside conformance claim 0001, where C1 puts them.
Challenge record
4 challenges filed, 4 resolved, none unresolved. Rulings: challenge-0001 adopted in part; challenge-0002 adopted; challenge-0003 adopted; challenge-0004 adopted. The full record, with each challenge's claim, observation, and ruling, is browsable here and served raw at challenge-record.json.
The conformance claim
The coverage declaration states the claim's standing:
Conformance claim 0001 is published at /aef/conformance-claim-0001.json, per C1 through C4: partial, with the requirements still failed or unexercised listed inside it.
The blocking list this section used to carry is empty: what remained was implementation, and the implementation caught up. The claim is at /aef/conformance, partial and saying so, with per-fixture results and the shared-authorship sentence AEF 1201 section 9 requires until a second independent implementation exists.