Repository navigation
Closed
Labels
kind:taskA task the plan skill rendered; the body carries ## TaskA task the plan skill rendered; the body carries ## Taskmodel:standardA standard model: work that needs care, or routine work that is largeA standard model: work that needs care, or routine work that is largeplan: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:M200 to 500 net lines; one PR200 to 500 net lines; one PR
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| Round-three conditions closed | M | needs care | standard | an agent | 200 (0 code, 200 tests) |
The third round of residuals is done: the spec names the audit jti and the quarantine, a real kernel rejects a blocked cohort's pre-flip UDP 443 socket, min finalize-install names the QUIC block helper and uninstall removes it, a minted id is checked with no proxy running, a stranded box frees its client key, a widened store rule and a min --config-dir rule reach bep serve without a restart. Its tasks re-cover requirements whose origin tasks merged with an arch condition held on a filed residual; the owner accepted that double coverage on 2026-10-26 so the residuals dispatch as slices.
Covers:
- BEP-039
- BEP-041
- BEP-018
- BEP-070
- BEP-063
- BEP-032
Layers:
- e2e:
- scripts/session-e2e.sh: one walk over the round-three conditions; NOT RUN where its gate is missing
./scripts/session-e2e.sh bep_round_three_conditions_closed
Waits on:
- T85 — Name the handle jti in spec 24 BEP-039 #2600
- T86 — State the audit quarantine in spec 24 BEP-041 and BEP-068 #2613
- T87 — Prove on a real kernel that a blocked cohort rejects a pre-flip UDP 443 socket #2606
- T88 — Name the QUIC block helper in min finalize-install #2607
- T89 — Check a minted box id against retained revocations when no proxy runs #2616
- T90 — Free the client key of a box that ended without forget_box #2617
- T91 — Admit a widened store rule without restarting bep serve #2618
- T92 — Keep store rules under min --config-dir in step with bep serve #2620
- T93 — Remove the QUIC block helper and its sudoers rule on uninstall #2631
- SP1 — Do Claude Code and an MCP client send a sealed handle unmodified? #2257
- assumes OQ3 (the mint reads the root certificate's own expiry, and the root is generated with a fixed default validity in one constant that gominimal/arch#85's ruling replaces)
Plan block
### T94 — Round-three conditions closed, end to end
slice: S12
kind: integration
covers: BEP-039, BEP-041, BEP-018, BEP-070, BEP-063, BEP-032
size: M
est: 0 code, 200 tests
executor: agent
difficulty: needs care
model: standard
diagnostics: each case prints PASS or NOT RUN with its gate
observability: none beyond the cases' own output
layers:
- e2e:
- scripts/session-e2e.sh: one walk over the round-three conditions; NOT RUN where its gate is missing
test: ./scripts/session-e2e.sh bep_round_three_conditions_closed
produces: none
consumes: none
proof: The third round of residuals is done: the spec names the audit jti and the quarantine, a real kernel rejects a blocked cohort's pre-flip UDP 443 socket, min finalize-install names the QUIC block helper and uninstall removes it, a minted id is checked with no proxy running, a stranded box frees its client key, a widened store rule and a min --config-dir rule reach bep serve without a restart. Its tasks re-cover requirements whose origin tasks merged with an arch condition held on a filed residual; the owner accepted that double coverage on 2026-10-26 so the residuals dispatch as slices.
depends on:
- blocked by #2600
- blocked by #2613
- blocked by #2606
- blocked by #2607
- blocked by #2616
- blocked by #2617
- blocked by #2618
- blocked by #2620
- blocked by #2631
- blocked by #2257
- assumes OQ3 (the mint reads the root certificate's own expiry, and the root is generated with a fixed default validity in one constant that gominimal/arch#85's ruling replaces)
Generated by Claude Code
Reacted by minimal-foundry
Metadata
Metadata
Assignees
Labels
kind:taskA task the plan skill rendered; the body carries ## TaskA task the plan skill rendered; the body carries ## Taskmodel:standardA standard model: work that needs care, or routine work that is largeA standard model: work that needs care, or routine work that is largeplan: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:M200 to 500 net lines; one PR200 to 500 net lines; one PR
Activity
minimal-foundry commentedon Oct 28, 2026
Done. #2673 merged.
branch
agent/2640-round-three-conditions-closed-end-to-end· epic #1501 · PR #2673c3936942b6ea3590Updated 2026-10-28T07:02:30.497Z.