 jschoubben
|
64a5074d58
|
Assigner: lay each held value of the group's own pull requests at their heads over its module's values in the composition check, judged against the head's declaration and named, so a check reads the held values itself (issue 1953 D7, ADR 0565 §5)
|
2026-10-29 22:43:27 +01:00 |
|
|
jschoubben
|
36332abf35
|
Assigner: drop the pull request's placement check and hold the seat's states as its own, since a placement change is no repository change (ADR 0567 §1, §4, §11, issue 1126)
|
2026-10-28 18:19:12 +01:00 |
|
|
jschoubben
|
d8da56c6da
|
Compose a catalogue pull request's own placement in the assigner's check and fail it on any placed node's unintended difference, refusal or silence past ten minutes, so a placement change is proven equal to what runs before it merges (issue 1126, ADR 0559 §5)
|
2026-10-27 02:29:20 +01: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 |
|