Repository navigation
T28 — Refuse a digest mismatch, and report the expander version #2432
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| One digest both sides | L | needs care | strongest | an agent | 540 (280 code, 260 tests) |
A digest mismatch leaves no record; version skew is reported.
Covers:
- BOX-072
- BOX-073
- BOX-074
Layers:
- daemon:
- crates/minimald/src/box_manager.rs: mismatch refusal; no policy
- crates/minimald/src/box_manager/tests.rs: tests
cargo nextest run -p minimald projection_digest_mismatch_refuses_createcargo nextest run -p minimald unenrolled_evaluates_no_policy
- wire:
- crates/minimald-rpc/src/lib.rs: expander version
- crates/minimald-rpc/src/tests.rs: tests
cargo nextest run -p minimald-rpc get_version_reports_expander_version
- client:
- crates/minimal/src/cmd/boxes/create.rs: prints skew, continues
- crates/minimal/src/tests.rs: tests
cargo nextest run -p minimal expander_skew_reports_and_continues
Waits on:
Plan block
### T28 — Refuse a digest mismatch, and report the expander version
slice: S6
kind: task
covers: BOX-072, BOX-073, BOX-074
size: L
est: 280 code, 260 tests
executor: agent
difficulty: needs care
model: strongest
diagnostics: daemon log names both mismatched digests
observability: create span records a digest refusal
layers:
- daemon:
- crates/minimald/src/box_manager.rs: mismatch refusal; no policy
- crates/minimald/src/box_manager/tests.rs: tests
test: cargo nextest run -p minimald projection_digest_mismatch_refuses_create
test: cargo nextest run -p minimald unenrolled_evaluates_no_policy
- wire:
- crates/minimald-rpc/src/lib.rs: expander version
- crates/minimald-rpc/src/tests.rs: tests
test: cargo nextest run -p minimald-rpc get_version_reports_expander_version
- client:
- crates/minimal/src/cmd/boxes/create.rs: prints skew, continues
- crates/minimal/src/tests.rs: tests
test: cargo nextest run -p minimal expander_skew_reports_and_continues
produces: none
consumes:
- crates/mfile/src/projection.rs
proof: A digest mismatch leaves no record; version skew is reported.
depends on:
- blocked by #2430
Activity