No one disputes the perspective that this proof establishes a conditionality, and not a creation ex nihilo. The requirements register specifies that any application of this equivalence must explicitly document the initial validity conditions. For example, the absence of non-convexity in the cost functions must be explicitly certified, as this would introduce multiple critical points that cannot be managed by standard fixed-point analysis.