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

{invar_tools-1.2.0.dist-info → invar_tools-1.3.0.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: invar-tools
-Version: 1.2.0
+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
@@ -24,6 +24,7 @@ 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
@@ -31,6 +32,7 @@ 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'
@@ -43,9 +45,9 @@ Description-Content-Type: text/markdown
 [![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.**
+> **Don't hope AI code is correct. Know it.**
 
-Invar is a framework that helps developers ensure AI-generated code is reliable through contracts, verification, and mechanical checks.
+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
@@ -62,6 +64,18 @@ def average(items: list[float]) -> float:
 
 ---
 
+## 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
@@ -77,69 +91,85 @@ def average(items: list[float]) -> float:
 └─────────────────────────────────────────────────────────────────┘
 ```
 
-| Package | Install | When to Use |
-|---------|---------|-------------|
+| 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 |
 
-### Development Tools (invar-tools)
+### Quick Install
 
 ```bash
-# Recommended: use without installing (always latest, isolated)
+# Development tools (recommended: use without installing)
 uvx invar-tools guard
 uvx invar-tools init --claude
-uvx invar-tools map --top 10
-
-# Or install globally
-pip install invar-tools
-invar guard
-```
 
-### Runtime Contracts (invar-runtime)
-
-Add to your project's `requirements.txt` or `pyproject.toml`:
-
-```bash
+# Runtime contracts (add to your project)
 pip install invar-runtime
 ```
 
-```python
-# In your code
-from invar_runtime import pre, post
+**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
 
-@pre(lambda x: x > 0)
-@post(lambda result: result >= 0)
-def calculate(x: float) -> float:
-    ...
-```
+**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 (no install required!)
+# 1. Initialize your project
 cd your-project
-uvx invar-tools init --claude    # Creates INVAR.md, CLAUDE.md, configures MCP
+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
+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     │    │           │
+└───────────┘    └───────────┘    └───────────┘    └───────────┘
 ```
 
-> **Why uvx?** No global install needed. Always uses latest version. Isolated environment.
->
-> Alternative: `pip install invar-tools` then use `invar` instead of `uvx invar-tools`
+**Key insight:** Specify contracts BEFORE implementation. The contract becomes the specification.
+
+See [INVAR.md](./INVAR.md) for complete protocol.
+
+---
+
+## Session Protocol
 
-**Multi-Agent Support:** `invar init` auto-detects and configures:
+Every AI session follows this format:
 
-| AI Tool | Configuration |
-|---------|---------------|
-| Claude Code | Creates CLAUDE.md + MCP server |
-| Cursor | Adds to .cursorrules |
-| Aider | Adds to .aider.conf.yml |
-| Others | Add "Follow INVAR.md" to system prompt |
+**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.
 
 ---
 
@@ -149,8 +179,8 @@ Invar enforces separation between pure logic and I/O:
 
 | Zone | Requirements | Forbidden |
 |------|--------------|-----------|
-| **Core** | `@pre`/`@post` contracts, doctests | I/O imports (os, pathlib, requests...) |
-| **Shell** | `Result[T, E]` returns | - |
+| **Core** (`**/core/**`) | `@pre`/`@post` contracts, doctests | I/O imports (os, pathlib, requests...) |
+| **Shell** (`**/shell/**`) | `Result[T, E]` returns | - |
 
 ```python
 # Core: Pure logic, receives data
@@ -170,9 +200,10 @@ def load_config(path: Path) -> Result[Config, str]:
 ### Guard (Primary)
 
 ```bash
-invar guard              # Full verification (default)
+invar guard              # Full verification (static + doctests + property tests)
 invar guard --changed    # Only git-modified files
-invar guard --static     # Static only (~0.5s)
+invar guard --static     # Static analysis only (~0.5s)
+invar guard --coverage   # Collect branch coverage (doctest + hypothesis)
 ```
 
 **Flags:**
@@ -180,9 +211,9 @@ invar guard --static     # Static only (~0.5s)
 | Flag | Purpose |
 |------|---------|
 | `--strict` | Treat warnings as errors |
-| `--explain` | Show rule limitations |
+| `--explain` | Show rule explanations |
 | `--agent` | JSON output for AI tools |
-| `--pedantic` | Show all rules including off-by-default |
+| `--coverage` | Branch coverage from doctest + hypothesis phases |
 
 ### Other Commands
 
@@ -195,14 +226,18 @@ invar update             # Update managed files
 
 ---
 
-## Verification Levels (DX-19)
+## Workflow Skills (Claude Code)
+
+`invar init --claude` creates workflow skills in `.claude/skills/`:
 
-| Level | Command | Checks | When to Use |
-|-------|---------|--------|-------------|
-| STATIC | `--static` | Rules only (~0.5s) | Debugging static analysis |
-| STANDARD | (default) | Rules + doctests + CrossHair + Hypothesis (~5s) | Everything else |
+| 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 |
 
-**Zero decisions:** Default runs full verification. Incremental mode makes it fast (~5s first, ~2s cached).
+**Note:** Skills are Claude Code exclusive. Other editors use INVAR.md protocol directly.
 
 ---
 
@@ -231,18 +266,10 @@ require_doctests = true
 # Doctest-heavy code
 exclude_doctest_lines = true
 
-# Purity overrides
-purity_pure = ["pandas.DataFrame.groupby"]
-purity_impure = ["my_module.cached_lookup"]
-
 # Rule exclusions
 [[tool.invar.guard.rule_exclusions]]
 pattern = "**/generated/**"
 rules = ["*"]
-
-# Severity overrides
-[tool.invar.guard.severity_overrides]
-redundant_type_contract = "off"
 ```
 
 ---
@@ -258,7 +285,6 @@ redundant_type_contract = "off"
 | `forbidden_import` | ERROR | I/O import in Core |
 | `shell_result` | WARN | Shell function not returning Result |
 | `empty_contract` | ERROR | Contract is `lambda: True` |
-| `param_mismatch` | ERROR | Lambda params ≠ function params |
 
 Full list: `invar rules --explain`
 
@@ -266,7 +292,7 @@ Full list: `invar rules --explain`
 
 ## MCP Integration (Claude Code)
 
-`invar init` automatically creates `.mcp.json` with smart detection of available methods:
+`invar init --claude` automatically configures MCP:
 
 ```json
 {
@@ -279,46 +305,29 @@ Full list: `invar rules --explain`
 }
 ```
 
-**Claude Code Integration:**
-
-```bash
-# Full integration (recommended)
-invar init --claude
-
-# Specify MCP method
-invar init --claude --mcp-method uvx      # Recommended
-invar init --claude --mcp-method command  # Use PATH invar
-invar init --claude --mcp-method python   # Use current Python
-```
-
 **MCP Tools:**
 
 | Tool | Replaces | Purpose |
 |------|----------|---------|
-| `invar_guard` | `pytest`, `crosshair` | Smart Guard verification |
-| `invar_sig` | Reading entire file | Show contracts and signatures |
+| `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 |
 
-Manual setup: See `.invar/mcp-setup.md` after running `invar init`.
-
 ---
 
-## Platform Support (DX-31)
-
-The Independent Adversarial Reviewer (DX-31) has different capabilities depending on your AI coding assistant:
+## Platform Support
 
-| Feature | Claude Code | Other Agents |
-|---------|-------------|--------------|
-| Guard `review_suggested` | ✅ | ✅ |
-| Automatic sub-agent review | ✅ Task tool | ❌ Manual action |
-| Context isolation | ✅ Fresh context | N/A |
-| Adversarial mindset | ✅ Prompt-based | User responsibility |
+| Feature | Claude Code | Cursor/Windsurf | Others |
+|---------|-------------|-----------------|--------|
+| Smart Guard CLI | ✅ | ✅ | ✅ |
+| INVAR.md protocol | ✅ | ✅ | ✅ |
+| MCP integration | ✅ | ❌ | ❌ |
+| Workflow skills | ✅ | ❌ | ❌ |
+| Sub-agent review | ✅ | ❌ | ❌ |
 
-**Claude Code:** Full independent review with context isolation. When Guard outputs `review_suggested`, the agent automatically spawns a sub-agent reviewer that sees only the code (not the implementation history).
+**Claude Code** provides the full experience with automated workflow and independent review.
 
-**Cursor, Windsurf, Copilot, etc.:** Guard outputs `review_suggested` as a warning. Users must manually invoke review or use external code review tools.
-
-**Why context isolation matters:** The same agent that wrote code has "author blindness" — it remembers its rationale and unconsciously validates its own decisions. An isolated reviewer sees only the code.
+**Other editors** receive the protocol and CLI tools. Workflow adherence is manual.
 
 ---
 
@@ -328,7 +337,7 @@ The Independent Adversarial Reviewer (DX-31) has different capabilities dependin
 |------|-------|-------|
 | `INVAR.md` | Invar | No (`invar update` manages) |
 | `CLAUDE.md` | You | Yes (project config) |
-| `.invar/examples/` | Invar | No (reference only) |
+| `.claude/skills/` | You | Yes (customize workflows) |
 
 ---
 
@@ -337,51 +346,32 @@ The Independent Adversarial Reviewer (DX-31) has different capabilities dependin
 Contracts are checked at runtime via [deal](https://github.com/life4/deal).
 
 ```bash
-# Disable in production
+# Disable in production for performance
 DEAL_DISABLE=1 python app.py
 ```
 
 ---
 
-## Troubleshooting
-
-**Guard is slow:**
-- Use `--changed` for incremental checks
-- Use `--static` to skip doctests during debugging
-
-**Too many warnings:**
-- Add exclusions for generated code
-- Override severity for noisy rules
-
-**CrossHair timeout:**
-- Some code patterns don't work well with symbolic execution
-- Hypothesis fallback runs automatically
-
----
-
 ## Learn More
 
 **In your project** (created by `invar init`):
-- `INVAR.md` — Protocol for AI agents
+- `INVAR.md` — Protocol v5.0 for AI agents
 - `CLAUDE.md` — Project configuration
 - `.invar/examples/` — Reference patterns
 
 **Documentation:**
-- [docs/INVAR-GUIDE.md](./docs/INVAR-GUIDE.md) — Detailed guide
-- [docs/VISION.md](./docs/VISION.md) — Design philosophy
+- [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
 
-This project uses a dual-license structure:
-
 | Component | License | Purpose |
 |-----------|---------|---------|
-| **invar-runtime** | [Apache-2.0](LICENSE) | Runtime contracts - use freely in your projects |
-| **invar-tools** | [GPL-3.0](LICENSE-GPL) | CLI tools - ensures improvements are shared |
-| **Documentation** | [CC-BY-4.0](https://creativecommons.org/licenses/by/4.0/) | Protocol docs - share with attribution |
-
-**For users:** You can use `invar-runtime` in any project (including proprietary). The `invar-tools` CLI is for development only and doesn't affect your project's license.
+| **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.

invar_tools-1.3.0.dist-info/RECORD

@@ -0,0 +1,95 @@
+invar/__init__.py,sha256=Bzp8MpdH-uUNe6qY9ITv6LLOn0HUomtIToQ0zUS1mkg,1342
+invar/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+invar/core/__init__.py,sha256=01TgQ2bqTFV4VFdksfqXYPa2WUqo-DpUWUkEcIUXFb4,218
+invar/core/contracts.py,sha256=SOyF1KeJ6hrEwfQ09UzMt881OJKDXRbPTslKA6HzdKg,19085
+invar/core/entry_points.py,sha256=gB6h2O9gp9larxDWVA2IUclLadMF_H8eJErnscYm0GU,12012
+invar/core/extraction.py,sha256=mScqEMEEQdsd-Z0jx9g3scK6Z1vI9l-ESjggXPIWHZ4,6112
+invar/core/format_specs.py,sha256=P299aRHFMXyow8STwsvaT6Bg2ALPs2wSy7SByiRZZ-A,5610
+invar/core/format_strategies.py,sha256=LifL97JbsF8WEkVNmQpq2htyFUC3pW21myAjtRGpSxU,5774
+invar/core/formatter.py,sha256=Ct-8x4wYoMNfi6-ub5IjoQJ80mMAXlAhsXweRrxKkGw,10548
+invar/core/hypothesis_strategies.py,sha256=_MfjG7KxkmJvuPsczr_1JayR_YmiDzU2jJ8fQPoKGgs,16517
+invar/core/inspect.py,sha256=l1knohwpLRHSNySPUjyeBHJusnU0vYiQGj4dMVgQZIo,4381
+invar/core/lambda_helpers.py,sha256=Ap1y7N0wpgCgPHwrs2pd7zD9Qq4Ptfd2iTliprXIkME,6457
+invar/core/models.py,sha256=BbGiUQh6QdhHaw1fUQjFT6fm9bOUiHRam3d95rKOKYE,10089
+invar/core/must_use.py,sha256=7HnnbT53lb4dOT-1mL64pz0JbQYytuw4eejNVe7iWKY,5496
+invar/core/parser.py,sha256=ucVpGziVzUvbkXT1n_SgOrYdStDEcNBqLuRGqK3_M5g,9205
+invar/core/postcondition_scope.py,sha256=ykjVNqZZ1zItBmI7ebgmLW5vFGE-vpaLRTvSgWaJMgM,5245
+invar/core/property_gen.py,sha256=_IvBJNUqd8pwu7wXuIProZn5RZksqFdmtXt3GnLU6Vo,14033
+invar/core/purity.py,sha256=dt5dFy5V8Ch93iBJF5OuKUr1jjfimfY3oHLQD8KmLHw,12036
+invar/core/purity_heuristics.py,sha256=vsgphC1XPIFtsoLB0xvp--AyaJHqlh83LyKXYda4pWc,4546
+invar/core/references.py,sha256=64yGIdj9vL72Y4uUhJsi9pztZkuMnLN-7OcOziyxYMo,6339
+invar/core/review_trigger.py,sha256=4GGHUmgbVsQJAob4OO6A8G7KrLcNMwNOuqHiT6Jc7cs,14085
+invar/core/rule_meta.py,sha256=il_KUTjSlW1MOVgLguuLDS9wEdyqUe3CDvUx4gQjACo,10180
+invar/core/rules.py,sha256=6MvqO4dQXYwYe3ICp1bT2s_33O7FkpGwUzOrgHL16X4,19962
+invar/core/shell_analysis.py,sha256=i2A9SMqBI3Rb4Ai0QNTM7awIkSJIY6yZJVWS72lv0bY,6457
+invar/core/shell_architecture.py,sha256=98EVdBFIs8tO-i9jKuzdmv7fLB4PKnyI-vKh5lxnB98,6538
+invar/core/strategies.py,sha256=2DPl0z2p_CBNd4RlSbZzTeAy6Dq6cpCiBCB2p5qHHkk,8798
+invar/core/suggestions.py,sha256=LCg2Dy9EHh_n1t9jATRZ0gTkgJkAEZk3vp2nuuCyr-s,15129
+invar/core/sync_helpers.py,sha256=kd6VyFAcpKfkVcbDk3GaBi2n0EWOGICz4VmdxwbshfI,7523
+invar/core/tautology.py,sha256=Pmn__a0Bt55W0lAQo1G5q8Ory9KuE23dRknKw45xxbs,9221
+invar/core/template_parser.py,sha256=vH3H8OX55scZ1hWh3xoA8oJMhgleKufCOhkTvsSuu_4,14730
+invar/core/timeout_inference.py,sha256=BS2fJGmwOrLpYZUku4qrizgNDSIXVLFBslW-6sRAvpc,3451
+invar/core/utils.py,sha256=4ani-6XcWF__sD0c_tKcCA2FunaF2pYIfvR5BACWkDg,14168
+invar/core/verification_routing.py,sha256=_jXi1txFCcUdnB3-Yavtuyk8N-XhEO_Vu_051Vuz27Y,5020
+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/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
+invar/shell/git.py,sha256=s6RQxEDQuLrmK3mru88EoYP8__4hiFW8AozlcxmY47E,2784
+invar/shell/guard_helpers.py,sha256=QeYgbW0lgUa9Z_RCjAMG7UJdiMzz5cW48Lb2u-qgQi8,15114
+invar/shell/guard_output.py,sha256=hcgamhSI781zUjHmrkNhYAjsy5qgEzCbxdtXuw1I-8w,11838
+invar/shell/mcp_config.py,sha256=-hC7Y5BGuVs285b6gBARk7ZyzVxHwPgXSyt_GoN0jfs,4580
+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/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/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/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/__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/cursorrules.template,sha256=N6AiEJRJHGkHm2tswh3PnZ_07ozeyQQI8iEOGK5Aqoc,1023
+invar/templates/manifest.toml,sha256=5JxaY9nl9hK5d1qWc2OJEGID6bFSX_Dp39lc5kRoIXk,4252
+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/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_tools-1.3.0.dist-info/entry_points.txt

@@ -0,0 +1,2 @@
+[console_scripts]
+invar = invar.shell.commands.guard:app

invar/contracts.py

@@ -1,152 +0,0 @@
-"""
-Composable contracts for Invar.
-
-Provides Contract class with &, |, ~ operators for combining conditions,
-and a standard library of common predicates. Works with deal decorators.
-
-Inspired by Idris' dependent types.
-"""
-
-from __future__ import annotations
-
-from dataclasses import dataclass
-from typing import TYPE_CHECKING, Any
-
-import deal
-
-if TYPE_CHECKING:
-    from collections.abc import Callable
-
-
-@dataclass
-class Contract:
-    """
-    Composable contract with &, |, ~ operators.
-
-    Contracts encapsulate predicates that can be combined and reused.
-    Works with deal.pre for runtime checking.
-
-    Examples:
-        >>> NonEmpty = Contract(lambda x: len(x) > 0, "non-empty")
-        >>> Sorted = Contract(lambda x: list(x) == sorted(x), "sorted")
-        >>> combined = NonEmpty & Sorted
-        >>> combined.check([1, 2, 3])
-        True
-        >>> combined.check([])
-        False
-        >>> combined.check([3, 1, 2])
-        False
-        >>> (NonEmpty | Sorted).check([])  # Empty but sorted
-        True
-        >>> (~NonEmpty).check([])  # NOT non-empty
-        True
-    """
-
-    predicate: Callable[[Any], bool]
-    description: str
-
-    def check(self, value: Any) -> bool:
-        """Check if value satisfies the contract."""
-        return self.predicate(value)
-
-    def __and__(self, other: Contract) -> Contract:
-        """Combine contracts with AND."""
-        return Contract(
-            predicate=lambda x: self.check(x) and other.check(x),
-            description=f"({self.description} AND {other.description})",
-        )
-
-    def __or__(self, other: Contract) -> Contract:
-        """Combine contracts with OR."""
-        return Contract(
-            predicate=lambda x: self.check(x) or other.check(x),
-            description=f"({self.description} OR {other.description})",
-        )
-
-    def __invert__(self) -> Contract:
-        """Negate the contract."""
-        return Contract(
-            predicate=lambda x: not self.check(x),
-            description=f"NOT({self.description})",
-        )
-
-    def __call__(self, *args: Any, **kwargs: Any) -> bool:
-        """Allow using as deal.pre predicate directly."""
-        value = args[0] if args else next(iter(kwargs.values()))
-        return self.check(value)
-
-    def __repr__(self) -> str:
-        return f"Contract({self.description!r})"
-
-
-def pre(*contracts: Contract) -> Callable[[Callable], Callable]:
-    """
-    Decorator accepting Contract objects for preconditions.
-
-    Works with deal.pre under the hood.
-
-    Examples:
-        >>> from invar.contracts import pre, NonEmpty
-        >>> @pre(NonEmpty)
-        ... def first(xs): return xs[0]
-        >>> first([1, 2, 3])
-        1
-    """
-
-    def combined(*args: Any, **kwargs: Any) -> bool:
-        value = args[0] if args else next(iter(kwargs.values()))
-        return all(c.check(value) for c in contracts)
-
-    return deal.pre(combined)
-
-
-def post(*contracts: Contract) -> Callable[[Callable], Callable]:
-    """
-    Decorator accepting Contract objects for postconditions.
-
-    Works with deal.post under the hood.
-
-    Examples:
-        >>> from invar.contracts import post, NonEmpty
-        >>> @post(NonEmpty)
-        ... def get_list(): return [1]
-        >>> get_list()
-        [1]
-    """
-
-    def combined(result: Any) -> bool:
-        return all(c.check(result) for c in contracts)
-
-    return deal.post(combined)
-
-
-# =============================================================================
-# Standard Library of Contracts
-# =============================================================================
-
-# --- Collections ---
-NonEmpty: Contract = Contract(lambda x: len(x) > 0, "non-empty")
-Sorted: Contract = Contract(lambda x: list(x) == sorted(x), "sorted")
-Unique: Contract = Contract(lambda x: len(x) == len(set(x)), "unique")
-SortedNonEmpty: Contract = NonEmpty & Sorted
-
-# --- Numbers ---
-Positive: Contract = Contract(lambda x: x > 0, "positive")
-NonNegative: Contract = Contract(lambda x: x >= 0, "non-negative")
-Negative: Contract = Contract(lambda x: x < 0, "negative")
-
-
-def InRange(lo: float, hi: float) -> Contract:
-    """Create a contract checking value is in [lo, hi]."""
-    return Contract(lambda x: lo <= x <= hi, f"[{lo},{hi}]")
-
-
-Percentage: Contract = InRange(0, 100)
-
-# --- Strings ---
-NonBlank: Contract = Contract(lambda s: bool(s and s.strip()), "non-blank")
-
-# --- Lists with elements ---
-AllPositive: Contract = Contract(lambda xs: all(x > 0 for x in xs), "all positive")
-AllNonNegative: Contract = Contract(lambda xs: all(x >= 0 for x in xs), "all non-negative")
-NoNone: Contract = Contract(lambda xs: None not in xs, "no None")