Decision Sufficiency Under Uncertainty: Typed Missingness, SoZ Pressure, And Contract-Grade Promotion

Significant — This manuscript, Decision Sufficiency Under Uncertainty: Typed Missingness, SoZ Pressure, And Contract-Grade Promotion, responds to Algorithm Finds Smallest Dataset that Guarantees Optimal Solutions to Complex Problems by mapping a linear-optimization sufficiency theorem into the D3–D4–D5 stack as a D5-style closure “beachhead.” It then specifies the sustainability machinery introduced for bench reality: typed missingness, split SoZ pressure, no-backflow, and Strong-to-Weak-to-Weaker promotion discipline, so that shrinking-support “success by starvation” is detected when benches accumulate 0_nonoverlap and 0_timeout and drift toward D5 timeout/refusal.