core/agent: track per-line lineno read state

src/plyngent/agent/__init__.py

@@ -1,5 +1,7 @@
 from .chat import ChatAgent as ChatAgent
 from .chat import get_lineno_read_files as get_lineno_read_files
+from .chat import invalidate_lineno_read as invalidate_lineno_read
+from .chat import lineno_read_lines as lineno_read_lines
 from .chat import mark_lineno_read as mark_lineno_read
 from .chat import reset_lineno_tracker as reset_lineno_tracker
 from .chat import was_lineno_read as was_lineno_read

src/plyngent/agent/chat.py

@@ -46,20 +46,21 @@ if TYPE_CHECKING:
     type LimitContinueHook = Callable[[str], bool | Awaitable[bool]]
 
 
-# Per-conversation tracking of files read with ``with_lineno=True``.
+# Per-conversation tracking of lines read with ``with_lineno=True``, keyed by
-# Set to a fresh ``set`` at the start of each user turn via
+# resolved file path. Set to a fresh ``dict`` at the start of each user turn via
 # :func:`reset_lineno_tracker`; cleared after the assistant finishes.
-# Tool handlers read/write via :func:`get_lineno_read_files`.
+# Tool handlers read/write via :func:`get_lineno_read_files` /
-_lineno_read_files: ContextVar[set[str] | None] = ContextVar("_lineno_read_files", default=None)
+# :func:`lineno_read_lines` / :func:`mark_lineno_read`.
+_lineno_read_files: ContextVar[dict[str, set[int]] | None] = ContextVar("_lineno_read_files", default=None)
 
 
-def reset_lineno_tracker() -> Token[set[str] | None]:
+def reset_lineno_tracker() -> Token[dict[str, set[int]] | None]:
-    """Replace the tracker with a fresh empty set; return the previous token.
+    """Replace the tracker with a fresh empty mapping; return the previous token.
 
     Call at the start of a new user turn. Restore with
     ``_lineno_read_files.reset(token)`` when the turn completes.
     """
-    return _lineno_read_files.set(set())
+    return _lineno_read_files.set({})
 
 
 def get_lineno_read_files() -> set[str]:
@@ -68,20 +69,41 @@ def get_lineno_read_files() -> set[str]:
     Returns an empty set when no turn is active (tools will reject edits).
     """
     val = _lineno_read_files.get()
-    return val if val is not None else set()
+    return set(val) if val is not None else set()
 
 
-def mark_lineno_read(path: str) -> None:
+def lineno_read_lines(path: str) -> set[int]:
-    """Record that *path* was read with line numbers this turn."""
+    """Return the set of 1-based line numbers read this turn for *path*.
+
+    Returns an empty set when no turn is active (tools will reject edits).
+    """
+    val = _lineno_read_files.get()
+    if val is None:
+        return set()
+    return set(val.get(path, ()))
+
+
+def mark_lineno_read(path: str, lines: set[int]) -> None:
+    """Record that *path* was read with line numbers this turn.
+
+    ``lines`` are 1-based absolute file line numbers (``read_file`` slice).
+    """
     val = _lineno_read_files.get()
     if val is not None:
-        val.add(path)
+        val.setdefault(path, set()).update(lines)
+
+
+def invalidate_lineno_read(path: str) -> None:
+    """Drop all read-line state for *path* (file changed under the model)."""
+    val = _lineno_read_files.get()
+    if val is not None:
+        _ = val.pop(path, None)
 
 
 def was_lineno_read(path: str) -> bool:
-    """Return True if *path* was read with line numbers this turn."""
+    """Return True if any line of *path* was read with line numbers this turn."""
     val = _lineno_read_files.get()
-    return val is not None and path in val
+    return val is not None and bool(val.get(path))
 
 
 def incomplete_turn_user_text(messages: Sequence[AnyChatMessage]) -> str | None:

src/plyngent/tools/file/read.py

@@ -44,6 +44,6 @@ async def read_file(
         return ""
     slice_lines = lines[start:end]
     if with_lineno:
-        mark_lineno_read(str(target))
+        mark_lineno_read(str(target), set(range(start + 1, end + 1)))
         return _format_with_lineno(slice_lines, start_lineno=start + 1)
     return "".join(slice_lines)