agentic-dev-loop 1.0.0a34__tar.gz → 1.0.0a35__tar.gz

{agentic_dev_loop-1.0.0a34/src/agentic_dev_loop.egg-info → agentic_dev_loop-1.0.0a35}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: agentic-dev-loop
-Version: 1.0.0a34
+Version: 1.0.0a35
 Summary: Turn an LLM into a gated, sandboxed, resumable construction loop over your codebase.
 Author: Luke Wilson
 License-Expression: Apache-2.0

{agentic_dev_loop-1.0.0a34 → agentic_dev_loop-1.0.0a35}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "agentic-dev-loop"
-version = "1.0.0a34"
+version = "1.0.0a35"
 description = "Turn an LLM into a gated, sandboxed, resumable construction loop over your codebase."
 readme = "README.md"
 requires-python = ">=3.12"

{agentic_dev_loop-1.0.0a34 → agentic_dev_loop-1.0.0a35}/src/agentic_dev_loop/engine/isolation.py

@@ -1250,6 +1250,7 @@ class DockerBackend(Sandbox):
             "event": "sync_back",
             "synced_paths": list(report.synced_paths),
             "merged_paths": list(report.merged_paths),
+            "host_added_paths": list(report.host_added_paths),
         })
         return report
 

{agentic_dev_loop-1.0.0a34 → agentic_dev_loop-1.0.0a35}/src/agentic_dev_loop/engine/sync_back.py

@@ -46,6 +46,7 @@ class SyncBackReport:
     conflicts: tuple[str, ...]
     merged_paths: tuple[str, ...] = ()
     lane_violations: tuple[str, ...] = ()
+    host_added_paths: tuple[str, ...] = ()
     step_id: str | None = None
     timestamp: str = ""
 
@@ -217,7 +218,13 @@ def sync_back(export_root: str | Path, real_repo: str | Path,
         real = real_files.get(rel)
         base = baseline.get(rel)
         if exp is None and real is not None:
-            changes[rel] = "deleted"
+            # A file missing from the export AND from the baseline was added
+            # host-side after materialisation - never an agent deletion, so it
+            # must not be unlinked (040).
+            if base is None:
+                changes[rel] = "host-added"
+            else:
+                changes[rel] = "deleted"
         elif real is None and exp is not None:
             changes[rel] = "added"
         elif exp != real:
@@ -250,6 +257,8 @@ def sync_back(export_root: str | Path, real_repo: str | Path,
             plan_changes[rel] = kind
 
     plan = plan_sync_back(plan_changes, declared_rw, cache_paths, excludes)
+    host_added_paths = tuple(sorted(
+        rel for rel, kind in changes.items() if kind == "host-added"))
     merged_paths = tuple(sorted(merged_paths))
     hard_conflicts = tuple(sorted(hard_conflicts))
 
@@ -269,6 +278,7 @@ def sync_back(export_root: str | Path, real_repo: str | Path,
         return SyncBackReport(
             synced_paths=(), conflicts=hard_conflicts,
             merged_paths=merged_paths, lane_violations=lane_violations,
+            host_added_paths=host_added_paths,
             step_id=step_id, timestamp=datetime.now(timezone.utc).isoformat())
 
     # A hard (non-merge) conflict keeps the BR-4.4 loud failure and the
@@ -278,8 +288,8 @@ def sync_back(export_root: str | Path, real_repo: str | Path,
     if hard_conflicts:
         return SyncBackReport(
             synced_paths=(), conflicts=hard_conflicts,
-            merged_paths=merged_paths, step_id=step_id,
-            timestamp=datetime.now(timezone.utc).isoformat())
+            merged_paths=merged_paths, host_added_paths=host_added_paths,
+            step_id=step_id, timestamp=datetime.now(timezone.utc).isoformat())
 
     for rel in plan.to_copy:
         src = export_root / rel
@@ -292,4 +302,5 @@ def sync_back(export_root: str | Path, real_repo: str | Path,
     return SyncBackReport(
         synced_paths=plan.to_copy + plan.to_delete,
         conflicts=(), merged_paths=merged_paths, lane_violations=(),
+        host_added_paths=host_added_paths,
         step_id=step_id, timestamp=datetime.now(timezone.utc).isoformat())

{agentic_dev_loop-1.0.0a34 → agentic_dev_loop-1.0.0a35/src/agentic_dev_loop.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: agentic-dev-loop
-Version: 1.0.0a34
+Version: 1.0.0a35
 Summary: Turn an LLM into a gated, sandboxed, resumable construction loop over your codebase.
 Author: Luke Wilson
 License-Expression: Apache-2.0

{agentic_dev_loop-1.0.0a34 → agentic_dev_loop-1.0.0a35}/tests/test_isolation.py

@@ -1585,6 +1585,38 @@ class TestUnit5RuntimeEnforcement:
         finally:
             backend.close()
 
+    def test_sync_back_host_added_skipped_and_audited(self, tmp_path):
+        """040: a real file absent from both the export and the baseline is a
+        host-side addition, not an agent deletion - it is left untouched and
+        the sync-back audit record names the skipped path."""
+        import hashlib
+
+        ws = tmp_path / "ws"
+        (ws / "src").mkdir(parents=True)
+        (ws / "src" / "a.py").write_text("orig")
+        export = tmp_path / "export"
+        (export / "src").mkdir(parents=True)
+        (export / "src" / "a.py").write_text("orig")
+        (ws / "src" / "host-added.py").write_text("host-side addition")
+
+        runner = FakeRunner(ok("cid"), ok(""))
+        backend = _backend(tmp_path, runner)
+        backend._export_root = str(export)
+        backend._baseline = {"src/a.py": hashlib.sha256(b"orig").hexdigest()}
+        ms = resolve_mount_set([MountSpec(path="src", mode="rw")])
+        req = SandboxExecutionRequest(argv=["echo", "hi"], cwd=str(export),
+                                      env={}, network=False, mount_set=ms,
+                                      egress_policy=EgressPolicy())
+        try:
+            backend.run(req)
+            assert (ws / "src" / "host-added.py").read_text() == "host-side addition"
+            audit = (tmp_path / "state" / "sandbox-audit.jsonl").read_text()
+            assert "sync_back" in audit
+            assert "host_added_paths" in audit
+            assert "src/host-added.py" in audit
+        finally:
+            backend.close()
+
     def test_whole_tree_rw_syncs_back_and_cache_untouched(self, tmp_path):
         """BR-4 + BR-3/F2: a ``.``-rw step (the shipped pipeline's shape)
         syncs its edits back, while the bind-mounted cache is never classified

{agentic_dev_loop-1.0.0a34 → agentic_dev_loop-1.0.0a35}/tests/test_sync_back.py

@@ -348,3 +348,49 @@ class TestMergeOnConflictPartition:
         assert report.merged_paths == ()
         assert "src/audit.md" in report.synced_paths
         assert (ws / "src" / "audit.md").read_text() == "base\nexport\n"
+
+
+class TestDeletedBranchBaselineGuard:
+    """040: the deleted branch consults the baseline before unlinking. A real
+    file absent from the baseline and the export is a host-side addition, never
+    an agent deletion; a baseline-present file deleted in the export still
+    mirrors (unlinks) exactly as before."""
+
+    def test_baseline_present_export_deleted_still_unlinks(self, tmp_path):
+        ws = _workspace(tmp_path)
+        exp = _export(tmp_path, ws)
+        (exp / "src" / "b.py").unlink()
+        baseline = {"src/a.py": _digest(ws / "src" / "a.py"),
+                    "src/b.py": _digest(ws / "src" / "b.py")}
+        report = sync_back(exp, ws, ["src"], baseline=baseline)
+        assert report.conflicts == ()
+        assert report.host_added_paths == ()
+        assert "src/b.py" in report.synced_paths
+        assert not (ws / "src" / "b.py").exists()
+
+    def test_baseline_absent_real_only_file_is_host_added_and_untouched(
+            self, tmp_path):
+        ws = _workspace(tmp_path)
+        exp = _export(tmp_path, ws)
+        (ws / "src" / "host-added.py").write_text("host-side addition")
+        baseline = {"src/a.py": _digest(ws / "src" / "a.py"),
+                    "src/b.py": _digest(ws / "src" / "b.py")}
+        report = sync_back(exp, ws, ["src"], baseline=baseline)
+        assert report.conflicts == ()
+        assert report.host_added_paths == ("src/host-added.py",)
+        assert report.synced_paths == ()
+        assert (ws / "src" / "host-added.py").read_text() == "host-side addition"
+
+    def test_modified_branch_hard_conflict_unchanged(self, tmp_path):
+        """Regression: BR-4.4 still treats a baseline-present path changed on
+        both sides as a loud conflict, never an overwrite."""
+        ws = _workspace(tmp_path)
+        exp = _export(tmp_path, ws)
+        (exp / "src" / "a.py").write_text("agent-change")
+        (ws / "src" / "a.py").write_text("external-change")
+        baseline = {"src/a.py": hashlib.sha256(b"orig-a").hexdigest()}
+        report = sync_back(exp, ws, ["src"], baseline=baseline)
+        assert report.conflicts == ("src/a.py",)
+        assert report.host_added_paths == ()
+        assert report.synced_paths == ()
+        assert (ws / "src" / "a.py").read_text() == "external-change"