Answer A-200: a record joins its take-in by its milestone

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 09:41:28 +01:00
parent e0f23683b0
commit 8e767e10fb
1 changed files with 3 additions and 0 deletions
@@ -82,3 +82,6 @@ the principle that settles it, cited as "design 47 G A-n".
 - **A-199** (A-185, A-193; principle 7) mesh-sdk's `ProcessReader` gains `AdoptEvent(seat, event, hear)`, a seat event
  heard on the one subscription with no picture, made at once if no follower made it; meshcatalogclient's
  `WireCandidatesProcess` adopts `catalog-revision` through it and hands each candidate revision to the hook.
+- **A-200** (§502, A-188; principles 7 and 8) A taken-in delivery record's `milestone` is `<branch>.<source revision>`,
+  so the watchman ties a `record-opened` to the `take-in.taken` of that branch and source revision by its milestone;
+  `record-opened` gains nothing, and a record is covered only by what is late for its own revision's entries.