P6 binds P3 (Convention B operational normalization) with P5(BC) comparability (whitened comparison geometry) to produce an audit-grade transferability statement for ℏeff . The central claim is conditional: if two deposits (or two runs of the same deposit) satisfy the identifiability/comparability firewall and if their sampling/basis implementations are energy-consistent approximations of the same declared continuous objects, then the resulting ℏeff values are comparable and stable up to explicit, testable error terms. Conversely, the skeleton provides SHALL/FAILS triggers that render transfer claims inadmissible or false.