Skip to content

✈️ Characteristic-2 shadows of rank-3 decoders: the anti-Fano bound by first-order jets, with a Lean-checked core (no κ claim) - #2162

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
DreamingOfClouds:research/char2-jets
Oct 16, 2026
Merged

✈️ Characteristic-2 shadows of rank-3 decoders: the anti-Fano bound by first-order jets, with a Lean-checked core (no κ claim)#2162
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
DreamingOfClouds:research/char2-jets

Clarify Theorem B2(iii): MAS is the maximum induced acyclic vertex se…

642bfaf
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar