A-279's form that stands: the base is kept on the merges entry the Approve makes, copied at take-in

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
This commit is contained in:
2026-11-12 11:42:50 +01:00
parent b9f7ff6054
commit 15d73fe09c
@@ -373,7 +373,8 @@ 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; corrected twice) A group member's `base` is its pull request's base
branch as the seat `git` says it in `pull-updated` (which carries `Base`): the gate consumes that event and keeps the
base in the pull request's entry of its record (`RecordGroup.Pulls`, one field `base`), 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; corrected three times, this form stands) A group member's `base` is its
pull request's base branch as the seat `git` says it in `pull-updated` (which carries `Base`): the gate consumes that
event and keeps the base on the pull request's `MergePull` in its state `merges`, the entry the Approve makes; the
verb `groups` answers a group with no record yet from `merges`, and the take-in copies the base onto the record's
`RecordGroup.Pulls` when it opens the record. No new state; the take-in's branch never stands in for it.