Registry · Theorem
V.T35
tau-effective
formalized
V.T35 — Selection
The unique Einstein-admissible character is the minimal-defect character: it minimizes ||Delta(chi)|| over all truncation-coherent boundary characters and is the unique fixed point of the tau-NF Einstein iteration.