This is the record of an abcd-managed repository

abcdBetav0.16.2 · 2026-11-06

Development record

Session-presence detection for shared checkouts: each live session leases a marker (session id, intended branch, started-at) in the checkout, and the pre-commit gate warns when another live session's lease is present — the armed-detector rung of the AGENTS.md concurrent-session conventions, which are vigilance-only until this ships. Lease home needs thought: the local tier is per-worktree by design, and the hazard is precisely two sessions in ONE worktree, so the lease belongs to the checkout, not the branch.

issueopenminoriss-2608220750029993

Session-presence detection for shared checkouts: each live session leases a marker (session id, intended branch, started-at) in the checkout, and the pre-commit gate warns when another live session's lease is present — the armed-detector rung of the AGENTS.md concurrent-session conventions, which are vigilance-only until this ships. Lease home needs thought: the local tier is per-worktree by design, and the hazard is precisely two sessions in ONE worktree, so the lease belongs to the checkout, not the branch.

Remedy grounds (2026-09-29)

  • SOTA check: git-worktree (https://git-scm.com/docs/git-worktree, read 2026-09-29) offers only git worktree lock, an administrative marker with a free-text reason and no notion of which process uses a worktree, so git has no presence to reuse; Gray and Cheriton's leases (SOSP 1989, https://doi.org/10.1145/74850.74870) show a time-bounded grant makes a crashed holder cost a delay rather than correctness, the property the implement claim leases already have.
  • Rejected: a lock that refuses the commit (a stale marker would block a live session, and the AGENTS.md convention asks for announcement) and a marker in the per-worktree local tier, which the record itself excludes.

Frontmatter

idiss-2608220750029993
typeissue
lifecycleopen
severityminor

References3

mentions8