invar/__init__.py,sha256=E-Mg9DG6qFzjP8D5TEkmy2ponvR99Yfn96RVJggAr64,1682
invar/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
invar/core/__init__.py,sha256=01TgQ2bqTFV4VFdksfqXYPa2WUqo-DpUWUkEcIUXFb4,218
invar/core/contracts.py,sha256=xLCI3rMLmI2W1sTjWeVPx98v6eLSHfJPi2FBfjO_HhA,20586
invar/core/dead_assign.py,sha256=cWeSbx2XpMVxJY_7O1u5gSwvFbPHsvMW1ukvqgFwAco,4249
invar/core/dead_assign_common.py,sha256=IqpQUocpc0Arf44n9Tq3LowqO59S2TFZ6Uj1sTVTuos,1169
invar/core/dead_assign_walk.py,sha256=2PPNPBcmmErHrEeyLUkZF6PWpIARhEu2qGxbHgQM4vg,15871
invar/core/dead_export.py,sha256=HRlWQazahowyDf3YFqLbh1BZHoKJYpouhq1hrX3vnso,12041
invar/core/dead_param.py,sha256=koJ55o6crDEJnII32IvKYUEeJS-FyXo7upSGKEiRQ_s,5369
invar/core/dead_param_helpers.py,sha256=rpw8xtINLc3szWe_zTAiaamGPZc74zBfJ4w6K8hJd5Y,13601
invar/core/doc_edit.py,sha256=EcY799fiTBk69Vmr0bySyqYLx-FflFjpSoNol7IMfWM,6784
invar/core/doc_parser.py,sha256=YHOeh5514JftytGOlFAeMqjMJTLcTR-x2oqu172R9j0,531
invar/core/doc_parser_core.py,sha256=9IanUFHHKKZ-4tPxWKp9qiTqKjoNZlX-5Hr0NA0AEdM,8097
invar/core/doc_parser_query.py,sha256=ZtZV7Vh33dgCqkfE0q3KxTmTpYAq0_6x99J-VSIBzVw,7990
invar/core/entry_points.py,sha256=0tTfq9ySCtfoDrIx3tUgFVDpbeZWev3P6_Q09ivy_so,15530
invar/core/escape_budget.py,sha256=aNM6U0WevPQ9hL27j2IXSyErY2zQHl4F8Cd3kXdtEXw,15401
invar/core/exempt_patterns.py,sha256=qHF_WRktdiTaUP1ki5iWBxWhMTB95iVmfh3AQcx-ZKQ,3288
invar/core/extraction.py,sha256=hpzW7qsWkVlLNXOmPp1TB_fuP65D1q1JrkmcvQ5TbFo,6387
invar/core/feedback.py,sha256=JhQf32y_Qutza8D2b5qX2U4fM--vtR3sBdV22KrVNY0,3246
invar/core/format_specs.py,sha256=cd9dyiux4nCYQzT6r3u3atwR8oEuaXizxyhR42Y-xZ8,5638
invar/core/format_strategies.py,sha256=qfybRDhFiyxFWruEAypph5J_nZLpRLO6sWAZLJIaq9o,5887
invar/core/formatter.py,sha256=_7GFI1TVzhoZBmszyta1vN14a2EZnN0Bo03CZMG2XRU,15594
invar/core/hypothesis_strategies.py,sha256=usmZDQzJFCParN3tv-cUtiGephHem9qhmHuDtUTTKDM,16810
invar/core/inspect.py,sha256=PwswSj3W6xJLef66R8KNWZ0Efnm_4Kwa8dW_iuXSveE,4394
invar/core/lambda_helpers.py,sha256=cemVKI-9iUZrHYfNMiqDGv8vyUwnUQJu55WYSc_uDoU,6457
invar/core/language.py,sha256=1cwbN4aoHXTMA7FGu0Sw0ptNSpODmQ3WTr7DnRCyHI0,2182
invar/core/mock_leak.py,sha256=wtpNSdZN02t2MlnNrQBxqXLNGGajylZjZfNT_to_-YQ,9093
invar/core/models.py,sha256=VOIoI-WC53Fb4j69U35saQLDq87RW8MYHTz6bv299eo,20904
invar/core/must_use.py,sha256=7HnnbT53lb4dOT-1mL64pz0JbQYytuw4eejNVe7iWKY,5496
invar/core/parser.py,sha256=GJdgAn9Ys8xKmLtbEp6n-vgkxAm3WS5ihuLJQ60YUPY,9379
invar/core/postcondition_scope.py,sha256=ykjVNqZZ1zItBmI7ebgmLW5vFGE-vpaLRTvSgWaJMgM,5245
invar/core/property_gen.py,sha256=GftOMKIPyPy0d9eVirPXq6dPbytnv6EsUReRun86ZJE,10679
invar/core/property_runner.py,sha256=GDAkVRTgKao9FIk40xYThAz2xzOExSWRoj--0mV3XO0,7890
invar/core/purity.py,sha256=2qflJ09sZ-ojfoGkSKvw6avtpgNsEgTOj85f3OntUZk,12084
invar/core/purity_heuristics.py,sha256=vsgphC1XPIFtsoLB0xvp--AyaJHqlh83LyKXYda4pWc,4546
invar/core/references.py,sha256=ySk97P5acKyPk9NDMv0jxok8-qnBY02yd1hH8B7Zheo,16554
invar/core/review_trigger.py,sha256=pXB4zGvR26fiQYjNxMaVQmSXz0GtAFJ2eoQ709c5kKo,14142
invar/core/rule_meta.py,sha256=nz-HmSHnR9N92xUHzqDXvh4R_Jovy0FgLFt_QS_LGUM,13065
invar/core/rules.py,sha256=DYe046gE_JjY1wZHVKjQkU8D_U1E71y9a154BXp1moE,18043
invar/core/rules_basic.py,sha256=B82joC6D4x5AnLsXRcImQxDHggPV6djCEf0Gc7LCTRM,5923
invar/core/shell_analysis.py,sha256=I-OcL0xJjHwtYOyw5spiSU67Pgkph-bEMIt0uDIok_c,7885
invar/core/shell_architecture.py,sha256=S7IwEcGbB79CJtHERZZpnE6j1S5VT_Wmry_5kCLhn9U,7006
invar/core/strategies.py,sha256=XXCoiK2FVmlIvDoED6aEEvbqKZyvKy78f4r5kELuPyQ,9041
invar/core/stub_body.py,sha256=BvHvNeP4L1VjPMWe_n_jhfZL9jg2yC5ov1npnfJ4sOk,13097
invar/core/suggestions.py,sha256=MBVZPnp-Xs_REekVgQTGHxxkIofOVEggMSsqUNFOk0w,16927
invar/core/sync_helpers.py,sha256=HOk32HwoIgQSqa7CK2KQk28TmlLaCY-oIiwvD2sCC_4,8797
invar/core/tautology.py,sha256=IUC7H3OxWYlxofcl3I4ANgqaWQz5PL1WUzmJ9nzybMs,9463
invar/core/template_helpers.py,sha256=E1UT7ct0DaUFlfHr9oTBvW4xfxAiS81rbmZHSucPw4c,881
invar/core/template_parser.py,sha256=d5MUblj2_Vr8Ma8UIXY21h51Cd3oc5eb1-h8pup2Nz0,15667
invar/core/timeout_inference.py,sha256=EXp9xv1KixSbz7459Lwd60jqQieo7tndsVBOSWnIQeo,3500
invar/core/trivial_detection.py,sha256=qafnudh_-8mYinp7GLCLr0NltmKaSqF9plfbbgPSw-U,6546
invar/core/ts_parsers.py,sha256=Jpk4D9459xE-DWgoaHfV8aSGUt998wJENuDUb1pC2Hk,229
invar/core/ts_sig_parser.py,sha256=uUxVnasrKJaJP9bx9JUAXrJU2AavAuxo8xqBJHb_PAI,229
invar/core/utils.py,sha256=dVX1uJv5xzF6rNwiiGwLoaChlxRo4kJ7fpMu34cX4eg,16560
invar/core/verification_routing.py,sha256=UzBQDDL7bFsXyaChIQJXk_EpUx-yYTMJkO4_rpSPNfc,4988
invar/core/wiring_gap.py,sha256=cIvjRBSsUy0YrkFHP_fbBSHaLXgvvUuhdJnybWAgkDY,7210
invar/core/wiring_gap_helpers.py,sha256=jCuYdYcuHTpPIzFURPdch-V5fFaDvabXn7aG0aHLqAs,11918
invar/core/patterns/__init__.py,sha256=espl5lcllqLyx-OSJ-TqA8aY3ESmtqsS1kdYAKpIt_Y,1408
invar/core/patterns/detector.py,sha256=E-u8KPkU7Rdeeze5N_Pwihkt-30bDih_D8pH1S9dIMI,9008
invar/core/patterns/p0_exhaustive.py,sha256=ykbObko9bC3BQaaCNVhUk1nt29CvqOcAjXQa_ZAkFho,7229
invar/core/patterns/p0_literal.py,sha256=jp-3uVKwTGn5XgX_kz_wYRrtHi27oIrLvwT_MpXjY7A,10951
invar/core/patterns/p0_newtype.py,sha256=iKlErz697lXrTCFkMKU8yn4FiTAIkP8fCTTs6kJ_6BA,7846
invar/core/patterns/p0_nonempty.py,sha256=Ipe5eIKBBXN6w-a3h0bawigw5lEMrxUF_9CYPV9YDuU,11151
invar/core/patterns/p0_validation.py,sha256=Ri_L9StWCpL2C_akn0QQudsRhrU51gEUtR3PHBhZBjA,9833
invar/core/patterns/registry.py,sha256=vB3DuVwClOhgCs-FjuAXfR24ILIBTa41W_mG4DGPby0,7781
invar/core/patterns/types.py,sha256=5bsS9zvyTPfeizzS3V4lDcYFrvLn7VHD2-gMDiIgQ_I,5461
invar/mcp/__init__.py,sha256=n3S7QwMjSMqOMT8cI2jf9E0yZPjKmBOJyIYhq4WZ8TQ,226
invar/mcp/__main__.py,sha256=ZcIT2U6xUyGOWucl4jq422BDE3lRLjqyxb9pFylRBdk,219
invar/mcp/guard_runs.py,sha256=-ymFQSmjrm-1XkZIf232Qt_19al-hhWH3UrOS94VsDo,20080
invar/mcp/handlers.py,sha256=9B3xvt_mIy6_2NlAgtO_ik2Uvm930J_379TLwxvsZSw,22209
invar/mcp/server.py,sha256=iUcTH7_A7s1RYHfwZkjm-Gs2qlNGZslieHDx6gSRXJE,24706
invar/shell/__init__.py,sha256=FFw1mNbh_97PeKPcHIqQpQ7mw-JoIvyLM1yOdxLw5uk,204
invar/shell/claude_hooks.py,sha256=hV4DfG3cVng32f0Rxoo070tliVlYFC5v9slIWEbAD7E,18899
invar/shell/config.py,sha256=LxtfayURw54ug8CJCK2YWFwQyHcSu0neFeswgryhVZc,20829
invar/shell/contract_coverage.py,sha256=81OQkQqUVYUKytG5aiJyRK62gwh9UzbSG926vkvFTc8,12088
invar/shell/coverage.py,sha256=VPbctzbM4_YFvUzmU5YswLcBEwPovVqi4efQ_iCxrm4,11848
invar/shell/doc_tools.py,sha256=16gvo_ay9-_EK6lX16WkiRGg4OfTAKK_i0ucQkE7lbI,15149
invar/shell/fs.py,sha256=ihkRH0IEUNkyfSziqqfjkRVT6g2KnN7xTRwOh9L8gWE,5055
invar/shell/git.py,sha256=R-ynlYa65xtCdnNjHeu42uPyrqoo9KZDzl7BZUW0oWU,2866
invar/shell/guard_helpers.py,sha256=H7yRHCvXlyh6t1tsBda0-T2mgVJXK_rs_s7ggQ9faEg,18357
invar/shell/guard_output.py,sha256=t4X6vtSN2TIivpf9NROLvK-gcUisf77iRmANh_fd5Bc,15038
invar/shell/json_output.py,sha256=Z9FlyM9b5xVOjLLsIRoxZFqmTlk3qGriRaUuMsfRwAo,671
invar/shell/mcp_config.py,sha256=-T5ohZ_M3OHLDCPeReP4p59rMAAE4xuYODb3OP1YkaM,4746
invar/shell/mutation.py,sha256=wSzQqDw-SqOqe8-Sx1UcEsQ6lC0bmfdyO3tNltLxLsU,9035
invar/shell/pattern_integration.py,sha256=yQnggmSALj-gunyYEljy6AU11tsJlxDQ-MdDgeAcMCo,7819
invar/shell/property_tests.py,sha256=8HEbx-uSLhwHFF7FVgWuPDQmc4BkeqP-npCQoXBdrLo,19959
invar/shell/py_refs.py,sha256=Vjz50lmt9prDBcBv4nkkODdiJ7_DKu5zO4UPZBjAfmM,4638
invar/shell/skill_manager.py,sha256=vjArdG0Wi9X65LXJ5-4nuRRnp2Ig8uNp9ncwbSNHFtg,12473
invar/shell/subprocess_env.py,sha256=xDirfH4GR3EE3SxIn_whGdIk-NEjFux6mYrMHFlIGLk,18769
invar/shell/template_engine.py,sha256=asqSO27KUUV-a0WzufzJO7nwH0a1EnEJcTxHZoWEFoA,12150
invar/shell/templates.py,sha256=4j60LYj1LGZID4Z7Qg-JARAcPx4Rqs0_faErnjF1sCI,13993
invar/shell/testing.py,sha256=_nlqGcJ3Hm98U_b4-AXxPhygbLnFqokG8cq6TWmrbIQ,11720
invar/shell/commands/__init__.py,sha256=u8-EvOd_q88T0FyLY2iixeEAn-gfTbQX3KKTKZlWI2Y,235
invar/shell/commands/dev_sync.py,sha256=orHYWujYqXNStTXTZqVT7zG0DdIjqtYlW0w2aPReCKM,2496
invar/shell/commands/doc.py,sha256=qSH9OH7cvBOXcRJPPnakIRnbZxhUMJ5FQWvm9xaBpSE,16444
invar/shell/commands/guard.py,sha256=1KsSSgOJld-7KaDETNSXHxigx9F1yJJnS9mSogu6qvA,27040
invar/shell/commands/init.py,sha256=t49mUL7FeCv3wliNNXZAlC8MggjkE1xBKqnCrrxTbpE,14992
invar/shell/commands/merge.py,sha256=F-eQ5SEdzXSuBJwFZGERqQ5MbZY3mtpMP_CrqAsyLn8,8183
invar/shell/commands/perception.py,sha256=rxSGHYTUy58SDcsztymSNRfmrl5DEiZsqIu5tP0PZvE,7994
invar/shell/commands/sync_self.py,sha256=4jdBxYllI2QiptNgiAolOde06vX3SPUc1CRx7Bp7O3g,932
invar/shell/commands/template_sync.py,sha256=795o4-xK6ifqWHi6zL9okj6Y9e_VP_3Lhotr3S2jHT4,12531
invar/shell/prove/__init__.py,sha256=ZqlbmyMFJf6yAle8634jFuPRv8wNvHps8loMlOJyf8A,240
invar/shell/prove/accept.py,sha256=O8hUZ6H7XUmTLW0yvfKFkeLLVugjqddgB3Xd7uVNMDU,3772
invar/shell/prove/cache.py,sha256=jbNdrvfLjvK7S0iqugErqeabb4YIbQuwIlcSRyCKbcg,4105
invar/shell/prove/crosshair.py,sha256=cnn9OSzu1EPZutgyeXmvunMjVoHIs-MmsHS0eYDt3bg,22042
invar/shell/prove/hypothesis.py,sha256=2q_I-0VPuS8GKFg5BH6zvDCXttwSKMcnB2-xSty-LwU,9920
invar/templates/CLAUDE.md.template,sha256=DAx3H5_AFUqiNRoud195j2-0O39fuLas21gtGXPMETc,3317
invar/templates/__init__.py,sha256=cb3ht8KPK5oBn5oG6HsTznujmo9WriJ_P--fVxJwycc,45
invar/templates/context.md.template,sha256=VWETLxPPfAduK5Mv8r_LIPLT9BNUOIM08r93KAJeHVM,2405
invar/templates/manifest.toml,sha256=70g3vmbxRO4e4o4MToQ0P4JHde346XYMoiNy7PJzuVQ,1094
invar/templates/proposal.md.template,sha256=UP7SpQ7gk8jVlHGLQCSQ5c-kCj1DBQEz8M-vEStK77I,1573
invar/templates/commands/audit.md.jinja,sha256=7oeH4aa5WGaQUYpRDY5VvXy9BD_hWSMmm67JAt06wWQ,4172
invar/templates/commands/guard.md,sha256=N_C_AXd9kI85W1B0aTEycjiDp_jdaP8eeq8O0FQ_WQ8,1227
invar/templates/config/AGENT.md.jinja,sha256=wyY5NSEaZk0p_xPeg0r8O5HpvHC5citqkEJFn0BWx6I,4541
invar/templates/config/CLAUDE.md.jinja,sha256=REoc0C95rHO-ZqdfX3tVMhStdtAEyu85Zy1KC0aOEUE,42
invar/templates/config/CLAUDE.md.v2.jinja,sha256=GboULBbOkGSlK1cdQD-0o4nxecLQVTJz2fEpmDuyBBk,1181
invar/templates/config/context.md.jinja,sha256=7wvIbd5zTvTU5GknHZXJH5mXnesExvgBousFbBdlP7o,3118
invar/templates/config/pre-commit.yaml.jinja,sha256=cJQRnIKFWEL6uPfxfP-_FcQhtkwKvXyWYpugqRBOkko,1861
invar/templates/protocol/INVAR.md.jinja,sha256=JGwgxVBlsm7YKVivXnwc_lw24KbSHlWLuzJsUzklNRY,43
invar/templates/protocol/INVAR.md.v2.jinja,sha256=oJy9T1vuYrR-Zs-PkcduV5e_B6bHG6-U138ene1ozwE,2642
invar/templates/protocol/python/architecture-examples.md,sha256=Pnd9YkQlH0qMFNT1C4OczDTQmo4ncuJOgIfWprQ1-Xw,1213
invar/templates/protocol/python/contracts-syntax.md,sha256=Q6supTQ3tChVrlN7xhcdb3Q8VGIESxQLA-mQvrNIZmo,1162
invar/templates/protocol/python/markers.md,sha256=hW8u3KwYW7qK-WDCAD0nH7oxj0k4vrHTr-NZGNoNWNI,1402
invar/templates/protocol/python/tools.md,sha256=SWZrdLFrPCDBE9NA44Jw6Z2ly1ZdGn-PDMDbvaNnVTQ,1345
invar/templates/protocol/python/troubleshooting.md,sha256=XCxOPfBmRJ3jovur1rtwABEgXpj_8ClrC3aoU8ExIz0,1263
invar/templates/protocol/universal/architecture.md,sha256=WT6wL0VDPD4n8yXBQEOXXnzh2IkK18oOt76lZelN3As,1379
invar/templates/protocol/universal/completion.md,sha256=hSjiljclN9b6Umd7ntjDBNkbXD5nMWBF5sHeWzaJnn8,1759
invar/templates/protocol/universal/contracts-concept.md,sha256=7XDdzz_obI8JbkZfKDD4yJIpo5DmaL4xyjmxRjwSq4Q,780
invar/templates/protocol/universal/header.md,sha256=YdcCAmfdLyfNi1BgTawh_xmb1aG4c7w8nSNdhJlWoTg,965
invar/templates/protocol/universal/session.md,sha256=bOaHfu-1QsCXaNyL-412W6b0YFuk0-L4sd0VItrf0V0,418
invar/templates/protocol/universal/six-laws.md,sha256=15NHyDJhOlTU22FH9xhuEtrMGI3N5SyUCUnjq_0HCco,530
invar/templates/protocol/universal/visible-workflow.md,sha256=nw3_Z3ZbEv4fjpgOMAZX2DNpYPvSJshLQ6aZfIfrrvA,726
invar_tools-1.20.3.dist-info/METADATA,sha256=vS4krJteFVYnfn0JBt9c42K6lyo7OrgaQyiaZB2NTH0,21624
invar_tools-1.20.3.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
invar_tools-1.20.3.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
invar_tools-1.20.3.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
invar_tools-1.20.3.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
invar_tools-1.20.3.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
invar_tools-1.20.3.dist-info/RECORD,,
