Answer A-235: a run's end is said by the runner as a group-ended

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 09:41:28 +01:00
parent 653d2a84d9
commit b69d526139
1 changed files with 4 additions and 0 deletions
@@ -215,3 +215,7 @@ the principle that settles it, cited as "design 47 G A-n".
 - **A-234** (§711, ADR 0656 §6; principle 2) The indexer fills each catalog revision's `definitions` (the seat
  definitions it was taken in with, by digest) when it keeps the revision, and the `acts` fill reads from them; until
  then reading the trunk's from its `seat-definitions` state stands.
+- **A-235** (A-201, A-174, §190, RN9; principles 1 and 7) The runner says `group-ended` with group `run-<id>` once every
+  pipeline it placed for the run has ended, as it says a group's end; the assigner drops its candidate graph on it, and
+  the indexer drops the run's candidate on it in place of counting members itself. The kept object's key stays the
+  seat's form `candidate.<group>.<heads>` with group `run-<id>`.