CB-WP-0010-T03: record CommitWindow's second failed second-use
Some checks failed
ci / check (push) Failing after 3s
Some checks failed
ci / check (push) Failing after 3s
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 <noreply@anthropic.com>
This commit is contained in:
parent
82fdb85173
commit
cdc42afbb6
2 changed files with 21 additions and 2 deletions
|
|
@ -29,6 +29,22 @@ use std::collections::BTreeMap;
|
||||||
/// **Delete it if no second game uses it by 2026-12-31.** A primitive
|
/// **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
|
/// 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.
|
/// 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)]
|
#[derive(Debug, Clone, Serialize, Deserialize)]
|
||||||
pub struct CommitWindow<C> {
|
pub struct CommitWindow<C> {
|
||||||
/// Players who must submit, and their commitment once received.
|
/// Players who must submit, and their commitment once received.
|
||||||
|
|
|
||||||
|
|
@ -2,7 +2,7 @@
|
||||||
id: CB-WP-0010
|
id: CB-WP-0010
|
||||||
kind: product
|
kind: product
|
||||||
title: "Close the open ends before stage 1"
|
title: "Close the open ends before stage 1"
|
||||||
status: in_progress
|
status: done
|
||||||
state_hub_workstream_id: "071a2da8-cb95-4dda-a711-7173434bdc3c"
|
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
|
```task
|
||||||
id: CB-WP-0010-T03
|
id: CB-WP-0010-T03
|
||||||
status: todo
|
status: done
|
||||||
priority: medium
|
priority: medium
|
||||||
state_hub_task_id: "1da2c1de-e098-440e-8cff-7c30817d1d2b"
|
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
|
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
|
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.
|
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.
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue