The unchanged host and the support contract

The signature relation is a bookkeeping identity between the inherited analytical and host conventions. The formal metrics used below are field-theoretic variables; they do not replace $G$.