Author	SHA256	Message	Date
ms2k	48a5b8a433	Split host tests by component ownership	2026-07-20 01:47:55 +09:00
ms2k	b3c0f6d58a	Bind protocol evidence to the TLA+ model	2026-07-19 19:51:26 +09:00
ms2k	a31b883516	Type protocol persistence around model phases	2026-07-19 19:13:17 +09:00
ms2k	37a7a55bfe	Split application orchestration by responsibility	2026-07-19 18:22:33 +09:00
ms2k	15eb0038d2	Replace planning-era names and squash initial schema ... Use descriptive test and executable names so implementation surfaces do not depend on journal organization. Consolidate the unreleased migration history into the authoritative initial schema because no deployed database requires an upgrade path.	2026-07-19 15:21:24 +09:00
ms2k	619c2911d2	Add bounded protocol and target conformance gate	2026-07-18 23:52:45 +09:00