Amendment 23 act 2, slice 2b: lane-start and lane-handoff write the Rule 3 stamp and the PAUSED block with one write-handoff through the lane's checkout, W moves only by fast-forward, and a launch refuses only at a restart's fences

tests/fixtures/t018-handoff/single-repository-decoys.golden

@@ -31,9 +31,10 @@ lanes-edit: LANES_NO_FETCH=1 — not fetching; reading origin/main as the ref al
 lane-handoff: lane=repoD-1 workstation=Eagle
 lane-handoff: lifecycle: RUNNING -> SWAPPING (generation 2, operation <OPERATION>)
 lane-handoff: writers polled: 1 under <HOME>/projects/repoD
+lanes-edit: committed: handoff(repoD-1@Eagle): PAUSED, t018 handoff
+lanes-edit: pushed origin/main (attempt 1)
 lane-handoff: handoff refreshed: <HOME>/projects/wip/handoffs/repoD-1.md (+14 lines at the head)
-lane-handoff: handoff commit: handoff(repoD-1@Eagle): PAUSED
-lane-handoff: handoff pushed to origin/main
+lane-handoff: handoff written through `write-handoff`, which exited 0: its words above say what it committed and pushed, or that nothing was committed
 lanes-edit: 1 line appended to <HOME>/projects/wip/lanes/log/repoD-1.md
 lanes-edit: committed: LOG(repoD-1@Eagle): PAUSED lane:repoD-1
 lanes-edit: pushed origin/main (attempt 1)
@@ -105,9 +106,10 @@ lanes-edit: LANES_NO_FETCH=1 — not fetching; reading origin/main as the ref al
 lane-handoff: lane=repoQ-1 workstation=Eagle
 lane-handoff: lifecycle: RUNNING -> SWAPPING (generation 2, operation <OPERATION>)
 lane-handoff: writers polled: 1 under <HOME>/projects/repoQ
+lanes-edit: committed: handoff(repoQ-1@Eagle): PAUSED, t018 handoff
+lanes-edit: pushed origin/main (attempt 1)
 lane-handoff: handoff refreshed: <HOME>/projects/wip/handoffs/repoQ-1.md (+14 lines at the head)
-lane-handoff: handoff commit: handoff(repoQ-1@Eagle): PAUSED
-lane-handoff: handoff pushed to origin/main
+lane-handoff: handoff written through `write-handoff`, which exited 0: its words above say what it committed and pushed, or that nothing was committed
 lanes-edit: 1 line appended to <HOME>/projects/wip/lanes/log/repoQ-1.md
 lanes-edit: committed: LOG(repoQ-1@Eagle): PAUSED lane:repoQ-1
 lanes-edit: pushed origin/main (attempt 1)

tests/fixtures/t018/single-repository.golden

@@ -139,9 +139,10 @@ lanes-edit: LANES_NO_FETCH=1 — not fetching; reading origin/main as the ref al
 lane-handoff: lane=repoS-1 workstation=Eagle
 lane-handoff: lifecycle: RUNNING -> SWAPPING (generation 2, operation <OPERATION>)
 lane-handoff: writers polled: 2 under <HOME>/projects/repoS
+lanes-edit: committed: handoff(repoS-1@Eagle): PAUSED, t018 handoff
+lanes-edit: pushed origin/main (attempt 1)
 lane-handoff: handoff refreshed: <HOME>/projects/wip/handoffs/repoS-1.md (+15 lines at the head)
-lane-handoff: handoff commit: handoff(repoS-1@Eagle): PAUSED
-lane-handoff: handoff pushed to origin/main
+lane-handoff: handoff written through `write-handoff`, which exited 0: its words above say what it committed and pushed, or that nothing was committed
 lanes-edit: 1 line appended to <HOME>/projects/wip/lanes/log/repoS-1.md
 lanes-edit: committed: LOG(repoS-1@Eagle): PAUSED lane:repoS-1
 lanes-edit: pushed origin/main (attempt 1)

tests/test_a23_lane_start_read.py

@@ -16,6 +16,12 @@
 review of opensoft/openRepoTools#282, MUST 2); one case leaves it out. The
 sandbox is `test_lane_start_row_stamp`'s, with its explicit seam taken back
 out.
+
+Since slice 2b `lane-start` reads the row from W again, but only after
+`refresh-workspace` has fast-forwarded it, and makes the lane's checkout at
+"5. the row" (`tests/test_a23_lane_start.py`). So W's working tree now moves,
+by fast-forward and nothing else, and a checkout that cannot be made no longer
+changes which register the start reads. `lane-end` keeps slice 1a's read.
 """
 
 from __future__ import annotations
@@ -46,29 +52,53 @@ def rows(register: Path) -> list[str]:
             if r.startswith(f"| `{LANE}`")]
 
 
+def no_auto_gc(box: Sandbox, *where: str) -> None:
+    """No automatic gc or maintenance in the repository `where` names
+    (`-C <path>` or `--git-dir <path>`), so a case's reflog and objects stay
+    what its own acts made."""
+    for key, value in (("gc.auto", "0"), ("maintenance.auto", "false")):
+        box.git(*where, "config", key, value)
+
+
+def W_reflog(box: Sandbox) -> list[str]:
+    return box.git("-C", str(box.wip), "reflog", "--format=%gs", "HEAD").splitlines()
+
+
+def assert_W_moved_only_by_fast_forward(box: Sandbox, before: list[str]) -> None:
+    """W took no write: its HEAD moved only by `refresh-workspace`'s
+    fast-forward, and its working tree is clean (Amendment 23 S5)."""
+    after = W_reflog(box)
+    new = after[:len(after) - len(before)]
+    assert after[len(new):] == before, (before, after)
+    assert all(entry == "merge origin/main: Fast-forward" for entry in new), new
+    assert box.git("-C", str(box.wip), "status", "--porcelain") == "", "W is clean"
+
+
 def started(tmp_path: Path, short_root: Path) -> tuple[Sandbox, Path]:
     """A NEW lane's first start: its row is added through its own checkout."""
     box = Sandbox(tmp_path)
     checkout = default_resolution(box)
     lane_dir = _checkout_of_length(short_root, None)
     box.checkout(lane_dir)
+    before = W_reflog(box)
     first = box.start("--dir", str(lane_dir), window_name="claude")
     assert first.returncode == 0, first.stderr
     assert (checkout / ".git").is_dir(), "the first write made the lane's checkout"
     assert len(rows(checkout / "lanes" / "LANES.md")) == 1
-    assert rows(box.wip / "lanes" / "LANES.md") == [], "W's working tree took no write"
+    assert_W_moved_only_by_fast_forward(box, before)
     return box, checkout
 
 
 def test_a_new_lanes_second_start_reads_its_row_in_its_own_checkout(tmp_path, short_root):
     box, checkout = started(tmp_path, short_root)
+    before = W_reflog(box)
     second = box.start(window_name=LANE)
     assert second.returncode == 0, second.stderr
     assert "ALREADY has a row" not in second.stderr, second.stderr
     assert len(rows(checkout / "lanes" / "LANES.md")) == 1, "one row, and no second one added"
     published = box.git("--git-dir", str(box.root / "origin.git"), "show", "main:lanes/LANES.md")
     assert sum(1 for r in published.splitlines() if r.startswith(f"| `{LANE}`")) == 1
-    assert rows(box.wip / "lanes" / "LANES.md") == [], "and W's working tree still took none"
+    assert_W_moved_only_by_fast_forward(box, before)
 
 
 def test_lane_end_finds_the_row_its_lane_start_wrote(tmp_path, short_root):
@@ -80,7 +110,7 @@ def test_lane_end_finds_the_row_its_lane_start_wrote(tmp_path, short_root):
                          capture_output=True, text=True, timeout=120, check=False)
     assert "has no row for lane" not in end.stderr, end.stderr
     assert end.returncode == 0, (end.stdout, end.stderr)
-    assert rows(box.wip / "lanes" / "LANES.md") == []
+    assert box.git("-C", str(box.wip), "status", "--porcelain") == "", "W took no write"
 
 
 def test_a_dry_run_start_makes_no_checkout(tmp_path, short_root):
@@ -132,8 +162,9 @@ def test_without_the_opt_in_a_new_lane_starts_through_W(tmp_path, short_root):
 
 def test_a_checkout_that_cannot_be_made_is_said_and_the_start_goes_on(tmp_path, short_root):
     """SHOULD 2: where the lane's checkout cannot be cloned, the start says so
-    and reads W, as it does for a dry run with none: a register act it can do
-    without never refuses a launch (Amendment 8(d))."""
+    and goes on: a register act it can do without never refuses a launch
+    (Amendment 8(d)). Since slice 2b the row is W's read either way, so only
+    the writes are touched."""
     box = Sandbox(tmp_path)
     checkout = default_resolution(box, route=False)
     lane_dir = _checkout_of_length(short_root, None)
@@ -150,7 +181,7 @@ def test_a_checkout_that_cannot_be_made_is_said_and_the_start_goes_on(tmp_path,
     box.env.update(LANES_ROUTE_WRITES="1", LANES_GIT=str(wrapper))
     second = box.start(window_name=LANE)
     assert "own register checkout could not be made" in second.stderr, second.stderr
-    assert "so this command reads W's register" in second.stderr
+    assert "ALREADY has a row" not in second.stderr, second.stderr
     assert not checkout.exists()
     assert second.returncode == 0, second.stderr
 
@@ -263,7 +294,7 @@ def test_a_held_creation_lock_is_said_and_the_start_goes_on(tmp_path, short_root
         second = box.start(window_name=LANE, timeout=SLOW)
     assert "own register checkout could not be made" in second.stderr, second.stderr
     assert "exited 4" in second.stderr, second.stderr
-    assert "so this command reads W's register" in second.stderr
+    assert "ALREADY has a row" not in second.stderr, second.stderr
     assert not checkout.exists()
     assert second.returncode == 0, second.stderr
 

tests/test_handoff_skill_80_85.py

@@ -224,7 +224,7 @@ def _lane_handoff_writes(box: Sandbox, why: str,
     workstation and instant the skill is run with."""
     script = ('why="$STUB_WHY"; handoff_kind="$STUB_KIND"\n' +
               lane_handoff_why_text() +
-              f'lane={LANE}; uuid={UUID}; ws={WS}; UTC={NOW}\n'
+              f'lane={LANE}; uuid={UUID}; ws={WS}; UTC={NOW}; handoff_record="handoff refreshed"\n'
         f'printf \'%s\\0%s\\0\' "$why_text" {lane_handoff_register_line()}\n')
     proc = box.run("bash", script, _why_env(why, kind or "unknown"))
     assert proc.returncode == 0, (proc.returncode, proc.stderr)