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.