Fixed facility proof gating and typecheck script

Facility proof gating now matches the documented invariants in ADR 0001 and the typecheck script clears stale tsbuildinfo before running, so npm run typecheck reflects the live state of the code rather than a cached one.