[
  {
    "module": "NimCore",
    "phase": "phase1",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/NimCore.lean",
    "sha256": "b07db6c505210d5ad7ad88b7e36d2599664e8e05084cfeaac17403484e8b5dcf"
  },
  {
    "module": "NimRollout",
    "phase": "phase1",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/NimRollout.lean",
    "sha256": "1a99428d71573d31743735c16158a22c7810e16d85fc484d4091842eb7b5ad34"
  },
  {
    "module": "NimGame",
    "phase": "phase2",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase2/NimGame.lean",
    "sha256": "23df6bb87ecfd344155c0786e1b6b1de78f8ecfe33ec92561245ecd3ac9a3724"
  },
  {
    "module": "NimProbability",
    "phase": "phase2",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase2/NimProbability.lean",
    "sha256": "1d5d7977a43e854db0e83facc4da36d59202c7891374b0b6c14461ecdbf8bef0"
  },
  {
    "module": "NimAttain",
    "phase": "phase3",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase3/NimAttain.lean",
    "sha256": "dd978aa0cd3d6fe5d81a02728ea1c2ddccefe9d2124fa5391c240166b72ade10"
  },
  {
    "module": "Circuit",
    "phase": "phase3",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase3/Circuit.lean",
    "sha256": "af97cc0eec7d8464dc795a9efafd7da523c2f96b9cc24147340307a22575d2f6"
  },
  {
    "module": "NimRecurrent",
    "phase": "phase3",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase3/NimRecurrent.lean",
    "sha256": "1f2994aefc75e7f500afbeffb1644cb960ffe68454744cdba79a353418584f35"
  },
  {
    "module": "BitBridge",
    "phase": "phase3",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase3/BitBridge.lean",
    "sha256": "000644dc271d27f9dccbe1f8a1f914a22136276940dd10547f59b4b89bb52bb4"
  },
  {
    "module": "NimCorrBridge",
    "phase": "phase3",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase3/NimCorrBridge.lean",
    "sha256": "d3fb2e4a64db3e9249eeda1f54b991aca1f40c8b4664a091de255c5d9c1689d6"
  },
  {
    "module": "AttainCircuit",
    "phase": "phase3",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase3/AttainCircuit.lean",
    "sha256": "13b98daabaa917e5ae4265bd2bca5a4fcceec8d89e2903cbae9da4a348715f6f"
  },
  {
    "module": "FiniteNet",
    "phase": "phase4",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/FiniteNet.lean",
    "sha256": "1d45c47650006bb7ecdbd3b890cedb017653b057f6e7974ec683e4c68ae827ac"
  },
  {
    "module": "BinaryReadout",
    "phase": "phase4",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/BinaryReadout.lean",
    "sha256": "17ef1a62ba9edafb290fa989f6e0a01466dee2fd92069ba40b17a0cd74c16a5d"
  },
  {
    "module": "ParityCircuit",
    "phase": "phase4",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/ParityCircuit.lean",
    "sha256": "03525bcfcb9f3acdd99b2cbabb2e3d4582705d8b9609e4983bdb2354ac302aac"
  },
  {
    "module": "Controller",
    "phase": "phase4",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/Controller.lean",
    "sha256": "63d0e09c002db91e720e89ed258df6b00b397d02f63059350686923dd3723fad"
  },
  {
    "module": "ControllerBits",
    "phase": "phase4",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/ControllerBits.lean",
    "sha256": "4e23680da471fd6963593cebfa82294bf1c0d01306d93a0961ceda160b001e22"
  },
  {
    "module": "SharedCircuit",
    "phase": "phase4",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/SharedCircuit.lean",
    "sha256": "3ece90821677bbe974c3782cd489289fa79472a3dcfeee1f0ce8c39b4e7dce0b"
  },
  {
    "module": "SelectCircuit",
    "phase": "phase4",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/SelectCircuit.lean",
    "sha256": "922ee44ce0ababa90716fe7f351c1c4ead7a67e1b82968f265fcd7c7d822989c"
  },
  {
    "module": "LocalRestore",
    "phase": "phase4",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/LocalRestore.lean",
    "sha256": "fc4c7f908b0c9c58e112b71747e811377de85ae028d5c4cd98dd260db5206c2f"
  },
  {
    "module": "Foundation",
    "phase": "phase4",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/Foundation.lean",
    "sha256": "37580abf2525427f04bb2595439c47d111f0591b30897fd363c6c2cdd327bb80"
  },
  {
    "module": "Coverage",
    "phase": "phase4",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/Coverage.lean",
    "sha256": "7db0789bffd2ff8fd36beff3bbbe567a3a87d9b222d83a8f97e7737037cfdd86"
  },
  {
    "module": "PriorityEncoder",
    "phase": "phase5",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase5/PriorityEncoder.lean",
    "sha256": "1be04943f5455fc119e177793bbe00de6aed8109e3ff0a55a3291c70aab29c69"
  },
  {
    "module": "ThresholdNet",
    "phase": "phase5",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase5/ThresholdNet.lean",
    "sha256": "15c36f444487a1bdd02793ae1cee53b0472a0c5d99054c52440427cc3a63e16b"
  },
  {
    "module": "ThresholdInst",
    "phase": "phase5",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase5/ThresholdInst.lean",
    "sha256": "c8c66599c8e2480456d76544e06c64378c9f10f19e77cd325b834179fad64a8e"
  },
  {
    "module": "WholeGame",
    "phase": "phase5",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase5/WholeGame.lean",
    "sha256": "809a74ad589db609136b97d1ca92b4e1faf296208e84a6d9a9614a4d61de6460"
  },
  {
    "module": "Family",
    "phase": "phase6",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase6/Family.lean",
    "sha256": "7a647f0a667d5ede47f0e49473001e3e0c46b07c04bf20b6a0fdce7d1e3bf180"
  },
  {
    "module": "Barrier",
    "phase": "phase6",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase6/Barrier.lean",
    "sha256": "474ac44cf86dd7e72e8750ffa6c8aaab44f48ad34a5cebf57e34cc727b8911f2"
  },
  {
    "module": "RolloutExec",
    "phase": "phase6",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase6/RolloutExec.lean",
    "sha256": "c7b63a6e02d1d425c00fb6b7d76899cbfcceaeb0e07772434c4875c15a468513"
  },
  {
    "module": "Bypass",
    "phase": "phase6",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase6/Bypass.lean",
    "sha256": "d2e3ef2e71220448165f5498ca3778bc54b463fb902c4d506cce7a061c81c962"
  },
  {
    "module": "Classical",
    "phase": "phase6",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase6/Classical.lean",
    "sha256": "ee9d365e1611d40cc3d5ba10c995dbd2607f679bf5f12be022d74249a4868a23"
  },
  {
    "module": "BoardStore",
    "phase": "phase6",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase6/BoardStore.lean",
    "sha256": "c35ac76d5db6e833dd9c208f2fba0aa4963c035349f5f831e4da69c798ca2a39"
  },
  {
    "module": "Windows",
    "phase": "phase6",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase6/Windows.lean",
    "sha256": "ff59ec8bf0a0de703ade112d8cc1c19541502e4dac5e25cb8041768a647279f8"
  },
  {
    "module": "Misc",
    "phase": "phase6",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase6/Misc.lean",
    "sha256": "07766c03566dbfca1cc2d85d424e85a8003364563979df33fffbc5869408f975"
  },
  {
    "module": "NoiseModel",
    "phase": "phase7",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase7/NoiseModel.lean",
    "sha256": "bde0a1ff202682bd326df1a9c8306a190ee5811b4d009ccdd07b2b0efc85f6fd"
  },
  {
    "module": "Shootout",
    "phase": "phase7",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase7/Shootout.lean",
    "sha256": "1abd814426d345b9dcac4f3c2a101741a0bee3851d299d85a661ed15cee44b7b"
  },
  {
    "module": "WeakMastery",
    "phase": "phase8",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/WeakMastery.lean",
    "sha256": "4c83e573f527989c93abdad00fa986b0a84b8157df6f99cc5d76967387c1be26"
  },
  {
    "module": "Fourier",
    "phase": "phase8",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/Fourier.lean",
    "sha256": "afffe6072d707e408cbea6b7bceb45fbbaaf08c6a1ab6a61d76240532ef523be"
  },
  {
    "module": "RealNoise",
    "phase": "phase8",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/RealNoise.lean",
    "sha256": "ff2ca55835deab85a775a5e7a3f4113efe166c580f19b8e66a3ce614c6d6b760"
  },
  {
    "module": "RealFourier",
    "phase": "phase8",
    "source": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/RealFourier.lean",
    "sha256": "e0e69edd199d8650ffd7ab2a6505c1a57c673abe7d1961d54eaee83c26da78be"
  }
]