Skip to content
CribScore
← Back to changelog

Changelog

FixedWeb

Fixed facility proof gating and typecheck script

Facility proof gating now matches the documented invariants and the typecheck script clears stale build info.

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.

facilityprooftypecheck
Commitsc0aef5f

Related changes