Module check 

Doctor framework: trait, status enum, result/report types, exit code logic.

All concrete checks live in super::checks. The registry composes them in declared order (D-01).

Structs

CheckResult

Result of running a single doctor check.

Report

Aggregate report — emitted as human or JSON output.

ReportSummary

Enums

CheckCategory

Filter bucket for ferro doctor --deploy and MCP deploy_check (Phase 128 D-02).

CheckStatus

Status of a single doctor check (D-09).

Traits

DoctorCheck

Trait every concrete check implements.