Answer A-23: the gate's recovery mark is one field of the record

Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ
2026-11-11 21:54:44 +01:00
parent 1ac0f4e311
commit 21fa15d96d
1 changed files with 2 additions and 0 deletions
@@ -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`.