Testing

A TestSuite is a typed list of named TestCase records. Each case carries an opaque body — the framework stops typing at the case boundary so consumers can stash pure-Nix booleans, derivation builders, or arbitrary runner specs.

runPure suite evaluates every case whose body is a boolean and reports per-case PASS / FAIL / SKIP / ERROR classification plus a passed / failed / skipped tally and an allPass flag. Non-boolean bodies are skipped — that path is for derivation-driven or runner-driven tests handled downstream.