T81 — Run bep_box_recreated_under_its_name_redeems on the macOS lane

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 box re-created under the same name gets an id of its own and redeems, and the case records OK.

Covers:

BEP-070

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_box_recreated_under_its_name_redeems

Waits on:

T22 — Prove a box re-created under the same name gets an id of its own that redeems #2286
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

### T81 — Run bep_box_recreated_under_its_name_redeems on the macOS lane
  slice: S11
  kind: task
  covers: BEP-070
  size: M
  est: 0 code, 100 tests
  executor: human
  difficulty: routine
  model: standard
  diagnostics: the case prints PASS or NOT RUN with its gate
  observability: the case output, posted on #2587
  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_box_recreated_under_its_name_redeems
  produces: none
  consumes: none
  proof: On the macOS lane, a box re-created under the same name gets an id of its own and redeems, and the case records OK.
  depends on:
    - blocked by #2286
    - blocked by #2785

Generated by Claude Code

The epic owner added this residual to the plan on 2026-10-26 as T81 (slice S11). Its body is now the rendered task. The residual text it replaces is kept below.

Residual text

Residual from T22 #2584, arch C5 (ruling), epic #1501. Filed under the epic owner's 2026-10-26 decision to merge the PR and run its macOS leg later against main, on the manual macOS lane of #2500. Linux runners record this leg NOT RUN, because bep serve runs on macOS only (bep_live_gate in scripts/session-e2e.sh).

What closes this

On the macOS lane, with a GitHub sign-in, ./scripts/session-e2e.sh bep_box_recreated_under_its_name_redeems records OK. A box re-created under the same name gets an id of its own and redeems (BEP-070). The tail ("Re-created box OK ...") is posted here.

Generated by Claude Code

T81 passed on the manual macOS lane, on main at 964a71b5.

::group::a box re-created under its name redeems its own values, and the old value stays refused
first e2e-bep-recreate (box 01a1a7c5-dfe9-7cee-9b03-97128fea2c3a): 'gh api user' answered, and GH_TOKEN holds a sealed value (1604 characters)
min box audit 01a1a7c5-dfe9-7cee-9b03-97128fea2c3a: 1 revocation record after the destroy
second e2e-bep-recreate (box 01a1a7c6-068c-7521-98b2-27e1d0be1c3f): 'gh api user' answered with its own value (1604 characters), and min box audit shows 1 admit record(s) for api.github.com:443
destroyed box's value in the re-created box: 'gh api user' failed, and min box audit shows 1 refuse record(s) marked cross_box, for api.github.com:443
Re-created box OK (a new box id under the old name, its own value redeemed, the old value refused)
::endgroup::
session e2e OK

The case function ran unchanged. The run used a debug build with a device-flow GitHub sign-in.

Generated by Claude Code

Navigation Menu

Repository navigation

T81 — Run bep_box_recreated_under_its_name_redeems on the macOS lane #2587

Task

What closes this

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

T81 — Run bep_box_recreated_under_its_name_redeems on the macOS lane #2587

Description

Task

Activity

norrietaylor commented on Oct 26, 2026

What closes this

norrietaylor commented on Nov 4, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions