Resolve shared procedures against CODEX_HOME (default ~/.codex). Before adding or changing tests, apply the test authoring gate and contract-focused proof design. Deliberate test pruning follows campaign mode; its coverage evidence is local and never a CI or merge gate.