witsoc/__init__.py,sha256=n_gjcwdeaCOIJzur3LDS9Jz67kkl2q98nnU8w8nA8IE,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=PPDmhyipUlHHljCEcPm9JAjTChwO3g8v29_uQcuPWcs,2541
witsoc/README.md,sha256=5NAQn561RApNy-KUXv6Bppkqn_Jh0UCDdy0YBBAzuA8,7187
witsoc/SKILL.md,sha256=NXuEvc7kGTz_YMLpB2KmMupzDF4FAUXNm-Sjhwm6xeE,29227
witsoc/bootstrap.py,sha256=OPc-HocnlHPclJz3EWTIOahQN6Ck5tlFnwYYevEjYI0,4669
witsoc/pyproject.toml,sha256=hrbBRTt9vDQBdJL4jNODnNLCqslYQlmgH5tNvoAM5cU,1983
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/core_efficiency_map.md,sha256=HvvBpHRGDFRhPc68QoHIb-tmDAw9EFiRHiwl5mnlMQA,4120
witsoc/references/core/creative_leaps.md,sha256=kJCfyvicZizC_rQDNFcZyq7_NPPhvuSXsx4NPJ8c7zI,5173
witsoc/references/core/exploration_strategy.md,sha256=qRt4fNEKW-vP1enzy3wuRcuq7TgxwQ7LxchwQzvbY10,13633
witsoc/references/core/explorer_modes.md,sha256=qvrZLSL7B2WUwuTlUxpC7crAhJB-_LQaPMqQoVcNex0,13907
witsoc/references/core/explorer_templates.md,sha256=_flJvYnv3QqZsBhjRYeQPoo3PSyGm_LD4Nw5726bHdM,860
witsoc/references/core/failure_recovery.md,sha256=HpQQUYK9hP3kQQ0bi_xXSYjJfcvxumcFpAaBrSEbOQE,2940
witsoc/references/core/generator_examples.md,sha256=mxZTEqpvAUnRRVpckr49wYvwuW1MsTg_btQGdxHwMqQ,702
witsoc/references/core/generator_gate.md,sha256=CcvK0eXnlAkEkkGWnQEjwgVPjc8pwSHE7ud0hY2_2KE,1658
witsoc/references/core/generator_harness.md,sha256=czCVM3HFzQ22pI_oNgTvdBm0PBd_wvSZK2IriQJg8ys,759
witsoc/references/core/generator_lean_fix_cycle.md,sha256=JbU_nkXESBhe51XFFGx90bfb9kUEDBef5BdVLz1eru4,2821
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=mWUs-EUTZap9MRytgbng57NLbBzgFVAIWlvfxqLfxl0,8104
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=_WIM9qiLGt12g9aC97Hfi88WpkWE_vlKerP8Tzc3M_s,5163
witsoc/references/core/llm_contract.md,sha256=iC17Bj_V-GFwbnydilWDo05WaWWqlupEpf1XcYCMS80,7189
witsoc/references/core/lovasz_deep_research.md,sha256=7Zr1pnMsUsX6LKM7VO--b-zZO6R2m0NLyzA0gUCVLhU,3363
witsoc/references/core/lovasz_workflow.md,sha256=S8eZO3sDc3_wfxaK4311Kb7dxgM0KA7ayOEAgcaUt3g,13341
witsoc/references/core/open_problem.md,sha256=F1C4Dx9YOrHwnR40UTIrCb4As_WVwKK8uxcojTEaj8w,4680
witsoc/references/core/open_problem_acceleration.md,sha256=itFYXPYzSnxK8rt6qgAWizNTmE9Sudh8wydhn5Px-so,4485
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=49ETTKp5sDL468iKc9IaBo1BhwrcsCIRnxM8bhAYkds,4894
witsoc/references/core/protected_artifact.md,sha256=PREe6Ya09zm7tkU1UQ0vcuGVG_TvcnvJcLFgBwKl-Qs,4540
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/run_playbook.md,sha256=FAjJJLCCpkRoqWBDQ59O9qsDgxTGHizNTWG8ZgMXMuE,15924
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=ECWb5BRCw9dfk5G6w3-rl3uWJAAG3HazbuRlzpxlLwg,4022
witsoc/references/core/technique_discovery.md,sha256=XDHX9TOFlWUh3PqpvtMoEou4IlbY1G8gBEt_vVxRqKY,8119
witsoc/references/core/tooling.md,sha256=gO2LCIqonTNNhfd6ZsaAL8UUuIO_-w76L-JVX8iNl6w,8419
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=8s3v7UzMOwxrqccbp92qC6GjWQaVxELt3XZh3JWN7RE,2318
witsoc/references/examples/sat_reduction.wit,sha256=k6TAcmIhI8GkDLmMakqq3976oEHw3Nj6f0ped1XaOp4,1534
witsoc/references/schemas/explorer-decision.schema.json,sha256=ivNJ6x3a4Uz0LTpuMfplTK86NpZrBiuI5YeGf4cLsUg,1299
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=6JSLkrh54kENPihJ3k25TxN8P-fPFIn27XsDCRvNVFY,6555
witsoc/references/witsoc-bio/conformational_dynamics.md,sha256=CZGwY69M9zu8Qm2-y8Gv5A8Mk_-Rj00wyadP40FMFJU,3506
witsoc/references/witsoc-bio/datasets_tools_and_compute.md,sha256=WkP97nrlGUgF3kym-8zg_REY3GL7dmds1YgKX5-vcUQ,8867
witsoc/references/witsoc-bio/evaluation_spec.md,sha256=UmVQBuVeymzcCndWrXHHBDnRKVHi5Th1jW5N8roWd44,4764
witsoc/references/witsoc-bio/evidence_status_and_receipts.md,sha256=Te-sz5iG82oUEC6B2pPGY_RgTmG3eO8lYuL9CACn8Ww,3091
witsoc/references/witsoc-bio/final_bio_claim_report_template.md,sha256=L6PBJXEPHH7oNJCxvfcf2z5qQyBQcjIZG-OV7PkQvis,1527
witsoc/references/witsoc-bio/future_tracks.md,sha256=OPdfjDSkQza9uYELKwKXQSRawYareJWerK9tNXpqBQU,2414
witsoc/references/witsoc-bio/hard_status_rules.md,sha256=fdsfycVXjiSNEfQLdWIEwsWrksMMtyxWSYOMDMn_Q8g,1945
witsoc/references/witsoc-bio/joint_research_protocol.md,sha256=wWrjf03VH-CViJo_KSrrkooLJ7BTcBEK57aKFuhr_dg,3076
witsoc/references/witsoc-bio/open_answer_readiness.md,sha256=CC7mMF7TLHvg_9KIcOBaLGEz-_ECuvlxUahwrecDD3c,1723
witsoc/references/witsoc-bio/perturbation_claim_protocol.md,sha256=6IV49hCdfFPq-82huw3sj4ySAhdiJW8uU57Oa1qUjcg,4002
witsoc/references/witsoc-bio/positive_case_matrix.md,sha256=Daj2OqBaeVAH_XWVKlHhUXwxezN7wh194J0TY8GfvRY,1825
witsoc/references/witsoc-bio/public_perturbseq_metadata_playbook.md,sha256=xQhgYvF0YRUCOlygfOLoG72DwKUvbyUoWHI8ikRfX2s,2785
witsoc/references/witsoc-bio/strategy.md,sha256=xIHATS2jvAhAs7decgfVAgfYkE54c59A4T3yCtYoW8s,3178
witsoc/references/witsoc-bio/toy_problems.md,sha256=BYqZlAK5NJYb8P9ytoPplKp5FBpEFuXxtnr1icFkTOc,2969
witsoc/references/witsoc-bio/agents/openai.yaml,sha256=sKcDm1kL8Yy_O1nq0feMbq3PYzngoeLzCcl5WNatXu8,198
witsoc/references/witsoc-bio/fixtures/conformational_ensemble_example.json,sha256=PTPd0nI5mrYWqaqV139NyZIv1J8rPdEQ5RYHa4ARe9g,300
witsoc/references/witsoc-bio/fixtures/durbin_lovasz_baseline_predictions.jsonl,sha256=OZO_ujMQmqJqLHHSkwyX9z_l4R3JpazKOnSUJlFIuug,4354
witsoc/references/witsoc-bio/fixtures/example_joint_claim.json,sha256=l4BmhwhNwr7h4Gqe380NpKSsvXD0wsoeqDdnnEsmqis,1100
witsoc/references/witsoc-bio/fixtures/generic_agent_baseline_predictions.jsonl,sha256=-XsNwFdopPOSZsEfOpYbCQ7SwCiGJbu3nruOHTf51x0,3144
witsoc/references/witsoc-bio/fixtures/perturbation_eval_example.json,sha256=7iorXVtWKTLCSCuJ46gYnGjEj7REe_m5wyRRss-qkXY,703
witsoc/references/witsoc-bio/fixtures/real_claim_fixtures.jsonl,sha256=W85v0na2gmuOCuZZnJu7Q9ixxeHCufgBsiiLuAsHYLY,20746
witsoc/references/witsoc-bio/fixtures/replicate_denominator_fixture.jsonl,sha256=2jgw7u46FZLVw-PwCuKLcBNRujTa_MBv-Ik3zSYFQV4,6847
witsoc/references/witsoc-bio/fixtures/sample_model_predictions.csv,sha256=lQcM4KWS5bVCz8RxlaMBi0AVf3XBWSus6Rih836odg0,250
witsoc/references/witsoc-bio/fixtures/sample_perturbseq_counts.csv,sha256=jJkpkvBrEsV4EO9OzD3rgwiNYxjn_SgkbqSRR_R0l_8,137
witsoc/references/witsoc-bio/fixtures/sample_perturbseq_metadata.csv,sha256=CaVikRn0fbl6om3M661B03muZTWoW8UP_WSQxGb3_wQ,275
witsoc/references/witsoc-bio/fixtures/toy_score_fixture.jsonl,sha256=G2E_j8AZ2r6JObcKEw1C0NAQk5ij1rWNpdkK7TJfHWk,1242
witsoc/references/witsoc-bio/schemas/bio-source.schema.json,sha256=aiG6JxIGnJ0dGsTdMyQ8laZjvnOM-w-uADZGLKDPlOg,2209
witsoc/references/witsoc-bio/schemas/durbin-run.schema.json,sha256=617zQXvmZmiKKeI7EnPUdqCP9NJTMkF0Uwq-9nxlPdU,846
witsoc/references/witsoc-bio/schemas/joint-claim.schema.json,sha256=1eIWpX6V6QbdxCIT9maLRt6PxyOkiS5llltbTix_wbA,2461
witsoc/references/witsoc-bio/schemas/joint-synthesis.schema.json,sha256=tKnhSzOrUXv3xM3E7Wdp9_-ihvvayLW4pEfm4nXOlqg,978
witsoc/references/witsoc-bio/scripts/advance_durbin_phase.py,sha256=yew2rlEEkS_WmUve16_t9_guaDsiZ1w42jusptny-gE,2116
witsoc/references/witsoc-bio/scripts/audit_perturbation_design.py,sha256=w-m1arHMypusmLTxSuHYFtOAKtFL7_Q-hLvPDXh19fc,4857
witsoc/references/witsoc-bio/scripts/baseline_battery.py,sha256=rQm2-aXC_kMalt44l_Ljc4ePA9m_iXjIQPuY_blHbrQ,6499
witsoc/references/witsoc-bio/scripts/bio_literature_triage.py,sha256=6HZA3nGHuaLnKmLvxSUBzCw2gvsxb956V7PXbtupDeE,6517
witsoc/references/witsoc-bio/scripts/build_bio_evidence_graph.py,sha256=Tj9MUGaoShnmOp_qEWxab37GT9ADNSHz8ydwV5PRNRE,5606
witsoc/references/witsoc-bio/scripts/claim_denominator_gate.py,sha256=gVCO83qqxcydvxpOKiBCiDHwiFjRHq8zzlg-uVDF_1A,4099
witsoc/references/witsoc-bio/scripts/compare_agent_baselines.py,sha256=UEH77hECeUdHB51HZmSJ_x6F7K6Rv9enbN1JWWbSC2w,3213
witsoc/references/witsoc-bio/scripts/conformational_ensemble_audit.py,sha256=hO40u3nZK5heLqQDoSxH2KAA-Ag2OTwTn_FnzA2TL2Y,8299
witsoc/references/witsoc-bio/scripts/durbin_contract.py,sha256=0B_K0HMslTwZkr3bvudK1cFMa99i_SYiRvHcdVlpgzU,7950
witsoc/references/witsoc-bio/scripts/durbin_early_demotion_gate.py,sha256=Ppr864Qj5blUOz5Vsuc1pN5Mm4svxZc8KqY-zZVPKtY,3038
witsoc/references/witsoc-bio/scripts/experimental_unit_classifier.py,sha256=S8nj259SDAq7fvT9qBVy_CzJY0ZPjqLZDQkPu4Lvajo,4250
witsoc/references/witsoc-bio/scripts/ingest_perturbseq.py,sha256=QkQS9oW428PaJwxGs6peh_XWghJCKJbIbsjIHKZ17ko,8314
witsoc/references/witsoc-bio/scripts/init_durbin_run.py,sha256=o8GsH1sPVnDk9TvKHOu3kR92CmAW_R51L0cdGpY6aDo,1957
witsoc/references/witsoc-bio/scripts/lovasz_bio_stat_audit.py,sha256=BmKyYWepnRfnTZeWUKfjGPDaqtkXJjIY56YKr2GcIdU,7399
witsoc/references/witsoc-bio/scripts/metric_sensitivity_report.py,sha256=2pjR2LYS-UIkChwO9-AAYhLculwsghY5apu9YSPR180,5590
witsoc/references/witsoc-bio/scripts/model_baseline_receipt.py,sha256=zSGW-7CpjfiSvr-9rMibpGmrzIW0o-l7tYh7sGJFHgM,3769
witsoc/references/witsoc-bio/scripts/normalize_bio_source.py,sha256=lLs2Vo2pyGpZrEPz4JXm6GV4VY2iRxJS47mrlInBD_M,6772
witsoc/references/witsoc-bio/scripts/online_source_ledger.py,sha256=2k03welamYMY9b_8nBdXKDnws4_0GR7wnRyMH_j0kTs,14028
witsoc/references/witsoc-bio/scripts/open_answer_readiness_gate.py,sha256=uFucTC1qtkYxaZQEWT5PYEmiRCAgQsU6AJ2O7Iy78Q0,5472
witsoc/references/witsoc-bio/scripts/perturbation_eval_suite.py,sha256=RxD8sipG7rBB9iu-qaoVmnQvDQNHXNAHT7hG2rZ9lqU,12477
witsoc/references/witsoc-bio/scripts/pseudobulk_receipt.py,sha256=mhtByGCSaPSGCq6605uap30wu8DtmjS2NrAkBM0sAB0,5311
witsoc/references/witsoc-bio/scripts/pseudoreplication_sensitivity.py,sha256=RMU2kHurAWVIGQvXbRiuvdff5pA5Jjo8ohXliCkXl8I,3822
witsoc/references/witsoc-bio/scripts/residual_direction_ranker.py,sha256=T-r0b70h-nZ1ek20xUjkrx9xIlqJIkO5AU_14L4WNyg,3024
witsoc/references/witsoc-bio/scripts/resource_gate.py,sha256=bKrg3WiwkLY2ShyHj9s6t5qC6cHojyLG303W8gvWKME,4380
witsoc/references/witsoc-bio/scripts/score_perturbation_audit.py,sha256=6ziEDDn284xehsRLKBnW0kAZ7qM_Dhm02HVVPsfrh_A,3081
witsoc/references/witsoc-bio/scripts/source_quality_report.py,sha256=6EV1qsc2RgTUB679JfybB1ZLQmSi7xKDVJY-bk2io0c,5766
witsoc/references/witsoc-bio/scripts/source_to_claim_trace_validator.py,sha256=XUeKxeKPITSubhgDeU8feUg9ZSqtYznRfg_4aohut0s,4490
witsoc/references/witsoc-bio/scripts/split_integrity_auditor.py,sha256=3bIqL0uNbhl6WauNuL8OUYIoLYs5IZ3Adit4YjCc8D0,5719
witsoc/references/witsoc-bio/scripts/target_validation_ladder.py,sha256=APz-F99puGeN52IpA2nHp4e4gBFLxFEyY3yFztCcwTo,4619
witsoc/references/witsoc-bio/scripts/unconventional_ideation_gate.py,sha256=3iuPNXnFUlRm5ZPHKTGUjaFHT6-3gm6fFpi068uL4hY,3154
witsoc/references/witsoc-bio/scripts/validate_bio_claim.py,sha256=7vCRKULP-pLbPAiHmmo818mtgxM6sOWFoU8FsGtFPAY,1204
witsoc/references/witsoc-bio/scripts/validate_bio_evidence_structure.py,sha256=ZkB3aUlL6g0qwQQU-I1FvQ3bCL_b5B1a3PhFZl8nE_I,17386
witsoc/references/witsoc-bio/scripts/validate_claim_fixtures.py,sha256=rGgFOzxgIad_w8yzPBeg3wSpzTsCB7WM4FQ5MpFcgZg,3719
witsoc/references/witsoc-bio/scripts/validate_durbin_run.py,sha256=W2GYqp3qUmUl7G5e06EcgxXucvyivkO-R3ow1qFzk6U,4452
witsoc/references/witsoc-explorer/algorithmic_explorer.md,sha256=FLmLGRpL_ztH6YIqHecVSiCkKzf-Vq4bh0i2-GMzC0o,1470
witsoc/references/witsoc-explorer/open_problems.md,sha256=9TaDpA-n7mA873q4-SKGObZHVlB50fBElTyx3oWpZ5Y,5972
witsoc/references/witsoc-explorer/examples/composite_block.wit,sha256=1DutBcutHkuTbIcRraffqveYkWBx70Vr8C1ugoMp3ic,1370
witsoc/references/witsoc-explorer/examples/grover_constant.wit,sha256=xERBInBe6ARve6iO-uRVdwFrm0b14Na4YxEcaGTsGQk,2238
witsoc/references/witsoc-explorer/examples/sat_reduction.wit,sha256=k6TAcmIhI8GkDLmMakqq3976oEHw3Nj6f0ped1XaOp4,1534
witsoc/references/witsoc-generator/algorithmic_generator.md,sha256=94KgZt-KrD-KieH-91bFFv_xy-sv-rwcvki9x8LOiYE,1231
witsoc/references/witsoc-generator/examples/compactness_disjoint_union_reduction.wit,sha256=AED45f_P08wzl-QOJWd73XXw3cd8VWBMUQu1gN2Ulhc,1338
witsoc/references/witsoc-generator/examples/composite_block.wit,sha256=1DutBcutHkuTbIcRraffqveYkWBx70Vr8C1ugoMp3ic,1370
witsoc/references/witsoc-generator/examples/finite_chi_bounding_compactness_template.wit,sha256=iotKYJnA__W-pcQJjpRXw1Ck60y04SV-ytfWZUWP0t0,1205
witsoc/references/witsoc-generator/examples/grover_constant.wit,sha256=xERBInBe6ARve6iO-uRVdwFrm0b14Na4YxEcaGTsGQk,2238
witsoc/references/witsoc-generator/examples/sat_reduction.wit,sha256=k6TAcmIhI8GkDLmMakqq3976oEHw3Nj6f0ped1XaOp4,1534
witsoc/references/witsoc-research-lovasz/algorithmic_research.md,sha256=G9lkyO80sr4D2thds9F6MHV8Sj5sLmmpqnEkY7T9cAE,3476
witsoc/references/witsoc-research-lovasz/barrier_taxonomy.md,sha256=cCqMgT00flZspKb4gidy_ZnEI3yUYF_7ODQC7hCpjP4,3394
witsoc/references/witsoc-research-lovasz/claim_demotion.md,sha256=oPo3RgTqntPPLcjIshq4MoSZ38rk2oFJ8WuPLU6heaE,1979
witsoc/references/witsoc-research-lovasz/computation_backends.md,sha256=xG47rJecMLot7YwbzuVcz-av-UsbYHAoHysN3vw6hiw,1170
witsoc/references/witsoc-research-lovasz/conjecture_mining.md,sha256=1RVhKPIja9dLQT2pBK1HlaYWJIVO209erCi7fC1uwqg,1904
witsoc/references/witsoc-research-lovasz/conjecture_to_lemma_pipeline.md,sha256=on1lVp7kbUp85BqgkAUjzTJZTghp_VdDi8ftMlHtPuM,1127
witsoc/references/witsoc-research-lovasz/counterexample_certificate.md,sha256=q1bH1IgMZpaG1_c2FIsz05vl0jmIx038346z8YQ4gcE,1451
witsoc/references/witsoc-research-lovasz/counterexample_search_library.md,sha256=hUcO1yyCb9rcm6sToIGh34eUnmxD422BFCwMJurq2Ac,1209
witsoc/references/witsoc-research-lovasz/cross_run_memory.md,sha256=ZpUAqMkuqfp5jvFOd_6-2xyZ9rNOvTCzG1nGi-GL6bc,976
witsoc/references/witsoc-research-lovasz/disproof_first_protocol.md,sha256=ix14qsaFRMW7kEVgvm4xgFwNnNpgd5AB7j2n3pXYZOA,1716
witsoc/references/witsoc-research-lovasz/domain_additive_combinatorics.md,sha256=6BivAe92I0mcOSyp28CYOImkoDRzHthCe5y8FjJAYBs,1374
witsoc/references/witsoc-research-lovasz/domain_extremal_graph_theory.md,sha256=mXHP7IcsNc0syqDWkikdEKOO1mVjf-OJazrLZrM7Vmo,5443
witsoc/references/witsoc-research-lovasz/domain_multiplicative_number_theory.md,sha256=MCEebJ_21mefl48nF7_TjtLsawDINpSx3NsBxKTxWcI,1661
witsoc/references/witsoc-research-lovasz/domain_playbooks.md,sha256=0v-PmKo5A6vnyEhcS0fLwBGfR8ODmvIJq7wZgRJMStY,914
witsoc/references/witsoc-research-lovasz/domain_ramsey_theory.md,sha256=xjW3fhyYsCEbnoVFdGCCPLM8k4xVoli1OUQuJJnX728,1305
witsoc/references/witsoc-research-lovasz/erdos_level_playbook.md,sha256=H0KUm7f4asCUioO7i3T46Y9k43BKVGvGJzqReVmZoDU,4607
witsoc/references/witsoc-research-lovasz/experiment_design.md,sha256=X_B9ph_0Nc-jtJ6W2UpVdSbxYyLRgQIR--CzoYelLQQ,1856
witsoc/references/witsoc-research-lovasz/full_proof_campaign.md,sha256=UfLrGgaibhCFNq2_iZewSRBj1A5cjUsIlm8Gegk6Z64,1743
witsoc/references/witsoc-research-lovasz/full_proof_escalation.md,sha256=5G5UTUZev001BDh4bdQ44Gp7z4ltqHh9mEP7_9s06IA,1527
witsoc/references/witsoc-research-lovasz/historical_benchmark_suite.md,sha256=fU8JjnVCeEK3QcoOR1CtmatGFbiUo384es99nfjiRRE,2658
witsoc/references/witsoc-research-lovasz/lean_mathlib_integration.md,sha256=rA0eYLTaPyWBgSzjlAkMEB_3RhyRuf288IaPmz8RxpE,980
witsoc/references/witsoc-research-lovasz/literature_triage.md,sha256=0aC1ypt4RKTWh-u6RvKrFpgCwGKKKsaCkI5IuPguSzU,932
witsoc/references/witsoc-research-lovasz/problem_selection.md,sha256=nsbNtAcmPj9CVhemdaDXtThFJHYOX-iewERxwgwezCY,2614
witsoc/references/witsoc-research-lovasz/proof_gap_ledger.md,sha256=cw4obcqdcSMbZQIafSCX5LVFCnpBuma5lIqVJBDA2G8,1351
witsoc/references/witsoc-research-lovasz/proof_strategy_agents.md,sha256=oYSmoldOt3zgIt8QCcWYRScDO2KdKU5X16OaMCk0Rwo,1516
witsoc/references/witsoc-research-lovasz/research_protocol.md,sha256=Xz46NK48wmWu2s5Z27Ui8ZQjErK6wsx8u_JX7f3hRYY,14836
witsoc/references/witsoc-research-lovasz/skeptic_pass.md,sha256=XUSrI9ladlE6T1omAdD3P2f1op4DGuz7sU0NegTBX6s,1394
witsoc/references/witsoc-research-lovasz/soc_memory.md,sha256=sbyEMg2bZsVlRmkrMN-4nBXpwy0xKFh60Sfd_ZH6XDo,3094
witsoc/references/witsoc-research-lovasz/theorem_retrieval_engine.md,sha256=rKTcep67Ss2vmVrQYZZHLHYlZKZx0uQ4NvSFsa1cZaA,1176
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/classify_formal_failure.py,sha256=0PdKlg8p2YHlUM1cDLl1iSkIbD6L-kKnKQcfGVwTNbM,4438
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=7ThiZMEu5F8yzyafZFdIWVW7VpeFODSsgfjHe-f5sQQ,13766
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/finalize.py,sha256=KZj8YOQ29huO0WZygNpagPPkI_SMq72CO7nWEwxhYN8,1187
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=j1OaqKZXC7Ac0J9o4nMaS0mLyGkhJmPREltCWqWlR58,9883
witsoc/scripts/flywheel.py,sha256=q8Hx7m-F3yZM4etAmpbN9RVVA8ojjbocZCMa7b-8JH4,7796
witsoc/scripts/formal_conjectures_ingest.py,sha256=0oe_eQwraJxch69ZKXwyefc1DX2R62OHlPnb6TAXDlQ,9179
witsoc/scripts/formal_locked_artifact.py,sha256=-PhZbjyOtT1txT0Di_CXIr04noGuWrdfylZkJOmHfQA,3845
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_probe_loop.py,sha256=3_IQKreowW23Sn0m9cBGTH7JMdJJVOMD4HyleOclkNg,4021
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_cycle.py,sha256=JRA_EUpimzzVbuGx-kbFHRZP6hTEbrbSqEajRwgKVmI,4581
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_fix_cycle.py,sha256=1aPrCXuRcugef-RNr6lA0SO9hLQnjVDu9_rWWxyaZ0E,9889
witsoc/scripts/lean_generate.py,sha256=XW1mBosKEhpbnYr8Tt_Ql1_Q0UGBdit2767uSemEqhc,14223
witsoc/scripts/lean_pattern_bank.py,sha256=O_N2k1pxbIIzEZyAmtfxI6eKnSBVkLSpQPDY0DzQR5k,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_semantic_dag_score.py,sha256=PoQyDXYCXndksL2BDcQE99bYtIamFBoAWJxc3nB2xxs,5452
witsoc/scripts/lovasz_skeptic_rederive.py,sha256=J6YHHUdvDVjXYbLPBQvWHTpiNr5VbZ00GIds7rDTGqw,2749
witsoc/scripts/lovasz_soc_memory.py,sha256=nurjHmOQCCQ2CSMbP_kNeIm8eRHBa5R9AIMxh5pcK00,13106
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/method_portfolio_allocator.py,sha256=TFiiqb1bAmKc_V1uPvBKfvCNM-S_Pgd5Lzh38VOodmQ,4351
witsoc/scripts/near_miss_miner.py,sha256=NhrOGJSaG37SmbcDhUTysiMpgAcV_4dHCrcE8oBcyOE,4455
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/partial_result_value.py,sha256=-V9cii3DC3_FCT8VDGnP0_tANPRSd9I2NMTKeuhEVYM,4037
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/production_check.py,sha256=G_CupPjiNjmta3isUjM749MI2xMdCLOUEFApuyDf8yM,22347
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/protected_body_patcher.py,sha256=QuAgbO9_50QelU_tFdhzkVJhdzsh-qOOIhdziu-2fzc,5112
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=2LAgHzh9Qk9YnLf4J5EqStXWYWUShirRoF2QQsehIho,27565
witsoc/scripts/route.sh,sha256=MUAvPChhZhTLpCRbnSwFvNHGt9gfOAoum5zrbbnG6lA,134
witsoc/scripts/run_ledger.py,sha256=9Eldgvy6FJPRi5sljm5D71HptnNooKXrqxogHJhBdsQ,19563
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/technique_memory_index.py,sha256=ZfRbxCusR8Wvoaqy4nwpZEM8UvkwPFyEPsDVfkEPPZk,4956
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/usage_evidence.sh,sha256=7ln9kmATNhqHHEzDRAOO1ZaES8zW9PAxPcMcRuYEt-M,4246
witsoc/scripts/validate_artifact_registry.py,sha256=RWGfnOknb-EIhKrvecOUF4ECmQDB9NDvJV4VfiFJpOo,3860
witsoc/scripts/validate_explorer_decision.py,sha256=cdrIUBI2ry4bx18hPrjZzYS0kEeEKjXzTFhcOHxCaro,3957
witsoc/scripts/validate_explorer_ideation.py,sha256=rUaGD274GZ7mO2Fv2GhWypkuy2n6BuCT9oVYHp24L_o,6266
witsoc/scripts/validate_explorer_review.py,sha256=9fExfv_56VXPar95033NvZt2VoRSWTV4dmfAaBgSluQ,7395
witsoc/scripts/validate_final_receipt_claim.py,sha256=XQcCH50w7XgznR9L0kiFRCjiOe97ZyZ_gcJwfHCxTWU,4861
witsoc/scripts/validate_focus_record.py,sha256=8E5tbEsMlyndCvaY3AeHSlTL5caaPtO0l6nky76ILIs,2333
witsoc/scripts/validate_generator_handoff.py,sha256=SgOHMyH9H8W_Tmpvsx-OzG7Vtu4T9d-3llt3Mw75m9I,9025
witsoc/scripts/validate_handoff.py,sha256=jmu2ZHI-RudD61yZ1xRClhgINkhoTZTFoLR0yfGJfgQ,34510
witsoc/scripts/validate_lean_api_packet.py,sha256=3RMgAEbywISDtLuX_XbIDNUET_QwkQVw8qNvVwkMZWM,4446
witsoc/scripts/validate_lean_receipt.py,sha256=gjFfDRKV_LYMDF2kZ81RejyJRB1qHFVx-m1HS0sF1jM,6534
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_no_placeholders.py,sha256=MT5r3Ze8ejorKdv1FdFnm8jrwWlBV4TyPy-IB0xJj1I,2823
witsoc/scripts/validate_open_problem_acceleration.py,sha256=a2PaWjPhgT6pjX0-o501nsl5hKZegKT-eCt1XBKEN1U,6799
witsoc/scripts/validate_open_problem_run.py,sha256=aRSRfxytGDW2h97-w4NEKClw_68nbpspVcMDu4hpiqg,11480
witsoc/scripts/validate_pending_state.py,sha256=MlATlUtmP4sYpIGO_kmkVtFqG1jDcdnqola80WegrRc,3632
witsoc/scripts/validate_premises.py,sha256=fSNKl1noWBDeQEopaMRVrcU5OGHG7I6sanQaRmWqiJc,3298
witsoc/scripts/validate_proof_dag_integrity.py,sha256=iZf77bCFQFH-fa7BQ7Kevmu1dcmx9cR3yvp95Fclrwg,9794
witsoc/scripts/validate_protected_artifact.py,sha256=_iucCxRq4QeHrWWGA2j852n-2opYZ3WF9V55F28T5GY,10131
witsoc/scripts/validate_prover_result.py,sha256=LubafGuvoXztxyYAfKznk2F6K-RHlzRrgWB4IxkU_s0,6673
witsoc/scripts/validate_reduction_graph.py,sha256=NsSyhECnVb-HFem2MkOneZd3a18fK0xMz4nSW7v4zMk,4176
witsoc/scripts/validate_research_state.py,sha256=zUvoqG7lL8cjxvGoUfvSozddis4DjG6Sa1bsmDzl59M,5186
witsoc/scripts/validate_route_state.py,sha256=f-OZcAVvIokFrfs1KW3zrwa-dost9Vbs0H9Dg90Ct0o,4651
witsoc/scripts/validate_soc_memory.py,sha256=KU-rN5gOfxEKgedz07zBskpBhMczVK0l1cEJym5b1Ho,2129
witsoc/scripts/validate_source_status_ledger.py,sha256=ZFAa13XPr5sTQlrusu9EUS3GwQRGImlVq10z5kYCbAE,3022
witsoc/scripts/validate_spawn_packet.py,sha256=9BNpHfVpJmQ7t8WlVibcpKrDJnmu7oGT58KV7R46_9w,3996
witsoc/scripts/validate_status_claims.py,sha256=8zu99yo-VCW1Vw_0ruiK9JZ2KfPc-grMnbQTXKz0INw,4920
witsoc/scripts/validate_target_protection.py,sha256=UlTAbb4nnK-uBLbUWtXC6qZKd9ycnIRymDYxmgSFlRA,5502
witsoc/scripts/validate_wit_lean_manifest.py,sha256=ECpvwwt544wv-H5ewZfJtI8ChZMPrlLknIx-_RWw8yE,2780
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=zPTN72fB8Hxgt3BCefCvP0s6g76A_8YH4vvOYfzwTLo,7954
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=qlLMV6MLHxsjqYDAK9EykVwPuMMV3DGtFRGRxpvRvIM,235426
witsoc/scripts/.flywheel/policy.json,sha256=lqYT0jYKdbTcYH60HhEXZiitc_fvMnplhdrlEu-p1Ew,22282
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=d2cxxggStSP_Yngq70eJHhfxZghA6meRwZ8qDJ_dcBQ,18272
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=KdH6TiO_oMNZNqW6tPH3WhSvUp6eoVskYSQJKX1H_vw,5892
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/scripts/witsoc-generator/_common.sh,sha256=VBzkH5ANQc6DlJWCAVBZYtLbElMSwsukwwDAlLSyec8,4032
witsoc/scripts/witsoc-generator/audit.sh,sha256=rRkNUlRVpqaGm4LzVHaq7-MLkdRHDjnS8mXxduXY80Q,3411
witsoc/scripts/witsoc-generator/check.sh,sha256=4LS1Aa7h_e-9b9yL1cf-TcO0HuG3F5mkRNl0kV4NvS4,879
witsoc/scripts/witsoc-generator/context.sh,sha256=7ZJFaXRWSx5OQ507CaPN6bLm9o7lU9fwPzorOB5HIiM,1739
witsoc/scripts/witsoc-generator/cycle.sh,sha256=nMG5JxPzRXwNYq9HJjwYtxTepBrMELOu1eypBemGmcs,2513
witsoc/scripts/witsoc-generator/init.sh,sha256=SLIigJ3vyS_ND0dDM7xinKqKHUV7-29S0xVLHmh7xu4,2511
witsoc/scripts/witsoc-generator/receipt.sh,sha256=UAv9E-azdz0NLFBTPRc_rqVWvt983NQLUpJF_lbqaEo,2031
witsoc/scripts/witsoc-generator/status.sh,sha256=GeAhs4MBO1RL_tPdLp3r6LjySFhA9fabb3j3jLxACOA,3550
witsoc/scripts/witsoc-generator/verify.sh,sha256=TF7elQYhDjnMrNekB0ct5rR4wvA5W7p2gaBsMZKtfQM,1157
witsoc/scripts/witsoc-research-lovasz/experiments/finite_model_search.py,sha256=mIvEZdmFjCzlo6Om4xk_JJtxdmzXvK7xucLIohN9wF8,4315
witsoc/scripts/witsoc-research-lovasz/experiments/graph_search.py,sha256=E21uEresWPLpQ124yQ3oezrOK1ae9L1iD6_zwKqOZlQ,2221
witsoc/scripts/witsoc-research-lovasz/experiments/number_theory_search.py,sha256=9bpDRr3PbYqLXlGhz_kw5xuFOyyoWipXWMY3sjsiQCA,2484
witsoc/witsoc-bio/SKILL.md,sha256=6u3awR8LWZI_GR1kmixKb85e_g7KwiuahfZg-032JUo,19957
witsoc/witsoc-explorer/SKILL.md,sha256=s8gAzGf33Q5i5Cooq7xtXXN9vHWO4TnPkZsIzRwUtr4,18917
witsoc/witsoc-flow/SKILL.md,sha256=madhLkzt20luE9DZ-LUHhIbLJA3-YGKsNsjqFjeOefs,6747
witsoc/witsoc-generator/SKILL.md,sha256=Yw58TEDywWY4FVRQNA61ZUh4RsRvwbCvgC_JhjI_rrI,18343
witsoc/witsoc-research-lovasz/SKILL.md,sha256=J-Oxx9TWHvm7u_71JTSZyEXnGJqX0C05WS7MTTbBSQw,22103
witsoc/witsoc.py,sha256=Lb8yYTxhrhbZw45FtLVtvWdNvHtEjpB9lJabvIUUIWc,1543
witsoc-0.2.1.dist-info/METADATA,sha256=bYNcO2wTWTWGPV-qYXfzSJRA0AXk8hamK9pT_gwDMUE,7836
witsoc-0.2.1.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
witsoc-0.2.1.dist-info/entry_points.txt,sha256=KZuatCthRJuCvsev-OkCDBY5ea-_nnOLM90T5zEDiJY,43
witsoc-0.2.1.dist-info/RECORD,,
