Rendered Boundary Quotients in the Standard Model Parameter Programme: Upgrade Note for Papers A–C

This note patches the Standard Model trilogy (Papers A, B, C) to align with the current TSCT proof-pressure programme. It supersedes the earlier trilogy upgrade note. Central correction: the relevant object is a rendered k=2/k=3 boundary quotient Qʳen₂3 = Im (E₂3), not a naive TL centraliser. The conjectural trace readouts are D₁=13 and D₂=29 — now established as conditional theorems by the Coxeter and E23 papers. The note specifies: (1) language to remove or replace (including the killed dim (TL₂'∩TL₃) =29 claim, the 13=3+4×2 arithmetic error, and overclaiming language) ; (2) the corrected formula 13=3+5×2 throughout; (3) the engine grouping and independence discipline for statistical claims; (4) paper-by-paper upgrade instructions for A, B, and C; (5) a demotion table for Tier 3 candidates and non-minimal extensions; (6) the unified trilogy status statement for use across all three papers.