The constructed compact candidate implies option (C)

Zero initial data and the viscosity-rescaled compact force satisfy the exact decay conditions in the comparator. Whole-space finite-energy comparison excludes a global solution for every positive viscosity.

The project's actual sums give a compact whole-space candidate

This is an extraction from selected_witness, which retains the original potential, direct field, and pressure sums. It does not invoke whole-space uniqueness or claim the comparator's nonexistence conclusion.

theorem NavierStokes.R3CompactCandidate.selected_compact_candidate : ∃ (u : ProblemStatement.VelocityField) (p : ProblemStatement.PressureField) (f : ProblemStatement.VelocityField), Properties u p f

theorem NavierStokes.ComparatorBridge.option_C_of_compact_candidate {u : ProblemStatement.VelocityField} {p : ProblemStatement.PressureField} {f : ProblemStatement.VelocityField} (h : R3CompactCandidate.Properties u p f) (ν : ℝ) (hν : 0 < ν) : ∃ (u₀ : ProblemStatement.Space → ProblemStatement.Space) (f : ProblemStatement.Space → ℝ → ProblemStatement.Space), Comparator.InitialVelocityConditionDecay u₀ ∧ Comparator.ForceConditionDecay f ∧ ¬∃ (v : EuclideanSpace ℝ (Fin 3) → ℝ → EuclideanSpace ℝ (Fin 3)) (p : EuclideanSpace ℝ (Fin 3) → ℝ → ℝ), Comparator.NavierStokesExistenceAndSmoothnessRn ν u₀ f v p

theorem NavierStokes.ComparatorBridge.navier_stokes_breakdown_R3 (ν : ℝ) (hν : ν > 0) : ∃ (u₀ : EuclideanSpace ℝ (Fin 3) → EuclideanSpace ℝ (Fin 3)) (f : EuclideanSpace ℝ (Fin 3) → ℝ → EuclideanSpace ℝ (Fin 3)), Comparator.InitialVelocityConditionDecay u₀ ∧ Comparator.ForceConditionDecay f ∧ ¬∃ (v : EuclideanSpace ℝ (Fin 3) → ℝ → EuclideanSpace ℝ (Fin 3)) (p : EuclideanSpace ℝ (Fin 3) → ℝ → ℝ), Comparator.NavierStokesExistenceAndSmoothnessRn ν u₀ f v p

Option (C) with exactly the comparator's quantifiers.