Before anything freezes, all suites and all interface stubs must typecheck together. A suite that calls beyond a declared interface fails here — at gate 1 — instead of surfacing after build as an unhealable integration failure.
Repair at this gate follows the serial resolver: findings group by bug-class idiom; the dominant class (a suite importing a member the contract doesn't declare — the classic cross-module lie) is resolved once — pre-freeze, the contract may grow additively to meet its callers — then the documented lesson applies mechanically to every remaining same-shape instance. A contract that cannot grow to satisfy its callers escalates its owning feature; the rest of the run continues.