Cast the exact rational threshold and cleared edge test to their real forms. Heavy conditioning supplies a candidate, and completeness puts it in the enumerated list. The first successful candidate retains both its raw moment floor and the conditioning invariants.