Answer A-267: the composition step's progress names the runner as its asker
Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
This commit is contained in:
@@ -331,3 +331,6 @@ the principle that settles it, cited as "design 47 G A-n".
|
||||
process; no holder changes and no mark moves.
|
||||
- **A-266** (A-264, A-265, ADR 0132; principle 7) `approvals` is the gate's verb, served wherever a marked verb is:
|
||||
`CanHold` and the validator's same rule ask no holder to name it in its claim's `serves` or its tools.
|
||||
- **A-267** (§496, §481, §22, A-170; principle 7) The composition step's `step-progress` carries `asker` `runner`, the
|
||||
one asker that sends the accepted kind `step` on `mesh-wants`; the asker rename after join 11 (A-163, A-170) reads
|
||||
it from the accept subject's asker token instead.
|
||||
|
||||
Reference in New Issue
Block a user