| Filename | Latest commit message | Latest commit date |
|---|---|---|
ms2k
518c0ad531
Promote Host Coordinator + Runtime Supervisor + attached runsc as the product architecture in the specification, and extend the TLA+ model with generation-scoped identities, multi-role durable intent, network readiness, prepared-lower lease, and connectivity-helper ownership. TLC-checked; trim product prose that the model now owns. |
||
| .. | ||
| Lazaret.cfg | ||
| Lazaret.tla | ||