{ "files": { "lean-verify/SKILL.md": "e1a15eb9ab046dc758469afcfe83b22fa59621155270d5b1b92d247dd8f4286b", "lean-verify/assets/lean-audit-report.template.md": "8a8363bc6d8b38d476831120fe825c645a6c5a3d90085586010e1bbbfef92370", "lean-verify/assets/lean-obligation.template.md": "1c3830cc543e09e699803ddc8a3d61763bc1ac5be02ff9ce0417b994c0749df5", "lean-verify/assets/lean-scaffold.template.lean": "04cce22417b10ea4084ff01ca31de7a5001f06b89f6e03bce210e6a9db45e824", "lean-verify/assets/verification_output.schema.json": "0ba7f0afad04a704a7004cc98dd5ee7509a780eb719e45300edd1e6e477aef6c", "lean-verify/assets/verification_output.v1.schema.json": "cf2f2532843b8b03fe7f3d42ccbf5bc8565a3871afe44a14bc7bb1e8fd4f7b26", "lean-verify/references/changelog.md": "9a0c3da02a34cecf57080ddc7fc8a6e95e327d304fac6c3e9d289ffce534a74c", "lean-verify/references/dsh-execution.md": "511d92a11587d24f3c69398fb005b807d87f99451a5f8e123c84a868ed0181dc", "lean-verify/references/v2-verification.md": "c5f49105c6417904e919460a00123ea931d4686dae34d5ca51b53ad18a79d527", "lean-verify/scripts/LeanVerifyProbe.lean.template": "4299cc51119b911992511b2ce05e114dfdcbe5d698b4639838585e74c62a7a7f", "lean-verify/scripts/lake_build_guard.py": "ad8107677112126a6ff9c2f6ed4ed7019960f8357306f4b69e98047ff2d0c4f0", "lean-verify/scripts/lean_evidence.py": "acfc329ae136d491293020dc0b1001f27b2b43200466962c07c83d960e991be1", "lean-verify/scripts/lean_feedback.py": "cf3a7c5e18a4f981768fdccfa8761fe8e91a92b8f6ac5e60b5d79e36139a90bc", "lean-verify/scripts/lean_routes.py": "4c286832a5a9b69a2f8c66768906993bacd7ced232a4af6175a7fca5cf9031f3", "lean-verify/scripts/lean_runtime.py": "cb8de8974c1ed6598d3c81ebab40331944198da8feb6f80b20196362af5a6086", "lean-verify/scripts/run_manifest.schema.json": "0ba7f0afad04a704a7004cc98dd5ee7509a780eb719e45300edd1e6e477aef6c", "lean-verify/scripts/tests/test_v2_lean_real.py": "1bc6fc0990875212304517832e281f34b209a1fb9acdaccbfa1046a4b3984f1b", "lean-verify/scripts/tests/test_v2_verifier.py": "c53b0b3625bd8799ad2c9d06df48b59bafc8dd0e227f896009f9dcf6b86c8281", "lean-verify/scripts/verify_lean_project.py": "ccbdb79a8264a103006768636a5bb8a501c4bc4420eab0c783f08fbe5212592d", "manage-math-research-program/MANIFEST.sha256": "509feb9f289a087c6d9df636fd2b41ab9a97331f9c89a69dd8f40710fff11b9b", "manage-math-research-program/SKILL.md": "ac93dd1aaf66e19d2f44fa5f3558a5a02fbba861b4b113166dc19dcb2def75e0", "manage-math-research-program/assets/blueprint-accepted-knowledge/.blueprint/config.json": "43e2070061e65de94256394adb4614881abeb75f4799fe0f92c23f9e24407163", "manage-math-research-program/assets/blueprint-accepted-knowledge/README.md": "49a69cfb446e00c37e42c06c5f91534b4c66573b3abf1d499c2a3709be48f49b", "manage-math-research-program/assets/blueprint-accepted-knowledge/backups/.gitkeep": "01ba4719c80b6fe911b091a7c05124b64eeece964e09c058ef8f9805daca546b", "manage-math-research-program/assets/blueprint-accepted-knowledge/blueprint.json": "7e847c9d4f537c5147b7ba3c9783c1fe56db211e4eae32c9df74a542c77d543f", "manage-math-research-program/assets/blueprint-accepted-knowledge/dependency_graph.mmd": "97b925fa4629a13bc689809dbf75ee8efdd93fb5b80cb539d8fec6a0cadb8ca5", "manage-math-research-program/assets/blueprint-accepted-knowledge/evidence_inventory.csv": "0422657e3a35ff5a7a2ef761fc6bb6270852d81b9a091027d4ce549fe3d46c51", "manage-math-research-program/assets/blueprint-accepted-knowledge/submissions/.gitkeep": "01ba4719c80b6fe911b091a7c05124b64eeece964e09c058ef8f9805daca546b", "manage-math-research-program/assets/blueprint-accepted-knowledge/tools/blueprint_common.py": "efc24e7b4539d6741e11a013d5cd05b0a78d289e2f60511174b1fa8cb2ad3951", "manage-math-research-program/assets/blueprint-accepted-knowledge/tools/blueprint_query.py": "ab589285883cda13169acb32dc5ac31cc9669d890240823c5257822bb16b2acc", "manage-math-research-program/assets/blueprint-accepted-knowledge/tools/math_blueprint.py": "5568c638cd8d39a036efa3f2fbf814a3bc86bf68f64f1d0f08346e46eb3c9701", "manage-math-research-program/assets/blueprint-accepted-knowledge/tools/receive_blueprint.py": "3793ca7a1d7beeceec11de1d32919430f85e79324e2f46612df0ae15e7b9d15e", "manage-math-research-program/assets/blueprint-accepted-knowledge/tools/render_dependency_graph.py": "9983c914070939addc9debf04126a2f1a673fef156be433afb5207dc77373be9", "manage-math-research-program/assets/blueprint-accepted-knowledge/tools/serve_blueprint_viewer.py": "d78b9d40eab044bd31b056aee6fd21b5278c10a27e561380f2c4c7b841a37cd7", "manage-math-research-program/assets/blueprint-accepted-knowledge/tools/validate_blueprint.py": "609cf17bbc61df20491feadc32b444096f44b7c81e18f4d743752b6d155ca84f", "manage-math-research-program/assets/blueprint-accepted-knowledge/viewer/README.md": "6cd95340c9747bfd7d3dca8c4a4f605ee09483def6d7bc708c9b22aef3034347", "manage-math-research-program/assets/blueprint-accepted-knowledge/viewer/blueprint-viewer.css": "624f39ec99afdfc82310b318efbba2ee202c542f05f19473989bf7688030251b", "manage-math-research-program/assets/blueprint-accepted-knowledge/viewer/blueprint-viewer.js": "b161b01080121752d134615e1019737f8c9869febdb8efcd0164783b41cba053", "manage-math-research-program/assets/blueprint-accepted-knowledge/viewer/index.html": "12479ab9acb62823c88384be649264786aa76549a949e12514a384982c514784", "manage-math-research-program/assets/budget-state.template.json": "043cd99027fbf71f546ed064ef1aec8f667b26357924f89dd24c1dbee1adac08", "manage-math-research-program/assets/checkpoint.template.md": "061550879a99328810ffe69b09ac220e1750359cb8eee58af27926c17bbf3e5b", "manage-math-research-program/assets/current-state.template.json": "f44bae2d84b2b1e4285cc8d52df0a626b73d877c85bfb6ec480acffbea40f52d", "manage-math-research-program/assets/open-problem-record.template.json": "e19927c1197312b5934db790e8fc31692ad0b66016c5afb2485701666c65b48b", "manage-math-research-program/assets/paper-analysis.template.tex": "57bffae79c40a071cbfc6f837ac4ae81cc51f3207384d1684e923955d555673f", "manage-math-research-program/assets/paper-record.template.json": "332c1abf9be8fbad21fcb15890b2454f48c85792e4cab678fd50a44e4cd153e7", "manage-math-research-program/assets/project-overview.template.md": "c4ab17440117a26115d6fa91b3bbc5effde85651b9ab4695ca2e900236d976e7", "manage-math-research-program/assets/project.template.json": "5803efec74de8c2f974bed2b69dd920790cf2089830db9558f7be2d2bcec439f", "manage-math-research-program/assets/proof-paper.template.tex": "3aa539029d6e696250524e51bc9726ceedd784f074b82b604d28204240d8767d", "manage-math-research-program/assets/proof-submission-audit.template.md": "83e5c1163bdc831b127389a952eee5e8abc009b2e867d2add48df74ce8a98e87", "manage-math-research-program/assets/research-map.template.md": "20d94794d2353740d19458ea85383508364b252b5dba15eed29a24a05edc4c3c", "manage-math-research-program/assets/run-manifest.template.json": "d17d8da2c5b06a8ec963bc4a7ee6ab815054a1fff684cdc6770d320bea6b5c20", "manage-math-research-program/assets/search-log.template.md": "3a25a6f23c95823e5e8503f70a31d391ed7277a38b5afaec36cedfa058746b47", "manage-math-research-program/assets/stage-summary.template.md": "c8a0081f72b8b8a5ee9532a649a3a0f789a6d39a2e8c9e583d0b69d8ef729eca", "manage-math-research-program/assets/task-packet.template.md": "b16e7e7ff23ace165de9d2584ee1255616df9bdc7a177575686c3b42189ad63f", "manage-math-research-program/assets/tool-entry.template.md": "7303882f8b9aa160c23efd32939fa9661e2127adfe9393412bec3ce96ea3fcca", "manage-math-research-program/examples/01-literature-only.md": "f18e9c21941d5cdada041ef1dc7acf6e7b82d869ddbf842e465ca7896eedd5ab", "manage-math-research-program/examples/02-delegated-open-problem.md": "44fa0e7823155c3279ea04712630eee7e4bc4073d6e9e98940b4d00e166dfc7a", "manage-math-research-program/references/accepted-knowledge-pipeline.md": "aadfa8cef6866a6a2d94e68ad54d72fd9881cbf7d67137f675d41afaa96154a4", "manage-math-research-program/references/blueprint-runtime-gateway.md": "286784084fb374e219f529e7bb8d0c6ac298ab7d679eeaa972cc9800bb7f1378", "manage-math-research-program/references/boundary-checklist.md": "54fe75dcfeccc47c2d42716a660f42c5512b9261b9df86de67a69fd5b08ce027", "manage-math-research-program/references/changelog.md": "4d2a2bf2cb0b97105a968b0ac125fb6af87b748bef71cbb04e99f4b321367169", "manage-math-research-program/references/delegation-and-ingestion.md": "e677b4bac672f77eb41f885835fa763b3c50308a2f13923e881e76e421872c1e", "manage-math-research-program/references/dsh-execution.md": "511d92a11587d24f3c69398fb005b807d87f99451a5f8e123c84a868ed0181dc", "manage-math-research-program/references/dsh-optional-capabilities.md": "0b3f5b9174fb903216c177fc4f853ab02e5bb915ab7d2859613a94ba6fc9270f", "manage-math-research-program/references/git-sync.md": "6546f9f45d72c72ad61d96284bc1356c457b0490f36281095bad4440c6e72c9c", "manage-math-research-program/references/library-runtime.md": "1b070b73c0120d311a4efe859437b41da47dc1d41f70ad649a031ea7121b1f0d", "manage-math-research-program/references/literature-and-paper-analysis.md": "82a7969794f813d20db6ce2e130090916e7ba56cf07e5efe0414c280808ca20d", "manage-math-research-program/references/project-repository-spec.md": "731e3550341232c0517787b0469f7f9cfc7d611da020840d128166386da28a7f", "manage-math-research-program/references/state-checkpoints-and-reports.md": "9f61c120ca69f4c30b719bc1be84b2447a46b636e1eec6b2b9fd1535a8d00051", "manage-math-research-program/references/tool-library-spec.md": "e4a035f57e40083d366dbf9f80bff98076a04aac426f63a7d9c9bf4c3477eb96", "manage-math-research-program/references/v2-library-implementation-notes.md": "70e16831de32d134e90ca4f74039631b9e10909cac944f733b7cb66de0e1d741", "manage-math-research-program/references/v2-library.md": "f05eeee583556460ec222a836124d85502d760963206e1345214a5cc7ff39e85", "manage-math-research-program/runtime/blueprintctl.py": "dc5b680dff646e45504a2f7d2974374ef46bd6e141e9c27e71314a8a8ea79156", "manage-math-research-program/scripts/index_lean_lemmas.py": "cb6adad864a8ec0552245b410cc0bdb65cd8e41eeecea0682607b3c999386580", "manage-math-research-program/scripts/init_project.py": "30d731525e163ebce39d22885c09238dbd2a33fc1116ece452d06a23b1eb6cc0", "manage-math-research-program/scripts/manage_tool_lifecycle.py": "172149cff5a378b3b4c1059a039ba9992a3fd0f1ba08ff8585154464cc2aa2e3", "manage-math-research-program/scripts/research_experience.py": "47001d9b809c7892e692a75ea0efb8d4659059106515c9bcdcef1e03410a2764", "manage-math-research-program/scripts/research_library.py": "45342a9b6000e68ad5fbd4f1795a06c151769c61053e7e9461b03d3357585a35", "manage-math-research-program/scripts/scaffold_result.py": "2593671168e55cdd6de51604d625a11db443ab623640c5de6eb28c7ce2f335b7", "manage-math-research-program/scripts/sync_remotes.py": "5857af3dc0863a24be4973a8bf86a649e18c022adbfb0a1e6240336fde786324", "manage-math-research-program/scripts/tests/test_library_q9_reuse.py": "5babb0b13d569599f5b0290a382d687b681310b8e22e1edd629b05cbf21e5b69", "manage-math-research-program/scripts/tests/test_research_experience.py": "0183a24a916ffd97825f33cb832e2fb6b77fa29c16bb279904845cab2dfd34c4", "manage-math-research-program/scripts/tests/test_research_library_v2.py": "c365801e8b2fc300476a3b920cffc2fd32ed6c3a35ce2347f1ca52e109b82edf", "manage-math-research-program/scripts/update_research_map.py": "5c53d3acdfc30634507ba214555075a38f96997ff4368954ce1762438191acc4", "manage-math-research-program/scripts/validate_project.py": "545f0ef4b7bb1a97f0673f0b382a41e4058e5001a547d91861f67163a6ee7940", "math-research-workflow/SKILL.md": "0070aeb4aceb687f5b46f7f22c4a474eba52ca9d14f56131ca13881aad6097df", "math-research-workflow/assets/dsh-solve-audit-workflow.js": "51818d72ad98484494595d28894d32df9608d78ec84cfce039d48027b4f43e73", "math-research-workflow/assets/interruption-handoff.template.md": "e31a2b770fc375c3e73abc769edbdbcacc63bd4b291163ae10bf76befccf7dcb", "math-research-workflow/assets/interruption-state.template.json": "0ff934f0995adc9b1057e80088de1022dbc9e5cd6ef841e9860b393582f5114f", "math-research-workflow/assets/performance-alert.template.md": "ec0a39980730845dcca4d331e5ed5a905a60ef9b1ed08d001b011e066188bb4f", "math-research-workflow/assets/pipeline-handoff.template.md": "a1758a508f0f53a160758a7ea2b806eaad9a6881aab99609811a1fb604edc0e3", "math-research-workflow/assets/whiteboard.template.md": "a9230a4bf5dd98f422ab4a1b77d07f490c86856b107722dfd4433222c4a72ab7", "math-research-workflow/references/changelog.md": "060d28977ccb58c5936275d2c2b53f07c01331a68b9c25cfd7393e889c4f2294", "math-research-workflow/references/dsh-execution.md": "511d92a11587d24f3c69398fb005b807d87f99451a5f8e123c84a868ed0181dc", "math-research-workflow/references/formalization-handoff.md": "1272d21130e57e9cc5395ee2088eb293a4a69ba14cb40d9136dc730c32480187", "math-research-workflow/references/openprover-absorption.md": "094600263cc81c39240f28ccd9dd1d72c6c5199788ead53797e94458c3c58849", "math-research-workflow/references/performance-observability.md": "0485981f013b0181d64e585f9e8438ff2cca51f6ca41dbde6e3177e3129d9605", "math-research-workflow/references/quota-interruption-recovery.md": "14eb286a4c111c6cfd2d1df7f047c45093217b789ce16b0153d8a3bb355d75fe", "math-research-workflow/references/reuse-protocol.md": "772fdb158d1a98ea61223062c00bd850e468f23b0c290e1605409aa116edb2bf", "math-research-workflow/references/stage-c-formalization.md": "461c15b05678325abf5dd73115a7cee1cef86835fddb3ca84927b67a60a4d8ee", "math-research-workflow/references/v1-compatibility.md": "48b0a88bd003e4bc81eaf001e8030d063d58859fc4bbabcff61d3c71ec1700d7", "math-research-workflow/references/v2-continuity.md": "8cf4cd4fe7148dcd8c3ca44edb25bfd3a5619e4da0bf073fa7d6902eb6ebe1cc", "math-research-workflow/references/workflow-design.md": "6fae2422256c0855c38de381fcc24ef5bbb379981b263a03b18247ea92ba3d13", "math-research-workflow/scripts/checkpoint_resume.py": "55a513e851385d660da41906838f1cee893671d52fc4cefdb72edf8f7569456b", "math-research-workflow/scripts/formalization_handoff.py": "eabe483b097dfadbffaa19617ad1056e3b5a07ffc42ce7fe70eed097eaca82ff", "math-research-workflow/scripts/legacy_pipeline.py": "9313289ece6cd3c84b728c2c15c2efea9c4020cdb4142bcebe3f455fb9c14d8a", "math-research-workflow/scripts/performance_alert.py": "d540d4c6fad44190d38f2f28a61c93a80751519927e9189bfc817c21f17dfcbf", "math-research-workflow/scripts/performance_metrics.py": "34bce0d5976fc90586cfd431f5af6aa8fd00aacae6316ce8b3adaf335071c4a0", "math-research-workflow/scripts/recovery_status.py": "0df8d56c769af118b3b425da5065b7fba1fc3b7858eb8d962c182c0fa12b5f08", "math-research-workflow/scripts/research_state.py": "ab96eeca235872ccd3ec251b2be76354b2d80d6e7c2f095e9c34fdf647a014e0", "math-research-workflow/scripts/skill_sources.py": "f78b2df9edeb058271e0ecafb3b02c7c9f335c94167c563a33d483c645a7e983", "math-research-workflow/scripts/validate_pipeline.py": "234d6d61e74b6f9f7df1a1a49b4d0ed412978b578dc2924f87773665ea4b702f", "rigorous-open-math-research/SKILL.md": "2811d52a02757c737dc20bcb7f90392aef8a3c1f77470397f4c05adddd7703f7", "rigorous-open-math-research/assets/closure-gate.template.md": "2b7506d70f7ee7eab5fad0ca20c31c7464b8f844a4f06b992e8d54e7a6c1e583", "rigorous-open-math-research/assets/completion-audit.template.json": "43552968bcf9d2e4a0331def249ce18583ed596b6a60c167449bd8de383aa909", "rigorous-open-math-research/assets/completion-manifest.template.json": "7125999999140631e2a5b27800339b94a7d68fe751e504e96a1351d56d9106be", "rigorous-open-math-research/assets/frontier-upgrade.template.json": "c951cd8ea0eac9005df8a6df4c9d71c79bf1f942b1fedd0fbfd1fe7047c6ad4b", "rigorous-open-math-research/assets/icon.svg": "e9301497fa98ef56aaca7ede0857b9a18dc06c34040f0679c609a6bf49b1d38b", "rigorous-open-math-research/assets/obligation-graph.template.json": "9d0ebd51a9a540454f048ee46f17cd404c4a472ba8e7154521f183051deb030d", "rigorous-open-math-research/assets/subtask-packet.template.md": "416f04c1bca8ef9739c9b3b86cfb74d424795d63e97c667ad523109c1bed9636", "rigorous-open-math-research/references/agent-orchestration.md": "6a622302cbcd62779685b8f2bfabdfadef279c2d738230f94816d5b37a18d3dd", "rigorous-open-math-research/references/ai-open-math-prompting-design-analysis.zh-CN.md": "da6cf0ab52b1b01c45357a0edbcb2e0afffdac82be1f8ab95396346d50e64702", "rigorous-open-math-research/references/blueprint-math-graph-integration.md": "faf2073d39885958185c5fec757a09fcc84250d5d286ef2088c1d5f7a1991658", "rigorous-open-math-research/references/changelog.md": "9e686c31a277371746479c2a67195b314033260209a96c027a04ca002e11ae45", "rigorous-open-math-research/references/closure-first-protocol.md": "9b9295469ebed5cf6bdc5d3c50c493440fa2371dd2f02a072b0727af1f98fdfe", "rigorous-open-math-research/references/dsh-execution.md": "511d92a11587d24f3c69398fb005b807d87f99451a5f8e123c84a868ed0181dc", "rigorous-open-math-research/references/dsh-optional-capabilities.md": "0b3f5b9174fb903216c177fc4f853ab02e5bb915ab7d2859613a94ba6fc9270f", "rigorous-open-math-research/references/dual-track-audit.md": "6ecf733945d128a5b7b6f777dd8580ea22b6798b8551fa6be2667747bcaad21a", "rigorous-open-math-research/references/escalation-ladder.md": "c3ef667e42c96cfaac540cc962eaf281d2af004a8cba890f0a2612005051001e", "rigorous-open-math-research/references/phase-01-contract.md": "ab0a024ac803944dc0512bcd5594c8fd5e755249d66d6aeccd0aa46a2233f5d9", "rigorous-open-math-research/references/phase-12-reporting.md": "c83720db536984413e1ee980ac1d6685b9fbebf0170df158638b65735a1a5660", "rigorous-open-math-research/references/phase-23-search.md": "3edebacb85a87a5274e6155f4bd0b135683a9c05f00b23dcfbc8dba487905c86", "rigorous-open-math-research/references/phase-45-routes-loop.md": "40afe95ca51235dd2b22f82ab434b476a5fc104800bd166ebeb2722abf1260b0", "rigorous-open-math-research/references/phase-6-computation.md": "42432bb1315a807b72bb69a324de0a4ebba1a3703e09da28d860e57d4723ef6c", "rigorous-open-math-research/references/phase-78-synthesis-audit.md": "ef4b26ee26dd3041672ef7ef015a1d8bcd0f5647bb3433940f4597f865f3cd9c", "rigorous-open-math-research/references/phase-91011.md": "71145dd76b54425cfaa49b76f9b5f69a833fbe79da81f415c94c3758a3caf1a1", "rigorous-open-math-research/references/rethlas-distilled.md": "07b419418030ed5f3f15ed9d42c6e6cc4189b5d7513e87cfdb54895730684dc8", "rigorous-open-math-research/references/rigorous-mathematical-research.v1-zh-CN.md": "e0d40ccecf704e0125d1299010c6a7566224b6103e940dfc94479dc0c01f5399", "rigorous-open-math-research/references/subagent-delegation.md": "bb79b71e5a57202f322dc1a12d998068c22336b2e2f3c24512d91e05bf294508", "rigorous-open-math-research/references/v2-research-experience.md": "fc656b06ddef478917ab184bb6d4e358db0662c66428d6df608e372a5edefe34" }, "upstream_commit": "72a1cc17ce98f3d3fd3b001d7b25d442ba2d3803" }