Repository navigation
T26 — Project the spec and digest it the same way in client and daemon #2430
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| One digest both sides | L | unknown ground | strongest | an agent | 820 (460 code, 360 tests) |
A created box's record holds both projection digests.
Covers:
- BOX-071
- BOX-142
Layers:
- projection:
- crates/mfile/src/projection.rs (new): projection and digest
- crates/mfile/src/lib.rs: mod line
- crates/mfile/src/expand.rs: secrets authorities; fills
- crates/mfile/Cargo.toml: digest dependencies
- Cargo.lock: new dependencies
cargo nextest run -p mfile projection_is_the_6_3_2_field_setcargo nextest run -p mfile store_reference_upstream_and_inject_written_into_speccargo nextest run -p mfile expansion_fills_token_mode_quic443_steering_before_digestcargo nextest run -p mfile enrolled_and_unenrolled_expansion_identical
- daemon:
- crates/minimald-rpc/src/lib.rs: carries client digest
- crates/minimald/src/box_manager.rs: stores both digests
- crates/minimald/src/box_manager/tests.rs: tests
cargo nextest run -p minimald projection_digests_stored_side_by_side
Waits on:
- T25 — Types only narrow, end to end #2428
- T16 — Fold the layers into one expanded spec, the same bytes every run #2410
Plan block
### T26 — Project the spec and digest it the same way in client and daemon
slice: S6
kind: task
covers: BOX-071, BOX-142
size: L
est: 460 code, 360 tests
executor: agent
difficulty: unknown ground
model: strongest
diagnostics: daemon log names both digests
observability: create span carries both digests
layers:
- projection:
- crates/mfile/src/projection.rs (new): projection and digest
- crates/mfile/src/lib.rs: mod line
- crates/mfile/src/expand.rs: secrets authorities; fills
- crates/mfile/Cargo.toml: digest dependencies
- Cargo.lock: new dependencies
test: cargo nextest run -p mfile projection_is_the_6_3_2_field_set
test: cargo nextest run -p mfile store_reference_upstream_and_inject_written_into_spec
test: cargo nextest run -p mfile expansion_fills_token_mode_quic443_steering_before_digest
test: cargo nextest run -p mfile enrolled_and_unenrolled_expansion_identical
- daemon:
- crates/minimald-rpc/src/lib.rs: carries client digest
- crates/minimald/src/box_manager.rs: stores both digests
- crates/minimald/src/box_manager/tests.rs: tests
test: cargo nextest run -p minimald projection_digests_stored_side_by_side
produces:
- crates/mfile/src/projection.rs
consumes:
- crates/mfile/src/expand.rs
proof: A created box's record holds both projection digests.
depends on:
- blocked by #2428
- blocked by #2410
Activity