Past compactness and the source-domain distinction

The compact-source identity (eq:compactGreen) cannot be applied to $S_{\lambda }$ merely by citing its compact-interior quantifier. This is a limitation of that theorem, not a nonexistence conclusion.