Grant Stellmacher
RegistryAEF

Attested Execution Framework

Conformance claim 0001

aef-reference-verifier 0.5.0 against AEF 1200 v0.2, made 15 August 2026 under AEF 1201 C1 through C4. This page renders conformance-claim-0001.json and adds nothing to it.

What this is, and is not

This artifact is a claim its operator makes and a reviewer tests, per AEF 1201 C4: it is not a certification, an accreditation, or an approval, and no body conferred it. A reviewer who runs the named suite version against the named verifier version and gets different results has falsified it by exhibit.

Until a second independent implementation exists, every conformance claim in this ecosystem shares one author with its test suite. The claims are checkable, the coverage is declared, the challenge path is open, and all of it is one party agreeing with itself in public. (AEF 1201 section 9. That sentence is written to be deleted; on the date above it is true.)

The claim

Claim identity
Document claimed against1200/0.2
Subjectaef-reference-verifier 0.5.0 (packages/aef/verify.ts, at the repository state this claim ships in)
ClaimantGrant Stellmacher, operating grantstell.com, the author of the verifier and of its test suite
Date15 August 2026
Suite versionsha-256:18d0d14f4a34e724b1d84b92027cbf0b823cf0a587b31ec3cf49b8f3ec25768c (coverage)
Self-testpassed, subset sha-256:a7385e2738bec6ce70bbf3f46eed2be0a87bdf003715f28ae93e1b8be5d07413
Fixtures43 of 43 agreeing, expected against observed, listed below

What this claim does not demonstrate (15 items)

This claim is partial and says so. It demonstrates the fixture-checkable requirements of AEF 1200 v0.2 that the named suite version covers, as declared entry by entry in the coverage declaration. The requirements below are failed, partially exercised, or unexercisable by this implementation, listed here per C1 rather than beside the claim.

Requirements failed, partial, or unexercisable
RequirementStatusNote
V1partialthe result form's outcome, checks, qualifications, failed check, and self-test members are asserted; the full AEF 1101 section 11 member list is not asserted as a set
V3occurs unassertedthe record identity digest is produced on every run and no test asserts it
V11partialkey binding is exercised for the none mechanism only; x509, certificate-transparency, key-transparency, and pin are declared and unexercised
V13partial, unimplemented branchesone of five mechanisms exercised; the revocation and inclusion-proof branches over supplied material, expressible since AEF 1200 v0.2, are not implemented
V17occurs unassertedarises on every run; no test asserts it
V20occurs unassertedarises on every run; no test asserts it
V23occurs unassertedarises on every run; no test asserts it
V25partialconditional emission pinned in both directions; the reported interval value is not asserted
V28occurs unassertedarises on every run; no test asserts it
V32not implementedre-verification comparison against an earlier result is not implemented; no fixture can arise
V33not implementedas V32
V34not implementedas V32
V50partialthe not-established branch is pinned by class; the established branch's held status is not asserted directly
V22scoped unproducibleORDER-UNCHAINED applies only to record forms that do not require chaining, of which none exist, per resolution-0001
anchor mechanism proofsnot implementedno rfc3161, transparency-log, or blockchain proof verification exists; every anchored result carries ANCHOR-PROOF-UNVERIFIED, which is the check reporting its own reach

Per-fixture results (C3)

Expected against observed for every fixture
FixtureExpectedObservedAgree
run-0001/run-0001-as-publishedPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
run-0001/run-0001-tamperedFAIL @ seal-integrityFAIL @ seal-integrityyes
run-0001/run-0001-no-declarationINCONCLUSIVE @ declaration-bindingINCONCLUSIVE @ declaration-bindingyes
run-0001/run-0001-no-artifactsPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
core-0001/core-well-formedPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
core-0001/core-rtf-flippedFAIL @ seal-integrityFAIL @ seal-integrityyes
core-0001/core-rtf-chain-brokenFAIL @ orderingFAIL @ orderingyes
core-0001/core-rtf-out-of-scopeFAIL @ scope-membershipFAIL @ scope-membershipyes
core-0001/core-rtf-truncatedFAIL @ terminationFAIL @ terminationyes
core-0001/core-rtf-late-captureFAIL @ timeFAIL @ timeyes
core-0001/core-rtf-declaration-mismatchFAIL @ declaration-bindingFAIL @ declaration-bindingyes
core-0001/core-rtf-artifact-mismatchFAIL @ artifact-bindingFAIL @ artifact-bindingyes
core-0001/core-declared-element-absentPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
core-0001/core-roles-emptyPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
core-0001/core-rtf-trust-base-mismatchPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
approval-0001/approval-workedPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
approval-0001/approval-acceptance-withheldPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
approval-0001/approval-rtf-referent-mismatchFAIL @ approval-bindingFAIL @ approval-bindingyes
approval-0001/approval-rtf-relation-mismatchFAIL @ approval-relationFAIL @ approval-relationyes
approval-0001/approval-rtf-authorization-postdatesFAIL @ approval-timingFAIL @ approval-timingyes
approval-0001/approval-rtf-malformedFAIL @ approval-formFAIL @ approval-formyes
approval-0001/approval-rtf-acceptance-in-recordFAIL @ approval-formFAIL @ approval-formyes
approval-0001/approval-rtf-required-absentFAIL @ approval-formFAIL @ approval-formyes
approval-0001/acceptance-rtf-referent-mismatchFAIL @ acceptance-bindingFAIL @ acceptance-bindingyes
approval-0001/acceptance-rtf-relation-mismatchFAIL @ acceptance-bindingFAIL @ acceptance-bindingyes
approval-0001/approval-selfapprovedPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
approval-0001/approval-r24-formPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
anchor-0001/anchor-workedPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
anchor-0001/anchor-rtf-digest-mismatchFAIL @ anchor-formFAIL @ anchor-formyes
anchor-0001/anchor-late-declarationPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
anchor-0001/anchor-latency-exceededPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
anchor-0001/anchor-renewal-heldPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
anchor-0001/anchor-rtf-renewal-mismatchFAIL @ anchor-renewalFAIL @ anchor-renewalyes
anchor-0001/anchor-v35-first-casePASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
anchor-0001/anchor-v35-second-casePASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
anchor-0001/anchor-renewal-extends-chainPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
form-0002/form-v2-workedPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
form-0002/form-supersedesPASS_WITH_QUALIFICATIONSPASS_WITH_QUALIFICATIONSyes
form-0002/form-rtf-sealedat-tamperedFAIL @ seal-integrityFAIL @ seal-integrityyes
form-0002/form-rtf-anchor-strippedFAIL @ seal-integrityFAIL @ seal-integrityyes
form-0002/form-rtf-approval-unknown-memberFAIL @ approval-formFAIL @ approval-formyes
form-0002/form-rtf-unknown-versionINCONCLUSIVE @ record-formINCONCLUSIVE @ record-formyes
form-0002/form-rtf-missing-supersedesFAIL @ record-formFAIL @ record-formyes

The expected and observed columns compress each side to its outcome and first failing check; the JSON carries the full comparison, including exact fatal and non-fatal failure sets and complete qualification class sets, for every row.