issue 1840/S3: take the SDK that names declared-packages

2026-10-22 14:18:39 +02:00
parent aa9da94260
commit cc8a74fce4
5 changed files with 7 additions and 9 deletions
@@ -134,8 +134,8 @@ func StateProblems(m Manifest) []string {
 // second way and granted to the module's own principal as well. Named here so a read of one is a read of
 // kept state. The bus's list is broker.ControllerMirrors; a test keeps the two agreeing.
 // plans-building is the plans in their build phase, read by the checker to hold checks while a delivery builds (ADR 0483
-// clause 2, issue 1687).
-var ControllerMirrors = []string{"assignments", "declared-config", "predefined", "builds", "rollouts", "checks-running", "plans-building"}
+// clause 2, issue 1687). declared-packages is the packages a node's declaration names (ADR 0507, issue 1840/S1c).
+var ControllerMirrors = []string{"assignments", "declared-config", "predefined", "builds", "rollouts", "checks-running", "plans-building", "declared-packages"}

 // StateReadsNothingDeclares is every read across a catalogue whose owner is present and declares no
 // such state. An absent owner says nothing — a module may be installed long before the one whose