invar-tools 1.7.1__py3-none-any.whl → 1.10.0__py3-none-any.whl

invar/templates/examples/core_shell.py

@@ -1,127 +0,0 @@
-"""
-Invar Core/Shell Separation Examples
-
-Reference patterns for Core vs Shell architecture.
-Managed by Invar - do not edit directly.
-"""
-
-from pathlib import Path
-
-# For lambda-based contracts, use deal directly
-# invar_runtime.pre/post are for Contract objects (NonEmpty, IsInstance, etc.)
-from deal import post, pre
-from returns.result import Failure, Result, Success
-
-# =============================================================================
-# CORE: Pure Logic (no I/O)
-# =============================================================================
-# Location: src/*/core/
-# Requirements: @pre/@post, doctests, no I/O imports
-# =============================================================================
-
-
-# @invar:allow shell_result: Example file - demonstrates Core pattern
-# @shell_orchestration: Example file - demonstrates Core pattern
-@pre(lambda content: content is not None)  # Accepts any string including empty
-@post(lambda result: all(line.strip() == line and line for line in result))  # No whitespace, non-empty
-def parse_lines(content: str) -> list[str]:
-    """
-    Parse content into non-empty lines.
-
-    >>> parse_lines("a\\nb\\nc")
-    ['a', 'b', 'c']
-    >>> parse_lines("")
-    []
-    >>> parse_lines("  \\n  ")  # Edge: whitespace only
-    []
-    """
-    return [line.strip() for line in content.split("\n") if line.strip()]
-
-
-# @invar:allow shell_result: Example file - demonstrates Core pattern
-# @shell_orchestration: Example file - demonstrates Core pattern
-@pre(lambda items: all(isinstance(i, str) for i in items))  # All items must be strings
-@post(lambda result: all(v > 0 for v in result.values()))  # All counts are positive
-def count_items(items: list[str]) -> dict[str, int]:
-    """
-    Count occurrences of each item.
-
-    >>> sorted(count_items(['a', 'b', 'a']).items())
-    [('a', 2), ('b', 1)]
-    >>> count_items([])
-    {}
-    """
-    counts: dict[str, int] = {}
-    for item in items:
-        counts[item] = counts.get(item, 0) + 1
-    return counts
-
-
-# =============================================================================
-# SHELL: I/O Operations
-# =============================================================================
-# Location: src/*/shell/
-# Requirements: Result[T, E] return type, calls Core for logic
-# =============================================================================
-
-
-def read_file(path: Path) -> Result[str, str]:
-    """
-    Read file content.
-
-    Shell handles I/O, returns Result for error handling.
-    """
-    try:
-        return Success(path.read_text())
-    except FileNotFoundError:
-        return Failure(f"File not found: {path}")
-    except PermissionError:
-        return Failure(f"Permission denied: {path}")
-
-
-def count_lines_in_file(path: Path) -> Result[dict[str, int], str]:
-    """
-    Count lines in file - demonstrates Core/Shell integration.
-
-    Shell reads file → Core parses content → Shell returns result.
-    """
-    # Shell: I/O operation
-    content_result = read_file(path)
-
-    if isinstance(content_result, Failure):
-        return content_result
-
-    content = content_result.unwrap()
-
-    # Core: Pure logic (no I/O)
-    lines = parse_lines(content)
-    counts = count_items(lines)
-
-    # Shell: Return result
-    return Success(counts)
-
-
-# =============================================================================
-# ANTI-PATTERNS
-# =============================================================================
-
-# DON'T: I/O in Core
-# def parse_file(path: Path):  # BAD: Path in Core
-#     content = path.read_text()  # BAD: I/O in Core  # noqa: ERA001
-#     return parse_lines(content)  # noqa: ERA001
-
-# DO: Core receives content, not paths
-# def parse_content(content: str):  # GOOD: receives data
-#     return parse_lines(content)  # noqa: ERA001
-
-
-# DON'T: Missing Result in Shell
-# def load_config(path: Path) -> dict:  # BAD: no Result type
-#     return json.loads(path.read_text())  # Exceptions not handled  # noqa: ERA001
-
-# DO: Return Result[T, E]
-# def load_config(path: Path) -> Result[dict, str]:  # GOOD
-#     try:  # noqa: ERA001
-#         return Success(json.loads(path.read_text()))  # noqa: ERA001
-#     except Exception as e:  # noqa: ERA001
-#         return Failure(str(e))  # noqa: ERA001

invar/templates/protocol/INVAR.md

@@ -1,310 +0,0 @@
-<!--
-  ┌─────────────────────────────────────────────────────────────┐
-  │ INVAR-MANAGED FILE - DO NOT EDIT DIRECTLY                   │
-  │                                                             │
-  │ This file is managed by Invar. Changes may be lost on       │
-  │ `invar update`. Add project content to CLAUDE.md instead.   │
-  └─────────────────────────────────────────────────────────────┘
-
-  License: CC-BY-4.0 (Creative Commons Attribution 4.0 International)
-  https://creativecommons.org/licenses/by/4.0/
-
-  You are free to share and adapt this document, provided you give
-  appropriate credit to the Invar project.
--->
-# The Invar Protocol v5.0
-
-> **"Trade structure for safety."**
-
-## Six Laws
-
-| Law | Principle |
-|-----|-----------|
-| 1. Separation | Core (pure logic) / Shell (I/O) physically separate |
-| 2. Contract Complete | @pre/@post + doctests uniquely determine implementation |
-| 3. Context Economy | map → sig → code (only read what's needed) |
-| 4. Decompose First | Break into sub-functions before implementing |
-| 5. Verify Reflectively | Fail → Reflect (why?) → Fix → Verify |
-| 6. Integrate Fully | Local correct ≠ Global correct; verify all paths |
-
-## Core/Shell Architecture
-
-| Zone | Location | Requirements |
-|------|----------|--------------|
-| Core | `**/core/**` | @pre/@post, pure (no I/O), doctests |
-| Shell | `**/shell/**` | `Result[T, E]` return type |
-
-**Forbidden in Core:** `os`, `sys`, `subprocess`, `pathlib`, `open`, `requests`, `datetime.now`
-
-### Decision Tree: Core vs Shell
-
-```
-Does this function...
-│
-├─ Read or write files? ──────────────────→ Shell
-├─ Make network requests? ─────────────────→ Shell
-├─ Access current time (datetime.now)? ────→ Shell OR inject as parameter
-├─ Generate random values? ────────────────→ Shell OR inject as parameter
-├─ Print to console? ──────────────────────→ Shell (return data, Shell logs)
-├─ Access environment variables? ──────────→ Shell
-│
-└─ None of the above? ─────────────────────→ Core
-```
-
-**Pattern:** Inject impure values as parameters:
-```python
-# Core: receives 'now' as parameter (pure)
-def is_expired(expiry: datetime, now: datetime) -> bool:
-    return now > expiry
-
-# Shell calls with actual time
-expired = is_expired(token.expiry, datetime.now())
-```
-
-## Core Example (Pure Logic)
-
-```python
-from deal import pre, post
-
-@pre(lambda price, discount: price > 0 and 0 <= discount <= 1)
-@post(lambda result: result >= 0)
-def discounted_price(price: float, discount: float) -> float:
-    """
-    >>> discounted_price(100, 0.2)
-    80.0
-    >>> discounted_price(100, 0)      # Edge: no discount
-    100.0
-    """
-    return price * (1 - discount)
-```
-
-**Self-test:** Can someone else write the exact same function from just @pre/@post + doctests?
-
-## Shell Example (I/O Operations)
-
-```python
-from pathlib import Path
-from returns.result import Result, Success, Failure
-
-def read_config(path: Path) -> Result[dict, str]:
-    """Shell: handles I/O, returns Result for error handling."""
-    try:
-        import json
-        return Success(json.loads(path.read_text()))
-    except FileNotFoundError:
-        return Failure(f"File not found: {path}")
-    except json.JSONDecodeError as e:
-        return Failure(f"Invalid JSON: {e}")
-```
-
-**Pattern:** Shell reads file → passes content to Core → returns Result.
-
-More examples: `.invar/examples/`
-
-## Contract Rules
-
-### Lambda Signature (Critical)
-
-```python
-# WRONG: Lambda only takes first parameter
-@pre(lambda x: x >= 0)
-def calculate(x: int, y: int = 0): ...
-
-# CORRECT: Lambda must include ALL parameters (even defaults)
-@pre(lambda x, y=0: x >= 0)
-def calculate(x: int, y: int = 0): ...
-```
-
-Guard's `param_mismatch` rule catches this as ERROR.
-
-### Meaningful Contracts
-
-```python
-# Redundant - type hints already check this
-@pre(lambda x: isinstance(x, int))
-def calc(x: int): ...
-
-# Meaningful - checks business logic
-@pre(lambda x: x > 0)
-def calc(x: int): ...
-
-# Meaningful - checks relationship between params
-@pre(lambda start, end: start < end)
-def process_range(start: int, end: int): ...
-```
-
-### @post Scope
-
-```python
-# WRONG: @post cannot access function parameters
-@post(lambda result: result > x)  # 'x' not available!
-def calc(x: int) -> int: ...
-
-# CORRECT: @post can only use 'result'
-@post(lambda result: result >= 0)
-def calc(x: int) -> int: ...
-```
-
-## Check-In (Required)
-
-Your first message MUST display:
-
-```
-✓ Check-In: [project] | [branch] | [clean/dirty]
-```
-
-Actions:
-1. Read `.invar/context.md` (Key Rules + Current State + Lessons Learned)
-2. Show one-line status
-
-**Do NOT execute guard or map at Check-In.**
-Guard is for VALIDATE phase and Final only.
-
-This is your sign-in. The user sees it immediately.
-No visible check-in = Session not started.
-
-## USBV Workflow (DX-32)
-
-**U**nderstand → **S**pecify → **B**uild → **V**alidate
-
-| Phase | Purpose | Activities |
-|-------|---------|------------|
-| UNDERSTAND | Know what and why | Intent, Inspect (invar sig/map), Constraints |
-| SPECIFY | Define boundaries | @pre/@post, Design decomposition, Doctests |
-| BUILD | Write code | Implement leaves, Compose |
-| VALIDATE | Confirm correctness | invar guard, Review Gate, Reflect |
-
-**Key:** Inspect before Contract. Depth varies naturally. Iterate when needed.
-
-**Review Gate:** When Guard triggers `review_suggested` (escape hatches ≥3, security paths, low coverage), invoke `/review` before completion.
-
-## Visible Workflow (DX-30)
-
-For complex tasks (3+ functions), show 3 checkpoints in TodoList:
-
-```
-□ [UNDERSTAND] Task description, codebase context, constraints
-□ [SPECIFY] Contracts (@pre/@post) and design decomposition
-□ [VALIDATE] Guard results, Review Gate if triggered, integration status
-```
-
-**BUILD is internal work** — not shown in TodoList.
-
-**Show contracts before code.** Example:
-
-```python
-[SPECIFY] calculate_discount:
-@pre(lambda price, rate: price > 0 and 0 <= rate <= 1)
-@post(lambda result: result >= 0)
-def calculate_discount(price: float, rate: float) -> float: ...
-
-[BUILD] Now coding...
-```
-
-**When to use:** New features (3+ functions), architectural changes, Core modifications.
-**Skip for:** Single-line fixes, documentation, trivial refactoring.
-
-## Task Completion
-
-A task is complete only when ALL conditions are met:
-- Check-In displayed: `✓ Check-In: [project] | [branch] | [clean/dirty]`
-- Intent explicitly stated
-- Contract written before implementation
-- Final displayed: `✓ Final: guard PASS | <errors>, <warnings>`
-- User requirement satisfied
-
-**Missing any = Task incomplete.**
-
-## Markers
-
-### Entry Points
-
-Entry points are framework callbacks (`@app.route`, `@app.command`) at Shell boundary.
-- **Exempt** from `Result[T, E]` — must match framework signature
-- **Keep thin** (max 15 lines) — delegate to Shell functions that return Result
-
-Auto-detected by decorators. For custom callbacks:
-
-```python
-# @shell:entry
-def on_custom_event(data: dict) -> dict:
-    result = handle_event(data)
-    return result.unwrap_or({"error": "failed"})
-```
-
-### Shell Complexity
-
-When shell function complexity is justified:
-
-```python
-# @shell_complexity: Subprocess with error classification
-def run_external_tool(...): ...
-
-# @shell_orchestration: Multi-step pipeline coordination
-def process_batch(...): ...
-```
-
-### Architecture Escape Hatch
-
-When rule violation has valid architectural justification:
-
-```python
-# @invar:allow shell_result: Framework callback signature fixed
-def flask_handler(): ...
-```
-
-**Valid rule names for @invar:allow:**
-- `shell_result` — Shell function without Result return type
-- `entry_point_too_thick` — Entry point exceeds 15 lines
-- `forbidden_import` — I/O import in Core (rare, justify carefully)
-
-Run `invar rules` for complete rule catalog with hints.
-
-## Commands
-
-```bash
-invar guard              # Full: static + doctests + CrossHair + Hypothesis
-invar guard --static     # Static only (quick debug, ~0.5s)
-invar guard --changed    # Modified files only
-invar guard --coverage   # Collect branch coverage
-invar guard -c           # Contract coverage only (DX-63)
-invar sig <file>         # Show contracts + signatures
-invar map --top 10       # Most-referenced symbols
-invar rules              # List all rules with detection/hints (JSON)
-```
-
-## Configuration
-
-```toml
-# pyproject.toml or invar.toml
-[tool.invar.guard]
-core_paths = ["src/myapp/core"]    # Default: ["src/core", "core"]
-shell_paths = ["src/myapp/shell"]  # Default: ["src/shell", "shell"]
-max_file_lines = 500               # Default: 500 (warning at 80%)
-max_function_lines = 50            # Default: 50
-# Doctest lines are excluded from size calculations
-```
-
-## Troubleshooting
-
-### Size Limits (Agent Quick Reference)
-
-| Rule | Limit | Fix |
-|------|-------|-----|
-| `function_too_long` | **50 lines** | Extract helper: `_impl()` + main with docstring |
-| `file_too_long` | **500 lines** | Split by responsibility |
-| `entry_point_too_thick` | **15 lines** | Delegate to Shell functions |
-
-*Doctest lines excluded from counts. Limits configurable in `pyproject.toml`.*
-
-### Common Errors
-
-| Symptom | Cause | Fix |
-|---------|-------|-----|
-| `param_mismatch` error | Lambda missing params | Include ALL params (even defaults) |
-| `shell_result` error | Shell func no Result | Add Result[T,E] or @invar:allow |
-| `is_failure()` not found | Wrong Result check | Use `isinstance(result, Failure)` |
-
----
-
-*Protocol v5.0 — USBV workflow (DX-32) | [Examples](.invar/examples/)*

invar_tools-1.7.1.dist-info/RECORD

@@ -1,112 +0,0 @@
-invar/__init__.py,sha256=HV5W2nywevBhAMgF7TIHdBoiFY4ETWVLBYAt_gZCPHU,1520
-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=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/models.py,sha256=1bbhLijXHSe-o5SXQhbJgq8_EqPOOgsGKIrnWRwwtYM,13200
-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/trivial_detection.py,sha256=KYP8jJb7QDeusAxFdX5NAML_H0NL5wLgMeBWDQmNqfU,6086
-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=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=ay-w2YfSa1kTmBFx3x3jEgmNRC3NFEW0EYuZRt7M39w,12244
-invar/shell/__init__.py,sha256=FFw1mNbh_97PeKPcHIqQpQ7mw-JoIvyLM1yOdxLw5uk,204
-invar/shell/claude_hooks.py,sha256=KJAQ-a7-mvabJ2fgsC9wPMakvi7J43GCU6ZcpWwKYFg,16180
-invar/shell/config.py,sha256=6-kbo6--SxfROXoyU-v7InSLR8f_U1Mar_xEOdCXFkY,17633
-invar/shell/contract_coverage.py,sha256=UPn-lEqrAFu00fl7v9PnSvNwS7KX3_SV1K_GhynQ9cw,12023
-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=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/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=30eT61HXPA6DmsgUyUqljZNGGtB9TSR-aAaI4fmKAco,13722
-invar/shell/testing.py,sha256=rTNBH0Okh2qtG9ohSXOz487baQ2gXrWT3s_WECW3HJs,11143
-invar/shell/commands/__init__.py,sha256=MEkKwVyjI9DmkvBpJcuumXo2Pg_FFkfEr-Rr3nrAt7A,284
-invar/shell/commands/guard.py,sha256=vDBGOFb9mQ1D8eXrMvQB505GpjO1XLeCLrv2ig9-6dU,21718
-invar/shell/commands/hooks.py,sha256=W-SOnT4VQyUvXwipozkJwgEYfiOJGz7wksrbcdWegUg,2356
-invar/shell/commands/init.py,sha256=wAPPIDpoJyNOhrD09LldRg8w76mWv0r5qTcqlPWc920,13411
-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=wVZ-UvJ1wpN2UBcWMfbei0n46XHYx-zRbMA2oX6FSi4,13723
-invar/shell/commands/test.py,sha256=goMf-ovvzEyWQMheq4YlJ-mwK5-w3lDj0cq0IA_1-_c,4205
-invar/shell/commands/uninstall.py,sha256=u1fqE2jCod2KxFMEYbtC4UFK1zuxzoaQKQzZdAjQcDE,17368
-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=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=cEe7yEOOeaLmOF-PrwZXxiPGjHhsSJYkWBKRHDmSbac,4268
-invar/templates/proposal.md.template,sha256=UP7SpQ7gk8jVlHGLQCSQ5c-kCj1DBQEz8M-vEStK77I,1573
-invar/templates/commands/audit.md,sha256=OrotO8420zTKnlNyAyL1Eos0VIaihzEU4AHdfDv68Oc,4162
-invar/templates/commands/guard.md,sha256=N_C_AXd9kI85W1B0aTEycjiDp_jdaP8eeq8O0FQ_WQ8,1227
-invar/templates/config/CLAUDE.md.jinja,sha256=VbtDWxn3H8qiE9-DV1hlG3DJ-GcBQU4ZiUHbFh6Bxxk,7814
-invar/templates/config/context.md.jinja,sha256=_kJ8erEQNJMLDCKrv4BXWkO6OaGzE-zW9biCf7144aY,3103
-invar/templates/config/pre-commit.yaml.jinja,sha256=nUPxLxkTHAgZwhFAuOMDbZ8v0NQV9FlQPbr2MDEOsoA,1778
-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/hooks/PostToolUse.sh.jinja,sha256=H-lzVaEMvlr0uoO2LxrGNpWrBtyUkHmYrhtWmCqdAjI,2967
-invar/templates/hooks/PreToolUse.sh.jinja,sha256=D39PaT1eFSjz_Av16xK1atoBZbhLI8tLp8L12zkG-3k,2334
-invar/templates/hooks/Stop.sh.jinja,sha256=3S6lLeAGIu5aPQVRz4jjFS9AfjCD9DdS_jagmkw-x8Q,960
-invar/templates/hooks/UserPromptSubmit.sh.jinja,sha256=eAQqQ-XdOCyhLpF5_1r1z7C-Ej9GQ5Isqbu_2LAtsno,2302
-invar/templates/hooks/__init__.py,sha256=RnnMoQA-8eqbr8Y_1Vu9B8h5vAz4C-vmo8wgdcGYrz0,43
-invar/templates/protocol/INVAR.md,sha256=ppQhb_-R5YaXAqW1WDMOcXptx-CrAQI_xYxld7YljK8,9998
-invar/templates/skills/develop/SKILL.md.jinja,sha256=3coPSZGh1-YKN9Xc_xcEkfEP3S0XiFMMGF0hJZEaAx8,10562
-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=e7HULz1jjLOlk2LYejQMk2F-cu7dDIwvh6lWNjx3j-Q,14123
-invar_tools-1.7.1.dist-info/METADATA,sha256=dBk4N2qRISfYrc6Rr66eY08_me9Rqfyq34RDBCaEj1s,17600
-invar_tools-1.7.1.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.7.1.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
-invar_tools-1.7.1.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.7.1.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.7.1.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.7.1.dist-info/RECORD,,