Author	SHA256	Message	Date
ms2k	691ad92e30	Split kind tests into component-owned probes	2026-07-19 23:57:21 +09:00
ms2k	b3c0f6d58a	Bind protocol evidence to the TLA+ model	2026-07-19 19:51:26 +09:00