jacobian/__init__.py,sha256=rZt6DuGD9hDd744rEeMdtsgjHH61Kk9TT5XEX8gGCqc,145
jacobian/_lean_declaration_query.lean,sha256=7NHmUIdTeFPsb5d0JFQ3QwNFfrArDtP5Kdi6IWq_2D0,13488
jacobian/artifacts.py,sha256=hcExb110Hm7n5j1RUvF0ixKcW_PZcb5x24Eq5OsHJvc,4066
jacobian/atomic_capabilities.py,sha256=JZI-CWkjbNFmYYzIQzSKGI3OYdkIzLkXmNJNifH_vj0,21756
jacobian/atomic_capability_builders.py,sha256=tIpon9wYllU1bVbgmKnpGI8xULsh3rdmrXaTWL64j5Q,522
jacobian/atomic_domain_capabilities.py,sha256=_QsTi-jXfnxRR23jfGmPz6ucyu-VA0N6nn8dziKXJD8,5981
jacobian/atomic_experiment_capabilities.py,sha256=JHqKUCfnVkslW3mwBdR5CEDIrx3bNlMM-oBVOhq5hnE,6103
jacobian/bounded_process.py,sha256=igaflqXhhtaKYKXWCMhD5DnzjROCaIhRZaDZiZXZiAs,5446
jacobian/builtin_capabilities.py,sha256=ZTGeqiNjuq14KaNTR8zJGQXQaKh5irImK3rKNC1ii78,13699
jacobian/canonical.py,sha256=9ZwEX_BNUrpu0gkKwFbjU3o6dPvUBiB05sh7AabFd1k,5830
jacobian/capabilities.py,sha256=3kXVK-VWocRkhOBvWmDixjO0g79a49N6PSGGWizmQf8,20523
jacobian/checker_worker.py,sha256=qdrkz4w71aiPwfAfqrDDNTvYCQwkvfceUEiguwMSjJ8,2525
jacobian/claims.py,sha256=riskkZlFuOQKDwuf-ujaVi5uk_2f0ZED21YI8bY7uGw,5231
jacobian/cli.py,sha256=yokqMuvhIx2s7gEthrFPJ8EoIjEyZY51wEtt1bnHv04,23453
jacobian/conjectures.py,sha256=8lVkpPf1kU7Rz7FruZ-tf93atN82M_McoZbimxs19VI,36245
jacobian/eval_graph_oracle.py,sha256=Adk0cFQgqs0hoGZwndTgjUMsjGKyTLLSPQehFUgB4Mo,6939
jacobian/eval_telemetry.py,sha256=DasYUVBwWwsqlYytzNtq4S21VczlSdFGNNRlB1G0MUs,6529
jacobian/evaluation.py,sha256=g-CrwA6HRNLX7j1jdSpta2Llp5rrTwuQISEkzr1NKoQ,14789
jacobian/experiment_router.py,sha256=izzr_ftn-TCmGNKQMoTotH55ZRoYvFcpcTSb7O_AWLw,2128
jacobian/experiment_runtime.py,sha256=21490XMVX1hVscMHsMHiaQKINfq01DlnwXGYI0UEMiA,601
jacobian/experiments.py,sha256=7-g-nx6p9vyOwUzoNmz-BUerHi1EBVAzt7paYltascY,46116
jacobian/finite_partition.py,sha256=-tppINrFFSaMYBAaIxJ0mzRnXIJEThxQ9CCEG2HlpTY,19154
jacobian/graph_capabilities.py,sha256=uf--36xK3w5zOfsG4o4uPc0fkFRsG4o6PXqzVUIWluE,51252
jacobian/implementation.py,sha256=OgosOt83xwD_xEvkX6x8-_EhqztUTr9CEayt-6vA3K4,7035
jacobian/kernel.py,sha256=Ph_uPeGiJ_tuUgSDOYTtTcQs63HhtUflgHonf3SLW3I,12342
jacobian/lean.py,sha256=zBfv9Qld0hkNqxlieoS7beKt0kLm9MYgI2a5Aj4zZko,9225
jacobian/lean_declarations.py,sha256=A5TpBVOu9uuZR_HXzICxBV_JDMYJoE-wJVhwRKq56T0,26723
jacobian/lean_exploration.py,sha256=bmOUtDuU86qTxsM0B2Zo6U7ZdZjdje7EVxYuooY6Uq0,29544
jacobian/memory.py,sha256=_crzCRw8etwSeTySctdf4fR4lW-Qf_SlZZYL0e1RSPw,6893
jacobian/plugin_conformance.py,sha256=-EL2WCcdsdSu_456EWp45jAWAIGk-E1e5FH2dNAESO8,11230
jacobian/plugin_execution.py,sha256=dXNg36xqNG6dPWy07QpFdeuvJP14iYVlNVftmd9dE-Y,7109
jacobian/plugin_worker.py,sha256=XVXaAdfkcty_R_XJC1Lje_V6e4fjKDvNRk0Qj2m4VEc,2747
jacobian/polynomial_capabilities.py,sha256=SmYRthXDD_MpNOTHwrn2ssoYWnccx65qdefKyfvpulI,35865
jacobian/polytope.py,sha256=bQxvUtYP-fCRofsjDJAXPeFYXAtEDC2QOJ9zKWVzUPY,25385
jacobian/provider_measurements.py,sha256=61DXN4eeQdDmFB91jh9vT3_f2FqaV5tMfR5irmhCSjU,9333
jacobian/provider_runtime.py,sha256=1Gcvnd05ewiThbNn-o7LogxTCmhMEPVXS1dG7Lbh_vA,10943
jacobian/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jacobian/references.py,sha256=lhTbN_FAgpN4IsRn0BU7eos1DkzG2jSD94uI6aspjYo,37207
jacobian/registry.py,sha256=cO7fTeZUpVvL03wBSpnIEBefVUK8JgjdvdhUImQwEzo,20150
jacobian/sat.py,sha256=zqaoBChmeYUYC6FNj6QvlaVhC7pfP3CW4EL4ZaZcM0A,7292
jacobian/schema_registry.py,sha256=w37PyClIPLJJ0YIgKG-i1ycTKwlC77BU7IM8tepe-Zo,7511
jacobian/search.py,sha256=ChQf6c2P5sTyqPwalNRLacDXltBi1SYTl4fVxWTMv7Y,84018
jacobian/shrinking.py,sha256=AVOg1JeHytQM1etD41I7jD8DaZjme2iASdOs2otzjH0,19030
jacobian/store.py,sha256=7433w8rofEXdWGgB6i-Ibr_grUCNyzwdZzTwenrFQCs,21137
jacobian/structures.py,sha256=UvuGQWv3FFydXB9oL3aQXUsdCtvWt1eaRpesrl7zAk8,8993
jacobian/transformations.py,sha256=gQBSZEEy4vCFKIvcFe1Ur1p3p4aBeWBscbpVJUDWGrI,12245
jacobian/universal_algebra_capabilities.py,sha256=0SEFoBGeja3i94DCrlFvrcvZ2kXWik8XygEwGCbnHss,23623
jacobian/verification.py,sha256=zHLxF9g4AiisX_arwOR8VtzP4ChRH6nzwBqvHnmBNqk,49702
jacobian/witnesses.py,sha256=d2P9w-kd5XEfyftdpYL0jAYg-G7IQ3kCuDfiqMKQt7k,13951
jacobian/workspaces.py,sha256=4VWHzZs00EKd3CQWLMmuFo8eeulqhlpO8kprriwY6jY,65476
jacobian/adapters/__init__.py,sha256=IypJBCxlFCIYkPmGT1drlQZ_F3DeEr6_0HM9t1Q4IgE,50
jacobian/adapters/mcp/__init__.py,sha256=Tjx4vCnlncYjFLmq9h4RJxo407DgWjxv_atVs5xU-e4,23
jacobian/adapters/mcp/remote.py,sha256=3Npg7GFikHvlSnSVynBCnu0njle5OUAdbsYcSbzQvPo,6478
jacobian/adapters/mcp/server.py,sha256=aI4g1o4rGPa4Z6TDx9CzZepgU8kJVFiHkhF8i-jwNl8,36520
jacobian/contracts/__init__.py,sha256=WDiMQw6SEV2uQtlVys-CrZ8vMnmKmNsm9JvLsCD5A0M,509
jacobian/contracts/artifacts.py,sha256=zWT2mfa1N9V8ernjsmH-w3yYpaXdoz6cpXgfGcWgp3A,766
jacobian/contracts/capabilities.py,sha256=uB1TtcHFaYoGODBEFIxnEbxk-0FWXom2ZyAEzjTx6GM,16015
jacobian/contracts/checkers.py,sha256=utKN0LXun5fDkbqCkNry8DOeWJZSKgAfPoEuMyj8BPA,3368
jacobian/contracts/claims.py,sha256=680jJhriQSuQNzZTeuD6fT03uD4h-C2nvMqGk7bcsnk,3583
jacobian/contracts/common.py,sha256=l2ab76s5caVw2uX9m0QBPVP6tmYRmmaq7LzhhR34KRg,650
jacobian/contracts/conjectures.py,sha256=NS9kg2ljmH_50VcTTzAOVuz1-tljzv0QLNTy1I1-3cA,10332
jacobian/contracts/discovery.py,sha256=ug_u9QaIZJGC4c6-VPVvzQjlHJQXKQ1iXxBrZZRaOg0,8286
jacobian/contracts/evaluation.py,sha256=RrKoD9kE1pb9POzCMeZbO0I3E6xU60FF0Zc3PTMO7Js,1914
jacobian/contracts/evidence.py,sha256=dRJQ1Ox4lWfuGC9lIOlpHEdzCuOseV5-DLQYqiDdCYc,2964
jacobian/contracts/exact.py,sha256=nBOyY3gvhWllJhprs_7P28RWKQAfBBfuwi3V0QTYA4I,1098
jacobian/contracts/graph_degree_sequence.py,sha256=SBVW0QYgqVBbC42gcPmB2ahpWyX9JYxUJuR8iI6fGl4,4969
jacobian/contracts/graph_invariants.py,sha256=-XlKVweWQhgUJkVBh1acMlrJbHzhO_PRoKTkZdh2Y3U,4453
jacobian/contracts/lean.py,sha256=tWt8NVp7WNiDoH-A6sNuBbvd2xg9fFM_t2YmEs-DnXo,5928
jacobian/contracts/lean_exploration.py,sha256=La30UkxS8SJIsA6ACnHI2_89MFMo_HROLj4njVbwFIo,3162
jacobian/contracts/memory.py,sha256=KsQD4mkjROQNWjRtjaJDtoYxKRhS3jAGk3QGe6xcHig,1304
jacobian/contracts/plugins.py,sha256=ozLDA4Frv2knyuK9cCeg1G385lcD9xK1fsN0EhnbT3E,2952
jacobian/contracts/polynomials.py,sha256=KDPZXNM85-rtS6p01S6vFl7T2JHrWR7VidLKEoAi5QE,11852
jacobian/contracts/polytope.py,sha256=eKWCC5DeZlaTvLRNb7BqUUespWxSGx7GFlpcb2iQx-Y,3468
jacobian/contracts/provider_measurements.py,sha256=wMTrPHSF3_PVvLHqu83-n2Kawet35WwWAZvFyl_hMiY,1947
jacobian/contracts/results.py,sha256=APEXDAd-Vt8WCJmbWa2jxP-8BpoJ8gNKjrU70ltpFWE,7311
jacobian/contracts/sat.py,sha256=jE5iooMviByihAymeLizPSPCZ3cA8xn9pz63QcrfZ8U,12386
jacobian/contracts/search.py,sha256=63deBW9702OuDf4MKlt1EjfuGfV39-_XOMpdQdudGZI,11553
jacobian/contracts/shrinking.py,sha256=d2Yhh5bQs6PPa6ZDkZeogiS4cXW7xmB7pLCHvpbgUlI,2622
jacobian/contracts/transformations.py,sha256=tSLFMDcPgqDVfVzlSKbBPWxTp-Z2YJgTwtguKtzV5ig,3327
jacobian/contracts/universal_algebra.py,sha256=1H81IwGYuH3fsa6rgrES8oTx9g3FReG8HtWSNWpFL44,11865
jacobian/contracts/verification.py,sha256=i_vYkDSmL9GcKRXbJAQJUFqOjK8tp7AjfpDLVrac52o,992
jacobian/contracts/witness_search.py,sha256=DDv88gQB-qMSs4i3OhwyxRAOxbEAcggo7svNgmxgI_0,4591
jacobian/contracts/workspaces.py,sha256=iOc-YEv73DVinL7rknyIITcSupeWoI-GOqO7V75upro,25099
jacobian/plugins/__init__.py,sha256=FAB6Q42hsutWKZw-IZqhPMCyIe63eWq9OsstXa48bbQ,55
jacobian/plugins/erdos_straus.py,sha256=SaLmoDWYH4m1H_Ck2qth4b42QgJ6jSRtPApgf2qaa2g,6141
jacobian/plugins/graph_paths.py,sha256=L4ln7KBsoYtg-zvGhaJEYlKE4EB_wxUSrC-1zbx1kGE,33601
jacobian/plugins/matrices.py,sha256=Frk1AeZDEPTjtnSUZDMaKI1T9LfARlvcf1y2ySbekho,30550
jacobian/plugins/registry.py,sha256=ae2oT4zgk5jFG4Ggub2tNIR4DuklOH8L7PVwMvOqwfs,17274
jacobian_checkers/__init__.py,sha256=a304PMMNnSFAvN-5GA1X1iRyIIL5i5qV-MnJlk_B7u0,74
jacobian_checkers/erdos_straus.py,sha256=yvX4_G7gW1CmTo8PnXuiiK4C5oroMrYlZy1zFhZBK4s,4305
jacobian_checkers/finite_partition.py,sha256=lY1w5gPN8oAGU719kIyOI3TK4lPwpdZXtbmskaAAI1I,3947
jacobian_checkers/graph_degree_sequence.py,sha256=3SqllSrwCsxaSHwIKlp_6Rt39kUGl4wu4u3EFO2seew,8497
jacobian_checkers/graph_invariants.py,sha256=P_sMbtkBOTkkMjeW-IF3ysiHp2r-xfyYpw7B0ND14CM,10131
jacobian_checkers/graph_paths.py,sha256=82nBN1nGdhnkSI73Xm2eLaDY5pB1ny2wtoOMCZncJ24,21088
jacobian_checkers/lean4.py,sha256=_h8IDKIN9zzmNTv3rg70sGDfNop5mp7GFJuzye474eU,16465
jacobian_checkers/matrices.py,sha256=3FmUBcm5TAwcoLZFnky1GjlCCcIiTfpiidEjyhJBawk,20952
jacobian_checkers/polynomial_maps.py,sha256=UJRmmfC8244_p1wMS4vLexdaz7LuVMmTKMtj3ZWLFAM,15951
jacobian_checkers/polytope.py,sha256=wrYZpUHce6dj6Olpt1lga5XsWqUMeXEvA_5oM9WlbWw,10952
jacobian_checkers/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jacobian_checkers/reject.py,sha256=AbZd7P29UG86e8zPUSvFUmhPYH0-Dk13GomY76tQCos,450
jacobian_checkers/universal_algebra.py,sha256=vEmJY-JrLgqMSseZ9p7Nhrb0CO3XdK7FUTFqTHShqgg,10883
jacobian-0.2.0a0.dist-info/METADATA,sha256=9DEWrSY8jVb2uC0f_U9o_wAifMpWAhX0dFNaTJDX0Rw,12354
jacobian-0.2.0a0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
jacobian-0.2.0a0.dist-info/entry_points.txt,sha256=HuysDpfboM0e5ICLuQQwp4cQ2cHomMQArMqswIO17r8,95
jacobian-0.2.0a0.dist-info/licenses/LICENSE,sha256=G17-TMzgu31AMsjZtYTxBbPww-ZAsYPKyZH7unKaj0A,1078
jacobian-0.2.0a0.dist-info/RECORD,,
