# sub-reviewer-0 — ADVERSARIAL PRE-COMMIT REVIEW (S136 laneB-remainder + full wave)

> Vai: reviewer (READ-ONLY code; Write only to THIS trace file). Anti-#53: ghi-đĩa-trong-lúc-làm.
> VERDICT ở CUỐI file. Nếu return garble → file này là nguồn cứu.

## Scope
- Wave adap khung-nhịp-năm-vòng S135→S136, 7 item AI_INFRA.
- Spec canonical: runs/2026-07-17-S135-.../spec-adap-khung-nhip-17-07-2026.md §② Items 1-8 + §③ AC-A/B/C.

---

## ★ FINAL VERDICT
**VERDICT: GO_WITH_FIXES 0C/0M/2n** — COMMIT MAY PROCEED (0 Critical, 0 Major; 2 nice-to-have là spec-annotation drift, KHÔNG chặn commit). Wiring/code/detector đều đúng; đã live-verify + independent teeth-proof.

---

## A. Detector H25 code audit (Item 4+5) — governance-detectors.ps1:900-1091
### A1. H25-closeout-ritual (Item 4) — MATCHES spec
- Regex L930 `^\[CLAUDE\] Docs: S\d+.*(?:closeout|session-end)` held-in-var, applied to git SUBJECTS only (L943) → 0 self-match / citation-trap avoided.
- Window `$prev.Hash..$cur.Hash` (L967) = git HALF-OPEN (prev,cur] = spec "(closeout-trước-nó..nó]". OK.
- NEW-session `--diff-filter=A -- docs/changelog/sessions/` (L974). OK. 4 books L978-981 (STATUS/HANDOFF forward-slash literal; agent-memory `^\.claude/agent-memory/` forward-slash = git canonical). OK.
- (iv) skip-no-predecessor L962; non-git-tree skip L933/952. OK.
- HONEST-LIMIT comment L916-921 documents S132-tail FP + do-not-special-case + surface-to-owner. Matches spec + S81 honesty.
### A2. H25-role-notebook (Item 5) — MATCHES spec
- roster minus README L1009-10; greedy 2-step parse L1028-29 (safe direction, won't false-map); has-run = mapped OR diaryExists L1041; 0-byte anti-Goodhart L1047 (0-byte→flag); UNMAPPED INFORM-only L1059-63. OK.
### A3. Summary/C4 L1069-85 self-match assert; exit 0 L1091. OK.
**Verdict: structurally MATCHES Items 4+5. No lệch-thật. 1 lệch-chấp-nhận-được = S132-tail FP (documented, fails-safe-direction).**

## B. LIVE runtime verification (không tin evidence — tự chạy lại)
- **AC-B5 detector real-repo:** RE-RAN. Output = sub-task-0 claim ĐÚNG 100%: closeouts 73, 2 PASS (99fc373 S134 [ok], e53a693 S133 [ok]) + 1 FLAG (9e874ca S132 missing 2/4 = HANDOFF+NEW-session). role-notebook roster=14 diaries-ok=14 flagged=0 UNMAPPED=27. self-match=0. TOTAL FLAGS 46.
- **AC-B1 probe determinism:** RE-RAN ×2 → byte-identical `NHIP-NO: kiem light 7/6 deep 7/15 OVERDUE:light | tran-bo-nho 0 over-cap | run-chua-gom 0`, exit 0 cả 2.
- **AC-B2 nonexistent RepoRoot:** `probe-loi (khong chan)` + exit 0. OK (không chặn).
- **Probe 3-vế đo độc-lập:** vế-1 counter=10 last_audit=3 light_every=6 → a=7≥6 OVERDUE:light; deep 7/15 ok. ✓. vế-2 cap=25600, cả 14 MEMORY.md < cap (max investigator-codebase 23420) → 0 over-cap. ✓. vế-3 mọi folder có run.md đều có *-synthesis.md (S136 có implement-synthesis.md 3572B) → 0 orphan. ✓ (2 folder S117 KHÔNG run.md → skip đúng contract).

## C. INDEPENDENT TEETH-PROOF (temp git tree -RepoRoot, S95 — KHÔNG tin fault-inject của worker)
Tự dựng cây tạm + inject gap, chạy detector:
- **closeout FLAG:** fake S11 closeout (chỉ chạm foo.txt) → FLAGGED "missing 4 of 4 books". TEETH ✓ (không always-pass).
- **role 0-byte anti-Goodhart:** truncate lead-view-auditor diary → 0-byte → FLAGGED "0-byte (empty notebook)", diaries-ok=1 flagged=1. TEETH ✓.
- **role MISSING:** delete reviewer diary → FLAGGED "diary is MISSING", flagged=2. TEETH ✓.
- PASS-direction đã chứng trên repo thật (W1/W2 [ok], role 14/14). ⇒ **Cả 2 detector có RĂNG 2 chiều, độc-lập xác nhận khớp matrix worker (c-i/r-i/r-iv).**

## D. FP W3 — phán ĐỘC-LẬP (task item 3)
Git verify: `9e874ca` (S132 closeout-tail) parent = `72f68d1`; window (72f68d1..9e874ca] = CHỈ 9e874ca; `72f68d1` (lower-bound bị LOẠI) chứa `sessions/2026-07-17-S131-S132-...md` **ADDED (--diff-filter=A)** + touch HANDOFF+STATUS.
- **(i) Classification ĐÚNG:** W3 = FALSE POSITIVE thật (tail-adjacency: ritual của batch S131-S132 nằm trọn ở commit lower-bound bị loại). Fails-SAFE-direction (over-flag, không under-flag). NOT silenced (đúng S95/Goodhart). Đồng-thuận worker + lead (implement-synthesis L20 khớp git-check của tôi).
- **(ii) Per-label folding = đúng-hướng NHƯNG mở lỗ:** fold cùng-nhãn-batch GIẢM FP tail-adjacency, nhưng MỞ lỗ false-NEGATIVE: nhiều phiên gộp 1 nhãn `S<a>-S<b>` → phiên sau "ăn ké" ritual của phiên đầu ⇒ phiên giữa trốn ritual mà window vẫn PASS. Worker+lead KHÔNG tự-áp + treo owner = ĐÚNG (reshape đo để xanh = cấm). FP hiện-tại ship được vì: documented in-code + fails-safe + fix là owner-mechanism-decision.

## E. Tick S136 (task item 4) — ĐÚNG _contract.tick
counter=10, last_ticked_session=S136, last_ticked_head=a7bafd5. a7bafd5 REACHABLE từ HEAD 9d32f89 → ancestor-check PASS, **KHÔNG fail-loud oan**. OR-guard idempotent: S135→9, S136→10 (2 nhãn-phiên phân-biệt = +2 từ baseline 8). Monotonic (no regress, fail_loud_on_regress không kích). Pointer §2.1.8 canonical TỒN-TẠI (L181-193 OR-guard đầy đủ) — pointer từ tiep/pause/session-end resolve THẬT (không dangling).
- **n-2 (nice-to-have):** spec DP-table :73 ghi "tick S136 → 9 ≥ 3+6" nhưng ACTUAL counter=10 (spec under-count: KHÔNG tính S135 tick như nhãn-phiên riêng). Logic ĐÚNG; chỉ narrative-estimate lệch 1. OVERDUE:light vẫn fire (10≥9). Post-restart phép-7 (S137 pause-tiep) vẫn +1 đúng (OR-guard per-label). Cosmetic.

## F. M-7 add-list (task item 5)
Working-tree wave files: fable-real.md, sleep-recovery-memory-l2.md, .session-counter.json, hmw.js, adap-report, governance-detectors.ps1, ?? nhip-no-probe.ps1, run-folder S136. TẤT được cover bởi glob add-list spec §③. LANE-A cmd (tiep/pause/session-end/session-start) ĐÃ committed qua `0363495 wal: pause` (dogfood pause.md:34 add-list mới — counter+file-dở). counter.json có S136-tick delta uncommitted → glob/explicit listing bắt. **0 stray file ngoài add-list.**
- **n-1 (nice-to-have):** spec §③:88 ghi "`.claude/commands/*.md` ×5 sửa" = UNDERCOUNT — thật 6 cmd đổi (tiep/pause/session-end/session-start + fable-real/sleep-recovery). Glob `*.md` bắt hết 6 nên KHÔNG rớt IF dùng glob; nhưng nếu lead enumerate theo con-số "5" thì rớt 1. Đề-xuất: sửa annotation →×6 hoặc xác-nhận dùng glob (M-7 acceptance `git status --porcelain` rỗng vẫn thoả vì 4 file đã committed + 2 file glob-bắt).

## G. Honesty-presentation (task item 6) — S81 PASS
- sub-task-2.md L16: nhãn tường-minh "🔴 LEAD SCRIBE ON-BEHALF ... Phần dưới do lead ghi SAU KHI verify-đĩa 8/8, KHÔNG phải lời worker" + phân disk-truth vs lost-narrative (đúng feedback_return_terminates + #53). VERDICT nhãn "lead re-run AC-C @S136". KHÔNG worker-self-attest giả.
- implement-synthesis.md L3 "VERIFIED bởi lead (không phải lời worker)".
- Flip-4c nấc = "executed-inferred" (🔴 KHÔNG "verified"), giữ 2 caveat (S119). Hedge đúng. Nấc tick-wire = executed/verified-pending-restart (phép-7 đo SAU restart — cmd .md no-hot-reload). KHÔNG claim vượt bằng-chứng.

## H. 6-category rollup
- Cat1 Wire (detector/probe/cmd wiring, không BE-endpoint): PASS — live-verify tất.
- Cat2 Schema: N/A (0 migration). PASS.
- Cat3 Security: N/A (script read-only exit 0, 0 auth). PASS.
- Cat4 Code quality: PS5.1 pure-ASCII (60003B, 0 byte>127), parse 0-err, isolation LANE clean, no --no-verify. PASS.
- Cat5 Test/teeth: fault-inject 9/9 + independent teeth-proof 3-ca (mine). PASS.
- Cat6 Writing (adap-report outward): 2 append full-grammar VN đủ dấu. PASS. (cmd .md internal-compressed OK.)

## Nice-to-have (non-blocking, optional)
- **n-1:** spec §③:88 "×5 cmd .md" → thật ×6 (annotation drift; glob mitigates). Đề-xuất sửa ×6 / confirm glob.
- **n-2:** spec DP-table :73 "tick S136→9" → actual 10 (narrative off-by-1; logic đúng). Cosmetic.
- **info:** lead tạo implement-synthesis.md + update run.md @17:49-50 CONCURRENT với review (moving-target nhẹ); implementation content ổn-định, file review của tôi intact. Không phải lỗi, chỉ ghi-nhận ordering.
- **info (DP-2 accepted-noise):** tick head=a7bafd5 (wal:flush) — closeout kế squash wal-commit → phiên kế-kế có thể fail-loud oan (đã khai spec DP-2, có vết, không mất số).

## Positives đáng nhớ (resisted scrutiny)
- Pointer-integrity: 3 tick-point CON-TRỎ §2.1.8 (không chép logic) + target TỒN-TẠI thật — AC-A(4) risky-case CLEAN.
- Detector teeth độc-lập-chứng 2 chiều; FP classified-not-silenced (Goodhart-resist).
- exclusion-set AC-C(1) đúng nghĩa: 2 site sống fixed, excluded-zone (diary/adap:19/runs) giữ đúng.
- Probe 3-vế số đúng hết khi tự đo lại (cap 25600, 7/6 arithmetic, orphan 0).
