This is the record of an abcd-managed repository

abcdBetav0.16.2 · 2026-11-06

Development record

Ahoy calls the remote apply the one verb that mutates state outside the machine; launch says the reservation verb means a push to origin

issueopenminoriss-2610262032226321

Ahoy calls the remote apply the one verb that mutates state outside the machine; launch says the reservation verb means a push to origin

A premise contradiction (severity minor) found by the cross-document consistency pass.

  • End A: .abcd/development/brief/04-surfaces/01-ahoy.md:90 — "the one abcd verb that mutates state outside this machine"
  • End B: .abcd/development/brief/04-surfaces/04-launch.md:757 — "A push from it would change what the verb means, where the reservation verb already means exactly that push."

Ahoy says the remote apply is the one abcd verb that mutates state outside this machine. Launch has the cutting session take the release hold with the reservation verb, and says that verb already means exactly a push of the reservation to origin, a remote write every other session's land step then reads. Both cannot be the one remote-mutating verb.

Evidence: .abcd/work/reviews/2026-10-26-consistency/00-summary.md, finding 259.

Frontmatter

idiss-2610262032226321
typeissue
lifecycleopen
severityminor

mentions3