Separate model-identification and transfer bounds

These are separately supplied component bounds. Favorable decoder validation does not establish them.

For deployment or another target channel with the same logical interfaces, independently justify

Direct certification uses ${\Lambda }_{\star ,A}={\Lambda }_{0,A}$ and $b_A=0$. A fitted simulator, a few matching marginal laws, or an ideal tensor identity is not by itself a diamond-distance transfer bound.