{
  "evidence/attempt-01/correct.log": "d3ec8eaa90da5c2644ee30516d3180492c836dc2d1c954dc4d123dda68a8a724",
  "evidence/attempt-01/faulty.log": "a5e81502edd7930c7e480883df85ec4f646a9e691483ea4a42fd9cc98ebde266",
  "evidence/attempt-01/measurement.json": "e82ebd7c5e38111843e1a626d51f101119230c94edae6be3253e9b342247eebf",
  "evidence/attempt-01/states.dot": "0ef52a42cbc44e85a1f2103c0c309890aa46eae3e001c28ba42277bcc9fa5df1",
  "evidence/attempt-02.txt": "be1ca9cc3eaf7fdfdc34d3b64ea22110048060437d93848e90221cef5b9f371a",
  "evidence/correct.log": "e1633e9190f2e3978264cd82fd4a8ff57561c481196b6fbfa43449aef7c02223",
  "evidence/faulty.log": "c05933d4fc6f5ad5b6e2b06361d3e09775699ef127d681d84b7266357bed749a",
  "evidence/measurement.json": "c0989f1de2c3fd310475bdbad711764fe6e9748ed08176d53a5f47f65d64277e",
  "evidence/runtime-edges.jsonl": "97a9c110da4ee2820938c71ba6b9e9e2b4121c31e2092b2802a81dbdcf0aabeb",
  "evidence/runtime-measurement.json": "cc4301da9f2deb95d886e9cbc49d6ac35757f1edbeba49b01062c8e031738905",
  "evidence/states.dot": "f694c49ff9d556ba7dd8a4580e7b40e77f9f30b669775de1678b1064c5494b89",
  "formal/Faulty.cfg": "9ff90eb869541bdecbe15797c251660b91ad883db41e14d0463d1427653c91f4",
  "formal/Policy.cfg": "fef76f20e3107493a6ea57b948abb7c5fee101e88692da1b83f452a3c8f9c574",
  "formal/Policy.tla": "46d698208ac30b74b0c5385f6111e100807061e66c549f32b3b668a2d14eeda9",
  "pyproject.toml": "1d3b1891d89fe65befd1617d67c9cc13576520bdf3c4d3aac4f22eecf1c08aea",
  "scripts/measure.py": "35e02bfdc548b410941183f4897937765c4d5769831d53d6f0d9379e1d9fd4e8",
  "scripts/record_runtime.py": "d46ac8903d4b6f38df73e3e977fac29800bce40fa4ce5ebfff0256cad527899e",
  "scripts/replay.py": "e8f9facecc10e3b35b8a24ec82b1cddacbf1b75295adfa9e1602be9e353fc0d5",
  "src/agent_policy/__init__.py": "0a918e1cf3f469f3fc6b5a8fac63b19fbeba83bd5726127074ca377c14ff7d8b",
  "src/agent_policy/cli.py": "8872d00e1c89286dc479de961a96893f5959520eba6efeaaaeb67836407341d0",
  "src/agent_policy/runtime.py": "d1e363c7b1bef8cbbfb017855b30884f330931466e62108a62db49769ac8cb03",
  "uv.lock": "4bd82e54c102047a01213b039f3aa670f482f081ad23dd9a3712d553dae2c292"
}