From cdc42afbb68831a4e9318ed6c2e27bbe2a973dc5 Mon Sep 17 00:00:00 2001 From: tegwick Date: Sun, 2 Aug 2026 02:19:23 +0200 Subject: [PATCH] CB-WP-0010-T03: record CommitWindow's second failed second-use MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Two passes have now had the opportunity to give this type a second consumer and declined: CB-WP-0008's bots and CLI drive GROUND's inline commit/reveal, and this pass reviewed it and changed nothing. The date is not moved and the type is not deleted early. The stated condition is a second game, and no second game has been attempted, so the test has not run — only the opportunity has passed. Deleting on a test that was never run and extending a date because it is inconvenient are the same error in opposite directions. Co-Authored-By: Claude Opus 5 --- crates/cb-game-runtime/src/lib.rs | 16 ++++++++++++++++ workplans/CB-WP-0010-consolidation.md | 7 +++++-- 2 files changed, 21 insertions(+), 2 deletions(-) diff --git a/crates/cb-game-runtime/src/lib.rs b/crates/cb-game-runtime/src/lib.rs index 45b5f67..a389294 100644 --- a/crates/cb-game-runtime/src/lib.rs +++ b/crates/cb-game-runtime/src/lib.rs @@ -29,6 +29,22 @@ use std::collections::BTreeMap; /// **Delete it if no second game uses it by 2026-12-31.** A primitive /// with one hypothetical user and a test that exercises only itself is /// the AM-11 shape, and this project has paid for that shape twice. +/// +/// **Second-use log** (CB-WP-0010 T03). Two passes have now had the +/// opportunity and declined: +/// +/// * **CB-WP-0008** — bots and `cb-play` drive GROUND's inline +/// commit/reveal. A second *consumer* of the aggregate did not become +/// a consumer of this type (CB-EV-0007 §2). +/// * **CB-WP-0010** — the consolidation pass reviewed it and changed +/// nothing. +/// +/// **The date is not moved and the type is not deleted early.** The +/// stated condition is a second *game*, and no second game has been +/// attempted, so the test has not run — only the opportunity has passed. +/// Deleting on a test that was never run, or extending the date because +/// it is inconvenient, are the same error in opposite directions, and +/// InnerLoop §Step 4 forbids the second by name. #[derive(Debug, Clone, Serialize, Deserialize)] pub struct CommitWindow { /// Players who must submit, and their commitment once received. diff --git a/workplans/CB-WP-0010-consolidation.md b/workplans/CB-WP-0010-consolidation.md index 02c8a79..f4a05b3 100644 --- a/workplans/CB-WP-0010-consolidation.md +++ b/workplans/CB-WP-0010-consolidation.md @@ -2,7 +2,7 @@ id: CB-WP-0010 kind: product title: "Close the open ends before stage 1" -status: in_progress +status: done state_hub_workstream_id: "071a2da8-cb95-4dda-a711-7173434bdc3c" --- @@ -73,7 +73,7 @@ the fixture each turn it red. Every scoring mode now has a scenario. ```task id: CB-WP-0010-T03 -status: todo +status: done priority: medium state_hub_task_id: "1da2c1de-e098-440e-8cff-7c30817d1d2b" ``` @@ -88,3 +88,6 @@ no second game has been attempted, so the test has not run. Record the evidence at the type so the December decision is already argued, and leave the date alone. Moving a delete-by date on the strength of a test that was never run is exactly the retarget InnerLoop §Step 4 forbids. + +**Done 2026-08-02.** A second-use log at the type records both declined +opportunities (CB-WP-0008, CB-WP-0010). Date unchanged, type unchanged.