Correct A-279: a member's base is read from its delivery, which the gate already keeps
Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
This commit is contained in:
@@ -373,6 +373,7 @@ the principle that settles it, cited as "design 47 G A-n".
|
||||
function `AnswerSeat` takes is written once, in mesh-sdk's `seatlist` (the definition of a seat from the list a part
|
||||
follows; none until the list is read, none for a seat it does not hold), and every holder passes it. A part that
|
||||
serves a seat verb follows the seat list with its grant, as the pipeline runner and mesh-recovery now do.
|
||||
- **A-279** (A-236, §715; principles 1 and 7) A group member's `base` is its pull request's base branch as the forge
|
||||
message names it (`forgemsg` `base`, said when the pull request is opened or pushed), filled when the gate hears that
|
||||
message, so it is known before any take-in; the take-in's branch never stands in for it.
|
||||
- **A-279** (A-236, §715; principles 1 and 7) A group member's `base` is its pull request's base branch as the gate
|
||||
already keeps it in that pull request's delivery (the `base` `mesh-delivery.show` answers, set when the pull request
|
||||
is announced), filled when the member joins its group, so it is known before any take-in; the take-in's branch never
|
||||
stands in for it, and no new event or state is added.
|
||||
|
||||
Reference in New Issue
Block a user