Answer A-246: delivery waits kept in their own state
Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
This commit is contained in:
@@ -257,3 +257,6 @@ the principle that settles it, cited as "design 47 G A-n".
|
||||
`needs-approval` alone (the definition `AnswerSeat` is given); it reads no catalog entry.
|
||||
- **A-245** (§298, §368; principle 7) §298's order edges are held under the assigner's rule 7, as its acting waits
|
||||
are; a change of the assigner's state forms bumps its manifest's version once, in the commit that changes them.
|
||||
- **A-246** (§376, §498, A-211; principles 2 and 4) A dependent's delivery wait is kept in a state of its own,
|
||||
`delivery-waits` (key the module, value the `wait-held` said), read by `assigner_waits` beside the others;
|
||||
`assigner_release` {module, step: delivery} writes the hand-act log first and ends the wait `released`.
|
||||
|
||||
Reference in New Issue
Block a user