Type Alias SupportState

SupportState: "verified" | "untested" | "blocked"

A module's support state.

verified: the gate enabled it on a real site and asserted something it does happened
untested: never enabled here; the capability analysis is an inference, not an observation
blocked: cannot work, with the mechanism and what would lift it