Archived
A provision is minted while composing the consumer's node, and the provider's grant list is a pure read of secrets already issued — so pushing the consumer left the provider blind until somebody pushed it again, with no signal to. A named push now captures what every machine should be before composing, recomputes after, and sends the machines whose declaration changed because of this push — by name, never silently, converging over bounded rounds.