# Proof audit pass 1 — issue 25146

Scope: head fddeb88fefc789de365cac1a7d138664aeebeb9f against main 44df336016. Complete diff inspected: ClaudeAdapterV2.ts and ClaudeAdapterV2.test.ts only.

Capture matrix: **empty (0 rows)**. Required screenshots: 0. Required interaction recordings: 0. UI fixture/seeding requirements: none.

Reason: server-only lifecycle correction with no changed visible surface. No render path, client caller, UI data branch, contract, navigation, styling, or interaction implementation changes. Under the explicitly supplied procedure, proof is a red regression test plus runtime transcript.

Changed behavior inventory:
- interruptTurn, closed query: skip SDK interrupt/close when existing.closed is complete; await the already-completed latch and return successfully.
- interruptTurn, live query: preserve SDK interrupt/close and existing completion/timeout behavior.
- session finalizer, existing query: close it and complete the closed latch because scope interruption can prevent stream cleanup from doing so.
- session finalizer, absent query: unchanged.
- test harness accepts typed interrupt failures; new test starts a turn, closes its session scope, then requests interruption with runtime restart and asserts success. The fake interrupt fails on a closed transport, reproducing the original failure before the guard.

Evidence inspected:
- Before runtime (f89855713d): https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/773ff77adfdfe431/before-runtime.txt — actual handoff followed by ProviderAdapterInterruptError / ProcessTransport is not ready for writing.
- Red test (test-only ffd2d59a41 on f89855713d): https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/431574080e4f3c06/red-test.txt — matching closed-transport failure. This is a supplied delegate transcript, not an independently rerun test in this audit.
- Local after-runtime.txt: fddeb88; same handoff procedure with fresh branch/thread, ClaudeAdapterV2.interruptTurn span exits Success.
- Local check-changed.txt: all checks pass, including all 236 tests in ClaudeAdapterV2.test.ts. Inspected existing output; no checks rerun in this read-only audit.
- Base refresh f89855713d..44df336016 affects only mobile dependency/patch files and a web editor test; no overlap with the adapter or regression test.

FRICTION
- After runtime still reports the pre-existing provider stream failure and queued continuation, attributed by the lead to separate issue 22971. This audit confirms their persistence in supplied evidence, not that issue attribution independently.
- The diff and evidence establish successful cleanup interruption after scope closure. They do not establish successful end-to-end worktree handoff continuation, elimination of stream failures, or a repaired visible user flow.
- The after transcript and green check output are local artifacts; publish them with the eventual PR evidence. No browser/server launched, repository edited, or forge state changed during this audit.

Verdict: PASS for the narrow closed-transport interrupt fix and empty capture matrix. Any claim that Claude handoff/continuation is fully fixed would exceed the evidence.