AER-1 corpus vectors / Chain vectors v07

v07-seq-float-valid

Family: Chain vectors v07. Source: base/chain-vectors-v07.json in the AER-1 corpus published at zambo.dev/aer1/corpus.json (kit 1.5.7, draft-zambo-aer1-26), file SHA-256 d72b815585afdb075311da892f54041c9ffd5e7d875afbf32bd8165c3ca9ea94.

What this vector covers

seq as integer-valued floats (1.0, 2.0) is accepted; 1 and 1.0 are equivalent

Rule it exercises

draft-zambo-aer1-07 Section 7: entry digest = SHA-256 over the UTF-8 bytes of the canonical JSON object {prev_digest, seq, job_id, close, id, tool, provenance_class, output_hash} (keys sorted by Unicode code point, no whitespace), where output_hash = lowercase hex SHA-256 of the base64-decoded canonical_bytes. Entry 0: prev_digest is 64 zeros and seq is 1. seq contiguous from 1. One job_id per chain. close is boolean, true only on the last entry. Honest limit: truncation of either end with re-linking is not detectable by chain mechanics alone; it needs an anchored endpoint.

Input

The vector input, exactly as published in the corpus:

{
  "timeline": [
    {
      "id": "r-seq-0",
      "seq": 1.0,
      "job_id": "job-seq",
      "tool": "price_lookup",
      "provenance_class": "LOGGED BY AGENT",
      "canonical_bytes": "eyJqb2IiOiAiam9iLXNlcSIsICJlbnRyeSI6IDB9",
      "prev_digest": "0000000000000000000000000000000000000000000000000000000000000000"
    },
    {
      "id": "r-seq-1",
      "seq": 2.0,
      "job_id": "job-seq",
      "tool": "price_lookup",
      "provenance_class": "LOGGED BY AGENT",
      "canonical_bytes": "eyJqb2IiOiAiam9iLXNlcSIsICJlbnRyeSI6IDF9",
      "prev_digest": "5694646c0adbf0d9c13c2f2f713d8b6fe20e4f2f069050c93d31d08919832422",
      "close": true
    }
  ]
}

Expected result

Checks it exercises

CheckRequirementWhy
verdictmust-passseq as integer-valued floats (1.0, 2.0) is accepted; 1 and 1.0 are equivalent

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.