serenecode/__init__.py,sha256=YfpGfd1BVTpvcjF9HzAOe5NoE2YC-Qn5l8RtnqJZ1do,12952
serenecode/cli.py,sha256=5EfiR8gVjEVaFsSGZSCTV60iXymspWOD1NEG88GXFx4,23783
serenecode/cli_helpers.py,sha256=yD8pL3nwqRcyXcv7E6-pBWMWo77i6Lii_yC1v9wxa2o,19480
serenecode/config.py,sha256=hbkysi2j-bVTE-HEdUPoYwwxBa1S8uHUEhMAP3Yk-2c,35877
serenecode/init.py,sha256=GUYzYwNAHCvFqRva4tvSRAkh3ER1MPaRva29I39Sf5Q,17822
serenecode/models.py,sha256=qKuW-iNkS7jzWfPldJMDE7LtAF2c0V8jR_DPu_GbCck,12611
serenecode/reporter.py,sha256=ZjjWAdzeUykXP1rX-HJZfogZfyjkk6rH4YF-XfadsQ4,19498
serenecode/source_discovery.py,sha256=gXt4Ao1Otgy45K8iW-Dj1BZhDvo9DmrTHaM3WQWYYqE,17206
serenecode/adapters/__init__.py,sha256=xiKNBHB59hplPLKuUCI2XWxsVRU4i7xJPyzbeWrseUc,7609
serenecode/adapters/coverage_adapter.py,sha256=9fbcjZDF3fpkWAS5BsBSMKcGSdvcfHvco7i8_sMi5-o,28182
serenecode/adapters/coverage_suggestions.py,sha256=ZzBb1l4gO-uR2i46dEh24QrrJbSTJ97MHHDwJJPROMg,17652
serenecode/adapters/crosshair_adapter.py,sha256=yzXxBx4Sq1NXQMQkjA4Bdqyou4Y0F5p2T2wMAhRZL1w,26625
serenecode/adapters/hypothesis_adapter.py,sha256=8BfSr7osNEA0yeOeDmkW0QZ_uGZs2yGNXn7AUAoSFf8,32379
serenecode/adapters/hypothesis_strategies.py,sha256=a-t8tx6nP5RKfKbwdnm4Mx78AP_Ozd4CuOjkiBd9GMs,38544
serenecode/adapters/local_fs.py,sha256=-SzOkBWg7l1ZIcl0himAsQbeiprf5C0TC034DHQXFXs,5752
serenecode/adapters/module_loader.py,sha256=5YZXhsyK9VAJFFbLn-Da5QdiVW56v_GONlLw_SR9WYI,20915
serenecode/adapters/mypy_adapter.py,sha256=TRnCoQNYv53UGx466TPynv7BBHxynzOsGEqO2scaHSM,5379
serenecode/adapters/unavailable_dead_code_adapter.py,sha256=9r6HQFjLSAx2a5p215-vYYuG76zBwcLwlMQHDuq7poc,1405
serenecode/adapters/vulture_adapter.py,sha256=gakt2SLl6XOwKvOzkiF21FIJ4u2bJ9NahU4SAr3EK2k,3753
serenecode/checker/__init__.py,sha256=G4KkeIoyR9qXGk0n7XpQwm-eIXKgze7WXrUv2eOfr2Y,239
serenecode/checker/compositional.py,sha256=_CzO5WXkOXjzK94NVMm1B7seEDXMMQEh5vRFK4uKKgM,36023
serenecode/checker/compositional_integration.py,sha256=QhS5ZkVYWK2A0zsWvJ-7T74J4HxIHYSnCx2hessVkVI,42604
serenecode/checker/compositional_parsing.py,sha256=N9t1V1D1vvanKrnVxn_nIx-5zNZSzrCwK9OJItye_j8,23287
serenecode/checker/coverage.py,sha256=9qMvZeFegok0R-pfdRR0p8pLoXOELrQFV4prfZRsP_w,5995
serenecode/checker/properties.py,sha256=bmKr1Eyv3RDuB2QKHzlnYGjpobdy28BUUlLFDqMno-U,5480
serenecode/checker/spec_traceability.py,sha256=fFwQVG-en_QduEMhFsvQ8eyO1J8OZYXlhE7u18I49SQ,40790
serenecode/checker/structural.py,sha256=cvnWmRZzYtpI13ROlDPM_yUla4rprU-zenfX9zelezw,39204
serenecode/checker/structural_helpers.py,sha256=80jrENyWGKzvrgydnhCUr0HZSTmQvh1HMnxKWU6zvbU,33707
serenecode/checker/structural_quality.py,sha256=ArIhjzGcRXUL7-MWoQkqrngs4uGODsML4qX9cjVG9cs,34522
serenecode/checker/symbolic.py,sha256=CRwqixaTkt_fC5R36FnoXEUX6AEPb3RGpVZAKDMKjMU,6855
serenecode/checker/types.py,sha256=vSPKy99GyMni96FNP9nfng7cNQNJP_z7aRJ1Ah90d7c,6146
serenecode/contracts/__init__.py,sha256=VQ9CvViEvp7FZO_Hc5AncpTJbQH1JhKu8coxM-nqTuQ,216
serenecode/contracts/predicates.py,sha256=91ppLW4ST5fMxUg8AsGK6wMnkm_YlBuokpqoQao3zOg,7456
serenecode/core/__init__.py,sha256=W66G2vnDnKL43VCEMAZXXBdSHPL5Ap3c73CyW9ImriE,243
serenecode/core/exceptions.py,sha256=uFNzXo3VjJm9WH0XSxnLjaKNqWiWfLg--IfKLt2Q4Sk,1174
serenecode/core/module_health.py,sha256=Xk3EY-KqOKrv8vv5RCNzyq4IVmQpSdmSSPEa7_DzpGU,21753
serenecode/core/pipeline.py,sha256=RcF62XghUX99GVs4ZJuAZrl35Kkd6XhWvOjWEMK5Z5g,35432
serenecode/core/pipeline_helpers.py,sha256=QuAaQ8w3dC3a0wUwW5lh-VTXpgBT_bLoUKloA1v44ls,7236
serenecode/mcp/__init__.py,sha256=mc0tws1LQumZhvxu26n0En_syGC5-7N2vDGD8mKbApk,1021
serenecode/mcp/resources.py,sha256=HuacsOki5DpXLm_Jy8XXV3N6uB-ljKLr8nvUVRs6Hf8,5635
serenecode/mcp/schemas.py,sha256=6eAeyMIC5anO0mwwV5l6CKj-8triOPj_cD3rU8wK1Wk,4161
serenecode/mcp/server.py,sha256=hTFn8H-f0d3esml3dtbceiDT0S300v2yL4yPFa3HHts,12992
serenecode/mcp/tools.py,sha256=-E2Q4-binRgXcoiLjDCohvrO7r83X5WuL6NpOFKmf3Y,30977
serenecode/mcp/tools_spec.py,sha256=mfD2q-SA2Y4O7GcyJTI0eMIbZQfHCrG_uHfugTi-zsE,16628
serenecode/ports/__init__.py,sha256=6R3wUu5iRkPgr2W_u_7GglHXZ1z0VrYQt8qrXuyIzrI,238
serenecode/ports/coverage_analyzer.py,sha256=iMV1n45Ey2gPepKutlx21B4zQey6llr4p363Ph92Kjo,3689
serenecode/ports/dead_code_analyzer.py,sha256=aY0DhJywtK62JlMidTN9OyXfnD5u58HV-OhDp_vx-Lw,2266
serenecode/ports/file_system.py,sha256=vTWVlGSZEnye21cynWiKq_rRKdfNnrlgSUBSzJXnri4,3225
serenecode/ports/property_tester.py,sha256=HCJw5kyjKeu3HDS4UUn3svCWJ4Mh6ncHpTWeKPYnrIY,2245
serenecode/ports/symbolic_checker.py,sha256=pfJ8CsGX--b_CwqTsHcIJjVpZ2jzF9J46s5gmGXmkek,2388
serenecode/ports/type_checker.py,sha256=SW3tisueVbXhQGa7u9SmYqkIqamcSqEBJk9sn_lMIko,1964
serenecode/support/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
serenecode/support/crosshair_parsing.py,sha256=KTubAfy5GQlSQSvbb5AVatTpXA_M-1n8NLb8cAPPR9E,15663
serenecode/support/hypothesis_refinement.py,sha256=RU2QNf5VxjWSEywJ5PneA9vrIGWzG4anFptNuHF-gXs,11948
serenecode/templates/__init__.py,sha256=hqb8CZofS8hRgp33bd1whg_N9AOPF9YccvtcE8Wtg0U,187
serenecode/templates/content.py,sha256=c76CNdH8MzeKocOa9GDJwwxD4HtvoKxd6tytX21hCFQ,24119
serenecode-0.5.1.dist-info/METADATA,sha256=UTGSgeMm_hDPy5mEEwigymqpBXVz4ZRXoPvFdVBpA6I,50041
serenecode-0.5.1.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
serenecode-0.5.1.dist-info/entry_points.txt,sha256=O1t4vlREEMT60IH5bNNnsnp5JdXGSnrdZtF3EAi5ZWE,51
serenecode-0.5.1.dist-info/licenses/LICENSE,sha256=YFvKSi6mWdaKE3I_BsTAj9kY3zIjFL1I4AfQLnGWsP8,1067
serenecode-0.5.1.dist-info/RECORD,,
