witsoc/__init__.py,sha256=eJzwUZ_N8s_POIKylFBwqoRzPH5izHWkyoO2WvZAQJ4,336
witsoc/__main__.py,sha256=AvftATj-LtlxrTR74s-rd_DvCkudGG3RlYe3ogg_IrQ,148
witsoc/cli.py,sha256=YOBbQe7SZ1K8aV-IvXb0O3dxANBR69CNS6xEvvm06CM,5205
witsoc/legacy.py,sha256=EuTeKW5IcutXUKpTfmmUIgyjEbSM-l0F7LfUrs5l98g,1318
witsoc/registry.py,sha256=4DiJE37tde4GPROCMzqd6T2EEvErsXu_4NZHN2gVb6U,5750
witsoc/references/knowledge-stores.md,sha256=R5wU7lC7hmizVwxL2lydTNnpuyzE_3drAt9NAgkVq_o,4809
witsoc/references/soc.md,sha256=ylInYQOXPm0m8ZOs2pVUu6Aka9pPNavt0pWXKiSbxkg,6872
witsoc/references/wit.md,sha256=k-NAoe2tPkQM82cK6iqpf-ESFoi3WA2IjtSMKOYOntY,17693
witsoc/references/core/algorithmic_strategy.md,sha256=-L8cNg0tlhoKXj_uInibDkspR_5OnCXThKOIrcgZ4gk,3977
witsoc/references/core/architecture.md,sha256=1fUQLjvAaIjf3RCnN_Td9asw_7qizX_oQrRsb5GN1FU,3773
witsoc/references/core/artifact_policy.md,sha256=-qcAWCRpQMF37xBglSR87ZNKs8_wVTSNmpJnZTdSceA,1371
witsoc/references/core/capability_catalog.md,sha256=ooD69Bidb9TkwkbF-XVnLUQbndMi6U6wMLNxgp75ij8,9904
witsoc/references/core/claim_acceptance.md,sha256=JrFZU5dsDq-tAb399gAI_CrWT1qGhsCvmRoswwzdGwY,2106
witsoc/references/core/exploration_strategy.md,sha256=qRt4fNEKW-vP1enzy3wuRcuq7TgxwQ7LxchwQzvbY10,13633
witsoc/references/core/failure_recovery.md,sha256=Sy5IadMf5Q1oKzAR71i337kzlw7x0dGVaKpnuqAKfSU,2410
witsoc/references/core/generator_gate.md,sha256=p-ICLKK1IuYjzGT2fVkrd6OPnkKzkfBJOX6HdFbSgh0,1531
witsoc/references/core/generator_harness.md,sha256=czCVM3HFzQ22pI_oNgTvdBm0PBd_wvSZK2IriQJg8ys,759
witsoc/references/core/goal_cache.md,sha256=fFMuJ7EHNeVcXaUKIRDAYIvhwTZcZM_rRLGakhoPSBo,798
witsoc/references/core/handoff.md,sha256=07NNeGNZCfcfUFSyNeM7l-w3OcJR0Jo8GaWbt_Uy2JM,7415
witsoc/references/core/harness_discipline.md,sha256=TPqCFtnL5V1bEqg-6_H_EEzeoZTjy2827YCYphqPlAw,2997
witsoc/references/core/intelligence_bus.md,sha256=nwmh3ayru31Q3gD-uqZ2gGVDd9gajKd6f74UYqPsVUM,4373
witsoc/references/core/interactive_intake.md,sha256=nPctmBOrXycnn3yiUfURmzLEBAJqw1AvlNvWVQYi7iI,5828
witsoc/references/core/lean_verification.md,sha256=EjXtPAVrK7iYzcTHmHJ0Omx6TwpoHhsa3_X7PPnxhPA,2924
witsoc/references/core/open_problem.md,sha256=wjiWll7e2XjqoFkDsjZ_GJ-Nqm7zKXLm6ss6UzGOI1s,4680
witsoc/references/core/orchestrator_fit.md,sha256=JYRWF7bn9roFGsfClLXs9kVOzL75u3HM0iVjJqA3k1g,5428
witsoc/references/core/plugin_integration.md,sha256=mGYgFljNikUcETcuzxrqslq5IY5COh5deZoAQDMXpCY,912
witsoc/references/core/production_gates.md,sha256=7ufpw96ZRXy0nKebs3RH7D5MmVkmqK11WF_8CSJKQKA,2250
witsoc/references/core/repair.md,sha256=viYnRLAxm9P7qKrkI-cqGkMGhmWIP-wGlIztFgtR2DA,1570
witsoc/references/core/research_machinery.md,sha256=-wuyPlNUKou-PqxdECFTN81AaaJuiIJYLhN11XTe2Vs,8760
witsoc/references/core/routing.md,sha256=oaHYPKKtxh0yhVRCDwH0rsPu5iaOPNdQnZJ1GuBLHQU,1374
witsoc/references/core/routing_tests.md,sha256=vAR5rQzIwx8XnhF_5LIFy2dfLRKoyhs5Zv33UaU5PGM,7176
witsoc/references/core/safeverify.md,sha256=qsLqqogYG8nq0645jmzy8UMpB8r0WumyT4rNLZkh1zI,1405
witsoc/references/core/services.md,sha256=Boxev9uZ6_xjhkg6M6SebVoR-n-RnuRNqYfzrIDFIZs,17016
witsoc/references/core/status.md,sha256=QT0yaX-wbsyvDIc2qdEvXi6aRrI6_RZd4P-kZAUg5p4,2576
witsoc/references/core/strategy_doctrine.md,sha256=97MhNAxEV_8t0L1ZghjwBgbALlyFsT8DV1yWUcZPnzM,3745
witsoc/references/core/target_freeze.md,sha256=YgJD1mt00DCff6VHWNK5NHzQioIEcyR61RNGaafkVUU,2303
witsoc/references/core/technique_discovery.md,sha256=kmbCKA-wseSezTCj7AVObccW6iRZ8PpHin8oL-Tbwy0,8093
witsoc/references/core/tooling.md,sha256=S2vxHHlfvH-1F9CHXZuxLxNuQTw5n_IjAPdpiIbxn2c,5024
witsoc/references/examples/compactness_disjoint_union_reduction.wit,sha256=AED45f_P08wzl-QOJWd73XXw3cd8VWBMUQu1gN2Ulhc,1338
witsoc/references/examples/composite_block.wit,sha256=1DutBcutHkuTbIcRraffqveYkWBx70Vr8C1ugoMp3ic,1370
witsoc/references/examples/finite_chi_bounding_compactness_template.wit,sha256=iotKYJnA__W-pcQJjpRXw1Ck60y04SV-ytfWZUWP0t0,1205
witsoc/references/examples/grover_constant.wit,sha256=xERBInBe6ARve6iO-uRVdwFrm0b14Na4YxEcaGTsGQk,2238
witsoc/references/examples/handoff_open_problem.json,sha256=YROZRs0RwEUGG3hCLzT6a4pBtZSOBtGkODvaSNMaAjM,12021
witsoc/references/examples/handoff_solved_problem.json,sha256=WsUWT8aWw7u8Wc3_3J4F5fi7uDMFSbkqTSt4O3t-mL4,9358
witsoc/references/examples/handoff_v1_blueprint.json,sha256=sDhzrpZSo5vbRcRvMVm2FFz6opqaLYhEmtL8_Hlfd-w,1970
witsoc/references/examples/sat_reduction.wit,sha256=k6TAcmIhI8GkDLmMakqq3976oEHw3Nj6f0ped1XaOp4,1534
witsoc/references/schemas/handoff.schema.json,sha256=rAQkK9Qn1VW_elM2UfmS0FqU--g5lgzEnv-ZhG-azK4,35819
witsoc/references/schemas/lovasz-spawn-worker.schema.json,sha256=qtuYnwtDN7U0DrjatPQaoKGXuAKRFWWE8ij7xq7pr2U,2208
witsoc/references/schemas/lovasz-worker-result.schema.json,sha256=9suRb1U90J1HJTpgYbX7NxsxJlUJWs71LUTICYVHBsE,2349
witsoc/references/schemas/route-spec.schema.json,sha256=AdENHVnF1Qw83bhTiioVnbZxhjrPR-0XjrHuVyf3d6k,1973
witsoc/references/schemas/witsoc-handoff-schema.json,sha256=AF_kmhAx7RsE1iBxWMTfj8hAhMhXCWofOxvGUN0mZ0E,4415
witsoc/scripts/_common.sh,sha256=e7JSgaJjoAx8r1Hh74ilQBWH_xBFxR-vomZ1LzAxrhg,4018
witsoc/scripts/allocate_portfolio.py,sha256=9Aa9pgb6_kFPXqHIz1xAV2ABpjRSwYrgalBByQSLeJk,4190
witsoc/scripts/analogical_transfer.py,sha256=v-iEvG3ZNcovzeCefvB40ac0a9PuiARpF4tFbTDUPJs,12696
witsoc/scripts/artifacts.py,sha256=IZD6myO8Ae26yFrIiZmzkWwGF2ozcx01YB6WMnKC3Tc,6429
witsoc/scripts/asymptotic_analyzer.py,sha256=ZRgYQNNqVi0phw_YP8ompC2PTaoH5WVbjWNlin76aLo,4634
witsoc/scripts/attackability.py,sha256=QilxdOYuTStJLHZSXXwdlR_duCxLdfnQQjMNH9ZNk8E,7575
witsoc/scripts/audit.sh,sha256=rRkNUlRVpqaGm4LzVHaq7-MLkdRHDjnS8mXxduXY80Q,3411
witsoc/scripts/autonomous_campaign.py,sha256=yxN6dn305dvOi9Cs-b8P58ClHu-YkpL5ATTvQFh5ehk,8963
witsoc/scripts/barrier_attack.py,sha256=4IjwXDzH1BZVX59VdzkbX94k_JWdB5fpWQZfWDYvnuE,17754
witsoc/scripts/blueprint_campaign.py,sha256=VBCuGVmVU02QSrFx_HQS1qh4rLcQbt9OaFMkapp4KMw,16521
witsoc/scripts/build_mathlib_atlas.py,sha256=h0JCQtCSJaze8qBo_JKAY_FBXVcKZv5HoHxjKhDbYgM,7035
witsoc/scripts/bus_apply_replies.py,sha256=Jytxxfj0tefHUKbO5bxwauSL_L2K5gBidLFVXdeQnqc,38925
witsoc/scripts/campaign_driver.py,sha256=vYIN_aY8Y6AzZHAHxBZlfKrDYu9nnuWHI7Zg9oZTcjo,21724
witsoc/scripts/check.sh,sha256=4LS1Aa7h_e-9b9yL1cf-TcO0HuG3F5mkRNl0kV4NvS4,879
witsoc/scripts/close_obligation.py,sha256=HhCEquG03jLoCNrdSVFUEYTttrqRjeYxw8tn1CQhLw8,28195
witsoc/scripts/cluster_campaign.py,sha256=9B1t8iSD2cG92F88SwooAdrhakBFBIlYXVjcDj2ktHQ,7416
witsoc/scripts/concept_generator.py,sha256=nVP69TnBy2Exr-HBFBlfGc8x-MedSs5N8Q1JTRSvGhg,9678
witsoc/scripts/conjecture_miner.py,sha256=ZmUdrfIqs8mjMHz03inCPZdwRkolH8h6ZeJPJluald4,8754
witsoc/scripts/conjecture_to_lemma_pipeline.py,sha256=vOPrtgCPnNkZxkbhdrg_lbyRXKQ5gvTecJsPKT5n7P8,25550
witsoc/scripts/construction_search.py,sha256=7HgBenwYKkQmzr7iLZTQ3vxnlWMsyKkM4q3aMi93378,6122
witsoc/scripts/context.sh,sha256=7ZJFaXRWSx5OQ507CaPN6bLm9o7lU9fwPzorOB5HIiM,1739
witsoc/scripts/core_lemma_atlas.json,sha256=jsv-0q0pSvay6UlVU4GeAVsNwStri3k2D09Mb400xQw,3499
witsoc/scripts/counterexample_search.py,sha256=-Y57bYUv1I6Bh3DXorVXjlvpoa3mKP3gcabghHNVYFk,9871
witsoc/scripts/curriculum.py,sha256=2GQmZ5uu4AVDlZThSLyElIZ2sD8ZuwWLEPgg-OsCjjA,5650
witsoc/scripts/curriculum_portfolio.py,sha256=MPeSDICjuQOMhY-g1ke5oC-KDsBXR6Q-cWs5HAazkiY,3790
witsoc/scripts/cycle.sh,sha256=nMG5JxPzRXwNYq9HJjwYtxTepBrMELOu1eypBemGmcs,2513
witsoc/scripts/decision_ledger.py,sha256=MKg_7LF1ulvjjBsZSbJbAej7ElVLFiU3bssV78CaJDs,13945
witsoc/scripts/decompose_problem.py,sha256=XhcoQDp5RkMb1AF3WstIoQ9du-4FQYth2vCJtCvfs_g,8695
witsoc/scripts/definition_synthesis.py,sha256=6lQm7pkUil6rOvJCbIKjPd1vaTQGx5tDqiWDYEBNsKg,12477
witsoc/scripts/dialectic.py,sha256=LvlwnDsvw6x-d3sHYe01tz_17YFLZ9CpZCDNFtmy5sM,6895
witsoc/scripts/discovery_engine.py,sha256=PpG5lXfBLa6W59Dt9BGma-PIPsDK3EhOWPy8TjZ_2eY,24863
witsoc/scripts/discovery_evaluators.py,sha256=7XexFwBtYsaqMEsJguoM6LQzNsyvgNjfK2SRot7a9zs,24647
witsoc/scripts/discovery_ledger.py,sha256=X7Xs1omaF11mwZM6JngIIIhfneWIyQ_vS5dkrC4T18k,6721
witsoc/scripts/discovery_lift.py,sha256=MkLlUta2mxgifh5LeCttmAvJoNBdACDCEEYXDhPwoVA,7443
witsoc/scripts/discovery_sampler_example.py,sha256=eNScHarZYv9QBFqSncVjAZ3RBMJBSxtTgHiMkpH8Av4,2978
witsoc/scripts/domain_barrier_lemmas.py,sha256=RBzsHfUFZjAkZWXJqiece4cqm2PyvLi99HHmGlRLMRo,24259
witsoc/scripts/empirical_miner.py,sha256=sRhV7eLuR3JfeADIFTTpaVi-P5H3ShtofW_qUOx_liU,9293
witsoc/scripts/engine_dispatch.py,sha256=42bMzP2urlEAdWIGTjNe4oN8KxP_V0xYIj_Irw9aHsY,22643
witsoc/scripts/explorer_approach_tournament.py,sha256=3-DM3ed7xnts5WoUwf8DV0OJ17JZ8-SBvB6JhCb5zN4,2675
witsoc/scripts/explorer_return_packet.py,sha256=Aj-YPP-8-zaihuGv8csZ-mqxvkoe4MQ_hQeynEZRevU,4680
witsoc/scripts/finite_graph_backend.py,sha256=nPjacao9QVxdjj880aYqcglkj9I_O__IZu1lmLsIjG0,7982
witsoc/scripts/flag_algebra_backend.py,sha256=ABDI_21UArmbnP0_f9zh_OhTczPKiSrJ6FrZNXwefxE,7569
witsoc/scripts/flywheel.py,sha256=bNk3Apzz80jvdiPNY3JNVdhABy0HbRmfyH-CvlA5bz4,7755
witsoc/scripts/formal_conjectures_ingest.py,sha256=0oe_eQwraJxch69ZKXwyefc1DX2R62OHlPnb6TAXDlQ,9179
witsoc/scripts/formalization_feasibility.py,sha256=HCjwmMjXGiLixwSmnTUpzNkz6L4SydWdJz7c7oAZhsc,6733
witsoc/scripts/formalization_obligations.json,sha256=YE3c5lQdE8tB8EbepmNar7dkwlUQDWeBZQKLdAHvvdM,11246
witsoc/scripts/formula_synthesis.py,sha256=RRrVdK2kBZi75ukLtd4MBoKQol2SMFN8HsIMhzeeY3A,6065
witsoc/scripts/generator_manifest.py,sha256=5UBke0ey6UcvaNuBZJl0YF9xncI1GEC1VAvtOBzkFiM,3886
witsoc/scripts/generator_package.py,sha256=IxbPXnX-39rE-67OmDryfgGPeXjPx9YcE-ioMYtIh6Q,11307
witsoc/scripts/generator_preflight.py,sha256=RVhm9BAsJOj-Q1Fvtq0ktXpPk8G-NjtUsQOhYAJLMBs,4020
witsoc/scripts/generator_receipt_gate.py,sha256=3UBYch204PSm2plYTUO9YAX6738yNoOSvACI2qbiCx0,3021
witsoc/scripts/generator_repair_packet.py,sha256=yFnjmAy1BBAM1PUw13zgBymobDzkAmqVjGoxOQszBXw,2961
witsoc/scripts/goal_structure.py,sha256=gNLCORv5v9GLtadmGgr2ig6S9mlNxLmFeSuCHeCUrB4,8258
witsoc/scripts/grade_witsoc_report.py,sha256=5uACUYc-S61RgrYb2wNVAoO2MvWt_3DwC31ruS8Sgg0,6424
witsoc/scripts/ideate.py,sha256=zooqH5ZSbmZzNgNw44XcsnWsgrXiPHfjQRiagAx1Bf8,23470
witsoc/scripts/ideation.json,sha256=3qVLQzNVYHwMGDLrkUnih2nJqe73-h0xP92HFe-Ie4Q,6657
witsoc/scripts/informal_proof.py,sha256=iTF7_yYpiP6dSzqL773dy3ac8QbpUEeltBJJJysygc8,8747
witsoc/scripts/init.sh,sha256=SLIigJ3vyS_ND0dDM7xinKqKHUV7-29S0xVLHmh7xu4,2511
witsoc/scripts/init_lovasz_run.py,sha256=0JgF_m9LnlYKXO1aNPHKCgnNWtorxRcudl3RwRNktj0,5709
witsoc/scripts/interestingness.py,sha256=YBXHbSIVOGUBBGlJIEie9hMZ3vHzy-FHyEhqIVt_GdY,6144
witsoc/scripts/kernel_tools.py,sha256=CAfDUm06m5dlkAsprEDSKYfNscR-CsPcta9WbhQc1bE,6069
witsoc/scripts/knowledge_store.py,sha256=pvyJ113Y-3NaDnx1U-Wdt9mFn5wjYyOsl-qgIgXnTpw,14048
witsoc/scripts/lean_check.py,sha256=atMQ_B9__zhQUVfrGXR8-xMJQxYam_uCoolQ-h6-Bbc,8583
witsoc/scripts/lean_tactic_scan.py,sha256=2NLb_dOkmtl3_Y0H3J_SyS0F2s7HGMl4KOSN_CmOgXE,4664
witsoc/scripts/lemma_library.py,sha256=m5tYa8C2crSIkxhwtvahC_AOHbp0C76qyurPkDk-vG0,10140
witsoc/scripts/lemma_pool.py,sha256=Gso_UZLtbmsZkdhdkXSg665hhpy0pgw3VcQmOX_Sf-s,10463
witsoc/scripts/lemma_repair.py,sha256=5ExJ4xmEk2OQHmIusrz2qDyevLvbM0x7nqj3wakoock,13753
witsoc/scripts/lint_wit_quality.py,sha256=XVq-ISaq-A-4Xum0NrCHJAv9taVa_Z3eBQFRJ5_kiL8,4879
witsoc/scripts/literature_atlas.py,sha256=AV_4YY3MHCjdkEYKTf0q_1scY5lK5PLzsWH00-za0P8,5318
witsoc/scripts/lovasz_agent_packets.py,sha256=-cmylVY3hMgIYkAvv5uNzq1tW8ZsCIWJOJY4Kpof9Is,4935
witsoc/scripts/lovasz_campaign_template.py,sha256=gzjo3W_ABwDaLgZ1WeGMSfyTAlSN_q5nZAqxIw1HwmA,17657
witsoc/scripts/lovasz_mutation_ranker.py,sha256=lf6HQygz9Lj4A6n5cotRtJU2lkvta0zc29ujmSa_5Qo,222
witsoc/scripts/lovasz_next_action.py,sha256=eu444l9l3kJrUfesqmVh0n5nSBhp1lBuWcJjPwMLDLc,3681
witsoc/scripts/lovasz_orchestrator_packet.py,sha256=x6ISDXATUChOzkKyRjsHyLz4Vv8FgK_Vdvu9_1qqkKc,3088
witsoc/scripts/lovasz_prover_dispatch.py,sha256=Md7Is5L8sCeF0_vEgWFkPUiUAejSXoZBCZScLCLj25k,18101
witsoc/scripts/lovasz_run_manifest.py,sha256=WiFacTd0kSlClRXtnW_TNlEpUkOWyb6sS0heIeqGwLI,6666
witsoc/scripts/lovasz_score.py,sha256=O-WzrhEN7229cnVjQHiCqoF2R4s7CZyvFepniJ9Bd4E,5324
witsoc/scripts/lovasz_soc_memory.py,sha256=ZjCfDGIeuOAGRlftCwbv27_XzX54jizZw_xHdzCSUcQ,9194
witsoc/scripts/lovasz_top_tier.py,sha256=WaA1OWIKtTAEoihn6QUyjjUahfZsozRvRZEQRiVhOfk,14614
witsoc/scripts/lovasz_worker_dispatch.py,sha256=X9ctwsRu1bTZZpt9t7EahTPh7R85Excl607k-cMfXW0,3264
witsoc/scripts/mathlib_atlas.py,sha256=CnI7EVg3Qm1vZH1GXLS6OLpcN1mNFjNxMRzDBkeHqyU,5988
witsoc/scripts/mathlib_autopsy.py,sha256=NiudAjhTy8N6jP-h9ygf2YTlR1cJnNB5GKfb2FVSbsI,6544
witsoc/scripts/mcts_lean.py,sha256=s4nFYZ23W1XEiDMfxLAUI7H1fHBx340suDMQJE5_QhU,7454
witsoc/scripts/next_action.py,sha256=eJLX0c9n0bFLvTMKLQTlbyirMiLfcgO_Dm1bZT7YPEk,6184
witsoc/scripts/nexus_loop.py,sha256=seMG9BJkV4n3J0-SzeqH6Hi9Wf-WdrCHEMioEc7mYi8,11310
witsoc/scripts/novelty_triage.py,sha256=oTWHiOWqFxqy22ZC6oegxiIWn3Zkt2X3dXamFPTHLYU,7152
witsoc/scripts/number_theory_backend.py,sha256=W__zcLobhp9pRBUkzUPNLnFG9ewza8rTK1OAKKK4QO4,8232
witsoc/scripts/olympiad.py,sha256=TI_V2i3O93qSuTnr3JRI8IQg7yAel2xPHDz4UMB-YTU,9566
witsoc/scripts/ontology_pivot.py,sha256=AWgmjRmpW8S0Aw-GBoI9QE5aPwXE3qXcEx_d0qtpzc0,16268
witsoc/scripts/open_frontier.py,sha256=7r6K_7ipbqcQBHtP1v-5UOSfuHMh5gzq4C2IXkod2NU,11213
witsoc/scripts/open_problem_report.py,sha256=QrhkNbci-zYRkGjC3MfxQtgJPE_Db0koiO7qA--WjmQ,5633
witsoc/scripts/open_rungs.py,sha256=hnIffnumKiPC3H3Q4csVTNXeFP-4NaVKpA-l2oFqHN0,6423
witsoc/scripts/opt_backend.py,sha256=Mdjb3Gkj4R5C7ARbPOEpP0OrF-2nhPTjBkX3UtAvvd0,9615
witsoc/scripts/orchestrator_plan.py,sha256=wctBJpPwxjeHhsd0Z78DlVBh67Z3SF5f4DDyIdVB_kY,5399
witsoc/scripts/portfolio.py,sha256=6-WxM6abAmfgWHzoSFAxolVYq-KgWkVgCeyeSJqDlkE,8685
witsoc/scripts/predicate_registry.py,sha256=bjdwkEtTblx_OiE_9ekR_CEigsqEYis2JOj9iKNufpA,7136
witsoc/scripts/premise_retrieval.py,sha256=4UkuUdgsPISTwthVLnC3kolUehkX3CYDwaefWUBuNwg,5422
witsoc/scripts/problem_theory.py,sha256=tnboOvp6V9NESu0CILEj1ubTN0yh1YOBRkBv7n554fg,14710
witsoc/scripts/program_evolve.py,sha256=mm4urPDeD8qZDRgIYYAdx1Bi8UyixJO0Z-ddGpyT1Ck,16040
witsoc/scripts/proof_autopsy.py,sha256=OOxwEISW5_GhiXBLQ8-MQGzKs2z8pEgKAYkDo9SZZy8,11531
witsoc/scripts/proof_bank.py,sha256=sv0X7saEbQTPq7pRmAV6FAKJRg0XPfi0A0WrpmNjuwk,6012
witsoc/scripts/proof_gap_to_barrier_feedback.py,sha256=xf4GnPbHN-GErRynua26Bdly4Bd7Skcso20_2Zs_FqA,11062
witsoc/scripts/proof_policy.py,sha256=aj9Hs94FeLK6lTZKE3vo_RltDyWUrdppIiRiHYUDXAY,5896
witsoc/scripts/proof_search.py,sha256=yXeGHZoHGAlhChH64_CkIgTZ1RXF3VOXFXezzy5HZCI,47738
witsoc/scripts/prover_battery.py,sha256=ORN4vZllIkbi-_9ogBpcp5B1xy2SHQRsb5l1RMy3-0o,8287
witsoc/scripts/prover_tiers.py,sha256=oA5zXKfCBfHiBAVmjznjuUwujkdrhc0cGu6MMKg0U04,6007
witsoc/scripts/rank_lovasz_dag.py,sha256=WqMBogNvW3pF37OFutwrJQ50-N6vPUseLRU76y6ZG8o,4266
witsoc/scripts/rank_lovasz_results.py,sha256=3i-5ajU1yuyKKM3l9J1FuD406SJlF1dp0lWy-ebjciw,3853
witsoc/scripts/rank_mission_menu.py,sha256=z-F310C15txRI8UBChYS2SpNw1lRO-fi_PA0leNdRFE,3159
witsoc/scripts/receipt.sh,sha256=UAv9E-azdz0NLFBTPRc_rqVWvt983NQLUpJF_lbqaEo,2031
witsoc/scripts/recheck_certificates.py,sha256=noI4ojdAi1Nml6dtSfdBvH6ocVW9cbGQAfqCNInLYLY,15426
witsoc/scripts/rediscovery_benchmark.py,sha256=F9HlnsYQCEOVhTt0LgOgTKRAV2SRQITXP80v-UoCoug,8477
witsoc/scripts/reduction_hunt.py,sha256=Z-YKKU99UdZMSbCgauJu2qywHaZJqWzGaw3T98JNtAM,11300
witsoc/scripts/reduction_ledger.py,sha256=sdLBs7ReTSa8oHXvCMnxyLz926sHa80J8i9Odmjk7wM,29453
witsoc/scripts/refute_deterministic.py,sha256=kfqVKv3KOBEjheVlJhZWovr85TWauDyN4TpObVgnNOU,4826
witsoc/scripts/request_bus.py,sha256=IKV5u-I-8_EXEZNvgYTY-1Y0WRJYTqnvux1SHoZFgws,22631
witsoc/scripts/research_campaign.py,sha256=iDVN6I3PQkdXfpwO6zLEI95NPuV7s_xed_ZIghhZnkY,14475
witsoc/scripts/research_search.py,sha256=vItM2dk14Lz1nGnjXgkB8vR_zRhepVZyYqqx1fKJxNE,4460
witsoc/scripts/research_state.py,sha256=fCc6x9XNZPrB2t9OPWrd4CmekYZz1fWrgTCvS82Uv60,12846
witsoc/scripts/result_ladder.py,sha256=bACFxAIQY0jxb-fWsnuBheebArBUDGYfFBHr9i39Yk8,5196
witsoc/scripts/retrieval_v2.py,sha256=x0nHZArFIZ0PIxKQqOJh9rVfQqEibuYnErk7Ea2aF7k,15271
witsoc/scripts/route.py,sha256=Mz9KGTRMuSd-CASDGKeERUJYYE2nZGHQGE-9v8h5_FQ,21075
witsoc/scripts/route.sh,sha256=MUAvPChhZhTLpCRbnSwFvNHGt9gfOAoum5zrbbnG6lA,134
witsoc/scripts/run_ledger.py,sha256=9Eldgvy6FJPRi5sljm5D71HptnNooKXrqxogHJhBdsQ,19563
witsoc/scripts/run_tests.sh,sha256=mxc95vKHy0QRKS3B3w6HkZijJoWraTcy7xRKJNCiYuQ,743
witsoc/scripts/rung_saturation.py,sha256=wb1PPli6zAzMzro5jyQRzgtRvKf8HqOv4EFAB6NeHlk,10768
witsoc/scripts/sampler_fleet.py,sha256=Dtv1GJA-R8sEq8ZQPzRfYZmuEj9d1uXlQvxZU1huX2I,6386
witsoc/scripts/sat_backend.py,sha256=Tvpeu2J6hiZOhmFdmFvZGGECahl6kh50l8CL-FAHZ1w,25145
witsoc/scripts/score_lovasz_results.py,sha256=0K01GE5eyUTW2dLPnMb2bs69pPdm1PUmjDltjbSeSVU,3480
witsoc/scripts/select_barrier.py,sha256=QWi80uGqJ9ybCjWmbAVb_jJMUTEqg3kq84X65g5ABH4,4146
witsoc/scripts/select_best_product.py,sha256=W4kcZ2sJq745m7927DR_vWA7zobtt7_w_m3r6ZxLIe8,4982
witsoc/scripts/select_lovasz_mutation.py,sha256=2eTJVv6VUypjRwVL4PEHb7pzpLiwd8WWBV7sp48TyR4,5010
witsoc/scripts/self_play.py,sha256=PA6393A1NaYZPPc55sF38EnBoVzOffxmfep2sDd11K8,8403
witsoc/scripts/setup_kernels.sh,sha256=fWAkyv82K6dKtwQJM11JbabigqNj_YWbl5MObbBXwP4,1816
witsoc/scripts/sketch_population.py,sha256=lpNoSqWHIvZKK8FU8dakm2xXlLXt6rqi3-n9WxvyMoA,23117
witsoc/scripts/sketch_tournament.py,sha256=_z4Gk5jkkn7NP4VUek4UilCkXE46lw7z7Y0LhaSx_cI,25024
witsoc/scripts/smt_synthesizer.py,sha256=A7fpRZ0Xd9rd303ktHPNYRkXbKy_qeQ53p--TJWzgZU,3583
witsoc/scripts/solve_claim_protocol.py,sha256=8nogw6pjZWKlq3WDpsD6xlpRbJB2ITRnog-kRzK5gUI,11175
witsoc/scripts/spawn_workers_from_dag.py,sha256=5yG8EuSKhlMHRcPwW-RC3oXJZun55svAnosgu-HBlWQ,4346
witsoc/scripts/speculative_arena.py,sha256=s-0SJJwAZ5t920KfwQ4Vanlb8lrEiTHGJ-001zC8Hwc,8093
witsoc/scripts/status.sh,sha256=GeAhs4MBO1RL_tPdLp3r6LjySFhA9fabb3j3jLxACOA,3550
witsoc/scripts/status_lattice.py,sha256=DDIxam3g9SFRpS6WljPupkecgC5sG_2sg-HIxvFAp0k,6532
witsoc/scripts/status_vocab.py,sha256=W_GwC4c5MHNcXYVSQld1hzI9YclZ2amJWnO1Cx9qODo,2675
witsoc/scripts/stop_continue.py,sha256=27w8z9UxlOay99foG8mcz_e09rrgygovEfYYfgw2uEI,3656
witsoc/scripts/strategy_score.py,sha256=oKuo-QiaWAK8vlZdO_JG0LUGTSXS6wxL1JBtw7OLIgo,6257
witsoc/scripts/summarize_lovasz_run.py,sha256=PgFkNBN3aYj2uK35I8-6ePkBYDOf8-Eb7uBa4S6Noik,3881
witsoc/scripts/synthesize_open_ledgers.py,sha256=CQLeJ8trYmEeD7qgn2EKe5LNnqycJMsTuZiPsaDYmNA,5704
witsoc/scripts/tactic_ngrams.py,sha256=1iofabxY7pqpswW0-8g1KedGP79OPxx3cKZ2wTmZbJA,7329
witsoc/scripts/test_analogical_transfer.py,sha256=7R9YmJ8nlxnszUGvCfH_-5Y2fmXRnsiQ-LuooYy1KXY,3181
witsoc/scripts/test_apex.py,sha256=1-bL6RgljxFzedXMj1KmO5M4dtJlqTWIxNUIVrHD4cY,8733
witsoc/scripts/test_auto_discharge.py,sha256=J5wflJReKJ06vVfORSR5-Y-HNjY4UFKgY-pf00_AE88,3087
witsoc/scripts/test_autonomous_campaign.py,sha256=_OcnAreh86uIC1swEAEenZ75b1fwzpKNOsvZIGKR3jc,4328
witsoc/scripts/test_barrier_fixes.py,sha256=pOSNScvtGbZfo2EK3YO-IDGBoVlxc2xZyGeLWlzqGK8,5783
witsoc/scripts/test_blueprint_campaign.py,sha256=-48WbIt6R4pSO6ZNRmL0xp7v9fIMii5jK2mT_VAjO0w,6285
witsoc/scripts/test_bus_apply_replies.py,sha256=R9kQn_SaELYZKgdkb222ISrkdHfh8DBugqGS-eQ_Xao,9742
witsoc/scripts/test_compounding_reach.py,sha256=HSx0aquBn89dAwauuLAqL2GDoNV5ORLMBQXDhRhnpbc,2817
witsoc/scripts/test_concept_generator.py,sha256=jrBR5Zv2ym79Sdt6I0iV4ItXf7WjK7O3plt5hvhc8lk,4288
witsoc/scripts/test_conjecture_mining_arm.py,sha256=MPWlD6hJ_l83hAZ8M-V6Iej32mUGs_LDVqwb99CgCrA,2366
witsoc/scripts/test_conjecture_to_lemma_pipeline.py,sha256=AZuKw5acZ4JH7QfvjUlNbWz5V3HGVopoIBIxehnFCeo,5810
witsoc/scripts/test_construction_search.py,sha256=9mUnK_CHTBIHahNZ-lY63IOPSeyiTfch3vhfYyN4Bjc,3173
witsoc/scripts/test_controller_and_receipts.py,sha256=WidgBKHN3CJtM2f8LOtv8pSprvCQBEoCdCXwUGUZs1A,11766
witsoc/scripts/test_curriculum_portfolio.py,sha256=OzqCyi50MS5J_CoQeRy-NcjZj2rr5g2AjzOTiWW9Kh4,3174
witsoc/scripts/test_decide_options_quality.py,sha256=tQ-X7lJMN-57oAoN7aGY3ySyNLqRVZjK912hSSlXdQw,6772
witsoc/scripts/test_decision_ledger.py,sha256=nMMdcOcIUkV5Ga4Qiwj5iuoBHc5Fb5XyiZOm2uvMXo8,6178
witsoc/scripts/test_decompose.py,sha256=BzUV2QrPFibmrsDFY5YMLi3bY4IPoGuVrE0dI_A34wM,2511
witsoc/scripts/test_definition_synthesis.py,sha256=Z7UztwPmMjYBCdCM7lqgdSK_QPwy_gq2aCpz_nqfzJA,5488
witsoc/scripts/test_discovery.py,sha256=uJyZciX1G3m7WzuMOF5jctlq4Jn3AO95k77Y7cV0Sbs,6690
witsoc/scripts/test_discovery_ledger.py,sha256=n6fE7XHvj_xSNNdE7SjzdQ7XKZ014TbkteLyVQS8EAM,5103
witsoc/scripts/test_dispatch_split_skeptic.py,sha256=DlLq1HhY62xAQ8HKZFSQKWFYo47jQKYVyaq00etRzsY,6523
witsoc/scripts/test_doctrine_invariants.py,sha256=RwEUxapmhz3WYNodlVoN6PpT9Y3dYkfcgwYL0dTvM0A,4158
witsoc/scripts/test_domain_barrier_lemmas.py,sha256=M8R10JTVlm1al_KAI0Vw3qQXmAAdWi-eFPdo1S4b5Os,7716
witsoc/scripts/test_domain_inference.py,sha256=4tdGFHbMZrMqd0bkbh-5F-i-5hx5HIrvE2uaPb5CMWU,3143
witsoc/scripts/test_empirical_miner_depth.py,sha256=glEJy-Xh6uyOd30UY_8HNxDQIp2lj566ioszMbU1dwE,5165
witsoc/scripts/test_engine_dispatch.py,sha256=tSgQTduR_Qg0j3aCfoszlVTq4pPPS5sN8p19nHIgn6U,5494
witsoc/scripts/test_env_blocker.py,sha256=Mzga4yLCGR5-PN8scFUVt6TfMOsLLYtX5_kG1h6gc3Q,7397
witsoc/scripts/test_error_guided_repair.py,sha256=aouaP7sXZUgyGNmvE13hP7fcBFjQXhBsUWfwLK12utc,4196
witsoc/scripts/test_eval_trust.py,sha256=2PClu6PHU8-EGiZWQWWTaab4f1w8LeVQRYpgT19-tL0,1709
witsoc/scripts/test_explorer_packet_reduction.py,sha256=l7QijmEnSsV4uPB6tDnNcjz4-lMkwQCIMzMks8a8Xq0,2480
witsoc/scripts/test_faithfulness_gate.py,sha256=1lVMuC3-X0bdc6X42ldz1r1aV19tEzMq-UXwRU757-E,3057
witsoc/scripts/test_fixtures.py,sha256=VvxI66z0fJe928AkRVjiQoxssoXMkx-0uU6S4uYj974,3186
witsoc/scripts/test_flywheel_wiring.py,sha256=wlrbreFFI6LSY7U1DVBJGVV18KR-XpdpIgxlCByqDaU,4658
witsoc/scripts/test_formula_synthesis.py,sha256=4tWMfW-W1BUT-4pBmR5Kx0I9_Ph_B-LSHc0AiVCPEys,3128
witsoc/scripts/test_gap_feedback.py,sha256=AG3m5i8ZiIOxE50o8ecG1mTlWl1eLlQOywwFkkdo5Bs,6898
witsoc/scripts/test_generalization_search.py,sha256=3VkvnHYgHofyhjWEyn2sYKsE02bex0oeSg7bP506lIs,3266
witsoc/scripts/test_generator_package.py,sha256=_dU3nrnkh7POyzxgoqJIAHVwO_TUUKuAbeL2koibBvM,4822
witsoc/scripts/test_goal_minimization.py,sha256=H3IqlL5kC7wpuyQG_P4PuVapI4SNMM6o5WX4kNanJaE,5398
witsoc/scripts/test_grade_progress.py,sha256=Jbfn6eYtpPBMCg9z8nhVp3mBHi4vdricnEMP8EWF0ko,6193
witsoc/scripts/test_ideate.py,sha256=rL7McjVEpRWIWxYF91Gzn2nQRJc8nCMKFufZeWbWcsM,7377
witsoc/scripts/test_knowledge_store.py,sha256=4drXpuPukqqo3rjcVfDv5LPIshSkGA_uaK5uFJJB9kI,7113
witsoc/scripts/test_lake_env.py,sha256=JON-p5GXNwUsoPqZQ5M2VocshbWPtVh-BePA9xV9g5M,3164
witsoc/scripts/test_lazy_cli.py,sha256=ErpOnrPQ4PgjbjS9pfbptOAH5ipxO6ot7pahYCcEwNE,2362
witsoc/scripts/test_lemma_repair.py,sha256=vcIlg8sUukjCpNgmcZdw7XCdu3S-W9lQlTZBg3079bA,5029
witsoc/scripts/test_literature_atlas.py,sha256=MhMsVF_9_kukUvX-RZYUWQkyQr2-0_qNQbkaB1S9r8k,4068
witsoc/scripts/test_literature_bootstrap.py,sha256=bZx_ewMon9Bd5zlQkO2N822GdR7qc6QFeIhXtxnyyXA,3864
witsoc/scripts/test_literature_engine.py,sha256=hRxNs6gNTx39z9lb5YRIxd2lh0Q71QKXjL-PqENpqhI,8818
witsoc/scripts/test_lovasz_algorithms.py,sha256=lCjbyJmf_8zZYwwDC_KQrOjKfiFVvFL4mjyPDTjFe18,6137
witsoc/scripts/test_lovasz_barrier_attack.py,sha256=EbOhTKNe5vkETDWXvmNxRiuMOEy82zHLIMFh-49jZxg,4600
witsoc/scripts/test_lovasz_drastic_gates.py,sha256=kyEdO8THcERP9unP_qHsXlySYjJ4TMSYKv3tzLdAvVY,3691
witsoc/scripts/test_lovasz_prover_dispatch.py,sha256=HOZz-ba6JP8Vw2U10Q0qXwCyPnBpq1Ljx64PubpBBOw,4466
witsoc/scripts/test_lovasz_top_tier.py,sha256=kCrTL19rOMMZRJMLWc-PgiAjrwjwbDRqJJ59fCDPvC4,2862
witsoc/scripts/test_mathlib_atlas_wiring.py,sha256=Z25zQrIoOQy2z6U4mxmhpFeeirRLMFDzu7Plx5wQpSk,5951
witsoc/scripts/test_mcts_lean.py,sha256=iW5--JuVGnbD-hg5kbGkEmafl5HolgQPOAOOci1atdo,3441
witsoc/scripts/test_memory_and_driver.py,sha256=uXp-Tq8YjtrvmNaKXMcqlds-AWFo05vFUa-BcemHWf0,6786
witsoc/scripts/test_next_action.py,sha256=RadwsNDZW-GlHFbzY9eb8A5LiQcIvsBw2GLGyGJefp4,2546
witsoc/scripts/test_olympiad_fast_lane.py,sha256=dgl2RJJTXvrQFRGOOVJ6o8zWiskK3AkZkJP5eRD9BJo,2050
witsoc/scripts/test_omega.py,sha256=i1KQGMAJTP6MgMiZ0U9dYEO-GScvXRGGj49bRYPVp1A,11127
witsoc/scripts/test_ontology_pivot.py,sha256=6lOAOMAXycEfaQl3bI6kAjRD4ApfXefI7zL4vgOvnS8,3504
witsoc/scripts/test_open_frontier.py,sha256=ADlCm7zVTdtjYYFvUayxdJhR7GRNesYe8D8ZjH7a3t0,4740
witsoc/scripts/test_open_problem_corpus.py,sha256=MBhhBwIDDeSjvqFZBlWShGUChAc2nLctVc_dGuRKHIg,5309
witsoc/scripts/test_open_problem_rigor.py,sha256=4DKsG1FhCriSjO_LfvNcdSstGCd2AgJYfCmDnCkn_Ok,6225
witsoc/scripts/test_open_rungs_gate.py,sha256=wSdSbmJ2lKl8JleL7GHHMGkqWpAWrCJmKYHntynczwc,2715
witsoc/scripts/test_orchestrator_plan.py,sha256=QDPiQAlv52Bn_Q96bsmkXYO87SzTXsziJqJmCdJIniU,2620
witsoc/scripts/test_p3_constructor.py,sha256=HMIHaJ-4tUnRXwjIGtx7YzkU5AKeI1JOdkbYk-GeOsw,5003
witsoc/scripts/test_p4_compounding.py,sha256=ezV15uCNCzi-7o3dDdatV3hIEBD-KgVt0FRCtHK2i2Y,5937
witsoc/scripts/test_phase01.py,sha256=5ARis1knECkfjIXfPbY7YMZBWORbUIPFtQsASoBEbOk,5060
witsoc/scripts/test_phase24.py,sha256=upgSCz1-IAIaCnl0mIp1IGyPzbYYs9tOkuwlpJ4nKTQ,3086
witsoc/scripts/test_portfolio.py,sha256=s16d60hems8ufdleZi8uJgrbVM1w810hacBaX2txrWE,2707
witsoc/scripts/test_pose_variants.py,sha256=9KZDvJXk6ABvKuD65sMyL23e65WGgOdsES65X_K9peQ,4863
witsoc/scripts/test_premise_retrieval.py,sha256=QLvK5K_0SDg2rzonjXs0wXCGDe3M5FePyKc0dYSNN1U,4024
witsoc/scripts/test_premise_retrieval_packet.py,sha256=hJHkycOIWm1wn6jE26Kwzs9uHBNMM8p744QEcwvGS8Y,2749
witsoc/scripts/test_proof_autopsy.py,sha256=SY3FEOUDzddXtCW8LWKOiuHgy2dN-dQVWfVE_zGLPs4,5645
witsoc/scripts/test_proof_search_induction.py,sha256=SYUaaEvynUlopf09q3Wa5EX_h4xcQXhJwNM9FbXKoNM,4639
witsoc/scripts/test_prover.py,sha256=nQe99WprujmeZ2yko-Sf5zQzV2eOg8gw-WHOy8kexgc,3384
witsoc/scripts/test_reach_unlock_lemma_premise.py,sha256=qGtTEh0s_FRj14aQwKSPi7guGqZrzclK3-dhe1i3n80,5058
witsoc/scripts/test_reduction_ledger.py,sha256=DeHoeA5hx893W5XJxlJQf--1ROBoJc_3tRL2i8K3foM,7675
witsoc/scripts/test_reduction_phase1.py,sha256=rjJm_iuo_rWVXZRbaefGgH3_4lc1j4N5DhbD6fSQPgo,6422
witsoc/scripts/test_refute_deterministic.py,sha256=XX7B8-rlITgSI4foiWM5LIxkZYYkypRPNlvMUDtyy6Y,2376
witsoc/scripts/test_request_bus.py,sha256=yJscq4t2T_EePsfkiOVJCsX0MIEJP-lzOMYvj4H4i8o,8331
witsoc/scripts/test_research_campaign.py,sha256=HUdaCJRLbXLNKJA_WokmRl_oA8oAH5B8h2_VxIS2S6Y,7251
witsoc/scripts/test_research_state.py,sha256=m9_6zPj_wLYcwnKtwmZG8I8scKIIu6KekoqeZujMtkQ,4712
witsoc/scripts/test_retrieval_and_pool.py,sha256=_7PRZXiPiaTt48UUolAGUIgM4FMRcRfwu79fFgJtUHM,8026
witsoc/scripts/test_route.py,sha256=QLdEt0Mu0yIf9ZGHSv0BZl79gmW1qN50sJQkwimxes4,7118
witsoc/scripts/test_run_ledger.py,sha256=rzMhClm8P80FTK5SjVGILXfLWp45se0fho9j7Q1v_Pg,9737
witsoc/scripts/test_sampler_fleet.py,sha256=wzn1g7A-ch_oaw40k1ubSwt-PckDNr0FPIvTWsZBhz0,7689
witsoc/scripts/test_sat_backend.py,sha256=vRnfK1TrDW1t35PTXV05mVW7JjVMEFvOsGP4WNsvj_0,8055
witsoc/scripts/test_search_frontier.py,sha256=UqljEKhSbVSXmwpkl4w9cOhxbBvXXjxb1I_jN0ciXfY,6774
witsoc/scripts/test_seed_lemmas_bus.py,sha256=nW_NhGPSRdzfFHYaGnnFfw6CbE2cuIEizE6bmclM0Po,6395
witsoc/scripts/test_skeptic_bus.py,sha256=NI6NnYheFt3I8-8AjLaw172hbhkYjE6MPqVM3U6_H6M,5315
witsoc/scripts/test_sketch_tournament.py,sha256=pBwx87elXJaZtluS5XfB3sY9JLDRJd3FR8H08AEmAd4,12420
witsoc/scripts/test_solve_claim.py,sha256=nsmBDN19uAWK_W179M2YFVqutjoC0QI0Mrs75uMu4jg,9427
witsoc/scripts/test_speculative_arena.py,sha256=nKtLXZ91JGeGBJbBMTG3L-BfKeTbVp_MZiCNyQA9ZJs,4444
witsoc/scripts/test_strategy_algorithms.py,sha256=2RE_Dia2y1hBZYIFmJTO6oUUQWDfl0SLmeMNUcWIXCE,5990
witsoc/scripts/test_structural_induction.py,sha256=yZkWgrNqhZFNywvxFulxoJHic1egwTz0_yeWket7SJo,2951
witsoc/scripts/test_theorem_extract.py,sha256=9CmZwRLEPc7RaXGQt0rHytvERY4uHtJ2wBOg7sqCZ_0,5627
witsoc/scripts/test_theory_and_nexus.py,sha256=vUpjlnbqURFgGMDjWGU7Wp-Wf7IDp5zwLQmtfwaan1M,7693
witsoc/scripts/test_validate_generator_handoff.py,sha256=oX4PH1p-uSGD4ZtIJC_bAKWReX2P0pvw4EMSqWC-Mcc,2986
witsoc/scripts/test_validate_premises.py,sha256=EgwhMTs-VhlOw_gRzI5qUtPwDQG8uWhGIaqnwacvW_M,1664
witsoc/scripts/test_value_function.py,sha256=8zo1mBG2mx-c2U9Wsr76DBaHEvSoMX8cWfiFdke5MUk,4313
witsoc/scripts/test_w3_w4.py,sha256=XSU1x2bLshvorubxmjeKKBRhAcRRSMzvaLSLNaRWC-s,4682
witsoc/scripts/test_wit_to_lean_obligation.py,sha256=Obna1iReRnmnqwPXaqpsq5P0hI0pvufGKJPqW9bzYLI,2793
witsoc/scripts/theorem_atlas.py,sha256=YiOP7hH1xFKdjZp03vasE6PCSvBWzshx-bZCmJP4Cck,16560
witsoc/scripts/toolchain_check.py,sha256=m4UsAX7hS4Z0kUOQxCH3hXBGVYk3jf5w7zA7ZS1WwEo,2657
witsoc/scripts/trace_harvester.py,sha256=jCxnPdJue0gLco1HD00KGSZeR6d-TdulZxwsw_woBEE,7363
witsoc/scripts/validate_explorer_review.py,sha256=9fExfv_56VXPar95033NvZt2VoRSWTV4dmfAaBgSluQ,7395
witsoc/scripts/validate_generator_handoff.py,sha256=ABRCMiM7cs1U4KJRebfISrBPJkDa9Ci_AZFvP-Ei3do,4334
witsoc/scripts/validate_handoff.py,sha256=jmu2ZHI-RudD61yZ1xRClhgINkhoTZTFoLR0yfGJfgQ,34510
witsoc/scripts/validate_lean_receipt.py,sha256=6myTimiTbtksDLYyucIPmhj-VSWly1mcypTXe8KaGWA,4994
witsoc/scripts/validate_lovasz_phase.py,sha256=FLlN0fpsfj4DmUgoayc4z2cZFUCodrtkok_TF2oFIKs,1838
witsoc/scripts/validate_lovasz_run.py,sha256=A_UIs8CMOrAG9mD-1X9fqj82UddOhvyZtNjtTsPNq4o,8356
witsoc/scripts/validate_open_problem_run.py,sha256=_hpXy7Gr_B1FiY5VSL-B29t6c0BvPykG7aufFPxWeag,12198
witsoc/scripts/validate_premises.py,sha256=fSNKl1noWBDeQEopaMRVrcU5OGHG7I6sanQaRmWqiJc,3298
witsoc/scripts/validate_proof_dag_integrity.py,sha256=IQNfVPPLCp4CTr8FlxIOx7tVIs493YXJBGy5VaiE9ZI,3965
witsoc/scripts/validate_prover_result.py,sha256=LubafGuvoXztxyYAfKznk2F6K-RHlzRrgWB4IxkU_s0,6673
witsoc/scripts/validate_route_state.py,sha256=proaXd9A3JqSa4q0c6mowMRICQGiwmsQsCsDR-UYmi4,3319
witsoc/scripts/validate_spawn_packet.py,sha256=9BNpHfVpJmQ7t8WlVibcpKrDJnmu7oGT58KV7R46_9w,3996
witsoc/scripts/value_function.py,sha256=2zc3d9VKIs_C6KrHkxz0NUsGD5SVIRGIlunJl2WGpRE,7230
witsoc/scripts/verify.sh,sha256=TF7elQYhDjnMrNekB0ct5rR4wvA5W7p2gaBsMZKtfQM,1157
witsoc/scripts/wit_to_lean_obligation.py,sha256=ZLIRHrCK9s-jCKve_FId5kimNurcK1iU-wosug2RdyU,11274
witsoc/scripts/witsoc.py,sha256=20kKfxRc10l7swnf8-ibTqQ_jquw8vxgy5Exlw1cHLI,380
witsoc/scripts/witsoc_controller.py,sha256=gNEXoycEQmumrvNcNKuVoRFqomzV8JNvzg4t-VxAcA0,13226
witsoc/scripts/witsoc_narrate.py,sha256=5hTeYp-5bC31lKMNcRJbBfW03_m7RqXuNampquHYsCU,30223
witsoc/scripts/witsoc_ui.py,sha256=N4c4mfOn53_m78FerJg9cnd2NLKlwHSLOHGK8KkTcVk,5782
witsoc/scripts/.flywheel/closures.jsonl_dir.json,sha256=YrX8FM2G_bmEeO5tT1nW2cYaXJbJVphucDNe0fpHtQw,146424
witsoc/scripts/.flywheel/policy.json,sha256=cEbXg70aRcBpL6gzhIGISrdMFx4688t7C_MwqRMTp8Q,19402
witsoc/witsoc-explorer/SKILL.md,sha256=uuXKKFUzDhp9G7rlyEFVqb6n-fyfGyUNjF11wJeRxaA,33932
witsoc/witsoc-explorer/references/open_problems.md,sha256=9TaDpA-n7mA873q4-SKGObZHVlB50fBElTyx3oWpZ5Y,5972
witsoc/witsoc-explorer/references/examples/composite_block.wit,sha256=1DutBcutHkuTbIcRraffqveYkWBx70Vr8C1ugoMp3ic,1370
witsoc/witsoc-explorer/references/examples/grover_constant.wit,sha256=xERBInBe6ARve6iO-uRVdwFrm0b14Na4YxEcaGTsGQk,2238
witsoc/witsoc-explorer/references/examples/sat_reduction.wit,sha256=k6TAcmIhI8GkDLmMakqq3976oEHw3Nj6f0ped1XaOp4,1534
witsoc/witsoc-generator/SKILL.md,sha256=CcxyE4lCOtGnRJV_1mF3MqJnhvnYznWufvs3e2YyXHo,33091
witsoc/witsoc-generator/references/examples/compactness_disjoint_union_reduction.wit,sha256=AED45f_P08wzl-QOJWd73XXw3cd8VWBMUQu1gN2Ulhc,1338
witsoc/witsoc-generator/references/examples/composite_block.wit,sha256=1DutBcutHkuTbIcRraffqveYkWBx70Vr8C1ugoMp3ic,1370
witsoc/witsoc-generator/references/examples/finite_chi_bounding_compactness_template.wit,sha256=iotKYJnA__W-pcQJjpRXw1Ck60y04SV-ytfWZUWP0t0,1205
witsoc/witsoc-generator/references/examples/grover_constant.wit,sha256=xERBInBe6ARve6iO-uRVdwFrm0b14Na4YxEcaGTsGQk,2238
witsoc/witsoc-generator/references/examples/sat_reduction.wit,sha256=k6TAcmIhI8GkDLmMakqq3976oEHw3Nj6f0ped1XaOp4,1534
witsoc/witsoc-generator/scripts/_common.sh,sha256=VBzkH5ANQc6DlJWCAVBZYtLbElMSwsukwwDAlLSyec8,4032
witsoc/witsoc-generator/scripts/audit.sh,sha256=rRkNUlRVpqaGm4LzVHaq7-MLkdRHDjnS8mXxduXY80Q,3411
witsoc/witsoc-generator/scripts/check.sh,sha256=4LS1Aa7h_e-9b9yL1cf-TcO0HuG3F5mkRNl0kV4NvS4,879
witsoc/witsoc-generator/scripts/context.sh,sha256=7ZJFaXRWSx5OQ507CaPN6bLm9o7lU9fwPzorOB5HIiM,1739
witsoc/witsoc-generator/scripts/cycle.sh,sha256=nMG5JxPzRXwNYq9HJjwYtxTepBrMELOu1eypBemGmcs,2513
witsoc/witsoc-generator/scripts/init.sh,sha256=SLIigJ3vyS_ND0dDM7xinKqKHUV7-29S0xVLHmh7xu4,2511
witsoc/witsoc-generator/scripts/receipt.sh,sha256=UAv9E-azdz0NLFBTPRc_rqVWvt983NQLUpJF_lbqaEo,2031
witsoc/witsoc-generator/scripts/status.sh,sha256=GeAhs4MBO1RL_tPdLp3r6LjySFhA9fabb3j3jLxACOA,3550
witsoc/witsoc-generator/scripts/verify.sh,sha256=TF7elQYhDjnMrNekB0ct5rR4wvA5W7p2gaBsMZKtfQM,1157
witsoc/witsoc-research-lovasz/SKILL.md,sha256=5IBvlq8f-mW0ZQVYK_o88KQJddT_9BH3KylQJB98alY,43909
witsoc/witsoc-research-lovasz/agents/openai.yaml,sha256=0TVbVmBTCx536GELaCKBnoxQBSotNtzT1LMCHM1iuy0,289
witsoc/witsoc-research-lovasz/references/algorithmic_research.md,sha256=G9lkyO80sr4D2thds9F6MHV8Sj5sLmmpqnEkY7T9cAE,3476
witsoc/witsoc-research-lovasz/references/barrier_taxonomy.md,sha256=cCqMgT00flZspKb4gidy_ZnEI3yUYF_7ODQC7hCpjP4,3394
witsoc/witsoc-research-lovasz/references/claim_demotion.md,sha256=oPo3RgTqntPPLcjIshq4MoSZ38rk2oFJ8WuPLU6heaE,1979
witsoc/witsoc-research-lovasz/references/computation_backends.md,sha256=xG47rJecMLot7YwbzuVcz-av-UsbYHAoHysN3vw6hiw,1170
witsoc/witsoc-research-lovasz/references/conjecture_mining.md,sha256=1RVhKPIja9dLQT2pBK1HlaYWJIVO209erCi7fC1uwqg,1904
witsoc/witsoc-research-lovasz/references/conjecture_to_lemma_pipeline.md,sha256=on1lVp7kbUp85BqgkAUjzTJZTghp_VdDi8ftMlHtPuM,1127
witsoc/witsoc-research-lovasz/references/counterexample_certificate.md,sha256=q1bH1IgMZpaG1_c2FIsz05vl0jmIx038346z8YQ4gcE,1451
witsoc/witsoc-research-lovasz/references/counterexample_search_library.md,sha256=hUcO1yyCb9rcm6sToIGh34eUnmxD422BFCwMJurq2Ac,1209
witsoc/witsoc-research-lovasz/references/cross_run_memory.md,sha256=ZpUAqMkuqfp5jvFOd_6-2xyZ9rNOvTCzG1nGi-GL6bc,976
witsoc/witsoc-research-lovasz/references/disproof_first_protocol.md,sha256=ix14qsaFRMW7kEVgvm4xgFwNnNpgd5AB7j2n3pXYZOA,1716
witsoc/witsoc-research-lovasz/references/domain_additive_combinatorics.md,sha256=6BivAe92I0mcOSyp28CYOImkoDRzHthCe5y8FjJAYBs,1374
witsoc/witsoc-research-lovasz/references/domain_extremal_graph_theory.md,sha256=uSx8zvcRvnm1-Qi-eRQQPkSy2tw2ZOZiexx529D8zVc,5415
witsoc/witsoc-research-lovasz/references/domain_multiplicative_number_theory.md,sha256=MCEebJ_21mefl48nF7_TjtLsawDINpSx3NsBxKTxWcI,1661
witsoc/witsoc-research-lovasz/references/domain_playbooks.md,sha256=0v-PmKo5A6vnyEhcS0fLwBGfR8ODmvIJq7wZgRJMStY,914
witsoc/witsoc-research-lovasz/references/domain_ramsey_theory.md,sha256=xjW3fhyYsCEbnoVFdGCCPLM8k4xVoli1OUQuJJnX728,1305
witsoc/witsoc-research-lovasz/references/erdos_level_playbook.md,sha256=H0KUm7f4asCUioO7i3T46Y9k43BKVGvGJzqReVmZoDU,4607
witsoc/witsoc-research-lovasz/references/experiment_design.md,sha256=X_B9ph_0Nc-jtJ6W2UpVdSbxYyLRgQIR--CzoYelLQQ,1856
witsoc/witsoc-research-lovasz/references/full_proof_campaign.md,sha256=UfLrGgaibhCFNq2_iZewSRBj1A5cjUsIlm8Gegk6Z64,1743
witsoc/witsoc-research-lovasz/references/full_proof_escalation.md,sha256=5G5UTUZev001BDh4bdQ44Gp7z4ltqHh9mEP7_9s06IA,1527
witsoc/witsoc-research-lovasz/references/historical_benchmark_suite.md,sha256=fU8JjnVCeEK3QcoOR1CtmatGFbiUo384es99nfjiRRE,2658
witsoc/witsoc-research-lovasz/references/lean_mathlib_integration.md,sha256=rA0eYLTaPyWBgSzjlAkMEB_3RhyRuf288IaPmz8RxpE,980
witsoc/witsoc-research-lovasz/references/literature_triage.md,sha256=0aC1ypt4RKTWh-u6RvKrFpgCwGKKKsaCkI5IuPguSzU,932
witsoc/witsoc-research-lovasz/references/problem_selection.md,sha256=nsbNtAcmPj9CVhemdaDXtThFJHYOX-iewERxwgwezCY,2614
witsoc/witsoc-research-lovasz/references/proof_gap_ledger.md,sha256=cw4obcqdcSMbZQIafSCX5LVFCnpBuma5lIqVJBDA2G8,1351
witsoc/witsoc-research-lovasz/references/proof_strategy_agents.md,sha256=oYSmoldOt3zgIt8QCcWYRScDO2KdKU5X16OaMCk0Rwo,1516
witsoc/witsoc-research-lovasz/references/research_protocol.md,sha256=Xz46NK48wmWu2s5Z27Ui8ZQjErK6wsx8u_JX7f3hRYY,14836
witsoc/witsoc-research-lovasz/references/skeptic_pass.md,sha256=XUSrI9ladlE6T1omAdD3P2f1op4DGuz7sU0NegTBX6s,1394
witsoc/witsoc-research-lovasz/references/soc_memory.md,sha256=sbyEMg2bZsVlRmkrMN-4nBXpwy0xKFh60Sfd_ZH6XDo,3094
witsoc/witsoc-research-lovasz/references/theorem_retrieval_engine.md,sha256=rKTcep67Ss2vmVrQYZZHLHYlZKZx0uQ4NvSFsa1cZaA,1176
witsoc/witsoc-research-lovasz/scripts/experiments/finite_model_search.py,sha256=mIvEZdmFjCzlo6Om4xk_JJtxdmzXvK7xucLIohN9wF8,4315
witsoc/witsoc-research-lovasz/scripts/experiments/graph_search.py,sha256=E21uEresWPLpQ124yQ3oezrOK1ae9L1iD6_zwKqOZlQ,2221
witsoc/witsoc-research-lovasz/scripts/experiments/number_theory_search.py,sha256=9bpDRr3PbYqLXlGhz_kw5xuFOyyoWipXWMY3sjsiQCA,2484
witsoc-0.1.0.dist-info/METADATA,sha256=-E44dn_L_Vjj0d1REwazaoMmZBhW-aA3u8t7EnMCRvs,3068
witsoc-0.1.0.dist-info/WHEEL,sha256=mffPy8wBnZQn2VnJUU5jE99KsxaSfiyMHV9Yt0aLVxs,87
witsoc-0.1.0.dist-info/entry_points.txt,sha256=KZuatCthRJuCvsev-OkCDBY5ea-_nnOLM90T5zEDiJY,43
witsoc-0.1.0.dist-info/RECORD,,
