{
 "cases": [
  {
   "expect": true,
   "id": "inclusion_positive",
   "index": 3,
   "kind": "inclusion",
   "leaf": "6361696e2d6c6561662d33",
   "proof": [
    "132891ee2ecedfad63e3b94b601949662a7e9e5b404793d8bb05e8ebf5051d1c",
    "4f7a609d6a700ba4975da5ff64f020f17294a14ebd95ddc045e96580e9eab2f4",
    "de670f1decdb4d2654074904848c51da3f68bd8a2039280a03e5f7c1f61fe65f"
   ],
   "root": "baa23e07d0e7f688c169d742290e651d007bd25bacc65d310971620be8316c32",
   "tree_size": 7
  },
  {
   "expect": false,
   "id": "inclusion_altered_leaf",
   "index": 3,
   "kind": "inclusion",
   "leaf": "6361696e2d6c6561662d3378",
   "proof": [
    "132891ee2ecedfad63e3b94b601949662a7e9e5b404793d8bb05e8ebf5051d1c",
    "4f7a609d6a700ba4975da5ff64f020f17294a14ebd95ddc045e96580e9eab2f4",
    "de670f1decdb4d2654074904848c51da3f68bd8a2039280a03e5f7c1f61fe65f"
   ],
   "root": "baa23e07d0e7f688c169d742290e651d007bd25bacc65d310971620be8316c32",
   "tree_size": 7
  },
  {
   "expect": false,
   "id": "inclusion_altered_proof_node",
   "index": 3,
   "kind": "inclusion",
   "leaf": "6361696e2d6c6561662d33",
   "proof": [
    "0000000000000000000000000000000000000000000000000000000000000000",
    "4f7a609d6a700ba4975da5ff64f020f17294a14ebd95ddc045e96580e9eab2f4",
    "de670f1decdb4d2654074904848c51da3f68bd8a2039280a03e5f7c1f61fe65f"
   ],
   "root": "baa23e07d0e7f688c169d742290e651d007bd25bacc65d310971620be8316c32",
   "tree_size": 7
  },
  {
   "expect": false,
   "id": "inclusion_wrong_root",
   "index": 3,
   "kind": "inclusion",
   "leaf": "6361696e2d6c6561662d33",
   "proof": [
    "132891ee2ecedfad63e3b94b601949662a7e9e5b404793d8bb05e8ebf5051d1c",
    "4f7a609d6a700ba4975da5ff64f020f17294a14ebd95ddc045e96580e9eab2f4",
    "de670f1decdb4d2654074904848c51da3f68bd8a2039280a03e5f7c1f61fe65f"
   ],
   "root": "0000000000000000000000000000000000000000000000000000000000000000",
   "tree_size": 7
  },
  {
   "expect": false,
   "id": "inclusion_wrong_index",
   "index": 2,
   "kind": "inclusion",
   "leaf": "6361696e2d6c6561662d33",
   "proof": [
    "132891ee2ecedfad63e3b94b601949662a7e9e5b404793d8bb05e8ebf5051d1c",
    "4f7a609d6a700ba4975da5ff64f020f17294a14ebd95ddc045e96580e9eab2f4",
    "de670f1decdb4d2654074904848c51da3f68bd8a2039280a03e5f7c1f61fe65f"
   ],
   "root": "baa23e07d0e7f688c169d742290e651d007bd25bacc65d310971620be8316c32",
   "tree_size": 7
  },
  {
   "expect": false,
   "id": "inclusion_truncated_proof",
   "index": 3,
   "kind": "inclusion",
   "leaf": "6361696e2d6c6561662d33",
   "proof": [
    "132891ee2ecedfad63e3b94b601949662a7e9e5b404793d8bb05e8ebf5051d1c",
    "4f7a609d6a700ba4975da5ff64f020f17294a14ebd95ddc045e96580e9eab2f4"
   ],
   "root": "baa23e07d0e7f688c169d742290e651d007bd25bacc65d310971620be8316c32",
   "tree_size": 7
  },
  {
   "expect": true,
   "id": "consistency_positive",
   "kind": "consistency",
   "new_root": "baa23e07d0e7f688c169d742290e651d007bd25bacc65d310971620be8316c32",
   "new_size": 7,
   "old_root": "79dfaf143f1abf534d93c53670b756e8b629f8f0c5d485ccd4cdb7f4f8983469",
   "old_size": 4,
   "proof": [
    "de670f1decdb4d2654074904848c51da3f68bd8a2039280a03e5f7c1f61fe65f"
   ]
  },
  {
   "expect": false,
   "id": "consistency_wrong_new_root",
   "kind": "consistency",
   "new_root": "0000000000000000000000000000000000000000000000000000000000000000",
   "new_size": 7,
   "old_root": "79dfaf143f1abf534d93c53670b756e8b629f8f0c5d485ccd4cdb7f4f8983469",
   "old_size": 4,
   "proof": [
    "de670f1decdb4d2654074904848c51da3f68bd8a2039280a03e5f7c1f61fe65f"
   ]
  }
 ],
 "reference": "proofs generated by cain.sovereign_witness.merkle (brute-force cross-checked)",
 "schema": "cain42.verify.merkle_fixtures.v1",
 "spec": "RFC 6962: leaf=SHA256(0x00||data); node=SHA256(0x01||left||right); RFC 9162 verify algorithms"
}