axiomatic_octo/__init__.py,sha256=Seo49EOYIl1ZGGN5ofR1vA6kg-vFCUq9uIulAwXNp98,255
axiomatic_octo/_version.py,sha256=CttnnA3dbvHvGG5cEuWfP0DQ5e_0aiOMkUZSe_ertts,520
axiomatic_octo/cli.py,sha256=nhB9kB1XFbSIgY-3lJZh2mqtxoyoIzm9SLLD4gaBTds,47436
axiomatic_octo/config.py,sha256=MHvI7HMxGRT8BnsK3Yzl8dOz_nc8tdXZ4TY9uI1iXT0,13153
axiomatic_octo/fetch.py,sha256=fFGkiQxEeCJ7J9ivaSXSvWtd4pXKZI2ACSTzvfLg7LE,63560
axiomatic_octo/informal_sources.py,sha256=fXdpX-fA6lc2yjsHcrLA9rnRwWAa2I_ZRmUdLmjvgBE,14021
axiomatic_octo/links.py,sha256=4ZlwJoZOrU6ax7zILxM-k7RRC61EjLyWADruuxZEjMY,5415
axiomatic_octo/logging.py,sha256=m8UmihOEfXbETwRpITQHUbkEW5GjLz2QTqOu0aTqEy8,2081
axiomatic_octo/protocol.py,sha256=o025ZxnTlKzo8rKF-bXOFwA_Ru_5Iear0ytmt5C23k0,8122
axiomatic_octo/query.py,sha256=a4IDRnBbFFJqWuPosIEndTbVIdBiOfzWx4Y_VVcqp8A,16104
axiomatic_octo/secrets.py,sha256=4-rPMtKphWgaCG_HT0cjAg955Xb7OCg4EpY5T1HWUa8,2099
axiomatic_octo/server.py,sha256=PLiWWyjz-12oqK1h8hBnhzlh22EL6errb-SE1rrs9FI,2548
axiomatic_octo/sidecar.py,sha256=m2-nIXelpaFfbehiCaklM_fyG9Dyke2YOxSN6SZUhoo,6235
axiomatic_octo/status.py,sha256=ksdZ97y0F_T2vwV-QXHYu9UiNPhziiN1NEHQBy9HVtk,30734
axiomatic_octo/targets.py,sha256=gwjqSIEByQbkMvDkFoN9Z6hd0QdlvpJR833Er4Rr2Vw,16919
axiomatic_octo/configs/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
axiomatic_octo/configs/default.yaml,sha256=bBTrr5Ovd6gkU0LTy0yre3kNnDD-9XvnZGC2q-46enI,8137
axiomatic_octo/configs/llms.yaml,sha256=mroMWMZDS1LUta_T8MP-NON6aJXJALU-CI0uMMa-5fA,9154
axiomatic_octo/enrich/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
axiomatic_octo/enrich/dep_context.py,sha256=Ks0xrmD6J1ob1cdOih9uRj6d9_qF5pObd8xHHa9zGkI,8742
axiomatic_octo/enrich/embed.py,sha256=qYCJ0G-YgAfutQYOaF0AgOA4KyBS5d187ZjG_8HtAsg,32906
axiomatic_octo/enrich/embed_text.py,sha256=RvVsYJ7qgfwjP0TSuAwfP8jk_w_ZxnOelZYMu-Y3qKE,6136
axiomatic_octo/enrich/informalize.py,sha256=-0UxtY7pgU-5onmEoHR0c9CKvVbur1lTrYK59OfGtvY,39835
axiomatic_octo/enrich/lsv2_prompt.py,sha256=1JRaejIlJP7VTTvDHBSqQvoh60sTxmxM2_y-TkRVKZA,21220
axiomatic_octo/enrich/rerank.py,sha256=lmuCui9oY0y6eRierW1rsnpSGZ-wjfX8eWjQsWZ0pTA,14635
axiomatic_octo/enrich/templates/leansearch_v2/README.md,sha256=CLHGLgY0uc3R9wEpcKLUImcx8GlyS3u1PRJXNe0_XZQ,2029
axiomatic_octo/enrich/templates/leansearch_v2/definition.md.j2,sha256=wsKf714k9HqSz_uDUE9-TW55EdFxfRcf0ZS4ClECXGk,31058
axiomatic_octo/enrich/templates/leansearch_v2/instance.md.j2,sha256=GHKrp1qjmR8KO6IfLGKDAjh5fDD3zR9BjdfvFQO8euI,31501
axiomatic_octo/enrich/templates/leansearch_v2/lib.j2,sha256=o4XgfgS1STZUxjX_XLEQ9glPwnasDiQRn3XErcBU1xI,858
axiomatic_octo/enrich/templates/leansearch_v2/technical_entry.md.j2,sha256=Tg_5slqJfNwbVKpTad6qgt4wYnBPX3gQy3sd8dinw3g,19657
axiomatic_octo/enrich/templates/leansearch_v2/theorem.md.j2,sha256=GoqYKjLYI5rv7YoHrMaA1ACrhsYZsmDEhNRdikFBDmc,34996
axiomatic_octo/parsing/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
axiomatic_octo/parsing/corpus_workspace.py,sha256=03KzdO_abdxIxAPMRMJJftRoLST_BLYEkcyrw1HAYYA,5538
axiomatic_octo/parsing/docgen.py,sha256=5pQsgcZiAT7z-9qE9636X6YmvU4Ak_r1FtfoFYXho94,13253
axiomatic_octo/parsing/jixia.py,sha256=KgndCu49sqwwWbMAhjWGz2lSAP1PudL1dkiN5Q_1ikg,13921
axiomatic_octo/parsing/lean_extract.py,sha256=QtTUXfX6AUXfqWUEermymDIZkwZ6OC1wrozreks8JQs,12662
axiomatic_octo/parsing/lean_extract_build.py,sha256=CAQu-qRHoUW8eHVTaYyf4IpmEmZlkR42jAg5qp6WNAk,8728
axiomatic_octo/parsing/parser.py,sha256=4Rk295EKZmrvDozaC6gq3eCZaBlGeQ0k1wKv6zz_C6E,23206
axiomatic_octo/pipeline/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
axiomatic_octo/pipeline/builder.py,sha256=uOej09mIq_DkcdrbH8pB61L3wftSwiMK13Viz9LxZwQ,36579
axiomatic_octo/pipeline/index.py,sha256=6tJX-TVQY22zdwO0IQe__ZvQBNDZWynz26YXQChb1Dw,24903
axiomatic_octo/rpc/__init__.py,sha256=kwTnlWU936KQGAA8JFg78YjEOG-orEJRBhZhkKq1bQo,1112
axiomatic_octo/rpc/dispatcher.py,sha256=TExoAnhFnSqqp9yL4qwxY3X1Yy5bm-1ZBUPCzrIoXB4,6317
axiomatic_octo/rpc/errors.py,sha256=UY8MA-foxrKCXRjsxDjr9r8VDjBkg_aDbDutE7muKYI,1417
axiomatic_octo/rpc/events.py,sha256=BhoU7qvy5oyEjKHhTg9X2FsGc7t7T18amunQ1ryFhxQ,4525
axiomatic_octo/rpc/jobs.py,sha256=bDKjOjnIXeOc_Ch4WGrsLCkV-9_QvxICdK3c1vMnVD0,5796
axiomatic_octo/rpc/log_handler.py,sha256=bZv2a4oZTEExFhHqi2bpGVldP61q4b8bjoc9ZIvWgAk,1663
axiomatic_octo/rpc/protocol.py,sha256=8NPN1PwAw7OFUqVrSxwB8CkeTgUMWzh717l8pRdqIFo,2841
axiomatic_octo/rpc/runtime.py,sha256=ODBtmNVBNpVVJaLzPvf_IV3UCV4NfBL1ghd4ipbXA1k,5111
axiomatic_octo/runners/__init__.py,sha256=bYgOP8FnPNuXustFdC4T7vnlTb86hIB91Jpmy17383o,75
axiomatic_octo/runners/fetch_runner.py,sha256=pFsLBqkbWrmQ7gexOXCRcVXanSqFb8nxeRnO7wfxDhY,7814
axiomatic_octo/runners/query_runner.py,sha256=AXWjXKDld_znMEChm5aUuoKy-2_36hbksKsY3hRUbBk,7515
axiomatic_octo/storage/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
axiomatic_octo/storage/db.py,sha256=f5HohtqdcPlukqZENanenmw-LLhYAmofoQIpWwLFWAQ,4716
axiomatic_octo/storage/paths.py,sha256=F_BFtxawl5qcEv_HyIMAUZZ7ITfNncE-f-prx1q9dWY,11923
axiomatic_octo/storage/schema.py,sha256=CmVOE9zLcbFIdBy5O_uB5WdChrJEO5SSgjzDeNYFJus,3018
axiomatic_octo-0.2.1.dist-info/licenses/LICENSE,sha256=q3-SFznO2KDfFFc3clhjkrV_dJq4JzCe1J4AZMSpSHk,33769
axiomatic_octo-0.2.1.dist-info/METADATA,sha256=rpmIecNgSytl_DR-UZOH4cpDjHJ3EaD9W5H_nuFR0rM,3869
axiomatic_octo-0.2.1.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
axiomatic_octo-0.2.1.dist-info/entry_points.txt,sha256=hOOvEEBRdSmSCrHX7RUX7T2PJhTtCOaNjyy67LbrsvU,92
axiomatic_octo-0.2.1.dist-info/top_level.txt,sha256=JAC2QJ7eWt_FCTmUE0F3tIWX3siY6WBQhCwiQ-6LJf8,15
axiomatic_octo-0.2.1.dist-info/RECORD,,
