Answer A-204: the assigner keeps its said put waits on the bus
Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
This commit is contained in:
@@ -98,3 +98,5 @@ the principle that settles it, cited as "design 47 G A-n".
|
||||
record the assigner holds; the grants part follows the assignment half by `mesh-wants`' `revision` and its
|
||||
`assignment-revision` event; its user list carries `withheld: [{module, subject, why}]`, and the seat `mesh-grants`'
|
||||
verb `withheld` takes `{node}` and answers `{node, modules: [{module, subjects: [{subject, why}]}]}`.
|
||||
- **A-204** (§498; principle 2) The assigner keeps which put waits it said in its own state on the bus, so a put
|
||||
that ends while the assigner is stopped gets its `wait-ended` at the next start.
|
||||
|
||||
Reference in New Issue
Block a user