AER-1 corpus vectors / Workflow merkle seq output v1

xversion-receipt-id-v0-evaluated-as-seq-output-v1

Family: Workflow merkle seq output v1. Source: workflow-merkle-seq-output-v1.json in the AER-1 corpus published at zambo.dev/aer1/corpus.json (kit 1.5.7, draft-zambo-aer1-26), file SHA-256 30b63977d7ccc4177e2c2524520dcbbb0a352c572561aa3d3c4fe4d60cf55f40. Vector file schema: zambo-workflow-merkle-vectors/1.

What this vector covers

Cross-version must-fail: the legacy-receipt-id-v0-mixed-version close, evaluated under the seq-output-v1 leaf rule (SHA-256 over seq, colon, output_hash), MUST be rejected. Its steps carry no output_hash member, so the seq-output-v1 leaf cannot be formed and evaluation fails closed; no root computed under seq-output-v1 can confirm this close. The close itself remains valid under its declared merkle_version; the cross_version_evaluation block carries the must-fail expectation, in the must_not_equal style of merkle-vectors.json.

Input

The vector input, exactly as published in the corpus:

{
  "source_vector": "legacy-receipt-id-v0-mixed-version",
  "merkle_version": "receipt-id-v0",
  "steps": [
    {
      "seq": 1,
      "receipt_id": "receipt-legacy-a"
    },
    {
      "seq": 2,
      "receipt_id": "receipt-legacy-b"
    },
    {
      "seq": 3,
      "receipt_id": "receipt-legacy-c"
    }
  ],
  "merkle_root": "c1732e0beae6e9ff192bd2f670adab138505bef44e2984161a0d41a2dca4ebbd",
  "cross_version_evaluation": {
    "merkle_version": "seq-output-v1",
    "computed_root": null,
    "must_not_equal": "c1732e0beae6e9ff192bd2f670adab138505bef44e2984161a0d41a2dca4ebbd",
    "expected_verdict": "invalid",
    "rejected_by": "missing output_hash: seq-output-v1 leaf cannot be formed (fail closed)"
  }
}

Expected result

expected_verdict: valid
merkle_root: c1732e0beae6e9ff192bd2f670adab138505bef44e2984161a0d41a2dca4ebbd
cross_version_evaluation.merkle_version: seq-output-v1
cross_version_evaluation.must_not_equal: c1732e0beae6e9ff192bd2f670adab138505bef44e2984161a0d41a2dca4ebbd
cross_version_evaluation.expected_verdict: invalid
cross_version_evaluation.rejected_by: missing output_hash: seq-output-v1 leaf cannot be formed (fail closed)

Checks it exercises

Check	Requirement	Why
verdict	must-pass	Cross-version must-fail: the legacy-receipt-id-v0-mixed-version close, evaluated under the seq-output-v1 leaf rule (SHA-256 over seq, colon, output_hash), MUST be rejected. Its steps carry no output_hash member, so the seq-output-v1 leaf cannot be formed and evaluation fails closed; no root computed under seq-output-v1 can confirm this close. The close itself remains valid under its declared merkle_version; the cross_version_evaluation block carries the must-fail expectation, in the must_not_equal style of merkle-vectors.json.
merkle root	must-pass	The corpus records merkle_root as c1732e0beae6e9ff192bd2f670adab138505bef44e2984161a0d41a2dca4ebbd for this vector. A correct run must produce this root value.
cross-version verdict	must-fail	Evaluated under seq-output-v1, the corpus records expected_verdict: invalid. The block records rejected_by: missing output_hash: seq-output-v1 leaf cannot be formed (fail closed).
cross-version root must not equal	must-fail	The cross-version block records must_not_equal as c1732e0beae6e9ff192bd2f670adab138505bef44e2984161a0d41a2dca4ebbd.

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.

See the full set in the AER-1 corpus vectors index and the AER-1 corpus checks index, or read the standard itself: draft-zambo-aer1-26.