Answer A-168: marked waits take the union of every branch's newest entry

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 09:41:28 +01:00
parent b13dc2bfc4
commit 19f969b2db
1 changed files with 3 additions and 0 deletions
@@ -632,3 +632,6 @@ names the principle that settles it, and is cited as "design 47 G A-n".
  goes back to an earlier fingerprint, which the assigner computes itself; a kept data's `form` is read from the
  catalog entry's kept declarations (`catalogue.KeptDeclarations`). AS14's named seat and contribution edge, and
  AS17's ask of the operator, go to a design line.
+- **A-168** (E §33, design 46 approval mark §5; principle 3) For a marked wait on a module the runner does not serve,
+  the marks are the union of the newest entry of every followed branch; where the runner serves the module, its
+  served entry is added to that union. A mark is never lost.