forked from heavy-duty/ceremony
docs(builder): the collapse rule, without the incident
Round 1 on #286: codex, claude and kimi each blocked on the same thing — the amended paragraph carried incident narrative that CONTRIBUTING.md's doctrine conventions keep in the cited record. Drop #275's head sha and both start stamps, the cancel-in-progress episode sentence, and the four clauses of 2026-07-27 gloss provenance. Carry checks_state's carve-out as one clause with a bare (#139, #276). The rule is unchanged and still decides #275's head unaided: two entries for one check, newest by start time wins, and the cancelled one is not the check's word while a non-cancelled sibling stands.
This commit is contained in:
parent
b2313beae8
commit
4c8398a15d
1 changed files with 14 additions and 24 deletions
38
BUILDER.md
38
BUILDER.md
|
|
@ -259,30 +259,20 @@ CONTRIBUTING; the shared flow lives here and is not restated there.)
|
|||
by start time, and a `CANCELLED` entry is not that word while the
|
||||
same check carries a non-cancelled entry at the same head.** The
|
||||
survivor is the verdict about these bytes; the entry it displaced
|
||||
reported nothing about them. That shape is routine rather than
|
||||
exotic: a job in a `cancel-in-progress` concurrency group displaces
|
||||
*itself* whenever two events land inside one of its runs, so one job
|
||||
appears twice on one sha — #275's head at `806e99e1` carried
|
||||
`labels / scope` `CANCELLED` started at 23:45:19Z beside
|
||||
`labels / scope` `SUCCESS` started at 23:45:31Z, and that head is
|
||||
green, with no argued exception owed. Say **start** time and mean it:
|
||||
a cancelled run does not stop the moment its replacement begins, so
|
||||
the dead run's completion routinely postdates the live run's start,
|
||||
and a reader who dates entries by completion picks the corpse. When
|
||||
*every* entry a check has at the head is cancelled, nothing survives
|
||||
to be its word: that check has not reported at all, and it stays
|
||||
not-green by the classes below — the all-cancelled context is the
|
||||
case this leaves exactly where it was. Nor is any of this a new
|
||||
class. The 2026-07-27 gloss that what survives at a head is same-head
|
||||
cancellation was written against supersession by a newer push, not
|
||||
against a job displacing itself inside its own concurrency group, and
|
||||
`checks_state`'s #139 carve-out has read it that way in the machine's
|
||||
voice ever since — cancelled entries dropped only where the context
|
||||
keeps a non-cancelled survivor, an all-cancelled context left intact
|
||||
and still blocking — so doctrine and gate partition alike on a mixed
|
||||
context. What the *machine* drops from the rollup before it grades
|
||||
anything is a different question, and crew's to describe rather than
|
||||
this file's.
|
||||
reported nothing about them. Say **start** time and mean it: a
|
||||
cancelled run does not stop the moment its replacement begins, so the
|
||||
dead run's completion routinely postdates the live run's start, and a
|
||||
reader who dates entries by completion picks the corpse. When *every*
|
||||
entry a check has at the head is cancelled, nothing survives to be
|
||||
its word: that check has not reported at all, and it stays not-green
|
||||
by the classes below — the all-cancelled context is the case this
|
||||
leaves exactly where it was. This states a collapse and not a new
|
||||
class: `checks_state`'s carve-out drops a cancelled entry only where
|
||||
its context keeps a non-cancelled survivor, and leaves an
|
||||
all-cancelled context intact and still blocking, so doctrine and gate
|
||||
partition alike on a mixed context (#139, #276). What the *machine*
|
||||
drops from the rollup before it grades anything is a different
|
||||
question, and crew's to describe rather than this file's.
|
||||
Then classify that entry, and classify it from its **`conclusion`**,
|
||||
never its `status`: a check carrying a terminal conclusion is green or
|
||||
not-green by that conclusion whatever its `status` field still
|
||||
|
|
|
|||
Loading…
Reference in a new issue