diff --git a/WORK-RECORDS.md b/WORK-RECORDS.md index b82472f..9dc9788 100644 --- a/WORK-RECORDS.md +++ b/WORK-RECORDS.md @@ -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 | diff --git a/workplans/CB-WP-0005-assertion-coverage.md b/workplans/CB-WP-0005-assertion-coverage.md index e1717f2..e574642 100644 --- a/workplans/CB-WP-0005-assertion-coverage.md +++ b/workplans/CB-WP-0005-assertion-coverage.md @@ -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` 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