2 Commits

Author SHA1 Message Date
claude-noether ec769a9687 docs: clarify Rockchip silicon across operative docs (RK3566)
PineTab2 is Rockchip RK3566 silicon, not RK3568. The hantro driver
attaches via the rockchip,rk3568-vpu DT compatible because RK3566/
RK3568 silicon is close enough to share that variant. The proper
RK3566 mainline driver target (rkvdec2 / vdpu346) has no kernel
support yet — Christian Hewitt's patch series LKML 2025/12/26/206
is unmerged.

Updated operative docs to use the consistent form:
"PineTab2 (Rockchip RK3566 silicon; hantro driver via the
rockchip,rk3568-vpu DT compatible)" or shorter variants.

Files updated:
- README.md (campaign top-level): TL;DR, deliverable, KWin link,
  hardware target, hardware listing
- firefox-fourier/README.md: tested-on line
- phase8_iteration7_close.md: hardware carry
- phase8_iteration6_close.md: hardware carry, MPEG-2 drop
  rationale
- phase0_findings_iter7.md: predecessor summary, fourier-fresnel
  description, hardware carry
- phase2_iter7_situation.md: msync hypothesis hardware reference

Historical iter1-iter5 phase docs left as-is — they're snapshots
of what the campaign believed at the time. The canonical source
for the silicon-ID correction is track_F_research_2026-05-06.md
(commit 358801b).

Not a correctness change. The campaign's empirical evidence is
unaffected — the hantro/rk3568-vpu driver path that we exercised
was always the actual decode path on PineTab2 silicon.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-05-06 11:39:28 +00:00
claude-noether b996794246 iter7 close: A+B+C all GREEN
All three locked tracks closed in one iteration:

Track A (msync pixel verify): 100-frame vaapi-copy decode of
bbb_1080p30_h264.mp4 byte-for-byte identical to FFmpeg SW
reference (sha 58c8f3f4...). msync removal formally verified
safe. iter5 sonnet C3 closes.

Track B (slot-leak error recovery): request_pool_force_release
added with REINIT-then-fallback-to-close+alloc semantics. Wired
into RequestSyncSurface error paths with separate
error_buffer_indeterminate label for OUTPUT-DQBUF-failure
sub-case. Phase 5 sonnet caught the discriminator subtlety
pre-commit. Happy-path regression: mpv 100 frames clean,
Firefox bbb 35s clean.

Track C (cap_pool race harness): 140-line C test program +
shell runner exercise vaCreateSurfaces(128x128) -> destroy ->
vaCreateSurfaces(1920x1080). Zero race indicators in driver
stderr. iter5 sonnet C4 / iter6 candidate A formally anchored.

Bonus iter7 fix: OUTPUT-pool teardown on resolution change in
CreateSurfaces2 (fork commit 7bd0818). Latent bug surfaced by
the harness during Phase 7 verification.

iter8 candidate logged: STREAMON-on-context-recreate after
resolution change. Not exercised by real consumers; surfaced
by sonnet's pre-commit suggestion that was reverted in Phase 7
to keep test scope faithful to C4 spec.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-05-06 10:57:55 +00:00