{ "aefVersion": "1201/0.1", "title": "Coverage declaration for the AEF reference verifier's fixture suite", "generatedAt": "2026-08-15", "subject": { "verifier": { "id": "aef-reference-verifier", "version": "0.5.0" }, "claimedDocument": "1200/0.2", "suiteSource": [ { "path": "packages/aef/test-suite-pins.ts", "digest": { "alg": "sha-256", "value": "acd1a0fc3ae17e191152cba2077f0a1feef9aaf8623923061b78afd852d6d5cb" } }, { "path": "packages/aef/test.ts", "digest": { "alg": "sha-256", "value": "728c1769a3c95bb6973bcae8e629deb470903cbf378140dcd2b6a2b99c6e2ad6" } } ], "additionalDocuments": [ "1300/0.2", "1300/0.1", "1201/0.1", "1301/0.1", "1400/0.1" ], "previousSuiteVersion": { "alg": "sha-256", "value": "f851528b8d6e7e3acbaf8a711b9e20450ae38c0534136bd4f786265797ac07b9" } }, "note": "The suite's sixth version, and the first in which every fixture is a pinned pair as AEF 1201 C5 defines one: inputs comprise the record, the declaration, any supplied acceptance, renewals, or deprecations, the trust base statement, and the options, with the verification time pinned and artifact roots pointing at snapshots rather than the live repository. The hand-written tests in packages/aef/test.ts remain as a generated layer, labeled below, exercising the same behaviors with regenerated inputs; per C5's own text they discharge no C-requirement and are retained for redundancy. The suite version under C10 is the sha-256 digest of this file as served, which this file cannot contain.", "selfTest": { "subset": "packages/aef/self-test-data.json", "subsetDigest": { "alg": "sha-256", "value": "a7385e2738bec6ce70bbf3f46eed2be0a87bdf003715f28ae93e1b8be5d07413" }, "note": "One required-to-fail fixture per fatal-capable check, per C19. The deployed verifier runs the subset before its first result in each configuration, refuses on mismatch per C20, and records the digest and outcome on every result per C21. A pass means the verifier agrees with its own pinned history in that configuration, and nothing more." }, "pinnedInputs": { "standards/aef/examples/run-0001/expectations.json": "sha-256:6bee27504369be097b4b0cf0ae37f77cc73bf59142f005334004da0f869dd858", "standards/aef/examples/run-0001/aer.json": "sha-256:c9789e93ee7289eb7597d19b0c4a5e7dcabf4837bf8de2fa89701ad1a9279baa", "standards/aef/examples/run-0001/declaration.json": "sha-256:6935e7bfa5ed96e6ee4d6fac90cfc3d83b19d36f507034ec9ec4054b855532cd", "standards/aef/examples/run-0001/options.json": "sha-256:47dcf7fd212d693c20f315b9a6ac55e3c409464da9a713bf9212bf6e6d206437", "standards/aef/examples/run-0001/aer.tampered.json": "sha-256:e040e002d0d783ee0242022fad5a1fa604afbaf36d6795fd1090ef89e6928437", "standards/aef/examples/run-0001/options.noartifacts.json": "sha-256:40fa27e77520b73d1e5168cbef870fd073c2ef2871031699060392546394932e", "standards/aef/examples/core-0001/expectations.json": "sha-256:766d3b961038f8bc52a81559fcbd8e9d1305b02516bc36d7e3dcb804c6efa359", "standards/aef/examples/core-0001/aer.json": "sha-256:09fca77287d3f2179dbc38abc61c902e1042a0f758ce9918c952977964db0aa8", "standards/aef/examples/core-0001/declaration.json": "sha-256:c805c38f3ff5031a76c9af7f35e69b311fefd003a0343b97f2c3d542853f26ae", "standards/aef/examples/core-0001/options.json": "sha-256:40fa27e77520b73d1e5168cbef870fd073c2ef2871031699060392546394932e", "standards/aef/examples/core-0001/aer.rtf-flipped.json": "sha-256:c8e5608c431c89685ee26e1be20a82725a658444d56c8be6f15d7ca669d31ef1", "standards/aef/examples/core-0001/aer.rtf-chain-broken.json": "sha-256:7e719dd51e869d3d6bf1149ff5b45cd2ef3afc810db0cb97b2dd19b269530f2a", "standards/aef/examples/core-0001/aer.rtf-out-of-scope.json": "sha-256:bfe16b8fa3a97e252a66615e4dd105f47e06c683b2e501c001e440485b7d0788", "standards/aef/examples/core-0001/aer.rtf-truncated.json": "sha-256:6b013c68878c0ab68c60515ce108a63e577132cbed3dc7cbf9c97b01c3b9c4db", "standards/aef/examples/core-0001/aer.rtf-late-capture.json": "sha-256:dbaf3b03d1aaff7dec1a5da71204489fab10c795d8ffc7b0d10fd6fc4be43568", "standards/aef/examples/core-0001/declaration.rtf-mismatch.json": "sha-256:c6249b21ddda39f66c02f0d62383b2f72d8b021d6ada7752c135991309082cef", "standards/aef/examples/core-0001/aer.rtf-artifact-mismatch.json": "sha-256:f1fa3f808e3554bb06e483f5b7cf31a1ae96ae46fb39eae880c6528138de4293", "standards/aef/examples/core-0001/options.artifacts.json": "sha-256:398c7d3a312083977ad57cb0c50211d61cfcdadab52c5a561f654abe3f9633bb", "standards/aef/examples/core-0001/aer.declared-element-absent.json": "sha-256:27900bae8b008ca6d1561d5d1116d24d6e495a0cbebc39cd37276d154711e22b", "standards/aef/examples/core-0001/aer.roles-empty.json": "sha-256:3354a78cd0e14eef39fca9946dc42875be651211f5b6ef5ee5709b2418fcc522", "standards/aef/examples/core-0001/aer.rtf-trust-base-mismatch.json": "sha-256:654ff120e17c911d456455c431c02506399eef602c82341bcd7307f6b2745230", "standards/aef/examples/approval-0001/expectations.json": "sha-256:3c2d2e8cd914c3aded9cdc7e7571697437a8d8897d69b56543bf7d94ed439528", "standards/aef/examples/approval-0001/aer.json": "sha-256:b83f1abc7013df989c1ca8c06ee875e936eb3e4cc32065f177d972c9e9634219", "standards/aef/examples/approval-0001/declaration.json": "sha-256:ed564686727e657f0672a96c6a61bd0fa0191829b6b262c4e7e8285942dca847", "standards/aef/examples/approval-0001/acceptance.json": "sha-256:efb5b73a7f0cec9cb3bee15272c26cbe1da00801ed1366688d9db20d88fd2124", "standards/aef/examples/approval-0001/options.json": "sha-256:73bb32575d09eb6bbe2fe8774574c65a68ad4b73dbb4628d8258a4707d184b55", "standards/aef/examples/approval-0001/aer.rtf-referent-mismatch.json": "sha-256:d88dbfe560973bd1693b5da247d29230a33ae2ba587505c02b7e55999a307031", "standards/aef/examples/approval-0001/aer.rtf-relation-mismatch.json": "sha-256:33a32c8329dd988980a7596fda1cbce7d3f0a998ad4c499fb6535b0c006cf877", "standards/aef/examples/approval-0001/aer.rtf-authorization-postdates.json": "sha-256:9f5a76797c9fc8a938a0d0d9d0e0f1ab5ac4ecdd09611683d8b91fb797bfe26d", "standards/aef/examples/approval-0001/aer.rtf-malformed-approval.json": "sha-256:1ed06503193a821f381cda92575ed904b5a7ce6dcbc71471b8ba655edcefd7dc", "standards/aef/examples/approval-0001/aer.rtf-acceptance-in-record.json": "sha-256:162814770eb8f1fa15e2e7a76964c6acbfca3390d011530191d960560ac6f709", "standards/aef/examples/approval-0001/aer.rtf-approval-required-absent.json": "sha-256:177670666f928f13a9f34354d2c343f9ae47da41fc2a7485313d0da72fc9dca0", "standards/aef/examples/approval-0001/acceptance.rtf-referent-mismatch.json": "sha-256:f7323ddcd960082c570617c1e182bc7e8ff50a009f7ee28cbee4dbd5516e6a24", "standards/aef/examples/approval-0001/acceptance.rtf-relation-mismatch.json": "sha-256:1b496abc73ebd772c01b47743f398085b682532e0dd8f2c5645d1cbf774e4fbe", "standards/aef/examples/approval-0001/aer.selfapproved.json": "sha-256:c8b54728dd8312cd43c0018bb468909dd30fd35259f5b56613bd6b5e72d18690", "standards/aef/examples/approval-0001/declaration.selfapproved.json": "sha-256:321fbb60a61ea27a30a2a5e57f2076acd454211f7eb047481209178991f6161f", "standards/aef/examples/approval-0001/aer.r24-form-approval.json": "sha-256:529108420caf326c456d0ce974be347a164e56d449d28ccd6336fecfbf9eb32e", "standards/aef/examples/anchor-0001/expectations.json": "sha-256:b893b374b7630db5e3b4c1e35de5c869c0815ecc6707a724a2aa6fb335b2b004", "standards/aef/examples/anchor-0001/aer.json": "sha-256:02ee8be121b66dbe26eeaac913302c54df6fd82c5e4c89ae54dccc86823fdf3c", "standards/aef/examples/anchor-0001/declaration.json": "sha-256:4d836759a1189042071883cec3aa0c3b67b7493e2ba2dbe093eeb96aad73f1ef", "standards/aef/examples/anchor-0001/options.json": "sha-256:73bb32575d09eb6bbe2fe8774574c65a68ad4b73dbb4628d8258a4707d184b55", "standards/aef/examples/anchor-0001/aer.rtf-anchor-digest-mismatch.json": "sha-256:6ff99d46f243dde2ed96f0a9728d9726b27c7164d2845ef9b215309cd3f78e82", "standards/aef/examples/anchor-0001/aer.late-decl-anchor.json": "sha-256:96666c1cc48a13a73a24574581b5bcbe4068aa996d0ee1b79897258e9bc8d857", "standards/aef/examples/anchor-0001/declaration.late-anchor.json": "sha-256:3fda7035c3eb5c2c192b18a13aa2346d1d286de7c84190ae0c927edddbb805bc", "standards/aef/examples/anchor-0001/aer.latency-exceeded.json": "sha-256:ba1f35f535976d6c7b710b610c79a94a7fc986442bcdfe963b1dea1872152703", "standards/aef/examples/anchor-0001/declaration.tight-latency.json": "sha-256:e9496b3a7513ff3fac62be3550c72c0dc27fb579c6449c4addd03fd4fd8bff39", "standards/aef/examples/anchor-0001/renewal.json": "sha-256:d435924b47c61cf1567ea83175d5b77dd7be25ff4a87109ce0aa35f35949417e", "standards/aef/examples/anchor-0001/renewal.rtf-mismatch.json": "sha-256:3befd095cd00cf03ebbd47a85cbe5d4a13bd17900a955611f5b1e76f40bd7053", "standards/aef/examples/anchor-0001/deprecations.json": "sha-256:ecf373fc179c297d17b88cfea91cb7c1aa34413b5478e5f030b86fb4efea368d", "standards/aef/examples/form-0002/expectations.json": "sha-256:86f498fd5a3b0dab4621f7e490ca8bf50977ce318643bb5d719c07b8f39e16b1", "standards/aef/examples/form-0002/aer.json": "sha-256:7cc750fda791fc6ebd066256d6c92820230e2c50cdc9513b6523ee4408956340", "standards/aef/examples/form-0002/declaration.json": "sha-256:334fb6759d68f45c64378715281f14eca7b7edc0c111bbb65389e7d5c413f568", "standards/aef/examples/form-0002/options.json": "sha-256:73bb32575d09eb6bbe2fe8774574c65a68ad4b73dbb4628d8258a4707d184b55", "standards/aef/examples/form-0002/aer.supersedes-run-0001.json": "sha-256:662a18cd9c8df75c128bff2d957cee57a61b6fdcb50611e1176e948c4b1d5107", "standards/aef/examples/form-0002/aer.rtf-sealedat-tampered.json": "sha-256:86f4d447c1febda4597ef87f0d9b30732d8270f42b733444d0a5470639bae8f3", "standards/aef/examples/form-0002/aer.rtf-anchor-stripped.json": "sha-256:ba67059727fa36727f0e86a3bb7d3476c32f5590bfda5819c8fbe94f40c500a2", "standards/aef/examples/form-0002/aer.rtf-approval-unknown-member.json": "sha-256:8b6935338789e8cd894ea511df3dc6fef4ee890d77038207b54d152d258b3bd6", "standards/aef/examples/form-0002/aer.rtf-unknown-version.json": "sha-256:ba4c6730e904d246a0afe0747c9f4b01a676bf2d1861248060fb98150312e20e", "standards/aef/examples/form-0002/aer.rtf-missing-supersedes.json": "sha-256:63f103d3b523599ef7a91f1d4eda828b5f55c8372d25994f48d2c9fc203c4a19", "standards/aef/examples/run-0001/artifacts/standards/aef/charter-v0.1.md": "sha-256:dae430af6a7c58b2a214bceb8ceec1918f815688918b2ca70a3c58f5f72a89d2", "standards/aef/examples/run-0001/artifacts/standards/aef/charter-v0.2.md": "sha-256:324158f318bacf92f95450b6166ba1b6973851f24a52526510871064f1b98b77", "standards/aef/examples/run-0001/artifacts/standards/aef/charter-v0.3.md": "sha-256:67e417c8c7864b11aa46dbf21f1309611ec0b990d263fe69dabf490db986cf5c", "standards/aef/examples/run-0001/artifacts/standards/aef/manifest.json": "sha-256:d0ded9cf38bb7a49700f341af631aa6cb8b0b1b0cde8ffccb9fade8f2551a578", "standards/aef/examples/run-0001/artifacts/standards/aef/terminology-v0.1.md": "sha-256:712af8a64ead93d063338409d68f7745cbc43bb75a1d115b98756437c4e8debf", "standards/aef/examples/run-0001/artifacts/standards/aef/threat-model-v0.1.md": "sha-256:29b94786ce9470a2072feb64377096e4e941bbb5dbaac0ee2d3f803f52b796fd", "standards/aef/examples/run-0001/artifacts/standards/aef/threat-model-v0.2.md": "sha-256:5ec8a9469cebc4812f4a02380312c4748f7b206a98030642bfe7e7ea956a207c", "standards/aef/examples/run-0001/artifacts/standards/aef/trust-base-v0.1.md": "sha-256:14937d873a0591688dda6d0396fcb11cda4dcb1435f7a24abda26535b3d6a343", "standards/aef/examples/run-0001/artifacts/standards/aef/verifier-requirements-v0.1.md": "sha-256:f4b4803f71a02063e960fe5acb256dacbc9ed86db13e79a66385efd81ded580e", "standards/aef/examples/core-0001/artifacts/core-input.txt": "sha-256:ba4647a0b8252f93b918e48687c973d19e09e182a8ab18810c1f49e4d3c6b33d", "standards/aef/examples/run-0001/trust-base.json": "sha-256:d31ab7e1ea6066f709053b7cc2eb88e52fe4e876c501d9ba37bf4339f0ed00a7", "packages/aef/self-test-data.json": "sha-256:69a042372b5e3f7137901165da98a3c8993ea91e2d4104c2278a9b8e517c566a", "packages/aef/test.ts": "sha-256:728c1769a3c95bb6973bcae8e629deb470903cbf378140dcd2b6a2b99c6e2ad6", "packages/aef/test-suite-pins.ts": "sha-256:acd1a0fc3ae17e191152cba2077f0a1feef9aaf8623923061b78afd852d6d5cb", "packages/aef/suite-harness.ts": "sha-256:e63ff2cc58c3d2c7bac4541631e8ad770f6140acbbf704b58f2549d22d878637" }, "entries": [ { "id": "run-0001/run-0001-as-published", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/run-0001/aer.json", "standards/aef/examples/run-0001/declaration.json", "standards/aef/examples/run-0001/options.json" ], "exercises": [ "1200/V1", "1200/V2", "1200/V5", "1200/V6", "1200/V7", "1200/V17", "1200/V18", "1200/V54" ] }, { "id": "run-0001/run-0001-tampered", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/run-0001/aer.tampered.json", "standards/aef/examples/run-0001/declaration.json", "standards/aef/examples/run-0001/options.json" ], "exercises": [ "1200/V8", "1200/V9" ], "isolates": "seal-integrity" }, { "id": "run-0001/run-0001-no-declaration", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/run-0001/aer.json", "standards/aef/examples/run-0001/options.json" ], "exercises": [ "1200/V4", "1200/V36", "1200/V43" ] }, { "id": "run-0001/run-0001-no-artifacts", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/run-0001/aer.json", "standards/aef/examples/run-0001/declaration.json", "standards/aef/examples/run-0001/options.noartifacts.json" ], "exercises": [ "1200/V41" ] }, { "id": "core-0001/core-well-formed", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/core-0001/aer.json", "standards/aef/examples/core-0001/declaration.json", "standards/aef/examples/core-0001/options.json" ], "exercises": [ "1200/V2", "1200/V6", "1200/V7", "1300/R4", "1300/R6" ] }, { "id": "core-0001/core-rtf-flipped", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/core-0001/aer.rtf-flipped.json", "standards/aef/examples/core-0001/declaration.json", "standards/aef/examples/core-0001/options.json" ], "exercises": [ "1200/V8", "1200/V9" ], "isolates": "seal-integrity" }, { "id": "core-0001/core-rtf-chain-broken", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/core-0001/aer.rtf-chain-broken.json", "standards/aef/examples/core-0001/declaration.json", "standards/aef/examples/core-0001/options.json" ], "exercises": [ "1200/V21", "1200/V22" ], "isolates": "ordering" }, { "id": "core-0001/core-rtf-out-of-scope", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/core-0001/aer.rtf-out-of-scope.json", "standards/aef/examples/core-0001/declaration.json", "standards/aef/examples/core-0001/options.json" ], "exercises": [ "1200/V15" ], "isolates": "scope-membership" }, { "id": "core-0001/core-rtf-truncated", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/core-0001/aer.rtf-truncated.json", "standards/aef/examples/core-0001/declaration.json", "standards/aef/examples/core-0001/options.json" ], "exercises": [ "1200/V44", "1300/R12", "1300/R13" ], "isolates": "termination" }, { "id": "core-0001/core-rtf-late-capture", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/core-0001/aer.rtf-late-capture.json", "standards/aef/examples/core-0001/declaration.json", "standards/aef/examples/core-0001/options.json" ], "exercises": [ "1200/V26" ], "isolates": "time" }, { "id": "core-0001/core-rtf-declaration-mismatch", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/core-0001/aer.json", "standards/aef/examples/core-0001/declaration.rtf-mismatch.json", "standards/aef/examples/core-0001/options.json" ], "exercises": [ "1200/V43", "1300/R14" ], "isolates": "declaration-binding" }, { "id": "core-0001/core-rtf-artifact-mismatch", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/core-0001/aer.rtf-artifact-mismatch.json", "standards/aef/examples/core-0001/declaration.json", "standards/aef/examples/core-0001/options.artifacts.json" ], "exercises": [ "1200/V18", "1200/V19" ], "isolates": "artifact-binding" }, { "id": "core-0001/core-declared-element-absent", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/core-0001/aer.declared-element-absent.json", "standards/aef/examples/core-0001/declaration.json", "standards/aef/examples/core-0001/options.json" ], "exercises": [ "1200/V16" ], "isolates": "declared-elements" }, { "id": "core-0001/core-roles-empty", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/core-0001/aer.roles-empty.json", "standards/aef/examples/core-0001/declaration.json", "standards/aef/examples/core-0001/options.json" ], "exercises": [ "1200/V30", "1200/V31" ], "isolates": "role-disclosure" }, { "id": "core-0001/core-rtf-trust-base-mismatch", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/core-0001/aer.rtf-trust-base-mismatch.json", "standards/aef/examples/core-0001/declaration.json", "standards/aef/examples/core-0001/options.json" ], "exercises": [ "1200/V37" ], "isolates": "trust-base-reference" }, { "id": "approval-0001/approval-worked", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/approval-0001/aer.json", "standards/aef/examples/approval-0001/declaration.json", "standards/aef/examples/approval-0001/acceptance.json", "standards/aef/examples/approval-0001/options.json" ], "exercises": [ "1200/V27", "1200/V45", "1200/V46", "1200/V47", "1200/V48", "1301/A3", "1301/A7" ] }, { "id": "approval-0001/approval-acceptance-withheld", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/approval-0001/aer.json", "standards/aef/examples/approval-0001/declaration.json", "standards/aef/examples/approval-0001/options.json" ], "exercises": [ "1200/V48", "1301/A2" ] }, { "id": "approval-0001/approval-rtf-referent-mismatch", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/approval-0001/aer.rtf-referent-mismatch.json", "standards/aef/examples/approval-0001/declaration.json", "standards/aef/examples/approval-0001/options.json" ], "exercises": [ "1200/V45" ], "isolates": "approval-binding" }, { "id": "approval-0001/approval-rtf-relation-mismatch", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/approval-0001/aer.rtf-relation-mismatch.json", "standards/aef/examples/approval-0001/declaration.json", "standards/aef/examples/approval-0001/options.json" ], "exercises": [ "1200/V46" ], "isolates": "approval-relation" }, { "id": "approval-0001/approval-rtf-authorization-postdates", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/approval-0001/aer.rtf-authorization-postdates.json", "standards/aef/examples/approval-0001/declaration.json", "standards/aef/examples/approval-0001/options.json" ], "exercises": [ "1200/V47" ], "isolates": "approval-timing" }, { "id": "approval-0001/approval-rtf-malformed", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/approval-0001/aer.rtf-malformed-approval.json", "standards/aef/examples/approval-0001/declaration.json", "standards/aef/examples/approval-0001/options.json" ], "exercises": [ "1200/V27" ], "isolates": "approval-form" }, { "id": "approval-0001/approval-rtf-acceptance-in-record", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/approval-0001/aer.rtf-acceptance-in-record.json", "standards/aef/examples/approval-0001/declaration.json", "standards/aef/examples/approval-0001/options.json" ], "exercises": [ "1200/V27", "1301/A2" ] }, { "id": "approval-0001/approval-rtf-required-absent", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/approval-0001/aer.rtf-approval-required-absent.json", "standards/aef/examples/approval-0001/declaration.json", "standards/aef/examples/approval-0001/options.json" ], "exercises": [ "1200/V29" ] }, { "id": "approval-0001/acceptance-rtf-referent-mismatch", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/approval-0001/aer.json", "standards/aef/examples/approval-0001/declaration.json", "standards/aef/examples/approval-0001/acceptance.rtf-referent-mismatch.json", "standards/aef/examples/approval-0001/options.json" ], "exercises": [ "1200/V48" ], "isolates": "acceptance-binding" }, { "id": "approval-0001/acceptance-rtf-relation-mismatch", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/approval-0001/aer.json", "standards/aef/examples/approval-0001/declaration.json", "standards/aef/examples/approval-0001/acceptance.rtf-relation-mismatch.json", "standards/aef/examples/approval-0001/options.json" ], "exercises": [ "1200/V48", "1301/A10" ] }, { "id": "approval-0001/approval-selfapproved", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/approval-0001/aer.selfapproved.json", "standards/aef/examples/approval-0001/declaration.selfapproved.json", "standards/aef/examples/approval-0001/options.json" ], "exercises": [ "1200/V30", "1301/A9" ] }, { "id": "approval-0001/approval-r24-form", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/approval-0001/aer.r24-form-approval.json", "standards/aef/examples/approval-0001/declaration.json", "standards/aef/examples/approval-0001/options.json" ], "exercises": [ "1200/V27" ] }, { "id": "anchor-0001/anchor-worked", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/anchor-0001/aer.json", "standards/aef/examples/anchor-0001/declaration.json", "standards/aef/examples/anchor-0001/options.json" ], "exercises": [ "1200/V49", "1200/V50", "1200/V51", "1400/T1", "1400/T2", "1400/T6" ] }, { "id": "anchor-0001/anchor-rtf-digest-mismatch", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/anchor-0001/aer.rtf-anchor-digest-mismatch.json", "standards/aef/examples/anchor-0001/declaration.json", "standards/aef/examples/anchor-0001/options.json" ], "exercises": [ "1200/V49" ], "isolates": "anchor-form" }, { "id": "anchor-0001/anchor-late-declaration", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/anchor-0001/aer.late-decl-anchor.json", "standards/aef/examples/anchor-0001/declaration.late-anchor.json", "standards/aef/examples/anchor-0001/options.json" ], "exercises": [ "1200/V50", "1400/T6" ] }, { "id": "anchor-0001/anchor-latency-exceeded", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/anchor-0001/aer.latency-exceeded.json", "standards/aef/examples/anchor-0001/declaration.tight-latency.json", "standards/aef/examples/anchor-0001/options.json" ], "exercises": [ "1200/V25", "1200/V51", "1400/T8" ], "isolates": "seal-latency" }, { "id": "anchor-0001/anchor-renewal-held", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/anchor-0001/aer.json", "standards/aef/examples/anchor-0001/declaration.json", "standards/aef/examples/anchor-0001/renewal.json", "standards/aef/examples/anchor-0001/options.json" ], "exercises": [ "1200/V52", "1400/T10" ] }, { "id": "anchor-0001/anchor-rtf-renewal-mismatch", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/anchor-0001/aer.json", "standards/aef/examples/anchor-0001/declaration.json", "standards/aef/examples/anchor-0001/renewal.rtf-mismatch.json", "standards/aef/examples/anchor-0001/options.json" ], "exercises": [ "1200/V52", "1400/T10" ], "isolates": "anchor-renewal" }, { "id": "anchor-0001/anchor-v35-first-case", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/anchor-0001/aer.json", "standards/aef/examples/anchor-0001/declaration.json", "standards/aef/examples/anchor-0001/deprecations.json", "standards/aef/examples/anchor-0001/options.json" ], "exercises": [ "1200/V35", "1400/T11" ] }, { "id": "anchor-0001/anchor-v35-second-case", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/anchor-0001/aer.latency-exceeded.json", "standards/aef/examples/anchor-0001/declaration.tight-latency.json", "standards/aef/examples/anchor-0001/deprecations.json", "standards/aef/examples/anchor-0001/options.json" ], "exercises": [ "1200/V35", "1400/T11" ] }, { "id": "anchor-0001/anchor-renewal-extends-chain", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/anchor-0001/aer.json", "standards/aef/examples/anchor-0001/declaration.json", "standards/aef/examples/anchor-0001/renewal.json", "standards/aef/examples/anchor-0001/deprecations.json", "standards/aef/examples/anchor-0001/options.json" ], "exercises": [ "1200/V35", "1400/T11" ] }, { "id": "form-0002/form-v2-worked", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/form-0002/aer.json", "standards/aef/examples/form-0002/declaration.json", "standards/aef/examples/form-0002/options.json" ], "exercises": [ "1200/V53", "1300/R2", "1300/R6" ] }, { "id": "form-0002/form-supersedes", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/form-0002/aer.supersedes-run-0001.json", "standards/aef/examples/form-0002/declaration.json", "standards/aef/examples/form-0002/options.json" ], "exercises": [ "1200/V53", "1300/R27" ] }, { "id": "form-0002/form-rtf-sealedat-tampered", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/form-0002/aer.rtf-sealedat-tampered.json", "standards/aef/examples/form-0002/declaration.json", "standards/aef/examples/form-0002/options.json" ], "exercises": [ "1200/V8", "1300/R6" ] }, { "id": "form-0002/form-rtf-anchor-stripped", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/form-0002/aer.rtf-anchor-stripped.json", "standards/aef/examples/form-0002/declaration.json", "standards/aef/examples/form-0002/options.json" ], "exercises": [ "1200/V8", "1300/R6" ] }, { "id": "form-0002/form-rtf-approval-unknown-member", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/form-0002/aer.rtf-approval-unknown-member.json", "standards/aef/examples/form-0002/declaration.json", "standards/aef/examples/form-0002/options.json" ], "exercises": [ "1200/V27", "1300/R24" ] }, { "id": "form-0002/form-rtf-unknown-version", "kind": "pinned", "requiredToFail": false, "inputs": [ "standards/aef/examples/form-0002/aer.rtf-unknown-version.json", "standards/aef/examples/form-0002/declaration.json", "standards/aef/examples/form-0002/options.json" ], "exercises": [ "1200/V36", "1200/V53" ] }, { "id": "form-0002/form-rtf-missing-supersedes", "kind": "pinned", "requiredToFail": true, "inputs": [ "standards/aef/examples/form-0002/aer.rtf-missing-supersedes.json", "standards/aef/examples/form-0002/declaration.json", "standards/aef/examples/form-0002/options.json" ], "exercises": [ "1200/V53", "1300/R1", "1300/R27" ], "isolates": "record-form" }, { "id": "canonical form sorts object keys", "kind": "generated", "requiredToFail": false }, { "id": "canonical form is stable across key insertion order", "kind": "generated", "requiredToFail": false }, { "id": "REQUIRED TO FAIL: non-integer numbers are rejected", "kind": "generated", "requiredToFail": true }, { "id": "REQUIRED TO FAIL: undefined is rejected rather than dropped", "kind": "generated", "requiredToFail": true }, { "id": "a well-formed record passes with qualifications", "kind": "generated", "requiredToFail": false }, { "id": "REQUIRED TO FAIL: one flipped byte anywhere in the record", "kind": "generated", "requiredToFail": true }, { "id": "REQUIRED TO FAIL: a broken act log chain", "kind": "generated", "requiredToFail": true }, { "id": "REQUIRED TO FAIL: an act outside the declared boundary", "kind": "generated", "requiredToFail": true }, { "id": "REQUIRED TO FAIL: truncation, with no closing entry", "kind": "generated", "requiredToFail": true }, { "id": "REQUIRED TO FAIL: a capture time after the seal time", "kind": "generated", "requiredToFail": true }, { "id": "REQUIRED TO FAIL: a declaration that does not match the record", "kind": "generated", "requiredToFail": true }, { "id": "REQUIRED TO FAIL: an output artifact that does not match its digest", "kind": "generated", "requiredToFail": true }, { "id": "a fatal check that cannot run yields INCONCLUSIVE, not FAIL and not PASS", "kind": "generated", "requiredToFail": false }, { "id": "V6: PASS is never emitted alongside a qualification", "kind": "generated", "requiredToFail": false }, { "id": "V7: every emitted qualification carries a registry class", "kind": "generated", "requiredToFail": false }, { "id": "V5: the negative claims block is present and non-empty", "kind": "generated", "requiredToFail": false }, { "id": "V42: no conclusion-bearing field describes a result as certified, guaranteed, proven, or assured", "kind": "generated", "requiredToFail": false }, { "id": "V10: the key binding reports which of identity or continuity was achieved", "kind": "generated", "requiredToFail": false }, { "id": "the published example record verifies as shipped", "kind": "generated", "requiredToFail": false }, { "id": "REQUIRED TO FAIL: the published tampered copy", "kind": "generated", "requiredToFail": true }, { "id": "the published verification result matches what the verifier produces now", "kind": "generated", "requiredToFail": false }, { "id": "a reviewer holding only the record, with no artifacts, still gets a usable outcome", "kind": "generated", "requiredToFail": false }, { "id": "approval-0001: authorization plus acceptance verifies, full set re-pinned under AEF 1300 v0.2's margin qualification", "kind": "generated", "requiredToFail": false }, { "id": "approval-0001: with the acceptance withheld, ACCEPTANCE-ABSENT is qualified, never fatal", "kind": "generated", "requiredToFail": false }, { "id": "REQUIRED TO FAIL: an authorization whose referent is not this record's declaration", "kind": "generated", "requiredToFail": true }, { "id": "REQUIRED TO FAIL: a relation declared distinct under the operator's own key", "kind": "generated", "requiredToFail": true }, { "id": "REQUIRED TO FAIL: an authorization that postdates the first captured act", "kind": "generated", "requiredToFail": true }, { "id": "REQUIRED TO FAIL: an approval record with no type member", "kind": "generated", "requiredToFail": true }, { "id": "REQUIRED TO FAIL: an acceptance placed inside the record it would accept", "kind": "generated", "requiredToFail": true }, { "id": "REQUIRED TO FAIL: approval required by the declaration and absent from the record", "kind": "generated", "requiredToFail": true }, { "id": "REQUIRED TO FAIL: an acceptance over some other record's digest", "kind": "generated", "requiredToFail": true }, { "id": "REQUIRED TO FAIL: an acceptance declared distinct under the operator's own key", "kind": "generated", "requiredToFail": true }, { "id": "approval-0001: the self-approved record emits APPROVAL-IS-SELF-ASSERTION exactly once, full set re-pinned under AEF 1300 v0.2", "kind": "generated", "requiredToFail": false }, { "id": "approval-0001: an R24-form approval verifies in the 1300/0.1 record that carries it, challenge-0003 resolved", "kind": "generated", "requiredToFail": false }, { "id": "run-0001: the published record's full qualification set, re-pinned under AEF 1300 v0.2's margin qualification", "kind": "generated", "requiredToFail": false }, { "id": "anchor-0001: an anchored declaration and record verify, full set re-pinned under AEF 1300 v0.2", "kind": "generated", "requiredToFail": false }, { "id": "REQUIRED TO FAIL: anchor evidence binding a different digest than the sealed bytes", "kind": "generated", "requiredToFail": true }, { "id": "anchor-0001: a late declaration anchor leaves the before-relation not established, reported and not fatal", "kind": "generated", "requiredToFail": false }, { "id": "anchor-0001: a latency exceedance is a finding inside a declared boundary, not a failure of the record", "kind": "generated", "requiredToFail": false }, { "id": "anchor-0001: a renewal binding this record's digest is held, with its proof honestly unverified", "kind": "generated", "requiredToFail": false }, { "id": "REQUIRED TO FAIL: a renewal over some other record's digest", "kind": "generated", "requiredToFail": true }, { "id": "anchor-0001: V35 first case, an anchor predating the deprecation bounds the exposure", "kind": "generated", "requiredToFail": false }, { "id": "anchor-0001: V35 second case, an unanchored seal cannot be placed before the break", "kind": "generated", "requiredToFail": false }, { "id": "anchor-0001: a renewal predating the deprecation, under undeprecated algorithms, extends the chain", "kind": "generated", "requiredToFail": false }, { "id": "form-0002: a v0.2 record verifies with no unauthenticated-margin qualification, full set pinned", "kind": "generated", "requiredToFail": false }, { "id": "form-0002: the supersession member is reported, by canonical identity digest", "kind": "generated", "requiredToFail": false }, { "id": "REQUIRED TO FAIL: a v0.2 seal time rewritten after sealing", "kind": "generated", "requiredToFail": true }, { "id": "REQUIRED TO FAIL: a v0.2 anchor stripped after sealing", "kind": "generated", "requiredToFail": true }, { "id": "REQUIRED TO FAIL: an unknown member inside a v0.2 approval record", "kind": "generated", "requiredToFail": true }, { "id": "form-0002: an unknown record form is reported, not guessed at, and nothing else is checked", "kind": "generated", "requiredToFail": false }, { "id": "REQUIRED TO FAIL: a v0.2 record without the supersedes member its form fixes", "kind": "generated", "requiredToFail": true } ], "coverage": { "claimedDocumentRequirementCount": 54, "asserted": [ "V2", "V4", "V5", "V6", "V7", "V8", "V9", "V10", "V14", "V15", "V16", "V18", "V19", "V21", "V24", "V26", "V27", "V29", "V30", "V31", "V35", "V36", "V37", "V41", "V42", "V43", "V44", "V45", "V46", "V47", "V48", "V49", "V51", "V52", "V53", "V54" ], "assertedPartially": { "V1": "the 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", "V11": "asserted for the none mechanism only; x509, certificate-transparency, key-transparency, and pin remain unexercised", "V13": "one of five mechanisms exercised; the revocation and inclusion-proof branches are expressible under v0.2's restatement and remain unimplemented", "V25": "the qualification's conditional emission is pinned in both directions; the reported interval value is not asserted", "V50": "the not-established branch is pinned by class; the established branch is exercised by the anchor-worked fixture without asserting the check's held status directly" }, "occursUnasserted": { "note": "The condition arises on every suite run and no test asserts it. A verifier that silently stopped satisfying any of these would still pass the suite.", "requirements": [ "V3", "V17", "V20", "V23", "V28" ] }, "neverArises": { "note": "V32, V33, and V34 await re-verification comparison against an earlier result, which the verifier does not implement; no fixture can produce the condition.", "requirements": [ "V32", "V33", "V34" ] }, "notFixtureCheckable": { "note": "Per AEF 1200 section 14: V12, V38, and V39 are checked by inspecting the verifier, and V40 is the document's one requirement on judgment.", "requirements": [ "V12", "V38", "V39", "V40" ] }, "scopedUnproducible": { "requirements": [ "V22" ], "note": "V22 v0.2 scopes ORDER-UNCHAINED to record forms that do not require chaining, of which none exist, per resolution-0001; the condition is unproducible by any conformant input until such a form does." }, "movedByTheUnblockSession": { "note": "V4's INCONCLUSIVE branch, V16, V18's provenance half, V30, V31, V37, V41's remaining branches, and V54 moved to asserted by the pinned fixtures and exact-set assertions this version adds." } }, "requiredToFail": { "verifierChecks": [ "record-form", "seal-integrity", "key-binding", "declaration-binding", "scope-membership", "declared-elements", "termination", "artifact-binding", "ordering", "time", "seal-latency", "anchor-form", "anchor-ordering", "anchor-renewal", "algorithm-standing", "approval-form", "approval-binding", "approval-relation", "approval-timing", "acceptance-binding", "role-disclosure", "trust-base-reference" ], "checksWithAFailingFixture": [ "acceptance-binding", "anchor-form", "anchor-renewal", "approval-binding", "approval-form", "approval-relation", "approval-timing", "artifact-binding", "declaration-binding", "declared-elements", "ordering", "record-form", "role-disclosure", "scope-membership", "seal-integrity", "seal-latency", "termination", "time", "trust-base-reference" ], "checksWithNoFailingFixture": [], "cannotFailByConstruction": { "requirements": [ "key-binding", "anchor-ordering", "algorithm-standing" ], "note": "These checks report and decide nothing: their status vocabulary contains no failed state, so C7's obligation, which binds every check that can fail, does not arise for them." }, "note": "Counting pinned fixtures only, per C5." }, "isolation": { "fatalChecks": [ "record-form", "seal-integrity", "declaration-binding", "scope-membership", "termination", "artifact-binding", "ordering", "time", "approval-form", "approval-binding", "approval-relation", "approval-timing", "acceptance-binding", "anchor-form", "anchor-renewal" ], "withIsolatingFixture": [ "acceptance-binding", "anchor-form", "anchor-renewal", "approval-binding", "approval-form", "approval-relation", "approval-timing", "artifact-binding", "declaration-binding", "ordering", "record-form", "scope-membership", "seal-integrity", "termination", "time" ], "withoutIsolatingFixture": [], "note": "An isolating fixture fails exactly its check and no other fatal check, asserted by exact fatal-failure-set comparison." }, "qualificationPinning": { "entriesPinningACompleteExpectedSet": 43, "entriesPinningFragments": 0, "note": "Every pinned fixture pins its complete expected qualification set by registry class, its exact fatal and non-fatal failure sets, its outcome, and its first failing check (C6)." }, "failuresAgainstAef1201": [], "failuresNote": "The list is empty for the first time, and emptiness means exactly this: no requirement of AEF 1201 that binds this suite, this coverage declaration, or this verifier's self-test is known to be unmet. It is not a statement of suite adequacy, which AEF 1201 section 4 states cannot be established, and the reference-implementation gaps against AEF 1200 itself are listed inside the conformance claim, where C1 puts them.", "conformanceClaim": "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.", "retired": [ { "id": "approval-0001: authorization plus acceptance verifies, with its full qualification set pinned by class", "date": "2026-08-14", "retiredExpectation": "PASS_WITH_QUALIFICATIONS with the twelve-class set that predates UNAUTHENTICATED-SEAL-MARGIN", "reason": "expectation superseded, not wrong: AEF 1300 v0.2's margin qualification joins every v0.1-form result; re-pinned under the same inputs with the thirteen-class set" }, { "id": "approval-0001: the self-approved record emits APPROVAL-IS-SELF-ASSERTION exactly once, with its full qualification set pinned by class", "date": "2026-08-14", "retiredExpectation": "PASS_WITH_QUALIFICATIONS with the twelve-class set that predates UNAUTHENTICATED-SEAL-MARGIN", "reason": "expectation superseded, not wrong: the margin qualification joins every v0.1-form result; re-pinned with the thirteen-class set" }, { "id": "anchor-0001: an anchored declaration and record verify, with the full qualification set pinned by class", "date": "2026-08-14", "retiredExpectation": "PASS_WITH_QUALIFICATIONS with the twelve-class set that predates UNAUTHENTICATED-SEAL-MARGIN", "reason": "expectation superseded, not wrong: the margin qualification joins every v0.1-form result; re-pinned with the thirteen-class set" }, { "id": "run-0001: the published record's full qualification set, pinned by class", "date": "2026-08-14", "retiredExpectation": "PASS_WITH_QUALIFICATIONS with the eleven-class set that predates UNAUTHENTICATED-SEAL-MARGIN", "reason": "expectation superseded, not wrong: the margin qualification joins every v0.1-form result; re-pinned with the twelve-class set" }, { "id": "REQUIRED TO FAIL: an approval record with no type member (as a missing-discriminator failure of the A3 form)", "date": "2026-08-14", "retiredExpectation": "FAIL at approval-form because the type member is required of every approval", "reason": "expectation ruled wrong by resolution-0003: a bare R24-form approval is form-conformant in a 1300/0.1 record; the fixture that carried A3 members with the type stripped keeps its FAIL under the any-distinguishing-member rule, and the bare three-member input is re-pinned as passing with APPROVAL-SEMANTICS-UNEVALUATED" } ], "suiteVersionAlgorithm": "sha-256", "inexpressible": { "checks": [], "note": "Emptied by AEF 1200 v0.2: V13's revocation and inclusion-proof branches are restated over supplied, stapled material, so they are expressible; they remain unimplemented, which the conformance claim lists." }, "challengeRecord": { "ref": "challenge-record.json", "note": "Published beside the suite and outside this declaration, per AEF 1201 C15. Eight entries: four challenges and four resolutions. The unblock session's generator asserted every prior expectation before re-pinning and surfaced no divergence, so no new entry was filed." }, "unimplementedAnchorBehavior": { "note": "The reference verifier checks anchor evidence as supplied material and implements no mechanism proof verification for rfc3161, transparency-log, or blockchain anchors; ANCHOR-PROOF-UNVERIFIED says so on every anchored result, and the conformance claim carries the gap." } }