Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
ms2k 52c8c56e4f Check hardlink topology in workspace routing protocol		2026-07-30 22:51:34 +09:00
..
IgnoredWorkspaceHardlinkRouting.cfg	Check hardlink topology in workspace routing protocol	2026-07-30 22:51:34 +09:00
IgnoredWorkspaceHardlinkRouting.tla	Check hardlink topology in workspace routing protocol	2026-07-30 22:51:34 +09:00
IgnoredWorkspaceRouting.cfg	Model startup-sealed workspace routing authority	2026-07-30 00:32:32 +09:00
IgnoredWorkspaceRouting.tla	Model startup-sealed workspace routing authority	2026-07-30 00:32:32 +09:00
Lazaret.cfg	Model actor-attributed terminal recovery	2026-07-29 00:39:06 +09:00
Lazaret.tla	Model actor-attributed terminal recovery	2026-07-29 00:39:06 +09:00
PreparedLower.cfg	Serialize startup prepared artifact reclamation	2026-07-22 03:56:44 +09:00
PreparedLower.tla	Serialize startup prepared artifact reclamation	2026-07-22 03:56:44 +09:00