witsoc_domain_maths/__init__.py,sha256=V-Cgahl05Kn0qDOq26ehGvGsoEJ-GbanoG3IYTHa0ig,403
witsoc_domain_maths/__main__.py,sha256=MbyA0We2TQmXaL0eZpH2hoofiLqF05p8zpCioCyHIwU,391
witsoc_domain_maths/pack.json,sha256=bBtm5-rHRI2OvYiTcc9J_227HGr_VcS1DfdXttvguiY,32039
witsoc_domain_maths/domain/capabilities.json,sha256=5dMJSYY9cw0Tkz-WoEWvFln_tfVjJ2cvaAG0msxDJzQ,12593
witsoc_domain_maths/domain/claim.schema.json,sha256=jzyUP3U-NbS7rGcDxKfhOedbK7KSKmptinN2szpkbVc,3093
witsoc_domain_maths/domain/domain.json,sha256=_8ee39toiQkEMgHDJc1ceayN1ucprFtB_u8MHuYXA2Q,21183
witsoc_domain_maths/domain/operators.json,sha256=fdzlK7ijaI3QCMrfDxl0rpoE5Rf6eo7Gfj8c9TrqfxE,39511
witsoc_domain_maths/domain/packet-types.json,sha256=DcJDIBUmQIY5IqejtP5UcWnZpuIWfCnQ0jPKHebtU8k,1574
witsoc_domain_maths/domain/receipt.schema.json,sha256=iVgK7Zxqr4_6AlwElivNyiguEqE6AH-8l7LTByUYMcI,1647
witsoc_domain_maths/domain/data/pivots.json,sha256=uoo5DKuHIeeqY6hxREFVfb_YoyiRu1kkJx_E3hq89RA,10114
witsoc_domain_maths/domain/data/techniques.json,sha256=evhUNqLJDwVivURLLA-OOv4LtOlX6DMpEWM_pOzIbIc,5349
witsoc_domain_maths/domain/doctrine/barriers.md,sha256=Scuapb7xagRTbwlHhjZTJ4-cXrJEvAfb1i_ec2EJE44,6304
witsoc_domain_maths/domain/doctrine/blueprint.md,sha256=ZnVVPj26SwzMSOb_A-6miEV4wdvWQSgULT6iz-sEvgs,2355
witsoc_domain_maths/domain/doctrine/campaign.md,sha256=vjhK_eJojY2enSm1cKTYmAtKN2-NSW2a8c1FVTe0lf0,4460
witsoc_domain_maths/domain/doctrine/demotion.md,sha256=nVG7yYRz40VAkAVR8nJLdUbp1LtoGY6JbLRuHCxbQxI,4808
witsoc_domain_maths/domain/doctrine/discovery_engine.md,sha256=SvYIEyV4h4kyubG9boMP8pASqypprymce8o-vbt7RV8,4212
witsoc_domain_maths/domain/doctrine/experiments.md,sha256=AvBx4_euB9YVQGxLa25vICK6x1iDaCm2ur9FjzVAu2c,4681
witsoc_domain_maths/domain/doctrine/explorer.md,sha256=54Yn9KvfLwTCw1wlND2ytuGS7lGgG5YdfPQHj7nl57A,10539
witsoc_domain_maths/domain/doctrine/explorer_reasoning.md,sha256=SOu4R8dIfPjghMbJkgasusq2orLwE12qmvUQmdt2UnA,4432
witsoc_domain_maths/domain/doctrine/generator.md,sha256=WXetTvc2po7_4YZjM6VvLeFeqoeeHG9-8aJ2IZdF1OU,12815
witsoc_domain_maths/domain/doctrine/kernel_economics.md,sha256=UuG1hOil7PB_DJU-VAyIwFUTOaWqdeN_mFyth3e2oUQ,3574
witsoc_domain_maths/domain/doctrine/literature.md,sha256=huC8eSz3MhE-eBO7ow6IxfOtoPXyxIpwGL1bOGsl9TY,3853
witsoc_domain_maths/domain/doctrine/obstructions.md,sha256=WRmFnc7JnDMEO2VNSg3T6c1p2I_MNgM417GKXzjv5ic,2146
witsoc_domain_maths/domain/doctrine/problem_selection.md,sha256=XIUI7F5u8Iqpbok0PdH3lWmnMA5cJi86Is45Ka2_3nE,4169
witsoc_domain_maths/domain/doctrine/reductions.md,sha256=6-ahWALLK84D-7FHxM3Ji2XrSJ9e5IK4wR63vWM6wgE,5419
witsoc_domain_maths/domain/doctrine/repair.md,sha256=62s2NJfyt07eMyPUZYZRq4DIkmAGz-hKykMKiltAbz4,4051
witsoc_domain_maths/domain/doctrine/research_reasoning.md,sha256=EvofC0F_cSk1KXu5Iabx0kSp3KBbQNmgKgC_ZVhyLYE,4720
witsoc_domain_maths/domain/doctrine/researcher.md,sha256=0un3HIxE6kzVu229bwBxb8rYeXG49-oOwT9sR3paszI,12373
witsoc_domain_maths/domain/doctrine/skeptic_pass.md,sha256=iW_BQ-JBj-JIVVz-E1KM6imiEgsB0nioE3vTSsMPLgc,3789
witsoc_domain_maths/domain/doctrine/solve_claim.md,sha256=tp1c50hZKbH4X8RzA2YyqcnzBcXDUCqGh0mxjAJmVWQ,4807
witsoc_domain_maths/domain/doctrine/target_protection.md,sha256=C5qcohKPXfpYLVQvK0fdkbxyZ7PJCildgWPxsrx9boM,2829
witsoc_domain_maths/domain/evals/blueprints/01_add_zero.json,sha256=XHBTp6nkhW6ur3CcS5BuSspmU8bL9VHGYKz0I9WNWBo,1419
witsoc_domain_maths/domain/evals/blueprints/02_le_succ.json,sha256=IOTw-93DYd6JjGH0auLNtGTRtoIa5tWsjZcDU57__0U,1397
witsoc_domain_maths/domain/evals/blueprints/03_two_mul.json,sha256=vYs5teZLM72mE1OkXJYkw0ljprpVdPXt7EQ7RtcI09I,1429
witsoc_domain_maths/domain/evals/blueprints/04_add_le.json,sha256=HQSTh8q9wQZK5Td7uvcMrR9eD-UhUGKgyNLWZN20Sug,1811
witsoc_domain_maths/domain/evals/blueprints/05_add_comm.json,sha256=asFFGxBBVQronKsGt5IsRe20QiK48SNkiSCdLaYFn2I,1420
witsoc_domain_maths/domain/evals/blueprints/06_open_gap.json,sha256=3CaocNowgDU4VC1tBjEs_VyYVrrCk-gfe1JPQxZSCms,1489
witsoc_domain_maths/domain/evals/blueprints/07_refused_forward_ref.json,sha256=Yj4CPI1U9-JBtFMrb3Wvp4fzgNQcKw473_3IBX9UNso,983
witsoc_domain_maths/domain/evals/blueprints/08_refused_undeclared_citation.json,sha256=W1nsCvZdeF31U2mMZ8rBU678P_veAHFYr79D_hCpAW4,1068
witsoc_domain_maths/domain/evals/blueprints/09_refused_orders_success.json,sha256=OCBM1VomJuz8r3bXNgPa_VIUrU4gvpDXSrmenop7O70,800
witsoc_domain_maths/domain/evals/blueprints/10_refused_target_drift.json,sha256=n5nTgDKn7yIa3d1ol2svpiVBln3NcA5aQsDBNOSLSq0,787
witsoc_domain_maths/domain/evals/blueprints/11_mathlib_sum_odds.json,sha256=1oWCBeykIVTobArm2_ek0-7flFN6hsPzJKTQgl1TuIQ,2228
witsoc_domain_maths/domain/evals/blueprints/expected.json,sha256=xle8FLvyWA-9A2M6NtRgHrTlNmovyulI9ABHZznfleg,2661
witsoc_domain_maths/domain/evals/open_problem/erdos359_trace.json,sha256=gM3eaQb4JPKBYQTYGrCp7iCZg2AJvIz4pzIbXJHYpts,12829
witsoc_domain_maths/domain/evals/open_problem/observed_witsoc359_v2_failure.json,sha256=OEt4vL4-QiAUl7pHAGRJpHppPwtALMfQkDi__kIlBqI,2161
witsoc_domain_maths/domain/evals/open_problem/run_observed_regression.py,sha256=utETWr-_e00OdbG7yjPTAhA-i9q-TrxTfhbhkEZTeTM,6941
witsoc_domain_maths/domain/evals/open_problem/run_replay.py,sha256=rt5uqb5qqUN7ctx2N3e1sTVAz0qGgakRX61M_5KM8Hc,11329
witsoc_domain_maths/domain/evals/open_problem/sources/findings_snapshot.json,sha256=787EErz1vTQ_fpYXNyNrWuM9Z4i_u78P7Ws1qrBGRY8,2832
witsoc_domain_maths/domain/evals/open_problem/sources/parent_receipt_snapshot.json,sha256=oycjx9VZF-D3tALkLYqHg-5SO6EX9EUHvDSc8lDbRI0,1062
witsoc_domain_maths/domain/evals/path/cases.json,sha256=SCYuuJtMbtefJEKlNbRZT45RYVp8euBs1SzG_tvDnRQ,4312
witsoc_domain_maths/domain/evals/path/even_prod.wit,sha256=Mo5RZC1VqNHUeOq4cBBEdGuX-dHSHwLaT50VHVU0p1I,714
witsoc_domain_maths/domain/evals/path/even_prod_alias.lean,sha256=0QjID9c-t7-znUjoKnRP6z1dEm4BUgl4gHildeuMYwA,108
witsoc_domain_maths/domain/evals/path/even_prod_blueprint.json,sha256=GVmfdxCX2VN12ro5B9eXNnmtQ9hZN5g1BL_0MqDNUGk,1629
witsoc_domain_maths/domain/evals/path/even_prod_claim.json,sha256=JvZ_rHCH_bo3v3DG5rqaCZTih8JxVMr3KFuXvGDhuE4,749
witsoc_domain_maths/domain/evals/path/even_prod_dissent_claim.json,sha256=CIaLqgVv82UO4ePq3LKht6IhJ3ILX8RkWE32OigLAhA,881
witsoc_domain_maths/domain/evals/path/even_prod_drifted.lean,sha256=_zu8nPoukANOjiSPz7Fq1p7UQ6_xDs2SPGxX5I6GVuY,71
witsoc_domain_maths/domain/evals/path/even_prod_postulated.lean,sha256=rza_TFDVuxDDocffVEBgQ4tMWm0Wd_ifEOfF8zlqc9w,132
witsoc_domain_maths/domain/evals/path/even_prod_proved.lean,sha256=fi7yjhOie-x1-ulZqY-OtSOI2GIT1mpPq3XJA-xqEws,817
witsoc_domain_maths/domain/evals/path/even_prod_reviewable_claim.json,sha256=-5MldLxsEHz-lIWKewIVSh7UmT_DCcUiQdBg1i8uZus,876
witsoc_domain_maths/domain/evals/path/even_prod_sorry.lean,sha256=-QWjbWoWtaYqpqzOCUnNs-Cx1fp_Chb_p15Zu4mN4Ag,82
witsoc_domain_maths/domain/evals/path/run_paths.py,sha256=awWCWbhPPeDUUAr19h2cfaMh25wGCerXxzUMlndxcWU,5048
witsoc_domain_maths/domain/evals/path/sqrt2_cited.lean,sha256=e1mIZpsNLKrNVzZ7n0T8KMEnfFLNbHg2vw2358P1cgk,305
witsoc_domain_maths/domain/evals/path/sqrt2_claim.json,sha256=MWePVTs90M33hs55DORDnqoN9myC4vEP8YBvpkT811w,714
witsoc_domain_maths/domain/evals/wit_contract/cases.json,sha256=aSp31SCN7lC50zAtiEQ2R-TOwzIwW9d6PHJ_R3JtoCc,2363
witsoc_domain_maths/domain/evals/wit_contract/negative/cross_case.wit,sha256=w1N33yzrc5wWraCZMyFpHxjw3YDMt0kbraM79xKUHuQ,352
witsoc_domain_maths/domain/evals/wit_contract/negative/dangling_ref.wit,sha256=qf-W55Qn4n5Axls_oKSwezFbyg3sYxAqtnnMeI_gcWU,223
witsoc_domain_maths/domain/evals/wit_contract/negative/forward_ref.wit,sha256=_Eau5Slq38E-fTV6xnPnNN0PpfA-_G3jP3p9wWI7ZjA,188
witsoc_domain_maths/domain/evals/wit_contract/negative/import_escape.wit,sha256=QbsNY4E9-akNoxt5YLKK1Nkhvz4Q5Z2IFrpktnCh03M,291
witsoc_domain_maths/domain/evals/wit_contract/negative/private_import.wit,sha256=_cdXJ4N2amtY2C51IrEJ4-0bDqgh805wsk7aRGi7l7g,298
witsoc_domain_maths/domain/evals/wit_contract/negative/private_library.wit,sha256=HUKnIHE-Mc4oezuuLPqPJGM6MGfweBQ2uhUbCzQ665c,116
witsoc_domain_maths/domain/evals/wit_contract/negative/unjustified.wit,sha256=WrIikwMvX-5YNOk6ngYEZMorhvpLe-WwnuWZbgZUdW0,191
witsoc_domain_maths/domain/evals/wit_contract/positive/compactness_disjoint_union_reduction.wit,sha256=AED45f_P08wzl-QOJWd73XXw3cd8VWBMUQu1gN2Ulhc,1338
witsoc_domain_maths/domain/evals/wit_contract/positive/composite_block.wit,sha256=1DutBcutHkuTbIcRraffqveYkWBx70Vr8C1ugoMp3ic,1370
witsoc_domain_maths/domain/evals/wit_contract/positive/finite_chi_bounding_compactness_template.wit,sha256=iotKYJnA__W-pcQJjpRXw1Ck60y04SV-ytfWZUWP0t0,1205
witsoc_domain_maths/domain/evals/wit_contract/positive/grover_constant.wit,sha256=xERBInBe6ARve6iO-uRVdwFrm0b14Na4YxEcaGTsGQk,2238
witsoc_domain_maths/domain/evals/wit_contract/positive/import_library.wit,sha256=ABo_OcaP3NPUHkwsJNHXJnRurA1sgGlRsFHqEuUIIRM,252
witsoc_domain_maths/domain/evals/wit_contract/positive/import_user.wit,sha256=u3yRSVhbq-qZeEuguvHFUFUNr80u346pe260Vpk_18A,380
witsoc_domain_maths/domain/evals/wit_contract/positive/sat_reduction.wit,sha256=-3aW0aRGX0nwUT3KjCka02YwlcDbBpRjn6Hf3CaX_UE,1555
witsoc_domain_maths/domain/playbooks/_template.md,sha256=e7nGn7OXmMyx8Mtyo7eU7WGY2_R93SN0WtRIx_XiC4U,3210
witsoc_domain_maths/domain/playbooks/additive_combinatorics.md,sha256=kooIpp6kxIw8Mmsze9iCKzAzznujx3Stv7fDtk6x6EM,6824
witsoc_domain_maths/domain/playbooks/algebraic_and_spectral.md,sha256=5aTrsnDkER6p44CIu-5Tq767eWcz1ab2YD_nB3AVve0,8212
witsoc_domain_maths/domain/playbooks/erdos_level.md,sha256=NQRqz9AeiwczWUcZvGdp555iZPpt59A-q6r5WAG8E9Y,6935
witsoc_domain_maths/domain/playbooks/extremal_graph_theory.md,sha256=HE58Y4zBJJWN8U1lJSG0AVTn9g1ysnTjGxnn_MusK1g,6931
witsoc_domain_maths/domain/playbooks/multiplicative_number_theory.md,sha256=JCE4Dy8CvLQr0oGF9hPhGz2lhM01jofPBU0nA1kiDeQ,7313
witsoc_domain_maths/domain/playbooks/probabilistic_method.md,sha256=S3SYVPi3v-viYXvoOmvn3lXixBtyHb8gTDM-vv1ajb4,8703
witsoc_domain_maths/domain/playbooks/ramsey_theory.md,sha256=USfsmwN-faQR3qDM4K-joEhN-DzineDmbZvvrcIG4dg,6702
witsoc_domain_maths/domain/references/capability_map.md,sha256=tBxbE-NaLSD35bN6Q2qg5SF9_XDCxyCUiyZGOz81OEY,1462
witsoc_domain_maths/domain/references/open_problem_frontier.md,sha256=xacGn7av6pe_9-jZtF1j5YxA1waF1v_FRHIhW7JQm38,1856
witsoc_domain_maths/domain/references/orchestrator_integration.md,sha256=PktG2KBl-PIuPwnODw7cTkHdnMqZfAyT39yAxd_cDxs,3116
witsoc_domain_maths/domain/references/wit_language.md,sha256=rF5vnLQOsAVODkdPBnA5NSMyA4IImWNTEweI0ZwpZHo,7114
witsoc_domain_maths/domain/references/wit_to_lean_bridge.md,sha256=OpoH1lcfXpG8NeJbwIw7UYHi5dwEd8l6aXD6ZsCVgdA,5134
witsoc_domain_maths/domain/schemas/blueprint.schema.json,sha256=HbOwAaSEa5-9XvSRcBIiv9bIOyf3xR6jgQafuMQmKso,6071
witsoc_domain_maths/domain/schemas/claim-ledger-v1.schema.json,sha256=QOv_5LvGUNJJq3bUYoIhoKSwEFB_KWbEOm9g8rIVEtk,2848
witsoc_domain_maths/domain/schemas/problem-v2.schema.json,sha256=OijrWD25SCaVvxk-r1h1NeT8YCAXcf6oikLb16vZyg0,2042
witsoc_domain_maths/domain/schemas/problem-v3.schema.json,sha256=APgu75bAPc2-KQifcznQRnlYJjx2H1uebvoNVM2Dnf4,6587
witsoc_domain_maths/domain/schemas/result-bundle-v1.schema.json,sha256=u97VquIF0QjeVPDU-NmC_6na2F6zEcYVuNnBQHKgcq8,2679
witsoc_domain_maths/domain/schemas/verification-bundle-v1.schema.json,sha256=FKVOB6oJWaA_5RhYdaUYWCla-dLSVoARC1TQYoC9fpo,2380
witsoc_domain_maths/domain/schemas/examples/README.md,sha256=BoS2vhm98xTy3DkowHZrjxjJG3WXmaqTOiKHWButuUw,571
witsoc_domain_maths/domain/schemas/examples/admission.json,sha256=eapRBUhsekEgca2YOyVimK8ljjIJpy2Ge_wiQQC12Vk,1516
witsoc_domain_maths/domain/schemas/examples/claim.json,sha256=idI5_vXSJBmmSPCHZiZoRIlONC4KL3LptN2IeV8deNQ,656
witsoc_domain_maths/domain/schemas/examples/receipt.json,sha256=4kIvdb2mvbyHR9Wtyk-nZW8VOJNtA7RLzBYqgwE6hTs,2181
witsoc_domain_maths/domain/schemas/examples/result.json,sha256=95qAs0NrqQ3j2UlObyIDYlQh3qmQEJCYrQE_drTZ_BU,1163
witsoc_domain_maths/domain/schemas/examples/review.json,sha256=dhNo3c3olgy62BGihkqtaWlGfoFJmkkNyisQRYSX118,749
witsoc_domain_maths/domain/schemas/examples/state.json,sha256=Fi1zJdAlTIEp1LXfLkKKaeZ8gVNHc8HOuEgnyLhb0Gg,1030
witsoc_domain_maths/domain/schemas/examples/work_item.json,sha256=xYiKlknf8mJia-Gh23NA9WMKRXazHOEivDj_HdYsEV4,1035
witsoc_domain_maths/domain/schemas/transport/execution-receipt-v1.schema.json,sha256=5ZnQzo9b3-9-LoL-LZZkN5-wLHzLpLEXqAeTWqSEq2I,4394
witsoc_domain_maths/domain/schemas/transport/frontier-campaign-report-v1.schema.json,sha256=uP3Thf3GVAw0yVipy7U7c7gk_9yVRyD-SwKnmzAm17Y,4106
witsoc_domain_maths/domain/schemas/transport/frontier-evidence-reconciliation-v1.schema.json,sha256=4WDa4uSr0E_1kKH-rbo50ILF02Lz9aBxJTNiwMWpak8,2267
witsoc_domain_maths/domain/schemas/transport/frontier-research-delta-v1.schema.json,sha256=aSveyWXuIN4qCyZvepeY1IHM4lsdMdVbkZD1x3jebjE,3733
witsoc_domain_maths/domain/schemas/transport/frontier-research-episode-v1.schema.json,sha256=dhszCe_GbLPA0q8rBjXwGdXSNsqgl03qDQpD8U_WoO8,3765
witsoc_domain_maths/domain/schemas/transport/frontier-worker-prompt-v1.schema.json,sha256=2tdIfUsDowhWknERjr0WimmjxMZ34j8mXP-tYed6r3Q,677
witsoc_domain_maths/domain/schemas/transport/math-frontier-state-v1.schema.json,sha256=IV1rJwol8Y2Mu8MVDW21ONfEHlUDSYDO6sXfBtVXy-k,7956
witsoc_domain_maths/domain/schemas/transport/math-result-v1.schema.json,sha256=21d6Yjq9OJSe50JUePCSJMyZNCn5nRFDFmTPyvydgPo,2273
witsoc_domain_maths/domain/schemas/transport/math-work-item-v1.schema.json,sha256=Xiyv7hyPKUjzM814l6gvRp4HWPso0sfYCL4e-7fa6Yg,2750
witsoc_domain_maths/domain/schemas/transport/worktree-evidence-index-v1.schema.json,sha256=3qH7iu521q3gYS6rEvn5zhTpCCmTM_e_IzZRa10y770,1429
witsoc_domain_maths/domain/scripts/attackability.py,sha256=YmRWwGLdJ1_p5kD-nslROdQV2UPTOTEkuiMDuvuRxAA,4290
witsoc_domain_maths/domain/scripts/availability.py,sha256=UPscM2j1wIege_dus3P5pQqvtocxPA4eeRp3wdrJZAY,12228
witsoc_domain_maths/domain/scripts/blueprint.py,sha256=HKov-da37wnkbPFRWqB5b1EW1g2-NNNF74uJ-fE-Kvc,6849
witsoc_domain_maths/domain/scripts/blueprint_init.py,sha256=UDrnRq87jj2U8Miae2e0-T8XVdXBYQUo3VCqY-uLcyM,5866
witsoc_domain_maths/domain/scripts/build_corpus.sh,sha256=ORRpBv4k5YrH5kge5S-ntooR7jDXIHT6UM4oXxX6BOI,2738
witsoc_domain_maths/domain/scripts/cegis.py,sha256=bBGdONs9jFpEjM87M_AaZqkgZ63ABqJOVRVMm7-8uzo,5413
witsoc_domain_maths/domain/scripts/check.py,sha256=ieN29EQSr8zcfOgAWQZJWKtDbAFCF_4Umb4F691g5Xo,23058
witsoc_domain_maths/domain/scripts/check_wit_contract.py,sha256=ULBU5JFbbnJZiCiREHawRJ0svF1LTGNtL5zIvkEEvrY,5769
witsoc_domain_maths/domain/scripts/claim_ledger.py,sha256=qcL8JUcRdMp4x_d7F5CbAB8fiYD38KUpgFPiy8jq3_E,12583
witsoc_domain_maths/domain/scripts/corpus.py,sha256=luVmdmbBj1luIP8EHY1918NThSJ_wiUXR4_xhcds0Zc,18603
witsoc_domain_maths/domain/scripts/counterexample.py,sha256=aFi47sb75UJ1pfy5e3_10nZUFKzNWUKpz2cNYn--fvI,5726
witsoc_domain_maths/domain/scripts/decompose.py,sha256=4JI7asU65qAVBKAWM4KWR7FB-_w6WhJyVrONeBwZMpE,15941
witsoc_domain_maths/domain/scripts/dialectic.py,sha256=SQP9Pzh7rbsXCMtbbx0QdIvxK26q7RpBnqAaAoU5Qyk,3989
witsoc_domain_maths/domain/scripts/discovery_ops.py,sha256=gCaxAImZ9GG4Hv0hM1d5YR-87J-NrK6NX784YBNkTFo,19711
witsoc_domain_maths/domain/scripts/feasibility.py,sha256=SJdkhX4fFrOv7fJJcdFvhAW8T72l_yEUYF18IEak5vE,4006
witsoc_domain_maths/domain/scripts/frontier.py,sha256=90QbokpnP-vG5a6Axt5iFeQ4GdTQmn-wEeHlo7tEnp0,68448
witsoc_domain_maths/domain/scripts/gap_feedback.py,sha256=RGxhfyYZR0Kgm2d-d2l01ZXKShu05eQqMexFVjcQEcE,6050
witsoc_domain_maths/domain/scripts/generate_wit.py,sha256=BJSWOuWLgmQ308oFr1vlpviIDRPB_f7u7AAXKuBvDHE,11719
witsoc_domain_maths/domain/scripts/lanes.py,sha256=h83NGjxK1nGxM7FPwRq-sWGQ927N7qxCp-H3s5YlsYc,11415
witsoc_domain_maths/domain/scripts/lean_project.py,sha256=cNz6XND1XAvLOtL4t4EJ5RCM_Qzy6IN51mQcXXDIHfc,2823
witsoc_domain_maths/domain/scripts/lemma_pool.py,sha256=V2peMMyHpgbwwVtxJ5EulCk5kEav-wqcrhVJiNK-9Bc,6715
witsoc_domain_maths/domain/scripts/library.py,sha256=AiBlGdPafrQ-pg31deLb6xxKS8eNn0QxL1ma2Cxzs7U,5788
witsoc_domain_maths/domain/scripts/next_action.py,sha256=JUhExVUh08YntpyBR-iujKJ-TT8UKoXAbIu8bxZ9P-E,3164
witsoc_domain_maths/domain/scripts/open_campaign.py,sha256=shnsXjwQ67Uj7HvnqWSzjOGxA2uk1W0E11y1yvHNu8o,44881
witsoc_domain_maths/domain/scripts/open_problem_strategy.py,sha256=23F8a0dMKonffyXGglAmo-jrUKraPugq7duVNrK0gnw,20180
witsoc_domain_maths/domain/scripts/predicates.py,sha256=Rh7woiohsXJz78MG6Yr_bc9vf_5NgqSFyW-AAmX3wtE,3861
witsoc_domain_maths/domain/scripts/premise_preflight.py,sha256=n927a4Y0EKNpPPL5a9rM2HKwcl_0l1huPxhFXq9D74k,6119
witsoc_domain_maths/domain/scripts/problem_theory.py,sha256=chPZzGgBc9LfSqSRIRTECNldRqyrSDqB2p8zcaOz-wA,6342
witsoc_domain_maths/domain/scripts/produce.py,sha256=4w_6xD19A0jRYoFU1Q35hVWZAC1Q25kAkE18fbH8My0,44462
witsoc_domain_maths/domain/scripts/proof_autopsy.py,sha256=CeGtJHLv11-HhMvSjavyNFL9M8sDFd3Cwg5OKj1FkvA,4332
witsoc_domain_maths/domain/scripts/proof_dag.py,sha256=seP4EH525ufGQC9APxOcEyn5Z1ILvNESF_Nbcvtz2UA,8438
witsoc_domain_maths/domain/scripts/recheck.py,sha256=Vt45YtRs3A5zo18TabBYDM5_4pEEXCCLrE9TqlF_AEo,3563
witsoc_domain_maths/domain/scripts/reduction_ledger.py,sha256=55AbxRGGEh4yLrI7Xo7ASsrXj3rZw4h4DFlDmGsXKyY,8299
witsoc_domain_maths/domain/scripts/repair_cycle.py,sha256=Ko-ScOjC1-S5UmduDt66e9WupkDd_RUb6QZmdkUdA58,7618
witsoc_domain_maths/domain/scripts/result_bundle.py,sha256=WuF3iKTJmZboiChz-IKwDvwao3nQu5Rm0lQBxR9dmSM,6276
witsoc_domain_maths/domain/scripts/rungs.py,sha256=D8u7qeP8gB8iNRJ8TB-sWHzfDOjPJQPwMmMQ014bhtI,6072
witsoc_domain_maths/domain/scripts/safe_eval.py,sha256=3vNOr3e06xYsO2gWBhaYYGggCGUalpp3c6JNbhutSBM,2520
witsoc_domain_maths/domain/scripts/scaffold_lean.py,sha256=6FQIf7L68PiqBWKzFlal1LzfvGL-Ycg8YlzBq17eQOc,8796
witsoc_domain_maths/domain/scripts/scoring.py,sha256=o9gk7bu51jOwJDmtU5zyKWA6o-Gyu35OlFmGqXAQ16s,5928
witsoc_domain_maths/domain/scripts/select.py,sha256=zb9JCbSCRQXRLniw9V-u6Yh2YXYSWj_19vMMUcJrzqg,6722
witsoc_domain_maths/domain/scripts/sketch_rubric.py,sha256=H4YTJmqs-BzgsvQiIymSdW4MVgq3mg8m5syD5n18yCY,3226
witsoc_domain_maths/domain/scripts/solve_gate.py,sha256=Bd63EHhNDLb-xcf4ZueC7S2cOQ2YyOD4r7e9S5GMiQk,6960
witsoc_domain_maths/domain/scripts/source_map.py,sha256=cSfOQTsX-UG4EQR2zPAwAmqCF2vZglA_10L-PsXDLHo,5461
witsoc_domain_maths/domain/scripts/speculative.py,sha256=Vk9NvlJe0nWjtaVIRt_sGAMkbSav3sXFUN9RDluwNvo,3896
witsoc_domain_maths/domain/scripts/status.py,sha256=odujut00NwjAIl91vWEa8-1XKolII8S0HVWcMGsEtqo,6310
witsoc_domain_maths/domain/scripts/tactic_search.py,sha256=qNP2tY4dYkQ5SIqihVL4_nbcEZMhJmSItKogm6xKs3M,20505
witsoc_domain_maths/domain/scripts/trace_index.py,sha256=iB63Lx6-i5hY7Woi4x_EAwThWIk1ZF5b18UbRz7kUrQ,13027
witsoc_domain_maths/domain/scripts/transport.py,sha256=0UK6lp-Mu_9W7saAjSfpXInCBNAAIgVq0hLrOw8mMq4,48996
witsoc_domain_maths/domain/scripts/verification_ladder.py,sha256=HtwcWIN39DwvvuLE2j7PbHiX-lAh1w2BX9LW-xMpq0I,9438
witsoc_domain_maths/domain/scripts/verifier_evidence.py,sha256=oi02zLx_vD3Y4jqDCYmkdx1ak0_AGrhLL2JF1IbJtBs,8431
witsoc_domain_maths/domain/scripts/wit_cycle.py,sha256=w05Oy4S1OYy0sMQLsQ4dYc92cSp-BnN5P3cMAYQR85A,5437
witsoc_domain_maths/domain/scripts/wit_to_lean.py,sha256=UevKlbQCJ2TdyZoV99oCq8rAGEaqPY5l_rfhKRFIQwk,13622
witsoc_domain_maths/domain/scripts/witlib.py,sha256=BVxLZ-XvsTtv51Co-dZkj2CSdtW1qlqMuDQYFU-ga6M,12438
witsoc_domain_maths/domain/scripts/worktree_evidence.py,sha256=-VIiM6BEFuYsvNa1O3gIcTM69vimAv9EoB-7HSWiypI,12754
witsoc_domain_maths/domain/scripts/backends/exact.py,sha256=NiYphwDOqK5bdDgcMCEkELpN6iGJDUEQbhvHsfCd3CI,2735
witsoc_domain_maths/domain/scripts/backends/finite.py,sha256=MIYId9IOMuDC3HZs6IY0Z4PhfK2eDGC1afNXMwsrO9w,2732
witsoc_domain_maths/domain/scripts/backends/sat.py,sha256=emdKbq6Q1q4htd9LxYx8i99m1ldFGTDTPw_AHYGa2i4,5420
witsoc_domain_maths/domain/scripts/gates/axiom_audit.py,sha256=KtG376RK_I2gmWu1LnjwDT4Hy-tVoDlnqiPhBaouUKc,4973
witsoc_domain_maths/domain/scripts/gates/circularity_audit.py,sha256=_6YXLWzxacu0eNrcVYsKmD0P9FeQIux1XLyVJ5edp74,24382
witsoc_domain_maths/domain/scripts/gates/dependency_packet.py,sha256=AqNDImPLDsFFllGmavgevQhO5wTjrR6VBgKXqdTkTiw,2967
witsoc_domain_maths/domain/scripts/gates/fidelity.py,sha256=6guY6HY8eR_Q1WEpgqU8xCM42Kj5j6TSHDFMHpB7pdk,7482
witsoc_domain_maths/domain/scripts/gates/lean_receipt.py,sha256=ELJopx5thoqgKuPpHU8RrogW4rUuwDq4haPKqb0z0oc,3738
witsoc_domain_maths/domain/scripts/gates/manifest.py,sha256=GHkTNx4vx1Y4SevB4ajnw_HRC86-40aW0PDc-0fb6wE,2661
witsoc_domain_maths/domain/scripts/gates/placeholder_scan.py,sha256=K-ARtmYJOUAwNVbfAmouZ55GAhgS1R-TRk9Szh6UYO8,2867
witsoc_domain_maths/domain/scripts/gates/premise_audit.py,sha256=Jf4R3sUfIOS91WoyUwlutMZItl-YaRRhwJesXsstz0s,8454
witsoc_domain_maths/domain/scripts/gates/protected_patch.py,sha256=j6WpGM_NAsJWXFzgcwG6XRXvt4F8m6WT82hCB_CwX-I,5822
witsoc_domain_maths/domain/scripts/gates/target_protection.py,sha256=HBm0bGEJBjITIvw6zQoaIld_tTcnZUyA7hugsBPTJc8,12230
witsoc_domain_maths/domain/scripts/lean/DumpNames.lean,sha256=ojJjqIUbig95mWqOKBjMJpV9Xqp6R8udVu1UTwqcR4c,2466
witsoc_domain_maths/domain/scripts/negative_control/bounded_false_claim.json,sha256=9og55T2oM6MUbDErEbC2qZ8UcuQnTircKMZsTv8L5ao,619
witsoc_domain_maths/domain/scripts/negative_control/bounded_false_pair.json,sha256=5tBaw4G6w8rPJOFwmqYMrWcLEp91HZcP3P1jrd6DjKE,824
witsoc_domain_maths/domain/scripts/negative_control/cross_case.wit,sha256=w1N33yzrc5wWraCZMyFpHxjw3YDMt0kbraM79xKUHuQ,352
witsoc_domain_maths/domain/scripts/negative_control/dangling_ref.wit,sha256=qf-W55Qn4n5Axls_oKSwezFbyg3sYxAqtnnMeI_gcWU,223
witsoc_domain_maths/domain/scripts/negative_control/definition_only.lean,sha256=vclkYPvi_A-1mkIuUGyVQgQ-TPWyYp4zrC4VEYCFiGc,39
witsoc_domain_maths/domain/scripts/negative_control/forward_ref.wit,sha256=_Eau5Slq38E-fTV6xnPnNN0PpfA-_G3jP3p9wWI7ZjA,188
witsoc_domain_maths/domain/scripts/negative_control/good.wit,sha256=W3NN3GGg-SzTGPMUC8JdKQx30-z_plsJ6CbBHRsncPo,529
witsoc_domain_maths/domain/scripts/negative_control/placeholder.lean,sha256=kXj2R0ZcTYfvFa-JwvoMKfRHYRzl_N2el0qX67PBocQ,31
witsoc_domain_maths/domain/scripts/negative_control/unjustified.wit,sha256=WrIikwMvX-5YNOk6ngYEZMorhvpLe-WwnuWZbgZUdW0,191
witsoc_domain_maths/domain/scripts/tiers/bounded.py,sha256=LC-nDemNavp_BulwQJEkmN3CtbBX8-wj3weDMKs8-WE,6446
witsoc_domain_maths/domain/scripts/tiers/kernel.py,sha256=NcvqJd8yUSiqLHLNlnQ-JwU-1cx4UZrU9xCsUs_nFoM,9093
witsoc_domain_maths/domain/scripts/tiers/structural.py,sha256=8s1rmnKEfiQLfb3b6wzXNuM9In9CqVLdnPYaqGGgRI8,13275
witsoc-1.0.1.dist-info/METADATA,sha256=SX8oI68lVJOifKgssythCDg2LHvtmc-biXHU_DPqWB8,842
witsoc-1.0.1.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
witsoc-1.0.1.dist-info/entry_points.txt,sha256=MHKqEWKcBDsjX_MLn03n0NEAtHnIxYX0A3lrEwAmP1c,66
witsoc-1.0.1.dist-info/RECORD,,
