Repository navigation
T79 — Run the two revocation e2e legs on the macOS lane #2564
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| macOS lane proofs | M | routine | standard | a person | 100 (0 code, 100 tests) |
On the macOS lane, a destroyed box's values are refused within 60 seconds, a destroy completes with the proxy down (
bep_destroy_with_proxy_down_refuses_by_attachment), and both cases record OK.
Covers:
- BEP-043
Layers:
- mac:
- scripts/session-e2e.sh: run on the manual macOS lane of T82 — Run the Box Egress Proxy legs on the macOS lane #2500 against
main, with a GitHub sign-in, unchanged ./scripts/session-e2e.sh bep_destroyed_box_values_refused_within_60s
- scripts/session-e2e.sh: run on the manual macOS lane of T82 — Run the Box Egress Proxy legs on the macOS lane #2500 against
Waits on:
- T20 — Record a revocation when a live box is destroyed and refuse its values within a minute #2277
- T111 — Accept a key the keychain made exportable in a debug build of bep, and scope the custody rule to release builds #2785
Plan block
### T79 — Run the two revocation e2e legs on the macOS lane
slice: S11
kind: task
covers: BEP-043
size: M
est: 0 code, 100 tests
executor: human
difficulty: routine
model: standard
diagnostics: each case prints PASS or NOT RUN with its gate
observability: the case output, posted on #2564
layers:
- mac:
- scripts/session-e2e.sh: run on the manual macOS lane of #2500 against `main`, with a GitHub sign-in, unchanged
test: ./scripts/session-e2e.sh bep_destroyed_box_values_refused_within_60s
produces: none
consumes: none
proof: On the macOS lane, a destroyed box's values are refused within 60 seconds, a destroy completes with the proxy down (`bep_destroy_with_proxy_down_refuses_by_attachment`), and both cases record OK.
depends on:
- blocked by #2277
- blocked by #2785
Generated by Claude Code
Activity
norrietaylor commentedon Oct 26, 2026
The epic owner added this residual to the plan on 2026-10-26 as
T79(slice S11). Its body is now the rendered task. The residual text it replaces is kept below.Residual text
Residual from T20 #2548, arch C1 and C2 (review threads 4369693955, 4369693958, 4369864379, 4371532849), epic #1501. Filed under the epic owner's 2026-10-25 decision to merge the PR and run its macOS legs later against
main, on the manual macOS lane of #2500. Linux runners record these legs NOT RUN becausebep serveruns on macOS only (bep_live_gateinscripts/session-e2e.sh).What closes this
./scripts/session-e2e.sh bep_destroyed_box_values_refused_within_60sand./scripts/session-e2e.sh bep_destroy_with_proxy_down_refuses_by_attachmentboth pass, proving the 60 s bound of Gatehouse §6.10 line 823 and the proxy-down leg of BEP-043, and their tails are posted here.Generated by Claude Code
[-]Run the two revocation e2e legs on the macOS lane (BEP-043)[/-][+]T79 — Run the two revocation e2e legs on the macOS lane[/+]norrietaylor commentedon Nov 4, 2026
Both cases pass on the manual macOS lane, against
mainat2a59f34ewith a GitHub sign-in. Each ran alone, with the script unchanged. Both exited 0, and their proxy and VM were real.#2998 made these cases runnable. The earlier failures were bugs in the script, not in the proxy.
./scripts/session-e2e.sh bep_destroyed_box_values_refused_within_60s./scripts/session-e2e.sh bep_destroy_with_proxy_down_refuses_by_attachmentGenerated by Claude Code