#typescript/src/checks/cmd

#typescript/src/checks/cmd

The auto-registered check command plus the human-readable and JSON result formatters, dispatching the list, help, no-match, dry-run, and run modes.

Parity sources: go/strictcli/check_cmd.go and check_public.go (formatters) with Python _register_check_command / _check_list_mode / _check_dry_run_mode / format_check_results (~3419-3517, ~7092-7212) as the divergence ground truth for the branch order (list -> help-when-unfiltered -> no-match -> dry-run -> run) and the inline output strings.

Errors raised below the handler (tag DSL, cycles, provider materialization) propagate out of run()/test(), mirroring Python where they surface as ValueError to the caller.

#enableChecks

export function enableChecks(app: AppImpl): void

Turns on the check system exactly once: flips enabled and registers the auto-generated check command a single time. Idempotent -- calling it again is a no-op, which prevents double-registration. The command is absent (hidden) entirely when checks are never enabled.

#formatCheckResults

export function formatCheckResults(

Formats check results as a human-readable aligned string. Shows the derived status label, name, and message, with minted problems listed under the check row grouped by severity (error problems first, then warns), each tagged with its severity. Problems appear for fail/warn/skip outcomes or when verbose. Notes are verdict-inert and surface ONLY under verbose, on every outcome including a pass; verbose also appends per-check durations ("(ms)") and a trailing count summary. No trailing newline.

#formatCheckResultsJSON

export function formatCheckResultsJSON(

Formats check results as a compact JSON array string. Each entry carries the derived status plus the minted problems (each with its severity and text); problems and notes serialize as [] when empty, and duration_ms is always present. No trailing newline.