Skip to content

Research: faithful S3 output transport saves 120 primitives (no new kappa) - #1488

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:research/s3-standard-output-seed58
Oct 14, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:research/s3-standard-output-seed58

Research faithful S3 output transport with exact boundary certificate

13d780e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
formal (gaussian)
succeeded Oct 15, 2026 in 50s