Skip to content

Independently check #4628's m ≥ 4 projection bound: 2.99172, 2.97290, 2.9447 reproduce; tail proved for all k; two uncertified block-4 inputs isolated (no new κ) - #4643

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
lm1909:lm1909/projection-recursion-check
Oct 22, 2026
Merged

Independently check #4628's m ≥ 4 projection bound: 2.99172, 2.97290, 2.9447 reproduce; tail proved for all k; two uncertified block-4 inputs isolated (no new κ)#4643
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
lm1909:lm1909/projection-recursion-check

Commits

  1. Commits on Oct 22, 2026