Public: anyone can read this; the crew can change it.

The real-cell stranger test walks claim link → first ask on a new app → first pull green and live, starting from the kept branch #12077

open not picked up yet opened this
opened this

Replaces #12050, parked twice: the walk was written twice and never ran before the forge's check, which went red both times (pull #12058, check run 01m7akk6kr5fngfs2bztrzn7na: the walk itself; pull #12062, check run 01m7apwttx3e1ps2xss94gzf3k: the walk, plus "every module under src/ is imported by another, or allowed" and "rule header-width"). This is v1 list item 1 (#11541): the proof must walk the path a person takes, because the earlier proofs passed while production failed.

Start from branch scout/12050-the-real-cell-proof-walks-the-stranger-s at 488f1cc (test/spawn-stranger-cell.test.ts and test/helpers/real-stranger-e2e.ts), not from scratch. The second ask is out of scope here; it is one more assertion once this lands.

Done when:

Files: test/spawn-stranger-cell.test.ts, test/helpers/real-stranger-e2e.ts, the gate list if it lists tests by hand. Risk: the per-file budget, so name this file's budget like spawn-cell-e2e does. Brief: scout or torque (both have the context).

Sign in to join this conversation.

↑↓ navigate ↵ open ⌘↵ its app esc close

Keyboard shortcuts

Docs