agentltl-coding 0.2.4__tar.gz → 0.2.5__tar.gz

{agentltl_coding-0.2.4/src/agentltl_coding.egg-info → agentltl_coding-0.2.5}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: agentltl-coding
-Version: 0.2.4
+Version: 0.2.5
 Summary: AgentLTL rules for coding agents: the AGENTLTL.yaml language, a rule library, and a guard any harness can call.
 License: MIT
 Project-URL: Homepage, https://agentltl.github.io
@@ -9,7 +9,7 @@ Requires-Python: >=3.10
 Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: agentltl>=0.2
-Requires-Dist: cli-to-tools>=0.2
+Requires-Dist: cli-to-tools>=0.2.2
 Requires-Dist: pyyaml>=6.0
 Provides-Extra: dev
 Requires-Dist: pytest>=7.0; extra == "dev"
@@ -58,7 +58,13 @@ plugin's README into your agent ([Claude Code](https://github.com/AgentLTL/agent
 harness for another agent, paste this into your coding agent:
 
 ```
-Install agentltl-coding (pip install "git+https://github.com/AgentLTL/agentltl-coding.git" in a virtual environment) and read its README at https://github.com/AgentLTL/agentltl-coding, then help me write a harness for my agent.
+Install agentltl-coding (pip install agentltl-coding, in a virtual environment) and read its README at https://github.com/AgentLTL/agentltl-coding, then help me write a harness for my agent.
+```
+
+Or install it yourself:
+
+```bash
+pip install agentltl-coding      # also installs agentltl and cli-to-tools
 ```
 
 ## A harness in a few lines

{agentltl_coding-0.2.4 → agentltl_coding-0.2.5}/README.md

@@ -40,7 +40,13 @@ plugin's README into your agent ([Claude Code](https://github.com/AgentLTL/agent
 harness for another agent, paste this into your coding agent:
 
 ```
-Install agentltl-coding (pip install "git+https://github.com/AgentLTL/agentltl-coding.git" in a virtual environment) and read its README at https://github.com/AgentLTL/agentltl-coding, then help me write a harness for my agent.
+Install agentltl-coding (pip install agentltl-coding, in a virtual environment) and read its README at https://github.com/AgentLTL/agentltl-coding, then help me write a harness for my agent.
+```
+
+Or install it yourself:
+
+```bash
+pip install agentltl-coding      # also installs agentltl and cli-to-tools
 ```
 
 ## A harness in a few lines

{agentltl_coding-0.2.4 → agentltl_coding-0.2.5}/pyproject.toml

@@ -4,14 +4,14 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "agentltl-coding"
-version = "0.2.4"
+version = "0.2.5"
 description = "AgentLTL rules for coding agents: the AGENTLTL.yaml language, a rule library, and a guard any harness can call."
 readme = "README.md"
 requires-python = ">=3.10"
 license = { text = "MIT" }
 dependencies = [
     "agentltl>=0.2",
-    "cli-to-tools>=0.2",
+    "cli-to-tools>=0.2.2",
     "pyyaml>=6.0",
 ]
 

{agentltl_coding-0.2.4 → agentltl_coding-0.2.5}/src/agentltl_coding/__init__.py

@@ -15,7 +15,7 @@ from .pattern import Paths
 from .rules import RuleFileError, RuleSet, library, load, loads, rule_files
 from .session import Session
 
-__version__ = "0.2.4"
+__version__ = "0.2.5"
 
 __all__ = ["Guard", "Harness", "Paths", "RuleFileError", "RuleSet", "Session", "Verdict", "configure",
            "current", "library", "lint", "load", "loads", "rule_files", "translator_for"]

{agentltl_coding-0.2.4 → agentltl_coding-0.2.5}/src/agentltl_coding/pattern.py

@@ -44,6 +44,7 @@ from __future__ import annotations
 
 import fnmatch
 import os
+import posixpath
 from dataclasses import dataclass, field
 from typing import Any, Dict, List, Optional, Sequence, Tuple
 
@@ -274,15 +275,22 @@ def _glob(value: str, pattern: str, paths: Paths) -> bool:
     return False
 
 
+def _slashes(path: str) -> str:
+    """*path* with ``/`` separators: globs are written with ``/``, and on Windows paths come
+    with ``\\``."""
+    return path.replace("\\", "/") if os.sep == "\\" else path
+
+
 def _forms(value: str, paths: Paths, basename: bool) -> Sequence[str]:
-    forms = [value]
+    forms = [_slashes(value)]
     if value and not value.startswith(("-", "http://", "https://")):
-        absolute = _absolute(value, paths)
+        absolute = _slashes(_absolute(value, paths))
+        root = _slashes(paths.root).rstrip("/")
         forms.append(absolute)
-        if paths.root and (absolute == paths.root or absolute.startswith(paths.root + os.sep)):
-            forms.append(os.path.relpath(absolute, paths.root))
+        if root and (absolute == root or absolute.startswith(root + "/")):
+            forms.append(absolute[len(root):].lstrip("/") or ".")
         if basename:
-            forms.append(os.path.basename(absolute))
+            forms.append(posixpath.basename(absolute))
     return forms
 
 

{agentltl_coding-0.2.4 → agentltl_coding-0.2.5}/src/agentltl_coding/store.py

@@ -14,16 +14,55 @@ environment), else ``~/.cache/agentltl-<harness>/sessions``.
 
 from __future__ import annotations
 
-import fcntl
 import hashlib
 import json
 import os
 import re
 import sys
 import tempfile
+import time
 from contextlib import contextmanager
 from typing import Any, Dict, Iterator, List, Optional
 
+if os.name == "nt":
+    import errno
+    import msvcrt
+
+    _CONTENTION = {errno.EACCES, errno.EDEADLK, getattr(errno, "EDEADLOCK", errno.EDEADLK)}
+
+    def _lock_exclusive(fh) -> None:
+        """Block until this process holds an exclusive lock on *fh*; closing it releases it."""
+        deadline = time.monotonic() + 60
+        while True:
+            try:
+                fh.seek(0)
+                msvcrt.locking(fh.fileno(), msvcrt.LK_NBLCK, 1)
+                return
+            except OSError as exc:
+                # Another process holds the lock (EACCES, or EDEADLOCK after msvcrt's own
+                # retries): wait. Any other error cannot recover, so surface it now.
+                if exc.errno not in _CONTENTION or time.monotonic() > deadline:
+                    raise
+                time.sleep(0.05)
+else:
+    import fcntl
+
+    def _lock_exclusive(fh) -> None:
+        """Block until this process holds an exclusive lock on *fh*; closing it releases it."""
+        fcntl.flock(fh, fcntl.LOCK_EX)
+
+
+def _replace(tmp: str, path: str) -> None:
+    """os.replace, retrying on Windows, which refuses while another process reads *path*."""
+    for attempt in range(100):
+        try:
+            os.replace(tmp, path)
+            return
+        except PermissionError:
+            if os.name != "nt" or attempt == 99:
+                raise
+            time.sleep(0.02)
+
 
 def state_dir() -> str:
     from .harness import current
@@ -67,13 +106,13 @@ def read_project(project_dir: str) -> Dict[str, Any]:
 def _locked(path: str) -> Iterator[Dict[str, Any]]:
     os.makedirs(os.path.dirname(path), exist_ok=True)
     with open(path + ".lock", "w") as lock:
-        fcntl.flock(lock, fcntl.LOCK_EX)
+        _lock_exclusive(lock)
         state = _read(path)
         yield state
         fd, tmp = tempfile.mkstemp(dir=os.path.dirname(path), suffix=".tmp")
         with os.fdopen(fd, "w", encoding="utf-8") as fh:
             json.dump(state, fh, default=str)
-        os.replace(tmp, path)
+        _replace(tmp, path)
 
 
 @contextmanager

{agentltl_coding-0.2.4 → agentltl_coding-0.2.5/src/agentltl_coding.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: agentltl-coding
-Version: 0.2.4
+Version: 0.2.5
 Summary: AgentLTL rules for coding agents: the AGENTLTL.yaml language, a rule library, and a guard any harness can call.
 License: MIT
 Project-URL: Homepage, https://agentltl.github.io
@@ -9,7 +9,7 @@ Requires-Python: >=3.10
 Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: agentltl>=0.2
-Requires-Dist: cli-to-tools>=0.2
+Requires-Dist: cli-to-tools>=0.2.2
 Requires-Dist: pyyaml>=6.0
 Provides-Extra: dev
 Requires-Dist: pytest>=7.0; extra == "dev"
@@ -58,7 +58,13 @@ plugin's README into your agent ([Claude Code](https://github.com/AgentLTL/agent
 harness for another agent, paste this into your coding agent:
 
 ```
-Install agentltl-coding (pip install "git+https://github.com/AgentLTL/agentltl-coding.git" in a virtual environment) and read its README at https://github.com/AgentLTL/agentltl-coding, then help me write a harness for my agent.
+Install agentltl-coding (pip install agentltl-coding, in a virtual environment) and read its README at https://github.com/AgentLTL/agentltl-coding, then help me write a harness for my agent.
+```
+
+Or install it yourself:
+
+```bash
+pip install agentltl-coding      # also installs agentltl and cli-to-tools
 ```
 
 ## A harness in a few lines

{agentltl_coding-0.2.4 → agentltl_coding-0.2.5}/src/agentltl_coding.egg-info/SOURCES.txt

@@ -49,4 +49,5 @@ tests/test_library.py
 tests/test_rules.py
 tests/test_scan.py
 tests/test_scripted_model.py
-tests/test_session.py
+tests/test_session.py
+tests/test_windows.py

{agentltl_coding-0.2.4 → agentltl_coding-0.2.5}/src/agentltl_coding.egg-info/requires.txt

@@ -1,5 +1,5 @@
 agentltl>=0.2
-cli-to-tools>=0.2
+cli-to-tools>=0.2.2
 pyyaml>=6.0
 
 [dev]

agentltl_coding-0.2.5/tests/test_windows.py

@@ -0,0 +1,61 @@
+"""What only differs on Windows: backslash paths against `/` globs, and the session lock."""
+
+import errno
+import os
+import time
+
+import pytest
+
+from agentltl_coding.pattern import Paths, parse_target
+
+windows_only = pytest.mark.skipif(os.name != "nt", reason="Windows paths and msvcrt locking")
+
+
+@windows_only
+@pytest.mark.parametrize("glob,value,expected", [
+    ("src/*.py", "a.py", True),                       # project-relative glob, relative argument
+    ("src/*.py", "C:\\proj\\src\\a.py", True),        # ... and an absolute backslash argument
+    ("src/*.py", "..\\a.py", False),
+    ("*.lock", "C:\\proj\\sub\\poetry.lock", True),   # basename glob
+    ("**/.env", "C:\\proj\\.env", True),
+    ("**/.env", "C:\\proj\\.environment", False),
+])
+def test_globs_match_backslash_paths(glob, value, expected):
+    paths = Paths("C:\\proj\\src", "C:\\proj")
+    target = parse_target({"tool": "rm", "where": {"paths": glob}}, "t")
+    assert target.matches("rm", {"paths": [value]}, paths) is expected
+
+
+@windows_only
+def test_the_session_lock_surfaces_an_error_that_cannot_recover(tmp_path, monkeypatch):
+    import msvcrt
+
+    from agentltl_coding import store
+
+    def invalid(*args):
+        raise OSError(errno.EINVAL, "invalid lock")
+
+    monkeypatch.setattr(msvcrt, "locking", invalid)
+    start = time.monotonic()
+    with open(tmp_path / "x.lock", "w") as fh, pytest.raises(OSError):
+        store._lock_exclusive(fh)
+    assert time.monotonic() - start < 5          # not the 60 seconds of waiting for a holder
+
+
+@windows_only
+def test_the_session_lock_waits_while_another_process_holds_it(tmp_path, monkeypatch):
+    import msvcrt
+
+    from agentltl_coding import store
+
+    calls = []
+
+    def busy_twice(fd, mode, nbytes):
+        calls.append(1)
+        if len(calls) < 3:
+            raise OSError(errno.EACCES, "locked")
+
+    monkeypatch.setattr(msvcrt, "locking", busy_twice)
+    with open(tmp_path / "x.lock", "w") as fh:
+        store._lock_exclusive(fh)
+    assert len(calls) == 3