novox/hq
9
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Correct A-289: the unpublished count holds no package, since no reachable case leaves a reserving build's package unpublished
mesh/delivery closed: a newer head of the same pull request
Details
mesh/check being carried to 34660dd2565f on 7792e9667042 | from 63ccbe512bc0

Browse Source 
Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
This commit is contained in:
jschoubben
2026-11-12 16:17:06 +01:00
parent 84faadbe38
commit 34660dd256
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md
+3 -3
View File
@@ -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
holds only a reserving build's packages. An unpublished package is published by the build seat of its own
language (the Go build module for a Go package), never one seat for every package.
watched branch, §505's manifest without MAJOR.MINOR, a candidate) counts as done, and the builder's unpublished
count holds no package at all: a reserving build's package is published or its build fails, and a done key is never
built again under a reservation, so no seat republishes a package (principle 7). The count holds images only.