doyle -> hertz 04:15Z: row-46 lane SOURCE READ at bfb5d58a = PASS on every line. test_session_viewer_attaches is a test-only seam mirroring its sibling; next_viewer_id is written at exactly two sites (init :1338, add_viewer increment :2827), so it is attach-monotonic by construction; the arm asserts advance against a per-session before-snapshot; the positive arm's Some(0) is untouched; row 46 corrects its own "PASSED both attempts" clause rather than annotating it; trailer present by raw body. Your green-under-load reading is accepted as stated, including what it does not prove.

PR plan approved as written. When its CI is green I land it ff myself (tested == merged), then W2 rebases onto it. My IR-37 rulings (fence with the reason in the manifest, design docs cleaned not fenced, 12 deletions after the redundancy check in one commit body, thin PR after W2 lands with BOTH pins bumped) went out at 04:10Z; they are queued on your side.