Repository navigation
T37 — Attribute a host-address redemption to its cohort and mark the audit #2284
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| Host-address cohort | S | needs care | standard | an agent | 160 (100 code, 60 tests) |
A host-address box redeems a value naming another live host-address box, and its audit record is marked cohort-attributed.
Covers:
- BEP-028
Layers:
- decide:
- crates/bep/src/redeem.rs: admits a host-address sender presenting a value naming a live host-address box, marked
cohort_attributed cargo nextest run -p bep host_ip_redemption_is_cohort_attributed
- crates/bep/src/redeem.rs: admits a host-address sender presenting a value naming a live host-address box, marked
- audit:
- crates/bep/src/redeemer.rs: carries
Decision::marker()throughVerdict::Admit, so a cohort admit reaches the record with its marker (arch C1 on feat(bep): attribute a host-address redemption to its cohort and mark the audit #2511) - crates/bep/src/forward.rs: writes the admitted audit record with that marker and records
cohort_attributedon thebox_connectionspan (arch C1 on feat(bep): attribute a host-address redemption to its cohort and mark the audit #2511) - crates/bep/src/proxy.rs: declares the
cohort_attributedfield on thebox_connectionspan that forward.rs records cargo nextest run -p bep host_ip_redemption_is_cohort_attributed_in_the_audit_record
- crates/bep/src/redeemer.rs: carries
Waits on:
Plan block
### T37 — Attribute a host-address redemption to its cohort and mark the audit
slice: S7
kind: task
covers: BEP-028
size: S
est: 100 code, 60 tests
executor: agent
difficulty: needs care
model: standard
diagnostics: `min box audit <box>` shows a cohort redemption marked `cohort_attributed`
observability: the connection span gains the cohort flag
layers:
- decide:
- crates/bep/src/redeem.rs: admits a host-address sender presenting a value naming a live host-address box, marked `cohort_attributed`
test: cargo nextest run -p bep host_ip_redemption_is_cohort_attributed
- audit:
- crates/bep/src/redeemer.rs: carries `Decision::marker()` through `Verdict::Admit`, so a cohort admit reaches the record with its marker (arch C1 on #2511)
- crates/bep/src/forward.rs: writes the admitted audit record with that marker and records `cohort_attributed` on the `box_connection` span (arch C1 on #2511)
- crates/bep/src/proxy.rs: declares the `cohort_attributed` field on the `box_connection` span that forward.rs records
test: cargo nextest run -p bep host_ip_redemption_is_cohort_attributed_in_the_audit_record
produces: none
consumes: none
proof: A host-address box redeems a value naming another live host-address box, and its audit record is marked cohort-attributed.
depends on:
- blocked by #2276
Generated by Claude Code
Reacted by minimal-foundry
Activity
minimal-foundry commentedon Oct 24, 2026
Done. #2511 merged.
branch
agent/2284-attribute-a-host-address-redemption-to-its-cohor· epic #1501 · PR #2511db29f4ea7006cd5579f0b6692ca40bd1291c9b1aUpdated 2026-10-24T22:52:55.346Z.