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

invar/templates/hooks/PostToolUse.sh.jinja

@@ -48,11 +48,20 @@ is_git_repo() {
 detect_changes() {
   if is_git_repo; then
     # Primary: Git-based detection (includes staged + unstaged)
+{% if language == "python" -%}
     { git diff --name-only -- '*.py' 2>/dev/null; git diff --cached --name-only -- '*.py' 2>/dev/null; } | sort -u
+{% elif language == "typescript" -%}
+    { git diff --name-only -- '*.ts' '*.tsx' 2>/dev/null; git diff --cached --name-only -- '*.ts' '*.tsx' 2>/dev/null; } | sort -u
+{% endif -%}
   elif [[ -f "$LAST_CHECK_MARKER" ]]; then
     # Fallback: Timestamp-based detection (approximate)
+{% if language == "python" -%}
     find . -name "*.py" -newer "$LAST_CHECK_MARKER" -type f 2>/dev/null | \
       grep -v __pycache__ | grep -v '.venv' | head -20
+{% elif language == "typescript" -%}
+    find . \( -name "*.ts" -o -name "*.tsx" \) -newer "$LAST_CHECK_MARKER" -type f 2>/dev/null | \
+      grep -v node_modules | grep -v dist | head -20
+{% endif -%}
   fi
   # Update marker for next check
   touch "$LAST_CHECK_MARKER" 2>/dev/null
@@ -68,7 +77,7 @@ fi
 # ============================================
 # Smart trigger evaluation
 # ============================================
-CHANGE_COUNT=$(wc -l < "$CHANGES_FILE" 2>/dev/null | tr -d ' ' || echo 0)
+CHANGE_COUNT=$([[ -f "$CHANGES_FILE" ]] && wc -l < "$CHANGES_FILE" | tr -d ' ' || echo 0)
 LAST_TIME=$(cat "$LAST_GUARD" 2>/dev/null || echo 0)
 NOW=$(date +%s)
 ELAPSED=$((NOW - LAST_TIME))

invar/templates/hooks/PreToolUse.sh.jinja

@@ -22,6 +22,7 @@ else
 fi
 [[ -z "$CMD" ]] && exit 0
 
+{% if language == "python" -%}
 # ============================================
 # pytest blocking with smart escape
 # ============================================
@@ -70,5 +71,42 @@ if echo "$CMD" | grep -qE '\bcrosshair\b'; then
   echo "   Manual escape: INVAR_ALLOW_CROSSHAIR=1 crosshair ..."
   exit 1
 fi
+{% elif language == "typescript" -%}
+# ============================================
+# jest/vitest blocking with smart escape
+# ============================================
+if echo "$CMD" | grep -qE '\bjest\b|\bvitest\b|npx\s+(jest|vitest)\b|npm\s+(run\s+)?test\b'; then
+
+  # Auto-escape 1: Debugging mode
+  if echo "$CMD" | grep -qE '\-\-inspect|\-\-debug'; then
+    echo "⚠️ Test debugging allowed. Run {{ guard_cmd }} after."
+    exit 0
+  fi
+
+  # Auto-escape 2: External/vendor tests
+  if echo "$CMD" | grep -qE 'vendor/|third_party/|external/'; then
+    exit 0
+  fi
+
+  # Auto-escape 3: Explicit coverage collection
+  if echo "$CMD" | grep -qE '\-\-coverage'; then
+    echo "⚠️ Test coverage allowed. Run {{ guard_cmd }} for contract verification."
+    exit 0
+  fi
+
+  # Auto-escape 4: Environment variable override
+  if [[ "$INVAR_ALLOW_JEST" == "1" ]]; then
+    exit 0
+  fi
+
+  # Default: Block with helpful message
+  echo "❌ Use {{ guard_cmd }} instead of jest/vitest"
+  echo "   {{ guard_cmd }} = tsc + eslint + vitest + fast-check"
+  echo ""
+  echo "   Auto-allowed: --inspect (debug), --coverage"
+  echo "   Manual escape: INVAR_ALLOW_JEST=1 jest ..."
+  exit 1
+fi
+{% endif -%}
 
 exit 0

invar/templates/hooks/Stop.sh.jinja

@@ -13,7 +13,7 @@ if [[ -f "$CHANGES_FILE" ]]; then
   if [[ $CHANGE_COUNT -gt 0 ]]; then
     echo ""
     echo "━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━"
-    echo "⚠️  Invar: $CHANGE_COUNT Python files not verified"
+    echo "⚠️  Invar: $CHANGE_COUNT {{ language | capitalize }} files not verified"
     echo "   Run before commit: {{ guard_cmd }} --changed"
     echo "━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━"
   fi

invar/templates/hooks/UserPromptSubmit.sh.jinja

@@ -41,10 +41,17 @@ echo "$COUNT" > "$COUNT_FILE"
 # Keyword triggers (independent of count)
 # ============================================
 
+{% if language == "python" -%}
 # pytest intent → immediate correction
 if echo "$USER_MESSAGE" | grep -qiE "run.*pytest|pytest.*test|用.*pytest"; then
   echo "<system-reminder>Use {{ guard_cmd }}, not pytest.</system-reminder>"
 fi
+{% elif language == "typescript" -%}
+# jest/vitest intent → immediate correction
+if echo "$USER_MESSAGE" | grep -qiE "run.*jest|run.*vitest|npm.*test|用.*jest|用.*vitest"; then
+  echo "<system-reminder>Use {{ guard_cmd }}, not jest/vitest directly.</system-reminder>"
+fi
+{% endif -%}
 
 # Implementation intent → workflow reminder (after warmup)
 if [[ $COUNT -gt 3 ]]; then

invar/templates/hooks/pi/invar.ts.jinja

@@ -0,0 +1,82 @@
+/**
+ * Invar Pi Hook
+ * Protocol: v{{ protocol_version }} | Generated: {{ generated_date }}
+ * LX-04: Full feature parity with Claude Code hooks
+ *
+ * Features:
+ * - pytest/crosshair blocking via tool_call
+ * - Protocol injection via pi.send() for long conversations
+ */
+
+import type { HookAPI } from "@mariozechner/pi-coding-agent/hooks";
+
+// Blocked commands (same as Claude Code)
+{% if language == "python" -%}
+const BLOCKED_CMDS = [/^pytest\b/, /^python\s+-m\s+pytest/, /^crosshair\b/];
+const ALLOWED_FLAGS = [/--pdb/, /--cov/, /--debug/];
+{% elif language == "typescript" -%}
+const BLOCKED_CMDS = [/^jest\b/, /^vitest\b/, /^npx\s+(jest|vitest)\b/, /^npm\s+(run\s+)?test\b/];
+const ALLOWED_FLAGS = [/--inspect/, /--coverage/, /--debug/];
+{% endif -%}
+
+// Protocol content for injection (escaped for JS)
+const INVAR_PROTOCOL = `{{ invar_protocol_escaped }}`;
+
+export default function (pi: HookAPI) {
+  let msgCount = 0;
+
+  // ============================================
+  // Session Management
+  // ============================================
+  pi.on("session", async (event) => {
+    // Reset count on session start/restore
+    if (event.reason === "start" || event.reason === "branch") {
+      msgCount = 0;
+    }
+  });
+
+  // ============================================
+  // Long Conversation Protocol Refresh
+  // ============================================
+  pi.on("agent_start", async () => {
+    msgCount++;
+
+    // Message 15: Lightweight checkpoint
+    if (msgCount === 15) {
+      pi.send(
+        "<system-reminder>Checkpoint: guard=verify, sig=contracts, USBV workflow.</system-reminder>"
+      );
+    }
+
+    // Message 25+: Full protocol injection every 10 messages
+    if (msgCount >= 25 && msgCount % 10 === 0) {
+      pi.send(`<system-reminder>
+=== Protocol Refresh (message ${msgCount}) ===
+${INVAR_PROTOCOL}
+</system-reminder>`);
+    }
+  });
+
+  // ============================================
+  // pytest/crosshair Blocking
+  // ============================================
+  pi.on("tool_call", async (event) => {
+    if (event.toolName !== "bash") return;
+    const cmd = ((event.input as Record<string, unknown>).command as string || "").trim();
+
+    // Skip if not a blocked command
+    if (!BLOCKED_CMDS.some((p) => p.test(cmd))) return;
+
+    // Allow if has debug/test flags
+    if (ALLOWED_FLAGS.some((p) => p.test(cmd))) return;
+
+    return {
+      block: true,
+{% if language == "python" -%}
+      reason: "Use `{{ guard_cmd }}` instead of pytest/crosshair.",
+{% elif language == "typescript" -%}
+      reason: "Use `{{ guard_cmd }}` instead of jest/vitest.",
+{% endif -%}
+    };
+  });
+}

invar/templates/manifest.toml

@@ -49,11 +49,12 @@ extensions = { action = "preserve" }
 # =============================================================================
 
 [templates]
-# Protocol files (direct copy)
-"INVAR.md" = { src = "protocol/INVAR.md", type = "copy" }
+# Protocol files (Jinja2 composition - LX-05)
+"INVAR.md" = { src = "protocol/INVAR.md.jinja", type = "jinja" }
 
 # Config files (Jinja2 templates)
 "CLAUDE.md" = { src = "config/CLAUDE.md.jinja", type = "jinja" }
+"AGENT.md" = { src = "config/AGENT.md.jinja", type = "jinja" }
 ".invar/context.md" = { src = "config/context.md.jinja", type = "jinja" }
 ".pre-commit-config.yaml" = { src = "config/pre-commit.yaml.jinja", type = "jinja" }
 
@@ -63,12 +64,12 @@ extensions = { action = "preserve" }
 ".claude/skills/propose/SKILL.md" = { src = "skills/propose/SKILL.md.jinja", type = "jinja" }
 ".claude/skills/review/SKILL.md" = { src = "skills/review/SKILL.md.jinja", type = "jinja" }
 
-# Commands (direct copy)
-".claude/commands/audit.md" = { src = "commands/audit.md", type = "copy" }
+# Commands (Jinja2 templates for language-specific content)
+".claude/commands/audit.md" = { src = "commands/audit.md.jinja", type = "jinja" }
 ".claude/commands/guard.md" = { src = "commands/guard.md", type = "copy" }
 
-# Examples (directory copy)
-".invar/examples/" = { src = "examples/", type = "copy_dir" }
+# Examples (language-aware directory copy - LX-05 hotfix)
+".invar/examples/" = { src = "examples/{language}/", type = "copy_dir_lang" }
 
 # =============================================================================
 # Variables
@@ -77,6 +78,7 @@ extensions = { action = "preserve" }
 [variables]
 # Available for Jinja2 templates
 syntax = "cli"          # "cli" or "mcp"
+language = "python"     # "python" or "typescript" (LX-05)
 version = "5.0"
 project_name = ""       # Set by init
 

invar/templates/onboard/assessment.md.jinja

@@ -0,0 +1,214 @@
+{#
+  Expected variables:
+  - project_name: str
+  - timestamp: str
+  - invar_version: str
+  - language: str
+  - framework?: str (default "N/A")
+  - loc: int
+  - files: int
+  - test_type: str
+  - test_count: int
+  - compatibility: int (0-100)
+  - total_days: int
+  - risk_level: str ("Low" | "Medium" | "High")
+  - architecture_diagram: str
+  - dependency_map?: str
+  - current_error, gap_error: str
+  - current_validation, gap_validation: str
+  - current_separation, gap_separation: str
+  - current_test, gap_test: str
+  - error_patterns?: [{type: str, count: int, locations: [str]}]
+  - validation_patterns?: [{library: str, usage: str, files: [str]}]
+  - high_risk_areas?: [{name: str, reason: str, files: [str], impact: str}]
+  - blockers?: [{name: str, description: str, mitigation: str}]
+  - dependency_risks?: [{name: str, risk_level: str, reason: str}]
+  - phase1_days, phase2_days, phase3_days, phase4_days, phase5_days: int
+  - contract_type: str
+  - base_effort: float
+  - adjustments: [{factor: str, reason: str}]
+  - adjustment_formula: str
+  - recommendation: str
+  - result_library: str
+  - additional_prereqs?: [str]
+  - quick_wins?: [{name: str, description: str, effort: str, impact: str}]
+  - layers: [{name: str, files: int, loc: int, notes?: str}]
+  - priority_files: [{path: str, loc: int, current_state: str, target_state: str, dependencies?: [str]}]
+#}
+# Invar Onboarding Assessment
+
+> Project: {{ project_name }}
+> Assessed: {{ timestamp }}
+> Invar Version: {{ invar_version }}
+
+## 1. Summary
+
+| Metric | Value |
+|--------|-------|
+| Primary Language | {{ language }} |
+| Framework | {{ framework | default("N/A") }} |
+| Code Size | {{ loc }} lines / {{ files }} files |
+| Test Coverage | {{ test_type }}: {{ test_count }} tests |
+| **Invar Compatibility** | **{{ compatibility }}%** |
+| **Estimated Effort** | **{{ total_days }} days** |
+| **Risk Level** | **{{ risk_level }}** |
+
+## 2. Architecture Analysis
+
+### 2.1 Layer Structure
+
+```
+{{ architecture_diagram }}
+```
+
+### 2.2 Dependency Map
+
+{% if dependency_map %}
+{{ dependency_map }}
+{% else %}
+*No complex dependencies detected.*
+{% endif %}
+
+## 3. Pattern Analysis
+
+| Dimension | Current | Invar Target | Gap |
+|-----------|---------|--------------|-----|
+| Error Handling | {{ current_error }} | Result[T, E] / Result<T, E> | {{ gap_error }} |
+| Validation | {{ current_validation }} | @pre/@post / Zod | {{ gap_validation }} |
+| Core/Shell | {{ current_separation }} | Explicit separation | {{ gap_separation }} |
+| Testing | {{ current_test }} | Doctest + Property | {{ gap_test }} |
+
+### 3.1 Error Handling Details
+
+{% if error_patterns %}
+| Pattern | Count | Location |
+|---------|-------|----------|
+{% for pattern in error_patterns %}
+| {{ pattern.type }} | {{ pattern.count }} | {{ pattern.locations | join(", ") }} |
+{% endfor %}
+{% else %}
+*No error handling patterns detected.*
+{% endif %}
+
+### 3.2 Validation Details
+
+{% if validation_patterns %}
+| Library | Usage | Files |
+|---------|-------|-------|
+{% for pattern in validation_patterns %}
+| {{ pattern.library }} | {{ pattern.usage }} | {{ pattern.files | join(", ") }} |
+{% endfor %}
+{% else %}
+*No validation libraries detected.*
+{% endif %}
+
+## 4. Risk Assessment
+
+### 4.1 High Risk Areas
+
+{% if high_risk_areas %}
+{% for area in high_risk_areas %}
+- **{{ area.name }}**: {{ area.reason }}
+  - Files: {{ area.files | join(", ") }}
+  - Impact: {{ area.impact }}
+{% endfor %}
+{% else %}
+*No high risk areas identified.*
+{% endif %}
+
+### 4.2 Blockers
+
+{% if blockers %}
+{% for blocker in blockers %}
+- [ ] **{{ blocker.name }}**: {{ blocker.description }}
+  - Mitigation: {{ blocker.mitigation }}
+{% endfor %}
+{% else %}
+*No blockers identified.*
+{% endif %}
+
+### 4.3 Dependency Risks
+
+{% if dependency_risks %}
+| Dependency | Risk | Reason |
+|------------|------|--------|
+{% for dep in dependency_risks %}
+| {{ dep.name }} | {{ dep.risk_level }} | {{ dep.reason }} |
+{% endfor %}
+{% else %}
+*No dependency risks identified.*
+{% endif %}
+
+## 5. Effort Breakdown
+
+| Phase | Scope | Estimate |
+|-------|-------|----------|
+| Foundation | Error types, Result infrastructure | {{ phase1_days }} days |
+| Core Extraction | Pure function isolation | {{ phase2_days }} days |
+| Shell Refactor | I/O layer Result conversion | {{ phase3_days }} days |
+| Contracts | {{ contract_type }} | {{ phase4_days }} days |
+| Validation | Guard integration, test coverage | {{ phase5_days }} days |
+| **Total** | | **{{ total_days }} days** |
+
+### 5.1 Estimation Factors
+
+```
+Base effort: {{ base_effort }} days ({{ loc }} LOC / 100)
+
+Adjustments:
+{% for adj in adjustments %}
+{{ adj.factor }} {{ adj.reason }}
+{% endfor %}
+
+Final: {{ base_effort }} {{ adjustment_formula }} = {{ total_days }} days
+```
+
+## 6. Recommendations
+
+### 6.1 Suggested Approach
+
+{{ recommendation }}
+
+### 6.2 Prerequisites
+
+- [ ] E2E test coverage > 80% for critical paths
+- [ ] Result library installed ({{ result_library }})
+- [ ] Error type hierarchy defined
+{% for prereq in additional_prereqs %}
+- [ ] {{ prereq }}
+{% endfor %}
+
+### 6.3 Quick Wins
+
+{% if quick_wins %}
+{% for win in quick_wins %}
+1. **{{ win.name }}**: {{ win.description }}
+   - Effort: {{ win.effort }}
+   - Impact: {{ win.impact }}
+{% endfor %}
+{% else %}
+*No quick wins identified.*
+{% endif %}
+
+## 7. File Analysis
+
+### 7.1 Files by Layer (Proposed)
+
+| Layer | Files | LOC | Notes |
+|-------|-------|-----|-------|
+{% for layer in layers %}
+| {{ layer.name }} | {{ layer.files }} | {{ layer.loc }} | {{ layer.notes | default("") }} |
+{% endfor %}
+
+### 7.2 Migration Priority
+
+{% for file in priority_files %}
+{{ loop.index }}. `{{ file.path }}` ({{ file.loc }} lines)
+   - Current: {{ file.current_state }}
+   - Target: {{ file.target_state }}
+   - Dependencies: {{ file.dependencies | join(", ") | default("None") }}
+{% endfor %}
+
+---
+
+*Generated by /invar-onboard*