invar/__init__.py,sha256=e7b5aoATrfhHiy5o5CAV2hS4iwY3xueEyTocZjW_O_c,1051
invar/contracts.py,sha256=xAqk901hd3ep7ItxCln7Q0fID3rm47OROgEugmFnRY4,4631
invar/decorators.py,sha256=aCmriSJ7TCjo-VPGDA5OrlhJb9kIJfSaqgkY_8HpZKY,1160
invar/invariant.py,sha256=PJ4vBET0uSxZmjr7flgrfPACyefXTCw3EM6_aREcnys,1609
invar/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
invar/resource.py,sha256=uX3V8R8_e5uFRO6ksOt_RN62g6nmf_wzpjyr9JXNhoc,2680
invar/core/__init__.py,sha256=01TgQ2bqTFV4VFdksfqXYPa2WUqo-DpUWUkEcIUXFb4,218
invar/core/contracts.py,sha256=GhR49gLRvRQJShdD84D-7r5P4XJ2EI19eMGcDj4axcc,15575
invar/core/extraction.py,sha256=NEGtpmPLIg0O_EnXGEDQcTRXudwJneysYCM3rpy0a2g,6058
invar/core/formatter.py,sha256=0E5XO87BIvOmzxZ6S7Rqi3RPfVohwkrtsLa_HlTpYfE,9290
invar/core/hypothesis_strategies.py,sha256=vggkiXPGhbGWyO7GVUxnx2YiUzBV4mIxvWB7bWAl0Vw,14837
invar/core/inspect.py,sha256=5OX-c3BJ7GEiJWqIY77GYoP0Ox15cTcrmlNfjh9Hvfg,4380
invar/core/lambda_helpers.py,sha256=1wyva71hkKR-QDqgfeS-JljrgLO0p-GiVJLO8Q27HmY,6243
invar/core/models.py,sha256=2pws44NN4eaihbTPy6k-P9oZfFQABf_PSwGvXH18TzE,8902
invar/core/must_use.py,sha256=z3ZBjd5mtHS0tNHNXnicMvFN3W4NkQ87BfcHw4O4vc0,5214
invar/core/parser.py,sha256=HlnjVgZhVnGqWqwKf5b15PYxtJCa3c2M91hFPTIYzOk,8451
invar/core/purity.py,sha256=hjzIiAU1i7hU8iSIBINlzndKuWil0_smHZDjP2iMAko,11448
invar/core/purity_heuristics.py,sha256=dcdYqJJh-RLZHZR_G1j1gViH3Cqe37RfE3leaA2MU34,4748
invar/core/references.py,sha256=1pA63vHIPfj_YhO4umQabB3_2dMRNMEoaP0s_TxZjxw,5724
invar/core/rule_meta.py,sha256=nhicVNhbw_Tw5dxd9SEQBZLuuBtiEEsFlm0zq3QInb0,6702
invar/core/rules.py,sha256=7WY_NJF0PM-w1Adkm2EL9ysgZsbxeVcRlhwzg2E4PWc,17174
invar/core/strategies.py,sha256=AhiEJl-5SxXKSmprpeT4OdCmEk7dS3Di7Eb90I7QENQ,8797
invar/core/suggestions.py,sha256=H5_cupuWHu2nFiTVS91iFxW8U-E4i6cIWdD9ggoQLB8,11167
invar/core/tautology.py,sha256=ljHqUS26SecALashPMtN4-yia2CuABIG4zc49tZ08dI,5515
invar/core/utils.py,sha256=xMynNQPRsjtslg0SEzabYJ05hutDCzDOR5v9nzLwiis,12986
invar/shell/__init__.py,sha256=FFw1mNbh_97PeKPcHIqQpQ7mw-JoIvyLM1yOdxLw5uk,204
invar/shell/cli.py,sha256=QfDstvMGZRNa1p6NyCaw2k--0ZUcommpd8PXf78_EzY,12337
invar/shell/config.py,sha256=yutQPCOw9YfN-m9v3IDV80m3RttJlXS70UDA1ceS_8M,7396
invar/shell/fs.py,sha256=KNY8WKwEF95rf5upaUSSQlnG6xeR2DDOpBD5ClNMLds,3248
invar/shell/git.py,sha256=DOQhG6pfyxmZRrMLuqf4oVGpOlVLlnX5EUfU354JHVA,2614
invar/shell/guard_helpers.py,sha256=QFSZMQpzH8eCfk7qVuUxMPmwojO7eEGNdnLkDQnMCT0,7215
invar/shell/guard_output.py,sha256=EFajpDib6b6qijVtiyomX9P04Qpf0lVIHReYUDfcRUc,8108
invar/shell/init_cmd.py,sha256=0YaRRgV_mxzhk-xuuPr8rvXSUo1M_j9i3cC2SoHbWq4,4645
invar/shell/perception.py,sha256=h-idxvycvROveh_Dtd1XJ8mmc6PUDvMNrmc2_sJslVg,3383
invar/shell/prove.py,sha256=Eb-dhSrDN6b1Pv9F6nnpCz35kevXrPgdvMIPl0uvjHY,13978
invar/shell/prove_cache.py,sha256=jbNdrvfLjvK7S0iqugErqeabb4YIbQuwIlcSRyCKbcg,4105
invar/shell/prove_fallback.py,sha256=PmJqhV0aYLYZ5qW4nnOGZOKVgWjpCpsvZrCNvilcuJE,5719
invar/shell/templates.py,sha256=Ku0XzwDc6QCdtHdirdc1ktz4XdF1WZLE8uZdZC0rN2k,8559
invar/shell/test_cmd.py,sha256=aMl2uEGsygBrIhY7Uxda7_x5xiMLnhtB6HXC_yVZBPw,3719
invar/shell/testing.py,sha256=_BtK3Mmc9IavjIo-IYVq65rR34BIKcHynJ2Ps4FpeBQ,8837
invar/shell/update_cmd.py,sha256=dzuF_Fu4m32lvGYCLdHfQEQpZzGRL3hJSzwpqytMwmw,6190
invar/templates/__init__.py,sha256=cb3ht8KPK5oBn5oG6HsTznujmo9WriJ_P--fVxJwycc,45
invar/templates/examples/README.md,sha256=dkS5QI1mzDsQp23dJGCoTZzM_1SQg1vos37sZAS-Wsc,485
invar/templates/examples/contracts.py,sha256=46KpdotDgaospIO1cy1B9AQ-G8Oqu3b8uYcFYRAG8_4,3062
invar/templates/examples/core_shell.py,sha256=mA1luz4aeurYIb_Uy0Fte-0qb2n5dYqdSU70Ga9MneM,3678
invar/templates/CLAUDE.md.template,sha256=zpjJlhoNxph1dWBcaMloWT3Do2vaUYNU9YjZqtczH6c,1334
invar/templates/INVAR.md,sha256=2kNMHnkFg5JGAzQfJNkgbSWWGzRGfQQKjHtBF53y68A,3726
invar/templates/context.md.template,sha256=D4mIAbj33io5_xe0uTcZh5JuSfpzXpv_t5h6k0B6UIA,1168
invar/templates/pre-commit-config.yaml.template,sha256=_9bAsiMpLsQPYd2u9F2QidoifRSszPN0mvsOSi583DI,1778
invar/templates/proposal.md.template,sha256=UP7SpQ7gk8jVlHGLQCSQ5c-kCj1DBQEz8M-vEStK77I,1573
python_invar-0.7.0.dist-info/METADATA,sha256=r7d3L9euk700fKbmZkJykEJ-P47F3RBaz2ho51faeJ4,7382
python_invar-0.7.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
python_invar-0.7.0.dist-info/entry_points.txt,sha256=C7R-M4tvNd6UHDOcG98RQVS9plLyJ-c939z8qLLzTj8,46
python_invar-0.7.0.dist-info/licenses/LICENSE,sha256=c9ClTzwDoKiyVo3hGAtPa7F9QpMagpluUWAnbD5BP0w,1075
python_invar-0.7.0.dist-info/RECORD,,
