Skip to content

Independently check #4154's P104 fiber-tag seam: census holds; its code transposes #3966's row tag, so the witness flips are (1,0) and the uniform tag matches the row owner on the shared line (no new κ) - #4339

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:p104-fiber-tag-orientation-check
Oct 21, 2026
Merged

Independently check #4154's P104 fiber-tag seam: census holds; its code transposes #3966's row tag, so the witness flips are (1,0) and the uniform tag matches the row owner on the shared line (no new κ)#4339
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:p104-fiber-tag-orientation-check

Independently check #4154's P104 fiber-tag seam in its sources' orien…

a6e02c0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs