Tier-1 structural checks: facts you can read straight off the supervision tree and each process module, no cross-module graph needed. Cheap, fast, deterministic — the kind of thing that belongs in a CI gate.
Summary
Functions
@spec run([Firebreak.ModuleInfo.t()]) :: [Firebreak.Finding.t()]