Detective/__init__.py,sha256=mNk9NUp9tLRG8iD6vYI3rbqj299RivuAPj7cAvrX-Wg,1001
Detective/__main__.py,sha256=F_A2Sn4Dx1Tu6D6gmbb0hS3pJI3glrtxS27OsoMUAgA,163
Detective/audit.py,sha256=jgCChjrqXCFBMS6y6cZgIxL94jYsyW8jRzC7nSiSpG0,6592
Detective/call_sites.py,sha256=_9Wtp5cgpbGEmD39P3JpssXuJG1xfqEhxOjLww96Tv4,8875
Detective/capture.py,sha256=dCIGjW_4ThOqvAnrrdoBuBRz-UP5L5dT6tms7mP1Prs,3445
Detective/certify.py,sha256=4mlNGJP8XL9pbKS754nx32SY_y2VjpgatOkL3CU7k9M,11277
Detective/cli.py,sha256=oVnNwmWlImfgsdEt4CxZbwQBqD5KWwIQscxFFL2T9gw,67685
Detective/cognitive_complexity.py,sha256=OceSeGSASks7fxRnWQYY6TW1Kl1V6GkUhVrt5A9Ab1Q,3679
Detective/converge.py,sha256=58yK9oSgcty5ogfTcwCRQ5f77ohF4YnNXmX4M9G96PU,32318
Detective/decompose.py,sha256=uRbniVoWXmk4QIebPUU1wPgKuzJDYkEndBWsSYpM6L4,12038
Detective/decompose_apply.py,sha256=WonvzFovtSNBmEI2W6A-GXm_8Y6VaWKVNIQDy0xsPS8,22679
Detective/engine.py,sha256=Gq2eMPxqYqeAKa4zXWCQ2EZjc1voY8Fi1AEogl27gQQ,48146
Detective/equivalence.py,sha256=e0GMQoxcla8OT3Z4PSuzrZLYN7s2Oizlye6iS_TLgx8,26447
Detective/equivalents.py,sha256=w9iBNekq8Z_gSXwsBwdDQwfMy11zEE4-gm46xWpPPdk,3678
Detective/mcp_server.py,sha256=MJ96Xany2e-olH6eGtb8E8FL-ksJmtKfUJnVtjsJtPw,34261
Detective/minimize.py,sha256=imcmQkytjJ5T-IipjjrMdCYRP6ft8gT3kuD92W0oHjw,4814
Detective/parallel.py,sha256=zgHZKQF62xvyJDO8S0R5Sui95uIHvuO4Er_YmWY0AI8,9191
Detective/purity.py,sha256=NsNFYGs-sx6DFDvMu_k49FJqJefUo1PL_PAjf9nrfwQ,8469
Detective/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
Detective/reachability.py,sha256=6GY-U9Ubg73ACDZ-AQ6W9-A70UX_auvg-tgcoL6yoXA,7541
Detective/samples.py,sha256=Ke3MBRzroy3WjQ8p-qbx851Y9PmwyRYXfbPokHSQV_A,4528
Detective/scope.py,sha256=BowpNyq3oC1OsCkAjeK_L-73NyEWk-sBTZy5gQzmMSA,7620
Detective/suite_edit.py,sha256=JylaHsH8eGunNdHHI7OyawoGw1B8XjWh8pLhPOeqdz8,4487
Detective/verdict_cache.py,sha256=cYwfnlWCo9eR3PLp-_fsDLePpN_00iovXnt_5iOftPw,9837
Detective/synthesis/__init__.py,sha256=Z9aiBqy4erkcgTQYbJyeqXVl01kTyMh6UF1Aobtb2SY,486
Detective/synthesis/characterization.py,sha256=SZ7zziIP_iAbjXmwOJVFEW2e1qGhbvuwt3Zol0mqq-0,11675
Detective/synthesis/oracle_light.py,sha256=zF2lDvdGELYzvrT5qcjbbX-VEm7MAiA9PuxghzrhpfI,25549
Detective/synthesis/typed_synthesis.py,sha256=cTK33hb6vrII4K5fyR8jsH3Yl7RgXrdatJzuWNy0tIA,7183
Detective/synthesis/writer.py,sha256=vm5C1zjmhJsgS99TYbIhd_rAx-R5W6APQvdSYELhul8,10569
detective_spec-0.4.0.dist-info/METADATA,sha256=L5T1ctwZqbnXyH2F5doyqf5WRjsic1h1LLGf3t4rVY0,18089
detective_spec-0.4.0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
detective_spec-0.4.0.dist-info/entry_points.txt,sha256=1fRisCEaJ8vR4XzVRJ9t03jjgQQEnGvNM52_Bj2L1Xo,91
detective_spec-0.4.0.dist-info/licenses/LICENSE,sha256=pnivnDhHtcaF2YC_EQ4nNgtw8Z-6hSQY7HNQ1lIQTTY,1069
detective_spec-0.4.0.dist-info/RECORD,,
