# 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.