Classical gauge legitimacy and support

This reproduces the needed first-order content of VII-A's thm:first within the explicitly printed conventions CheungVIIA. No second-order source theorem is imported.