A-23 names the trace operation, as built

Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ
2026-11-11 22:00:25 +01:00
parent dca4bc973e
commit a1c77688ab
1 changed files with 1 additions and 1 deletions
@@ -91,7 +91,7 @@ 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
+- **A-23** (§81, §132; principle 7) The gate's `recovery` marks the delivery record through its ordinary update (the record type's `trace` set-fields operation), with one
  field `recovery` holding `by` (the proved caller), `why` and `commit`; no new operation. Then it says `recovery-merged`.
 - **A-24** (§431, §172, §592, §158; principles 7 and 4) Once the merge states go, `deliveries`, `show` and `groups` answer
  the delivery records as the gate keeps them (G-3 *The delivery record*), filtered by their arguments, with no line