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=sMwiH91aupSlpa7jouFGjWnv5771IYt4bCGu18Rvee0,20930
invar/core/dead_export.py,sha256=aJDuIeP44fAf8yqej66NiLLCo-lfByBLQPMhYrOgpuw,12003
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=viI7Mrkzd0NvpFhzQOOfD-PAOTH-DyXQNHjlyRpe0OI,18436
invar/core/entry_points.py,sha256=E3Mw0mar3ZwSobIMd8cCzCmfmEUJjhm0bTxp1at89n4,14734
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=IWxDA0J-VrsWywEVDTz2hfWQciXR25fezNvECLX69b4,12421
invar/core/hypothesis_strategies.py,sha256=oOUyY6b4JBs_FDbW39_8NVy46106pt-0ngKYtHvAbj8,16957
invar/core/inspect.py,sha256=l1knohwpLRHSNySPUjyeBHJusnU0vYiQGj4dMVgQZIo,4381
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=tQpm-QCC9aqLKDtcYZoyylsDhN81r5m3poMf9OL9PbA,16548
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=l2f-huZkcCS3ypxTLNlmoCpSbDfKkzwKjsfcpqypT4c,12152
invar/core/purity_heuristics.py,sha256=vsgphC1XPIFtsoLB0xvp--AyaJHqlh83LyKXYda4pWc,4546
invar/core/references.py,sha256=ySk97P5acKyPk9NDMv0jxok8-qnBY02yd1hH8B7Zheo,16554
invar/core/review_trigger.py,sha256=sP8znUgqEuym1yNbtRuqPEAlISjmmJSZT93ORtKzjaw,14184
invar/core/rule_meta.py,sha256=Y1RbmekMev4nAGwyCYY-ItACgmfXEuIQnVu-gm7hPNI,13070
invar/core/rules.py,sha256=EOtW71eFxEGLwJbyD9YSDkQ1P_tWe62zq2hNCueoHXQ,24010
invar/core/shell_analysis.py,sha256=s_0ytA4-P5vYvo1RsiJE5m4s2SfXpgZCmfNGgGcQMOA,7918
invar/core/shell_architecture.py,sha256=S7IwEcGbB79CJtHERZZpnE6j1S5VT_Wmry_5kCLhn9U,7006
invar/core/strategies.py,sha256=XXCoiK2FVmlIvDoED6aEEvbqKZyvKy78f4r5kELuPyQ,9041
invar/core/stub_body.py,sha256=xDsSqNSELz0tJ6RrvjZ0ZhAs3AXFLIPHWgrw_Y239CM,13079
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=YDGrm_rNf-vISk6HVQlgJtKpy91MZhIDhCvSojovK9A,14809
invar/core/timeout_inference.py,sha256=BS2fJGmwOrLpYZUku4qrizgNDSIXVLFBslW-6sRAvpc,3451
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=onA9F9ciliMN3VtcvADG_4pJRKIgmdl-P-QpA0sGhPo,15845
invar/core/verification_routing.py,sha256=_jXi1txFCcUdnB3-Yavtuyk8N-XhEO_Vu_051Vuz27Y,5020
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=BDWM73FEm2_GaarPvxM_qwFy_cWoQQMbW3kO8CNQJpg,9028
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=JtZmkjtcafDyV9oRmrP8L9aTo5eXTrJ8LqCTzoNTyE8,7825
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=oAoR_ECsOPpCjTTx312VPQ2J_T10IotRLcGnjhHtJzc,19007
invar/mcp/handlers.py,sha256=wEApcJWX2cm_46IBsrOVCcJKMJpLQrjHnFpHpU-_fIk,24684
invar/mcp/server.py,sha256=J6eUPn8lORSupQjdqH_Wjb-q6Wfw1cAkDDLaPDEhQOM,23208
invar/shell/__init__.py,sha256=FFw1mNbh_97PeKPcHIqQpQ7mw-JoIvyLM1yOdxLw5uk,204
invar/shell/claude_hooks.py,sha256=hV4DfG3cVng32f0Rxoo070tliVlYFC5v9slIWEbAD7E,18899
invar/shell/config.py,sha256=QIHl_Nl6WcGE0REEpf3o68OwcmVGw43f-VqyK2_Fbjw,19693
invar/shell/contract_coverage.py,sha256=81OQkQqUVYUKytG5aiJyRK62gwh9UzbSG926vkvFTc8,12088
invar/shell/coverage.py,sha256=5ZQWj7Bhs9EwTsXMAa9Lw4o0uu5DYN_jJBHy7wKx_Bo,11835
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=JOEdLnu0gB6jZqLoSiqmZG_raeqVHunO0vwse4bkYNA,12620
invar/shell/json_output.py,sha256=Z9FlyM9b5xVOjLLsIRoxZFqmTlk3qGriRaUuMsfRwAo,671
invar/shell/mcp_config.py,sha256=VAqIKjee_7Hzr471yiajZB-vdn1Q14wOBwO922iqaz8,4661
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=gOknGKAcgg-V3l25d-BzizNAIpRfR158QOBCEb-MIw4,14116
invar/shell/testing.py,sha256=x2Maow1Um8ia5ep69sgHWeEHISX6tG4niAWLXxKf4f8,11883
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=RiQqrokrLTpRptTjLVkGW87FCG62imZ-MO40M0cqU10,13958
invar/shell/commands/guard.py,sha256=rDIMc9X4LfM9yhibvBR7LnTTLauXsQ9olQEIP3F7Vpc,26751
invar/shell/commands/init.py,sha256=2ifk8Grmf4vsUk1AlNqO9jLTRSA1qkWrhewAdZMkZHk,14986
invar/shell/commands/merge.py,sha256=tqT5rXxqlxQAJZnmLewDecGS3p5FN1wz5gq2EjhaxRk,8259
invar/shell/commands/perception.py,sha256=rxSGHYTUy58SDcsztymSNRfmrl5DEiZsqIu5tP0PZvE,7994
invar/shell/commands/sync_self.py,sha256=4jdBxYllI2QiptNgiAolOde06vX3SPUc1CRx7Bp7O3g,932
invar/shell/commands/template_sync.py,sha256=Sn-S2BdbSU7hC7om62smIZI2LqPxsFpDhpMzRYEaZHo,9134
invar/shell/prove/__init__.py,sha256=ZqlbmyMFJf6yAle8634jFuPRv8wNvHps8loMlOJyf8A,240
invar/shell/prove/accept.py,sha256=zn-B1t5RW0F3C0tgJW8wmn_RgVTFaOCbh9HfE3u99yo,3807
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=z6aUnFRnyMYo0YpdoeVGqKo1XEwREKo72RVATHAareU,3310
invar/templates/__init__.py,sha256=cb3ht8KPK5oBn5oG6HsTznujmo9WriJ_P--fVxJwycc,45
invar/templates/context.md.template,sha256=3EJoAS00iQCzMiCvv2m5B1JpEeQ7ktuZK9KV74UoFVo,2397
invar/templates/manifest.toml,sha256=9Zv_-g0V1REwS1fvHQaUAWqRFVpKiT7GceUhnHs6Z_M,1083
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=Xpc0WvMmStRU3OJG92643tfvVG02c4XHtOEMQJHy2Xo,5289
invar/templates/config/CLAUDE.md.jinja,sha256=REoc0C95rHO-ZqdfX3tVMhStdtAEyu85Zy1KC0aOEUE,42
invar/templates/config/CLAUDE.md.v2.jinja,sha256=8gFmCsMYUHZN9i53p9Rd7tzC_5DT3B7VCWqiXJYKGOo,1178
invar/templates/config/context.md.jinja,sha256=Nn41Enq4EB3sBcFHoRolR90vM2Bma6XfYSR7Q-YeRVk,3095
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=5qY3Qxah7G7mPu9xxSiu7fN6u7jW_33RcK027Ujutkw,2639
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=WyfRBNkEHNBTpMHzGDKiaG-7XtUlcFprUdpbkepsU4I,1748
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/usbv.md,sha256=WlAxDQ27dlNDale_HeusIjEiCdYSXXaFeO4ed_BiL0Q,659
invar/templates/protocol/universal/visible-workflow.md,sha256=nw3_Z3ZbEv4fjpgOMAZX2DNpYPvSJshLQ6aZfIfrrvA,726
invar_tools-1.20.2.dist-info/METADATA,sha256=Xukw6rCDZCMx6opCdC4Tvw-HuERe0E7CPVYMl-niTno,21624
invar_tools-1.20.2.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
invar_tools-1.20.2.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
invar_tools-1.20.2.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
invar_tools-1.20.2.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
invar_tools-1.20.2.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
invar_tools-1.20.2.dist-info/RECORD,,
