witsoc/__init__.py,sha256=1J3Ot653kIdIg4v6wazWT3naklLWVBUp0H_eqRZhi5A,335
witsoc/__main__.py,sha256=AvftATj-LtlxrTR74s-rd_DvCkudGG3RlYe3ogg_IrQ,148
witsoc/cli.py,sha256=EA40pS4PUOkNEbtCDseI-7EkT-oGwQ2oLnnWnG3DkQ8,11961
witsoc/legacy.py,sha256=mEWfsq8Utnw_A-KGZzv0llIhzuluCZWaNSFet50ySKY,1568
witsoc/llm_support.py,sha256=yeiIRMNPNJqOqMivafxB3_7xdS5iTn1r5YkGR9sztns,14473
witsoc/registry.py,sha256=YmQsYDWtbmEcMLI6i8dhPB3YLkxJizmvwRD8B2DoLoI,17288
witsoc/restore.py,sha256=Uz1wwWM1qoSzp-rDAcloYioO1ALBnBEq0od2Gy6fimA,2561
witsoc/README.md,sha256=EwcBY7_vpew--2_0sXDEQ0rGPco9IcNfpKWN_tFdfGs,8285
witsoc/SKILL.md,sha256=DX3yxme8m9t1bO7BuqSLiCa33WEtDDsuq_755rU33nc,32615
witsoc/bootstrap.py,sha256=OPc-HocnlHPclJz3EWTIOahQN6Ck5tlFnwYYevEjYI0,4669
witsoc/pyproject.toml,sha256=u37Zi1GU6bF1gbqECisl61HGLptOHppPp7cm2njWyuA,2032
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=_OgyVkWQyf_VLNXVH0VdiF4jqpBLLHP0kXJZ5HKv8CU,3277
witsoc/references/core/artifact_policy.md,sha256=-qcAWCRpQMF37xBglSR87ZNKs8_wVTSNmpJnZTdSceA,1371
witsoc/references/core/capability_catalog.md,sha256=H1Ld0q50S9Yld8WgOYmLQFIM84Rc_qb11iwKchd1uOo,10017
witsoc/references/core/claim_acceptance.md,sha256=JrFZU5dsDq-tAb399gAI_CrWT1qGhsCvmRoswwzdGwY,2106
witsoc/references/core/core_efficiency_map.md,sha256=aidIE7HYxmh7L3ouRXwx03b8yBKHEy4m3heamZjQlzE,5251
witsoc/references/core/creative_leaps.md,sha256=E1FUaVeBmVa-Y7gh3MbOMHsZbznexPQDW6aGXZEWT3U,5739
witsoc/references/core/discovery_engine.md,sha256=GoA6eKQKZmjJEkBNApOJ8RGQSbUWOlsLau0h402ehsc,5471
witsoc/references/core/exploration_strategy.md,sha256=qRt4fNEKW-vP1enzy3wuRcuq7TgxwQ7LxchwQzvbY10,13633
witsoc/references/core/explorer_modes.md,sha256=wI4kNxTX_Zmeg94gJbJ-IOWHRfK6bPvFse_ZJS1q4Nc,13892
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=Y2Wgq-wTCLM5CZWen8wVWedlcMhys3IZMD-DeUG2Wxc,3361
witsoc/references/core/generator_modes.md,sha256=vYspFQnIoFNudkNsdgpQTHv1NeYtaXaP2ape-hnLP3s,2602
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=2vAlRAsjJDXI524lja4wZpcBkkDQ5FSY1_nfVdrBDVM,2642
witsoc/references/core/intelligence_bus.md,sha256=ciis9dNQQbc_cXF6ZjIFnX8E6owo6rvxzA8zaagMhZ8,4641
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=P-_5k9nbWIocELbaET2ATYVmUyrVExseDYwSmTpWKUc,3875
witsoc/references/core/lovasz_workflow.md,sha256=8IGZe9Py7znk-xmHszdNqeqftuAMo-VUYu24uy709_I,13326
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=TZqLFGJK5JjbqB4C-2zMnCshS_wIplGumEyFP6F1GfA,5307
witsoc/references/core/protected_artifact.md,sha256=_bQdJBi5hriolze5zVoRU6q-VJvmjYR-uksdZ4bYM0M,5172
witsoc/references/core/repair.md,sha256=viYnRLAxm9P7qKrkI-cqGkMGhmWIP-wGlIztFgtR2DA,1570
witsoc/references/core/research_machinery.md,sha256=-wuyPlNUKou-PqxdECFTN81AaaJuiIJYLhN11XTe2Vs,8760
witsoc/references/core/research_quality_contract.md,sha256=8viToqmdRiR3fPPhcUnqOqx4GiGW9pK30x2UUYdCbvY,4609
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/scalable_research_runtime.md,sha256=tPTUrNP9uqlOXAMd8leUJGRTu3p2TeOXxWWDpO1tH_o,4762
witsoc/references/core/services.md,sha256=KE_3UmWRmwNvg3aHR9LsJGK5nlo2-_o8MRKFB0We0N0,16702
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=LXHUfSwvhrGPuPiKu8863lIoHXRDil3JPbA0L1HlqpY,8116
witsoc/references/core/tooling.md,sha256=kXMQ7NDY6dL6oCI51WIkw9BxHBAcqoJH6ynmu_RXcPo,9172
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/acceptance-evidence.schema.json,sha256=0sAe3Xc25vF3lsmZ8V5L_MQpdONygkDmvsLKEyYNpI8,1492
witsoc/references/schemas/adaptive-research-plan.schema.json,sha256=fl-p2kh9g0c7C1TKFiQoNFc_KBwke14s53CncNz2Hbg,709
witsoc/references/schemas/canonical-target.schema.json,sha256=i2R1b01JOD8ieOQpeV0kdIwq3gdUqOABnL2omCM_Z6E,1509
witsoc/references/schemas/discovery-arena-entry.schema.json,sha256=HoTu1mEvnKc0lcBBAEh_KOhTC7kr2HOPx3rJxXiLqUk,951
witsoc/references/schemas/discovery-candidate.schema.json,sha256=yTTMX5L8XAuT-uY4MYj84vHp_3vaorinnuUmPvCzJWE,2305
witsoc/references/schemas/discovery-portfolio.schema.json,sha256=RkYZuQXUiBrc40hEJT392srpJInSNoBjUYMvEAjkbCM,1260
witsoc/references/schemas/durbin-causal-experiment-result.schema.json,sha256=lOSCR3s1zThABSloV4RFybdqk2XCY1lfBqHRSKDULNg,1503
witsoc/references/schemas/durbin-causal-hypothesis-update.schema.json,sha256=qwqbf4YfnQa0wdbMVhdk0tn7_qMg9YUQWlEmKIjXsZc,1652
witsoc/references/schemas/durbin-causal-plan.schema.json,sha256=BJMsxf4MHQ6AYXJ-7dhIvEzCrADZMdV9kRb--cEK2Vc,3228
witsoc/references/schemas/durbin-causal-planning-input.schema.json,sha256=d-BKRHmJeAlMOHKjxm2cu6vEDDDvE-1zI05Wo7Ljdzo,7398
witsoc/references/schemas/durbin-publication-integrity-diff.schema.json,sha256=UCVmssveufdBi8XCdjFLUDJ8KIbw-re0WL4IRpMJS3U,2833
witsoc/references/schemas/durbin-publication-integrity-snapshot.schema.json,sha256=CwWqmpHsyOewhH_IF6uWk_LBOie7PyZXD0Lycu9Fw20,4719
witsoc/references/schemas/evaluator-audit.schema.json,sha256=vdb02f84xGaHGbH4zLECnRBkw1yEKaGX4OOVRTwgFgY,1345
witsoc/references/schemas/explorer-decision-review.schema.json,sha256=KJKUg8NJSxnw-18LSuA-v7fEnmNvElwGyQExHr8aIjc,766
witsoc/references/schemas/explorer-decision.schema.json,sha256=jtO1Hr_JYqf473UYGQMFLHqIaozME-QiyI23A6VoSis,1805
witsoc/references/schemas/explorer-hybrid-retrieval.schema.json,sha256=pyOkTkL8pL9OuprCKQjTu9l0e0peAl-eDwkxLaezi2U,7708
witsoc/references/schemas/explorer-information-gain.schema.json,sha256=2XnMgxQGz8hZu11zgkgusXiycEiovl7awKwvB8WKr_U,6257
witsoc/references/schemas/generator-clean-verification.schema.json,sha256=WJ8Aw-juOP-7x9JbxWIYG0pOqvXSlmvmJg0Z4N6iIO8,908
witsoc/references/schemas/generator-patch-search.schema.json,sha256=BlFC3iRnF98BaZaAwOTiLQWFRIh-VcaWGZh70ow-W7c,874
witsoc/references/schemas/handoff.schema.json,sha256=rAQkK9Qn1VW_elM2UfmS0FqU--g5lgzEnv-ZhG-azK4,35819
witsoc/references/schemas/lovasz-cegis-evaluation-receipt.schema.json,sha256=zLADpi-zNvs5HqfZEsD1sEdAPj4LoMry9GnGwI5Z8IU,1116
witsoc/references/schemas/lovasz-cegis.schema.json,sha256=1yoNbMTvRKupz3HbNShxM4hQ1RoJLhoHcTnWSHREXAw,8475
witsoc/references/schemas/lovasz-dag-compress.schema.json,sha256=JMZaXoRc9LRA-NBxtFuavqmhh5O5aJchrEnxtznLAr4,12840
witsoc/references/schemas/lovasz-dependency-contract.schema.json,sha256=rpw_xoLontdQBYNoelTne4SD_syzHMgYiVaAcbWsQSs,929
witsoc/references/schemas/lovasz-dependency-verification-receipt.schema.json,sha256=YcdtzwtFqel-H6BOVtrzEXHq-KOcitnLLAvOFsrWlzY,1451
witsoc/references/schemas/lovasz-independent-rediscovery.schema.json,sha256=8QK6cMWyae5cHpof6u5vPYhRxDxtkB1nXQDd7P5dIEI,11346
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/outcome-record.schema.json,sha256=IYX1JunuXlj0wqAdusK-28lMhMt-ox3aCau6vBAVReU,737
witsoc/references/schemas/regression-audit.schema.json,sha256=u0KV5Q_yp73str_IZzux_X8j0WnMwWt-_Tlu6xK4I0k,790
witsoc/references/schemas/research-graph.schema.json,sha256=g3cg7-D4IJqcTazKFcIGShoMQRF5Xe9XrGhVdHIayyI,1371
witsoc/references/schemas/research-task.schema.json,sha256=NDZdhyvGAeG5tgcc7_1iPWffJozAWp6J8PwXaZROXgc,1121
witsoc/references/schemas/route-spec.schema.json,sha256=AdENHVnF1Qw83bhTiioVnbZxhjrPR-0XjrHuVyf3d6k,1973
witsoc/references/schemas/skeptic-review.schema.json,sha256=BtbqvsLekhhaS0XFJoire9j1eSphPE-Lo_8Vxu9xNuE,1042
witsoc/references/schemas/soc-memory.schema.json,sha256=_rTnz_qSQ_tgj67jqDSAIpOxqtofKtVSBbElzylYSpY,1129
witsoc/references/schemas/terminal-state.schema.json,sha256=pUEhDiFhzuCm5c71Jz_yNniOS7SMHtnQ5k1dlDkLUpI,617
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/schemas/reproducibility-crate.schema.json,sha256=KeO0YNWbr37ZD8OAo0-0hoPMRb2A_8g2nuuNmMC0F88,987
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=3PyxfrUW_bKh4U4lz21Bn5Zw0IJ2BEINs9R_y9vOogg,10749
witsoc/references/witsoc-bio/scripts/causal_discovery_engine.py,sha256=OJX1uNewiGqBTr8BybOvcqWyRLxWFYsbdOiAjyskJfw,25234
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_discovery.py,sha256=oluJylR3-e_kciNGuy3FLgobxbsYCKE71NNqu5qwmJ4,448
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=Pgh1hdeF-RpPYt7lecL1oRSE-ndl97deRSzHHSiXsSY,15899
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/publication_integrity_monitor.py,sha256=OQn3vt_AXSMJgRPUJdkXTcz5dj66NajSrSjDB-EQcG4,30107
witsoc/references/witsoc-bio/scripts/reproducibility_manifest.py,sha256=794rhIK1RnP7ECg5gwujlQgE19FkKog4xIR0_G7ercg,4473
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=oXjeWkk8u5T0zIOpy5kUxd-Wx4tIKI9oP_hXZnzoYGU,10881
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=ODxvN7Hy50yBDNKglvuxXUrpl3W-ZQWvtIFSV7b-EDI,7148
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=XgB5oUJSW11OxgrMe9mAgjIsGQH1EQOlFHnhy9hrIA0,22908
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=FvPXyO7LZnhFeOTNi-gGGofxSa22zGEWynYJCa-Dh2A,3460
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=w5G1d8jpfUwW1YUqpLP8OslvsmtS8ZtppzZQFV6lEC8,1239
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=ROKy6GuknyKxKsVgsJZ_U26IwBqvMKJUcl_emWL7nM4,1013
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/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/report.md,sha256=1w_a9CJpz92dp9w3Go2wJW2tYj31DZvuMHaOtyzot3E,15029
witsoc/scripts/_common.sh,sha256=e7JSgaJjoAx8r1Hh74ilQBWH_xBFxR-vomZ1LzAxrhg,4018
witsoc/scripts/acceptance_evidence.py,sha256=azayuzL3Ik8kajQd2B22bLmB0mnS34XK38DCJGqWqFo,13493
witsoc/scripts/adaptive_research_controller.py,sha256=MgiJb0TRm7mpxMTi4TAnH_1Efu0x449c5XfTy2ouv9U,11226
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=Ju3xb8-5xXG0SaeuLzSNQC-D4yeTe8e_Fc_h12ZKZPk,7845
witsoc/scripts/audit.sh,sha256=rRkNUlRVpqaGm4LzVHaq7-MLkdRHDjnS8mXxduXY80Q,3411
witsoc/scripts/autonomous_campaign.py,sha256=TxLOAVQSItKtlbX0Npu9WkQDYBHsB1tsUir8o94CUKw,8952
witsoc/scripts/barrier_attack.py,sha256=4IjwXDzH1BZVX59VdzkbX94k_JWdB5fpWQZfWDYvnuE,17754
witsoc/scripts/blueprint_campaign.py,sha256=VBCuGVmVU02QSrFx_HQS1qh4rLcQbt9OaFMkapp4KMw,16521
witsoc/scripts/build_mathlib_atlas.py,sha256=h0JCQtCSJaze8qBo_JKAY_FBXVcKZv5HoHxjKhDbYgM,7035
witsoc/scripts/bus_apply_replies.py,sha256=Jytxxfj0tefHUKbO5bxwauSL_L2K5gBidLFVXdeQnqc,38925
witsoc/scripts/campaign_budget_gate.py,sha256=TnOV8SzyvFX0A55Q8QPWBiEklwyfrqwrRzHv1H8kmsw,8856
witsoc/scripts/campaign_driver.py,sha256=ojKunkwenhzhyJviL1HOLDRIsF5rSkY-C8lkh1t2Uhg,23606
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=qv76c8zZQSUukTZhL_BZkW3y3WA5S-05AenSfXkEezg,6835
witsoc/scripts/discovery_lift.py,sha256=MkLlUta2mxgifh5LeCttmAvJoNBdACDCEEYXDhPwoVA,7443
witsoc/scripts/discovery_portfolio.py,sha256=Yc5BIdyksZPk27O5S0z5B8Pv8LNS6ni9jIOrodVpkxU,81974
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/empirical_miner.py,sha256=IicPuhGO7NntkeTNnuFx6r1U2bm-Pen7OKUYi_hsWhQ,14531
witsoc/scripts/engine_dispatch.py,sha256=oGfjQBjO3CoHglDki8DPms-eppVAuKvSHyuEnTKgqOw,26767
witsoc/scripts/evaluator_factory.py,sha256=Za-LlRjhda8_pEC9X_pAdOF3t6o1tRQ4RSk5RLvxlfM,14610
witsoc/scripts/explorer_approach_tournament.py,sha256=QFJg-v-FEnm2uFOxP63_jIzX9foTzdxjXQG7SQcZ2ZY,5416
witsoc/scripts/explorer_decision_packet.py,sha256=N0XoiBZo8I6ueKtBG1wQyg_J2DyyNpYMPWQjC6zDNuI,8415
witsoc/scripts/explorer_discovery.py,sha256=XyyME_S09qFGmFyhxB33y4LbxEwJ8X_lXwM8GLWzt4M,208
witsoc/scripts/explorer_information_gain.py,sha256=Ne1aEhy9t9jRI--90TEkGh0cLZMD7QkM_8PIyd82xFI,30481
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=0G8v5y82MLcxFaEZz1auA9OND4LZlO2dWD3P2E-7YJ8,11108
witsoc/scripts/flywheel.py,sha256=ZtwYTcJhhbV9knfYetaU4nD-ZJfhK3rjh2aq5JXEdI4,6885
witsoc/scripts/formal_conjectures_ingest.py,sha256=A6WfzBT234Td2HdDheSWZKsSI3-zfv2dvyMcN2MbD38,9015
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/formula_synthesis.py,sha256=RRrVdK2kBZi75ukLtd4MBoKQol2SMFN8HsIMhzeeY3A,6065
witsoc/scripts/generation_prior.py,sha256=xlt4-mX1YUuhTQsf6AGlz_rUoGKW-2oxYPuqXvadmzs,5574
witsoc/scripts/generator_clean_verify.py,sha256=zt1l8NLQwDahqoTU56NBoKXe53PHoDOjz104TIiqENo,4887
witsoc/scripts/generator_cycle.py,sha256=ZAI3ERHj5gl9uQcwd6OII9UhSBfrkqSBxS_pkKi8Yx8,8098
witsoc/scripts/generator_decision_packet.py,sha256=tyJwMAAdahMT_6lMSzFReOY4XmSufxThMtEGtPbmi2A,8525
witsoc/scripts/generator_discovery.py,sha256=E96Y0I3GdwIiZEYqgOXobP6e5ObgnnssMC-Fc5cstIA,241
witsoc/scripts/generator_manifest.py,sha256=5UBke0ey6UcvaNuBZJl0YF9xncI1GEC1VAvtOBzkFiM,3886
witsoc/scripts/generator_obligation_graph.py,sha256=zdaxxCrIAQQAa6H618_uroHVwhgdA7HHd1ydMFj1niQ,7379
witsoc/scripts/generator_package.py,sha256=Rs4Q0V7hTM2_aqRjs25ke7j0wMQcJHXTT-pOsvkRFuM,11313
witsoc/scripts/generator_patch_search.py,sha256=o_TY4FxA81a0oP2RchIVRZGZpVFWZVjwF1dhJ52l_c4,13931
witsoc/scripts/generator_preflight.py,sha256=RVhm9BAsJOj-Q1Fvtq0ktXpPk8G-NjtUsQOhYAJLMBs,4020
witsoc/scripts/generator_receipt_gate.py,sha256=wbxOPQXGXDSmVlldPVsbsnYRMbJPqFkhKhp4UZRfYM0,7337
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/hybrid_research_retrieval.py,sha256=dognvFUsJh7om0f7fc9iJ7VN87vGbPRIT8iCgAQvEbw,35897
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_andor_graph.py,sha256=8W3eRIDwwDbFrmENjK2sQadqM6hSSqlUVfYlJDtE64o,11112
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_cegis.py,sha256=PDTrHMgla63IJWif90EM6b-rXTrRXalrxwF4cMUd7ko,38336
witsoc/scripts/lovasz_dag_compress.py,sha256=mzwdJu_eFY2cRZTHxuavM04qi8T3k_DT8dR83nQ9NaA,31746
witsoc/scripts/lovasz_discovery.py,sha256=8ps5xZ45T95CtcInTPiXEUvIIf_YeZ8Tn7vHPz30b90,230
witsoc/scripts/lovasz_doctor.py,sha256=LHTjmPGhIvrXhWLRTxdcHoVoabzUpCM2TNsXp397uQI,3819
witsoc/scripts/lovasz_independent_rediscovery.py,sha256=ptzJxrRRwb07h04v6dFn_kIfswuHh-dsH8fyGljiQ30,30699
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=vsrDW0mPiE2vy7TzLltdtvU7qfcLe808y8Skg29-YXA,5315
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=4XLJrV2-0TVQzVU0JDAxyZq3fo_WRScHNA38QLsjPsg,18258
witsoc/scripts/lovasz_synthesis_audit.py,sha256=iVa6Ml-SlOK38mloa1x8CnE7WBbbVT8fClwrY2dAMn0,3185
witsoc/scripts/lovasz_top_tier.py,sha256=YvAOp0jk_uh4ZHnsBXvyBT_XD3hjNTrdcWVEg8rQCbc,13647
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=cWIlcTJ4UkbXARj947HcOLreJKZJNU0ZQ6bk4F-XrZE,6963
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/outcome_calibration.py,sha256=SiF51InxksnJlXvsQuJgvVKx80ra4U0nMfkHpc8Do7Y,8543
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/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=k17JuPlAmpTkiLN6nS8rVo91wRu-TpT10vrUPNQSASM,24072
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=OZDP3XooJmqifqdk8vB-nVwR3jM6XzkpSFtumc8X7p0,5690
witsoc/scripts/prover_tiers.py,sha256=oA5zXKfCBfHiBAVmjznjuUwujkdrhc0cGu6MMKg0U04,6007
witsoc/scripts/rank_lovasz_dag.py,sha256=mlnUKybdkiWson8cuOeA_w1tAnfFqJTyiDxobk-A-a4,5289
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/reduction_hunt.py,sha256=Z-YKKU99UdZMSbCgauJu2qywHaZJqWzGaw3T98JNtAM,11300
witsoc/scripts/reduction_ledger.py,sha256=sdLBs7ReTSa8oHXvCMnxyLz926sHa80J8i9Odmjk7wM,29453
witsoc/scripts/reference_integrity.py,sha256=7-2pxe684p7ugFw-PuSA7GkxWoz9m1XXE9iQQ5GAkpI,4092
witsoc/scripts/refute_deterministic.py,sha256=kfqVKv3KOBEjheVlJhZWovr85TWauDyN4TpObVgnNOU,4826
witsoc/scripts/regression_audit.py,sha256=pRqHjSqShxoPUA3oLoyc2Sdc-RjaccMFdtA2-4rLQE4,26249
witsoc/scripts/remote_lean_burst.py,sha256=YUpZlQJqdPCSKI8Hsxi-bakOrdpRlqQ6oJNAzoj_StQ,4702
witsoc/scripts/remote_verify.py,sha256=JZEriJMJjz8gvNXr2ZWeV6ZOoPi6gGYAsMGrG_Vpn_Y,4189
witsoc/scripts/replay_evaluation.py,sha256=Hm4vjytvbfSf0f30o6HZqb0YNUX0Uku8ZI7UM0YvZ-4,11861
witsoc/scripts/request_bus.py,sha256=IKV5u-I-8_EXEZNvgYTY-1Y0WRJYTqnvux1SHoZFgws,22631
witsoc/scripts/research_contract.py,sha256=oo0yrlg9FWn3ZK9SK0t4sT6y77xXRKHraXCv6NMtxFE,8239
witsoc/scripts/research_corpus.py,sha256=jtyTQDdGDlAPxGGBarxYTEHUPD01H8Lnz5L3y7HhzUU,11134
witsoc/scripts/research_graph.py,sha256=jEzuuealwtzfbfRBijK8a5GyODFadNKFJArGy-D5PPY,10285
witsoc/scripts/research_scheduler.py,sha256=kIIi1hNS4lS3K7-fc1nw9oh_LODLgLV2fi24TjongIc,27969
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=LxhlKBBo9bTSCK7IRzzGKm8r2TJ_0gVusvt80lCaCIA,27509
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=8CwDrIV_0rB3E4oGWpSbm0_0J44qksuNvTV8UMDQowA,7876
witsoc/scripts/status_vocab.py,sha256=1ny9Uk9xGiKfzNwXF03jLwVSPD8LY0RhbF3Jv6Gz8wo,3133
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=-OJDexOkrL80zL7GuRChrLIA11dBgHPP8eSAFGihapE,7354
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=gEtWVvm_fbxVYqTx6FFofD5yO6lI-rOgJrdikQTPgGE,5535
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=Gc-gkclrm3LB8KPU2WHpqR1qucwVe6U_zVlEyKzxiDw,10140
witsoc/scripts/witsoc_controller.py,sha256=O-TKihRDkORTU-wSXnmBRXx3kNLy0_--3NIUvhoq-j0,13479
witsoc/scripts/witsoc_drive.py,sha256=Y8Sitol0wgIJCVsp1YhEhvFQOI6wW0tFsY0eZ8Rdgyw,8805
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/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/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=xPUZD2qX7Kt0Ml2Ks66KFalr4wvL-f1U_sNXCjeBq8s,20882
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=MMxCC7Zz4INyZqTbf_BQkqRbvnSAgH_EdCMyoFNwFqw,24429
witsoc/witsoc-explorer/SKILL.md,sha256=hOwKZ84qwFYcazzDuSCPgaGqbB5QsM1klx68D_ZRcAo,21772
witsoc/witsoc-flow/SKILL.md,sha256=Ubl7wn3f2vKVmaYL6MSpadpyLC3VFZNbR4IyvQALJAg,7771
witsoc/witsoc-generator/SKILL.md,sha256=W7kwfzZOUp9tHEq2CzfurR8ZnGPYN-rbIUBzAfTmczk,21199
witsoc/witsoc-research-lovasz/SKILL.md,sha256=HJWasPSwh2ncZf8-IJE5HqMVzpgb7podI4rfbDzyJ3Q,25608
witsoc/witsoc.py,sha256=Lb8yYTxhrhbZw45FtLVtvWdNvHtEjpB9lJabvIUUIWc,1543
witsoc-0.2.2.dist-info/METADATA,sha256=74mTuemWDW7L9ls2maf3SHFNd0wSlIu5ZyO6EylqSu8,8934
witsoc-0.2.2.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
witsoc-0.2.2.dist-info/entry_points.txt,sha256=KZuatCthRJuCvsev-OkCDBY5ea-_nnOLM90T5zEDiJY,43
witsoc-0.2.2.dist-info/RECORD,,
