Free coverage check first

Run a Preflight

Address and project facts go through deterministic gates. If a controlling dependency is missing, the compiler publishes UNRESOLVED — it does not guess.