invar/__init__.py,sha256=zKVradS5QlvI11sqx8suNACJj1lQOEFlM7JJpbmZfHM,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=b1U37NQ9wxD_3lfjSI1CsXIAjW5mnYWA1M8BCiX1BPI,20534
invar/core/extraction.py,sha256=tNOlLOXiH-l56EWPdsFhLqiAo9C0_EzJkhW5C6w-pto,4953
invar/core/formatter.py,sha256=0E5XO87BIvOmzxZ6S7Rqi3RPfVohwkrtsLa_HlTpYfE,9290
invar/core/hypothesis_strategies.py,sha256=A1TZ6BwyhjtmNnFvDduaqdkmq6wnTvQytap5T6k0A08,14109
invar/core/inspect.py,sha256=2LUi6yZWLbkcB-VGZ6FfH4oFQ4rROuf07XBHrdZnQqg,3953
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=rOm7EQjQNNDr5lmaMAJL01z67eM2_cpA20OD_ll4dfM,3634
invar/core/references.py,sha256=1pA63vHIPfj_YhO4umQabB3_2dMRNMEoaP0s_TxZjxw,5724
invar/core/rule_meta.py,sha256=nhicVNhbw_Tw5dxd9SEQBZLuuBtiEEsFlm0zq3QInb0,6702
invar/core/rules.py,sha256=6bZWSdHrdXoBWDZNl25xF2WGUnwYi4O_E7jl88Nrfuk,17320
invar/core/strategies.py,sha256=M9pYGYjjouB0obK9o6kJVXMdZbcMP1ekW7OOzNE7hCg,8206
invar/core/suggestions.py,sha256=iNmsZGusrJxtWBTOJvd7nlpwZdxomtyy3O4IgrblTtM,11301
invar/core/utils.py,sha256=u_0OlWkSrw-1-2uxC8AthlC-UdlCNnYw68mYylPF3Po,12614
invar/shell/__init__.py,sha256=FFw1mNbh_97PeKPcHIqQpQ7mw-JoIvyLM1yOdxLw5uk,204
invar/shell/cli.py,sha256=a5ANEAl-_jhKoeRAdQOMjCfVApnEC-e7FL0mKBz1Yik,16560
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_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=5_e8Vhxotwvn32l2i6mZNLakKXA9Q1fu1yiyFLgRCGo,7892
invar/shell/templates.py,sha256=Ku0XzwDc6QCdtHdirdc1ktz4XdF1WZLE8uZdZC0rN2k,8559
invar/shell/testing.py,sha256=1qYamnyBNdZqOjgQx8Or6kjRxb2RRrKrwQY1IOinq6I,8488
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=A1KO9lVwShaJq23xM_qCMBjba6BGjLJJ5_NgRIgOPT4,967
invar/templates/INVAR.md,sha256=Sh7d4GS4HrZNIroAcio11mcJtXjxMyXfYbowRZ2RqUA,3031
invar/templates/context.md.template,sha256=D4mIAbj33io5_xe0uTcZh5JuSfpzXpv_t5h6k0B6UIA,1168
invar/templates/pre-commit-config.yaml.template,sha256=LrGoY1QuhKMNABkXz6B28H0J-aV3A7ZtqfU6E6tc5u8,2076
invar/templates/proposal.md.template,sha256=UP7SpQ7gk8jVlHGLQCSQ5c-kCj1DBQEz8M-vEStK77I,1573
python_invar-0.5.0.dist-info/METADATA,sha256=JayA5IF8kqKLukGE1NetDThuGBYAV18UJAaqRzV8QMA,9026
python_invar-0.5.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
python_invar-0.5.0.dist-info/entry_points.txt,sha256=C7R-M4tvNd6UHDOcG98RQVS9plLyJ-c939z8qLLzTj8,46
python_invar-0.5.0.dist-info/licenses/LICENSE,sha256=c9ClTzwDoKiyVo3hGAtPa7F9QpMagpluUWAnbD5BP0w,1075
python_invar-0.5.0.dist-info/RECORD,,
