invar-tools 1.11.0__py3-none-any.whl → 1.14.0__py3-none-any.whl

invar/templates/skills/invar-reflect/template.md

@@ -0,0 +1,343 @@
+# Invar Usage Feedback - 2026-01-03
+
+**Sessions**: 3 sessions today
+**Total Duration**: 7.5 hours
+**Total Messages**: 107
+
+---
+
+## Session Timeline
+
+### Session 1: 08:30-11:30 (Implement Authentication)
+**Messages**: 40 | **Duration**: 3h
+
+Implemented JWT authentication for API endpoints. Main challenge was understanding Core/Shell separation for token validation logic.
+
+### Session 2: 13:00-15:30 (Add Tests)
+**Messages**: 35 | **Duration**: 2.5h
+
+Added comprehensive test suite with doctests and property tests. Guard verification took longer than expected due to CrossHair timeout issues.
+
+### Session 3: 16:00-18:00 (Fix Bugs)
+**Messages**: 32 | **Duration**: 2h
+
+Fixed edge cases found in code review. Learning curve improved - fewer contract syntax errors.
+
+---
+
+## 📊 Tool Usage Statistics
+
+| Tool | Calls | Success | Failure | Success Rate |
+|------|-------|---------|---------|--------------|
+| invar_guard | 12 | 10 | 2 | 83.3% |
+| invar_sig | 18 | 18 | 0 | 100% |
+| invar_map | 5 | 5 | 0 | 100% |
+| invar_refs | 3 | 2 | 1 | 66.7% |
+
+**Total**: 38 tool calls, 35 successful (92.1% success rate)
+
+---
+
+## 😫 Aggregated Pain Points
+
+### P1: [Critical] Guard Performance Issues
+
+**First seen**: Session 1 (08:30)
+**Last seen**: Session 3 (16:45)
+**Total occurrences**: 12 times across 3 sessions
+
+**Session breakdown**:
+- Session 1: 4 times → "Takes 5 minutes to run"
+- Session 2: 5 times → "Timeout on CrossHair verification"
+- Session 3: 3 times → "Still slow even with --changed"
+
+**Context**:
+Project has 500+ Python files. Guard takes 3-5 minutes even with `--changed` flag. CrossHair verification frequently times out on complex contract conditions.
+
+**Evolution**:
+> Session 1: "5 minutes breaks my flow, totally blocking"
+> Session 3: "Found workaround but still annoying"
+
+**Current status**: Unresolved, workaround reduces impact
+
+**Workaround**:
+```bash
+invar guard --changed --skip-crosshair  # First pass
+invar guard src/core/critical.py        # Manual targeted check
+```
+
+**Suggested Improvement**:
+- Add incremental verification mode (only changed functions + callers)
+- Show progress bar with ETA during long runs
+- Allow cancellation with partial results
+- Consider caching CrossHair results for unchanged functions
+
+---
+
+### P2: [High] Contract Syntax Confusion
+
+**First seen**: Session 1 (08:45)
+**Last seen**: Session 2 (14:20)
+**Total occurrences**: 7 times across 2 sessions
+
+**Session breakdown**:
+- Session 1: 5 errors → Learning phase
+- Session 2: 2 errors → Improving
+- Session 3: 0 errors → Learned! ✓
+
+**Context**:
+Confusion about lambda parameter requirements in `@pre`/`@post` decorators. Error messages didn't clearly explain that lambda must include ALL parameters including defaults.
+
+**What I tried** (wrong):
+```python
+@pre(lambda x: x >= 0)  # Missing y parameter!
+def calc(x: int, y: int = 0):
+    ...
+```
+
+**What worked**:
+```python
+@pre(lambda x, y=0: x >= 0)  # Include defaults
+def calc(x: int, y: int = 0):
+    ...
+```
+
+**Evolution**: **RESOLVED** through practice and better error messages in latest Guard version
+
+**Suggested Improvement**:
+- Show example in error message: "Did you forget parameters? Try: @pre(lambda x, y=0: ...)"
+- Add to INVAR.md Critical Rules with prominent placement
+
+---
+
+### P3: [Medium] Core/Shell Decision Unclear
+
+**First seen**: Session 1 (09:15)
+**Last seen**: Session 3 (17:00)
+**Total occurrences**: 5 times across 3 sessions
+
+**Session breakdown**:
+- Session 1: 3 decisions, ~15 min each → Re-read docs multiple times
+- Session 2: 1 decision, ~5 min → Pattern becoming clearer
+- Session 3: 1 decision, ~2 min → Faster decisions
+
+**Context**:
+Edge cases not covered in documentation:
+- Function accepting `Path` parameter but not reading it
+- Functions using `datetime.now()` or `random`
+- Logging/stderr output
+
+**Decision Pattern**:
+| Function | My Guess | Actual | Time Spent |
+|----------|----------|--------|------------|
+| validate_path(p: Path) | Core? | Core ✓ | 5 min |
+| read_config(p: Path) | Shell | Shell ✓ | 2 min |
+| log_error(msg: str) | ??? | Shell | 15 min (re-read docs) |
+| format_timestamp(dt) | Core? | Core ✓ | 3 min |
+
+**Current status**: Ongoing learning, improving with experience
+
+**Suggested Improvement**:
+- Decision flowchart in INVAR.md
+- More edge case examples in `.invar/examples/core_shell.py`
+- Guard could hint: "This looks like Shell (uses logging)"
+
+---
+
+## ✅ What Worked Well
+
+### 1. `invar_sig` for quick contract lookup
+
+**Usage**: 18 times (most used tool)
+**Success**: 100%
+
+**Why it worked**:
+- Instant feedback - no need to read full file
+- Clear output format - contracts highlighted
+- Fast - <1s response time
+
+**Typical workflow**:
+```bash
+invar sig src/core/parser.py  # See all contracts
+# Spot the function I need
+# Copy contract pattern
+```
+
+**User experience**:
+> "This is my go-to tool. Saves tons of time vs opening files. I now check contracts before writing any Core function."
+
+---
+
+### 2. Guard auto-fix suggestions
+
+**Fixed automatically**: 5 issues
+- 3x `missing_contract` → Guard suggested contracts based on type signatures
+- 2x `redundant_type_contract` → Guard explained semantic constraint needed
+
+**User experience**:
+> "When Guard suggests fixes, I learn the pattern. By the 3rd similar error, I stopped making that mistake. The suggestions are educational, not just fixes."
+
+---
+
+### 3. Contract-first workflow (USBV)
+
+**Followed**: Understand → Specify → Build → Validate
+**Result**: 0 contract violations caught by CrossHair in Session 3
+
+**User experience**:
+> "Writing contracts before code felt slow at first (Session 1), but by Session 3, Guard caught zero violations. Saved debugging time. The upfront investment paid off."
+
+---
+
+## 🤔 Confusion Points
+
+### 1. @post cannot access parameters
+
+**What I tried** (wrong):
+```python
+@pre(lambda x: x > 0)
+@post(lambda result: result > x)  # ERROR: 'x' not available!
+def double(x: int) -> int:
+    return x * 2
+```
+
+**Error**:
+```
+NameError: name 'x' is not defined
+```
+
+**What worked**:
+```python
+@pre(lambda x: x > 0)
+@post(lambda result: result >= 0)  # Only access 'result'
+def double(x: int) -> int:
+    return x * 2
+```
+
+**Gap**: CLAUDE.md "Contract Rules" section mentions this, but I skimmed it and missed the detail. Could be more prominent.
+
+---
+
+### 2. Deal vs invar_runtime contracts
+
+**Confusion**: When to use `from deal import pre` vs `from invar_runtime import pre`?
+
+**What I learned** (after trial and error):
+- `deal.pre` → Lambda-based contracts: `@pre(lambda x: x > 0)`
+- `invar_runtime.pre` → Pre-built contract objects: `@pre(NonEmpty())`
+
+**Gap**: This distinction not explained in INVAR.md "Critical Rules" section. Found it in examples after searching.
+
+---
+
+## 🔄 Workarounds Used
+
+| Issue | Workaround | Frequency |
+|-------|------------|-----------|
+| Guard timeout | `--changed` + manual spot checks | 12 times |
+| Core/Shell confusion | Copy from examples instead of thinking | 5 times |
+| Contract syntax | Copy-paste from `.invar/examples/` | 7 times (Sessions 1-2) |
+
+---
+
+## 💡 Improvement Suggestions
+
+### High Priority
+
+1. **Incremental Guard mode**
+   - Problem: Full project scan too slow (3-5 minutes)
+   - Solution: Only verify changed functions + their callers
+   - Benefit: 10x speedup for iterative development
+
+2. **Contextual error messages**
+   - Problem: Errors say WHAT but not HOW
+   - Solution: Include example link + fix hint in error
+   - Benefit: Reduce "search for examples" friction
+
+3. **Core/Shell decision tree**
+   - Problem: Edge cases unclear
+   - Solution: Flowchart in INVAR.md + more examples
+   - Benefit: Faster decisions, less re-reading
+
+### Medium Priority
+
+4. **Interactive tutorial for first-time users**
+   - Problem: Learning curve steep (Session 1 had 5 contract errors)
+   - Solution: `invar tutorial` command with guided examples
+   - Benefit: Faster onboarding
+
+5. **Guard progress indicator**
+   - Problem: No feedback during long runs (anxiety-inducing)
+   - Solution: Show "Checking file 45/120..." with ETA
+   - Benefit: Less anxiety, can estimate wait time
+
+6. **Contract snippet library**
+   - Problem: Repetitive contract patterns (e.g., "non-empty string")
+   - Solution: `invar snippet list` with common patterns
+   - Benefit: Copy-paste correct patterns quickly
+
+### Low Priority
+
+7. **Guard performance dashboard**
+   - Problem: Can't see what's slow
+   - Solution: `--profile` flag showing time per rule/file
+   - Benefit: Optimize workflow, identify bottlenecks
+
+---
+
+## 📈 Daily Summary
+
+### High-Frequency Issues (Top 3)
+1. **Guard performance** - 12 occurrences, still blocking
+2. **Contract syntax** - 7 occurrences, now resolved ✓
+3. **Core/Shell decision** - 5 occurrences, ongoing learning
+
+### Learning Progress
+| Issue | Session 1 | Session 2 | Session 3 | Trend |
+|-------|-----------|-----------|-----------|-------|
+| Contract syntax | 5 errors | 2 errors | 0 errors | ✅ Learned |
+| Core/Shell | Confused (15 min) | Still unsure (5 min) | Clearer (2 min) | 📈 Improving |
+| Guard usage | Blocked | Found workaround | Using workaround | ⚠️ Not fixed |
+
+### Sentiment Evolution
+- **Morning (Session 1)**: Frustrated (Guard blocks progress, contract errors)
+- **Afternoon (Session 2)**: Adapting (workarounds found, fewer errors)
+- **Evening (Session 3)**: Productive (main friction remains but manageable)
+
+---
+
+## 🎯 Session Success Metrics
+
+| Metric | Value | Assessment |
+|--------|-------|------------|
+| Task completed | ✅ Yes | Success |
+| Guard final pass | ✅ 0 errors | Success |
+| Time to first Guard pass | 2.5 hours | Could be faster |
+| Stuck on Invar issues | ~45 min total | Acceptable |
+| Would recommend Invar | ✅ Yes | Positive overall |
+
+---
+
+## 📝 Additional Notes
+
+- First time using `invar refs` - worked great for finding TypeScript symbol usage
+- Didn't use `invar map` much this session - not sure when it's better than `invar sig`
+- Skill system (`/develop`, `/review`) works smoothly - no issues
+- USBV workflow feels natural by Session 3 - initial friction worth it
+
+---
+
+## 🔒 Privacy Notice
+
+This feedback document is stored locally in `.invar/feedback/`.
+You control what (if anything) to share with Invar maintainers.
+
+**To share feedback**:
+1. Review this document
+2. Remove any sensitive project details
+3. Submit via GitHub issue or email to invar-maintainers@example.com
+
+---
+
+*Generated by `/invar-reflect` v1.0*
+*Last updated: 2026-01-03 18:15*

{invar_tools-1.11.0.dist-info → invar_tools-1.14.0.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: invar-tools
-Version: 1.11.0
+Version: 1.14.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: jedi>=0.19
 Requires-Dist: jinja2>=3.0
 Requires-Dist: markdown-it-py>=3.0
 Requires-Dist: mcp>=1.0
@@ -146,7 +147,19 @@ Guard passed.
 
 ## 🚀 Quick Start
 
-> **Language Support:** Python (full), TypeScript (verification via Zod contracts).
+### Tool × Language Support
+
+| Tool | Python | TypeScript | Notes |
+|------|--------|------------|-------|
+| `invar guard` | ✅ Full | ⚠️ Partial | TS: tsc + eslint + vitest |
+| `invar sig` | ✅ Full | ✅ Full | TS: TS Compiler API |
+| `invar map` | ✅ Full | ✅ Full | TS: With reference counts |
+| `invar refs` | ✅ Full | ✅ Full | Cross-file reference finding |
+| `invar doc *` | ✅ Full | ✅ Full | Language-agnostic |
+
+**TypeScript Notes:**
+- Requires Node.js + TypeScript (most TS projects have these)
+- Falls back to regex parser if Node.js unavailable
 
 ### 📦 Two Packages, Different Purposes
 
@@ -303,14 +316,17 @@ function average(items: number[]): number {
 
 ### ✅ Solution 2: Multi-Layer Verification
 
-Guard provides fast feedback. Agent sees errors, fixes immediately:
+Guard provides fast feedback **on top of standard type checking**. Agent sees errors, fixes immediately:
 
 | Layer | Tool | Speed | What It Catches |
 |-------|------|-------|-----------------|
+| **Type Check*** | mypy (Python) / tsc (TypeScript) | ~1s | Type errors, missing annotations |
 | **Static** | Guard rules | ~0.5s | Architecture violations, missing contracts |
-| **Doctest** | pytest | ~2s | Example correctness |
-| **Property** | Hypothesis | ~10s | Edge cases via random inputs |
-| **Symbolic** | CrossHair | ~30s | Mathematical proof of contracts |
+| **Doctest** | pytest / vitest | ~2s | Example correctness |
+| **Property** | Hypothesis / fast-check | ~10s | Edge cases via random inputs |
+| **Symbolic** | CrossHair / (TS: N/A) | ~30s | Mathematical proof of contracts |
+
+<sup>* Requires separate installation: `pip install mypy` or configure TypeScript in your project</sup>
 
 ```
 ┌──────────┐   ┌───────────┐   ┌───────────┐   ┌────────────┐
@@ -525,7 +541,7 @@ Cursor users get full verification via MCP:
 |----------------|---------|----------|
 | `INVAR.md` | Protocol for AI agents | Required |
 | `.invar/` | Config, context, examples | Required |
-| `.pre-commit-config.yaml` | Verification before commit | Optional |
+| `.pre-commit-config.yaml` | Verification before commit (Ruff, mypy*, Guard) | Optional |
 | `src/core/`, `src/shell/` | Recommended structure | Optional |
 | `CLAUDE.md` | Agent instructions | Claude Code |
 | `.claude/skills/` | Workflow + extension skills | Claude Code |
@@ -534,6 +550,8 @@ Cursor users get full verification via MCP:
 | `.mcp.json` | MCP server config | Claude Code |
 | `AGENT.md` | Universal agent instructions | Other agents |
 
+<sup>* mypy hook included in `.pre-commit-config.yaml` but requires: `pip install mypy`</sup>
+
 **Note:** If `pyproject.toml` exists, Guard configuration goes there as `[tool.invar.guard]` instead of `.invar/config.toml`.
 
 **Recommended structure:**

{invar_tools-1.11.0.dist-info → invar_tools-1.14.0.dist-info}/RECORD

@@ -6,6 +6,7 @@ invar/core/doc_edit.py,sha256=kLBkSQMFiXKdZMlQYAy-pzld1f1p2UFKGpKVVJo8Nes,6690
 invar/core/doc_parser.py,sha256=yzZKzgr9myUiiRGtRidT2tubrs4-omtGlTwbUkSKhoM,18197
 invar/core/entry_points.py,sha256=1p6GRGTp9kA9spNkGKidFLlzLPheh6JO2XFb68Cr0sE,12209
 invar/core/extraction.py,sha256=mScqEMEEQdsd-Z0jx9g3scK6Z1vI9l-ESjggXPIWHZ4,6112
+invar/core/feedback.py,sha256=JhQf32y_Qutza8D2b5qX2U4fM--vtR3sBdV22KrVNY0,3246
 invar/core/format_specs.py,sha256=P299aRHFMXyow8STwsvaT6Bg2ALPs2wSy7SByiRZZ-A,5610
 invar/core/format_strategies.py,sha256=LifL97JbsF8WEkVNmQpq2htyFUC3pW21myAjtRGpSxU,5774
 invar/core/formatter.py,sha256=rCGZhMpl4dPLrztgKDkNtAvnv2vKfomyIHl_6fThuno,11293
@@ -49,15 +50,16 @@ invar/core/patterns/registry.py,sha256=2rz0wWDRarMkuHN-qM_ZrT3qeGFDSKMABvRvPNZxQ
 invar/core/patterns/types.py,sha256=ULAlWuAdmO6CFcEDjTrWBfzNTBsnomAl2d25tR11ihU,5506
 invar/mcp/__init__.py,sha256=n3S7QwMjSMqOMT8cI2jf9E0yZPjKmBOJyIYhq4WZ8TQ,226
 invar/mcp/__main__.py,sha256=ZcIT2U6xUyGOWucl4jq422BDE3lRLjqyxb9pFylRBdk,219
-invar/mcp/handlers.py,sha256=usPgYvNLB3nE1G8gkA3LtKKNQ4k_eXQEr4GueA-8NSw,14939
-invar/mcp/server.py,sha256=nDEHhF-eDkyNOX-y-wsZDa6Ed2nvjk5HtIC9SIbi7z0,18491
+invar/mcp/handlers.py,sha256=b0LRWKMpu6lnjPV7SozH0cxKYJufVWy3eJhiAu3of-M,15947
+invar/mcp/server.py,sha256=WmVNs2_AcOMbmp3tEgWR57hjqqJkMx3nV3z9fcNuSAA,20109
 invar/node_tools/MANIFEST,sha256=UwtO2AsQ-0UwskG6ZkE2kXqz_hdp-gzRTyp32-X22Mc,131
 invar/node_tools/__init__.py,sha256=HzILh3jtP28Lm2jZwss1SY65ECxbtw2J2uFpXQA6Y94,1740
+invar/node_tools/ts-query.js,sha256=fEc_f0JT_Mb18dEoA4_vJoazvd7Lqv_rsed4eHSAbCg,13303
 invar/node_tools/fc-runner/cli.js,sha256=72_gIhvnx2peKITdzdnFWI5fzGaNTS3BcEqyS628cI0,243277
 invar/node_tools/quick-check/cli.js,sha256=dwV3hdJleFQga2cKUn3PPfQDvvujhzKdjQcIvWsKgM0,66196
 invar/node_tools/ts-analyzer/cli.js,sha256=SvZ6HyjmobpP8NAZqXFiy8BwH_t5Hb17Ytar_18udaQ,4092887
 invar/shell/__init__.py,sha256=FFw1mNbh_97PeKPcHIqQpQ7mw-JoIvyLM1yOdxLw5uk,204
-invar/shell/claude_hooks.py,sha256=I_2VEepwS0kW55lW7U--FPwpuJq5hAXECcyYCd9D-jM,17360
+invar/shell/claude_hooks.py,sha256=hV4DfG3cVng32f0Rxoo070tliVlYFC5v9slIWEbAD7E,18899
 invar/shell/config.py,sha256=6-kbo6--SxfROXoyU-v7InSLR8f_U1Mar_xEOdCXFkY,17633
 invar/shell/contract_coverage.py,sha256=81OQkQqUVYUKytG5aiJyRK62gwh9UzbSG926vkvFTc8,12088
 invar/shell/coverage.py,sha256=m01o898IFIdBztEBQLwwL1Vt5PWrpUntO4lv4nWEkls,11344
@@ -71,19 +73,22 @@ invar/shell/mutation.py,sha256=Lfyk2b8j8-hxAq-iwAgQeOhr7Ci6c5tRF1TXe3CxQCs,8914
 invar/shell/pattern_integration.py,sha256=pRcjfq3NvMW_tvQCnaXZnD1k5AVEWK8CYOE2jN6VTro,7842
 invar/shell/pi_hooks.py,sha256=ulZc1sP8mTRJTBsjwFHQzUgg-h8ajRIMp7iF1Y4UUtw,6885
 invar/shell/property_tests.py,sha256=N9JreyH5PqR89oF5yLcX7ZAV-Koyg5BKo-J05-GUPsA,9109
+invar/shell/py_refs.py,sha256=Vjz50lmt9prDBcBv4nkkODdiJ7_DKu5zO4UPZBjAfmM,4638
 invar/shell/skill_manager.py,sha256=Mr7Mh9rxPSKSAOTJCAM5ZHiG5nfUf6KQVCuD4LBNHSI,12440
 invar/shell/subprocess_env.py,sha256=9oXl3eMEbzLsFEgMHqobEw6oW_wV0qMEP7pklwm58Pw,11453
 invar/shell/template_engine.py,sha256=eNKMz7R8g9Xp3_1TGx-QH137jf52E0u3KaVcnotu1Tg,12056
 invar/shell/templates.py,sha256=31f5ieoGeWU0qqfLJUMWnz0yyLa1FBc_sOz6UGzToqk,13884
 invar/shell/testing.py,sha256=rTNBH0Okh2qtG9ohSXOz487baQ2gXrWT3s_WECW3HJs,11143
+invar/shell/ts_compiler.py,sha256=nA8brnOhThj9J_J3vAEGjDsM4NjbWQ_eX8Yf4pHPOgk,6672
 invar/shell/commands/__init__.py,sha256=MEkKwVyjI9DmkvBpJcuumXo2Pg_FFkfEr-Rr3nrAt7A,284
 invar/shell/commands/doc.py,sha256=SOLDoCXXGxx_JU0PKXlAIGEF36PzconHmmAtL-rM6D4,13819
-invar/shell/commands/guard.py,sha256=-QYR2wc-KjD6VL9tb9Ih6gr5LFX-H7_H843TX5qR5wk,23686
+invar/shell/commands/feedback.py,sha256=lLxEeWW_71US_vlmorFrGXS8IARB9nbV6D0zruLs660,7640
+invar/shell/commands/guard.py,sha256=xTQ8cPp-x1xMCtufKxmMNUSpIpH31uUjziAB8ifCnC0,24837
 invar/shell/commands/hooks.py,sha256=W-SOnT4VQyUvXwipozkJwgEYfiOJGz7wksrbcdWegUg,2356
-invar/shell/commands/init.py,sha256=-FZTYTwJr_NRoluAM4YwcseNju56GSxtnKVkqsXREPg,20461
+invar/shell/commands/init.py,sha256=bYrQWkDXGKEqncLgCFicSRt6LAmA34XyBFJ31kip-1Q,22564
 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=MDJvjLcrT7ZjhT4L1zjaMoQpjQaHe9qNWHdy-7yECrQ,8524
+invar/shell/commands/perception.py,sha256=HewSv6Kv8Gw2UQqkGY2rP5YKlnwyC3LBrQ2hFVXXw30,19304
 invar/shell/commands/skill.py,sha256=oKVyaxQ_LK28FpJhRpBDpXcpRdUBK3n6rC0qD77ax1M,5803
 invar/shell/commands/sync_self.py,sha256=nmqBry7V2_enKwy2zzHg8UoedZNicLe3yKDhjmBeZ68,3880
 invar/shell/commands/template_sync.py,sha256=aNWyFPMFT7pSwHrvwGCqcKAwb4dp7S9tvZzy9H4gAnw,16094
@@ -99,7 +104,7 @@ invar/shell/prove/hypothesis.py,sha256=QUclOOUg_VB6wbmHw8O2EPiL5qBOeBRqQeM04AVuL
 invar/templates/CLAUDE.md.template,sha256=eaGU3SyRO_NEifw5b26k3srgQH4jyeujjCJ-HbM36_w,4913
 invar/templates/__init__.py,sha256=cb3ht8KPK5oBn5oG6HsTznujmo9WriJ_P--fVxJwycc,45
 invar/templates/context.md.template,sha256=FKyI1ghpqcf4wftyv9-auIFHor8Nm8lETN45Ja-L8Og,2386
-invar/templates/manifest.toml,sha256=UzLXcLPrRq9-99wdEMEGAHo_YWMordyDLjLhgkJPeZE,4500
+invar/templates/manifest.toml,sha256=2S_pmyH4bcsJEeSbrIJVfkso4mPu5wHDHgy48uTzyK0,4981
 invar/templates/proposal.md.template,sha256=UP7SpQ7gk8jVlHGLQCSQ5c-kCj1DBQEz8M-vEStK77I,1573
 invar/templates/claude-md/python/critical-rules.md,sha256=Pkw6ZXFtAN2WGOeTD0CwkB_T73fd66NGzdOFM0wn-80,895
 invar/templates/claude-md/python/quick-reference.md,sha256=ttd0TwgyIY0qt6qbeaCn4GO0e2OKedFLQE3yG32SlrA,672
@@ -107,11 +112,12 @@ invar/templates/claude-md/typescript/critical-rules.md,sha256=wC8EsPMR6R5sEAi6a3
 invar/templates/claude-md/typescript/quick-reference.md,sha256=JtuUOrExY3TURZwc8vZA0t83etYL6ci1d7AqjUkUM3U,695
 invar/templates/claude-md/universal/check-in.md,sha256=EUlpig5Cp0MRctlx7U49Ia7lEHkZriFXWj4-qHkDmTU,616
 invar/templates/claude-md/universal/skills.md,sha256=O0JgCQNzUTEGAsGYTZg0HoBTffn-pRxQV6iso4MTUuc,2584
+invar/templates/claude-md/universal/tool-selection.md,sha256=QJcxDmXE6atiRU3d-Autm3q5gOedBumG_foikcIiG8o,3707
 invar/templates/claude-md/universal/workflow.md,sha256=MatlbihubRg9zAjjuR331PSJ9xwMCusUVfbc86YEVoE,1966
 invar/templates/commands/audit.md.jinja,sha256=Gwh3LNNcNWHzsOC7chYYg5ym8BxWTjySain3qPOs8pM,4817
 invar/templates/commands/guard.md,sha256=N_C_AXd9kI85W1B0aTEycjiDp_jdaP8eeq8O0FQ_WQ8,1227
 invar/templates/config/AGENT.md.jinja,sha256=tBIK5kZ7hjWgABU96Yq5_w3gNw_F31gQ19h4u1MLY4o,7037
-invar/templates/config/CLAUDE.md.jinja,sha256=-cnl2yU3n4xP3nACEvmk2DK7ptniymQrS3eBUnGAj34,1737
+invar/templates/config/CLAUDE.md.jinja,sha256=Mr3Q6B5ojczLlHmxLO8xnoHNDS2oqWoswdMi69X_oHc,1792
 invar/templates/config/context.md.jinja,sha256=BZnqBg_CXz3QFiCc8rfG8Kav_BGaGmSqxATKMliMA7k,3911
 invar/templates/config/pre-commit.yaml.jinja,sha256=nUPxLxkTHAgZwhFAuOMDbZ8v0NQV9FlQPbr2MDEOsoA,1778
 invar/templates/examples/python/README.md,sha256=mBsWKgQOF_PMQ_rf91TTjAEHpwfnb8Bb3x80D82bNZE,703
@@ -124,6 +130,7 @@ invar/templates/examples/typescript/README.md,sha256=I6kVTJAk6wqb21eC09hyOZXRP74
 invar/templates/examples/typescript/contracts.ts,sha256=X6EeNUAurw9MHJlHPDos_JtnScMu2aDMSkveIaA4wHs,4597
 invar/templates/examples/typescript/core_shell.ts,sha256=VuPl0xmn_s6pA7ZJtq0zNjXzK_DRmq3LexwTS8MEqnQ,11267
 invar/templates/examples/typescript/functional.ts,sha256=bQHfl0EYDC_RziRQLJBgPNBGhWBBO7SVSVchqBJUetM,17347
+invar/templates/examples/typescript/patterns.md,sha256=rlZ6IOC8iYUQzIXaW7fUf95OQbeWPWSjQXDDJNoU05E,4859
 invar/templates/examples/typescript/workflow.md,sha256=5byADjA3WgOgiDbkEtVRKKGvlhvu3EbFCzqEg9lEV7k,2764
 invar/templates/hooks/PostToolUse.sh.jinja,sha256=JHJGMdF3xp2qEqkPC9GaLp0NCa5gdRzqAmgRy4IldBg,3428
 invar/templates/hooks/PreToolUse.sh.jinja,sha256=tZb-FGFxOBtTprUfeChau7rZOMPII69_5HSF-i_WD4Q,3558
@@ -139,12 +146,12 @@ invar/templates/protocol/INVAR.md.jinja,sha256=t2ZIQZJvzDTJMrRw_ijUo6ScZmeNK0-nV
 invar/templates/protocol/python/architecture-examples.md,sha256=O96LH9WFpk7G9MrhSbifLS5pyibTIDG-_EGFF7g3V4M,1175
 invar/templates/protocol/python/contracts-syntax.md,sha256=Q6supTQ3tChVrlN7xhcdb3Q8VGIESxQLA-mQvrNIZmo,1162
 invar/templates/protocol/python/markers.md,sha256=fzltCKbdPVz_vCuJFiQ9pbRPztvpMJpSf_4aFHcXFLM,1223
-invar/templates/protocol/python/tools.md,sha256=LBFh-6vW-MMbyxU3qYr9m7edqKELUKsfPcICZ5S76yU,896
+invar/templates/protocol/python/tools.md,sha256=RULbZhisRxNI1oTxYzhWI3NTVyKNukrkQbwR5XWQt2Y,1043
 invar/templates/protocol/python/troubleshooting.md,sha256=-JHLUOxvfQeSrLpqKrxUXQ5UrkW44AHFr3LGHwxnw7w,1081
 invar/templates/protocol/typescript/architecture-examples.md,sha256=Dej-DI6OqRVsbzjukjOqdO8WEz0aT-1iwYqrah2B_xk,1454
 invar/templates/protocol/typescript/contracts-syntax.md,sha256=yKyM6WhyF5p-bt-RqD5SI4ZZudE7bLLFTAMzVSa74QE,1610
 invar/templates/protocol/typescript/markers.md,sha256=8mHzYfBlQ2baeQSV2e7uY2p6_EW1rwKVjToTLiQwUrQ,1536
-invar/templates/protocol/typescript/tools.md,sha256=S_LG-o2X8fAudAcWYV41doIMYoFXUKyFvcff0keF_CI,1537
+invar/templates/protocol/typescript/tools.md,sha256=c0xu0n15iFcNAET8wOqKdcgG2n_OC0hP4xE7rZaFDI0,1691
 invar/templates/protocol/typescript/troubleshooting.md,sha256=kHx4Ykfgv6S1OXMmLZ3jMft6aqy60c9ODEhfs5kcybo,2588
 invar/templates/protocol/universal/architecture.md,sha256=WT6wL0VDPD4n8yXBQEOXXnzh2IkK18oOt76lZelN3As,1379
 invar/templates/protocol/universal/completion.md,sha256=bFo8-Npa7vb1efQLgOdGDSWnho45f0BBxvaD8awFLus,425
@@ -166,13 +173,16 @@ invar/templates/skills/extensions/security/SKILL.md,sha256=5mLwf4JP82Wq1vKkDIJwi
 invar/templates/skills/extensions/security/patterns/_common.yaml,sha256=75BvSABWUtO1VXFvdsMgqi86J1759T4ROhYYcizSygQ,3680
 invar/templates/skills/extensions/security/patterns/python.yaml,sha256=osyR8mWiyjW6tWjZA7QZfBIiim7XqgBYnrE45ktDx50,4658
 invar/templates/skills/extensions/security/patterns/typescript.yaml,sha256=qDEg-sxSE63Bis2IZG1y4L8m8g2ZYkC29o6t-J_LmUo,5508
+invar/templates/skills/invar-reflect/CONFIG.md,sha256=xBiKEy0TnoXNxqn55_GpkNGgmXoUg65RXwb_RdF-eGk,9291
+invar/templates/skills/invar-reflect/SKILL.md,sha256=z0Nyh9JasZr70XhE9Es7IslxL3C8wH2lf8RewQi4Lbs,11285
+invar/templates/skills/invar-reflect/template.md,sha256=Rr5hvbllvmd8jSLf_0ZjyKt6KOod0RlNdCtZJ3lYjiM,10470
 invar/templates/skills/investigate/SKILL.md.jinja,sha256=cp6TBEixBYh1rLeeHOR1yqEnFqv1NZYePORMnavLkQI,3231
 invar/templates/skills/propose/SKILL.md.jinja,sha256=6BuKiCqO1AEu3VtzMHy1QWGqr_xqG9eJlhbsKT4jev4,3463
 invar/templates/skills/review/SKILL.md.jinja,sha256=ET5mbdSe_eKgJbi2LbgFC-z1aviKcHOBw7J5Q28fr4U,14105
-invar_tools-1.11.0.dist-info/METADATA,sha256=ZqSNbqNPK1MeTHJ-dEOEqR1HCJfJeDrMIkalsjef59w,27504
-invar_tools-1.11.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.11.0.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
-invar_tools-1.11.0.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.11.0.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.11.0.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.11.0.dist-info/RECORD,,
+invar_tools-1.14.0.dist-info/METADATA,sha256=1cKRlX8XrRzgAVc_9EJeCzXWrDBAUFooA8tSIktfclk,28409
+invar_tools-1.14.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
+invar_tools-1.14.0.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
+invar_tools-1.14.0.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
+invar_tools-1.14.0.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
+invar_tools-1.14.0.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
+invar_tools-1.14.0.dist-info/RECORD,,