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

Independent check of #4628's block-5/6 projection bound (2.99172, 2.9…

0c08499
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs