Design 51: cite ADR 0627 for the holders' shared receiving side, ADR 0611 §3 for the drop
Claude-Session: https://claude.ai/code/session_01JG73KJNrH5EgFXMKKYSrig
This commit is contained in:
@@ -142,7 +142,7 @@ the verb.
|
||||
objects template allows (design 25 § 12.1), and no lifetime, since that template keeps for good; the holder counts its
|
||||
fill against the cap its binding carries, never a number of its own. The holder itself drops a transfer with no part
|
||||
for 24 hours and deletes its parts (ADR 0611 §3), so an abandoned transfer does not stay. **Both are mesh-sdk's
|
||||
`parts.Receiver`, shared by every holder** (ADR 0611 §3), never copied into a holder: an expiring key per open
|
||||
`parts.Receiver`, shared by every holder** (ADR 0611 §3 for the drop, ADR 0627 for the shared receiving side), never copied into a holder: an expiring key per open
|
||||
transfer, in a state of the holder with a key lifetime, is armed when a transfer is opened or opened again, and its
|
||||
expiry (an event, never a timer) drops the transfer with its parts, or arms it again for the rest of the day if a
|
||||
part came; a key that cannot be written fails the opening loudly. The cap is read once from the binding's fill and
|
||||
|
||||
Reference in New Issue
Block a user