# Independent proof audits — issue 22796

Head c0fdbfd6b9b6173a0adaf25aeb7e7f43f0f6b185; Before 1688f965682d331da16a8c39f049592361f69c8d.
Pass 1 derived the backend matrix: VERDICT: SUFFICIENT.
Pass 2 checked each matrix row and rebuilt the committed real-SDK fixture: VERDICT: SUFFICIENT.
Independent rebuild: 1 passed, 202 skipped, 10.40 seconds; source remained clean.
C1 baseline before/after proved, with differing selected cursors disclosed.
C2/C3 UI and MCP first-turn error before, success at cwd B after proved.
C4 original parent resumes at B on Before version proved.
C5 selected early answer inherited; copied history excludes later ROOT_UPDATED, corroborated directly from fixture sessions.
C6 custom-home real SDK regression before failure/after pass proved.
C7 host-home fork lookup and resumed fork ID at B proved.
C8 no-cursor live branch explicitly unverified.
Codex comparison proved; mobile, other providers, remote/relay, Windows/macOS unverified.
No render changes; pixel diffs do not apply to the user's explicit server-evidence standard.
Transcript's internal data link was updated before final publication to 41fdfc72bbab3de9/runtime-evidence.json.
Both separate code reviewers (Codex gpt-6.1-sol, Claude claude-opus-5-5) returned MERGE with no confirmed findings.
