Proposition: The obstruction has not been evaluated

The supplied data do not provide an evaluation of $d_0$ or of (eq:relative) for the full frozen graph.

Proof. Proposition prop:prerequisite identifies the missing full cross-line operation, full presentation space, and actual correction class. No characteristic preliminary lift $F_0$ for these data is defined in this release.

Without such a lift, $F_0{|}_H$ has no computed value. Without the actual correction class, its restriction image and relative quotient cannot be evaluated for the inherited instance. The local equations in Sections sec:relations and sec:supported do not supply either missing object.