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

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: invar-tools
-Version: 1.8.0
+Version: 1.11.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
@@ -25,6 +25,7 @@ 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: markdown-it-py>=3.0
 Requires-Dist: mcp>=1.0
 Requires-Dist: pre-commit>=3.0
 Requires-Dist: pydantic>=2.0
@@ -70,6 +71,14 @@ agents write code that's correct by construction—not by accident.
 
 An AI agent, guided by Invar, writes code with formal contracts and built-in tests:
 
+<table>
+<tr>
+<th>Python</th>
+<th>TypeScript</th>
+</tr>
+<tr>
+<td>
+
 ```python
 from invar_runtime import pre, post
 
@@ -87,6 +96,33 @@ def average(items: list[float]) -> float:
     return sum(items) / len(items)
 ```
 
+</td>
+<td>
+
+```typescript
+import { z } from 'zod';
+
+const ItemsSchema = z.array(z.number()).min(1);
+
+/**
+ * Calculate the average of a non-empty list.
+ * @pre items.length > 0
+ * @post result >= 0
+ *
+ * @example
+ * average([1.0, 2.0, 3.0]) // => 2.0
+ * average([10.0])          // => 10.0
+ */
+function average(items: number[]): number {
+  ItemsSchema.parse(items); // Runtime validation
+  return items.reduce((a, b) => a + b) / items.length;
+}
+```
+
+</td>
+</tr>
+</table>
+
 Invar's Guard automatically verifies the code—the agent sees results and fixes issues without human intervention:
 
 ```
@@ -110,6 +146,8 @@ Guard passed.
 
 ## 🚀 Quick Start
 
+> **Language Support:** Python (full), TypeScript (verification via Zod contracts).
+
 ### 📦 Two Packages, Different Purposes
 
 ```
@@ -141,6 +179,7 @@ uvx invar-tools init
 # Or quick setup (skip prompts)
 uvx invar-tools init --claude    # Claude Code
 uvx invar-tools init --pi        # Pi Coding Agent
+uvx invar-tools init --mcp-only  # MCP tools only (legacy projects)
 
 # Add runtime contracts to your project
 pip install invar-runtime
@@ -204,16 +243,25 @@ Invar addresses each from the ground up.
 
 ### ✅ Solution 1: Contracts as Specification
 
-Contracts (`@pre`/`@post`) turn vague intent into verifiable specifications:
+Contracts (`@pre`/`@post` in Python, Zod schemas in TypeScript) turn vague intent into verifiable specifications:
+
+<table>
+<tr>
+<th>Python</th>
+<th>TypeScript</th>
+</tr>
+<tr>
+<td>
 
 ```python
-# Without contracts: "calculate average" is ambiguous
+# Without contracts: ambiguous
 def average(items):
-    return sum(items) / len(items)  # What if empty? What's the return type?
+    return sum(items) / len(items)
+    # What if empty? Return type?
 
-# With contracts: specification is explicit and verifiable
-@pre(lambda items: len(items) > 0)      # Precondition: non-empty input
-@post(lambda result: result >= 0)        # Postcondition: non-negative output
+# With contracts: explicit
+@pre(lambda items: len(items) > 0)
+@post(lambda result: result >= 0)
 def average(items: list[float]) -> float:
     """
     >>> average([1.0, 2.0, 3.0])
@@ -222,6 +270,32 @@ def average(items: list[float]) -> float:
     return sum(items) / len(items)
 ```
 
+</td>
+<td>
+
+```typescript
+// Without contracts: ambiguous
+function average(items) {
+  return items.reduce((a,b) => a+b) / items.length;
+  // What if empty? Return type?
+}
+
+// With contracts: explicit
+const ItemsSchema = z.array(z.number()).min(1);
+
+/** @post result >= 0 */
+function average(items: number[]): number {
+  ItemsSchema.parse(items); // Precondition
+  const result = items.reduce((a,b) => a+b) / items.length;
+  console.assert(result >= 0); // Postcondition
+  return result;
+}
+```
+
+</td>
+</tr>
+</table>
+
 **Benefits:**
 - Agent knows exactly what to implement
 - Edge cases are explicit in the contract
@@ -283,7 +357,7 @@ Skill routing ensures agents enter through the correct workflow:
 | **Core/Shell** | Guard blocks I/O imports in Core | 100% testable business logic |
 | **Result[T, E]** | Guard warns if Shell returns bare values | Explicit error handling |
 
-### 🔮 Future: Quality Guidance (DX-61)
+### 🔮 Future: Quality Guidance
 
 Beyond "correct or not"—Invar will suggest improvements:
 
@@ -322,6 +396,14 @@ Separate pure logic from I/O for maximum testability:
                    ▼ Result[T, E]
 ```
 
+<table>
+<tr>
+<th>Python</th>
+<th>TypeScript</th>
+</tr>
+<tr>
+<td>
+
 ```python
 # Core: Pure, testable, provable
 def parse_config(content: str) -> Config:
@@ -335,6 +417,28 @@ def load_config(path: Path) -> Result[Config, str]:
         return Failure(f"Not found: {path}")
 ```
 
+</td>
+<td>
+
+```typescript
+// Core: Pure, testable, provable
+function parseConfig(content: string): Config {
+  return ConfigSchema.parse(JSON.parse(content));
+}
+
+// Shell: Handles I/O, returns ResultAsync
+function loadConfig(path: string): ResultAsync<Config, ConfigError> {
+  return ResultAsync.fromPromise(
+    fs.readFile(path, 'utf-8'),
+    () => ({ type: 'NOT_FOUND', path })
+  ).map(parseConfig);
+}
+```
+
+</td>
+</tr>
+</table>
+
 ### Session Protocol
 
 Clear boundaries for every AI session:
@@ -371,7 +475,7 @@ AlphaCodium · Parsel · Reflexion · Clover
 | Agent | Status | Setup |
 |-------|--------|-------|
 | **Claude Code** | ✅ Full | `invar init --claude` |
-| **Pi** | ✅ Full | `invar init --pi` |
+| **[Pi](https://shittycodingagent.ai/)** | ✅ Full | `invar init --pi` |
 | **Cursor** | ✅ MCP | `invar init` → select Other, add MCP config |
 | **Other** | 📝 Manual | `invar init` → select Other, include `AGENT.md` in prompt |
 
@@ -385,7 +489,7 @@ All features auto-configured:
 - Claude Code hooks (tool guidance, verification reminders)
 - Pre-commit hooks
 
-### Pi (Full Support)
+### [Pi](https://shittycodingagent.ai/) (Full Support)
 
 Pi reads CLAUDE.md and .claude/skills/ directly, sharing configuration with Claude Code:
 - **Same instruction file** — CLAUDE.md (no separate AGENT.md needed)
@@ -424,7 +528,7 @@ Cursor users get full verification via MCP:
 | `.pre-commit-config.yaml` | Verification before commit | Optional |
 | `src/core/`, `src/shell/` | Recommended structure | Optional |
 | `CLAUDE.md` | Agent instructions | Claude Code |
-| `.claude/skills/` | Workflow automation | Claude Code |
+| `.claude/skills/` | Workflow + extension skills | Claude Code |
 | `.claude/commands/` | User commands (/audit, /guard) | Claude Code |
 | `.claude/hooks/` | Tool guidance | Claude Code |
 | `.mcp.json` | MCP server config | Claude Code |
@@ -442,6 +546,178 @@ src/{project}/
 
 ---
 
+## 🧩 Extension Skills
+
+Beyond the core workflow skills (`/develop`, `/review`, `/investigate`, `/propose`), Invar provides optional extension skills for specialized tasks:
+
+| Skill | Purpose | Install |
+|-------|---------|---------|
+| `/security` | OWASP Top 10 security audit | `invar skill add security` |
+| `/acceptance` | Requirements acceptance review | `invar skill add acceptance` |
+| `/invar-onboard` | Legacy project migration | `invar skill add invar-onboard` |
+
+### Managing Skills
+
+```bash
+invar skill list                    # List available/installed skills
+invar skill add security            # Install (or update) a skill
+invar skill remove security         # Remove a skill
+invar skill remove security --force # Force remove (even with custom extensions)
+```
+
+**Idempotent:** `invar skill add` works for both install and update. User customizations in the `<!--invar:extensions-->` region are preserved on update.
+
+### Custom Extensions
+
+Each skill has an extensions region where you can add project-specific customizations:
+
+```markdown
+<!--invar:extensions-->
+## Project-Specific Security Checks
+
+- [ ] Check for hardcoded AWS credentials in config/
+- [ ] Verify JWT secret rotation policy
+<!--/invar:extensions-->
+```
+
+These customizations are preserved when updating skills via `invar skill add`.
+
+---
+
+## 🔄 Legacy Project Migration
+
+### Quick Start: MCP Tools Only
+
+For projects that want Invar's MCP tools **without adopting the framework**:
+
+```bash
+uvx invar-tools init --mcp-only
+```
+
+This creates only `.mcp.json` — no INVAR.md, CLAUDE.md, or Core/Shell structure. Your AI agent gets access to:
+- **Document tools** (`invar_doc_toc`, `invar_doc_read`, etc.)
+- **Code navigation** (`invar_sig`, `invar_map`)
+- **Basic verification** (`invar_guard` with minimal rules)
+
+### Full Adoption: `/invar-onboard`
+
+For projects that want to fully adopt Invar's patterns, use the `/invar-onboard` skill:
+
+```bash
+# Install the onboarding skill
+invar skill add invar-onboard
+
+# Run assessment on your project
+# (in Claude Code or Pi)
+> /invar-onboard
+```
+
+### Migration Workflow
+
+```
+/invar-onboard
+       │
+       ▼
+┌─────────────────────────────────────────┐
+│  Phase 1: ASSESS (Automatic)            │
+│  • Code metrics and architecture        │
+│  • Pattern detection (error handling)   │
+│  • Core/Shell separation assessment     │
+│  • Risk and effort estimation           │
+│                                         │
+│  Output: docs/invar-onboard-assessment.md
+└─────────────────────────────────────────┘
+       │
+       ▼
+┌─────────────────────────────────────────┐
+│  Phase 2: DISCUSS (With User)           │
+│  • Present findings                     │
+│  • Discuss risk mitigation              │
+│  • Confirm scope and priorities         │
+└─────────────────────────────────────────┘
+       │
+       ▼ (user confirms)
+┌─────────────────────────────────────────┐
+│  Phase 3: PLAN (Automatic)              │
+│  • Dependency analysis                  │
+│  • Phase decomposition                  │
+│  • Session planning                     │
+│                                         │
+│  Output: docs/invar-onboard-roadmap.md  │
+└─────────────────────────────────────────┘
+```
+
+### Language Support
+
+The onboarding skill includes language-specific pattern guides:
+
+<table>
+<tr>
+<th>Python</th>
+<th>TypeScript</th>
+</tr>
+<tr>
+<td>
+
+```python
+# Error handling: returns library
+from returns.result import Result, Success, Failure
+
+def get_user(id: str) -> Result[User, NotFoundError]:
+    user = db.find(id)
+    if not user:
+        return Failure(NotFoundError(f"User {id}"))
+    return Success(user)
+
+# Contracts: invar_runtime
+from invar_runtime import pre, post
+
+@pre(lambda amount: amount > 0)
+@post(lambda result: result >= 0)
+def calculate_tax(amount: float) -> float:
+    return amount * 0.1
+```
+
+</td>
+<td>
+
+```typescript
+// Error handling: neverthrow
+import { Result, ResultAsync, ok, err } from 'neverthrow';
+
+function getUser(id: string): ResultAsync<User, NotFoundError> {
+  return ResultAsync.fromPromise(
+    db.user.findUnique({ where: { id } }),
+    () => new DbError('query_failed')
+  ).andThen(user =>
+    user ? ok(user) : err(new NotFoundError(`User ${id}`))
+  );
+}
+
+// Contracts: Zod schemas
+import { z } from 'zod';
+
+const AmountSchema = z.number().positive();
+
+function calculateTax(amount: number): number {
+  AmountSchema.parse(amount);
+  return amount * 0.1;
+}
+```
+
+</td>
+</tr>
+</table>
+
+### When to Use `/invar-onboard` vs `/refactor`
+
+| Scenario | Skill | Purpose |
+|----------|-------|---------|
+| Existing project → Invar | `/invar-onboard` | One-time framework migration |
+| Already Invar project | `/refactor` (coming soon) | Continuous code improvement |
+
+---
+
 ## ⚙️ Configuration
 
 ```toml
@@ -467,8 +743,35 @@ max_function_lines = 50
 # Requirements
 require_contracts = true
 require_doctests = true
+
+# Timeouts (seconds)
+timeout_doctest = 60           # Doctest execution timeout
+timeout_crosshair = 300        # CrossHair total timeout
+timeout_crosshair_per_condition = 30  # Per-function timeout
+timeout_hypothesis = 300       # Hypothesis total timeout
+
+# Excluded paths (not checked by guard)
+exclude_paths = ["tests", "scripts", ".venv", "node_modules", "dist", "build"]
+```
+
+### Pattern Detection (DX-61)
+
+Guard can suggest functional programming patterns to improve code quality:
+
+```toml
+[tool.invar.guard]
+# Minimum confidence for suggestions (low | medium | high)
+pattern_min_confidence = "medium"
+
+# Priority levels to include (P0 = core, P1 = extended)
+pattern_priorities = ["P0"]
+
+# Patterns to exclude from suggestions
+pattern_exclude = []
 ```
 
+Available patterns: `NewType`, `Validation`, `NonEmpty`, `Literal`, `ExhaustiveMatch`, `SmartConstructor`, `StructuredError`
+
 ### 🚪 Escape Hatches
 
 For code that intentionally breaks rules:
@@ -496,15 +799,29 @@ rules = ["missing_contract", "shell_result"]
 | `invar guard` | Full verification (static + doctest + property + symbolic) |
 | `invar guard --changed` | Only git-modified files |
 | `invar guard --static` | Static analysis only (~0.5s) |
+| `invar guard --coverage` | Collect branch coverage from tests |
 | `invar init` | Initialize or update project (interactive) |
 | `invar init --claude` | Quick setup for Claude Code |
+| `invar init --pi` | Quick setup for Pi agent |
+| `invar init --mcp-only` | MCP tools only (no framework files) |
 | `invar uninstall` | Remove Invar from project (preserves user content) |
 | `invar sig <file>` | Show signatures and contracts |
 | `invar map` | Symbol map with reference counts |
-| `invar rules` | List all rules |
+| `invar doc toc <file>` | View document structure (headings) |
+| `invar doc read <file> <section>` | Read specific section by slug/fuzzy/index |
+| `invar doc find <pattern> <files>` | Search sections by title pattern |
+| `invar doc replace <file> <section>` | Replace section content |
+| `invar doc insert <file> <anchor>` | Insert content relative to section |
+| `invar doc delete <file> <section>` | Delete section |
+| `invar rules` | List all rules with severity |
 | `invar test` | Property-based tests (Hypothesis) |
 | `invar verify` | Symbolic verification (CrossHair) |
+| `invar mutate` | Mutation testing (find gaps in tests) |
 | `invar hooks` | Manage Claude Code hooks |
+| `invar skill` | Manage extension skills |
+| `invar mcp` | Start MCP server for Claude Code |
+| `invar dev sync` | Sync Invar protocol updates |
+| `invar version` | Show version info |
 
 ### MCP Tools
 
@@ -513,6 +830,13 @@ rules = ["missing_contract", "shell_result"]
 | `invar_guard` | Smart multi-layer verification |
 | `invar_sig` | Extract signatures and contracts |
 | `invar_map` | Symbol map with reference counts |
+| `invar_doc_toc` | Extract document structure (TOC) |
+| `invar_doc_read` | Read specific section |
+| `invar_doc_read_many` | Read multiple sections (batch) |
+| `invar_doc_find` | Search sections by title pattern |
+| `invar_doc_replace` | Replace section content |
+| `invar_doc_insert` | Insert content relative to section |
+| `invar_doc_delete` | Delete section |
 
 ---
 

invar_tools-1.11.0.dist-info/RECORD

@@ -0,0 +1,178 @@
+invar/__init__.py,sha256=E-Mg9DG6qFzjP8D5TEkmy2ponvR99Yfn96RVJggAr64,1682
+invar/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+invar/core/__init__.py,sha256=01TgQ2bqTFV4VFdksfqXYPa2WUqo-DpUWUkEcIUXFb4,218
+invar/core/contracts.py,sha256=SOyF1KeJ6hrEwfQ09UzMt881OJKDXRbPTslKA6HzdKg,19085
+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/format_specs.py,sha256=P299aRHFMXyow8STwsvaT6Bg2ALPs2wSy7SByiRZZ-A,5610
+invar/core/format_strategies.py,sha256=LifL97JbsF8WEkVNmQpq2htyFUC3pW21myAjtRGpSxU,5774
+invar/core/formatter.py,sha256=rCGZhMpl4dPLrztgKDkNtAvnv2vKfomyIHl_6fThuno,11293
+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/language.py,sha256=aGUcrq--eQtAjb5bYE40eFmDhRs_EbBNGQ1sBYgTdt0,2637
+invar/core/models.py,sha256=DP4nfQ5O58eg1NCsBdw9OsQrVY1nSvo9GIlRdV2QjkU,16758
+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=Pf9VpVdJFJmEkIx78HlW_Gn70cC8_sxEmW9gv-2Cifc,14342
+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=XnFEDm4PSblGiCG14bfnhl-OcMmNsy7Slx7DAUbfaF4,22226
+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=rVfRFECO16Ntc9b9A7LxIV_0XfRJbRXaagVT-jJBYqI,8635
+invar/core/tautology.py,sha256=Pmn__a0Bt55W0lAQo1G5q8Ory9KuE23dRknKw45xxbs,9221
+invar/core/template_helpers.py,sha256=E1UT7ct0DaUFlfHr9oTBvW4xfxAiS81rbmZHSucPw4c,881
+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/ts_parsers.py,sha256=gXvLgb141gD8VAtiW4T1aaRnaSv10BEm0XYqArYIN00,8743
+invar/core/ts_sig_parser.py,sha256=_lUNfArFPILpENo-1dqmPY1qoVmcfAehv2Tva3r6dzw,9931
+invar/core/utils.py,sha256=PyW8dcTLUEFD81xcvkz-LNnCwjIQefn08OUh23fM_Po,14266
+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=lUfED7qk2VWOAjHoGWgSqll5ynhhdzd6CjCiol-7kV8,8690
+invar/core/patterns/p0_exhaustive.py,sha256=66FNRRFAsOQh1LyxWULgkuM52CLtBWTVXlExpAVHMpo,7176
+invar/core/patterns/p0_literal.py,sha256=WkQNs4605PtBhLb5DKLXc1Nqlpezx5HjktC7JX6ltaM,10946
+invar/core/patterns/p0_newtype.py,sha256=DWI6zXRsV9YHSemEuCVFSTqWrB-ROl3xP86cPu9UC2w,7803
+invar/core/patterns/p0_nonempty.py,sha256=bJ97NqdFClYM9LaSiyViRt2qJrnT6kO9-ykBVbV20aE,10927
+invar/core/patterns/p0_validation.py,sha256=u_pQ1vskhIDLpu_xFlQfgsswZvi27s-cO8A7DTseAc0,9819
+invar/core/patterns/registry.py,sha256=2rz0wWDRarMkuHN-qM_ZrT3qeGFDSKMABvRvPNZxQNw,7495
+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/node_tools/MANIFEST,sha256=UwtO2AsQ-0UwskG6ZkE2kXqz_hdp-gzRTyp32-X22Mc,131
+invar/node_tools/__init__.py,sha256=HzILh3jtP28Lm2jZwss1SY65ECxbtw2J2uFpXQA6Y94,1740
+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/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
+invar/shell/doc_tools.py,sha256=16gvo_ay9-_EK6lX16WkiRGg4OfTAKK_i0ucQkE7lbI,15149
+invar/shell/fs.py,sha256=ctqU-EX0NnKC4txudRCRpbWxWSgBZTInXMeOUnl3IM0,6196
+invar/shell/git.py,sha256=s6RQxEDQuLrmK3mru88EoYP8__4hiFW8AozlcxmY47E,2784
+invar/shell/guard_helpers.py,sha256=QeYgbW0lgUa9Z_RCjAMG7UJdiMzz5cW48Lb2u-qgQi8,15114
+invar/shell/guard_output.py,sha256=v3gG5P-_47nIFo8eAMKwdA_hLf2KZ0cQ-45Z6JjKp4w,12520
+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/pi_hooks.py,sha256=ulZc1sP8mTRJTBsjwFHQzUgg-h8ajRIMp7iF1Y4UUtw,6885
+invar/shell/property_tests.py,sha256=N9JreyH5PqR89oF5yLcX7ZAV-Koyg5BKo-J05-GUPsA,9109
+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/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/hooks.py,sha256=W-SOnT4VQyUvXwipozkJwgEYfiOJGz7wksrbcdWegUg,2356
+invar/shell/commands/init.py,sha256=-FZTYTwJr_NRoluAM4YwcseNju56GSxtnKVkqsXREPg,20461
+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/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
+invar/shell/commands/test.py,sha256=goMf-ovvzEyWQMheq4YlJ-mwK5-w3lDj0cq0IA_1-_c,4205
+invar/shell/commands/uninstall.py,sha256=X5wWT41RFCdXkZ2aZEwLWy9oF1ajp9UyiO1O2iR6DrQ,20188
+invar/shell/commands/update.py,sha256=-NNQQScEb_0bV1B8YFxTjpUECk9c8dGAiNVRc64nWhY,1008
+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=XhJDsQWIriX9SuqeflUYvJgp9gJTDH7I7Uka6zjNzZ0,16734
+invar/shell/prove/guard_ts.py,sha256=M285vnaKGC3Dokyu7PrjlNk-sT1TP8H821fz5K4CL8c,31717
+invar/shell/prove/hypothesis.py,sha256=QUclOOUg_VB6wbmHw8O2EPiL5qBOeBRqQeM04AVuLw0,9880
+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/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
+invar/templates/claude-md/typescript/critical-rules.md,sha256=wC8EsPMR6R5sEAi6a3vc0xsmMzslmxOv5irp4m31Cxc,1111
+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/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/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
+invar/templates/examples/python/conftest.py,sha256=oqC-9m0sqLUBQHz693mbuj-TN72psJqcSyObOoe4-pM,169
+invar/templates/examples/python/contracts.py,sha256=OYj50SMBBekuffIh6oR9Ebq3UtTnIf3ElDTFc5iQvSA,5545
+invar/templates/examples/python/core_shell.py,sha256=XCRiebDuoiSucm-3KJ0r9h4_9fJ7o4Ed5_yMZIcP16k,7944
+invar/templates/examples/python/functional.py,sha256=ArH75nFID5-BsOb8gzZy65IT299PjTo6YhsOXL1gI0s,17847
+invar/templates/examples/python/workflow.md,sha256=jAopzQH1xE9_leJFdav4oj1AkI46-a2q4L8RQCkDknw,2334
+invar/templates/examples/typescript/README.md,sha256=I6kVTJAk6wqb21eC09hyOZXRP74SxE6BG2SlkrncAIM,785
+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/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
+invar/templates/hooks/Stop.sh.jinja,sha256=SD0PhBPeun7DTvn8Erbz11PBGAwGby4tMTd97yOJuTQ,981
+invar/templates/hooks/UserPromptSubmit.sh.jinja,sha256=sUsqBiXzIEM3C8NdN4s4C7KqPlamyVhk5_-3zd5TC9Y,2621
+invar/templates/hooks/__init__.py,sha256=RnnMoQA-8eqbr8Y_1Vu9B8h5vAz4C-vmo8wgdcGYrz0,43
+invar/templates/hooks/pi/invar.ts.jinja,sha256=0V7kBxPfXx18wGbZRT4F1CcuaK09oHh2IJll62N4XVM,2620
+invar/templates/onboard/assessment.md.jinja,sha256=EzqF0VUcxJZG2bVJLxTOyQlAERRbh9v9hXKVt6vcbxY,5850
+invar/templates/onboard/roadmap.md.jinja,sha256=gmvZk4Hdwe0l3qSFV15QGcsr-OPMhsc6-1K9F2SFSIQ,3939
+invar/templates/onboard/patterns/python.md,sha256=3wwucAcQz0DlggtpqYo-ZCnmrXgBQ0aBgUHN_EZ1VW0,8681
+invar/templates/onboard/patterns/typescript.md,sha256=yOVfHtdAdjKkWNh66_dR7z2xEA4sggbIcCKthW-fqac,11983
+invar/templates/protocol/INVAR.md.jinja,sha256=t2ZIQZJvzDTJMrRw_ijUo6ScZmeNK0-nV-H7ztTIyQQ,1464
+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/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/troubleshooting.md,sha256=kHx4Ykfgv6S1OXMmLZ3jMft6aqy60c9ODEhfs5kcybo,2588
+invar/templates/protocol/universal/architecture.md,sha256=WT6wL0VDPD4n8yXBQEOXXnzh2IkK18oOt76lZelN3As,1379
+invar/templates/protocol/universal/completion.md,sha256=bFo8-Npa7vb1efQLgOdGDSWnho45f0BBxvaD8awFLus,425
+invar/templates/protocol/universal/contracts-concept.md,sha256=7XDdzz_obI8JbkZfKDD4yJIpo5DmaL4xyjmxRjwSq4Q,780
+invar/templates/protocol/universal/header.md,sha256=ttg9wtbqw3jWUocwMn2AUbqPXT_hOk15VwWosWYnAUQ,965
+invar/templates/protocol/universal/session.md,sha256=bOaHfu-1QsCXaNyL-412W6b0YFuk0-L4sd0VItrf0V0,418
+invar/templates/protocol/universal/six-laws.md,sha256=15NHyDJhOlTU22FH9xhuEtrMGI3N5SyUCUnjq_0HCco,530
+invar/templates/protocol/universal/usbv.md,sha256=WlAxDQ27dlNDale_HeusIjEiCdYSXXaFeO4ed_BiL0Q,659
+invar/templates/protocol/universal/visible-workflow.md,sha256=nw3_Z3ZbEv4fjpgOMAZX2DNpYPvSJshLQ6aZfIfrrvA,726
+invar/templates/skills/develop/SKILL.md.jinja,sha256=gTS3jTalTV6tnvKqiS4wUJzq4MLNO9VC_m50iVSJj70,17072
+invar/templates/skills/extensions/_registry.yaml,sha256=T0Fkqg8ZKzlyQeoOcGtUsZRNnIyisxcZr_l6woKWBzY,2030
+invar/templates/skills/extensions/acceptance/SKILL.md,sha256=-0pRJTBm6Jyo__KpN32ixNhNbuWUZDSMCDA6RXGnNiE,11719
+invar/templates/skills/extensions/invar-onboard/SKILL.md,sha256=wFXlicF6JJUSLSB0YYP1cKO1cuseuAdOcqLsyJX0bes,11575
+invar/templates/skills/extensions/invar-onboard/patterns/python.md,sha256=3wwucAcQz0DlggtpqYo-ZCnmrXgBQ0aBgUHN_EZ1VW0,8681
+invar/templates/skills/extensions/invar-onboard/patterns/typescript.md,sha256=yOVfHtdAdjKkWNh66_dR7z2xEA4sggbIcCKthW-fqac,11983
+invar/templates/skills/extensions/invar-onboard/templates/assessment.md.jinja,sha256=EzqF0VUcxJZG2bVJLxTOyQlAERRbh9v9hXKVt6vcbxY,5850
+invar/templates/skills/extensions/invar-onboard/templates/roadmap.md.jinja,sha256=gmvZk4Hdwe0l3qSFV15QGcsr-OPMhsc6-1K9F2SFSIQ,3939
+invar/templates/skills/extensions/security/SKILL.md,sha256=5mLwf4JP82Wq1vKkDIJwi8KhsmrP6Q6SIsw9By3hBrA,10851
+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/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,,