invar-tools 1.17.8__tar.gz → 1.17.10__tar.gz

{invar_tools-1.17.8 → invar_tools-1.17.10}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: invar-tools
-Version: 1.17.8
+Version: 1.17.10
 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

{invar_tools-1.17.8 → invar_tools-1.17.10}/pyproject.toml

@@ -15,7 +15,7 @@ ignore-vcs = true
 
 [project]
 name = "invar-tools"
-version = "1.17.8"
+version = "1.17.10"
 description = "AI-native software engineering tools with design-by-contract verification"
 readme = "README.md"
 license = "GPL-3.0-or-later"

{invar_tools-1.17.8 → invar_tools-1.17.10}/src/invar/mcp/handlers.py

@@ -11,12 +11,14 @@ import json
 import subprocess
 import sys
 from pathlib import Path
-from typing import Any, Literal
+from typing import TYPE_CHECKING, Any, Literal
 
-from mcp.server.lowlevel.server import StructuredContent, CombinationContent
 from mcp.types import TextContent
 from returns.result import Success
 
+if TYPE_CHECKING:
+    from mcp.server.lowlevel.server import CombinationContent
+
 
 # @invar:allow shell_result: Pure validation helper, no I/O, returns tuple not Result
 # @shell_complexity: Security validation requires multiple checks
@@ -435,6 +437,6 @@ async def _execute_command(
             return [TextContent(type="text", text=output)]
 
     except subprocess.TimeoutExpired:
-        return [TextContent(type="text", text=f"Error: Command timed out ({timeout}s")]
+        return [TextContent(type="text", text=f"Error: Command timed out ({timeout}s)")]
     except Exception as e:
         return [TextContent(type="text", text=f"Error: {e}")]

{invar_tools-1.17.8 → invar_tools-1.17.10}/src/invar/shell/commands/guard.py

@@ -6,7 +6,6 @@ Shell module: handles user interaction and file I/O.
 
 from __future__ import annotations
 
-import os
 from pathlib import Path
 
 import typer
@@ -14,7 +13,6 @@ from returns.result import Failure, Result, Success
 from rich.console import Console
 from rich.table import Table
 
-
 from invar import __version__
 from invar.core.models import GuardReport, RuleConfig
 from invar.core.rules import check_all_rules
@@ -111,6 +109,10 @@ def _scan_and_check(
     return Success(report)
 
 
+def _determine_output_mode(human: bool, agent: bool = False, json_output: bool = False) -> bool:
+    return not human
+
+
 # @invar:allow entry_point_too_thick: Main CLI entry point, orchestrates all verification phases
 @app.command()
 def guard(
@@ -259,7 +261,34 @@ def guard(
         changed_result = handle_changed_mode(path)
         if isinstance(changed_result, Failure):
             if changed_result.failure() == "NO_CHANGES":
-                console.print("[green]No changed files to verify.[/green]")
+                use_agent_output = _determine_output_mode(human, agent, json_output)
+                if use_agent_output:
+                    import json
+
+                    console.print(
+                        json.dumps(
+                            {
+                                "status": "passed",
+                                "static": {"passed": True, "errors": 0, "warnings": 0, "infos": 0},
+                                "summary": {
+                                    "files_checked": 0,
+                                    "errors": 0,
+                                    "warnings": 0,
+                                    "infos": 0,
+                                },
+                                "fixes": [],
+                                "verification_level": "STANDARD",
+                                "doctest": {"passed": True, "output": ""},
+                                "crosshair": {"status": "skipped", "reason": "no changed files"},
+                                "property_tests": {
+                                    "status": "skipped",
+                                    "reason": "no changed files",
+                                },
+                            }
+                        )
+                    )
+                else:
+                    console.print("[green]No changed files to verify.[/green]")
                 raise typer.Exit(0)
             console.print(f"[red]Error:[/red] {changed_result.failure()}")
             raise typer.Exit(1)
@@ -420,27 +449,6 @@ def guard(
     raise typer.Exit(final_exit)
 
 
-# @shell_orchestration: Output mode decision helper for CLI
-def _determine_output_mode(human: bool, agent: bool = False, json_output: bool = False) -> bool:
-    """Determine if agent JSON output should be used (Agent First).
-
-    Agent First principle: Machine-readable JSON is the default output format.
-    Human-readable Rich output is opt-in via --human flag.
-
-    Priority:
-    - --human flag → human output (Rich, colored)
-    - Default → JSON output (machine-readable, Agent Native)
-    - --agent/--json flags → no-op (already default, kept for backward compat)
-    """
-    # --human flag forces human output (priority highest)
-    if human:
-        return False  # use_agent = False
-
-    # Default to JSON output (Agent First)
-    # --agent/--json are now no-ops but kept for backward compatibility
-    return True
-
-
 def _show_verification_level(verification_level) -> None:
     """Show verification level in human-readable format.
 
@@ -470,8 +478,6 @@ def map_command(
     """Generate symbol map with reference counts."""
     from invar.shell.commands.perception import run_map
 
-    # Agent First: Default to JSON output
-    # --json is now a no-op (kept for backward compat)
     use_json = True
     result = run_map(path, top, use_json)
     if isinstance(result, Failure):
@@ -487,8 +493,6 @@ def sig_command(
     """Extract signatures from a file or symbol."""
     from invar.shell.commands.perception import run_sig
 
-    # Agent First: Default to JSON output
-    # --json is now a no-op (kept for backward compat)
     use_json = True
     result = run_sig(target, use_json)
     if isinstance(result, Failure):
@@ -512,8 +516,6 @@ def refs_command(
     """
     from invar.shell.commands.perception import run_refs
 
-    # Agent First: Default to JSON output
-    # --json is now a no-op (kept for backward compat)
     use_json = True
     result = run_refs(target, use_json)
     if isinstance(result, Failure):
@@ -538,8 +540,6 @@ def rules(
 
     from invar.core.rule_meta import RULE_META, RuleCategory, get_rules_by_category
 
-    # Agent First: Default to JSON output
-    # --json is now a no-op (kept for backward compat)
     use_json = True
 
     # Filter by category if specified