AER-1 corpus checks
Every check in the published AER-1 corpus, grouped by type. The corpus index at zambo.dev/aer1/corpus.json records 129 checks across 126 vectors, kit 1.5.7, draft-zambo-aer1-26. Each entry below deep-links to the anchored check row on its vector page, where the input, the expected result, and the reason for the requirement are shown in full.
How the count works, from the corpus index itself: each file in the index records one check per vector, except base/merkle-vectors.json, which records 12 checks for its 9 vectors. The three extra checks are the Merkle vectors that carry both an expected root and an expected workflow verdict; both are listed below, under Merkle root and under Workflow verdict.
The full corpus organized by vector is in the AER-1 corpus vectors index.
Chain verdict (35)
- v07-valid-5: verdict (must-pass)
- v07-valid-single: verdict (must-pass)
- v07-truncation-limit-prefix: verdict (must-pass)
- v07-relabel-provenance: verdict (must-fail)
- v07-relabel-tool-id: verdict (must-fail)
- v07-close-middle: verdict (must-fail)
- v07-close-wrong-type: verdict (must-fail)
- v07-delete-identical-pair: verdict (must-fail)
- v07-insert-duplicate: verdict (must-fail)
- v07-splice-cross-job: verdict (must-fail)
- v07-bad-genesis: verdict (must-fail)
- v07-seq-gap: verdict (must-fail)
- v07-mixed-job-id: verdict (must-fail)
- v07-bad-base64: verdict (must-fail)
- v07-v06-chain-rejected: verdict (must-fail)
- v07-seq-float-valid: verdict (must-pass)
- v07-seq-bool-invalid: verdict (must-fail)
- v07-seq-fraction-invalid: verdict (must-fail)
- v07-seq-negative-invalid: verdict (must-fail)
- v07-seq-string-invalid: verdict (must-fail)
- v07-seq-null-invalid: verdict (must-fail)
- v07-seq-missing-invalid: verdict (must-fail)
- x-genesis-single: verdict (must-fail)
- x-encoding-reference: verdict (must-pass)
- x-encoding-draft-literal: verdict (must-fail)
- ax-genesis-single: verdict (must-fail)
- ax-esc-hex-upper: verdict (must-fail)
- ax-esc-long-escape: verdict (must-fail)
- chain-valid-3: verdict (must-pass)
- chain-single-entry-valid: verdict (must-pass)
- chain-tampered-middle: verdict (must-fail)
- chain-truncated-no-close: verdict (must-fail)
- chain-reordered: verdict (must-fail)
- chain-bad-genesis: verdict (must-fail)
- chain-close-wrong-type: verdict (must-fail)
Commitment verdict (8)
- commit-valid-1: verdict (must-pass)
- commit-digest-mismatch: verdict (must-fail)
- commit-count-mismatch: verdict (must-fail)
- commit-job-mismatch: verdict (must-fail)
- commit-malformed-missing: verdict (must-fail)
- commit-malformed-types: verdict (must-fail)
- commit-not-an-object: verdict (must-fail)
- x-entry-count-float: verdict (must-fail)
ID binding verdict (6)
- id-alone-unverified: verdict (must-pass)
- id-expected-match: verdict (must-pass)
- id-expected-mismatch: verdict (must-fail)
- id-resolution-agreement: verdict (must-pass)
- id-resolution-disagreement: verdict (must-fail)
- id-absent: verdict (must-fail)
Anchor outcome (9)
- anchor-resolves: anchor outcome (must-pass)
- anchor-unresolvable: anchor outcome (must-fail)
- anchor-not-checked: anchor outcome (expected: not checked)
- anchor-verification-failed: anchor outcome (must-fail)
- anchor-absent: anchor outcome (expected: absent)
- anchor-other-profile: anchor outcome (expected: absent)
- anchored-bad-leaf-hash: anchor outcome (must-fail)
- anchored-unresolvable-anchor: anchor outcome (must-fail)
- anchored-valid: anchor outcome (must-pass)
Anchor verification: must-fail (3)
- anchored-bad-id-version: anchor verification (must-fail)
- anchored-bad-timestamp: anchor verification (must-fail)
- anchored-missing-proof: anchor verification (must-fail)
Merkle root (9)
- canonical-5-step: root (must-pass)
- legacy-construction-rejected: root (must-pass)
- odd-duplication-3: root (must-pass)
- ordering-matters: root (must-pass)
- single-leaf: root (must-pass)
- empty: root (must-pass)
- worked-example-byte-exact: root (must-pass)
- duplicate-receipt-id-collision: root (must-pass)
- one-step-single-receipt: root (must-pass)
Workflow verdict (3)
- canonical-5-step: workflow verdict (must-pass)
- duplicate-receipt-id-collision: workflow verdict (must-fail)
- one-step-single-receipt: workflow verdict (must-pass)
Workflow Merkle root (5)
- legacy-receipt-id-v0-mixed-version: merkle root (must-pass)
- seq-output-v1-single-step: merkle root (must-pass)
- seq-output-v1-multi-step: merkle root (must-pass)
- seq-output-v1-odd-level-duplicates-last: merkle root (must-pass)
- seq-output-v1-multi-step-odd-levels: merkle root (must-pass)
Cross-version evaluation (2)
- xversion-seq-output-v1-evaluated-as-receipt-id-v0: cross-version verdict (must-fail)
- xversion-receipt-id-v0-evaluated-as-seq-output-v1: cross-version verdict (must-fail)
Digest agreement (3)
- unicode-nfc-form: digest agreement (must-pass)
- unicode-nfd-form: digest agreement (must-pass)
- unicode-nfd-against-nfc-commitment: digest agreement (must-fail)
Receipt verification: must-pass (13)
- bound-04: receipt verification (must-pass)
- feb29-leap: receipt verification (must-pass)
- fraction-one-digit: receipt verification (must-pass)
- input-hash-multikey-20: receipt verification (must-pass)
- legacy-02: receipt verification (must-pass)
- legacy-03: receipt verification (must-pass)
- legacy-real-2: receipt verification (must-pass)
- optional-members-18: receipt verification (must-pass)
- real-04: receipt verification (must-pass)
- real-1-bare: receipt verification (must-pass)
- receipt-01: receipt verification (must-pass)
- receipt-02: receipt verification (must-pass)
- receipt-03-live: receipt verification (must-pass)
Receipt verification: must-fail (32)
- ax-base64-unpadded: receipt verification (must-fail)
- ax-feb29-1900: receipt verification (must-fail)
- ax-feb29-non-leap: receipt verification (must-fail)
- ax-tool-empty-scope: receipt verification (must-fail)
- bad-created-at: receipt verification (must-fail)
- bad-id: receipt verification (must-fail)
- bad-offset-range: receipt verification (must-fail)
- bad-provenance: receipt verification (must-fail)
- bad-verification-status: receipt verification (must-fail)
- base64-pad-bit: receipt verification (must-fail)
- base64-unpadded: receipt verification (must-fail)
- bytes-not-base64: receipt verification (must-fail)
- duplicate-member-name: receipt verification (must-fail)
- feb29-1900: receipt verification (must-fail)
- feb29-non-leap: receipt verification (must-fail)
- hash-bad-format: receipt verification (must-fail)
- hash-mismatch: receipt verification (must-fail)
- id-trailing-newline: receipt verification (must-fail)
- impossible-date: receipt verification (must-fail)
- input-hash-key-order-20: receipt verification (must-fail)
- input-hash-mismatch: receipt verification (must-fail)
- leap-second-created-at: receipt verification (must-fail)
- missing-output-hash: receipt verification (must-fail)
- nil-uuid: receipt verification (must-fail)
- non-utf8-bytes: receipt verification (must-fail)
- provenance-control-char: receipt verification (must-fail)
- provenance-trailing-newline: receipt verification (must-fail)
- tampered-provenance: receipt verification (must-fail)
- tool-empty-name: receipt verification (must-fail)
- tool-not-object: receipt verification (must-fail)
- uppercase-id: receipt verification (must-fail)
- version-downgrade: receipt verification (must-fail)
Profile verification: must-fail (1)
- missing-inputs: profile verification (must-fail)
Try Zambo free: add Zambo to your AI to run this kind of check on your own agent work, with 20 free calls per day and a Day Pass at $0.99 for 24h when you need more. Every call returns a verifiable receipt, and a receipt proves the saved result was not changed.