{ "summary": { "module_count": 38, "theorem_count": 1588, "phase8_theorems": 261, "axiom_reports": 1588, "build_passed": true, "all_hashes_pass": true, "all_prior_sources_unchanged": true, "all_delivered_logs_match": true, "issues": [], "lines": 24493, "nonblank_lines": 21813, "code_lines": 19277, "definitions": 632, "code_lines_without_axiom_prints": 17689 }, "modules": [ { "module": "NimCore", "phase": "phase1", "theorems": 18, "axiom_reports": 18, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 139, "nonblank_lines": 112, "code_lines": 108, "code_lines_without_axiom_prints": 90, "definitions": 6 }, { "module": "NimRollout", "phase": "phase1", "theorems": 22, "axiom_reports": 22, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 349, "nonblank_lines": 310, "code_lines": 265, "code_lines_without_axiom_prints": 243, "definitions": 5 }, { "module": "NimGame", "phase": "phase2", "theorems": 47, "axiom_reports": 47, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 634, "nonblank_lines": 554, "code_lines": 472, "code_lines_without_axiom_prints": 425, "definitions": 17 }, { "module": "NimProbability", "phase": "phase2", "theorems": 73, "axiom_reports": 73, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 1074, "nonblank_lines": 960, "code_lines": 873, "code_lines_without_axiom_prints": 800, "definitions": 22 }, { "module": "NimAttain", "phase": "phase3", "theorems": 34, "axiom_reports": 34, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 673, "nonblank_lines": 621, "code_lines": 566, "code_lines_without_axiom_prints": 532, "definitions": 6 }, { "module": "Circuit", "phase": "phase3", "theorems": 86, "axiom_reports": 86, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 1151, "nonblank_lines": 1034, "code_lines": 943, "code_lines_without_axiom_prints": 857, "definitions": 33 }, { "module": "NimRecurrent", "phase": "phase3", "theorems": 38, "axiom_reports": 38, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 555, "nonblank_lines": 483, "code_lines": 404, "code_lines_without_axiom_prints": 366, "definitions": 24 }, { "module": "BitBridge", "phase": "phase3", "theorems": 36, "axiom_reports": 36, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 560, "nonblank_lines": 497, "code_lines": 454, "code_lines_without_axiom_prints": 418, "definitions": 17 }, { "module": "NimCorrBridge", "phase": "phase3", "theorems": 36, "axiom_reports": 36, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 922, "nonblank_lines": 852, "code_lines": 805, "code_lines_without_axiom_prints": 769, "definitions": 14 }, { "module": "AttainCircuit", "phase": "phase3", "theorems": 28, "axiom_reports": 28, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 935, "nonblank_lines": 878, "code_lines": 823, "code_lines_without_axiom_prints": 795, "definitions": 14 }, { "module": "FiniteNet", "phase": "phase4", "theorems": 14, "axiom_reports": 14, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 220, "nonblank_lines": 192, "code_lines": 148, "code_lines_without_axiom_prints": 134, "definitions": 6 }, { "module": "BinaryReadout", "phase": "phase4", "theorems": 14, "axiom_reports": 14, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 333, "nonblank_lines": 303, "code_lines": 259, "code_lines_without_axiom_prints": 245, "definitions": 5 }, { "module": "ParityCircuit", "phase": "phase4", "theorems": 13, "axiom_reports": 13, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 259, "nonblank_lines": 232, "code_lines": 194, "code_lines_without_axiom_prints": 181, "definitions": 5 }, { "module": "Controller", "phase": "phase4", "theorems": 17, "axiom_reports": 17, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 401, "nonblank_lines": 359, "code_lines": 308, "code_lines_without_axiom_prints": 291, "definitions": 12 }, { "module": "ControllerBits", "phase": "phase4", "theorems": 81, "axiom_reports": 81, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 1148, "nonblank_lines": 1024, "code_lines": 950, "code_lines_without_axiom_prints": 869, "definitions": 50 }, { "module": "SharedCircuit", "phase": "phase4", "theorems": 30, "axiom_reports": 30, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 510, "nonblank_lines": 446, "code_lines": 399, "code_lines_without_axiom_prints": 369, "definitions": 21 }, { "module": "SelectCircuit", "phase": "phase4", "theorems": 53, "axiom_reports": 53, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 1064, "nonblank_lines": 965, "code_lines": 907, "code_lines_without_axiom_prints": 854, "definitions": 23 }, { "module": "LocalRestore", "phase": "phase4", "theorems": 34, "axiom_reports": 34, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 587, "nonblank_lines": 526, "code_lines": 476, "code_lines_without_axiom_prints": 442, "definitions": 12 }, { "module": "Foundation", "phase": "phase4", "theorems": 24, "axiom_reports": 24, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 450, "nonblank_lines": 399, "code_lines": 351, "code_lines_without_axiom_prints": 327, "definitions": 11 }, { "module": "Coverage", "phase": "phase4", "theorems": 5, "axiom_reports": 5, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 77, "nonblank_lines": 65, "code_lines": 49, "code_lines_without_axiom_prints": 44, "definitions": 0 }, { "module": "PriorityEncoder", "phase": "phase5", "theorems": 29, "axiom_reports": 29, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 430, "nonblank_lines": 380, "code_lines": 326, "code_lines_without_axiom_prints": 297, "definitions": 10 }, { "module": "ThresholdNet", "phase": "phase5", "theorems": 54, "axiom_reports": 54, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 780, "nonblank_lines": 692, "code_lines": 637, "code_lines_without_axiom_prints": 583, "definitions": 17 }, { "module": "ThresholdInst", "phase": "phase5", "theorems": 33, "axiom_reports": 33, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 475, "nonblank_lines": 415, "code_lines": 359, "code_lines_without_axiom_prints": 326, "definitions": 16 }, { "module": "WholeGame", "phase": "phase5", "theorems": 23, "axiom_reports": 23, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 347, "nonblank_lines": 303, "code_lines": 231, "code_lines_without_axiom_prints": 208, "definitions": 9 }, { "module": "Family", "phase": "phase6", "theorems": 54, "axiom_reports": 54, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 574, "nonblank_lines": 488, "code_lines": 417, "code_lines_without_axiom_prints": 363, "definitions": 33 }, { "module": "Barrier", "phase": "phase6", "theorems": 30, "axiom_reports": 30, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 496, "nonblank_lines": 442, "code_lines": 375, "code_lines_without_axiom_prints": 345, "definitions": 10 }, { "module": "RolloutExec", "phase": "phase6", "theorems": 50, "axiom_reports": 50, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 896, "nonblank_lines": 798, "code_lines": 696, "code_lines_without_axiom_prints": 646, "definitions": 33 }, { "module": "Bypass", "phase": "phase6", "theorems": 18, "axiom_reports": 18, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 275, "nonblank_lines": 243, "code_lines": 189, "code_lines_without_axiom_prints": 171, "definitions": 0 }, { "module": "Classical", "phase": "phase6", "theorems": 44, "axiom_reports": 44, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 587, "nonblank_lines": 525, "code_lines": 454, "code_lines_without_axiom_prints": 410, "definitions": 12 }, { "module": "BoardStore", "phase": "phase6", "theorems": 44, "axiom_reports": 44, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 824, "nonblank_lines": 733, "code_lines": 661, "code_lines_without_axiom_prints": 617, "definitions": 33 }, { "module": "Windows", "phase": "phase6", "theorems": 16, "axiom_reports": 16, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 261, "nonblank_lines": 227, "code_lines": 184, "code_lines_without_axiom_prints": 168, "definitions": 7 }, { "module": "Misc", "phase": "phase6", "theorems": 60, "axiom_reports": 60, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 912, "nonblank_lines": 821, "code_lines": 717, "code_lines_without_axiom_prints": 657, "definitions": 13 }, { "module": "NoiseModel", "phase": "phase7", "theorems": 69, "axiom_reports": 69, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 1008, "nonblank_lines": 893, "code_lines": 770, "code_lines_without_axiom_prints": 701, "definitions": 22 }, { "module": "Shootout", "phase": "phase7", "theorems": 100, "axiom_reports": 100, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "matches_phase7_snapshot": true, "lines": 1491, "nonblank_lines": 1327, "code_lines": 1171, "code_lines_without_axiom_prints": 1071, "definitions": 63 }, { "module": "WeakMastery", "phase": "phase8", "theorems": 69, "axiom_reports": 69, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "lines": 959, "nonblank_lines": 848, "code_lines": 712, "code_lines_without_axiom_prints": 643, "definitions": 21 }, { "module": "Fourier", "phase": "phase8", "theorems": 117, "axiom_reports": 117, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "lines": 1379, "nonblank_lines": 1216, "code_lines": 1089, "code_lines_without_axiom_prints": 972, "definitions": 19 }, { "module": "RealNoise", "phase": "phase8", "theorems": 46, "axiom_reports": 46, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "lines": 483, "nonblank_lines": 419, "code_lines": 336, "code_lines_without_axiom_prints": 290, "definitions": 6 }, { "module": "RealFourier", "phase": "phase8", "theorems": 29, "axiom_reports": 29, "missing_reports": [], "unexpected_axioms": [], "suspicious_tokens": [], "source_hash_unchanged": true, "snapshot_hash_matches": true, "delivered_log_matches": true, "lines": 275, "nonblank_lines": 231, "code_lines": 199, "code_lines_without_axiom_prints": 170, "definitions": 5 } ], "delivered_hash_checks": [ { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/WeakMastery.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/Fourier.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/RealNoise.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/RealFourier.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/build.sh", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/lakefile.toml", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/lake-manifest.json", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/lean-toolchain", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/source_stats.py", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/PHASE8_SOURCE_STATS.json", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/PHASE8_REPORT.txt", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/AttainCircuit.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/Barrier.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/BinaryReadout.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/BitBridge.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/BoardStore.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/Bypass.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/Circuit.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/Classical.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/Controller.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/ControllerBits.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/Coverage.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/Family.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/FiniteNet.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/Foundation.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/Fourier.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/LocalRestore.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/Misc.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/NimAttain.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/NimCore.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/NimCorrBridge.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/NimGame.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/NimProbability.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/NimRecurrent.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/NimRollout.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/NoiseModel.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/ParityCircuit.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/PriorityEncoder.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/RealFourier.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/RealNoise.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/RolloutExec.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/SelectCircuit.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/SharedCircuit.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/Shootout.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/ThresholdInst.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/ThresholdNet.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/WeakMastery.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/WholeGame.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/Windows.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/mathlib_build.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/logs/mathlib_initial_build.log", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/NimCore.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/NimRollout.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase2/NimGame.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase2/NimProbability.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase3/NimAttain.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase3/Circuit.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase3/NimRecurrent.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase3/BitBridge.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase3/NimCorrBridge.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase3/AttainCircuit.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/FiniteNet.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/BinaryReadout.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/ParityCircuit.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/Controller.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/ControllerBits.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/SharedCircuit.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/SelectCircuit.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/LocalRestore.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/Foundation.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase4/Coverage.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase5/PriorityEncoder.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase5/ThresholdNet.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase5/ThresholdInst.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase5/WholeGame.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase6/Family.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase6/Barrier.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase6/RolloutExec.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase6/Bypass.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase6/Classical.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase6/BoardStore.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase6/Windows.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase6/Misc.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase7/NoiseModel.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase7/Shootout.lean", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/PAPER_TARGETS.tex", "exists": true, "matches": true }, { "path": "/Users/sorenriis/Documents/ChatGpt_codex_folder/NIM_paper/Astra_Review_2026-10-09/05_revision_cycle/lean/phase8/CLAUDE_PHASE8_BRIEF.txt", "exists": true, "matches": true } ] }