Module check 

The check abstraction, its execution context, and the built-in check sets.

Structs

CheckCtx

Everything a check may consume: the document, the resolved rig roles, the configuration, and shared metric PoseGrid samples.

Enums

Readiness

Whether a check can run against a document — decided by the runner before run, so requirement diagnostics are emitted in one place and never subject to per-check severity overrides.

Traits

Check

A lint check that can inspect a document and emit structured Finding values.

Functions

all_checks

The full built-in catalog: mechanical + semantic checks.

mechanical_checks

The mechanical P0 checks: no rig profile, no config required.

run_checks

Run checks, honouring per-check severity settings: