# Lean 4.34.0 independent rebuild: axioms and kernel replay (extracted lines only)
'Holographic.Examples.star_entropy_three' depends on axioms: [propext, Classical.choice, Quot.sound]
'Holographic.MMI' depends on axioms: [propext, Classical.choice, Quot.sound]
'Holographic.SA' depends on axioms: [propext, Classical.choice, Quot.sound]
'Holographic.checkContraction_sound' depends on axioms: [propext, Classical.choice, Quot.sound]
'Holographic.checked_contraction_sound' depends on axioms: [propext, Classical.choice, Quot.sound]
'Holographic.contraction_sound' depends on axioms: [propext, Classical.choice, Quot.sound]
'Holographic.exists_min_cut' depends on axioms: [propext, Classical.choice, Quot.sound]
'Holographic.mmiMap_checked' depends on axioms: [propext, Classical.choice, Quot.sound]
REPLAY OK GraphEntropy: 53 declarations; no project axioms/placeholders
REPLAY OK Contraction: 13 declarations; no project axioms/placeholders
REPLAY OK Checker: 11 declarations; no project axioms/placeholders
REPLAY OK MMI: 3 declarations; no project axioms/placeholders
REPLAY OK Examples: 14 declarations; no project axioms/placeholders
REPLAY OK KillTest: 0 declarations; no project axioms/placeholders
