{
  "schema": 1,
  "sha256": {
    "LICENSE-APACHE-2.0.txt": "cfc7749b96f63bd31c3c42b5c471bf756814053e847c10f3eb003417bc523d30",
    "NOTICE.txt": "6ffbfdacfcd5c93fa1050cda75821a2ad7e33c937027656d9dd36854b4ce3bad",
    "REQUIREMENTS.md": "e21c12dfd25d198a77528c8d37c7cbe79846ec0e2ab29b47da7c5e771283291d",
    "ReviewerChecks.java": "aff3e706070e64b750303a4b0ba36255c08269eb2a06a1abcd5ee45ff908d137",
    "SDK-NOTES.md": "d75832284c7f21106bb45380ebbe777b17f56a96e3cc7eca7667294966652c30",
    "conversation.json": "ea03d28a3468eaf333b3955d8365fe9edb4d4b7d951986b5791b3d7bbcb1464f",
    "conversation.md": "1d207b8cb4846265457b6a844234024f8d7e613edd239cbdeea708a0f04299a0",
    "evidence/decisions.csv": "99a3edc79b1c6cc23a9b0ee02d4c8edd24acc4f4873f90f19a005c9b183fa894",
    "evidence/events.yaml": "5a04260b26c207c63de87aa034cfda97c6ac19ac1e8760b4eaa69408bcabafbb",
    "evidence/generate-attempt-1.log": "bd217d75716bc80c1e0fb764ac6c574eea9bb31a891987f3a63784fe6a99c69a",
    "evidence/summary.txt": "af273e96e7571a7bfcab20c9493c18a78afc9b9e6c423acc21431101843b51b5",
    "evidence/verify-attempt-1.log": "f37ade2eed4d620ad065d733cc6eeb35417f3c9c040a9a9aa299036721ede392",
    "generated/OrderProcessor.graphml": "05957354bcea8bf5ef0c8da8a2c289e3e1fb8c3a82bea68644736be81f828dbd",
    "generated/OrderProcessor.java": "b9d18006f2aa858843775e12486236fdd000a92f28334d59f283a95ee74b5ea8",
    "local-build.sh": "fd5d4648c34adcb86b46b50d6231bb55bec5379e978c1f0f5c8ecef98328687d",
    "notice-change-receipt.json": "db25fa17d7fc8d5ca6785af653b9d3cfc95bbc3d9c0d4ccfed3a6e7a09de4efd",
    "original-evidence-review.json": "eec630675d268f0660c4362d9178b1d9830b58a5c05c18f9ceb37e57bf516b41",
    "prompt.txt": "9343c2344cd9dd399fa0eeca7986ef9a3b094e5748baed6d9800686da41aafde",
    "reviewer-checks.log": "83b4f4fb21bfcac201946b94c295d9ca300eb869c213abecaa0414bafd8d9255",
    "session-receipt.json": "15b90ecf1854846c56938669435b8a633be7f2c7b6bd73509a0f0a173de92daa",
    "src/demo/authoring/Calculation.java": "d7ff8cfb14a35d60a5e6ce28fd613ee57edc693c1fb6cf516c3c0d17b4837995",
    "src/demo/authoring/Decision.java": "59dbf4d5b570d5f51f05577152f376430cd30e36f216675d322b927e84539692",
    "src/demo/authoring/GenerateApplication.java": "ee7380725ebb67e5767d93833fcae2539978a545f898f93033a99923ad48e4fe",
    "src/demo/authoring/LimitComparison.java": "dd730d650bd9de014e604f9e5690f25f1f2cce9cff09d0c55e3110e0e0a20740",
    "src/demo/authoring/Order.java": "5890d132bb60ad47655516871c572c79f3642bd3f49452115431fc1ca9a901e7",
    "src/demo/authoring/OrderInput.java": "d9b344c86fec403ada3ad83e2866fedd99d754e297e57ae93e5153d33dbfb96e",
    "src/demo/authoring/VerifyApplication.java": "0313320d1bd8721fd93ef445d82ff616e8359dfc13361d3385483c882f419b28"
  }
}