4 Commits

Include renames

Author	SHA1	Message	Date
jschoubben	ff6c038d59	The assigner's composition check composes over the input the nodes compose from, read with frombus once the catalogue places them (issue 1126, ADR 0547 §2, A2)	2026-10-26 19:29:59 +01:00
jschoubben	c58342786f	Judge a group with a mesh-sdk member from the composer at its head, and fail a field its readers cannot read (issues 1622, 1623)	2026-10-24 03:57:51 +02:00
jschoubben	97b42e3f0d	Name in every composition, by machine, those that could run a moved or added module and are not assigned it and those whose grants alone the change alters, as not judged, as ADR 0537 clause 1 asks (issue 1297)	2026-10-23 16:29:57 +02:00
jschoubben	d8599855e1	Compose the machines a change touches, from the trunk's and the change's manifests and the controller's assignments on the bus, and write the verdict under the checker's key; what needs the facts snapshot is said as not judged (issue 1297, subtasks B3a-B3c; ADR 0446 clauses 1-3, ADR 0528 clause 5, ADR 0482 clause 3 as R4g delivers it)	2026-10-23 15:25:22 +02:00