{
 "v": 1,
 "kind": "aere-conformance-vector",
 "id": "audit-consistency/four-to-six.consistency-end",
 "artifact": "audit-consistency",
 "title": "the proof ends at another root than the new head",
 "source": "derived from audit-consistency/four-to-six.valid",
 "requires": [],
 "exercises": [
  "audittree.consistency",
  "audittree.consistency-end",
  "audittree.consistency-start",
  "audittree.head-form",
  "audittree.head-hash",
  "audittree.proof-form"
 ],
 "base": "audit-consistency/four-to-six.valid",
 "mutation": {
  "op": "set",
  "path": [
   "proof",
   "secondRoot"
  ],
  "value": "0x5cdd233d08ed23a9c7d89b54cfa1a126e706e086c3915d309be32ccbef2019a0"
 },
 "input": {
  "proof": {
   "v": 1,
   "kind": "aere-audit-consistency-proof",
   "firstSize": 4,
   "secondSize": 6,
   "firstRoot": "0x5d1827afc2aed8acadb9cff9fdbe650add676982a9359c6bd0f47a916b4efdf2",
   "secondRoot": "0x5cdd233d08ed23a9c7d89b54cfa1a126e706e086c3915d309be32ccbef2019a0",
   "path": [
    "0xcad95aa6e05f32ddc81346332708fa309c18ff2a4338ab8baeab1dfd4fa09166"
   ]
  },
  "older": {
   "v": 1,
   "kind": "aere-audit-tree-head-attestation",
   "statement": {
    "v": 1,
    "kind": "aere-audit-tree-head",
    "host": "conformance",
    "treeSize": 4,
    "rootHash": "0x5d1827afc2aed8acadb9cff9fdbe650add676982a9359c6bd0f47a916b4efdf2",
    "createdAt": "2026-10-03T00:00:00Z"
   },
   "statementHash": "0x4c09d101028abca3cef4e23035126322528aa42f1bff217d69c47569e209cb8c"
  },
  "newer": {
   "v": 1,
   "kind": "aere-audit-tree-head-attestation",
   "statement": {
    "v": 1,
    "kind": "aere-audit-tree-head",
    "host": "conformance",
    "treeSize": 6,
    "rootHash": "0x5cdd233d08ed23a9c7d89b54cfa1a126e706e086c3915d309be32ccbef2019ab",
    "createdAt": "2026-10-03T00:00:00Z"
   },
   "statementHash": "0x88786be2e0d61dc753a9653fbbd424c83a31a44cdb72097bfc7a3e0c1c0b4598"
  }
 },
 "expected": {
  "verdict": "INVALID",
  "failed": [
   "audittree.consistency-end"
  ],
  "levels": {
   "integrity": "FAILED",
   "authenticity": "NOT_MEASURED",
   "anchoring": "NOT_MEASURED",
   "finality": "NOT_MEASURED"
  }
 }
}