Certora verified the supplied deployment configuration and confirmed that the inherited Comet core matches the audited Service Patch source. The review identified no inconsistency with the intended Foundation-curated governance model.