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 37de8ef0..f98dcbdb 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 @@ -31,3 +31,6 @@ the principle that settles it, cited as "design 47 G A-n". - **A-187** (A-176, §76; principle 3) The consumer ledger keeps a message's first delivery time: a message delivered again (asked again, or after a restart) keeps the time it was first delivered, so a message that never settles grows old and §76's check fires for it. +- **A-188** (A-172, §170, §151; principles 3 and 7) A take-in writes its entries (each with its module) into the + gate's record, so `recovery-merged`'s `module` is filled from the record; no forge-made open path is built, since + G ends the mark (§151). A record of the old milestone form, made before G, says no branch.