diff --git a/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md b/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md index ccf24711..46c0629a 100644 --- a/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md +++ b/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md @@ -389,3 +389,9 @@ the principle that settles it, cited as "design 47 G A-n". later start that finds it runs no switch, so the deliveries §716 writes never become records at a start. A revert's restore brings back the state from before G without the key, so delivering G again switches again, still safe to run twice by the record's key. +- **A-282** (A-115, §544; principles 3 and 7) An ask's step bound key is created once: `stepBounds.Arm` creates it + only if absent, and a second waiter that finds it already there takes it as armed and waits on the same key; it is + never deleted to be made again. +- **A-283** (A-277, ADR 0595; principle 7) The holder of the seat `mesh-broker` makes a template `state` bucket with + the `max-mib` its requirement declares, the default cap where none is declared, as the grants part does for a + state section; one cap rule for every state bucket.