axiomatic_octo/__init__.py,sha256=Seo49EOYIl1ZGGN5ofR1vA6kg-vFCUq9uIulAwXNp98,255
axiomatic_octo/_version.py,sha256=cCfdpQi0b9_YLfXgob1UipEy7VHkqnxXovkvyAnHQtw,520
axiomatic_octo/cli.py,sha256=TUmzoPgUvdHYfqJEChRZJ-WeuZ7-jIPtzePZAW5TLyg,52119
axiomatic_octo/config.py,sha256=T0v_jng2EBIUTlnY9e7qgs97DJtyA_-o-G_5y0KVbGE,23343
axiomatic_octo/fetch.py,sha256=hulhWSDY6B_43mrXko8EgzwxLGtpI0OGW_FVK4Khwpo,79376
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/project_config.py,sha256=BGX4i29gvq-evp1-HbKO3ds0vRd29KOyLC9ba8jvmwc,5931
axiomatic_octo/protocol.py,sha256=HmMP6ViKVHbQLiiO9vXitcvMeyhJQ0UtHql2GfUM31c,11316
axiomatic_octo/query.py,sha256=HY4Y3RbtoVaCAEJJakeAx184tm7KfuyS51JrGcbUB_o,17830
axiomatic_octo/secrets.py,sha256=m0PCLCNWR-O8peWeT2P9FH5jl0_p_mqqlBjB9t54Q3U,2345
axiomatic_octo/server.py,sha256=PLiWWyjz-12oqK1h8hBnhzlh22EL6errb-SE1rrs9FI,2548
axiomatic_octo/sidecar.py,sha256=RBnUrREAiLvnKT0_36aKh2a0q1dcDHCVKNkuIzwqvvM,8314
axiomatic_octo/status.py,sha256=tEF1haM2N5TwZe_hGAWhjQ4sc4_H2HweNHH2fSwFyVY,36927
axiomatic_octo/targets.py,sha256=aYc7siLyY_6JPHPIr0OZa7olmhi1y0Rc6iCdAMbeSWw,17289
axiomatic_octo/configs/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
axiomatic_octo/configs/default.yaml,sha256=YaCOElZR1l9LG-EKqeN9Lg4AVaNdHFJCKWv3v_y2EeA,8973
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=xvXCAXzjxVX44LEp-muOBwDgXSAQ48APrViDX6jWqhY,9205
axiomatic_octo/enrich/embed.py,sha256=2O1vadYp-e6jLmN2aLmbLurOtQWmYtwqXDSkwuT2w9U,34259
axiomatic_octo/enrich/embed_text.py,sha256=RvVsYJ7qgfwjP0TSuAwfP8jk_w_ZxnOelZYMu-Y3qKE,6136
axiomatic_octo/enrich/informalize.py,sha256=kI3ebNZRj4Vh17Ls5POS57euZZqj62gpeA_JTwhzhzE,42326
axiomatic_octo/enrich/lsv2_prompt.py,sha256=OabaodhF9-1KMsIWi4jnzmVC0m3S2EGtK-6wKJoXCAU,20621
axiomatic_octo/enrich/notices.py,sha256=IwxkDbsbMRQP-zaUj54_2yWr6qlM1ENwYPwRQEdeU9M,3724
axiomatic_octo/enrich/rerank.py,sha256=5aoL1jkldPz7FHZR7P-EQ9TjC9EDkiJd2JFsTDibHPo,17200
axiomatic_octo/enrich/templates/leansearch_v2/README.md,sha256=n8yUAHNdzFiShtPKuz4Ys1YlW7BK8AVyEdBYrWnx8p4,986
axiomatic_octo/enrich/templates/leansearch_v2/definition.md.j2,sha256=GK3oYdJXaFBeMh4mwxXIdCI7k1h5eA8bFUT_O6avk-E,28371
axiomatic_octo/enrich/templates/leansearch_v2/instance.md.j2,sha256=LmSO9JyPObo_H0E6FV_oMPPRaOF-tx0xfTvauKeyCO0,29608
axiomatic_octo/enrich/templates/leansearch_v2/lib.j2,sha256=BtdgPUOnLuJ1HP2P9u-WnsORou40ZaprAoSYb_abNxQ,745
axiomatic_octo/enrich/templates/leansearch_v2/technical_entry.md.j2,sha256=DgpTp8rUyrtJ0SzseLxZ2mhBvG_y_CTl4RLu3vEonTg,19598
axiomatic_octo/enrich/templates/leansearch_v2/theorem.md.j2,sha256=ijcbP1229HKdaxZtzs4_iqdLsRMS0-GrtGq1RQuLDIM,33313
axiomatic_octo/parsing/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
axiomatic_octo/parsing/corpus_workspace.py,sha256=RJGWVvHVo6B0z19SKnw1USumPDBVpxo-j4cEU6R8CA8,5614
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=xBXPO_gCSjp5ah9Kmx0yw6fsKuFwaZZFjKcsUL_ltzw,15166
axiomatic_octo/parsing/lean_extract_build.py,sha256=dhAsX1EZtBODS0qgkfDW6il-0IwCvViUrP33dI5suOA,9341
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=mxrHNjRmNIBUai7CI_K_L7h7JO7EqHnsSn4ntBCJRT0,39142
axiomatic_octo/pipeline/index.py,sha256=FSoPPPTasel6mY93AeUlQmY39vJ8mYqpNzirTxVB4jE,28927
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=-6R8anJwJ94lGqM0M-ta5DwabDB8LRnz4fbsotKj05k,7798
axiomatic_octo/runners/query_runner.py,sha256=nMa2KtnuoXr0SJYgljAnQr4Ps2Qz6KHPvqY6ixurQJU,9810
axiomatic_octo/storage/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
axiomatic_octo/storage/db.py,sha256=XDnIvd9t9IPipwWLX6OVHi1sdF5nbMK-oTDZ08zbaSQ,5160
axiomatic_octo/storage/paths.py,sha256=F_BFtxawl5qcEv_HyIMAUZZ7ITfNncE-f-prx1q9dWY,11923
axiomatic_octo/storage/schema.py,sha256=F5NT9d_TBUdfZmOYhj6LwWV00VXCKLoJ2Sp-JaJd62o,3077
axiomatic_octo-0.2.8.dist-info/licenses/LICENSE,sha256=q3-SFznO2KDfFFc3clhjkrV_dJq4JzCe1J4AZMSpSHk,33769
axiomatic_octo-0.2.8.dist-info/METADATA,sha256=r49UQJmWcrgCABTEmHmvcqZNzBenl-XqnwYVfG7wjEA,4297
axiomatic_octo-0.2.8.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
axiomatic_octo-0.2.8.dist-info/entry_points.txt,sha256=hOOvEEBRdSmSCrHX7RUX7T2PJhTtCOaNjyy67LbrsvU,92
axiomatic_octo-0.2.8.dist-info/top_level.txt,sha256=JAC2QJ7eWt_FCTmUE0F3tIWX3siY6WBQhCwiQ-6LJf8,15
axiomatic_octo-0.2.8.dist-info/RECORD,,
