Member Junction
    Preparing search index...

    Type Alias IntegrityCheckOutcome

    IntegrityCheckOutcome:
        | { Kind: "none-ran" }
        | { Count: number; Kind: "passed" }
        | { Failures: IntegrityCheckResult[]; Kind: "failed" }

    What a set of integrity-check results means. Three outcomes, not two: an empty result array is its own case and must never be collapsed into 'passed'.

    RunIntegrityChecks(pool, true) runs only the checks whose Enabled is true, so it returns [] when the checks are configured off. Reporting that as a pass is the same defect as discarding the results entirely — a green tick over nothing measured — and it is the likelier one, because turning a check off is the obvious way to quiet it.