Repository navigation
Open
Labels
kind:taskA task the plan skill rendered; the body carries ## TaskA task the plan skill rendered; the body carries ## Taskmodel:lightA light model is enough: routine work, small or mediumA light model is enough: routine work, small or mediumplan:integrationOwns the seam of a slice; its proof is the slice's observableOwns the seam of a slice; its proof is the slice's observablesize:SUnder 200 net lines; one PRUnder 200 net lines; one PR
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| One digest both sides | S | routine | light | an agent | 160 (40 code, 120 tests) |
create a box and see the client's and the daemon's projection digests stored side by side, equal to the golden vectors, and a mismatch refused.
Covers:
- none
Layers:
- slice:
- crates/minimald/src/box_manager/tests.rs: tests
cargo nextest run -p minimald client_and_daemon_digests_match_vectors_and_mismatch_refused
Waits on:
- T26 — Project the spec and digest it the same way in client and daemon #2430
- T27 — Pin golden vectors for the example and the built-in types #2431
- T28 — Refuse a digest mismatch, and report the expander version #2432
Plan block
### T29 — One digest both sides, end to end
slice: S6
kind: integration
covers: none
size: S
est: 40 code, 120 tests
executor: agent
difficulty: routine
model: light
diagnostics: daemon log names both digests
observability: one span covers digest path
layers:
- slice:
- crates/minimald/src/box_manager/tests.rs: tests
test: cargo nextest run -p minimald client_and_daemon_digests_match_vectors_and_mismatch_refused
produces: none
consumes: none
proof: create a box and see the client's and the daemon's projection digests stored side by side, equal to the golden vectors, and a mismatch refused.
depends on:
- blocked by #2430
- blocked by #2431
- blocked by #2432
Metadata
Metadata
Assignees
Labels
kind:taskA task the plan skill rendered; the body carries ## TaskA task the plan skill rendered; the body carries ## Taskmodel:lightA light model is enough: routine work, small or mediumA light model is enough: routine work, small or mediumplan:integrationOwns the seam of a slice; its proof is the slice's observableOwns the seam of a slice; its proof is the slice's observablesize:SUnder 200 net lines; one PRUnder 200 net lines; one PR
Activity