Research audit: the selected #1094 local programs satisfy Lemma G's extended-label H1 (HPE-aware check, 0 violations); the selected chain runs no tag check (published checker needs a cold-HPE patch; the frame-only replay accepts three adapter mutants) (no new kappa) - #1964