# Proof audit pass 2 — INSUFFICIENT

PR [#24317](https://github.com/pingdotgg/t3code/pull/24317), issue [#15702](https://github.com/pingdotgg/t3code/issues/15702).
Pinned head [08f47fada7](https://github.com/pingdotgg/t3code/commit/08f47fada71c02c17e5d6efc8ded0b49c2c59664), base [b3d382e100](https://github.com/pingdotgg/t3code/commit/b3d382e1009d5430de8c528aef99a39854a7cbc4).

## Findings first

1. Blocking proof gap: W9 and M1–M4 have no delivered runtime proof. W9 needs an actual same-thread persisted mixed→closed→mixed recording. Native base failed before this pass; waiting on head cannot produce the missing paired baseline. This is evidence insufficiency, not a demonstrated product defect.
2. W2/W3/W4 require recordings. The index explicitly reports narrow-list failure, incomplete reopen/destination assertions and sampled rather than continuous recording review. No interaction row is certified here.
3. Independent same-environment head capture reproduces neutral sidebar +6 and accessible label, but fails full-scene pixel reproduction: 59,257/1,024,000 pixels differ at threshold0; 16,156 at max-channel>16. Both resulting diffs opened. Composer shifted down, branch toolbar absent, age changed, top button focus visible. Cause of toolbar/layout mismatch not established; no product regression inferred.

## Row verdicts

Every row is INSUFFICIENT for pass2 certification. Delivery status is reported from the index, not promoted to verified coverage.

| Row | Delivered status | Pass2 verdict / missing proof |
|---|---|---|
| W1 | Static complete claimed | INSUFFICIENT: only 1440/light pair inspected; independent sidebar reproduced, full scene differs; other cells not audited |
| W2 | Partial | INSUFFICIENT: narrow list/reopen, continuous interaction review missing |
| W3 | Partial | INSUFFICIENT: keyboard destination and continuous interaction review missing |
| W4 | Partial | INSUFFICIENT: before 1440/light hover missing; destination/review missing |
| W5 | Static complete claimed | INSUFFICIENT: all-cell captures not inspected in this bounded pass |
| W6 | Partial | INSUFFICIENT: stack list interaction missing |
| W7 | Partial | INSUFFICIENT: pending tooltip/list details missing |
| W8 | Partial | INSUFFICIENT: link target/accessibility proof missing |
| W9 | Missing | INSUFFICIENT: no genuine persisted transition recording |
| M1 | Missing | INSUFFICIENT: native captures/a11y missing |
| M2 | Missing | INSUFFICIENT: native navigation/long press recording missing |
| M3 | Missing | INSUFFICIENT: native controls missing |
| M4 | Missing | INSUFFICIENT: native suggestions/list recording missing |

## Inspection boundary and what else changed

Read matrix and index; inspected local pinned HEAD/clean source state and three product-file changes (not a fresh full code audit). Opened delivered before/after 1440/light W1 PNGs and its zero-amplified and threshold16 diffs. Recomputed RGB deltas: 899 pixels threshold0, 253 threshold16. Those diffs show intended two badges plus New thread age, small header logo and sidebar edge pixels. This is the complete what-else-changed statement only for that pair, not all delivered scenes.

Inspected independent head screenshot and both independent diff PNGs. CSS viewport1440×900, DPR2, light class; exported PNG1280×800, same as delivered desktop image. Fonts ready plus two animation frames; page-side animation/transition/caret suppression. No network-idle assertion, no fixed-time reproduction, no independent settle pair. Runtime exact pinned head, same existing worktree and seeded .t3; no additional worktree or live database used. Independent capture proves sidebar only; toolbar/composer badge not independently reproduced.

Did NOT open other delivered captures/diffs, any MP4, or claim continuous recording coverage. Did not check all themes/widths or independently prove before-runtime SHA provenance. Parent integrated sidebar/list observation retained as supplied context, not counted as this auditor's recording review. Stopped early because concrete insufficiency is established.

Decoded raw base-xcode.log as Brotli and inspected actual GhosttyKit errors: framework lacks matching arm64+x86_64 simulator slice; T3TerminalNative cannot resolve GhosttyKit. Sanitized base metadata pins requested base and ERRORED; head metadata was IN_PROGRESS (snapshot only). No build polling/waiting.

## FRICTION / lifecycle

Initial pairing needed manual token entry. Existing browser preferences opened details panel; closed it but composer layout/toolbar still differed. Network sync attempted synthetic fixture repo and warned resource unavailable; no live forge behavior claimed. Desktop snapshots downscaled; metadata dimensions must accompany PNGs. Raw .log is Brotli despite extension. Native build environment failure blocks paired evidence. No code edits, pushes, comments, watches or merges. Server started in retained session57446 and stopped via Ctrl-C (exit130); preview closed. .t3 deliberately retained. Only this pass's scratch is deleted after upload; inherited /tmp/evidence-15702 preserved.

Artifacts uploaded via ghdrop:
- [Independent capture](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/ff9d2d16ae3e5e19/independent-head-W1.png)
- [Pixel counts](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/9a10ba6195bf9e3a/independent-delta.json)
- [Diff0](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/1799e57c571dac5f/independent-diff0.png)
- [Diff16](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/b6f7976e1b5a1f0e/independent-diff16.png)
- [Decoded native error excerpt](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/2043194a1dffc86e/native-error.txt)

VERDICT: INSUFFICIENT rows W1–W9, M1–M4 under this pass's actual inspection boundary.