Skip to content

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

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
thakrarsagar:research/selected1094-extended-labels-seed65
Oct 14, 2026
Merged

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
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
thakrarsagar:research/selected1094-extended-labels-seed65

Commits

  1. Commits on Oct 14, 2026