Answer A-230: a restore point names the bus names it took

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 09:41:28 +01:00
parent 931c0878c1
commit 24a0fc7272
1 changed files with 3 additions and 0 deletions
@@ -198,3 +198,6 @@ the principle that settles it, cited as "design 47 G A-n".
  `catalogue.Manifest.Wants` lists them, optional ones included; a reader that means "required, not optionally" (the
  module graph's `Requirers`, the assigner's halves) tells the optional ones apart by the entry's manifest
  (`IsOptional`).
+- **A-230** (§554, §565, A-124; principle 7) A restore point's `Point` gains `names`, the bus names it took, one per
+  bus object as `Aside`'s; the recovery module fills it when it takes a point, and the grants part reads
+  `points[].names` and `asides[].names` from `kept-points`.