Concrete completion boundary for Zhou's Theorem A. Paper: §§3--7.

theorem Connes.PaperTheoremACompletion.theoremA (propertyTInput : PaperPropertyT.EJZKInput) : ∃ (Γ₁ : CountableDiscreteGroup) (Γ₂ : CountableDiscreteGroup), HasKazhdanPropertyT Γ₁ ∧ HasKazhdanPropertyT Γ₂ ∧ IsICC Γ₁ ∧ IsICC Γ₂ ∧ TracialGroupFactorsIsomorphic Γ₁ Γ₂ ∧ ¬Nonempty (Γ₁.Carrier ≃* Γ₂.Carrier)

The concrete headline follows from the cited EJZK property-(T) input. All remaining spectral, factor, ICC, and nonisomorphism certificates are constructed internally. Paper: §§7.