Name | Oriented Incidence Realization
Object | $L = B B^{\mathsf T}$
Type | Exact identity on the path $P_2$
Identity | $L=BB^{\mathsf T}$ with $B=(1,-1)^{\mathsf T}$
Evidence | E0 + E1
Boundary | Single oriented edge. Distinct from DIRI-C01 (the energy form).
Parents: FPV20-C01, FPV20-C06.
Witness: PF-FPV20-GRAPH-015 · residual $0$.