invar-tools 1.3.3__py3-none-any.whl → 1.5.0__py3-none-any.whl

invar/templates/skills/develop/SKILL.md.jinja

@@ -71,6 +71,55 @@ def calculate(x: int) -> int:
     ...  # Implementation comes in BUILD
 ```
 
+#### Function-Level Gates (DX-63)
+
+When creating new modules, use **incremental development**:
+
+1. Create ONE file
+2. Write contracts for all functions (body = `...`)
+{% if syntax == "mcp" -%}
+3. Run `invar_guard(contracts_only=true)` to verify coverage
+{% else -%}
+3. Run `invar guard -c <file>` to verify coverage
+{% endif -%}
+4. Implement functions
+{% if syntax == "mcp" -%}
+5. Run `invar_guard(changed=true)`
+{% else -%}
+5. Run `invar guard --changed`
+{% endif -%}
+6. Proceed to next file
+
+❌ Do NOT create multiple file skeletons at once
+❌ Do NOT "structure first, fill later"
+
+**TodoList Pattern: Interleaved SPECIFY/BUILD**
+
+For each function:
+```
+□ [SPECIFY] Write contract for validate_input
+□ [BUILD] Implement validate_input
+□ [SPECIFY] Write contract for process_data
+□ [BUILD] Implement process_data
+```
+
+NOT:
+```
+□ [SPECIFY] Write all contracts
+□ [BUILD] Implement all functions
+```
+
+**Violation Self-Check** — Before writing ANY implementation code:
+1. "Have I written the contract for THIS function?"
+2. "Have I shown it in my response?"
+{% if syntax == "mcp" -%}
+3. "Have I run `invar_guard(contracts_only=true)`?"
+{% else -%}
+3. "Have I run `invar guard -c`?"
+{% endif -%}
+
+If any NO → Stop. Write contract first.
+
 ### 3. BUILD
 
 **For complex tasks:** Enter Plan Mode first, get user approval.

invar/templates/skills/review/SKILL.md.jinja

@@ -1,29 +1,91 @@
 ---
 name: review
-description: Adversarial code review with fix loop. Use after development, when Guard reports review_suggested, or user explicitly requests review. Finds issues that automated verification misses. Supports isolated mode (sub-agent) and quick mode (same context).
+description: Fault-finding code review with REJECTION-FIRST mindset and AUTO-LOOP. Code is GUILTY until proven INNOCENT. Automatically cycles Reviewer→Fixer→Reviewer until quality_met or max_rounds. No human confirmation needed between roles.
 _invar:
   version: "{{ version }}"
   managed: skill
 ---
 <!--invar:skill-->
 
-# Review Mode
+# Review Mode (Fault-Finding with Auto-Loop)
 
 > **Purpose:** Find problems that Guard, doctests, and property tests missed.
-> **Mindset:** Adversarial. Your success is measured by problems found, not code approved.
+> **Mindset:** REJECTION-FIRST. Code is GUILTY until proven INNOCENT.
+> **Success Metric:** Issues FOUND, not code approved. Zero issues = you failed to look hard enough.
+> **Workflow:** AUTOMATIC Reviewer↔Fixer loop until quality_met or max_rounds (no human confirmation).
 
-## Adversarial Reviewer Persona
+## Auto-Loop Configuration
+
+```
+MAX_ROUNDS = 5          # Maximum review-fix cycles
+AUTO_TRANSITION = true  # No human confirmation between roles
+```
+
+## Prime Directive: Reject Until Proven Correct
+
+**You are the PROSECUTOR, not the defense attorney.**
+
+| Trap | Reality Check |
+|------|---------------|
+| "Seems fine" | You failed to find the bug |
+| "Makes sense" | You're rationalizing, not reviewing |
+| "Edge case is unlikely" | Edge cases ARE bugs |
+| "Comment explains it" | Comments don't fix code |
+| "Assessed as acceptable" | "Assessed" ≠ "Fixed" |
+
+## Role Separation (CRITICAL)
+
+**You play TWO distinct roles that cycle AUTOMATICALLY:**
+
+| Role | Allowed Actions | Forbidden |
+|------|-----------------|-----------|
+| **REVIEWER** | Find issues, judge fixes, declare quality_met | Write code, rationalize issues |
+| **FIXER** | Implement fixes only | Declare quality_met, dismiss issues |
+
+**Role Transition Markers (REQUIRED):**
+
+```
+━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+🔍 REVIEWER [Round N] — Finding issues
+━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+
+━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+🔧 FIXER [Round N] — Implementing fixes
+━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+
+━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+✅ REVIEWER [Round N] — Verifying fixes
+━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+```
+
+## Quality Gate Authority
+
+**ONLY the Reviewer role can declare `quality_met`.**
+
+Before declaring exit:
+1. Re-read EVERY issue found
+2. For each issue, verify: "Is this ACTUALLY fixed, or did I rationalize it?"
+3. Ask: "Would I accept this excuse from someone else's code?"
+
+**Self-Check Questions:**
+- Did I write code AND declare quality_met? → Role confusion detected
+- Did I say "assessed" instead of "fixed"? → Rationalization detected
+- Did any MAJOR become a comment instead of code? → Fix failed
+
+## Fault-Finding Persona
 
 Assume:
 - The code has bugs until proven otherwise
 - The contracts may be meaningless ceremony
 - The implementer may have rationalized poor decisions
 - Escape hatches may be abused
+- **Your own fixes may introduce new bugs**
 
 You ARE here to:
 - Find bugs, logic errors, edge cases
 - Challenge whether contracts have semantic value
 - Check if code matches contracts (not if code "seems right")
+- **RE-VERIFY fixes, not trust them**
 
 ## Entry Actions
 
@@ -117,46 +179,149 @@ These are checked by Guard or linters - don't duplicate:
 - Entry point thickness → Guard (entry_point_too_thick)
 - Escape hatch count → Guard (review_suggested)
 
-## Review-Fix Loop
+## Auto-Loop Workflow (NO HUMAN CONFIRMATION)
+
+**The loop runs AUTOMATICALLY until exit condition is met.**
 
 ```
-Round 1: Review → Find issues
-    ↓
-Fix CRITICAL + MAJOR (MINOR → backlog)
-    ↓
-Round 2: Re-review (if needed)
-    ↓
-Convergence check:
-- No CRITICAL/MAJOR → Exit ✓
-- No improvement → Exit (warn)
-- Round >= 3 → Exit (max)
+┌─────────────────────────────────────────────────────────────────┐
+│  START: round = 1, issues = []                                  │
+│                                                                 │
+│  ┌─────────────────────────────────────────────────────────┐    │
+│  │  🔍 REVIEWER [Round N]                                  │    │
+│  │    1. Find ALL issues (don't stop at first)            │    │
+│  │    2. Classify: CRITICAL / MAJOR / MINOR               │    │
+│  │    3. Add to issues table                              │    │
+│  │    4. IF no CRITICAL/MAJOR → quality_met, EXIT         │    │
+│  │    5. ELSE → AUTO-TRANSITION to FIXER                  │    │
+│  └─────────────────────────────────────────────────────────┘    │
+│                         ↓ (automatic)                           │
+│  ┌─────────────────────────────────────────────────────────┐    │
+│  │  🔧 FIXER [Round N]                                     │    │
+│  │    1. Fix EACH CRITICAL/MAJOR issue with CODE          │    │
+│  │    2. Run invar_guard() after fixes                    │    │
+│  │    3. NO declaring quality_met (forbidden)             │    │
+│  │    4. AUTO-TRANSITION back to REVIEWER                 │    │
+│  └─────────────────────────────────────────────────────────┘    │
+│                         ↓ (automatic)                           │
+│  ┌─────────────────────────────────────────────────────────┐    │
+│  │  ✅ REVIEWER [Round N] — Verification                   │    │
+│  │    1. Re-verify EACH fix:                              │    │
+│  │       - Is fix CODE or just COMMENT?                   │    │
+│  │       - Does fix actually address issue?               │    │
+│  │       - Did fix introduce new issues?                  │    │
+│  │    2. Update verification table                        │    │
+│  │    3. IF all CRITICAL/MAJOR fixed → quality_met, EXIT  │    │
+│  │    4. IF round >= MAX_ROUNDS → max_rounds, EXIT        │    │
+│  │    5. IF no progress → no_improvement, EXIT            │    │
+│  │    6. ELSE → round++, LOOP to REVIEWER [Round N+1]     │    │
+│  └─────────────────────────────────────────────────────────┘    │
+│                                                                 │
+│  EXIT: Generate final report                                    │
+└─────────────────────────────────────────────────────────────────┘
 ```
 
+## Loop State Tracking
+
+**Maintain this state throughout the loop:**
+
+```markdown
+## Review State
+- **Round:** N / MAX_ROUNDS
+- **Role:** REVIEWER | FIXER
+- **Issues Found:** [count]
+- **Issues Fixed:** [count]
+- **Guard Status:** PASS | FAIL
+```
+
+## Verification Table (Updated Each Round)
+
+| Issue ID | Severity | Round Found | Status | Evidence |
+|----------|----------|-------------|--------|----------|
+| MAJOR-1 | MAJOR | 1 | ✅ Fixed (R2) | Code change at line X |
+| MAJOR-2 | MAJOR | 1 | ❌ Unfixed | Fix attempted but failed |
+| MAJOR-3 | MAJOR | 2 | 🔄 New | Found during re-verification |
+| ... | ... | ... | ... | ... |
+
+**Status Legend:**
+- ✅ Fixed (RN) — Actually fixed with code in round N
+- ❌ Unfixed — Fix failed or was just a comment
+- 🔄 New — Found during re-verification (new issue)
+- ⏭️ Backlog — MINOR, deferred to later
+
+If ANY ❌ exists for CRITICAL/MAJOR after MAX_ROUNDS → quality_not_met
+
 ## Severity Definitions
 
-| Level | Meaning | Examples |
-|-------|---------|----------|
-| CRITICAL | Security, data loss, crash | SQL injection, unhandled null |
-| MAJOR | Logic error, missing validation | Wrong calculation, no bounds |
-| MINOR | Style, documentation | Naming, missing docstring |
+| Level | Meaning | Examples | Exit Blocker? |
+|-------|---------|----------|---------------|
+| CRITICAL | Security, data loss, crash | SQL injection, unhandled null | **YES** |
+| MAJOR | Logic error, missing validation | Wrong calculation, no bounds | **YES** |
+| MINOR | Style, documentation | Naming, missing docstring | No (backlog) |
+
+## Exit Conditions (Auto-Loop)
 
-## Exit Report
+**Exit triggers (checked automatically after each REVIEWER phase):**
+
+| Condition | Exit Reason | Result |
+|-----------|-------------|--------|
+| All CRITICAL/MAJOR fixed | `quality_met` | ✅ Ready for merge |
+| Round >= MAX_ROUNDS | `max_rounds` | ⚠️ Manual review needed |
+| No progress (same issues 2 rounds) | `no_improvement` | ❌ Architectural issue |
+| Guard fails after fix | Continue loop | 🔄 More fixes needed |
+
+**quality_met requires ALL of:**
+1. Zero CRITICAL issues remaining
+2. Zero MAJOR issues remaining (not "assessed", actually FIXED)
+3. Verification table completed with evidence for each fix
+4. Guard passes after all fixes
+
+**Automatic quality_not_met:**
+- Any MAJOR "fixed" with comment instead of code
+- Any issue marked "assessed" or "acceptable"
+- Fixer role declared quality_met (role violation)
+- Infinite loop detected (no progress)
+
+## Exit Report (Generated Automatically)
 
 ```markdown
-### Review Complete
+━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+📋 REVIEW COMPLETE
+━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+
+**Exit Reason:** quality_met | max_rounds | no_improvement
+**Total Rounds:** N / MAX_ROUNDS
+**Guard Status:** PASS | FAIL
+
+## Verification Table
+
+| Issue | Severity | Round | Status | Evidence |
+|-------|----------|-------|--------|----------|
+| MAJOR-1 | MAJOR | 1→2 | ✅ Fixed | Code at file.py:123 |
+| ... | ... | ... | ... | ... |
+
+## Statistics
+
+- Issues Found: X
+- Issues Fixed: Y
+- Fix Rate: Y/X (Z%)
+- New Issues from Fixes: N
+
+## Self-Check (Reviewer Final)
 
-**Rounds:** [N]
-**Exit reason:** quality_met | max_rounds | no_improvement
+- [x] All fixes are CODE, not comments
+- [x] No "assessed as acceptable" rationalizations
+- [x] Guard passes after all changes
+- [x] Role separation maintained throughout
 
-**Fixed:**
-- [list of fixed issues]
+## Recommendation
 
-**Remaining (MINOR - backlog):**
-- [list for later]
+- [x] Ready for merge (quality_met)
+- [ ] Needs manual review (max_rounds)
+- [ ] Architectural refactor needed (no_improvement)
 
-**Recommendation:**
-- [ ] Ready for merge
-- [ ] Needs more work: [issues]
+**MINOR (Backlog):**
+- [list deferred items]
 ```
 <!--/invar:skill-->
 <!--invar:extensions-->

{invar_tools-1.3.3.dist-info → invar_tools-1.5.0.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: invar-tools
-Version: 1.3.3
+Version: 1.5.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
@@ -61,6 +61,10 @@ agents write code that's correct by construction—not by accident.
   <a href="#license"><img src="https://img.shields.io/badge/License-Apache%202.0%20%2B%20GPL--3.0-blue.svg" alt="License"></a>
 </p>
 
+<p align="center">
+  <a href="#why-invar"><img src="https://img.shields.io/badge/🤖_Dogfooding-Invar's_code_is_100%25_AI--generated_and_AI--verified_using_itself-8A2BE2?style=for-the-badge" alt="Dogfooding"></a>
+</p>
+
 ### What It Looks Like
 
 An AI agent, guided by Invar, writes code with formal contracts and built-in tests:
@@ -111,41 +115,46 @@ Guard passed.
 ┌───────────────────────────────────────────────────────────────────┐
 │  Your Project                                                     │
 │  ├── pyproject.toml                                               │
-│  │   └── dependencies = ["invar-runtime"]  ← Ships with code     │
+│  │   └── dependencies = ["invar-runtime"]  ← Ships with code      │
 │  │                                                                │
 │  └── Development (never enters production)                        │
-│      └── uvx --from invar-tools invar guard  ← Guides agents     │
+│      └── uvx invar-tools guard  ← Guides agents                   │
 └───────────────────────────────────────────────────────────────────┘
 ```
 
 | Package | Purpose | Install |
 |---------|---------|---------|
 | **invar-runtime** | Runtime contracts. Add to your project dependencies. | `pip install invar-runtime` |
-| **invar-tools** | Development tools. Guides agents during development. | `uvx --from invar-tools invar <cmd>` |
+| **invar-tools** | Development tools. Guides agents during development. | `uvx invar-tools <cmd>` |
 
 **Why uvx?** Always uses latest version, doesn't pollute project dependencies, auto-detects your project's venv.
 
 ### 🆕 New Project
 
 ```bash
-# 1. Initialize with Claude Code (full experience)
-uvx --from invar-tools invar init --claude
+# 1. Enter your project directory
+cd your-project
 
-# 2. Add runtime contracts to your project
+# 2. Initialize with Claude Code (full experience)
+uvx invar-tools init --claude
+
+# 3. Add runtime contracts to your project
 pip install invar-runtime
 # Or add to pyproject.toml: dependencies = ["invar-runtime"]
 
-# 3. Start coding with AI
+# 4. Start coding with AI
 ```
 
 ### 📁 Existing Project
 
 ```bash
+cd your-project
+
 # Update managed files, preserve your customizations
-uvx --from invar-tools invar init --claude
+uvx invar-tools init --claude
 
 # Or without Claude Code integration
-uvx --from invar-tools invar init
+uvx invar-tools init
 ```
 
 Invar's init is idempotent—safe to run multiple times. It detects existing configuration and updates only managed regions.
@@ -239,10 +248,10 @@ Guard provides fast feedback. Agent sees errors, fixes immediately:
 | **Symbolic** | CrossHair | ~30s | Mathematical proof of contracts |
 
 ```
-┌──────────┐   ┌──────────┐   ┌──────────┐   ┌──────────┐
+┌──────────┐   ┌───────────┐   ┌───────────┐   ┌────────────┐
 │ ⚡ Static │ → │ 🧪 Doctest│ → │ 🎲 Property│ → │ 🔬 Symbolic│
-│   ~0.5s  │   │   ~2s    │   │   ~10s   │   │   ~30s   │
-└──────────┘   └──────────┘   └──────────┘   └──────────┘
+│   ~0.5s  │   │   ~2s     │   │   ~10s    │   │   ~30s     │
+└──────────┘   └───────────┘   └───────────┘   └────────────┘
 ```
 
 ```
@@ -263,8 +272,8 @@ The USBV workflow forces "specify before implement":
 
 ```
 🔍 Understand  →  📝 Specify  →  🔨 Build  →  ✓ Validate
-      │              │             │            │
-   Context       Contracts       Code        Guard
+      │              │              │            │
+   Context        Contracts        Code        Guard
 ```
 
 Skill routing ensures agents enter through the correct workflow:

{invar_tools-1.3.3.dist-info → invar_tools-1.5.0.dist-info}/RECORD

@@ -6,11 +6,11 @@ invar/core/entry_points.py,sha256=gB6h2O9gp9larxDWVA2IUclLadMF_H8eJErnscYm0GU,12
 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/formatter.py,sha256=YS7Ni5duz04S1DamsaAksqTBBqXzxUTvf6O6LsxjROE,10772
 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/models.py,sha256=5R1w15O8klEMMC0g1zgds6nGFpE6uJFSRkIbXFLNOpo,10795
 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
@@ -29,28 +29,40 @@ invar/core/sync_helpers.py,sha256=kd6VyFAcpKfkVcbDk3GaBi2n0EWOGICz4VmdxwbshfI,75
 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/trivial_detection.py,sha256=KYP8jJb7QDeusAxFdX5NAML_H0NL5wLgMeBWDQmNqfU,6086
 invar/core/utils.py,sha256=4ani-6XcWF__sD0c_tKcCA2FunaF2pYIfvR5BACWkDg,14168
 invar/core/verification_routing.py,sha256=_jXi1txFCcUdnB3-Yavtuyk8N-XhEO_Vu_051Vuz27Y,5020
+invar/core/patterns/__init__.py,sha256=79a3ucN0BI54RnIOe49lngKASpADygs1hll9ROCrP6s,1429
+invar/core/patterns/detector.py,sha256=lZ2HPtDJDiGps8Y3e7jds3naZa1oGqDDscHRSX5Vv0s,8297
+invar/core/patterns/p0_exhaustive.py,sha256=yK51l4VkriOUA6i6ujeNY3SDlogArVSW2SqtnAaMl0Y,6905
+invar/core/patterns/p0_literal.py,sha256=eazGzNvTpDSeuZJZg9H4_1vukXREKO9GgzCQUSqAKVc,10705
+invar/core/patterns/p0_newtype.py,sha256=T9T6vxgtRXrt2Ym_KNWuHeLNOUKFoMfqu7oE1IUAhCo,7562
+invar/core/patterns/p0_nonempty.py,sha256=H5SXU0XNaW4H_gTw0NFN4cXckbPyTqAUl1KgGvVX9uM,10681
+invar/core/patterns/p0_validation.py,sha256=AuPI7j2MRqBulXPCnAGVbPO2p1DVPjrM1avrIrgyCwQ,9563
+invar/core/patterns/registry.py,sha256=XuwRBPnV5-5uMFsn66pjZV-qDkIVZezt3YH540Gi8Qs,7422
+invar/core/patterns/types.py,sha256=d5wqYJUVF3PHYL5lv6DZnB3PWcZ_MWn7q3-PxrToAEc,5385
 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/mcp/server.py,sha256=ay-w2YfSa1kTmBFx3x3jEgmNRC3NFEW0EYuZRt7M39w,12244
 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/contract_coverage.py,sha256=2RiXC9RBV__cKLHu0KKOWRxEgYVQNNAPAdwBjYenNHQ,11780
 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/guard_output.py,sha256=WrbIjy9wZ3TVAP79PMYTPwthT-_9DwmnfS3lpfeaq2M,12101
 invar/shell/mcp_config.py,sha256=-hC7Y5BGuVs285b6gBARk7ZyzVxHwPgXSyt_GoN0jfs,4580
 invar/shell/mutation.py,sha256=Lfyk2b8j8-hxAq-iwAgQeOhr7Ci6c5tRF1TXe3CxQCs,8914
+invar/shell/pattern_integration.py,sha256=pRcjfq3NvMW_tvQCnaXZnD1k5AVEWK8CYOE2jN6VTro,7842
 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=FGrHtVCUNF6K6KHrJquI9vyET0zyDkVy5ND1mAeY6NE,15934
-invar/shell/testing.py,sha256=PTrrCB0nIARuDQa_XREoRzbnqjXxju1l9Eb83pivH6c,10634
+invar/shell/templates.py,sha256=l2En95E8jRVlojdQIqdZgRLVB43f_b1d_AJapKkozwA,15908
+invar/shell/testing.py,sha256=rTNBH0Okh2qtG9ohSXOz487baQ2gXrWT3s_WECW3HJs,11143
 invar/shell/commands/__init__.py,sha256=MEkKwVyjI9DmkvBpJcuumXo2Pg_FFkfEr-Rr3nrAt7A,284
-invar/shell/commands/guard.py,sha256=aYqOhxclt_oF93TcSGN1zaB4RUsSQjMUYxfBw2QmqoM,18038
+invar/shell/commands/guard.py,sha256=eKDfOcksRM4Zg0eybi5u93cXJ42OBR3ts0um5tCB5lA,20590
 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
@@ -75,7 +87,7 @@ invar/templates/pre-commit-config.yaml.template,sha256=2qWY3E8iDUqi85jE_X7y0atE8
 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=tdGkWHkx4Xn7d02QQX0J_LN1p13VsvrUNYI_nLYanRE,6766
+invar/templates/config/CLAUDE.md.jinja,sha256=788jlWOcSOS7xOEpTFr9H7OKYvEMmyJnDQ-oE4AG8r0,6855
 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
@@ -89,14 +101,14 @@ invar/templates/hooks/Stop.sh.jinja,sha256=3S6lLeAGIu5aPQVRz4jjFS9AfjCD9DdS_jagm
 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/develop/SKILL.md.jinja,sha256=09zKj8eTDi47boDzooEE5cBwnV3TiXy8k7Zfs9enrx4,10482
 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.3.dist-info/METADATA,sha256=7J4ObYiknfXS8WfRCoV3_l0flx90vSsVsD7KDc3w2NQ,16695
-invar_tools-1.3.3.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.3.3.dist-info/entry_points.txt,sha256=xjkp8_Kipb6KJR6VNfkAEqiOpvrwUnwUG53cegBA6pQ,57
-invar_tools-1.3.3.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.3.3.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.3.3.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.3.3.dist-info/RECORD,,
+invar/templates/skills/review/SKILL.md.jinja,sha256=e7HULz1jjLOlk2LYejQMk2F-cu7dDIwvh6lWNjx3j-Q,14123
+invar_tools-1.5.0.dist-info/METADATA,sha256=0hzwMUBWAjfGOQc9SbF-9YxZwoaNf4R6TLUbjlIU7po,16964
+invar_tools-1.5.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
+invar_tools-1.5.0.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
+invar_tools-1.5.0.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
+invar_tools-1.5.0.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
+invar_tools-1.5.0.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
+invar_tools-1.5.0.dist-info/RECORD,,

{invar_tools-1.3.3.dist-info → invar_tools-1.5.0.dist-info}/entry_points.txt

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