Proposition: Prerequisite verdict

The supplied material does not satisfy the instantiation-data requirement above. In particular, it does not define an evaluable preliminary full characteristic lift for the actual graph.

Proof. The supplied full XV-B text explicitly records that the source definitions of the cross-line factors, frozen map class, $Q_H$, and ${\mathcal{E}}_H$ were not reproduced. Its reconstruction interface is introduced as an abstract interface, separate from the unsupplied physical definitions.

The additional XIV-H–XIV-J excerpts reproduce internal formulas, open-gate statements, a supported reference, and a conditional extension interface. They do not reproduce the missing grouped cross-line operators or the definition of the frozen map class. The supported coefficients are displayed using $v_{\alpha }$ and $c_{D,\beta }$ without explicit formulas for those ingredients.

Consequently F1–F5 are not all supplied. This is a statement about the provided text, not a claim that the missing definitions do not exist elsewhere.