diff --git a/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md b/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md index dc09c31d..5435806b 100644 --- a/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md +++ b/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md @@ -121,3 +121,13 @@ names the principle that settles it, and is cited as "design 47 G A-n". writer's rule is unchanged. - **A-32** (A-29; principle 7) A part that keeps its open findings in memory (artifact-store-tools, mesh-config, distribution, gitea's package registry) uses the held writer of A-29, so a restart neither drops nor rewrites them. +- **A-33** (§151, §592, A-9; principle 7) The gate opens one record per `take-in.taken`: its key is the taken body's + `branch` and `source` (`.`, each escaped as a name); its members are the taken body's `entries` + (`repository`, `pull`), a group's members in one record; its heads are the commits the take-in names for them. +- **A-34** (§291, §15, §592; principle 1) `source.` moves on `take-in.taken`: the gate writes the taken body's + `source` for its `branch`, then says `source-moved`; nothing else moves it. +- **A-35** (§167, §158, §168; principle 7) The record's changes make the same owed acts the delivery's transitions make + today (the delivery's view, a comment, the note's line), re-keyed on the record; each act said is kept in the record's + `acts` with when it was said, and ended there on `owed.ended`, so `stalled` reads the unanswered ones. + `approval-carried` and `approval-carried-open` are design lines (§542, §592), not left out: they are built, with the + `pull-merged` and `pull-closed` consumes that clear the finding.