Repository navigation

Exclude helper469 rung removal by invertible receiver endpoint recoding - #6084

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

JoyboyBrian:brian/r18-task02-rung-carrier

Oct 28, 2026

Merged

Exclude helper469 rung removal by invertible receiver endpoint recoding#6084
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JoyboyBrian:brian/r18-task02-rung-carrier

Commits on Oct 28, 2026
- Prove helper469 endpoint receiver recoding impossible on selected word
  JoyboyBrian
  committed
  2d260bd
- Independently replay legal donor slots and reject invalid endpoint recodings
  JoyboyBrian
  committed
  06d9cd0