invar/__init__.py,sha256=gvCf_VzCH3gMfq6dvsvncxicAEv7_FhgBoQTBdbqcFM,1256
invar/contracts.py,sha256=xAqk901hd3ep7ItxCln7Q0fID3rm47OROgEugmFnRY4,4631
invar/decorators.py,sha256=EaZUgt4JzlhSgRTeRmKIEb-KgU8L5Npn8-oJuMuygRU,2677
invar/invariant.py,sha256=V-qd2yMDmomz-eiTxvTaFbtsEwqNnNix1tpRfhSfsPo,1698
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=hdpMieO5I0BSuW4n5lLtiintTPqhutqB0UkdbkxB-Ao,19081
invar/core/entry_points.py,sha256=6wqofuXOXWjOKX0aSl7WM8_R8rSGkfTSGRqMcS6UVDE,9082
invar/core/extraction.py,sha256=NEGtpmPLIg0O_EnXGEDQcTRXudwJneysYCM3rpy0a2g,6058
invar/core/format_specs.py,sha256=pjr_6zl81IAOJnptr5LuPTvCwfom-c5abQ95d_vdI_g,5640
invar/core/format_strategies.py,sha256=LifL97JbsF8WEkVNmQpq2htyFUC3pW21myAjtRGpSxU,5774
invar/core/formatter.py,sha256=wB4J9b-CMoooeYzPbRR2UTo5GuDueSzEXybyeVzdI14,10566
invar/core/hypothesis_strategies.py,sha256=KTk0X_pJ-9AVduYm_xiv6AdGtIAd01VjOfk2Z4mXYKA,16468
invar/core/inspect.py,sha256=5OX-c3BJ7GEiJWqIY77GYoP0Ox15cTcrmlNfjh9Hvfg,4380
invar/core/lambda_helpers.py,sha256=pt_5GezT3kQoOiyJDAdLDLzRl-xEN1yWMQ7NYAVuWzI,6371
invar/core/models.py,sha256=K6_-t7mOXa8k3TQK2aR-qm2G0lLHu3vmJpilGaTzTlc,9653
invar/core/must_use.py,sha256=R8VsIIWqLXtVov1kf5RqiKfkvqI1o2Bn4rKKNo5KFSw,5376
invar/core/parser.py,sha256=hlxLtqmS8eaXmcLO5BnD7HfTfRpxbpfTBmFSHGW2tzc,9079
invar/core/property_gen.py,sha256=PpPYcKpPHqvx0XmCb8ktliigcFkxvKPbhAXm8qksokE,13990
invar/core/purity.py,sha256=Wi_6wRLshSFLzaNxJfjoa0-4frCWJkQJliPpQfdUeq8,11980
invar/core/purity_heuristics.py,sha256=dcdYqJJh-RLZHZR_G1j1gViH3Cqe37RfE3leaA2MU34,4748
invar/core/references.py,sha256=iOIivmQ3Qcp38XiFpzaa7EZa01Ab75Q-G7KR2PRn-tI,6107
invar/core/review_trigger.py,sha256=sCsBX9YOv9xnEhJqVJDhyAE5YzIC3p1MFrKbjCiD3Hk,11377
invar/core/rule_meta.py,sha256=5bTrr6I7-Qi-ubqUQi-3Hva0E3mJBc-MadV0K77dwWs,9772
invar/core/rules.py,sha256=3HY9A_9sVw72XNTA7CV8gWSG5xBqBqfS1v_agQzIj_s,19699
invar/core/shell_analysis.py,sha256=IumoT0qjfZ4ElYBq6etwQL7ETSFS-a3sJnPKgOvUprg,6676
invar/core/shell_architecture.py,sha256=41JE0hM8-PCSLyNlJB0fy6l1zPSnd9t_r3HxUTqZ4qQ,6521
invar/core/strategies.py,sha256=AhiEJl-5SxXKSmprpeT4OdCmEk7dS3Di7Eb90I7QENQ,8797
invar/core/suggestions.py,sha256=Y3b9hprG4M2fCNGgo2fNfMox4TDPKD9nyfmzCsBbF-Q,11500
invar/core/tautology.py,sha256=Vk_FSP8q7uHeR5ZcyE28NWqxq1_WG-sJXwyKiClxdv4,5610
invar/core/timeout_inference.py,sha256=NOLwNuadLAKvGTtAnd3qppZikVfKlo2ZPxHFVg4Vupk,3544
invar/core/utils.py,sha256=aImcrQaiz1LkH_eJIgPAgl0HSPI3UBeE-tdUu92bIFc,14481
invar/core/verification_routing.py,sha256=09qqOac3DjOWACmRAY4CJiOuri7J2cN2kXztBJ9ch0I,5126
invar/mcp/__init__.py,sha256=n3S7QwMjSMqOMT8cI2jf9E0yZPjKmBOJyIYhq4WZ8TQ,226
invar/mcp/__main__.py,sha256=ZcIT2U6xUyGOWucl4jq422BDE3lRLjqyxb9pFylRBdk,219
invar/mcp/server.py,sha256=EYXZZQ8IPLVer0Cv5vw8wHu4OuLQxqK6uRQo1byE45k,8832
invar/shell/__init__.py,sha256=FFw1mNbh_97PeKPcHIqQpQ7mw-JoIvyLM1yOdxLw5uk,204
invar/shell/cli.py,sha256=wDFQsLnO--S1Au4AKo3ayNXEJY6JJhv-DdIWnk9tcOk,13674
invar/shell/config.py,sha256=TxCuEQIjKbutpSCU2SxY7H7jPA6CIWNL9QDCe2KjNqc,16163
invar/shell/fs.py,sha256=wVD7DPWsCIJXuTyY_pi-5_LS82mXRdn_grJCOLn9zpU,3699
invar/shell/git.py,sha256=s6RQxEDQuLrmK3mru88EoYP8__4hiFW8AozlcxmY47E,2784
invar/shell/guard_helpers.py,sha256=XPWpWUovKDnD100WUop7PqdOzxODXvE84ALPng2ujHo,14007
invar/shell/guard_output.py,sha256=pxOTp7jGfpjOwOX2FaATDcmM_rsaLQ8CrZDqEMa0zSQ,11523
invar/shell/init_cmd.py,sha256=a0Lk45wP1RF71jyVFDSrBTJgPjIeSstrKWbpCJiPPw4,10622
invar/shell/mcp_config.py,sha256=-hC7Y5BGuVs285b6gBARk7ZyzVxHwPgXSyt_GoN0jfs,4580
invar/shell/mutate_cmd.py,sha256=GwemiO6LlbGCBEQsBFnzZuKhF-wIMEl79GAMnKUWc8U,5765
invar/shell/mutation.py,sha256=Lfyk2b8j8-hxAq-iwAgQeOhr7Ci6c5tRF1TXe3CxQCs,8914
invar/shell/perception.py,sha256=TyH_HpqyKkmE3-zcU4YyBG8ghwJaSFeRC-OQMVBDTbQ,3837
invar/shell/property_tests.py,sha256=1ycvPXA0_2cnJP5lIP4HukL8VQshWcc7xJ3Md-iacLQ,7408
invar/shell/prove.py,sha256=jPxLKgxAjako2dqgcxwe2bcfdbZA_Cj1acayTWRVtrg,15644
invar/shell/prove_accept.py,sha256=cnY_6jzU1EBnpLF8-zWUWcXiSXtCwxPsXEYXsSVPG38,3717
invar/shell/prove_cache.py,sha256=jbNdrvfLjvK7S0iqugErqeabb4YIbQuwIlcSRyCKbcg,4105
invar/shell/prove_fallback.py,sha256=UOhD6c6YIVcR1Q3wG6W9ySMnuJXZ6x8hTL6O1HG5zrU,9628
invar/shell/templates.py,sha256=joJA6ASSCGi8GcApPY6kxoSbrFElpsxVhHVzJGAnsXc,15083
invar/shell/test_cmd.py,sha256=DKnlSbUydKq6skHLLKhZGg42qTAKtiLxrTU3oyFDmAo,4189
invar/shell/testing.py,sha256=2aG_4-VTRmvFKGz7IOdY_o0QqP29fs5yUgV00QUL0Js,8766
invar/shell/update_cmd.py,sha256=PbXN0UwmUcFmy0IKFmyO9oBXEjwy77gZG3j7gFJA8lA,6317
invar/templates/CLAUDE.md.template,sha256=dBZkhmBQhSZ-uEDWozlZsrrt4Qo8xhzx4XYJiJ9gi8A,2943
invar/templates/INVAR.md,sha256=BDihvntGUXHeaSlwVNA8HSTidfQFH4dCqmzZtEIPPWo,6635
invar/templates/__init__.py,sha256=cb3ht8KPK5oBn5oG6HsTznujmo9WriJ_P--fVxJwycc,45
invar/templates/aider.conf.yml.template,sha256=hPWt5-_q53Ex00v-fNL-80db8wNdxT2q8PLbpbO6GQw,842
invar/templates/context.md.template,sha256=D4mIAbj33io5_xe0uTcZh5JuSfpzXpv_t5h6k0B6UIA,1168
invar/templates/cursorrules.template,sha256=AYZumL5oSXuvfs3HZ6fziDvbaAWaDCvGf-CFSXmFHsg,987
invar/templates/pre-commit-config.yaml.template,sha256=2qWY3E8iDUqi85jE_X7y0atE88YOlL5IZ93wkjCgQGo,1737
invar/templates/proposal.md.template,sha256=UP7SpQ7gk8jVlHGLQCSQ5c-kCj1DBQEz8M-vEStK77I,1573
invar/templates/commands/review.md,sha256=fIOt_aFxn5KlDptJmE1USlmNbJs-_5sZgn6_ABl-S6w,6037
invar/templates/examples/README.md,sha256=dkS5QI1mzDsQp23dJGCoTZzM_1SQg1vos37sZAS-Wsc,485
invar/templates/examples/contracts.py,sha256=VFlu9N1Zg8YcTO3UYeSvh1HCBPGZWFktpQN_jtE8ue0,3204
invar/templates/examples/core_shell.py,sha256=HhTAxo3M7MhiQn05I3BClx43pshtxOnEjtVh974PFXc,3820
invar_tools-1.2.0.dist-info/METADATA,sha256=WbedCOQ1a6lN9Px4qJScVlzd5xLnnvzHDdC7Stymg1g,11534
invar_tools-1.2.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
invar_tools-1.2.0.dist-info/entry_points.txt,sha256=C7R-M4tvNd6UHDOcG98RQVS9plLyJ-c939z8qLLzTj8,46
invar_tools-1.2.0.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
invar_tools-1.2.0.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
invar_tools-1.2.0.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
invar_tools-1.2.0.dist-info/RECORD,,
