invar-tools 1.3.0__py3-none-any.whl → 1.3.2__py3-none-any.whl

{invar_tools-1.3.0.dist-info → invar_tools-1.3.2.dist-info}/RECORD

@@ -35,6 +35,7 @@ invar/mcp/__init__.py,sha256=n3S7QwMjSMqOMT8cI2jf9E0yZPjKmBOJyIYhq4WZ8TQ,226
 invar/mcp/__main__.py,sha256=ZcIT2U6xUyGOWucl4jq422BDE3lRLjqyxb9pFylRBdk,219
 invar/mcp/server.py,sha256=0a9eAuIZ62UaDGewKhAn8-PhLYvFHta-w_XcygcXCtE,11981
 invar/shell/__init__.py,sha256=FFw1mNbh_97PeKPcHIqQpQ7mw-JoIvyLM1yOdxLw5uk,204
+invar/shell/claude_hooks.py,sha256=kxkdF2gwTWcGpglccDi6-8IN1zRwelDG6Lg1VPYQgyA,12912
 invar/shell/config.py,sha256=cixlq47h8HYa9Ku-JOo66KCUyrf59R0NX_Yb7A1fAv4,16134
 invar/shell/coverage.py,sha256=m01o898IFIdBztEBQLwwL1Vt5PWrpUntO4lv4nWEkls,11344
 invar/shell/fs.py,sha256=wVD7DPWsCIJXuTyY_pi-5_LS82mXRdn_grJCOLn9zpU,3699
@@ -46,50 +47,56 @@ invar/shell/mutation.py,sha256=Lfyk2b8j8-hxAq-iwAgQeOhr7Ci6c5tRF1TXe3CxQCs,8914
 invar/shell/property_tests.py,sha256=N9JreyH5PqR89oF5yLcX7ZAV-Koyg5BKo-J05-GUPsA,9109
 invar/shell/subprocess_env.py,sha256=9oXl3eMEbzLsFEgMHqobEw6oW_wV0qMEP7pklwm58Pw,11453
 invar/shell/template_engine.py,sha256=IzOiGsKVFo0lDUdtg27wMzIJJKToclv151RDZuDnHHo,11027
-invar/shell/templates.py,sha256=l2En95E8jRVlojdQIqdZgRLVB43f_b1d_AJapKkozwA,15908
+invar/shell/templates.py,sha256=FGrHtVCUNF6K6KHrJquI9vyET0zyDkVy5ND1mAeY6NE,15934
 invar/shell/testing.py,sha256=PTrrCB0nIARuDQa_XREoRzbnqjXxju1l9Eb83pivH6c,10634
 invar/shell/commands/__init__.py,sha256=MEkKwVyjI9DmkvBpJcuumXo2Pg_FFkfEr-Rr3nrAt7A,284
-invar/shell/commands/guard.py,sha256=0v4kfDyxIEl3iZiYjCeTwTgAEUnL-DvCKSvXaDwqRX8,17895
-invar/shell/commands/init.py,sha256=K8nz1D3RqWPUr61-gYnMiSg-9cRnnYXPCR-4x37LMQA,17004
+invar/shell/commands/guard.py,sha256=aYqOhxclt_oF93TcSGN1zaB4RUsSQjMUYxfBw2QmqoM,18038
+invar/shell/commands/hooks.py,sha256=W-SOnT4VQyUvXwipozkJwgEYfiOJGz7wksrbcdWegUg,2356
+invar/shell/commands/init.py,sha256=UzHLfAP9ddIY32HrLd32nUveFcHnB0HlbMcIgtfob9Y,18297
 invar/shell/commands/merge.py,sha256=nuvKo8m32-OL-SCQlS4SLKmOZxQ3qj-1nGCx1Pgzifw,8183
 invar/shell/commands/mutate.py,sha256=GwemiO6LlbGCBEQsBFnzZuKhF-wIMEl79GAMnKUWc8U,5765
 invar/shell/commands/perception.py,sha256=TyH_HpqyKkmE3-zcU4YyBG8ghwJaSFeRC-OQMVBDTbQ,3837
 invar/shell/commands/sync_self.py,sha256=nmqBry7V2_enKwy2zzHg8UoedZNicLe3yKDhjmBeZ68,3880
-invar/shell/commands/template_sync.py,sha256=g-IV4X1TGFVIypw9RBToexX7ZCSaCsD9yz-A0Sm-OmM,12155
-invar/shell/commands/test.py,sha256=DKnlSbUydKq6skHLLKhZGg42qTAKtiLxrTU3oyFDmAo,4189
+invar/shell/commands/template_sync.py,sha256=wVZ-UvJ1wpN2UBcWMfbei0n46XHYx-zRbMA2oX6FSi4,13723
+invar/shell/commands/test.py,sha256=goMf-ovvzEyWQMheq4YlJ-mwK5-w3lDj0cq0IA_1-_c,4205
 invar/shell/commands/update.py,sha256=0V5F8vxQ6PHPHPVYDmxdRD7xXeQEFypiJMYpY5ryiek,1349
 invar/shell/prove/__init__.py,sha256=ZqlbmyMFJf6yAle8634jFuPRv8wNvHps8loMlOJyf8A,240
 invar/shell/prove/accept.py,sha256=cnY_6jzU1EBnpLF8-zWUWcXiSXtCwxPsXEYXsSVPG38,3717
 invar/shell/prove/cache.py,sha256=jbNdrvfLjvK7S0iqugErqeabb4YIbQuwIlcSRyCKbcg,4105
 invar/shell/prove/crosshair.py,sha256=4Z_iIYBlkp-I6FqSYZa89wWB09V4Ouw2PduYhTn6rfw,16525
 invar/shell/prove/hypothesis.py,sha256=QUclOOUg_VB6wbmHw8O2EPiL5qBOeBRqQeM04AVuLw0,9880
-invar/templates/CLAUDE.md.template,sha256=W8o6M-wasCMg-7Ef2-RloDqvSKGS_9KUsy8DVbbUwDo,3719
+invar/templates/CLAUDE.md.template,sha256=p2xFzbZ8NluumH9c03GkAQaqSOvgrG5SqyKU9qXz2HY,4498
 invar/templates/__init__.py,sha256=cb3ht8KPK5oBn5oG6HsTznujmo9WriJ_P--fVxJwycc,45
 invar/templates/aider.conf.yml.template,sha256=4xzSs3BXzFJvwdhnWbmzSY0yCbfx5oxqnV8ZjehqHBg,853
-invar/templates/context.md.template,sha256=p1-iHl32Z30-FocJa7slcmoA7gtQrUrMO7cE_u5MrSo,2073
+invar/templates/context.md.template,sha256=FKyI1ghpqcf4wftyv9-auIFHor8Nm8lETN45Ja-L8Og,2386
 invar/templates/cursorrules.template,sha256=N6AiEJRJHGkHm2tswh3PnZ_07ozeyQQI8iEOGK5Aqoc,1023
-invar/templates/manifest.toml,sha256=5JxaY9nl9hK5d1qWc2OJEGID6bFSX_Dp39lc5kRoIXk,4252
+invar/templates/manifest.toml,sha256=cEe7yEOOeaLmOF-PrwZXxiPGjHhsSJYkWBKRHDmSbac,4268
 invar/templates/pre-commit-config.yaml.template,sha256=2qWY3E8iDUqi85jE_X7y0atE88YOlL5IZ93wkjCgQGo,1737
 invar/templates/proposal.md.template,sha256=UP7SpQ7gk8jVlHGLQCSQ5c-kCj1DBQEz8M-vEStK77I,1573
 invar/templates/commands/audit.md,sha256=eXBySlQrVyk054vYQWAZYzj-HgT2QXhpzziw6GlIeGM,4112
 invar/templates/commands/guard.md,sha256=PyeAKfrmlXsgbrTDypQqXmTDKK1JHKhHEQrHqftA7X0,1177
-invar/templates/config/CLAUDE.md.jinja,sha256=bowI-vhIHJvTCL20L4dwFtPODvkTWTllH2TRRVUf-cg,6295
-invar/templates/config/context.md.jinja,sha256=sEQc-9jBqPpovlbnHSHcH7rwXVChfqDtUbYFTanStJI,2284
+invar/templates/config/CLAUDE.md.jinja,sha256=tdGkWHkx4Xn7d02QQX0J_LN1p13VsvrUNYI_nLYanRE,6766
+invar/templates/config/context.md.jinja,sha256=eyjNwvtSyDCImOw6up4eqfE_ylYWv2HCHMQ1M1qJtGQ,2563
 invar/templates/config/pre-commit.yaml.jinja,sha256=Qflmii8hngHciSgfa8mIlg3-E3D4b0xflm0-Q-cWcCc,1752
 invar/templates/examples/README.md,sha256=xMcJZ1KEcfLJi5Ope_4FIbqDWKK3mRleAgllvgeNT6I,572
 invar/templates/examples/conftest.py,sha256=uKA4NR7nyZWeSzY0URdZtw5zCcJpU32jNcaSKrI1Mxc,152
 invar/templates/examples/contracts.py,sha256=uqJ6Y1GADo246MjFKoLY-_2E74cfBQsLO4vTqYcR81c,3241
 invar/templates/examples/core_shell.py,sha256=ckor-7ZoaF7n8gVjnIO0CXlBjKGcVwmOGSDJbaXCSrM,4247
 invar/templates/examples/workflow.md,sha256=jAopzQH1xE9_leJFdav4oj1AkI46-a2q4L8RQCkDknw,2334
-invar/templates/protocol/INVAR.md,sha256=5u4q5PTVHHnJzRVEzfp4rXAfTHajIUNioRB4CQAs4JM,6662
-invar/templates/skills/develop/SKILL.md.jinja,sha256=A0Hnx9FlBfPXdk2Mswx0zOnDZbgszI3u5MvLVd2rlM4,9544
-invar/templates/skills/investigate/SKILL.md.jinja,sha256=vY6Hri5Nsy9C0JsLWU64NUitrPnBx49NtG0d4cg_FgI,3058
-invar/templates/skills/propose/SKILL.md.jinja,sha256=b_cw_EiAneSGSOMTJWu_j9UwIlW7h-xab39uQgFb5wY,2734
-invar/templates/skills/review/SKILL.md.jinja,sha256=hkLs5BHlzKNat4BdXNfgB3-3Bvz7C6gFEQJq-0hQHSk,3679
-invar_tools-1.3.0.dist-info/METADATA,sha256=Gwg9kdiPndJzHV5168zGSGKXw9O1IXvIEbIgCashDjQ,11656
-invar_tools-1.3.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.3.0.dist-info/entry_points.txt,sha256=xjkp8_Kipb6KJR6VNfkAEqiOpvrwUnwUG53cegBA6pQ,57
-invar_tools-1.3.0.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.3.0.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.3.0.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.3.0.dist-info/RECORD,,
+invar/templates/hooks/PostToolUse.sh.jinja,sha256=H-lzVaEMvlr0uoO2LxrGNpWrBtyUkHmYrhtWmCqdAjI,2967
+invar/templates/hooks/PreToolUse.sh.jinja,sha256=D39PaT1eFSjz_Av16xK1atoBZbhLI8tLp8L12zkG-3k,2334
+invar/templates/hooks/Stop.sh.jinja,sha256=3S6lLeAGIu5aPQVRz4jjFS9AfjCD9DdS_jagmkw-x8Q,960
+invar/templates/hooks/UserPromptSubmit.sh.jinja,sha256=eAQqQ-XdOCyhLpF5_1r1z7C-Ej9GQ5Isqbu_2LAtsno,2302
+invar/templates/hooks/__init__.py,sha256=RnnMoQA-8eqbr8Y_1Vu9B8h5vAz4C-vmo8wgdcGYrz0,43
+invar/templates/protocol/INVAR.md,sha256=Yjwvs0PK9sDUtNExXtS2g7nRV2LcUV22Xa0fY_K-_-0,9940
+invar/templates/skills/develop/SKILL.md.jinja,sha256=AYlvhOnHW-EbuLnt8KwVweoKuV1p4v-6NJxFKrSyl_w,9230
+invar/templates/skills/investigate/SKILL.md.jinja,sha256=bOLdLMH5WUVBYOo4NpsfyvI6xx7I1lCNr_X-8bMe_kg,2744
+invar/templates/skills/propose/SKILL.md.jinja,sha256=_iDLYN6-cfzA8n0_8sv-Dnpm1xq9IIpcDyM10mU2WUA,2420
+invar/templates/skills/review/SKILL.md.jinja,sha256=UDzhdjjzXKeR4olM6S2xHkw_Z-uznaBb9467O2_EOhY,5367
+invar_tools-1.3.2.dist-info/METADATA,sha256=mF3BbovusFAmksInxjWG_s257mh0LkUGcGKxBbtY9KA,16695
+invar_tools-1.3.2.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
+invar_tools-1.3.2.dist-info/entry_points.txt,sha256=xjkp8_Kipb6KJR6VNfkAEqiOpvrwUnwUG53cegBA6pQ,57
+invar_tools-1.3.2.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
+invar_tools-1.3.2.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
+invar_tools-1.3.2.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
+invar_tools-1.3.2.dist-info/RECORD,,

invar_tools-1.3.0.dist-info/METADATA

@@ -1,377 +0,0 @@
-Metadata-Version: 2.4
-Name: invar-tools
-Version: 1.3.0
-Summary: AI-native software engineering tools with design-by-contract verification
-Project-URL: Homepage, https://github.com/tefx/invar
-Project-URL: Documentation, https://github.com/tefx/invar#readme
-Project-URL: Repository, https://github.com/tefx/invar
-Project-URL: Issues, https://github.com/tefx/invar/issues
-Author: Invar Team
-License-Expression: GPL-3.0-or-later
-License-File: LICENSE
-License-File: LICENSE-GPL
-License-File: NOTICE
-Keywords: ai,code-quality,contracts,design-by-contract,static-analysis
-Classifier: Development Status :: 3 - Alpha
-Classifier: Intended Audience :: Developers
-Classifier: License :: OSI Approved :: GNU General Public License v3 or later (GPLv3+)
-Classifier: Programming Language :: Python :: 3
-Classifier: Programming Language :: Python :: 3.11
-Classifier: Programming Language :: Python :: 3.12
-Classifier: Topic :: Software Development :: Quality Assurance
-Classifier: Typing :: Typed
-Requires-Python: >=3.11
-Requires-Dist: crosshair-tool>=0.0.60
-Requires-Dist: hypothesis>=6.0
-Requires-Dist: invar-runtime>=1.0
-Requires-Dist: jinja2>=3.0
-Requires-Dist: mcp>=1.0
-Requires-Dist: pre-commit>=3.0
-Requires-Dist: pydantic>=2.0
-Requires-Dist: returns>=0.20
-Requires-Dist: rich>=13.0
-Requires-Dist: typer>=0.9
-Provides-Extra: dev
-Requires-Dist: coverage[toml]>=7.0; extra == 'dev'
-Requires-Dist: mypy>=1.0; extra == 'dev'
-Requires-Dist: pytest-cov>=4.0; extra == 'dev'
-Requires-Dist: pytest>=7.0; extra == 'dev'
-Requires-Dist: ruff>=0.1; extra == 'dev'
-Description-Content-Type: text/markdown
-
-# Invar
-
-[![PyPI version](https://badge.fury.io/py/invar-tools.svg)](https://badge.fury.io/py/invar-tools)
-[![Python 3.11+](https://img.shields.io/badge/python-3.11+-blue.svg)](https://www.python.org/downloads/)
-[![License](https://img.shields.io/badge/License-Apache%202.0%20%2B%20GPL--3.0-blue.svg)](#license)
-
-> **Don't hope AI code is correct. Know it.**
-
-Invar is a verification framework for AI-assisted development. It provides contracts, verification, and a structured workflow methodology.
-
-```python
-from invar_runtime import pre, post
-
-@pre(lambda items: len(items) > 0)
-@post(lambda result: result >= 0)
-def average(items: list[float]) -> float:
-    """
-    >>> average([1, 2, 3])
-    2.0
-    """
-    return sum(items) / len(items)
-```
-
----
-
-## Experience Tiers
-
-| Platform | Experience | Features |
-|----------|------------|----------|
-| **Claude Code** | Full | USBV workflow + skill automation + MCP integration |
-| **Cursor/Windsurf** | Basic | INVAR.md protocol + CLI verification |
-| **Other editors** | Minimal | CLI verification tools only |
-
-**Why tiers?** The skill system (`/develop`, `/review`, etc.) requires Claude Code's sub-agent capabilities. Other editors receive the protocol document and CLI tools.
-
----
-
-## Installation
-
-### Two Packages, Different Purposes
-
-```
-┌─────────────────────────────────────────────────────────────────┐
-│  Your Project                                                   │
-│  ├── src/                                                       │
-│  │   └── from invar_runtime import pre, post  ← Runtime        │
-│  │                                                              │
-│  └── Development (not shipped with your code)                   │
-│      └── uvx invar-tools guard  ← Tools                         │
-└─────────────────────────────────────────────────────────────────┘
-```
-
-| Package | Install | Purpose |
-|---------|---------|---------|
-| **invar-tools** | `uvx invar-tools <cmd>` | Development: verification, init, MCP server |
-| **invar-runtime** | `pip install invar-runtime` | Production: add to your project's dependencies |
-
-### Quick Install
-
-```bash
-# Development tools (recommended: use without installing)
-uvx invar-tools guard
-uvx invar-tools init --claude
-
-# Runtime contracts (add to your project)
-pip install invar-runtime
-```
-
-**Why uvx is recommended:**
-- Always uses latest version
-- Doesn't pollute project dependencies
-- Automatically accesses your project's venv dependencies (numpy, pandas, etc.)
-- If your project has `invar-tools` installed, uvx will detect and use it
-
-**When to use pip install instead:**
-- CI/CD environments where uvx isn't available
-- Projects with C extensions AND Python version mismatch between uvx and project
-
----
-
-## Quick Start
-
-```bash
-# 1. Initialize your project
-cd your-project
-uvx invar-tools init --claude    # Full experience (Claude Code)
-uvx invar-tools init             # Basic experience (other editors)
-
-# 2. Write code with AI (AI follows INVAR.md protocol)
-
-# 3. Verify code quality
-uvx invar-tools guard            # Runs static analysis + doctests + property tests
-```
-
----
-
-## The USBV Workflow
-
-AI agents follow a four-phase development cycle:
-
-```
-┌───────────┐    ┌───────────┐    ┌───────────┐    ┌───────────┐
-│ Understand│ → │  Specify  │ → │   Build   │ → │ Validate  │
-│           │    │           │    │           │    │           │
-│ Intent    │    │ @pre/@post│    │ Implement │    │ invar     │
-│ Inspect   │    │ Doctests  │    │ leaves    │    │ guard     │
-│ Constraints    │ Design    │    │ first     │    │           │
-└───────────┘    └───────────┘    └───────────┘    └───────────┘
-```
-
-**Key insight:** Specify contracts BEFORE implementation. The contract becomes the specification.
-
-See [INVAR.md](./INVAR.md) for complete protocol.
-
----
-
-## Session Protocol
-
-Every AI session follows this format:
-
-**First message (Check-In):**
-```
-✓ Check-In: [project] | [branch] | [clean/dirty]
-```
-
-**Last message (Final):**
-```
-✓ Final: guard PASS | 0 errors, 2 warnings
-```
-
-Check-In shows project context. Guard verification runs during VALIDATE phase and Final, not at Check-In.
-
----
-
-## Core/Shell Architecture
-
-Invar enforces separation between pure logic and I/O:
-
-| Zone | Requirements | Forbidden |
-|------|--------------|-----------|
-| **Core** (`**/core/**`) | `@pre`/`@post` contracts, doctests | I/O imports (os, pathlib, requests...) |
-| **Shell** (`**/shell/**`) | `Result[T, E]` returns | - |
-
-```python
-# Core: Pure logic, receives data
-def parse_config(content: str) -> Config:
-    return Config.parse(content)
-
-# Shell: Handles I/O, returns Result
-def load_config(path: Path) -> Result[Config, str]:
-    content = path.read_text()
-    return Success(parse_config(content))
-```
-
----
-
-## Commands
-
-### Guard (Primary)
-
-```bash
-invar guard              # Full verification (static + doctests + property tests)
-invar guard --changed    # Only git-modified files
-invar guard --static     # Static analysis only (~0.5s)
-invar guard --coverage   # Collect branch coverage (doctest + hypothesis)
-```
-
-**Flags:**
-
-| Flag | Purpose |
-|------|---------|
-| `--strict` | Treat warnings as errors |
-| `--explain` | Show rule explanations |
-| `--agent` | JSON output for AI tools |
-| `--coverage` | Branch coverage from doctest + hypothesis phases |
-
-### Other Commands
-
-```bash
-invar sig <file>         # Show signatures + contracts
-invar map --top 10       # Most-referenced symbols
-invar rules              # List all rules
-invar update             # Update managed files
-```
-
----
-
-## Workflow Skills (Claude Code)
-
-`invar init --claude` creates workflow skills in `.claude/skills/`:
-
-| Skill | Trigger | Purpose |
-|-------|---------|---------|
-| `/investigate` | "why", "explain", vague tasks | Exploration, no code changes |
-| `/propose` | "should we", "compare" | Decision facilitation with options |
-| `/develop` | "add", "fix", "implement" | USBV implementation workflow |
-| `/review` | After develop, `review_suggested` | Adversarial review with fix loop |
-
-**Note:** Skills are Claude Code exclusive. Other editors use INVAR.md protocol directly.
-
----
-
-## Configuration
-
-### pyproject.toml
-
-```toml
-[tool.invar.guard]
-# Directory classification
-core_paths = ["src/myapp/core"]
-shell_paths = ["src/myapp/shell"]
-
-# Or use patterns for existing projects
-core_patterns = ["**/domain/**", "**/models/**"]
-shell_patterns = ["**/api/**", "**/cli/**"]
-
-# Size limits
-max_file_lines = 500
-max_function_lines = 50
-
-# Contract requirements
-require_contracts = true
-require_doctests = true
-
-# Doctest-heavy code
-exclude_doctest_lines = true
-
-# Rule exclusions
-[[tool.invar.guard.rule_exclusions]]
-pattern = "**/generated/**"
-rules = ["*"]
-```
-
----
-
-## Rules Reference
-
-| Rule | Severity | What It Checks |
-|------|----------|----------------|
-| `file_size` | ERROR | File > max lines |
-| `function_size` | WARN | Function > max lines |
-| `missing_contract` | ERROR | Core function lacks @pre/@post |
-| `missing_doctest` | WARN | Contracted function lacks doctest |
-| `forbidden_import` | ERROR | I/O import in Core |
-| `shell_result` | WARN | Shell function not returning Result |
-| `empty_contract` | ERROR | Contract is `lambda: True` |
-
-Full list: `invar rules --explain`
-
----
-
-## MCP Integration (Claude Code)
-
-`invar init --claude` automatically configures MCP:
-
-```json
-{
-  "mcpServers": {
-    "invar": {
-      "command": "uvx",
-      "args": ["invar-tools", "mcp"]
-    }
-  }
-}
-```
-
-**MCP Tools:**
-
-| Tool | Replaces | Purpose |
-|------|----------|---------|
-| `invar_guard` | `pytest`, `crosshair` | Smart verification |
-| `invar_sig` | Reading entire files | Show contracts and signatures |
-| `invar_map` | `grep` for functions | Symbol map with reference counts |
-
----
-
-## Platform Support
-
-| Feature | Claude Code | Cursor/Windsurf | Others |
-|---------|-------------|-----------------|--------|
-| Smart Guard CLI | ✅ | ✅ | ✅ |
-| INVAR.md protocol | ✅ | ✅ | ✅ |
-| MCP integration | ✅ | ❌ | ❌ |
-| Workflow skills | ✅ | ❌ | ❌ |
-| Sub-agent review | ✅ | ❌ | ❌ |
-
-**Claude Code** provides the full experience with automated workflow and independent review.
-
-**Other editors** receive the protocol and CLI tools. Workflow adherence is manual.
-
----
-
-## File Ownership
-
-| File | Owner | Edit? |
-|------|-------|-------|
-| `INVAR.md` | Invar | No (`invar update` manages) |
-| `CLAUDE.md` | You | Yes (project config) |
-| `.claude/skills/` | You | Yes (customize workflows) |
-
----
-
-## Runtime Behavior
-
-Contracts are checked at runtime via [deal](https://github.com/life4/deal).
-
-```bash
-# Disable in production for performance
-DEAL_DISABLE=1 python app.py
-```
-
----
-
-## Learn More
-
-**In your project** (created by `invar init`):
-- `INVAR.md` — Protocol v5.0 for AI agents
-- `CLAUDE.md` — Project configuration
-- `.invar/examples/` — Reference patterns
-
-**Documentation:**
-- [docs/vision.md](./docs/vision.md) — Design philosophy
-- [docs/design.md](./docs/design.md) — Technical architecture
-- [GitHub Pages](https://tefx.github.io/Invar/) — Visual overview
-
----
-
-## License
-
-| Component | License | Purpose |
-|-----------|---------|---------|
-| **invar-runtime** | [Apache-2.0](LICENSE) | Runtime contracts - use freely |
-| **invar-tools** | [GPL-3.0](LICENSE-GPL) | CLI tools - improvements shared |
-| **Documentation** | [CC-BY-4.0](https://creativecommons.org/licenses/by/4.0/) | Share with attribution |
-
-See [NOTICE](NOTICE) for third-party licenses.