papercheck/__init__.py,sha256=AYljykwp8DV0alR55McyFdS5N60UQYlCClA5IuRVaRQ,104
papercheck/cli/__init__.py,sha256=5AV9Ygwum04evhdz3tPyNzxnbDudR0WQ9eEVWLfBEzg,51
papercheck/cli/main.py,sha256=mWDr03quI-7kLcdZr-zxD_fSv4e0afOJralW3ttgLdY,12696
papercheck/core/__init__.py,sha256=Byk2_3e4AGdPOrkUj_3dgPCgxuyeWCW7ZqyraWSh9NI,58
papercheck/core/_resources.py,sha256=1gOiXP1n6DRe3mbcFdG276E-h9smDHScIs5lt40NRDM,1398
papercheck/core/adjudicate.py,sha256=XlG9kLjx6fk54uS5avxCufom4LsYSWbNZ_bg4IuLyMY,8226
papercheck/core/compare.py,sha256=t6s8e_tUTm7qkitu57Dz32nVj9XS8lDxleXjbm7N3qY,8345
papercheck/core/domainpack.py,sha256=NhRwIJNG_nrvpmhMO2y74fsYnjIqgt1-7mBCglQI0p4,5508
papercheck/core/gate.py,sha256=zE9YtCNa4pzb1wPMyQtupIarBDVBoQuPIouDhb55pkA,7518
papercheck/core/html_report.py,sha256=4Idag9k1yRBE0GX1152A4xo5OEAqJXV3WPqx-rHN0JU,10213
papercheck/core/issues.py,sha256=Z-Gx7FtaB-TWZkIWkrrMIAhzO_Xrv9qfl9Nrqqe9Iek,2897
papercheck/core/ledger.py,sha256=LgZRxWarCiJRP6WR8Wi6He9nAeTk5-kcqkA-rD5C2Q4,5624
papercheck/core/paths.py,sha256=Hh3Sg4nou08LrHCuOJugm7Do6o0bANBxyFQTyLcC8Gw,1541
papercheck/core/profiles.py,sha256=GbOYxEOkpyGs44pcQbIEFbmwv0IjcCa7Yd3eqUkHi2g,1430
papercheck/core/render.py,sha256=zu3FEGA0cqEePv0ctFC2Oi2iW44rAJvdlsUhNbSrdNw,7238
papercheck/core/schemas.py,sha256=mu_u3lABtP6MZpfIkcyS5XvB_oqr2Vq6rJ5UkxNaZjE,1292
papercheck/core/segments.py,sha256=ypttCvsmHBgrDogDbQXTUJmEb6KpxhIY9P17TxiIw4o,6955
papercheck/core/state.py,sha256=GUWY23czZ3HiCgDFPuI-31QUrPtOIas-hN3PboZkiCg,5858
papercheck/core/texscan.py,sha256=N0q2V9r3SGU-Kvl4yGPR-cqKVBgyjSAjAD4xoiwZNN0,28359
papercheck/core/verify.py,sha256=HgK-gQoh7-lMpQRzfiIHa9XZyWIJYjJDNs3ONph08oI,2089
papercheck/core/webserve.py,sha256=L5yIrXHefg43KVwt_gX3YIOVX50QBbD83JC0A88guLg,21624
papercheck/mcp_server/__init__.py,sha256=rMD9K8ihgNChCFzQ5WKtlD5PHCVH7h0logn-9jmwwuQ,63
papercheck/mcp_server/handlers.py,sha256=c2npgZXZNWgWa3CD3Ru7VCyX-X7HQrRlfGM9hUiUYu4,11380
papercheck/mcp_server/server.py,sha256=bD1HR7zcD2i_IAEry5EFYl8Urhc5HP2R7JhYLUHLuBc,7428
papercheck/domain_packs/README.md,sha256=KKZGItyO5phIeUyKvv4hER0D4H0fxxBpWTb_yN1cZwk,2309
papercheck/domain_packs/general.yaml,sha256=7hCgd-uRQ2SVnQ5t3EiMKXN-HfbZjRoH23IKrPBUz6w,904
papercheck/domain_packs/machine_learning.yaml,sha256=VD6GIw7rnJqKwbB0AeVrFGLOC-2UVwQmpiI8JXFS7yQ,905
papercheck/domain_packs/numerical_analysis.yaml,sha256=fHCv4UQDOXoiREeDHEbrjejoSQ7Yrr-XYr_1gdeG1-Q,876
papercheck/domain_packs/optimization.yaml,sha256=B_mZ1E2XZcGkiKaC90IgUENsYpsN1WJyB8Tdc0QZAZ0,842
papercheck/domain_packs/pde.yaml,sha256=qbl0Vt3RRaaNF-Db_4gshIvJpZ0pxwWsJ4wuaTXz3P4,937
papercheck/domain_packs/stochastic_analysis.yaml,sha256=mAVqvbPRCifZIUlfKl69Xq6tkG-0CV_S5poCZvIZ2mA,839
papercheck/profiles/profiles.json,sha256=QR_uMDejzF5XQTbdbW1gbNQy5y4loZz4C7q7H5CdfUU,1760
papercheck/prompts/00_bootstrap_orchestrator.md,sha256=HPDEhwQ6O1htBbigJdsdYEs6zbw5zvAGHSv8YIQCQo4,755
papercheck/prompts/01_repository_inspector.md,sha256=vZNHwKZQkzHYrEtk5uf6cOM2hI2SAIcEt-wLj58w74c,852
papercheck/prompts/02_build_and_source_hygiene.md,sha256=kavoMmaz2MCoT1JaAZ1QF7WnCGiz-aXCXMqMDDCGs2Y,860
papercheck/prompts/03_segmenter_and_budgeter.md,sha256=FJMYbQ4pRHPMLC4ORM23jbkobJ70v5yLaGRegZ2IzLU,1340
papercheck/prompts/04_theorem_inventory.md,sha256=5eyPQ8dF4ptQzToNpvguglIt0O8KOaFNTYnupM8CSmc,859
papercheck/prompts/05_assumption_dependency_auditor.md,sha256=SdTjdujQz_wQjwwHDWr4_8PxnhY2Z_24EsFHGmfcnHQ,887
papercheck/prompts/06_equation_indexer.md,sha256=qThuwABCoSXxBlXkEUKvR2hsS5wJC_Z9ejRQowc325Y,694
papercheck/prompts/07_formalist_proof_auditor.md,sha256=lcMVdQjdkF_9ls0u68GOFrq0ORWGHpPCxHoLsatFs_Q,1548
papercheck/prompts/08_domain_specialist_auditor.md,sha256=AtlI34WdvYpa-3EyulOHA8oPYbWUXZH_yt5zNJKR950,956
papercheck/prompts/09_main_theorem_chain_auditor.md,sha256=DL7U7O5d5pRAEZrJ_H7xrD2yYoql_9WYZHg6Coj5A1M,1230
papercheck/prompts/10_numerical_experiments_auditor.md,sha256=DLRWG0RH_5LpQRyWj4jzcFHPEOyEvBp_JmKJLUYJ23o,1191
papercheck/prompts/11_related_work_and_novelty_auditor.md,sha256=PfismPY1krAWGeACOgTk4drER_ZZIIaLGW51NILPf-k,1020
papercheck/prompts/12_notation_consistency_auditor.md,sha256=z40GKA1CVC3nNg6_KUy9OKDprwZkJjkC-foSmmGBG-M,833
papercheck/prompts/13_source_hygiene_auditor.md,sha256=IZGC1GG36iHVhMmVal1VlTTGFizHaFhvgMfztNqemSU,821
papercheck/prompts/14_global_synthesis.md,sha256=csKJ91k9fAZP2XmO4hTrt5WqG8zSQ8F47u02MyCu-bY,806
papercheck/prompts/15_issue_adjudicator.md,sha256=ZhsL82-HQQhHrHAsVyMK1LE9Z30AgvXE1tyZNkLnKQ8,1568
papercheck/prompts/16_patch_planner.md,sha256=ncbFm9mqlf_nGGV62qw7HxDjPDP_YGZ9q5tEIIW2D90,773
papercheck/prompts/17_patcher.md,sha256=a4qJZy_p-7XJMkO971QQs7yeCHYeiRWMXx0MJUKAmuA,970
papercheck/prompts/18_regression_auditor.md,sha256=KU0YeT4QHYPyrlnXL7-rqD0gBk-PFA4NW8IRjtfjxlk,996
papercheck/prompts/19_final_acceptance_gate.md,sha256=c5itWuIgvOeocaT9pRBxluOJLWHfMbP14Wj5pMPaiHk,1089
papercheck/prompts/20_version_comparison_auditor.md,sha256=KFiAsKeZWG8TR3onTzDpkxxVeZasaz0x2m8Y6RuA19Q,806
papercheck/schemas/.gitkeep,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
papercheck/schemas/domain_pack.schema.json,sha256=mHto786UBoBCIhWKpMIedf2gWIp3I0MW7GFfVIubDY4,743
papercheck/schemas/issue.schema.json,sha256=5MzTkYXzkRPkUq6FD-iG2CgYzut7ZC07HY1UvirQSes,3167
papercheck/schemas/manual_check.schema.json,sha256=9CZEFWLSKqBb8zPeo5y-rDnVX9JV3TFjB1yCfVnbNyg,767
papercheck/schemas/patch.schema.json,sha256=j7eWS4kETTuZK21kh_uWvXaB16VWPqzCzhSCcjhHmmI,1247
papercheck/schemas/segment.schema.json,sha256=oqCrTUf1gog26G9Yr1UA5SdvGMZqUTboojs8tvnjTBM,1334
papercheck/schemas/state.schema.json,sha256=TjA_y6VdBhb-aWPkDx9y4YmyTEqXT0ODwdFavUUmf38,1525
papercheck/templates/assumption_record.md,sha256=hdY61BD--4qNZ60bagh00NBR70hmKUTXPjd1eLPNHfs,314
papercheck/templates/equation_record.md,sha256=rTJdmGdVL9HSVHyohFyLZSl84IYQgWKStVW8G1eVTPY,314
papercheck/templates/final_gate.md,sha256=XjFB3SY-wYQWzbtJAR1g-zKxQ1ta7R_6Xn4Z4gCwuW0,452
papercheck/templates/issue.md,sha256=qmJ4zm7cZVOpmY3WHF7HztWNayo8NLZQQwTbErqKmkA,622
papercheck/templates/patch_record.md,sha256=7PGngF6KRDqhXbqnLFHiOEqx5NoZd6ED2S1TLiq9wh4,395
papercheck/templates/report_header.md,sha256=CqVispnxBGQCNWmN42XoWrIENfaiBuQdwGeu6pbh4Uc,132
papercheck/templates/segment_record.md,sha256=q-0eoIlwG0EezZsrTVbFIAcefqKyUSyjw1bJ7kR_saw,313
papercheck/templates/theorem_record.md,sha256=GPSDc8b_KZc1jS-id_WH1Euk3Ag4LL7mT9XBl6DlaK0,423
papercheck-0.3.2.dist-info/METADATA,sha256=JwD9gcZ1t0PE4L9cgwe_HfOhGtaCK8Y05hPWG_M1jbY,10097
papercheck-0.3.2.dist-info/WHEEL,sha256=mffPy8wBnZQn2VnJUU5jE99KsxaSfiyMHV9Yt0aLVxs,87
papercheck-0.3.2.dist-info/entry_points.txt,sha256=icXruy6QI9eWzrZJBdVS9h9wbu6yIcu2BRO61C6G9D4,106
papercheck-0.3.2.dist-info/licenses/LICENSE,sha256=ZQPzdFPffppddenUlZ3mmlbcfrla46dUYsfuGo_5tWY,1080
papercheck-0.3.2.dist-info/RECORD,,
