{
  "id": "v19-proof-tampered-path",
  "chapter": "06",
  "title": "a proof with one flipped audit-path element MUST fail the inclusion step",
  "check": "proof",
  "input": {
    "proof": {
      "receipt_id": "tr_leaf5",
      "leaf_index": 5,
      "tree_size": 8,
      "leaf_payload": "{\"issued_at\":\"2026-07-04T00:00:05.000Z\",\"prefix\":\"tr\",\"receipt_id\":\"tr_leaf5\",\"sha256\":\"fb1ec199d052a3ce6d141a28c2d706a51b99f09c2a8d61243062a046f06b68f1\"}",
      "leaf_hash": "3b2faf504cb6c2939b53c9424e254b8ccad7b9844e4df3e29c56efbbf04abffd",
      "audit_path": [
        "a9550252a564f5821ebe566822bd38801a4ca16d4624e50bb3a9058b87fb1fd9",
        "82596501e1501eeb6a209511fdad3462d1ccabd92fba1d96236d30a0f9780065",
        "995d1d487c925ac0fcb7aa113bb9f0cb14a717d70fd35bead5cdb010bf14b124"
      ],
      "sth": {
        "version": 1,
        "log_id": "eformogi-receipt-log-v1",
        "tree_size": 8,
        "root_hash": "7820c302d39092d9f45b4269fda844c4b069807ccf094ff5d2fe93152b69b567",
        "chain_hash": "ebaaa40b1e770ddeb79ed2bd222c2e991ccee4b658b5a57f706fdc1e198fccad",
        "timestamp": "2026-07-04T04:30:00.000Z",
        "key_id": "did:web:eformogi.com#key-1",
        "signature": "z3amYhXFnhCnRHn8EHabrkw4yznFT6d3Kqy236er8WyaA58P3e6yL6qtiHLBo26ggTNcLBr5PndyoJhLVWCv1ByrR"
      },
      "did_document": "https://eformogi.com/.well-known/did.json"
    },
    "public_jwk": {
      "kty": "OKP",
      "crv": "Ed25519",
      "x": "MyCIAfaiLiBXey2NF_dK0b1ighUr0ticiuPiiGV6UOo"
    },
    "sha256": "fb1ec199d052a3ce6d141a28c2d706a51b99f09c2a8d61243062a046f06b68f1"
  },
  "expect": {
    "verdict": "fail"
  }
}