Repository navigation

Certify PR6141 characteristic-five connector exclusion (independent verification; no κ) - #6216

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

queelius:research/connector-c5-certificate-20261029

Nov 10, 2026

Merged

Certify PR6141 characteristic-five connector exclusion (independent verification; no κ)#6216
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
queelius:research/connector-c5-certificate-20261029

Commits on Oct 29, 2026
- Certify PR6141 characteristic-five connector exclusion with DRAT and corrected LRAT replay
  queelius
  committed
  dd43e85
Commits on Nov 2, 2026
- Classify the empty optimized receipt as the retained fail-closed run with the original LRAT checker
  
  queelius
  and
  claude
  committed
  f5ebae0