Record: PROP-RENORM-COMPOSITION
Source result: Proposition V.1.
Status: Proved.
Catalog summary
Composing certified carrier maps preserves the distinguished vectors and Dirichlet covariance. If the observable maps also compose on the transport core, GLC holds for the composite.
Why it matters
Certification is therefore stable under raw scale composition rather than being a one-arrow property with no coherent iteration.
Read source manuscript. Research manuscript — not peer reviewed.