# Proof audit pass 2

VERDICT INSUFFICIENT

Read-only evidence audit, 2026-10-22 UTC, of `/home/ubuntu/wt/issue-7409`. Confirmed HEAD `b6c89a42cd62ddd40d15529b00f683dff87e75b9`, local `origin/main` `3b95e7831b11b17627dff16843bc087bfca397ec`, and clean working tree. No refs refreshed. Inputs: `/tmp/7409-recovery-matrix.md` and `/tmp/7409-evidence-report.md`. This audits proof completeness, not code correctness or merge readiness.

The proof remains incomplete and is not sufficient to validate the fix. ALL new visual proof is UNVERIFIED. A startup failure is evidence of a failed capture attempt, not evidence that the checkout behavior passes or fails. I cannot rebuild the failed app in this read-only audit; no rebuild was attempted.

## Row status audit

| Matrix row | Audited status | Reason / boundary |
|---|---|---|
| C: 1440 light, 1440 dark, 390 light, 390 dark | INCOMPLETE; all four cells UNVERIFIED | No matching base/fix recordings, aligned raw stills, or diagnostic diff pairs. Focused terminal checkout, forward/reverse updates, draft observation and latency remain unverified. Mandatory core proof is absent. |
| L: linked checkout and actions | INCOMPLETE; UNVERIFIED | No linked tracked/untracked sequence, actions/commit/Changes observations, sibling isolation, dirty/detached or non-repo visuals. |
| P: branch-specific PR metadata | CONDITIONAL; UNVERIFIED | No deterministic captured PR transition or retention observation. This remains a declared boundary, not an independent reason to expand capture scope. |
| Composer/details/Git actions/sidebar/DiffPanel/palette and retention rows | UNVERIFIED visually | C/L/P supply no new usable observations. Shared data paths and unchanged layouts do not establish rendered behavior. |
| Desktop/mobile | UNVERIFIED native behavior | Responsive 390 web would not prove native mobile even if captured. Shared web code does not establish Electron focus/shell behavior. |
| Remote/relay/tunnel/reconnect/two environments | UNVERIFIED end-to-end | No captured connection mode or multi-environment sequence establishes these claims. |
| Settings/providers/scheduled tasks/MCP | OUT OF SCOPE under the matrix | No additional proof obligation introduced by this evidence audit. |
| S1: HEAD location and delivery | UNVERIFIED for current head | Matrix describes partial earlier source/test coverage, including synthetic status and missing real linked-path proof; no current-head test result supplied here. |
| S2: subscription lifecycle | UNVERIFIED for current head | Registry calls with null HEAD are narrower than running-watcher cleanup/passive delivery/readiness/failure proof. No final execution evidence supplied. |
| S3: remote cache variants | UNVERIFIED for current head | Earlier partial nonnull-cache coverage does not establish all cache variants, no-fetch behavior or failure handling. |
| S4: race/coherence | UNVERIFIED for current head | Earlier test descriptions and moving implementation are not current-head passing results; reconstructed client-state and schedule boundaries remain unproven by these artifacts. |
| S5: periodic behavior | UNVERIFIED for current head | Existing test descriptions are starting coverage, not execution evidence for this revision. No passive-only polling guarantee may be inferred. |
| Capture/diff contract | INCOMPLETE | No valid pair exists; no measured Diff0/DiffT counts, amplification, alignment, masks, changed-region explanation or latency can be audited. |

## FRICTION

- Revision mismatch: matrix references base `49e97d48...`, head `a7cdb139...` plus uncommitted files; evidence report references fixed head `5e5df601...` and the older base. Neither identifies a tested build of confirmed current head `b6c89a42...` against supplied base `3b95e783...`. Clean current state does not retroactively identify a captured build.
- The report records startup warmup/compiler failure, “Dev engine is closed”, HTTP 503, and two snapshot timeouts. It explicitly says the fixed build was never tested. These are environment/capture failures, not a demonstrated regression in the fix.
- The original reproduction recording remains linked historical evidence only. It was not replayed or revalidated here and cannot stand in for new current-head after evidence or a matched comparison.
- No service tests were run in the evidence step or this audit. UNVERIFIED does not mean failed; it means the supplied artifacts do not establish the obligation.
- No new recordings, stills, diffs, browser/server launches, rebuilds, tests, source edits or forge writes were made. This report is the only new artifact. No recapture or launch is requested.

Evidence references: [recovery report](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/1fb1bf0d7168da18/7409-evidence-report.md), [startup failure log](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/996d51882aba4357/7409-evidence-startup-failure.log). The historical reproduction recording is linked in the report.