def
definition
def or abbrev
summary
show as:
view Lean formalization →
formal statement (Lean)
241def summary : List String := [
proof body
Definition body.
242 "Phases = J-cost minima",
243 "First order = jump between minima",
244 "Second order = merging minima",
245 "Critical = topology change",
246 "Nucleation = barrier crossing"
247]
248
249/-! ## Falsification Criteria -/
250
251/-- The derivation would be falsified if:
252 1. Phase transitions have no J-cost interpretation
253 2. Critical behavior contradicts J-cost predictions
254 3. Nucleation doesn't follow J-cost barriers -/