2 Commits

Include renames

Author	SHA1	Message	Date
jschoubben	0af6479b2c	Give 0115 a home, and match its batch's status ... Both repository checks fail on main. 0115 is cited by no design, and it is marked accepted while resting on 0112, which is proposed. Design 27 already states the rule the record decides — "a module is assigned at most once to a node, and that pair is the assignment's identity" — so it is the home, and now says so. And 0112, 0113, 0114 and design 27 are all proposed: the batch is under review, so the record is too. Promoting 0112 instead would be marking a record accepted to satisfy a check, which check_rests_on names as a failure this repository already made once.	2026-09-26 19:03:14 +02:00
jschoubben	9516d31a62	0115: one assignment of a module per node — the requirement is dropped, the module's name is the identity	2026-09-26 18:52:59 +02:00