Answer A-266: no holder names the gate's approvals verb
Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
This commit is contained in:
@@ -329,3 +329,5 @@ the principle that settles it, cited as "design 47 G A-n".
|
||||
tool bundle holds the seat (the login shell's `execute`), the tool runner, which already holds that bundle's gate,
|
||||
answers the marked verb by caller and serves `approvals` for the seats its bundles hold, as `AnswerSeat` does for a
|
||||
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.
|
||||
|
||||
Reference in New Issue
Block a user