Skip to content
Like what we’re building? Star on GitHub

Testing — the domain ​

LeafRead it when
testing.mdAdding a test, choosing the proof layer, generating the capability census, a leaking test, process-stream captures and sweep roots.
flakes.mdA result depends on the machine: evidence, disposition and dated re-checks, including private OpenAPI generation across worktrees, virtual-time drain proofs and Git registry writers.
engine-contracts.mdA bot delegates to an external CLI (ultra11y for rgaa-audit): pinning it, testing its contract on the real binary, bumping the pin, a known_upstream_defect_… subtest going red.
process-fixtures.mdCapturing stdout/stderr, selecting a sweep root, copying an authoring corpus, or isolating an installed binary: evidence and mutation witnesses.
background-oracles.mdProving an immediate background-session end independently of CLI startup, and distinguishing it from budget assertions.