witsoc/__init__.py,sha256=K7Cg7IedRVUuYQb_bcGe6rRIvtvk4VvoiY-3axjXegs,335
witsoc/__main__.py,sha256=AvftATj-LtlxrTR74s-rd_DvCkudGG3RlYe3ogg_IrQ,148
witsoc/cli.py,sha256=JZLesplLOpcAZIG1pfBIOGs_gqw4RzvMXXe_F3KXP5o,11646
witsoc/legacy.py,sha256=EuTeKW5IcutXUKpTfmmUIgyjEbSM-l0F7LfUrs5l98g,1318
witsoc/llm_support.py,sha256=yeiIRMNPNJqOqMivafxB3_7xdS5iTn1r5YkGR9sztns,14473
witsoc/registry.py,sha256=2h3xWv0mJ9NPzTwzOZDveE1CB3s_ICGgFk2uyU9mfcU,7866
witsoc/restore.py,sha256=6MkJZrtpE74-Ois2EUwqptKvy0nSwfgzOy2ASRxr_fQ,2496
witsoc/README.md,sha256=NisEcVj13WCtqBsvjL2x1-iqLvCmKc3XM3J-C-l3-fY,7187
witsoc/SKILL.md,sha256=iVwDU0rW2ATt3--Fq-hWdV4ygc42w4-gxWL95e8ucGw,17952
witsoc/bootstrap.py,sha256=4t9N16_MqEOjqS90Lz2nY8rKWmfKUhaC1jqgi4k4mj4,4655
witsoc/pyproject.toml,sha256=xn8mq81xW4-Yb4QBGjpLWyd8yU8ZI61HoIsa_oYG4lk,1931
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/explorer_modes.md,sha256=RCFvHkY640WIaLQfd6WdVg90nF5nZevrCx6mLU9Jci8,12730
witsoc/references/core/explorer_templates.md,sha256=_flJvYnv3QqZsBhjRYeQPoo3PSyGm_LD4Nw5726bHdM,860
witsoc/references/core/failure_recovery.md,sha256=Sy5IadMf5Q1oKzAR71i337kzlw7x0dGVaKpnuqAKfSU,2410
witsoc/references/core/generator_examples.md,sha256=mxZTEqpvAUnRRVpckr49wYvwuW1MsTg_btQGdxHwMqQ,702
witsoc/references/core/generator_gate.md,sha256=p-ICLKK1IuYjzGT2fVkrd6OPnkKzkfBJOX6HdFbSgh0,1531
witsoc/references/core/generator_harness.md,sha256=czCVM3HFzQ22pI_oNgTvdBm0PBd_wvSZK2IriQJg8ys,759
witsoc/references/core/generator_modes.md,sha256=Zrio6sSJV04QxhIgpuEXBAzW8XUlckqZfG6JnNsShfI,2606
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/llm_contract.md,sha256=iC17Bj_V-GFwbnydilWDo05WaWWqlupEpf1XcYCMS80,7189
witsoc/references/core/lovasz_workflow.md,sha256=S8eZO3sDc3_wfxaK4311Kb7dxgM0KA7ayOEAgcaUt3g,13341
witsoc/references/core/open_problem.md,sha256=wjiWll7e2XjqoFkDsjZ_GJ-Nqm7zKXLm6ss6UzGOI1s,4680
witsoc/references/core/orchestrator_fit.md,sha256=KrsczvPRGuasfZZLBeb_-Pli3msTjGpkQ6HVRbUFRj8,6086
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/run_playbook.md,sha256=-IUuwS4oJHo3yUB4p7eDlZb3a6-ARhUmbCSEEkwzD0o,11379
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/substrate.md,sha256=mtN8yn80kqWzMOrdTpXT0qHF8r88Av7Q-A9TXRkuACY,7846
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=Kkba6iabQ__GClP5qPI7pgicmnbszfX-sET6myF-kJg,5145
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/bench_harness.py,sha256=6tsN2ZODu6wYcky3l39Jub4T5OdIeHrLMNSnrcKKH4Y,4718
witsoc/scripts/bench_snapshot.py,sha256=HhFldj2rSlN1L8I1brJhyoZwNs2ZX-oSKAbYy_-9AlY,5840
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_budget_gate.py,sha256=TnOV8SzyvFX0A55Q8QPWBiEklwyfrqwrRzHv1H8kmsw,8856
witsoc/scripts/campaign_driver.py,sha256=wsMG0z3z0nh2XQfdtx6n-LHxTkCMlJJ1Oo3t-FZQtNc,23264
witsoc/scripts/check.sh,sha256=4LS1Aa7h_e-9b9yL1cf-TcO0HuG3F5mkRNl0kV4NvS4,879
witsoc/scripts/close_obligation.py,sha256=yqNlg6v4IqiRH1mYOwV-yq9TtqCDMYVfhLm5DZDqh-E,34189
witsoc/scripts/cluster_campaign.py,sha256=9B1t8iSD2cG92F88SwooAdrhakBFBIlYXVjcDj2ktHQ,7416
witsoc/scripts/concept_generator.py,sha256=nVP69TnBy2Exr-HBFBlfGc8x-MedSs5N8Q1JTRSvGhg,9678
witsoc/scripts/conjecture_miner.py,sha256=_3gvRA7j3k_Zk4J1RHVbrozfam1_KwrJu3-hQGcnlno,8757
witsoc/scripts/conjecture_to_lemma_pipeline.py,sha256=ynms7kG3SKzdd8fa-JCDao2hFYvWwt8R5bZRJAFhkYA,27704
witsoc/scripts/construction_bridge.py,sha256=PusoD2jJDw7gsodcWvbmUkPL_NEGkRobgs_IAl2Q_YI,4063
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/dag_prover.py,sha256=jChrSguhclUqxMPVobTcbi1FAYgNVnyj6DvrFxPOSi0,5672
witsoc/scripts/decision_ledger.py,sha256=MKg_7LF1ulvjjBsZSbJbAej7ElVLFiU3bssV78CaJDs,13945
witsoc/scripts/decompose_problem.py,sha256=W28wCgZGpXKM9RmDQ9zo9TTLtf7rPHLdFkP7aA42keU,13518
witsoc/scripts/definition_scaffold.py,sha256=Nzvi8-nfE6O73du-FmJEGfXwXCSGSZkl2_bhPeQ4168,6420
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/dispatch_prompts.py,sha256=DIgmTQSNiX31lYKGnjhAE29T9O11fgYdrF0aI087ryQ,5776
witsoc/scripts/domain_barrier_lemmas.py,sha256=RBzsHfUFZjAkZWXJqiece4cqm2PyvLi99HHmGlRLMRo,24259
witsoc/scripts/e2e_harness.py,sha256=OeHhFg5LPY9A0EzUTKUkhZ6-kxnz8lXLd8uA_ph1X1g,3775
witsoc/scripts/empirical_miner.py,sha256=IicPuhGO7NntkeTNnuFx6r1U2bm-Pen7OKUYi_hsWhQ,14531
witsoc/scripts/engine_dispatch.py,sha256=oGfjQBjO3CoHglDki8DPms-eppVAuKvSHyuEnTKgqOw,26767
witsoc/scripts/eval_harness.py,sha256=sCXa3UUpAEdYflrxfAt9UwzCsC5HWnsjLa-REKorEvM,18445
witsoc/scripts/explorer_approach_tournament.py,sha256=3-DM3ed7xnts5WoUwf8DV0OJ17JZ8-SBvB6JhCb5zN4,2675
witsoc/scripts/explorer_decision_packet.py,sha256=N0XoiBZo8I6ueKtBG1wQyg_J2DyyNpYMPWQjC6zDNuI,8415
witsoc/scripts/explorer_return_packet.py,sha256=-mpTN6SbrRA9KCne8ZvarVjPONEgr4O6olCEwKcTg78,6269
witsoc/scripts/explorer_score.py,sha256=8Oo9sH7Tez_34Xxn2FJFH27CUgqO75H8nDYLmOCd41o,2433
witsoc/scripts/explorer_target_model.py,sha256=gq4pw7jZ95zvXhwA6ja3mmIuIDpflgC84p6p-j_mXbM,9338
witsoc/scripts/faithfulness_gate.py,sha256=fGKPrH4OA0OZE-1aycgvg-YlD6pgrSzs50MVauHQXP8,9201
witsoc/scripts/falsification_battery.py,sha256=tC8eOZYZ8Tat7sJfcQ9zae4HCKRsUkXSoP1xVr9zVGA,7187
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/flow_spec.py,sha256=Dt9R0out2Wxe7aMA-fpLm-1dJXah86EDHU-tTjyRLE8,6908
witsoc/scripts/flywheel.py,sha256=q8Hx7m-F3yZM4etAmpbN9RVVA8ojjbocZCMa7b-8JH4,7796
witsoc/scripts/formal_conjectures_ingest.py,sha256=0oe_eQwraJxch69ZKXwyefc1DX2R62OHlPnb6TAXDlQ,9179
witsoc/scripts/formalizability_probe.py,sha256=eZr8pTQiQ7XcjdrWAxeSnlhe1VVLGaXNmFH1uHNfzKA,11856
witsoc/scripts/formalization_feasibility.py,sha256=HCjwmMjXGiLixwSmnTUpzNkz6L4SydWdJz7c7oAZhsc,6733
witsoc/scripts/formalization_fidelity.py,sha256=E8ahS7lzgSZup7yNLJyVrLrhH1teB2iYMgCPEPUlP1M,8659
witsoc/scripts/formalization_obligations.json,sha256=YE3c5lQdE8tB8EbepmNar7dkwlUQDWeBZQKLdAHvvdM,11246
witsoc/scripts/formalization_refine.py,sha256=zx8pEIeSfG8lx8uie6Grk8wRBPPHNpHFNUI7YXczdrU,14672
witsoc/scripts/formalization_scorecard.py,sha256=UCNiYVCREIe3-4BapXViRKGVT0UIw2f84lkH-Z4WOIo,5852
witsoc/scripts/formula_synthesis.py,sha256=RRrVdK2kBZi75ukLtd4MBoKQol2SMFN8HsIMhzeeY3A,6065
witsoc/scripts/generation_prior.py,sha256=xlt4-mX1YUuhTQsf6AGlz_rUoGKW-2oxYPuqXvadmzs,5574
witsoc/scripts/generator_decision_packet.py,sha256=uN4FynRaNHM_q0hzxvolrJv9NsDIMTsK9kO03xSsB2c,6819
witsoc/scripts/generator_manifest.py,sha256=5UBke0ey6UcvaNuBZJl0YF9xncI1GEC1VAvtOBzkFiM,3886
witsoc/scripts/generator_obligation_graph.py,sha256=zdaxxCrIAQQAa6H618_uroHVwhgdA7HHd1ydMFj1niQ,7379
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=R-ivmOo4fiyrCfHyUZTL8aykI_xapelSsVNGQRsucTk,5777
witsoc/scripts/generator_repair_packet.py,sha256=yFnjmAy1BBAM1PUw13zgBymobDzkAmqVjGoxOQszBXw,2961
witsoc/scripts/generator_score.py,sha256=PJELbUQ-rCp82dV9MjZDiYodFx3Y-ZsEOZKo5H_8rv0,2205
witsoc/scripts/goal_structure.py,sha256=gNLCORv5v9GLtadmGgr2ig6S9mlNxLmFeSuCHeCUrB4,8258
witsoc/scripts/grade_witsoc_report.py,sha256=-lS0GXCBdW6MzeIIhbywlfnob00EGAEPYk18JyDNXVg,14943
witsoc/scripts/graph_memory.py,sha256=NX_h8vy3eC6LuZLc6w3nya6sqb26ALf7hgkW2hfikZE,4027
witsoc/scripts/herald_client.py,sha256=CYcoAsN6vuA8A6oa3Kn0_Ib_GKVjQe0h1LyyNCYoh9g,5747
witsoc/scripts/ideate.py,sha256=zooqH5ZSbmZzNgNw44XcsnWsgrXiPHfjQRiagAx1Bf8,23470
witsoc/scripts/ideation.json,sha256=9eS50CsUysR_wDUTZ3-yqwyu8oDR77lGqV7MlOIlpMQ,10672
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/install_wit_plugin.py,sha256=rWJl__tUg3k4AwYxE252-JQ5V3T8-7KCD5HK1Pr9Mu8,2621
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=oKQEu_FOYJGVgpYWqw0DDNSX8uxONVhIAbocGkmgO_o,18373
witsoc/scripts/lean_diagnostics.py,sha256=GVlDiilSFotX8JOzQWBzCjabUtfXC2dl9lh404dbWno,21842
witsoc/scripts/lean_env_bootstrap.py,sha256=PWZ6L4aE80z-Kemi8iNOpN-_3KhrCxw2OdOQqQ75re8,6697
witsoc/scripts/lean_generate.py,sha256=XW1mBosKEhpbnYr8Tt_Ql1_Q0UGBdit2767uSemEqhc,14223
witsoc/scripts/lean_pattern_bank.py,sha256=-pIWXTVRnC2FSAdiW_waZXtZ8YLC2pRCpNScBe35DLU,7017
witsoc/scripts/lean_repl.py,sha256=zwWT5sITNf508ajcR1Q_lwUhXJIj8TBB_Up6A9Izvy0,19664
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/literature_engine.py,sha256=6s0eHcCkA1geoPwSrMk0ZqRYuonIjKbjKZ4e1MgF6d8,21696
witsoc/scripts/llm_prover_lift.py,sha256=MKXbzsilNuuBtWnpRUwIXjO0O0cP45kgE9H-pSlXJDk,3434
witsoc/scripts/loogle_client.py,sha256=jV3lhI8mWNYhej9DUOzI8xcwrnQMZswcD_MzwpNyzbw,3221
witsoc/scripts/lovasz_agent_packets.py,sha256=-cmylVY3hMgIYkAvv5uNzq1tW8ZsCIWJOJY4Kpof9Is,4935
witsoc/scripts/lovasz_barrier_autopsy.py,sha256=ghF0tbTgD7Mcdlh6dpXe-fYlZhjlXxKuezFFb6L0HB0,6787
witsoc/scripts/lovasz_campaign_state.py,sha256=UxhbcuJVyQsBNvp2jLTLX7Ez0T_FOfhgSCVRjVNy5VE,6207
witsoc/scripts/lovasz_campaign_template.py,sha256=gzjo3W_ABwDaLgZ1WeGMSfyTAlSN_q5nZAqxIw1HwmA,17657
witsoc/scripts/lovasz_doctor.py,sha256=LHTjmPGhIvrXhWLRTxdcHoVoabzUpCM2TNsXp397uQI,3819
witsoc/scripts/lovasz_judge.py,sha256=Eyksoz2W4-mY0rjNE5h9DuAjjeTzvdGrXXmmHb7iO9I,10357
witsoc/scripts/lovasz_kernel.py,sha256=0LS8eD7keL71CZ6Hh9bPANgn66fa0DUkyFelzVXk4cs,19043
witsoc/scripts/lovasz_loop_health.py,sha256=aGZBKTMs95oyB2ZjSCApQKbVCNCit4Pwi0HEKE-NKpA,3155
witsoc/scripts/lovasz_mutation_ranker.py,sha256=lf6HQygz9Lj4A6n5cotRtJU2lkvta0zc29ujmSa_5Qo,222
witsoc/scripts/lovasz_next_action.py,sha256=YqsKlald6RparETXrwt1GkBZmKkwixZ1DI8NLSw4jcA,4762
witsoc/scripts/lovasz_orchestrator_packet.py,sha256=Yv3qGokRN_XogrVk0Oamwll0T6uRlYvMEcIwvcnWv4A,5357
witsoc/scripts/lovasz_prover_dispatch.py,sha256=RJf5vm85XbL7QAof-Xf3jVfTjor0IbFTBN0GrXQZNx8,20880
witsoc/scripts/lovasz_run_manifest.py,sha256=MAQ87upWqeT38xDZNeeR0ui5RvUUgQPYaaE3Xqp4djE,7292
witsoc/scripts/lovasz_score.py,sha256=O-WzrhEN7229cnVjQHiCqoF2R4s7CZyvFepniJ9Bd4E,5324
witsoc/scripts/lovasz_soc_memory.py,sha256=ySAeCqfti09Oj3MpbsDyT9X0bP2e-NnLZpN4_a9naE0,11398
witsoc/scripts/lovasz_synthesis_audit.py,sha256=iVa6Ml-SlOK38mloa1x8CnE7WBbbVT8fClwrY2dAMn0,3185
witsoc/scripts/lovasz_top_tier.py,sha256=WaA1OWIKtTAEoihn6QUyjjUahfZsozRvRZEQRiVhOfk,14614
witsoc/scripts/lovasz_worker_dispatch.py,sha256=UiHAewE4ZIJSNs5_h_BOS8B5PlnV_wIy-yC1pABnnuw,4803
witsoc/scripts/mathlib_atlas.py,sha256=8G6AiNfCbHSDz5rbzUJlHfIA_HIJTLqiHjoom4xAiOE,8801
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=Vtn32bIdO4Z8S4JEWzbXwqEMy1aMPNP8wWJapCUBWUo,13478
witsoc/scripts/novelty_triage.py,sha256=jYjCipGcdiRsNPQa4WONi9j8OhuSh6sn0Xsxliz0UUc,8438
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/orchestrator_policy.py,sha256=sHHpd5JnllEo3asbLXx9cO2KbxSui_dWNbmWd6moWD0,9415
witsoc/scripts/personas.py,sha256=DokGUrfa6Gaajrf644yiKSBEiVEdLFBqTYcFGvM7iPw,9308
witsoc/scripts/plugin_shim.py,sha256=ZJ-hLwo8Zitk5sGSapPdU4sfNnXWOFoW2tMKHG908Vc,2172
witsoc/scripts/portfolio.py,sha256=6-WxM6abAmfgWHzoSFAxolVYq-KgWkVgCeyeSJqDlkE,8685
witsoc/scripts/pose_variants.py,sha256=pmZT7I1ES46L0eUMtgXw9AadWVtIOE10w3uGrm_udlU,10899
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=uc2XIPul1s4FjF5zanRClkG3moMuOlnJ4dv_o_2OEfA,24992
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=ySfVX8IDdVs3yuhJLxwGur1N7ccdlMx7ux5fJcdxHSI,49543
witsoc/scripts/proof_workflow.py,sha256=B0Pp_fdVbxBXSpURt04V6tXpxgqCfWaqquGaGWphI7A,15282
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/remote_lean_burst.py,sha256=YUpZlQJqdPCSKI8Hsxi-bakOrdpRlqQ6oJNAzoj_StQ,4702
witsoc/scripts/remote_verify.py,sha256=JZEriJMJjz8gvNXr2ZWeV6ZOoPi6gGYAsMGrG_Vpn_Y,4189
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_corpus.py,sha256=Yd5prhiR31ywPZjLPz4AOn5w1pc7ApW7ppTitVhUYZI,11735
witsoc/scripts/research_search.py,sha256=abJ5nSql4CMXLuL7hlkuhgYwSuUXMPbIvDnUMrTXenU,4488
witsoc/scripts/research_state.py,sha256=pQlSlMEqn7KhN1t-H6NXPIuEdcpkuVtiuIQFlaPh3Mw,13156
witsoc/scripts/result_ladder.py,sha256=bACFxAIQY0jxb-fWsnuBheebArBUDGYfFBHr9i39Yk8,5196
witsoc/scripts/retrieval_v2.py,sha256=3BOZ1rifTYca7sURkof_v_w5ubkQwww6BuIjNYXnLpo,15444
witsoc/scripts/route.py,sha256=9AOStJEvW5z8a6PZNpcllfMa218b06QgrxuEDi0g9sI,19137
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=Gm6sHmqZG6_np8i7G6PlnYtvoCX2Ba_31yBiRyhPbsQ,7208
witsoc/scripts/sampler_fleet_shim.py,sha256=UekxmEfNhxGImV3scb7O8W5vAnoMVM_sJAof_OOgf1A,2125
witsoc/scripts/sat_backend.py,sha256=LZLi2l3epSp3-ZXTor9BvI1jTjisngZlfejv7egr4ms,27833
witsoc/scripts/score_lovasz_results.py,sha256=0K01GE5eyUTW2dLPnMb2bs69pPdm1PUmjDltjbSeSVU,3480
witsoc/scripts/select_barrier.py,sha256=CFIygOzo8Yd0o-83hmR03oNBLkQ_hqVXfLfjhAJpx3g,5421
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/siege_report.py,sha256=O5F3remCQicx7ifdB-KeMdaIQ6Gj1CdqR1jx--ESeus,4819
witsoc/scripts/sketch_population.py,sha256=lpNoSqWHIvZKK8FU8dakm2xXlLXt6rqi3-n9WxvyMoA,23117
witsoc/scripts/sketch_tournament.py,sha256=_z4Gk5jkkn7NP4VUek4UilCkXE46lw7z7Y0LhaSx_cI,25024
witsoc/scripts/skill_scorecard.py,sha256=r-FMxxezjmLzsanx8l2X1Qcuwezs1vT2Emd0s_oqZs0,10356
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=-wUnot6DGyUIsCof3F83k9-DcOlPN6NL2MfA0giPt1A,4606
witsoc/scripts/speculative_arena.py,sha256=s-0SJJwAZ5t920KfwQ4Vanlb8lrEiTHGJ-001zC8Hwc,8093
witsoc/scripts/status.sh,sha256=GeAhs4MBO1RL_tPdLp3r6LjySFhA9fabb3j3jLxACOA,3550
witsoc/scripts/status_lattice.py,sha256=GCf-hzL9e-7i_eTpncJhS3aAvwnabPaLDb-HQlNXc4M,8181
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/sync_canonical.py,sha256=BgdK9w6wlvEgar3CxoN73b7jo6qBRNc3m5vPdlsoPlc,2781
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_bridges.py,sha256=um5ajAZanIWUUEvosllXSrMQDn7ab-kI3IAbTW9Spko,3849
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_d2_invention.py,sha256=e82hoJHFqqRYe0Pt-3AY-uuZ___GBLjSej_zcYkiuok,2252
witsoc/scripts/test_d3_reasoning.py,sha256=1M04eLVm7RLCLzk06oUW6AxYmMBVhmYkY70EnLocLCE,2650
witsoc/scripts/test_d4_search.py,sha256=pJrM1ISaYZYfXHp66dqf-08m77ihSDTApeSoTrgvLKA,2380
witsoc/scripts/test_d5_memory.py,sha256=zMJdCM_9viUaK7zndQ0g7r-UAK6ScyJCWS7qSLEbT7Y,2596
witsoc/scripts/test_d6_formalization.py,sha256=L2kNm3iKn4pfa2MabxtIpAIA8MIK-M9mPYuYz0VcXco,3487
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_scaffold.py,sha256=ODUzTS5aizgCvLDLH4BzeRLMWY9yydIp_Icn_cKlNmE,2458
witsoc/scripts/test_definition_synthesis.py,sha256=Z7UztwPmMjYBCdCM7lqgdSK_QPwy_gq2aCpz_nqfzJA,5488
witsoc/scripts/test_discovery.py,sha256=uJyZciX1G3m7WzuMOF5jctlq4Jn3AO95k77Y7cV0Sbs,6690
witsoc/scripts/test_discovery_bridge.py,sha256=N-XsNHFogUtFeoHI0_j0lG7inSrNUTn7_4GLeHHuEJI,3101
witsoc/scripts/test_discovery_ledger.py,sha256=pXVS4fteuPQ-Ti_AG_lbMrl1lAS6rLCrZYrKwoq9UPQ,5137
witsoc/scripts/test_discovery_promotion.py,sha256=7cn4x5LZJcRp6GqCNxJb-k9oaAMoksDc_7sTi7G1VtQ,3395
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_e2e_harness.py,sha256=70mKrV67K-Rjrf7QkkZyZDk3tpoGJM0Z9mh0hiOsVhw,1489
witsoc/scripts/test_empirical_miner_depth.py,sha256=glEJy-Xh6uyOd30UY_8HNxDQIp2lj566ioszMbU1dwE,5165
witsoc/scripts/test_engine_dispatch.py,sha256=xouj9a-jw_r5ktzNhC1lEhxEalNamF6TjotFVGZCvJE,5550
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_generator_algorithms.py,sha256=P4aFObWs3fOOPwlR57dfhjHxnDVSgkxr0f66Ks26JXk,5764
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_falsification_battery.py,sha256=gFCWkJ0mYwr5WgvJdyaipkbpo8hte_9yxuB7daas534,2778
witsoc/scripts/test_fixtures.py,sha256=VvxI66z0fJe928AkRVjiQoxssoXMkx-0uU6S4uYj974,3186
witsoc/scripts/test_flow_spec.py,sha256=JLMG6DjwTylD_CVBhyjU69NPKfBXfpRGw3hNjiTI4B4,2939
witsoc/scripts/test_flywheel_wiring.py,sha256=wlrbreFFI6LSY7U1DVBJGVV18KR-XpdpIgxlCByqDaU,4658
witsoc/scripts/test_formalizability_probe.py,sha256=NwosUWsR6xMI0jOc4v2po-qE0APJ_-QIsT-zJnp-yV0,4540
witsoc/scripts/test_formalization_fidelity.py,sha256=nWHBmMfMpZUrU_rDNl2g6ZSEQw-RsCAY1HY6RAucDdE,3550
witsoc/scripts/test_formalization_refine.py,sha256=B1GbcVm2r_c4sSU7Hr9CgTLlWmZ1CHT0e-Twr9hhPBc,5551
witsoc/scripts/test_formalization_scorecard.py,sha256=j4j_vgKW6F4E1JKB9OK_8Ot9bKvMWdSVKVR5GOjnEMo,2538
witsoc/scripts/test_formula_synthesis.py,sha256=4tWMfW-W1BUT-4pBmR5Kx0I9_Ph_B-LSHc0AiVCPEys,3128
witsoc/scripts/test_fuel_autowire.py,sha256=e9trO3emEDNE7vbc1lfVRpqxKFZEbIigUHrBFhYtF1s,5180
witsoc/scripts/test_gap_feedback.py,sha256=AG3m5i8ZiIOxE50o8ecG1mTlWl1eLlQOywwFkkdo5Bs,6898
witsoc/scripts/test_generalization_search.py,sha256=3VkvnHYgHofyhjWEyn2sYKsE02bex0oeSg7bP506lIs,3266
witsoc/scripts/test_generation_prior.py,sha256=9fWizd9bIhTNeeKWnbEd5-6m5M_WiI4jFzStyOfiybk,4173
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_graph_sat_muscle.py,sha256=B6lpLrpNx1HllG0o4PpArZNd-xXB8UnQYWZikfCgqJw,2705
witsoc/scripts/test_herald_loogle.py,sha256=YQUK-4CMf1v6M3MghVUDtt3_xSwlRtK_HkvGs837ZCo,5863
witsoc/scripts/test_ideate.py,sha256=rL7McjVEpRWIWxYF91Gzn2nQRJc8nCMKFufZeWbWcsM,7377
witsoc/scripts/test_informal_formal.py,sha256=gVhMlndZ2QGqp_Dkk7wx2Eqa7KW7nxxyL8aUpD_YmwY,3192
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=YNDPdmU-7XokBDgoQ6MjEPDFV5dnagEv1eKGS8eN6GY,3572
witsoc/scripts/test_lean_diagnostics.py,sha256=YMJB72VGCh4Ld_GBHrZZ1J-Z2BCFuTXXjH0qsRL6AMA,5123
witsoc/scripts/test_lean_engine_snapshot.py,sha256=iqdLe1t2Fwp0ANmft08ihTY9i05cm8EHYN3Xqvl4MOQ,5772
witsoc/scripts/test_lean_generate.py,sha256=VrUfz4b4wXLZUIn38LJIqbVuy_Ek-NYwrg6dH_BSFqc,4480
witsoc/scripts/test_lean_pattern_bank.py,sha256=FxowMKM08QqUnBRB5lhr-R-apQv4BNy7PRH5IjsmxaU,2181
witsoc/scripts/test_lean_repl.py,sha256=N8u8GTPZyDRN9JE-dBqkp9Bb7Z44IfWz0cadtCf9NLs,3446
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_llm_arms.py,sha256=UkqffXVSwpbM4q5An6rEHFAQ8cB0rLSHNoKmTFRFFLA,4217
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_memory_bridge.py,sha256=Rc92ksSAdYAb8lrftAxZDolh6YPwRBNwRvj3nZIZkoQ,1593
witsoc/scripts/test_next_action.py,sha256=RadwsNDZW-GlHFbzY9eb8A5LiQcIvsBw2GLGyGJefp4,2546
witsoc/scripts/test_nexus_feedback.py,sha256=nqhcBxEmrY_q66FH_gwh_LS9ANLpYg6LMn1hWSgrUOA,3149
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_p5_end_to_end.py,sha256=yVaenB7D3YtUi1yBjaiMSP2ZG-63ZkZuvLqoRzO7e7Y,4781
witsoc/scripts/test_p5_redirects.py,sha256=nUl1oiDuDa0PnNuFBGeePBVoC_yjnsRuPXYeyUr3TFE,2664
witsoc/scripts/test_personas_dispatch.py,sha256=Je6VgurwkmFc6i_IJ02XgUMRpd7YPx-O6eaoK91c9PA,3939
witsoc/scripts/test_phase01.py,sha256=5ARis1knECkfjIXfPbY7YMZBWORbUIPFtQsASoBEbOk,5060
witsoc/scripts/test_phase24.py,sha256=upgSCz1-IAIaCnl0mIp1IGyPzbYYs9tOkuwlpJ4nKTQ,3086
witsoc/scripts/test_phase4_hardening.py,sha256=ZF1awXFdwFVRY8WvxpJDaysgvQUsTvwfE4ofYb1mzlY,4536
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_bridge.py,sha256=XoCblNIkF6UKiPSY2QQS78m1KxV9o7I0oYoDpe0zcYs,3884
witsoc/scripts/test_proof_harvest.py,sha256=JPKzeL4nG64h6Ai2pUpRgngDlrU7dCQ6jg-5m_ce-wA,4826
witsoc/scripts/test_proof_search_induction.py,sha256=SYUaaEvynUlopf09q3Wa5EX_h4xcQXhJwNM9FbXKoNM,4639
witsoc/scripts/test_prover.py,sha256=nQe99WprujmeZ2yko-Sf5zQzV2eOg8gw-WHOy8kexgc,3384
witsoc/scripts/test_ram_governor.py,sha256=H8lZ_pEWWH482Z-pgidMLdyoFsotgzSfz2OJW1l3-Yg,5152
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=tYeddUx8eW-lTicZ2cMfERVeSv-6ImaGRmaHcFGBQ5E,5148
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_services_abduction.py,sha256=6liT_lAer-qXngc9JscXDfDgbKjHJrazZQka08fUAxI,1709
witsoc/scripts/test_services_autoform_vote.py,sha256=aPPpxjj5yEON_2KGMyL3B7hrAI9aCTX4J-83Ayy8qZg,3249
witsoc/scripts/test_services_baseline_harness.py,sha256=Kr-nGrlk-bc_KaMyRiPo6_l8vqY_UzsrrcfI2S5Gxoo,2836
witsoc/scripts/test_services_concept_retrieval.py,sha256=x6gR-GLnWTmCPj_LcrD-xuVU_pnxuaT4NesMRYIm3Lg,1906
witsoc/scripts/test_services_conjecturer.py,sha256=KJ8IO7RY7G5SYAG2BJsbKL06fmOf_Bg2PuzCc4fC8lE,2015
witsoc/scripts/test_services_decomposition.py,sha256=vWm8F5i1Rtgr5nQUpEUGxF2vxHYtJ1Qcn-w1RWlAhC4,3066
witsoc/scripts/test_services_ensemble.py,sha256=517BFURIj47pPcxVXfk-m6uRXnE8TaiB9_8J7qydJeQ,2249
witsoc/scripts/test_services_experiment_select.py,sha256=HaX2WmjfvtLxmgHV3CDxsDX6C2tXZk_-rfbZa-GBEN4,1831
witsoc/scripts/test_services_expert_iteration.py,sha256=H7LagqqhS-nw12k03kVJGFOlnFw7hMrFTE4JQZ7-oIo,2436
witsoc/scripts/test_services_formalizability_contract.py,sha256=1sC_pfvcnJk8pxlMItGmyaQMRgY5-E-tNMFX_7A3Q4Y,3092
witsoc/scripts/test_services_fuel.py,sha256=aq6aysALEPpDrEeaR3X0yPiBCh9TnSzjoCUdIxjKzz8,1861
witsoc/scripts/test_services_interestingness.py,sha256=YRp27ZaMmn99yI3O_EGmIsGxoVdaIROdXUgos8L1KiI,2267
witsoc/scripts/test_services_lean_engine.py,sha256=Tk7tgpiPjUQzNJJBNRfmu67EdnnAF33gKps4bceqej8,2902
witsoc/scripts/test_services_lemma_discovery.py,sha256=qKSDz0fUdi3xkKvIe9OLgK_Usf_Dc8kUYgq2ruO59Mw,2896
witsoc/scripts/test_services_lemma_pool.py,sha256=YBA7bOrVB4-GCexjfv1XBsvub6AfEp7w-i55lGDmTN4,4906
witsoc/scripts/test_services_lemma_store.py,sha256=ryWq1pYYI59TUYhw1l8DldxXR0ALWGrhopnCK7-m1M8,3087
witsoc/scripts/test_services_llm_policy.py,sha256=OFPVOKBKdMF-Yx2nJCmRO5ShysGQJorAG2dNdzHkWiY,4370
witsoc/scripts/test_services_memory.py,sha256=nHdcPMea7vY-ukivNAFL-1CjzPON_Ax1RpQktVrdU_s,3300
witsoc/scripts/test_services_memory_index.py,sha256=hpayFS8Wb3K_ClJqz7O5iXlq9IC-JCFCNhFQXRvU-Xk,1705
witsoc/scripts/test_services_premise_select.py,sha256=hT8FKed9B1JFJNeydoEQOjbwejJkRyEX8B55elSBvWk,2573
witsoc/scripts/test_services_proof_compression.py,sha256=QpyGLH2NWrn-ol74P6IFaLOzZVd-L7Gcb3SwuOUd9oc,2143
witsoc/scripts/test_services_proof_engine.py,sha256=eKj0eBPkzSXiPsIm4CVo8gCqinLdU5iNlP2KMdk4Q8k,4844
witsoc/scripts/test_services_proof_generalization.py,sha256=N6vm5rB514PM8x5dqBwQ9uauKZUqsCawteMfcgkeZ_k,3400
witsoc/scripts/test_services_research_graph.py,sha256=agKIA_90FDWpb_5b73IOD3_oLlgv3RAAsC7RYWsgpHY,2299
witsoc/scripts/test_services_retrieval.py,sha256=MkJCRPmndFcagEMXN3rd-xoZnJRHZ68Aff09dFH_P34,1814
witsoc/scripts/test_services_self_correct.py,sha256=6f7dc9FBcwlMbfjj2T9wZt1ZqNOdTWFmYO6H4LzkPOE,1714
witsoc/scripts/test_services_soc_store.py,sha256=N8wf_CtOm62ewi2qaWYVhA-bO59h4LCjG76sJtw7X9o,2431
witsoc/scripts/test_services_status_contract.py,sha256=9upgtKIGaylJ9EnaHVKSRqPDQc6UmB4rIbcbCsBqngA,2244
witsoc/scripts/test_services_technique_library.py,sha256=MI7yAismM1OngBlWNX5CX3IXxxqtP0LwVF9pCmHDOaA,2059
witsoc/scripts/test_services_witcore.py,sha256=kJlL4P3HbbMU94HsLhAWDsOIe0FSPFjFAtn00xnb_Dg,3103
witsoc/scripts/test_skeptic_bus.py,sha256=NI6NnYheFt3I8-8AjLaw172hbhkYjE6MPqVM3U6_H6M,5315
witsoc/scripts/test_sketch_tournament.py,sha256=pBwx87elXJaZtluS5XfB3sY9JLDRJd3FR8H08AEmAd4,12420
witsoc/scripts/test_skill_doc_references.py,sha256=VO2huXwHISFNLBDGMQT1CUQWgZAqKB-uzqdqAxvaQek,4657
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_lovasz_return.py,sha256=7hx4U5R6jNGK2tY0jq3j2E8OppLOsIXJ-FZZYVoaYxU,4448
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_calc_compiler.py,sha256=BuIf4-qcGhXg-zPRVeTl2u_Ilqe5Wd4iVxtIWNNA5i4,2145
witsoc/scripts/test_wit_fidelity.py,sha256=uDKZrnuK55fhU0AO_bxxA6q6ZH25w-v6uXqYMYUZSMs,2334
witsoc/scripts/test_wit_to_lean_obligation.py,sha256=Obna1iReRnmnqwPXaqpsq5P0hI0pvufGKJPqW9bzYLI,2793
witsoc/scripts/test_wit_to_lean_skeleton.py,sha256=A6ljRqEAwBekcfxf8DTp4i_snQT7DFkAwCbato6J0Vc,3377
witsoc/scripts/test_witsoc_next_action.py,sha256=epr67zGpNg8HglsJ-2OxQsDG0tNLEVHnda-YSQiqzII,1351
witsoc/scripts/theater_tools.py,sha256=SdAvGMjKntn6StvedH6x3sQW7rQCm_vLhuQOsgg2JnU,6595
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=qZWBSfvyGSYdDVuBF4KYCpsQzovjylao6eTQ3OGnvBM,6579
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_return.py,sha256=C6jwvzAG6TtJk9JPlxMxCznGc_NVWjO1XHIQSPyBB7I,5418
witsoc/scripts/validate_lovasz_run.py,sha256=A_UIs8CMOrAG9mD-1X9fqj82UddOhvyZtNjtTsPNq4o,8356
witsoc/scripts/validate_lovasz_worker_quality.py,sha256=sNFPJL9Z7qhjmiRWgDNEzoAI-xMFnj1hF3MXzXdKlrA,3716
witsoc/scripts/validate_mathematical_solve.py,sha256=W0RtPdzVcvjTSPETlzc-_aP0BONZS3NOy8gKMVRM38Q,13169
witsoc/scripts/validate_open_problem_run.py,sha256=aRSRfxytGDW2h97-w4NEKClw_68nbpspVcMDu4hpiqg,11480
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_research_state.py,sha256=zUvoqG7lL8cjxvGoUfvSozddis4DjG6Sa1bsmDzl59M,5186
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_calc_compiler.py,sha256=2DKCambgJe1dvALa8Mzlkg74ZJSnIYZCWy7lRPtV3Dc,4808
witsoc/scripts/wit_fidelity.py,sha256=k6M4rmuQgmKZa4ItDKY-2NXsiVJpYI5M3ZubK3JNkI0,4047
witsoc/scripts/wit_to_lean_obligation.py,sha256=icm4zt6mwNbYIoE8ZQeUcwn9bAJBaSHw_9HLLelOxeY,11486
witsoc/scripts/wit_to_lean_skeleton.py,sha256=XIMW6J99ZOzkl7MgeVsDsxSLeh6G6gAh_vyH5dvRR1E,8930
witsoc/scripts/witcore.pyc,sha256=_uHJZSxxI08JpA00Fha-CwsVX8sfgCAzfzuC-sdrL4E,24620
witsoc/scripts/witsoc.py,sha256=gs5Nw2bJaLKZjLvdDm03VWxchTC2SKQtpP6xGfBM2yg,4970
witsoc/scripts/witsoc_controller.py,sha256=O-TKihRDkORTU-wSXnmBRXx3kNLy0_--3NIUvhoq-j0,13479
witsoc/scripts/witsoc_embed.py,sha256=cuApaiBI-tzMhrrO_oO1ZSAryHNaaGKKRHYom5SHAAg,3895
witsoc/scripts/witsoc_narrate.py,sha256=5hTeYp-5bC31lKMNcRJbBfW03_m7RqXuNampquHYsCU,30223
witsoc/scripts/witsoc_next_action.py,sha256=vfG_Ggkr0L7u40enEEDtTBl5OSzKQSo0it-95lJKFzo,10129
witsoc/scripts/witsoc_sampler.py,sha256=7bPaq5eiRu1xqkzo_UZVNQOxKeJ_4SzM4fzGDwa928g,5449
witsoc/scripts/witsoc_scorecard.py,sha256=FKKFlIsnCSSP1MB1UishrZV6tZ-StPnEWNGXLSOx8zc,6665
witsoc/scripts/witsoc_ui.py,sha256=N4c4mfOn53_m78FerJg9cnd2NLKlwHSLOHGK8KkTcVk,5782
witsoc/scripts/witsoc_ui_summary.py,sha256=_-JnWSQd_zXozVZzW2ORDipv0zvuiB-F178_eBdZy_Y,36830
witsoc/scripts/.flywheel/closures.jsonl_dir.json,sha256=tP7mMiWNyjNEu2S_X_j-WcvSzpVHLuQP3H98k7OR0S0,226271
witsoc/scripts/.flywheel/policy.json,sha256=JIxq5TkYYQwekcL_XlLQP2xNGK9IHSsH33i64lHZrtY,21846
witsoc/scripts/bridges/__init__.py,sha256=7xcyVXvykB1C13MhBRuO-dHuOkISfvuRDgzi4LC4Ksc,379
witsoc/scripts/bridges/discovery_bridge.py,sha256=hUV_w8989Lmwyjbg45smuaRfrjPjLgOR-0bjVW9e71s,13370
witsoc/scripts/bridges/handoffs.py,sha256=FNhDl6HTuqxHXM-7MYIMYXbUlAXTG5HvQg-la9qc9xQ,10266
witsoc/scripts/bridges/informal_formal.py,sha256=ULoMQOjspNCXZ9TDfM5gGloRIwj4hGc7S_WzEuEMSBg,7039
witsoc/scripts/bridges/memory_bridge.py,sha256=PdVzh-usxTciLUOvQXDlisuf9_Seg0pVYpcBQ9OI93A,3365
witsoc/scripts/bridges/proof_bridge.py,sha256=BeDpFu3pWXmVuGQPrH37i6nm1n59GBJmKMvXAxtEaIM,5227
witsoc/scripts/bridges/service_broker.py,sha256=fhDysPnCdEshcTYr1FUwE0OORNe5lDy2qqtC4FiAvmY,5878
witsoc/scripts/references/pyc_recovery/llm_proxy.dis.txt,sha256=_xcIwCp5lANOyFz7LY5w1bsICiLRgdvMmK6jC7oafSM,46931
witsoc/scripts/references/pyc_recovery/orchestrator_policy.dis.txt,sha256=pBTcpB0REO05DFTWMZoEF5lvixbvH8r7pk2ABLYs_t0,55661
witsoc/scripts/references/pyc_recovery/research_corpus.dis.txt,sha256=fYgqFTTQZ28DTgbOASd7OmKpyrbMaWV3A15vGKaNK9A,39115
witsoc/scripts/references/pyc_recovery/siege_report.dis.txt,sha256=DvT11J1QVollVD1U6KHzzEvjIVCvi78vh4rOM_z4dR8,34044
witsoc/scripts/references/pyc_recovery/skill_scorecard.dis.txt,sha256=8k-8oMxRvwhYSGCQ-mC_zNWHll4TZ7a8Lz08ouyBTcU,71899
witsoc/scripts/services/__init__.py,sha256=wqp-NKVFrk8sk_Xf7iNfZFp7gRElq-orN_SdT_46lDg,601
witsoc/scripts/services/abduction.py,sha256=ypTniODwmf1-ArRuoutA_MLVQJ1jv5wGEq5qx0dTaRg,5145
witsoc/scripts/services/autoform_vote.py,sha256=MLquZ9MT9iW6peA0qbcVndCGwBaoTJgLzhsMAqAEs8E,6672
witsoc/scripts/services/barrier_prediction.py,sha256=6wo0dWgyZ3weXxZ9GCpUW-4cRzGu5Dc_8i0PjYHeRgc,3214
witsoc/scripts/services/baseline_harness.py,sha256=9Y8ZRQjeclNpuOY6bYocz3wi_Hb7F6-8WgSQwP27VAw,5815
witsoc/scripts/services/concept_invention.py,sha256=4m8aMxxq1jMhf4PAaShsdVcfXWtDyQ9y4d0c8qH-a-Q,3714
witsoc/scripts/services/concept_retrieval.py,sha256=zIyw7miPP5P4auGp1u-a4vC6oe580Tsr6b9E1hTt1Ck,4844
witsoc/scripts/services/conjecturer.py,sha256=tJklEpvlQ9DZNmPHb2AeW3m7WWnRjXmQy15XYe89NxQ,4329
witsoc/scripts/services/construction_search.py,sha256=VSGAfBTTF-iREnPS47EFya41w9WbbkKUb6Fyx3U9j60,3115
witsoc/scripts/services/counterexample_generalize.py,sha256=EXmwCu70XeQ1AvYvodWKadRlg90rQnUcf6XHVyHf2k4,2931
witsoc/scripts/services/cross_problem_transfer.py,sha256=eXzmf8W94IEYtgFXP_11m5eNwRRDdIbmYxRN06qYmaw,3483
witsoc/scripts/services/decomposition.py,sha256=Zr9FFbWolm3Q-ClaCvFn5Dq_B90oj3U_dT-UVkU_5ik,5054
witsoc/scripts/services/discovery_market.py,sha256=z7gywm9PGjosWENkWj_Uw6AUB87wQcgcGh8NYoQI9cM,3183
witsoc/scripts/services/ensemble.py,sha256=SIaQHNj1Fve1x5CXSVk2W_6A1DbTqI_agBXicy3jZQQ,4162
witsoc/scripts/services/experiment_select.py,sha256=yiu4VaSJ8sJAggZ0p0qbdSkNIgfbUOgBr5-MdT2FFKA,4871
witsoc/scripts/services/expert_iteration.py,sha256=QCJ8I2Hb3po_HebG4kj-l-dVMSdSBKyAElet8ORjh-A,4426
witsoc/scripts/services/failure_memory.py,sha256=YZnR1N6ZaHxnWyfoyPXunUigSmA_HkzEssWptFGXaSk,3475
witsoc/scripts/services/formalizability_contract.py,sha256=sKQu_L2El1BN6uhJ7eSoMUZyXVBswFN8U6hH1eYQEJ0,4437
witsoc/scripts/services/formalization_cost.py,sha256=PhjJrfQv-P-GBBSAfd4rGiuUCX_SZBBUff1J4NMdwzA,3242
witsoc/scripts/services/fuel.py,sha256=d99MnxhknuqbWpVMogNPcPMyyxJBFaiHN_spweEBfOw,12596
witsoc/scripts/services/hypothesis_search.py,sha256=qS3OKeMEIGspRgQiBFWLL2mtsAASoxKGQpio7lxppgY,3317
witsoc/scripts/services/interestingness.py,sha256=aKPh9xpcX5elMnuCpDo9bUTcdLPrOofOEDYqyA6tUvo,9065
witsoc/scripts/services/lean_engine.py,sha256=Nh8g4-Yauor7Qs6Vo3OVv3QxLo8fAzKoBQztZ1iZfM4,15619
witsoc/scripts/services/lemma_discovery.py,sha256=PildtQlaIXuAZuahaGPh0bvrbrlBwz4KeXwukl3f71s,5520
witsoc/scripts/services/lemma_pool.py,sha256=LAn_8zjP5XlstxnVLQdsSkrkYLgBOArjdz7UuyY46a8,11097
witsoc/scripts/services/lemma_store.py,sha256=e3Mzj6JAC6pEEOugsQMQt0BPLDU3Dm4w5uP8I_kbV_w,8730
witsoc/scripts/services/llm_policy.py,sha256=7zmz-27K0XiygL6sxfVtVvkQHviFCQeo2zd1BW2vfGw,7992
witsoc/scripts/services/llm_proxy.py,sha256=8EvzgJONpTXd9RWgLiDr7lcJ33LOWdakpEYb_7l1sBY,5716
witsoc/scripts/services/memory.py,sha256=1xb0S8WCZHWMl3BDPHawiBebocY2poIW8T_y0cxZVvM,11224
witsoc/scripts/services/memory_index.py,sha256=SwkqSiISQDKnWlvt6sQA1tgoU1a6JQh8yYRFKp98y7o,3878
witsoc/scripts/services/premise_select.py,sha256=CE-dvRhCtwzpcFSOMvTRmWpKmaJg2UEbSeybGU6QS0Q,8943
witsoc/scripts/services/proof_compression.py,sha256=EZdLzpU3kT6Qxyq7954JMPfuY-bg4xEuUbA1mDvnR4w,5240
witsoc/scripts/services/proof_engine.py,sha256=PH-DH--TzE5el63ogYhkcu32RxKST-5qHbR-4z7obhY,10477
witsoc/scripts/services/proof_generalization.py,sha256=Btr1-3Q7-6dv_6notigeEbfUzDCvQNnpruRzbTIqC_w,10016
witsoc/scripts/services/proof_harvest.py,sha256=LfcfutxN73Gu5nnqBet5TsBRt75G9gZHLO6qB6deFbo,4838
witsoc/scripts/services/ram_governor.py,sha256=eALQhFfJZ3A_aqcNg8a4uDyF6qWk-6bEGvSEdYms_58,7061
witsoc/scripts/services/research_graph.py,sha256=-kQbynCafhtZaTRTRvM4gHa82gb3Dkx8et71OzlfbqQ,8663
witsoc/scripts/services/research_program.py,sha256=4i1D13WQcJkkCKuPqB4zhB5gtK5GMxcKnLmSyPojQ-0,2751
witsoc/scripts/services/reverse_formalization.py,sha256=Y1NBaL7oCrfqavsETWOHwPg39cr7xb4LVWNjubzkmSc,2800
witsoc/scripts/services/self_correct.py,sha256=Qh9UZ5grZ2e1EmBomlpIAwzWe5oDsD7KtRxg5sOw2cE,3217
witsoc/scripts/services/soc_store.py,sha256=Nhw0uyH_WDPYsH_VUMtbvksHzC0tHj469fk3_FLZogc,6805
witsoc/scripts/services/status_contract.py,sha256=apTWl-5YgzZyvf55tY-bMbCddQ87ZWs053F8E-sBr_4,5257
witsoc/scripts/services/technique_library.py,sha256=GpQBFOTzaAmivoo16OyNbptWdUF69hJHEEanlpFnxnA,8381
witsoc/scripts/services/theory_formation.py,sha256=1ttpldKNhAQl3xQBNxfQidale1u4iiLc7tfIsKdqUKU,4107
witsoc/scripts/services/witcore.py,sha256=dDVbelQlKMTrxJ0S3NpvacxAjrlHdqTrrOLwprezNx4,10151
witsoc/scripts/services/retrieval/__init__.py,sha256=h_Fc5yW0why2NGX5sQVNU1XxKRGbcibplJE0oSZ5jvA,5013
witsoc/scripts/vendor/install_sat.sh,sha256=epiW4zQxN20atrPLjIHtnPPJmzel8dQbc7UQ1dtqe7o,1966
witsoc/witsoc-explorer/SKILL.md,sha256=BcgqcDL5mquwAcWZnEtwfBKlCbCQ35IuTgmvze1tJ_0,11301
witsoc/witsoc-explorer/references/algorithmic_explorer.md,sha256=FLmLGRpL_ztH6YIqHecVSiCkKzf-Vq4bh0i2-GMzC0o,1470
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-flow/SKILL.md,sha256=IclaSQM2oaMdxn7LItHoWPPG0_-2kL62li3nSr_pN1c,4080
witsoc/witsoc-generator/SKILL.md,sha256=SbqN3LI2WwkD6Qj4vHsslpBR-6Bk4MVGZIOXpdzhdZ4,11832
witsoc/witsoc-generator/references/algorithmic_generator.md,sha256=94KgZt-KrD-KieH-91bFFv_xy-sv-rwcvki9x8LOiYE,1231
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=V4_vxS5XIK6wf1b0pPv8b6cSKHW6GGKLHlUDSApp4ks,17652
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/witsoc.py,sha256=Lb8yYTxhrhbZw45FtLVtvWdNvHtEjpB9lJabvIUUIWc,1543
witsoc-0.1.6.dist-info/METADATA,sha256=0b9YeNW6qxxHE4MFNc5GieEPLkSiEFL9jh5241UViQo,7836
witsoc-0.1.6.dist-info/WHEEL,sha256=mffPy8wBnZQn2VnJUU5jE99KsxaSfiyMHV9Yt0aLVxs,87
witsoc-0.1.6.dist-info/entry_points.txt,sha256=KZuatCthRJuCvsev-OkCDBY5ea-_nnOLM90T5zEDiJY,43
witsoc-0.1.6.dist-info/RECORD,,
