What is not computed

No estimate (eq:jetbound) and no failure sequence is established for an actual coefficient, because no actual coefficient is defined. The characteristic compositions of $K_{47}$ and of both $K_5$ placements are not of supported normal-jet form in the record and are not addressed by Proposition prop:reduction. Gate D3 is not entered for the actual graph.