V.T235 — No Phantom Crossing Theorem

w(z) > −1 for all z. Topological constraint: f_def ∈ [0,1] → w = −1 + (2/3)f_def/(1−f_def) ≥ −1. No phantom crossing. Falsifiable: if w < −1 observed at any z → τ falsified.