3 Commits

Include renames

Author	SHA1	Message	Date
jochen	8d8e5c9a7e	Issues 211, 212, 214, 216, 217 resolved with their proofs; 215's fix recorded	2026-10-04 00:24:53 +02:00
jochen	04625d3e35	Issues 211, 214, 215, 216 diagnosed: root causes and the branches that fix them	2026-10-03 22:28:40 +02:00
jochen	c9418af42e	Issues 214–216: a plan losing its own controller, a module pinned silently, a bundle never delivered	2026-10-03 22:15:19 +02:00