Remark: What saturation does not say

Saturation is a local response-independence statement, not a global Green-operator theorem. In a fully specified flat zero-Cauchy realization, an adjoint trace can be proved by transposition. Part IV does this for that realization. The weak inherited interface above does not silently identify its complete adjoint source domain with that realization. Global Green-operator results require their own hypotheses BGP.