invar/__init__.py,sha256=IfgHgIBFZL_pTFNWWDLFfRpgDO_aYvCnbNpI86zizAs,1051
invar/contracts.py,sha256=xAqk901hd3ep7ItxCln7Q0fID3rm47OROgEugmFnRY4,4631
invar/decorators.py,sha256=EaZUgt4JzlhSgRTeRmKIEb-KgU8L5Npn8-oJuMuygRU,2677
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=9v2fD1EoNbWDTUHLXdv3WvYFwk0FQwAu1jTlptnq93w,16008
invar/core/extraction.py,sha256=NEGtpmPLIg0O_EnXGEDQcTRXudwJneysYCM3rpy0a2g,6058
invar/core/formatter.py,sha256=M4Y6BlZuxRNFkGzng6ysPcCsB5cKHpuSVEZlUJIs4OY,9542
invar/core/hypothesis_strategies.py,sha256=eOQAUjm5JCjzdMhPSfFtNytols5iQKTh6O7i4PhaqLY,15139
invar/core/inspect.py,sha256=5OX-c3BJ7GEiJWqIY77GYoP0Ox15cTcrmlNfjh9Hvfg,4380
invar/core/lambda_helpers.py,sha256=c4kX5ATsAiNu9nMayLWWWOD68ft0iN0Z6Lkfj4JuuPo,6326
invar/core/models.py,sha256=2pws44NN4eaihbTPy6k-P9oZfFQABf_PSwGvXH18TzE,8902
invar/core/must_use.py,sha256=R8VsIIWqLXtVov1kf5RqiKfkvqI1o2Bn4rKKNo5KFSw,5376
invar/core/parser.py,sha256=I_FE2Rum1NxdqIr_qajxc8lp0vaBYTWkn3EEP480iUE,8862
invar/core/purity.py,sha256=gqhS3ZvJFPSol17CEwYarK7XPEl9eL6sz2B_b-dzKIo,11582
invar/core/purity_heuristics.py,sha256=dcdYqJJh-RLZHZR_G1j1gViH3Cqe37RfE3leaA2MU34,4748
invar/core/references.py,sha256=iOIivmQ3Qcp38XiFpzaa7EZa01Ab75Q-G7KR2PRn-tI,6107
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=btrcFMQElLPr-BM5LZO0YzUqQwvkLUYLFtAhho4K9_s,5564
invar/core/timeout_inference.py,sha256=NOLwNuadLAKvGTtAnd3qppZikVfKlo2ZPxHFVg4Vupk,3544
invar/core/utils.py,sha256=xMynNQPRsjtslg0SEzabYJ05hutDCzDOR5v9nzLwiis,12986
invar/mcp/__init__.py,sha256=n3S7QwMjSMqOMT8cI2jf9E0yZPjKmBOJyIYhq4WZ8TQ,226
invar/mcp/__main__.py,sha256=ZcIT2U6xUyGOWucl4jq422BDE3lRLjqyxb9pFylRBdk,219
invar/mcp/server.py,sha256=On9j_PisW7_iVdisHsDl-RMcJUHDOzzRw7_JKEA2vxM,7857
invar/shell/__init__.py,sha256=FFw1mNbh_97PeKPcHIqQpQ7mw-JoIvyLM1yOdxLw5uk,204
invar/shell/cli.py,sha256=E2A2NmkoPK1MD_C8j1Fzw5Bd6X1iUAGzBYTmAQZ0nRw,13167
invar/shell/config.py,sha256=yutQPCOw9YfN-m9v3IDV80m3RttJlXS70UDA1ceS_8M,7396
invar/shell/fs.py,sha256=HQaZmOWkfWvqjkDTwt8kyxP9xvDMudG-4rFy9DWVc4s,3437
invar/shell/git.py,sha256=DOQhG6pfyxmZRrMLuqf4oVGpOlVLlnX5EUfU354JHVA,2614
invar/shell/guard_helpers.py,sha256=3-hDhC-mxVnNwvAtqVaSuneYLyrHQ8AjAsq4244h0HQ,7617
invar/shell/guard_output.py,sha256=EFajpDib6b6qijVtiyomX9P04Qpf0lVIHReYUDfcRUc,8108
invar/shell/init_cmd.py,sha256=5fLJU3dyQEZZHN-yu_573pNjvlB1Aa44Jy9x2y6N4B4,4595
invar/shell/perception.py,sha256=HwH2MSQC8IkeWqFm4Bcm0iylaqX6H2ZbqG5xdIlQXO0,3700
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=6GJ45DuS2WfSIkZsqsgEGxj4aD_57T8SMwvEUhiyiT0,13367
invar/shell/test_cmd.py,sha256=aMl2uEGsygBrIhY7Uxda7_x5xiMLnhtB6HXC_yVZBPw,3719
invar/shell/testing.py,sha256=CnieLRICGvBcQVgeuEhc7PcUKLvTHvb9BEu-lnG1Zjg,8978
invar/shell/update_cmd.py,sha256=dzuF_Fu4m32lvGYCLdHfQEQpZzGRL3hJSzwpqytMwmw,6190
invar/templates/__init__.py,sha256=cb3ht8KPK5oBn5oG6HsTznujmo9WriJ_P--fVxJwycc,45
invar/templates/aider.conf.yml.template,sha256=MKtBZT-Mz6YkoF46vlA85Nr8OuYQVlsAPzhaQp6Xhko,831
invar/templates/cursorrules.template,sha256=J663VycDV0MsM04hDK9aIRejgVbA8OrRM-kn9rN3w4I,878
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=WGPNMjV2C7Lp68snYWYFpXONSqGAPmmudobNb0KoNyI,1594
invar/templates/INVAR.md,sha256=qwFbLPJOlMQdYfNREl_NCZVcqnDmpGKxxYWPfWqQRJ4,4662
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.8.2.dist-info/METADATA,sha256=qV9EYoJltzzi-EA_dBNtZoNqsFPEP_1YOjApDr3m6LA,7767
python_invar-0.8.2.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
python_invar-0.8.2.dist-info/entry_points.txt,sha256=C7R-M4tvNd6UHDOcG98RQVS9plLyJ-c939z8qLLzTj8,46
python_invar-0.8.2.dist-info/licenses/LICENSE,sha256=c9ClTzwDoKiyVo3hGAtPa7F9QpMagpluUWAnbD5BP0w,1075
python_invar-0.8.2.dist-info/RECORD,,
