Correct A-289: the unpublished count holds no package, since no reachable case leaves a reserving build's package unpublished

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 16:17:06 +01:00
parent 84faadbe38
commit 34660dd256
1 changed files with 3 additions and 3 deletions
@@ -419,6 +419,6 @@ the principle that settles it, cited as "design 47 G A-n".
 - **A-288** (principle 3) A refusal's test holds what the refusal must say, not its earlier wording: the one tool
  that may do the refused act and that it runs on the operator's Approve of that call.
 - **A-289** (§371; principles 3 and 8) A package left unpublished by a build that reserved no version (§371's other
-  watched branch, §505's manifest without MAJOR.MINOR, a candidate) counts as done: the builder's unpublished count
+  watched branch, §505's manifest without MAJOR.MINOR, a candidate) counts as done, and the builder's unpublished
-  holds only a reserving build's packages. An unpublished package is published by the build seat of its own
+  count holds no package at all: a reserving build's package is published or its build fails, and a done key is never
-  language (the Go build module for a Go package), never one seat for every package.
+  built again under a reservation, so no seat republishes a package (principle 7). The count holds images only.