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	f8458d6f2c	Issue 211: a bundle is built before the toolchain it is compiled in; ADR 0192 progressive insight; design 38 WP4b built, WP4c opened	2026-10-03 15:36:26 +02:00