coulomb/clay-borg
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Sync hub IDs for CB-WP-0005 and work-record index
Some checks failed
ci / check (push) Failing after 4s
Details

Browse source 
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
tegwick 2026-07-31 14:25:54 +02:00
parent 1bbbfc846f
commit bd4423a8e4
2 changed files with 18 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

9
WORK-RECORDS.md
View file

@ -12,6 +12,7 @@
| workplan | CB-WP-0002 | done | — | workplans/CB-WP-0002-cost-accounting.md |
| workplan | CB-WP-0003 | done | — | workplans/CB-WP-0003-loop-hardening.md |
| workplan | CB-WP-0004 | done | — | workplans/CB-WP-0004-mechanical-work.md |
| workplan | CB-WP-0005 | proposed | — | workplans/CB-WP-0005-assertion-coverage.md |
| task | CB-WP-0001-T01 | done | — | workplans/CB-WP-0001-inner-loop.md |
| task | CB-WP-0001-T02 | done | — | workplans/CB-WP-0001-inner-loop.md |
| task | CB-WP-0001-T03 | done | — | workplans/CB-WP-0001-inner-loop.md |
@ -45,3 +46,11 @@
| task | CB-WP-0004-T04 | done | — | workplans/CB-WP-0004-mechanical-work.md |
| task | CB-WP-0004-T05 | done | — | workplans/CB-WP-0004-mechanical-work.md |
| task | CB-WP-0004-T06 | done | — | workplans/CB-WP-0004-mechanical-work.md |
| task | CB-WP-0005-T01 | todo | — | workplans/CB-WP-0005-assertion-coverage.md |
| task | CB-WP-0005-T02 | todo | — | workplans/CB-WP-0005-assertion-coverage.md |
| task | CB-WP-0005-T03 | todo | — | workplans/CB-WP-0005-assertion-coverage.md |
| task | CB-WP-0005-T04 | todo | — | workplans/CB-WP-0005-assertion-coverage.md |
| task | CB-WP-0005-T05 | todo | — | workplans/CB-WP-0005-assertion-coverage.md |
| task | CB-WP-0005-T06 | todo | — | workplans/CB-WP-0005-assertion-coverage.md |
| task | CB-WP-0005-T07 | todo | — | workplans/CB-WP-0005-assertion-coverage.md |
| task | CB-WP-0005-T08 | todo | — | workplans/CB-WP-0005-assertion-coverage.md |

9
workplans/CB-WP-0005-assertion-coverage.md
View file

@ -2,6 +2,7 @@
id: CB-WP-0005
title: "Make the instruments count assertions, then fix what they expose"
status: proposed
state_hub_workstream_id: "0b95a1e3-7780-43d0-81e9-072ef7978734"
---
# Purpose
@ -36,6 +37,7 @@ no target moves in the commit that measures it.
id: CB-WP-0005-T01
status: todo
priority: high
state_hub_task_id: "d47338c6-eb2e-4443-aad2-0b08c2d91895"
```
`tools/rule-coverage.py` hardcodes `AGGREGATE = "games/ground/src/lib.rs"`
@ -70,6 +72,7 @@ after the pass and the tool does not say so.
id: CB-WP-0005-T02
status: todo
priority: high
state_hub_task_id: "c88f2696-ca12-44df-add3-0db3d2819c08"
```
The task this workplan exists for. Name-based checks catch 3 of the 7
@ -107,6 +110,7 @@ stop and re-plan** rather than proceed to Phase C.
id: CB-WP-0005-T03
status: todo
priority: high
state_hub_task_id: "87fa2245-5f27-48af-906e-18affa41efcf"
```
Per ADR-0005 §4. Corrections are made **in place with a dated note**, not
@ -133,6 +137,7 @@ flattering half. Update `specs/GameKernel.md` §5 and
id: CB-WP-0005-T04
status: todo
priority: high
state_hub_task_id: "35876b28-97ac-4379-bb71-72e74c4116d4"
```
**K9** currently round-trips a `BTreeMap<String, u8>` with `EventSeq(17)`
@ -160,6 +165,7 @@ the length prefix → reject. K11's operative clause is *detection*.
id: CB-WP-0005-T05
status: todo
priority: high
state_hub_task_id: "8592b6e7-8b83-4b47-b310-90e16a35eb6a"
```
INTENT design decision **8 of 10**, unimplemented. `cb-sim` has no flag
@ -194,6 +200,7 @@ charged to **AM-4b** (9.4% headroom), not AM-4a.
id: CB-WP-0005-T06
status: todo
priority: medium
state_hub_task_id: "774b1c8a-71c1-4e0a-91b1-0247a3e397cf"
```
Both are named nowhere in source, and both have an honest second option
@ -226,6 +233,7 @@ one for K18.
id: CB-WP-0005-T07
status: todo
priority: high
state_hub_task_id: "a34baa46-fbfd-473b-9e15-811e17697791"
```
Commit `evidence/CB-EV-0004-assertion-coverage.md`. Three tests, all
@ -253,6 +261,7 @@ pass against the last.
id: CB-WP-0005-T08
status: todo
priority: medium
state_hub_task_id: "3add7e1e-2082-44ef-9287-742c90e5c958"
```
One loop change is already earned and should be written whatever else this