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^ren_23 = Im(E_23), not a naive TL centraliser. The conjectural trace readouts are D_1=13 and D_2=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_2'∩TL_3)=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.