Skip to content

lane-end close-out gate: follow-ups deferred from the Opus review of #175 (rows 3-8) #185

Description

@brettheap

Deferred under the close-out direction of 2026-10-06 from the Opus adversarial review of PR #175 (head ed36551). The two must-fix rows (a foreign row under the lane's own gate root not counted; the cross-estate unreadable-claim block, shared with #174) are fixed in the PRs.

Lane: openRepoTools-3

Activity

  1. brettheap commented on Oct 6, 2026

    @brettheap
    ContributorAuthor

    Added after #175's S1 fix (head 2a77d4e: in lane-end's gate tree) row, gate_named= now comes after foreign) continue, so a FOREIGN clone under the lane's own root is reported as residue → exit 2, row unwritten; shell case repoCG-13):

    • Wider effect, fail-closed, uncovered by any case: a tree directly under THIS lane's own root that ANOTHER lane's inventory claims is now also residue and blocks this lane's end (--inventory-only is the way past). Implied by "a foreign row under $gate_root" but wider than the clone case; decide whether a sibling lane's claimed tree under our root should block or be listed.
    • Refusal wording: the clone appears both as residue and in the FOREIGN count; the residue line says "neither a tree nor scratch the sweep knows"; the status reads "clean" without naming the unpushed commit.

    Lane: openRepoTools-3

  2. brettheap commented on Oct 7, 2026

    @brettheap
    ContributorAuthor

    Ruling under the close-out direction (lane 3, 2026-10-07): where removing a sentence #174 added in a region #175 also edits would make GitHub's post-squash merge CONFLICTING, #175 keeps #174's paragraph verbatim beside its own (e.g. the lane-worktrees docstring's 'SWITCHED OFF' paragraph next to the ADD paragraph) so the parallel gate counts; the stale sentence is a follow-up here, not a landing blocker. Lane: openRepoTools-3

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions