dsh-compound-engineering 0.0.0-stage → 0.1.0

package/skills/ce-work/scripts/unit_workspace_state.py

@@ -0,0 +1,1379 @@
+"""Private, crash-recoverable workspace controller for ce-work external units.
+
+The generic peer-job runner owns process supervision. This controller owns the
+repository-specific transaction: one private run manifest, detached sibling
+worktrees, complete-tree transport commits, canonical integration evidence,
+exact restoration, retention, and explicit cleanup. It never launches a model
+CLI and never commits a worker's output in the canonical checkout.
+
+Every successful command prints a status word and one compact JSON document.
+Trust failures print only ``UNREADABLE`` and an error on stderr.
+"""
+
+from __future__ import annotations
+
+import argparse
+import base64
+import contextlib
+import hashlib
+import json
+import os
+import re
+import secrets
+import shutil
+import stat
+import subprocess
+import sys
+import tempfile
+import time
+from pathlib import Path
+
+
+IS_WINDOWS = sys.platform == "win32"
+
+# --- platform privacy primitives ---------------------------------------------
+# POSIX expresses "this private directory is mine and nobody else can read it"
+# with two things this module relies on throughout: `st_uid == geteuid()` and
+# the 0700/0600 mode bits. Windows has neither. It has no `fcntl` at all, and
+# `os.stat().st_mode` there is a synthesized value that reflects only the
+# read-only attribute -- a directory created with `os.mkdir(p, 0o700)` reports
+# 0o777 and a file `os.chmod(p, 0o600)` reports 0o666, so every `_mode(st) ==
+# 0o700` gate below would fail closed on a perfectly private directory.
+#
+# So on Windows the equivalent identity is the owner SID of the object as read
+# from its security descriptor, and the equivalent of the mode bits is a DACL
+# hardened to the current user plus the root-equivalents (SYSTEM,
+# Administrators) with inheritance broken -- exactly the substitution
+# peer-job-runner.py already makes. Pure stdlib via ctypes; no pywin32.
+if IS_WINDOWS:
+    import ctypes
+    import msvcrt
+    from ctypes import wintypes
+
+    _advapi32 = ctypes.WinDLL("advapi32", use_last_error=True)
+    _kernel32 = ctypes.WinDLL("kernel32", use_last_error=True)
+
+    _SE_FILE_OBJECT = 1
+    _OWNER_SECURITY_INFORMATION = 0x00000001
+    _TOKEN_QUERY = 0x0008
+    _TOKEN_USER_CLASS = 1
+    _TOKEN_OWNER_CLASS = 4
+
+    _advapi32.ConvertSidToStringSidW.argtypes = [
+        ctypes.c_void_p, ctypes.POINTER(ctypes.c_wchar_p)]
+    _advapi32.ConvertSidToStringSidW.restype = wintypes.BOOL
+    _advapi32.OpenProcessToken.argtypes = [
+        wintypes.HANDLE, wintypes.DWORD, ctypes.POINTER(wintypes.HANDLE)]
+    _advapi32.OpenProcessToken.restype = wintypes.BOOL
+    _advapi32.GetTokenInformation.argtypes = [
+        wintypes.HANDLE, ctypes.c_int, ctypes.c_void_p, wintypes.DWORD,
+        ctypes.POINTER(wintypes.DWORD)]
+    _advapi32.GetTokenInformation.restype = wintypes.BOOL
+    _advapi32.GetSecurityInfo.argtypes = [
+        wintypes.HANDLE, ctypes.c_int, wintypes.DWORD,
+        ctypes.POINTER(ctypes.c_void_p), ctypes.c_void_p, ctypes.c_void_p,
+        ctypes.c_void_p, ctypes.POINTER(ctypes.c_void_p)]
+    _advapi32.GetSecurityInfo.restype = wintypes.DWORD
+    _advapi32.GetNamedSecurityInfoW.argtypes = [
+        wintypes.LPCWSTR, ctypes.c_int, wintypes.DWORD,
+        ctypes.POINTER(ctypes.c_void_p), ctypes.c_void_p, ctypes.c_void_p,
+        ctypes.c_void_p, ctypes.POINTER(ctypes.c_void_p)]
+    _advapi32.GetNamedSecurityInfoW.restype = wintypes.DWORD
+    _kernel32.GetCurrentProcess.restype = wintypes.HANDLE
+    _kernel32.CloseHandle.argtypes = [wintypes.HANDLE]
+    _kernel32.CloseHandle.restype = wintypes.BOOL
+    _kernel32.LocalFree.argtypes = [wintypes.HGLOBAL]
+    _kernel32.LocalFree.restype = wintypes.HGLOBAL
+
+    _WIN_IDENTITY_SIDS = None
+
+    def _win_sid_to_string(psid) -> str:
+        strp = ctypes.c_wchar_p()
+        if not _advapi32.ConvertSidToStringSidW(psid, ctypes.byref(strp)):
+            raise OSError(f"ConvertSidToStringSid failed: {ctypes.get_last_error()}")
+        try:
+            return strp.value
+        finally:
+            _kernel32.LocalFree(ctypes.cast(strp, wintypes.HGLOBAL))
+
+    def _win_token_sid(token, info_class) -> str:
+        size = wintypes.DWORD(0)
+        _advapi32.GetTokenInformation(token, info_class, None, 0, ctypes.byref(size))
+        buf = (ctypes.c_byte * size.value)()
+        if not _advapi32.GetTokenInformation(
+            token, info_class, buf, size, ctypes.byref(size)
+        ):
+            raise OSError(f"GetTokenInformation failed: {ctypes.get_last_error()}")
+        # TOKEN_USER / TOKEN_OWNER both begin with a PSID at offset 0.
+        sid_ptr = ctypes.cast(buf, ctypes.POINTER(ctypes.c_void_p))[0]
+        return _win_sid_to_string(ctypes.c_void_p(sid_ptr))
+
+    def _win_identity_sids() -> frozenset:
+        """The SID strings this process's token creates objects as: the user SID
+        and the default-owner SID (they differ for an elevated process). Cached;
+        an object owned by any of these is treated as ours."""
+        global _WIN_IDENTITY_SIDS
+        if _WIN_IDENTITY_SIDS is not None:
+            return _WIN_IDENTITY_SIDS
+        token = wintypes.HANDLE()
+        if not _advapi32.OpenProcessToken(
+            _kernel32.GetCurrentProcess(), _TOKEN_QUERY, ctypes.byref(token)
+        ):
+            raise OSError(f"OpenProcessToken failed: {ctypes.get_last_error()}")
+        try:
+            sids = {
+                _win_token_sid(token, _TOKEN_USER_CLASS),
+                _win_token_sid(token, _TOKEN_OWNER_CLASS),
+            }
+        finally:
+            _kernel32.CloseHandle(token)
+        _WIN_IDENTITY_SIDS = frozenset(s for s in sids if s)
+        return _WIN_IDENTITY_SIDS
+
+    def _win_owner_sid_handle(handle: int) -> str:
+        """Owner SID of an OPENED handle. The SID points inside the returned
+        security descriptor, so freeing the descriptor is the only (and
+        required) cleanup -- never free the SID separately."""
+        psid = ctypes.c_void_p()
+        psd = ctypes.c_void_p()
+        err = _advapi32.GetSecurityInfo(
+            wintypes.HANDLE(handle), _SE_FILE_OBJECT, _OWNER_SECURITY_INFORMATION,
+            ctypes.byref(psid), None, None, None, ctypes.byref(psd))
+        if err != 0:
+            raise OSError(f"GetSecurityInfo failed: {err}")
+        try:
+            return _win_sid_to_string(psid)
+        finally:
+            _kernel32.LocalFree(ctypes.cast(psd, wintypes.HGLOBAL))
+
+    def win_owns_handle(handle: int) -> bool:
+        try:
+            return _win_owner_sid_handle(handle) in _win_identity_sids()
+        except OSError:
+            return False
+
+    def win_owns_path(path: str) -> bool:
+        """Owner check by PATH. Required for directories: Windows cannot open a
+        directory with os.open(), so a handle-based check cannot reach one."""
+        psid = ctypes.c_void_p()
+        psd = ctypes.c_void_p()
+        err = _advapi32.GetNamedSecurityInfoW(
+            path, _SE_FILE_OBJECT, _OWNER_SECURITY_INFORMATION,
+            ctypes.byref(psid), None, None, None, ctypes.byref(psd))
+        if err != 0:
+            return False
+        try:
+            return _win_sid_to_string(psid) in _win_identity_sids()
+        except OSError:
+            return False
+        finally:
+            _kernel32.LocalFree(ctypes.cast(psd, wintypes.HGLOBAL))
+
+    def win_harden_acl(path: str) -> bool:
+        """Break inheritance and grant only the current user plus the
+        root-equivalents, so no world/Users grant survives -- the 0700 analog.
+        Best-effort: the owner check stays the hard gate if icacls is absent."""
+        sids = _win_identity_sids()
+        if not sids:
+            return False
+        system_root = os.environ.get("SystemRoot") or r"C:\Windows"
+        icacls = os.path.join(system_root, "System32", "icacls.exe")
+        if not os.path.isfile(icacls):
+            return False
+        inherit = "(OI)(CI)" if os.path.isdir(path) else ""
+        # Grant EVERY identity SID, not an arbitrary one from the set: an
+        # elevated token carries two (user + default owner), and picking one
+        # nondeterministically could grant the wrong principal.
+        grants = []
+        for sid in sorted(sids) + ["S-1-5-18", "S-1-5-32-544"]:
+            grants += ["/grant:r", f"*{sid}:{inherit}F"]
+        try:
+            return subprocess.run(
+                [icacls, path, "/inheritance:r"] + grants,
+                stdout=subprocess.DEVNULL, stderr=subprocess.DEVNULL,
+                check=False,
+                creationflags=getattr(subprocess, "CREATE_NO_WINDOW", 0x08000000),
+            ).returncode == 0
+        except OSError:
+            return False
+
+    def _lock_fd(fd: int, exclusive: bool) -> None:
+        """Advisory whole-file lock with flock's blocking semantics.
+
+        msvcrt has no blocking shared lock and no shared mode at all, so a
+        contended acquire raises EACCES instead of waiting. flock(fd, LOCK_EX)
+        on POSIX blocks, and every caller here relies on that -- a status read
+        that raced a writer must queue, not crash. So retry on contention until
+        the lock lands, with a bounded wait so a wedged holder cannot hang the
+        command forever.
+        """
+        os.lseek(fd, 0, os.SEEK_SET)
+        deadline = time.monotonic() + LOCK_WAIT_SECS
+        delay = 0.01
+        while True:
+            try:
+                msvcrt.locking(fd, msvcrt.LK_NBLCK, 1)
+                return
+            except OSError:
+                if time.monotonic() >= deadline:
+                    raise TrustFailure(
+                        f"timed out after {LOCK_WAIT_SECS}s waiting for the run lock"
+                    )
+                time.sleep(delay)
+                delay = min(delay * 2, 0.25)
+
+    def _unlock_fd(fd: int) -> None:
+        with contextlib.suppress(OSError):
+            os.lseek(fd, 0, os.SEEK_SET)
+            msvcrt.locking(fd, msvcrt.LK_UNLCK, 1)
+
+    def _modeis_private(st: os.stat_result, want_dir: bool) -> bool:
+        """Windows has no mode privacy to verify; the ACL and owner check carry
+        it. Always true so the caller's POSIX gate never fails closed here."""
+        return True
+else:
+    import fcntl
+
+    def _lock_fd(fd: int, exclusive: bool) -> None:
+        fcntl.flock(fd, fcntl.LOCK_EX if exclusive else fcntl.LOCK_SH)
+
+    def _unlock_fd(fd: int) -> None:
+        with contextlib.suppress(OSError):
+            fcntl.flock(fd, fcntl.LOCK_UN)
+
+    def _modeis_private(st: os.stat_result, want_dir: bool) -> bool:
+        expected = 0o700 if want_dir else 0o600
+        return stat.S_IMODE(st.st_mode) == expected
+
+
+SCHEMA_VERSION = 1
+PLAN_CHECKPOINT_MESSAGE = "docs(ce-work): checkpoint selected implementation plan"
+_uid_getter = getattr(os, "geteuid", None) or getattr(os, "getuid", None)
+_EFFECTIVE_UID = _uid_getter() if _uid_getter is not None else None
+if IS_WINDOWS:
+    # No geteuid on Windows, so the per-user scratch root is derived from the
+    # user profile instead of a uid -- the same substitution peer-job-runner
+    # makes. LOCALAPPDATA is per-user and never world-readable, which is what
+    # the `/tmp/compound-engineering-<uid>` 0700 root provides on POSIX.
+    OWNER_SCRATCH_ROOT = os.path.join(
+        os.environ.get("LOCALAPPDATA") or tempfile.gettempdir(),
+        "compound-engineering",
+    )
+elif _EFFECTIVE_UID is not None:
+    OWNER_SCRATCH_ROOT = os.path.join("/tmp", f"compound-engineering-{_EFFECTIVE_UID}")
+else:
+    OWNER_SCRATCH_ROOT = None
+MAX_JSON_BYTES = 2 * 1024 * 1024
+MAX_PACKET_BYTES = 200_000
+SAFE_ID = re.compile(r"^[A-Za-z0-9._-]{1,128}$")
+O_NOFOLLOW = getattr(os, "O_NOFOLLOW", 0)
+O_DIRECTORY = getattr(os, "O_DIRECTORY", 0)
+# Windows CPython opens os.open() descriptors in CRT *text* mode by default:
+# writes expand \n -> \r\n and reads stop at the first 0x1A (Ctrl-Z EOF), which
+# would silently corrupt the manifest. O_BINARY is 0 on POSIX, so this is a
+# no-op there and every os.open below stays byte-exact on both platforms.
+O_BINARY = getattr(os, "O_BINARY", 0)
+# Upper bound on waiting for a contended run lock. A legitimate holder is a
+# sub-second manifest read/write; anything longer means a wedged process, and
+# hanging forever is worse than a clear failure.
+LOCK_WAIT_SECS = 30.0
+TERMINAL_PROCESS = {"done", "failed", "timeout", "died-without-result"}
+INTEGRATABLE_STATES = {"integration-pending", "integrated", "verified"}
+UNIT_STATES = {
+    "queued", "authoring", "authored", "integration-pending", "integrated",
+    "restoring", "verified", "committed", "preserved", "cleaned", "native-completed",
+}
+GIT_LOCAL_ENV_VARS = frozenset({
+    "GIT_ALTERNATE_OBJECT_DIRECTORIES",
+    "GIT_COMMON_DIR",
+    "GIT_CONFIG",
+    "GIT_CONFIG_COUNT",
+    "GIT_CONFIG_PARAMETERS",
+    "GIT_DIR",
+    "GIT_GRAFT_FILE",
+    "GIT_IMPLICIT_WORK_TREE",
+    "GIT_INDEX_FILE",
+    # Listed by `git rev-parse --local-env-vars` on git < 2.41 (e.g. Debian
+    # bookworm's 2.39); dropped from the list by newer git. Scrub it so an
+    # inherited value cannot leak into unit verification on old git.
+    "GIT_INTERNAL_SUPER_PREFIX",
+    "GIT_NO_REPLACE_OBJECTS",
+    "GIT_OBJECT_DIRECTORY",
+    "GIT_PREFIX",
+    "GIT_REPLACE_REF_BASE",
+    "GIT_SHALLOW_FILE",
+    "GIT_WORK_TREE",
+})
+
+
+class Operational(Exception):
+    def __init__(self, word: str, message: str, detail: dict | None = None):
+        super().__init__(message)
+        self.word = word
+        self.detail = detail or {}
+
+
+class TrustFailure(Operational):
+    def __init__(self, message: str):
+        super().__init__("UNREADABLE", message)
+
+
+def now_iso() -> str:
+    return time.strftime("%Y-%m-%dT%H:%M:%SZ", time.gmtime())
+
+
+def test_fault(point: str) -> None:
+    """Deterministic crash-window injection for the repository test suite."""
+    configured = {value.strip() for value in os.environ.get("CE_WORK_TEST_FAULT", "").split(",") if value.strip()}
+    if point in configured:
+        raise Operational("INTERRUPTED", f"injected test interruption at {point}")
+
+
+def _private_root_usable(path: str) -> bool:
+    """True when `path` is (or can now be) a directory we own and can write into.
+
+    Creation is the probe: a sandbox that denies writes under /tmp refuses the
+    mkdir, and one that lets a pre-existing root stand still fails the access
+    check, so both land on the fallback instead of failing at the first run.
+    """
+    try:
+        os.mkdir(path, 0o700)
+    except FileExistsError:
+        pass
+    except OSError:
+        return False
+    try:
+        st = os.lstat(path)
+    except OSError:
+        return False
+    if not stat.S_ISDIR(st.st_mode):
+        return False
+    if IS_WINDOWS:
+        if not win_owns_path(path):
+            return False
+    elif _EFFECTIVE_UID is not None and st.st_uid != _EFFECTIVE_UID:
+        return False
+    return os.access(path, os.W_OK)
+
+
+def _fallback_scratch_root() -> str:
+    if IS_WINDOWS:
+        return os.path.join(tempfile.gettempdir(), "compound-engineering")
+    return os.path.join(os.environ.get("TMPDIR") or "/tmp", f"compound-engineering-{_EFFECTIVE_UID}")
+
+
+def owner_scratch_root() -> str:
+    """The owner-private scratch root, in the same candidate order as the skills' shell preamble."""
+    if OWNER_SCRATCH_ROOT is None:
+        raise TrustFailure("effective user ID is unavailable; cannot derive the runs root")
+    if _private_root_usable(OWNER_SCRATCH_ROOT):
+        return OWNER_SCRATCH_ROOT
+    return _fallback_scratch_root()
+
+
+def runs_root() -> str:
+    configured = os.environ.get("CE_WORK_RUNS_ROOT")
+    if configured:
+        return os.path.abspath(configured)
+    peer_root = os.environ.get("CE_PEER_JOBS_ROOT")
+    if peer_root:
+        return os.path.join(os.path.abspath(peer_root), "ce-work")
+    return os.path.join(owner_scratch_root(), "ce-work")
+
+
+def safe_id(value: str, label: str) -> str:
+    if not SAFE_ID.fullmatch(value) or not value.strip("."):
+        raise Operational("REFUSED", f"unsafe {label}: {value!r}")
+    return value
+
+
+def digest_bytes(data: bytes) -> str:
+    return hashlib.sha256(data).hexdigest()
+
+
+def _valid_git_object_id(value: object) -> bool:
+    if not isinstance(value, str):
+        return False
+    try:
+        raw = bytes.fromhex(value)
+    except ValueError:
+        return False
+    return len(raw) in {20, 32} and raw.hex() == value
+
+
+def _native_completion_commit(unit: dict) -> str | None:
+    attempts = unit.get("attempts")
+    if not isinstance(attempts, list) or not attempts or not isinstance(attempts[-1], dict):
+        return None
+    fallback = attempts[-1].get("fallback")
+    if not isinstance(fallback, dict):
+        return None
+    claim = fallback.get("claimed")
+    completion = fallback.get("completed")
+    if not isinstance(claim, dict) or not isinstance(completion, dict) or completion.get("claim") != claim:
+        return None
+    claim_mode = claim.get("mode")
+    if claim_mode not in {"prefer", "require"}:
+        return None
+    accepted_head = completion.get("accepted_head")
+    base = unit.get("workspace", {}).get("base")
+    snapshot = completion.get("snapshot")
+    wave = unit.get("wave", {})
+    changed_paths = completion.get("changed_paths")
+    if not (
+        _valid_git_object_id(accepted_head)
+        and _valid_git_object_id(base)
+        and completion.get("base") == base
+        and isinstance(completion.get("at"), str)
+        and bool(completion["at"])
+        and isinstance(completion.get("summary"), str)
+        and bool(completion["summary"])
+        and isinstance(completion.get("evidence_digest"), str)
+        and len(completion["evidence_digest"]) == 64
+        and _valid_git_object_id(completion["evidence_digest"])
+        and isinstance(snapshot, dict)
+        and snapshot.get("head") == accepted_head
+        and snapshot.get("status_empty") is True
+        and snapshot.get("worktree_index_empty") is True
+        and _valid_git_object_id(snapshot.get("head_tree"))
+        and snapshot.get("head_tree") == snapshot.get("index_tree")
+        and snapshot.get("status_sha256") == digest_bytes(b"")
+        and (
+            not wave.get("id")
+            or (
+                _valid_git_object_id(claim.get("canonical_head"))
+                and isinstance(changed_paths, list)
+                and all(isinstance(path, str) for path in changed_paths)
+            )
+        )
+    ):
+        return None
+    return accepted_head
+
+
+def unit_accepted_commit(unit: dict) -> str | None:
+    if unit.get("state") == "native-completed":
+        return _native_completion_commit(unit)
+    if unit.get("state") != "cleaned":
+        return None
+    integration = unit.get("integration")
+    if not isinstance(integration, dict):
+        return None
+    canonical = integration.get("canonical_commit")
+    if not (
+        isinstance(canonical, dict)
+        and all(_valid_git_object_id(canonical.get(field)) for field in ("commit", "parent", "tree"))
+        and isinstance(canonical.get("at"), str)
+        and bool(canonical["at"])
+    ):
+        return None
+    return canonical["commit"]
+
+
+def unit_ready_for_run_verification(unit: object) -> bool:
+    return isinstance(unit, dict) and unit_accepted_commit(unit) is not None
+
+
+def accepted_unit_commit_snapshot(units: object) -> dict[str, str] | None:
+    if not isinstance(units, dict):
+        return None
+    snapshot: dict[str, str] = {}
+    for unit_id in sorted(units):
+        if not isinstance(unit_id, str) or not SAFE_ID.fullmatch(unit_id):
+            return None
+        unit = units[unit_id]
+        if not isinstance(unit, dict):
+            return None
+        commit = unit_accepted_commit(unit)
+        if commit is None:
+            return None
+        snapshot[unit_id] = commit
+    return snapshot
+
+
+def _mode(st: os.stat_result) -> int:
+    return stat.S_IMODE(st.st_mode)
+
+
+def is_private(st: os.stat_result, want_dir: bool) -> bool:
+    """True when the object carries the privacy this module requires: mode
+    0700/0600 on POSIX, a verified owner SID on Windows (its DACL is what
+    provides privacy there, and `_mode` cannot see it)."""
+    return _modeis_private(st, want_dir)
+
+
+def _owned_by_us(st: os.stat_result) -> bool:
+    if IS_WINDOWS:
+        return True  # the descriptor/handle owner check already ran
+    return _euid() is None or st.st_uid == _euid()
+
+
+def _euid() -> int | None:
+    return _EFFECTIVE_UID
+
+
+def validate_private_dir(path: str) -> None:
+    if IS_WINDOWS:
+        # Windows cannot open a directory with os.open() (the CRT maps it to
+        # CreateFileW without FILE_FLAG_BACKUP_SEMANTICS, which the kernel
+        # rejects with ERROR_ACCESS_DENIED for any directory), so there is no
+        # descriptor to fstat here. The path-based owner check is what
+        # peer-job-runner's `_check_owned_dir` uses on Windows for the same
+        # reason, and the DACL it verifies is the privacy boundary.
+        try:
+            st = os.lstat(path)
+        except OSError as exc:
+            raise TrustFailure(f"cannot safely stat directory {path}: {exc}") from exc
+        if not stat.S_ISDIR(st.st_mode):
+            raise TrustFailure(f"not a real directory: {path}")
+        if not win_owns_path(path):
+            raise TrustFailure(f"directory is not owned by current user: {path}")
+        return
+    try:
+        fd = os.open(path, os.O_RDONLY | O_DIRECTORY | O_NOFOLLOW)
+    except OSError as exc:
+        raise TrustFailure(f"cannot safely open directory {path}: {exc}") from exc
+    try:
+        st = os.fstat(fd)
+        if not stat.S_ISDIR(st.st_mode):
+            raise TrustFailure(f"not a real directory: {path}")
+        if _euid() is not None and st.st_uid != _euid():
+            raise TrustFailure(f"directory is not owned by current user: {path}")
+        if _mode(st) != 0o700:
+            raise TrustFailure(f"directory mode is {_mode(st):04o}, expected 0700: {path}")
+    finally:
+        os.close(fd)
+
+
+def ensure_private_dir(path: str) -> None:
+    created = False
+    try:
+        os.mkdir(path, 0o700)
+        created = True
+    except FileExistsError:
+        pass
+    if IS_WINDOWS and created:
+        win_harden_acl(path)
+    validate_private_dir(path)
+
+
+def _owner_root_for_runs(root: str) -> str | None:
+    if OWNER_SCRATCH_ROOT is None:
+        return None
+    for candidate in (OWNER_SCRATCH_ROOT, _fallback_scratch_root()):
+        owner_root = os.path.abspath(candidate)
+        try:
+            if os.path.commonpath([owner_root, os.path.abspath(root)]) == owner_root:
+                return owner_root
+        except ValueError:  # different drives on Windows: not under this candidate
+            continue
+    return None
+
+
+def _ensure_owner_scratch_root(path: str) -> None:
+    try:
+        os.mkdir(path, 0o700)
+    except FileExistsError:
+        pass
+    if IS_WINDOWS:
+        # No directory descriptor on Windows (see validate_private_dir); the
+        # owner check plus the hardened ACL are the whole guarantee, and the
+        # POSIX chmod-repair has no Windows analogue -- icacls is idempotent
+        # so the repair is simply re-hardening.
+        try:
+            st = os.lstat(path)
+        except OSError as exc:
+            raise TrustFailure(f"cannot safely stat owner scratch root {path}: {exc}") from exc
+        if not stat.S_ISDIR(st.st_mode):
+            raise TrustFailure(f"owner scratch root is not a real directory: {path}")
+        if not win_owns_path(path):
+            raise TrustFailure(f"owner scratch root is not owned by current user: {path}")
+        win_harden_acl(path)
+        return
+    try:
+        fd = os.open(path, os.O_RDONLY | O_DIRECTORY | O_NOFOLLOW)
+    except OSError as exc:
+        raise TrustFailure(f"cannot safely open owner scratch root {path}: {exc}") from exc
+    try:
+        current = os.fstat(fd)
+        if not stat.S_ISDIR(current.st_mode):
+            raise TrustFailure(f"owner scratch root is not a real directory: {path}")
+        if _euid() is not None and current.st_uid != _euid():
+            raise TrustFailure(f"owner scratch root is not owned by current user: {path}")
+        if _mode(current) != 0o700:
+            os.fchmod(fd, 0o700)
+            repaired = os.fstat(fd)
+            if repaired.st_uid != current.st_uid or _mode(repaired) != 0o700:
+                raise TrustFailure(f"could not repair owner scratch root mode to 0700: {path}")
+    finally:
+        os.close(fd)
+
+
+def ensure_root() -> str:
+    return ensure_runs_root(runs_root())
+
+
+def ensure_runs_root(root: str) -> str:
+    """Create or verify one runs root (the creation root, or the other candidate
+    root an existing run was found under) and its private lock directory."""
+    owner_root = _owner_root_for_runs(root)
+    if owner_root is not None:
+        _ensure_owner_scratch_root(owner_root)
+    parent = os.path.dirname(root)
+    # The configured root's ancestors are caller-controlled; the private root
+    # itself and everything below it are the durable confidentiality boundary.
+    os.makedirs(parent, mode=0o700, exist_ok=True)
+    ensure_private_dir(root)
+    ensure_private_dir(os.path.join(root, ".locks"))
+    return root
+
+
+def read_private(path: str, cap: int = MAX_JSON_BYTES) -> bytes:
+    try:
+        fd = os.open(path, os.O_RDONLY | O_NOFOLLOW)
+    except OSError as exc:
+        raise TrustFailure(f"cannot safely open state file {path}: {exc}") from exc
+    try:
+        st = os.fstat(fd)
+        if not stat.S_ISREG(st.st_mode):
+            raise TrustFailure(f"state is not a regular file: {path}")
+        if IS_WINDOWS:
+            if not win_owns_handle(msvcrt.get_osfhandle(fd)):
+                raise TrustFailure(f"state is not owned by current user: {path}")
+        elif _euid() is not None and st.st_uid != _euid():
+            raise TrustFailure(f"state is not owned by current user: {path}")
+        if not is_private(st, want_dir=False):
+            raise TrustFailure(f"state mode is {_mode(st):04o}, expected 0600: {path}")
+        if st.st_size > cap:
+            raise TrustFailure(f"state exceeds {cap}-byte limit: {path}")
+        out = bytearray()
+        while len(out) <= cap:
+            part = os.read(fd, min(65536, cap + 1 - len(out)))
+            if not part:
+                break
+            out.extend(part)
+        if len(out) > cap:
+            raise TrustFailure(f"state grew beyond {cap}-byte limit: {path}")
+        return bytes(out)
+    finally:
+        os.close(fd)
+
+
+def stat_private_file(path: str) -> os.stat_result:
+    """Validate a private file by descriptor without consuming its content."""
+    try:
+        fd = os.open(path, os.O_RDONLY | O_NOFOLLOW)
+    except OSError as exc:
+        raise TrustFailure(f"cannot safely open state file {path}: {exc}") from exc
+    try:
+        st = os.fstat(fd)
+        if not stat.S_ISREG(st.st_mode):
+            raise TrustFailure(f"state is not a regular file: {path}")
+        if IS_WINDOWS:
+            if not win_owns_handle(msvcrt.get_osfhandle(fd)):
+                raise TrustFailure(f"state is not owned by current user: {path}")
+        elif _euid() is not None and st.st_uid != _euid():
+            raise TrustFailure(f"state is not owned by current user: {path}")
+        if not is_private(st, want_dir=False):
+            raise TrustFailure(f"state mode is {_mode(st):04o}, expected 0600: {path}")
+        return st
+    finally:
+        os.close(fd)
+
+
+def read_private_json(path: str) -> dict:
+    try:
+        value = json.loads(read_private(path))
+    except TrustFailure:
+        raise
+    except (ValueError, UnicodeDecodeError) as exc:
+        raise TrustFailure(f"malformed JSON state: {path}") from exc
+    if not isinstance(value, dict):
+        raise TrustFailure(f"JSON state is not an object: {path}")
+    return value
+
+
+def create_private(path: str, data: bytes) -> None:
+    try:
+        fd = os.open(path, os.O_WRONLY | os.O_CREAT | os.O_EXCL | O_NOFOLLOW, 0o600)
+    except OSError as exc:
+        raise Operational("BLOCKED", f"cannot exclusively create {path}: {exc}") from exc
+    try:
+        os.write(fd, data)
+        os.fsync(fd)
+    finally:
+        os.close(fd)
+
+
+def atomic_private_json(path: str, doc: dict) -> None:
+    data = (json.dumps(doc, sort_keys=True, separators=(",", ":")) + "\n").encode()
+    if len(data) > MAX_JSON_BYTES:
+        raise Operational("BLOCKED", "manifest exceeds bounded state size")
+    parent = os.path.dirname(path)
+    fd, tmp = tempfile.mkstemp(prefix=".manifest-", dir=parent)
+    try:
+        if not IS_WINDOWS:
+            os.fchmod(fd, 0o600)
+        with os.fdopen(fd, "wb", closefd=True) as stream:
+            stream.write(data)
+            stream.flush()
+            os.fsync(stream.fileno())
+        os.replace(tmp, path)
+        if not IS_WINDOWS:
+            # Directory fsync makes the rename durable. Windows cannot open a
+            # directory for fsync and does not need it: NTFS journals the rename.
+            dfd = os.open(parent, os.O_RDONLY | O_DIRECTORY | O_NOFOLLOW)
+            try:
+                os.fsync(dfd)
+            finally:
+                os.close(dfd)
+    except BaseException:
+        with contextlib.suppress(OSError):
+            os.unlink(tmp)
+        raise
+
+
+def candidate_runs_roots() -> list:
+    """Every root an existing run may live under (configured root alone, or the
+    /tmp root and the $TMPDIR fallback, primary first). Creation uses runs_root();
+    lookup must not depend on which root this invocation would create under."""
+    configured = os.environ.get("CE_WORK_RUNS_ROOT")
+    if configured:
+        return [os.path.abspath(configured)]
+    peer_root = os.environ.get("CE_PEER_JOBS_ROOT")
+    if peer_root:
+        return [os.path.join(os.path.abspath(peer_root), "ce-work")]
+    if OWNER_SCRATCH_ROOT is None:
+        raise TrustFailure("effective user ID is unavailable; cannot derive the runs root")
+    roots = [os.path.join(os.path.abspath(OWNER_SCRATCH_ROOT), "ce-work")]
+    fallback = os.path.join(os.path.abspath(_fallback_scratch_root()), "ce-work")
+    if fallback not in roots:
+        roots.append(fallback)
+    return roots
+
+
+def run_dir(run_id: str) -> str:
+    rid = safe_id(run_id, "run id")
+    for root in candidate_runs_roots():
+        existing = os.path.join(root, rid)
+        if os.path.isdir(existing) and not os.path.islink(existing):
+            return existing
+    return os.path.join(runs_root(), rid)
+
+
+@contextlib.contextmanager
+def locked_manifest(run_id: str, write: bool = False):
+    run_id = safe_id(run_id, "run id")
+    rd = run_dir(run_id)
+    ensure_runs_root(os.path.dirname(rd))
+    validate_private_dir(rd)
+    lock_path = os.path.join(rd, "manifest.lock")
+    try:
+        fd = os.open(lock_path, os.O_RDWR | O_NOFOLLOW)
+    except OSError as exc:
+        raise TrustFailure(f"cannot safely open manifest lock: {exc}") from exc
+    try:
+        st = os.fstat(fd)
+        if not stat.S_ISREG(st.st_mode):
+            raise TrustFailure("manifest lock is not a regular file")
+        if IS_WINDOWS:
+            if not win_owns_handle(msvcrt.get_osfhandle(fd)):
+                raise TrustFailure("manifest lock owner validation failed")
+        elif (_euid() is not None and st.st_uid != _euid()) or _mode(st) != 0o600:
+            raise TrustFailure("manifest lock owner/type/mode validation failed")
+        _lock_fd(fd, exclusive=write)
+        doc = read_private_json(os.path.join(rd, "manifest.json"))
+        if doc.get("schema_version") != SCHEMA_VERSION or doc.get("run_id") != run_id:
+            raise TrustFailure("manifest schema or run identity mismatch")
+        before = json.dumps(doc, sort_keys=True, separators=(",", ":"))
+        yield doc
+        after = json.dumps(doc, sort_keys=True, separators=(",", ":"))
+        if write and after != before:
+            doc["revision"] = int(doc.get("revision", 0)) + 1
+            doc["updated_at"] = now_iso()
+            atomic_private_json(os.path.join(rd, "manifest.json"), doc)
+    finally:
+        _unlock_fd(fd)
+        os.close(fd)
+
+
+def sanitized_git_environment(overrides: dict | None = None) -> dict[str, str]:
+    process_env = {key: value for key, value in os.environ.items() if key not in GIT_LOCAL_ENV_VARS}
+    process_env.update(overrides or {})
+    return process_env
+
+
+def git(repo: str, *args: str, input_data: bytes | None = None, check: bool = True, env: dict | None = None) -> bytes:
+    proc = subprocess.run(
+        ["git", "-C", repo, *args], input=input_data, capture_output=True,
+        env=sanitized_git_environment(env), check=False,
+    )
+    if check and proc.returncode != 0:
+        message = proc.stderr.decode("utf-8", "replace").strip()
+        raise Operational("BLOCKED", f"git {' '.join(args)} failed: {message}")
+    return proc.stdout
+
+
+def git_text(repo: str, *args: str, check: bool = True) -> str:
+    return git(repo, *args, check=check).decode("utf-8", "surrogateescape").strip()
+
+
+def commit_index_tree(repo: str, message: str) -> str:
+    """Commit the verified index directly, without invoking repository hooks."""
+    if not message.strip() or "\0" in message:
+        raise Operational("REFUSED", "commit message must be non-empty and contain no NUL")
+    parent = git_text(repo, "rev-parse", "HEAD")
+    branch_ref = git_text(repo, "symbolic-ref", "-q", "HEAD")
+    tree = git_text(repo, "write-tree")
+    commit = git(
+        repo,
+        "commit-tree", tree, "-p", parent,
+        input_data=f"{message.rstrip()}\n".encode("utf-8"),
+    ).decode("ascii", "strict").strip()
+    git(repo, "update-ref", branch_ref, commit, parent)
+    return commit
+
+
+def repo_info(repo: str) -> dict:
+    repo = os.path.realpath(repo)
+    top = os.path.realpath(git_text(repo, "rev-parse", "--show-toplevel"))
+    if top != repo:
+        repo = top
+    branch = git_text(repo, "symbolic-ref", "-q", "HEAD", check=False)
+    if not branch:
+        raise Operational("REFUSED", "canonical checkout must be on a branch")
+    git_dir = os.path.realpath(git_text(repo, "rev-parse", "--path-format=absolute", "--absolute-git-dir"))
+    common = os.path.realpath(git_text(repo, "rev-parse", "--path-format=absolute", "--git-common-dir"))
+    st = os.stat(common)
+    roots = sorted(git_text(repo, "rev-list", "--max-parents=0", "HEAD").splitlines())
+    identity = digest_bytes((common + f"\0{st.st_dev}\0{st.st_ino}\0" + "\n".join(roots)).encode())
+    return {
+        "toplevel": repo,
+        "git_dir": git_dir,
+        "common_dir": common,
+        "common_dev": st.st_dev,
+        "common_ino": st.st_ino,
+        "identity_digest": identity,
+        "branch_ref": branch,
+        "head": git_text(repo, "rev-parse", "HEAD"),
+        "head_tree": git_text(repo, "rev-parse", "HEAD^{tree}"),
+    }
+
+
+def validate_source(doc: dict) -> None:
+    source = doc.get("source")
+    if source is not None:
+        if not isinstance(source, dict):
+            raise TrustFailure("manifest source record is malformed")
+        kind = source.get("kind")
+        if kind == "prompt":
+            if source.get("storage") != "run" or source.get("path") != "source/bare-prompt.md":
+                raise TrustFailure("prompt source location is malformed")
+            if not isinstance(source.get("digest"), str) or not re.fullmatch(r"[0-9a-f]{64}", source["digest"]):
+                raise TrustFailure("prompt source digest is malformed")
+            data = read_private(os.path.join(run_dir(doc["run_id"]), source["path"]), MAX_PACKET_BYTES)
+            if digest_bytes(data) != source.get("digest"):
+                raise TrustFailure("prompt source digest does not match private content")
+        elif kind == "plan":
+            if source.get("storage") != "repository" or not isinstance(source.get("path"), str):
+                raise TrustFailure("plan source location is malformed")
+            if not isinstance(source.get("digest"), str) or not re.fullmatch(r"[0-9a-f]{64}", source["digest"]):
+                raise TrustFailure("plan source digest is malformed")
+        else:
+            raise TrustFailure("manifest source kind is invalid")
+
+
+def validate_repo(doc: dict) -> dict:
+    validate_source(doc)
+    recorded = doc["repository"]
+    current = repo_info(recorded["toplevel"])
+    for key in ("toplevel", "git_dir", "common_dir", "common_dev", "common_ino", "identity_digest"):
+        if current[key] != recorded[key]:
+            raise Operational("BLOCKED", f"canonical repository identity changed ({key})")
+    if current["branch_ref"] != doc["branch"]["ref"]:
+        raise Operational("BLOCKED", "canonical branch changed")
+    return current
+
+
+def resolve_plan(repo: str, plan: str) -> tuple[str, str]:
+    supplied = os.path.abspath(plan if os.path.isabs(plan) else os.path.join(repo, plan))
+    try:
+        st = os.lstat(supplied)
+    except OSError as exc:
+        raise Operational("REFUSED", f"selected plan is missing: {exc}") from exc
+    if stat.S_ISLNK(st.st_mode) or not stat.S_ISREG(st.st_mode):
+        raise Operational("REFUSED", "selected plan must be one regular non-symlink file")
+    # OS temp roots may themselves be compatibility symlinks (macOS /var ->
+    # /private/var). Reject a symlink at the selected file, then compare the
+    # resolved file against the already-resolved canonical repository.
+    absolute = os.path.realpath(supplied)
+    if os.path.commonpath([repo, absolute]) != repo:
+        raise Operational("REFUSED", "plan must be inside the canonical repository")
+    return absolute, os.path.relpath(absolute, repo)
+
+
+def parse_json_arg(raw: str, label: str) -> dict:
+    try:
+        value = json.loads(raw)
+    except ValueError as exc:
+        raise Operational("REFUSED", f"invalid {label} JSON") from exc
+    if not isinstance(value, dict):
+        raise Operational("REFUSED", f"{label} must be a JSON object")
+    return value
+
+
+ROUTE_CONTRACTS = {
+    "codex": {"target": "codex", "harness": "codex", "intermediaries": [], "default_model": "auto", "restriction_posture": "cooperative"},
+    "claude": {"target": "claude", "harness": "claude", "intermediaries": [], "default_model": "auto", "restriction_posture": "cooperative"},
+    "grok-cli": {"target": "grok", "harness": "grok", "intermediaries": [], "default_model": "auto", "restriction_posture": "cooperative"},
+    "cursor": {"target": "cursor", "harness": "cursor-agent", "intermediaries": [], "default_model": "auto", "restriction_posture": "cooperative"},
+    "composer": {"target": "composer", "harness": "cursor-agent", "intermediaries": ["cursor"], "default_model": "composer-2.5[fast=true]", "restriction_posture": "cooperative"},
+    "grok-cursor": {"target": "grok", "harness": "cursor-agent", "intermediaries": ["cursor"], "default_model": "grok-4.7[context=256k,reasoning_effort=high,fast=true]", "restriction_posture": "cooperative"},
+    "opencode": {"target": "opencode", "harness": "opencode", "intermediaries": [], "default_model": "auto", "restriction_posture": "cooperative"},
+    "antigravity": {"target": "antigravity", "harness": "antigravity", "intermediaries": [], "default_model": "gemini-4-argon", "restriction_posture": "cooperative"},
+    # DeepSeek Harness. Model ids are `provider/model` (e.g.
+    # `workbuddy/deepseek-v4.1-flash`), the same shape opencode uses, because a
+    # DSH profile can front several providers at once and the provider is part
+    # of the identity -- `deepseek-v4.1-flash` alone is ambiguous across them.
+    "dsh": {"target": "dsh", "harness": "dsh", "intermediaries": [], "default_model": "auto", "restriction_posture": "cooperative"},
+}
+# Cursor's ACP model ids may carry a bracketed preset; route families apply to
+# the id before the bracket.
+CURSOR_MODEL = re.compile(r"([A-Za-z0-9][A-Za-z0-9._:/-]*)(?:\[[A-Za-z0-9._=,:-]*\])?")
+
+
+def route_model_allowed(route: str, model: str) -> bool:
+    if route in {"cursor", "composer", "grok-cursor"}:
+        match = CURSOR_MODEL.fullmatch(model)
+        if not match:
+            return False
+        base = match.group(1)
+        if route == "composer":
+            return bool(re.fullmatch(r"composer-[A-Za-z0-9._-]+", base))
+        if route == "grok-cursor":
+            return bool(re.fullmatch(r"(?:cursor-)?grok-[A-Za-z0-9._-]+", base))
+        lowered = base.lower()
+        return not (lowered in {"composer", "grok"} or lowered.startswith(("composer-", "grok-", "cursor-grok-")))
+    if not re.fullmatch(r"[A-Za-z0-9][A-Za-z0-9._:/-]*", model):
+        return False
+    if route == "codex":
+        return model == "auto" or bool(re.fullmatch(r"(?:gpt-[A-Za-z0-9._-]+|o[0-9][A-Za-z0-9._-]*)", model))
+    if route == "claude":
+        return model in {"auto", "fable", "opus", "sonnet", "haiku"} or bool(re.fullmatch(r"claude-[A-Za-z0-9._-]+", model))
+    if route == "grok-cli":
+        return model == "auto" or bool(re.fullmatch(r"grok-[A-Za-z0-9._-]+", model))
+    if route == "opencode":
+        return model == "auto" or bool(re.fullmatch(r"[A-Za-z0-9][A-Za-z0-9._-]*/[A-Za-z0-9._-]+", model))
+    if route == "dsh":
+        # `auto` lets the profile's configured default model decide;
+        # `provider/model` pins one explicitly, provider first.
+        return model == "auto" or bool(re.fullmatch(r"[A-Za-z0-9][A-Za-z0-9._-]*/[A-Za-z0-9][A-Za-z0-9._-]*", model))
+    if route == "antigravity":
+        # Antigravity also serves Claude and gpt-oss models; this route exists for Gemini.
+        return bool(re.fullmatch(r"gemini-[A-Za-z0-9._-]+", model))
+    return False
+
+
+EFFORT_TOKEN = re.compile(r"[A-Za-z0-9][A-Za-z0-9_-]{0,31}")
+
+
+def fixed_route_contract(binding: dict, egress: dict, word: str = "BLOCKED") -> dict:
+    if not isinstance(binding, dict) or not isinstance(egress, dict):
+        raise Operational(word, "run binding or egress sanction is malformed")
+    expected_binding_fields = {"mode", "target", "model", "source"}
+    if set(binding) != expected_binding_fields:
+        raise Operational(word, "binding must contain exactly mode, target, model, and source")
+    if binding.get("mode") not in {"prefer", "require"}:
+        raise Operational(word, "binding mode must be 'prefer' or 'require'")
+    source = binding.get("source")
+    if not isinstance(source, str) or not source or "\0" in source or len(source.encode()) > 256:
+        raise Operational(word, "binding source must be a non-empty string of at most 256 bytes")
+    route = egress.get("route")
+    contract = ROUTE_CONTRACTS.get(route)
+    if not contract:
+        allowed = ", ".join(ROUTE_CONTRACTS)
+        raise Operational(word, f"unsupported egress route {route!r}; expected one of: {allowed}")
+    if binding.get("target") != contract["target"]:
+        raise Operational(word, "binding target does not match the sanctioned fixed route")
+    intermediaries = egress.get("intermediaries")
+    if intermediaries != contract["intermediaries"]:
+        raise Operational(word, "egress intermediaries do not match the fixed route")
+    model = binding.get("model")
+    if model is not None and (not isinstance(model, str) or not model):
+        raise Operational(word, "binding model must be null or a non-empty string")
+    requested_model = model or contract["default_model"]
+    if not route_model_allowed(route, requested_model):
+        raise Operational(word, "binding model is not compatible with the sanctioned fixed route")
+    restrictions = egress.get("restrictions", [])
+    if not isinstance(restrictions, list) or not all(isinstance(item, str) for item in restrictions):
+        raise Operational(word, "egress restrictions must be a string list")
+    effort = egress.get("effort")
+    if effort is not None and (not isinstance(effort, str) or not EFFORT_TOKEN.fullmatch(effort)):
+        raise Operational(word, "egress effort must be a short plain token")
+    return contract
+
+
+def attempt_authorization(
+    doc: dict,
+    activity_posture: str,
+    unit_id: str,
+    attempt_id: str,
+    packet_digest: str,
+) -> dict:
+    binding = doc.get("binding")
+    egress = doc.get("egress")
+    contract = fixed_route_contract(binding, egress)
+    route = egress.get("route")
+    intermediaries = egress.get("intermediaries")
+    model = binding.get("model")
+    restrictions = egress.get("restrictions", [])
+    authorization = {
+        "schema_version": 1,
+        "run_id": doc["run_id"],
+        "unit_id": unit_id,
+        "attempt_id": attempt_id,
+        "route": route,
+        "target": contract["target"],
+        "harness": contract["harness"],
+        "intermediaries": list(contract["intermediaries"]),
+        "model_requested": model or contract["default_model"],
+        "restriction_posture": contract["restriction_posture"],
+        "restrictions": list(restrictions),
+        "activity_posture": activity_posture,
+        "packet_digest": packet_digest,
+    }
+    # Present only when requested, so an unset run keeps the original key set.
+    if egress.get("effort") is not None:
+        authorization["effort_requested"] = egress["effort"]
+    return authorization
+
+
+def read_external_packet(path: str, label: str = "unit packet") -> bytes:
+    supplied = os.path.abspath(path)
+    try:
+        fd = os.open(supplied, os.O_RDONLY | O_NOFOLLOW)
+    except OSError as exc:
+        raise Operational("REFUSED", f"cannot safely open {label}: {exc}") from exc
+    try:
+        st = os.fstat(fd)
+        if not stat.S_ISREG(st.st_mode):
+            raise Operational("REFUSED", f"{label} must be one regular non-symlink file")
+        if st.st_size > MAX_PACKET_BYTES:
+            raise Operational("REFUSED", f"{label} exceeds {MAX_PACKET_BYTES}-byte limit")
+        data = bytearray()
+        while len(data) <= MAX_PACKET_BYTES:
+            part = os.read(fd, min(65536, MAX_PACKET_BYTES + 1 - len(data)))
+            if not part:
+                break
+            data.extend(part)
+        if len(data) > MAX_PACKET_BYTES:
+            raise Operational("REFUSED", f"{label} exceeds {MAX_PACKET_BYTES}-byte limit")
+        return bytes(data)
+    finally:
+        os.close(fd)
+
+
+def event(doc: dict, kind: str, unit_id: str | None = None, detail: dict | None = None) -> None:
+    row = {"at": now_iso(), "kind": kind}
+    if unit_id is not None:
+        row["unit_id"] = unit_id
+    if detail:
+        row["detail"] = detail
+    doc.setdefault("events", []).append(row)
+
+
+def cmd_init(args) -> tuple[str, dict]:
+    ensure_root()
+    rid = safe_id(args.run_id, "run id")
+    info = repo_info(args.repo)
+    if args.plan:
+        if not args.plan_digest or args.prompt_digest:
+            raise Operational("REFUSED", "plan source requires only --plan-digest")
+        plan_abs, plan_rel = resolve_plan(info["toplevel"], args.plan)
+        source_bytes = Path(plan_abs).read_bytes()
+        source_kind = "plan"
+        supplied_digest = args.plan_digest
+        source_record = {
+            "kind": source_kind,
+            "storage": "repository",
+            "path": plan_rel,
+            "digest": digest_bytes(source_bytes),
+        }
+    else:
+        if not args.prompt_digest or args.plan_digest:
+            raise Operational("REFUSED", "prompt source requires only --prompt-digest")
+        prompt_abs = os.path.realpath(os.path.abspath(args.prompt_brief))
+        if os.path.commonpath([info["toplevel"], prompt_abs]) == info["toplevel"]:
+            raise Operational("REFUSED", "prompt brief must be outside the canonical repository")
+        source_bytes = read_external_packet(args.prompt_brief, "prompt brief")
+        source_kind = "prompt"
+        supplied_digest = args.prompt_digest
+        source_record = {
+            "kind": source_kind,
+            "storage": "run",
+            "path": "source/bare-prompt.md",
+            "digest": digest_bytes(source_bytes),
+        }
+    actual_digest = source_record["digest"]
+    if actual_digest != supplied_digest:
+        raise Operational("REFUSED", f"selected {source_kind} digest does not match content")
+    binding = parse_json_arg(args.binding_json, "binding")
+    egress = parse_json_arg(args.egress_json, "egress")
+    fixed_route_contract(binding, egress, "REFUSED")
+    rd = run_dir(rid)
+    try:
+        os.mkdir(rd, 0o700)
+    except FileExistsError:
+        try:
+            existing = os.lstat(rd)
+        except OSError as exc:
+            raise TrustFailure(f"cannot safely inspect run directory {rd}: {exc}") from exc
+        if stat.S_ISDIR(existing.st_mode) and not os.path.lexists(os.path.join(rd, "manifest.json")):
+            raise Operational(
+                "BLOCKED",
+                "run directory exists without a controller manifest; choose a new run id or remove the directory after confirming no initialization is active",
+            )
+        validate_private_dir(rd)
+        with locked_manifest(rid) as existing:
+            validate_repo(existing)
+            existing_source = existing.get("source")
+            if not isinstance(existing_source, dict):
+                plan = existing.get("plan")
+                existing_source = {
+                    "kind": "plan",
+                    "storage": "repository",
+                    "path": plan.get("path") if isinstance(plan, dict) else None,
+                    "digest": plan.get("digest") if isinstance(plan, dict) else None,
+                }
+            if (
+                existing["repository"]["identity_digest"] != info["identity_digest"]
+                or existing_source.get("kind") != source_kind
+                or existing_source.get("digest") != actual_digest
+            ):
+                raise Operational("BLOCKED", "run id already belongs to another repository or source")
+            if existing.get("binding") != binding or existing.get("egress") != egress:
+                raise Operational(
+                    "BLOCKED",
+                    "run id binding or egress sanction differs from the recorded fixed contract; resume with the recorded contract or choose a new run id",
+                )
+            return "READY", {
+                "run_id": rid,
+                "revision": existing["revision"],
+                "resumed": True,
+                "source_kind": source_kind,
+                "source_digest": actual_digest,
+                "recovery_path": rd,
+            }
+    validate_private_dir(rd)
+    for child in ("units", "jobs", "packets", "source"):
+        ensure_private_dir(os.path.join(rd, child))
+    if source_kind == "prompt":
+        create_private(os.path.join(rd, source_record["path"]), source_bytes)
+    create_private(os.path.join(rd, "manifest.lock"), b"")
+    created = now_iso()
+    doc = {
+        "schema_version": SCHEMA_VERSION,
+        "revision": 0,
+        "run_id": rid,
+        "created_at": created,
+        "updated_at": created,
+        "repository": {k: info[k] for k in ("toplevel", "git_dir", "common_dir", "common_dev", "common_ino", "identity_digest")},
+        "branch": {"ref": info["branch_ref"], "initial_head": info["head"]},
+        "source": source_record,
+        "plan": {
+            "kind": source_kind,
+            "path": plan_rel if source_kind == "plan" else None,
+            "digest": actual_digest,
+            "checkpoint": None,
+        },
+        "binding": binding,
+        "egress": egress,
+        "integration_lock": None,
+        "units": {},
+        "verification_attempts": [],
+        "verifications": [],
+        "blockers": [],
+        "events": [{"at": created, "kind": "run-created"}],
+    }
+    create_private(os.path.join(rd, "manifest.json"), (json.dumps(doc, sort_keys=True, separators=(",", ":")) + "\n").encode())
+    return "READY", {
+        "run_id": rid,
+        "revision": 0,
+        "resumed": False,
+        "source_kind": source_kind,
+        "source_digest": actual_digest,
+        "recovery_path": rd,
+    }
+
+
+def status_paths(repo: str) -> set[str]:
+    raw = git(repo, "status", "--porcelain=v1", "-z", "--untracked-files=all")
+    parts = raw.split(b"\0")
+    paths: set[str] = set()
+    i = 0
+    while i < len(parts):
+        entry = parts[i]
+        i += 1
+        if not entry:
+            continue
+        if len(entry) < 4:
+            raise Operational("BLOCKED", "unexpected porcelain status record")
+        code = entry[:2]
+        paths.add(entry[3:].decode("utf-8", "surrogateescape"))
+        if b"R" in code or b"C" in code:
+            if i >= len(parts) or not parts[i]:
+                raise Operational("BLOCKED", "incomplete rename status record")
+            paths.add(parts[i].decode("utf-8", "surrogateescape"))
+            i += 1
+    return paths
+
+
+def reconcile_plan_checkpoint(repo: str, doc: dict, info: dict, plan_rel: str) -> dict | None:
+    """Recover the controller's plan commit when its manifest receipt was interrupted."""
+    prior = doc.get("branch", {}).get("initial_head")
+    commit = info["head"]
+    if commit == prior:
+        return None
+    lineage = git_text(repo, "rev-list", "--parents", "-n", "1", commit).split()
+    changed = set(filter(None, git(repo, "diff-tree", "--no-commit-id", "--name-only", "-r", "-z", commit).decode("utf-8", "surrogateescape").split("\0")))
+    message = git(repo, "show", "-s", "--format=%B", commit).decode("utf-8", "surrogateescape").rstrip("\n")
+    plan_bytes = git(repo, "show", f"{commit}:{plan_rel}", check=False)
+    if (
+        not _valid_git_object_id(prior)
+        or lineage != [commit, prior]
+        or changed != {plan_rel}
+        or message != PLAN_CHECKPOINT_MESSAGE
+        or digest_bytes(plan_bytes) != doc["plan"]["digest"]
+    ):
+        raise Operational(
+            "BLOCKED",
+            "canonical HEAD advanced without a recorded matching plan checkpoint",
+            {"expected_prior_head": prior, "head": commit},
+        )
+    committed_at = int(git_text(repo, "show", "-s", "--format=%ct", commit))
+    return {
+        "prior_head": prior,
+        "commit": commit,
+        "tree": info["head_tree"],
+        "path": plan_rel,
+        "digest": doc["plan"]["digest"],
+        "at": time.strftime("%Y-%m-%dT%H:%M:%SZ", time.gmtime(committed_at)),
+    }
+
+
+def cmd_checkpoint_plan(args) -> tuple[str, dict]:
+    with locked_manifest(args.run_id, write=True) as doc:
+        info = validate_repo(doc)
+        repo = info["toplevel"]
+        plan = doc.get("plan")
+        if not isinstance(plan, dict) or plan.get("kind", "plan") != "plan" or not plan.get("path"):
+            dirty = status_paths(repo)
+            if dirty:
+                raise Operational("BLOCKED", "prompt-backed external execution requires a clean canonical checkout", {"dirty_paths": sorted(dirty)})
+            return "NOOP", {"checkpoint": None, "head": info["head"], "source_kind": "prompt"}
+        plan_rel = plan["path"]
+        plan_abs, _ = resolve_plan(repo, plan_rel)
+        if digest_bytes(Path(plan_abs).read_bytes()) != doc["plan"]["digest"]:
+            raise Operational("BLOCKED", "selected plan content no longer matches recorded digest")
+        dirty = status_paths(repo)
+        if not dirty:
+            checkpoint = doc["plan"].get("checkpoint")
+            if checkpoint is not None:
+                return "NOOP", {"checkpoint": checkpoint, "head": info["head"]}
+            checkpoint = reconcile_plan_checkpoint(repo, doc, info, plan_rel)
+            if checkpoint is None:
+                return "NOOP", {"checkpoint": None, "head": info["head"]}
+            doc["plan"]["checkpoint"] = checkpoint
+            event(doc, "plan-checkpoint", detail={"commit": checkpoint["commit"], "path": plan_rel})
+            return "CHECKPOINTED", {"checkpoint": checkpoint}
+        if dirty != {plan_rel}:
+            raise Operational("BLOCKED", "canonical dirt is not exactly the selected plan", {"dirty_paths": sorted(dirty)})
+        prior = info["head"]
+    git(repo, "add", "--", plan_rel)
+    staged = set(filter(None, git(repo, "diff", "--cached", "--name-only", "-z").decode("utf-8", "surrogateescape").split("\0")))
+    if staged != {plan_rel}:
+        git(repo, "reset", "--mixed", prior)
+        raise Operational("BLOCKED", "staged paths are not exactly the selected plan")
+    try:
+        commit_index_tree(repo, PLAN_CHECKPOINT_MESSAGE)
+    except Operational:
+        git(repo, "reset", "--mixed", prior, check=False)
+        raise
+    commit = git_text(repo, "rev-parse", "HEAD")
+    test_fault("checkpoint-plan-after-commit")
+    if status_paths(repo):
+        raise Operational("BLOCKED", "checkpoint committed but canonical checkout is not clean")
+    cp = {"prior_head": prior, "commit": commit, "tree": git_text(repo, "rev-parse", "HEAD^{tree}"), "path": plan_rel, "digest": doc["plan"]["digest"], "at": now_iso()}
+    with locked_manifest(args.run_id, write=True) as doc:
+        validate_repo(doc)
+        doc["plan"]["checkpoint"] = cp
+        event(doc, "plan-checkpoint", detail={"commit": commit, "path": plan_rel})
+    return "CHECKPOINTED", {"checkpoint": cp}
+
+
+@contextlib.contextmanager
+def admin_lock(common_dir: str):
+    root = ensure_root()
+    key = digest_bytes(os.path.realpath(common_dir).encode())
+    path = os.path.join(root, ".locks", f"worktree-{key}.lock")
+    try:
+        create_private(path, b"")
+    except Operational:
+        pass
+    data = read_private(path, 64)
+    del data
+    fd = os.open(path, os.O_RDWR | O_NOFOLLOW)
+    try:
+        _lock_fd(fd, exclusive=True)
+        yield
+    finally:
+        _unlock_fd(fd)
+        os.close(fd)
+
+
+def worktree_rows(repo: str) -> list[dict]:
+    raw = git_text(repo, "worktree", "list", "--porcelain")
+    rows, row = [], {}
+    for line in raw.splitlines() + [""]:
+        if not line:
+            if row:
+                rows.append(row)
+                row = {}
+            continue
+        key, _, value = line.partition(" ")
+        row[key] = value if value else True
+    return rows
+
+
+def validate_workspace(doc: dict, unit: dict) -> dict:
+    repo = doc["repository"]["toplevel"]
+    workspace = unit["workspace"]["path"]
+    owned = os.path.join(run_dir(doc["run_id"]), "units", unit["unit_id"])
+    if os.path.commonpath([os.path.realpath(workspace), os.path.realpath(owned)]) != os.path.realpath(owned):
+        raise Operational("BLOCKED", "workspace escaped its owned unit directory")
+    validate_private_dir(workspace)
+    matches = [r for r in worktree_rows(repo) if os.path.realpath(str(r.get("worktree", ""))) == os.path.realpath(workspace)]
+    if len(matches) != 1:
+        raise Operational("BLOCKED", "workspace is not registered exactly once")
+    if "detached" not in matches[0]:
+        raise Operational("BLOCKED", "unit workspace is not detached")
+    common = os.path.realpath(git_text(workspace, "rev-parse", "--path-format=absolute", "--git-common-dir"))
+    if common != doc["repository"]["common_dir"]:
+        raise Operational("BLOCKED", "unit workspace belongs to another repository")
+    return matches[0]
+
+
+def validate_pristine_unit_base(doc: dict, unit: dict) -> dict:
+    row = validate_workspace(doc, unit)
+    workspace = unit["workspace"]["path"]
+    base = unit["workspace"]["base"]
+    if git_text(workspace, "rev-parse", "HEAD") != base:
+        raise Operational("BLOCKED", "unit workspace HEAD no longer equals the recorded base")
+    dirty = status_paths(workspace)
+    if dirty:
+        raise Operational(
+            "BLOCKED",
+            "unit workspace is dirty before dispatch authorization",
+            {"dirty_paths": sorted(dirty)},
+        )
+    return row