Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
ms2k d799cf4837 Model prepared artifact selection before lease acquisition		2026-07-22 00:58:23 +09:00
..
Lazaret.cfg	Refine rootless and network readiness contracts	2026-07-19 19:52:41 +09:00
Lazaret.tla	Refine rootless and network readiness contracts	2026-07-19 19:52:41 +09:00
PreparedLower.cfg	Model prepared artifact selection before lease acquisition	2026-07-22 00:58:23 +09:00
PreparedLower.tla	Model prepared artifact selection before lease acquisition	2026-07-22 00:58:23 +09:00