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 74c4ce63..8129374d 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 @@ -90,3 +90,5 @@ names the principle that settles it, and is cited as "design 47 G A-n". module's own check interval; a field the contract's `Finding` lacks (`resolved`, and its words in every module, the watchman's included) is dropped, the keeper saying a clear in its own words; an id is escaped as a name, and a `ref` goes into the id only where two findings of one kind share an id; old keys are cleared by the writer's first statement. mesh-sdk keeps no old `views.Finding` or `FindingWriter` beside the generic writer. +- **A-23** (§81, §132; principle 7) The gate's `recovery` marks the delivery record through its ordinary update, with one + field `recovery` holding `by` (the proved caller), `why` and `commit`; no new operation. Then it says `recovery-merged`.