The switched scalar action: an evaluated breaking

This is not a theorem that every observable quantum Ward coefficient is nonzero. Nor does it exclude a modified spurion rule, extra compensators, or a different local-coupling construction. Those would change the sheet.