From 34660dd2565fdb0a14b6ca1adac0c18aef64ff44 Mon Sep 17 00:00:00 2001 From: jochen Date: Thu, 12 Nov 2026 16:17:06 +0100 Subject: [PATCH] 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 --- 03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md b/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md index 3befe856..e40bf92e 100644 --- a/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md +++ b/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md @@ -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.