voidx 3.1.1__tar.gz → 3.1.2__tar.gz

{voidx-3.1.1 → voidx-3.1.2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: voidx
-Version: 3.1.1
+Version: 3.1.2
 Summary: A coding agent that quantifies everything and solves with tools, not fuzzy prompts.
 Requires-Python: >=3.11
 Description-Content-Type: text/markdown

{voidx-3.1.1 → voidx-3.1.2}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "voidx"
-version = "3.1.1"
+version = "3.1.2"
 description = "A coding agent that quantifies everything and solves with tools, not fuzzy prompts."
 readme = "README.md"
 requires-python = ">=3.11"

{voidx-3.1.1 → voidx-3.1.2}/src/voidx/__init__.py

@@ -1,3 +1,3 @@
 """VoidX - A coding agent that quantifies everything."""
 
-__version__ = "3.1.1"
+__version__ = "3.1.2"

{voidx-3.1.1 → voidx-3.1.2}/src/voidx/agent/graph/core/llm.py

@@ -184,6 +184,7 @@ class GraphLlmMixin:
         state_messages = sanitize_failed_tool_exchanges(
             state_messages,
             preserve_latest=True,
+            preserve_rounds=2,
         )
         compaction_happened = False
         raw_todo_state = (

{voidx-3.1.1 → voidx-3.1.2}/src/voidx/agent/graph/runtime_guards.py

@@ -284,7 +284,7 @@ def tool_call_key(tool_call: dict[str, Any]) -> str:
 
 
 def normalize_tool_args(tool_name: str, args: dict[str, Any]) -> str:
-    if tool_name in {"read", "file", "line", "replace", "lsp_format"}:
+    if tool_name in {"read", "file", "write", "replace", "lsp_format"}:
         return str(args.get("file_path") or "")
     if tool_name == "lsp":
         return stable_json({

{voidx-3.1.1 → voidx-3.1.2}/src/voidx/agent/graph/streaming.py

@@ -138,7 +138,7 @@ def _sanitize_messages_for_replay(messages: list, *, protocol: str = "") -> list
         sanitized,
         preserve_latest_tool_exchange=True,
     )
-    sanitized = sanitize_failed_tool_exchanges(sanitized, preserve_latest=True)
+    sanitized = sanitize_failed_tool_exchanges(sanitized, preserve_latest=True, preserve_rounds=2)
     return _repair_tool_result_adjacency(sanitized)
 
 

{voidx-3.1.1 → voidx-3.1.2}/src/voidx/agent/tool_exchange_sanitizer.py

@@ -14,10 +14,11 @@ def sanitize_failed_tool_exchanges(
     messages: list[BaseMessage],
     *,
     preserve_latest: bool = False,
+    preserve_rounds: int = 1,
 ) -> list[BaseMessage]:
     failed_ids = _failed_tool_call_ids(messages)
     if preserve_latest:
-        failed_ids.difference_update(_latest_failed_tool_exchange_ids(messages))
+        failed_ids.difference_update(_latest_failed_tool_exchange_ids(messages, rounds=preserve_rounds))
     if not failed_ids:
         return messages
 
@@ -52,21 +53,30 @@ def _failed_tool_call_ids(messages: list[BaseMessage]) -> set[str]:
     return failed
 
 
-def _latest_failed_tool_exchange_ids(messages: list[BaseMessage]) -> set[str]:
-    trailing_failed_ids: set[str] = set()
+def _latest_failed_tool_exchange_ids(messages: list[BaseMessage], *, rounds: int = 1) -> set[str]:
+    preserved: set[str] = set()
     index = len(messages) - 1
-    while index >= 0 and isinstance(messages[index], ToolMessage):
-        message = messages[index]
-        tool_call_id = str(getattr(message, "tool_call_id", "") or "")
-        if tool_call_id and message_status(getattr(message, "status", None)) == "error":
-            trailing_failed_ids.add(tool_call_id)
-        index -= 1
+    rounds_found = 0
+
+    while index >= 0 and rounds_found < rounds:
+        # Collect trailing ToolMessages at current position
+        round_failed: set[str] = set()
+        while index >= 0 and isinstance(messages[index], ToolMessage):
+            message = messages[index]
+            tool_call_id = str(getattr(message, "tool_call_id", "") or "")
+            if tool_call_id and message_status(getattr(message, "status", None)) == "error":
+                round_failed.add(tool_call_id)
+            index -= 1
+
+        if not round_failed or index < 0 or not isinstance(messages[index], AIMessage):
+            break
 
-    if not trailing_failed_ids or index < 0 or not isinstance(messages[index], AIMessage):
-        return set()
+        ai_ids = set(ai_tool_call_ids(messages[index]))
+        preserved.update(round_failed.intersection(ai_ids))
+        rounds_found += 1
+        index -= 1
 
-    ai_ids = set(ai_tool_call_ids(messages[index]))
-    return trailing_failed_ids.intersection(ai_ids)
+    return preserved
 
 
 def _sanitize_ai_failed_calls(message: AIMessage, failed_ids: set[str]) -> AIMessage | None:

{voidx-3.1.1 → voidx-3.1.2}/src/voidx/diffing.py

@@ -159,6 +159,102 @@ def make_file_diff(
     return "".join(diff)
 
 
+def make_structured_diff(
+    filepath: str,
+    old_content: str,
+    new_content: str,
+) -> FileDiff:
+    """Generate a structured FileDiff directly, without a text round-trip.
+
+    Uses SequenceMatcher.get_grouped_opcodes(n=3) to match unified_diff's
+    hunk-grouping behavior.  Handles the old_start=0 / new_start=0 convention
+    for pure-insert / pure-delete hunks.
+    """
+    old = old_content.splitlines(keepends=True)
+    new = new_content.splitlines(keepends=True)
+    sm = difflib.SequenceMatcher(a=old, b=new, autojunk=False)
+
+    file_diff = FileDiff(
+        old_path=f"a/{filepath}",
+        new_path=f"b/{filepath}",
+        path=filepath,
+        operation="Update",
+    )
+    if not old and not new:
+        return file_diff
+    if not old:
+        file_diff.operation = "Create"
+    elif not new:
+        file_diff.operation = "Delete"
+
+    for group in sm.get_grouped_opcodes(n=3):
+        first_tag, first_i1, first_i2, first_j1, first_j2 = group[0]
+        last_tag, last_i1, last_i2, last_j1, last_j2 = group[-1]
+
+        old_count = last_i2 - first_i1
+        new_count = last_j2 - first_j1
+        old_start = 0 if old_count == 0 else first_i1 + 1
+        new_start = 0 if new_count == 0 else first_j1 + 1
+
+        hunk = DiffHunk(
+            old_start=old_start,
+            old_count=old_count,
+            new_start=new_start,
+            new_count=new_count,
+        )
+
+        old_lineno = old_start
+        new_lineno = new_start
+        for tag, i1, i2, j1, j2 in group:
+            if tag == "equal":
+                for k in range(i2 - i1):
+                    hunk.lines.append(DiffLine(
+                        kind="context",
+                        old_lineno=old_lineno,
+                        new_lineno=new_lineno,
+                        text=old[i1 + k].rstrip("\n"),
+                    ))
+                    old_lineno += 1
+                    new_lineno += 1
+            elif tag == "replace":
+                for k in range(i2 - i1):
+                    hunk.lines.append(DiffLine(
+                        kind="remove",
+                        old_lineno=old_lineno,
+                        text=old[i1 + k].rstrip("\n"),
+                    ))
+                    old_lineno += 1
+                for k in range(j2 - j1):
+                    hunk.lines.append(DiffLine(
+                        kind="add",
+                        new_lineno=new_lineno,
+                        text=new[j1 + k].rstrip("\n"),
+                    ))
+                    new_lineno += 1
+            elif tag == "delete":
+                for k in range(i2 - i1):
+                    hunk.lines.append(DiffLine(
+                        kind="remove",
+                        old_lineno=old_lineno,
+                        text=old[i1 + k].rstrip("\n"),
+                    ))
+                    old_lineno += 1
+            elif tag == "insert":
+                for k in range(j2 - j1):
+                    hunk.lines.append(DiffLine(
+                        kind="add",
+                        new_lineno=new_lineno,
+                        text=new[j1 + k].rstrip("\n"),
+                    ))
+                    new_lineno += 1
+
+        file_diff.hunks.append(hunk)
+        file_diff.added += sum(1 for line in hunk.lines if line.kind == "add")
+        file_diff.removed += sum(1 for line in hunk.lines if line.kind == "remove")
+
+    return file_diff
+
+
 def diff_stat(diff_text: str) -> tuple[int, int]:
     """Return (added, removed) line counts from a unified diff."""
     added = 0

{voidx-3.1.1 → voidx-3.1.2}/src/voidx/llm/compaction.py

@@ -150,7 +150,7 @@ def _prune_ai_tool_call_args(
                 saved_chars += len(args["new_string"]) - len(placeholder)
                 args["new_string"] = placeholder
                 changed = True
-        elif name == "line" and args.get("op") == "insert" and "new_string" in args:
+        elif name == "write" and args.get("op") in ("insert", "append") and "new_string" in args:
             placeholder = PRUNE_ARGS_PLACEHOLDER_DIFF
             if len(args["new_string"]) > len(placeholder) and _tool_result_has_diff(messages, ai_msg_index, tc_id):
                 saved_chars += len(args["new_string"]) - len(placeholder)
@@ -267,8 +267,6 @@ class CompactionService:
             # Count turns by user messages
             if isinstance(msg, HumanMessage):
                 turns_seen += 1
-                if turns_seen > 2:
-                    continue
 
             if isinstance(msg, AIMessage) and hasattr(msg, "summary") and msg.summary:
                 break  # stop at compaction boundary
@@ -301,6 +299,10 @@ class CompactionService:
             if accumulated <= PRUNE_PROTECT:
                 continue
 
+            # Protect most recent 2 turns from ToolMessage truncation
+            if turns_seen < 2:
+                continue
+
             if len(content) > TOOL_OUTPUT_MAX_CHARS:
                 truncated = content[:TOOL_OUTPUT_MAX_CHARS] + (
                     f"\n\n[Tool output truncated for context: omitted {len(content) - TOOL_OUTPUT_MAX_CHARS} chars]"

{voidx-3.1.1 → voidx-3.1.2}/src/voidx/permission/engine.py

@@ -119,7 +119,7 @@ def strategy_action_for_tool(classified: ClassifiedToolCall, context: Permission
         return "allow"
     if classified.capability in {PermissionCapability.BASH_READ, PermissionCapability.GIT_READ}:
         return "allow"
-    permission = "edit" if classified.name in {"file", "line", "replace"} else classified.name
+    permission = "edit" if classified.name in {"file", "write", "replace"} else classified.name
     return evaluate(permission, classified.pattern, BASIC_RULES).action
 
 
@@ -148,7 +148,7 @@ def resolve_approval(classified: ClassifiedToolCall, context: PermissionContext)
 
 
 def _session_rule_matches(tool: str, rule: str) -> bool:
-    if rule == "edit" and tool in {"file", "line", "replace"}:
+    if rule == "edit" and tool in {"file", "write", "replace"}:
         return True
     if wildcard_match(tool, rule):
         return True

{voidx-3.1.1 → voidx-3.1.2}/src/voidx/permission/evaluate.py

@@ -83,7 +83,7 @@ def merge(*rulesets: Ruleset) -> Ruleset:
 
 def disabled_tools(all_tools: list[str], ruleset: Ruleset) -> set[str]:
     """Find which tools are completely disabled (denied with pattern="*")."""
-    EDIT_TOOLS = {"file", "line", "replace"}
+    EDIT_TOOLS = {"file", "write", "replace"}
     disabled: set[str] = set()
     for tool in all_tools:
         permission = "edit" if tool in EDIT_TOOLS else tool

{voidx-3.1.1 → voidx-3.1.2}/src/voidx/permission/rules.py

@@ -89,7 +89,7 @@ def tool_call_from_pattern(tool: str, pattern: str = "*") -> dict:
 
 def repair_tool_name(tool: str) -> str:
     tool_map = {
-        "Read": "read", "Write": "file", "Edit": "replace", "Delete": "line",
+        "Read": "read", "Write": "file", "Edit": "replace", "Delete": "replace",
         "MultiEdit": "replace", "multiEdit": "replace", "multi_edit": "replace",
         "Glob": "glob", "Grep": "grep", "Bash": "bash",
         "Agent": "agent", "TodoWrite": "todo", "Todo": "todo",
@@ -102,7 +102,7 @@ def repair_tool_name(tool: str) -> str:
         "LspDiagnostics": "lsp", "LspSymbols": "lsp",
         "LspDefinition": "lsp", "LspReferences": "lsp",
         "CompactContext": "compact",
-        "write": "file", "edit": "replace", "insert": "line", "delete": "line",
+        "edit": "replace", "insert": "write", "append": "write", "delete": "replace", "line": "write",
     }
     return tool_map.get(tool, tool_map.get(tool.lower(), tool))
 
@@ -357,7 +357,7 @@ def capability_for_tool(tool: str, args: dict) -> PermissionCapability:
         "repo_map", "lsp",
     }:
         return PermissionCapability.READ_TOOLS
-    if tool in {"file", "line", "replace"}:
+    if tool in {"file", "write", "replace"}:
         return PermissionCapability.FILE_WRITE
     if tool == "bash":
         return PermissionCapability.BASH_READ if is_safe_bash(str(args.get("command", ""))) else PermissionCapability.BASH_WRITE
@@ -372,7 +372,7 @@ def capability_for_tool(tool: str, args: dict) -> PermissionCapability:
 
 
 _FILE_PATTERN_TOOLS = {
-    "read", "file", "line", "replace",
+    "read", "file", "write", "replace",
     "lsp",
 }
 

{voidx-3.1.1 → voidx-3.1.2}/src/voidx/tools/bash_router.py

@@ -7,7 +7,7 @@ import shlex
 from dataclasses import dataclass
 from typing import Literal
 
-_HintableTool = Literal["read", "git", "file", "line", "replace", "glob", "grep"]
+_HintableTool = Literal["read", "git", "file", "write", "replace", "glob", "grep"]
 
 _HEREDOC_MAX_CONTENT = 200
 
@@ -835,12 +835,12 @@ def _hint_write_echo(stripped: str, words: list[str]) -> RouteHint | None:
 
     if is_append:
         return RouteHint(
-            tool_id="line", ui_label="→ line",
-            llm_hint=f'Prefer line(file_path="{path}", op="insert", lineno=-1, new_string="{content}") for file tracking and diff output.',
+            tool_id="write", ui_label="→ write",
+            llm_hint=f'Prefer write(file_path="{path}", op="append", new_string="{content}") for file tracking and diff output.',
         )
     return RouteHint(
         tool_id="file", ui_label="→ file",
-        llm_hint=f'Prefer file(file_path="{path}", op="create") then line(file_path="{path}", op="insert", lineno=0, new_string="{content}") for file tracking and diff output.',
+        llm_hint=f'Prefer file(file_path="{path}", op="create") then line(file_path="{path}", op="append", new_string="{content}") for file tracking and diff output.',
     )
 
 
@@ -887,12 +887,12 @@ def _hint_write_heredoc(stripped: str) -> RouteHint | None:
 
     if is_append:
         return RouteHint(
-            tool_id="line", ui_label="→ line",
-            llm_hint=f'Prefer line(file_path="{path}", op="insert", lineno=-1, new_string="{content}") for file tracking and diff output.',
+            tool_id="write", ui_label="→ write",
+            llm_hint=f'Prefer write(file_path="{path}", op="append", new_string="{content}") for file tracking and diff output.',
         )
     return RouteHint(
         tool_id="file", ui_label="→ file",
-        llm_hint=f'Prefer file(file_path="{path}", op="create") then line(file_path="{path}", op="insert", lineno=0, new_string="{content}") for file tracking and diff output.',
+        llm_hint=f'Prefer file(file_path="{path}", op="create") then line(file_path="{path}", op="append", new_string="{content}") for file tracking and diff output.',
     )
 
 
@@ -1199,8 +1199,8 @@ def _hint_sed(words: list[str]) -> RouteHint | None:
     if m:
         start, end = int(m.group(1)), int(m.group(2))
         return RouteHint(
-            tool_id="line", ui_label="→ line",
-            llm_hint=f'For line range deletion: first read {path} to see lines {start}-{end}, then use line(file_path="{path}", op="delete", lineno={start}, end_no={end}).',
+            tool_id="replace", ui_label="→ replace",
+            llm_hint=f'For line range deletion: first read {path} to see lines {start}-{end}, then use replace(file_path="{path}", start_no={start}, end_no={end}, prefix="...", suffix="...", new_string="").',
         )
 
 
@@ -1208,8 +1208,8 @@ def _hint_sed(words: list[str]) -> RouteHint | None:
     if m:
         line_no = int(m.group(1))
         return RouteHint(
-            tool_id="line", ui_label="→ line",
-            llm_hint=f'For single line deletion: first read {path} to see line {line_no}, then use line(file_path="{path}", op="delete", lineno={line_no}).',
+            tool_id="replace", ui_label="→ replace",
+            llm_hint=f'For single line deletion: first read {path} to see line {line_no}, then use replace(file_path="{path}", start_no={line_no}, end_no={line_no}, prefix="...", suffix="...", new_string="").',
         )
     m = _SED_PATTERN_DELETE.match(script)
     if m:

{voidx-3.1.1 → voidx-3.1.2}/src/voidx/tools/file_ops/__init__.py

@@ -1,17 +1,17 @@
-"""File operation tools — read, file, line, replace. Deterministic, typed I/O."""
+"""File operation tools — read, file, write, replace. Deterministic, typed I/O."""
 
 from __future__ import annotations
 
 from .edit_execute import FileReplaceInput, FileReplaceTool
 from .file import FileInput, FileTool
-from .line import LineInput, LineTool
+from .write import WriteInput, WriteTool
 from .read import FileReadInput, FileReadTool
 
 __all__ = [
     "FileTool",
     "FileInput",
-    "LineTool",
-    "LineInput",
+    "WriteTool",
+    "WriteInput",
     "FileReadTool",
     "FileReadInput",
     "FileReplaceTool",