| Priority workload | SuperCollider | Record/Replay | Sampled | Inline Shadow |
|---|---|---|---|---|
| P0 Qwen3-0.6B prefill | 🟩 20/20; clean + exact-fault trap; overhead pending refresh | 🟩 20/20; clean + qualified miss; overhead pending refresh | 🟩 20/20; clean + measured statistical detection; overhead pending refresh | 🟩 20/20; clean + attributed diagnostic; overhead pending refresh |
| P1 Sharktank TP1 prefill | 🟨 Clean 352/352; instability marker | 🟨 Clean 352/352 + 92/92 barriers | 🟨 Clean 352/352 + 18/22 barriers; automatic standard sampling profile | 🟨 Clean 352/352 + 92/92; dynamic undercoverage |
| P1 Sharktank TP1 decode/combined | 🟨 Clean decode + combined; 352/352; instability marker | 🟨 Clean decode + combined; 352/352 + 92/92 | 🟨 Clean decode + combined; 352/352 + 18/22 barriers; automatic standard sampling profile | 🟨 Clean decode + combined; 352/352 + 92/92; dynamic undercoverage |
| P2 Sharktank TP2 family | 🟨 Clean 992/992; instability marker | 🟨 Clean 992/992 + 152/152 barriers | 🟨 Clean 992/992 + 12/16 barriers; automatic standard sampling profile | 🟨 Clean 992/992 + 152/152; dynamic undercoverage |
| P3 CLIP BF16 | 🟨 Clean 85/85; instability marker | 🟨 Clean 85/85 + 72/72 barriers | 🟨 Clean 85/85 + 70/70 barriers; automatic standard sampling profile | 🟨 Clean 85/85 + 72/72; dynamically complete |
| P4 hip-moi D128 block attention | 🟨 Clean; 8/8 admitted generic-LDS terminals patched through direct or indirect caves | 🟧 Clean; 8/30 (barriers 8/8; atomics 0/10; fences 0/12) | 🟧 Clean; accesses 8/8, atomics 0/10 (8/18 relevant sites) | 🟨 Clean; barriers 8/8; exact dropped pair corrupts output, qualified diagnostic miss |
| P4 hip-moi D128 pressure attention | 🟧 Clean; 4/8 admitted generic-LDS terminals patched through proven cross-symbol islands | 🟧 Clean; 8/30 (barriers 8/8; atomics 0/10; fences 0/12) | 🟧 Clean; accesses 4/8, atomics 0/10 (4/18 relevant sites) | 🟨 Clean; barriers 8/8; shared barrier-only path qualified |
| P4 hip-moi WMMA attention | 🟨 Clean; 8/8 admitted generic-LDS terminals patched through direct or indirect caves | 🟧 Clean; 8/30 (barriers 8/8; atomics 0/10; fences 0/12) | 🟧 Clean; accesses 8/8, atomics 0/10 (8/18 relevant sites) | 🟨 Clean; barriers 8/8; shared barrier-only path qualified |
| P4 hip-moi Stream-K arrival | 🟨 Clean; 4/4 admitted generic-LDS terminals patched through direct or indirect caves | 🟨 Clean; 32/59 (barriers 8/8 + atomics 13/23 + fences 11/28); atomics 13/13 owner-qualified | 🟧 Clean; accesses 4/4, atomics 0/25 (4/29 relevant sites) | 🟧 Clean AcqRel/Relaxed; atomics 15/15 static; 1/2 concurrent AcqRel publishers retained with typed undercoverage; repeated runs have no malformed metadata |
| P4 hip-moi tree atomic-OR | 🟨 Clean; 4/4 admitted generic-LDS terminals patched through direct or indirect caves | 🟧 Clean; 25/59 (barriers 8/8 + atomics 13/23 + fences 4/28); atomics 13/13 owner-qualified | 🟧 Clean; accesses 4/4, atomics 0/25 (4/29 relevant sites) | 🟧 Clean AcqRel/Relaxed; atomics 15/15 static; two typed dynamic undercoverage events; Relaxed producer is a qualified diagnostic miss |
| P4 Jakub attention variants | 🟨 Clean 3/3 schedules; accesses 31/31 through owner-safe indirect islands | 🟧 Clean 3/3 schedules; barriers 8/8; accesses 0/31, atomics 0/10, fences 0/12 | 🟨 Clean 3/3 schedules; accesses 31/31, atomics 0/10 (31/41 relevant sites) | 🟨 Clean 3/3 schedules; 24/39 relevant access/barrier sites (16/31 + 8/8); dynamic undercoverage |
Created
July 15, 2026 23:03
-
-
Save bjacob/be77810f941f8edb190a7a705603ff38 to your computer and use it in GitHub Desktop.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment