Commands are organized by artifact boundary.

Scan and validate

scan is the default command. It emits Sig0 for a Lean or Python repository. validate checks an existing Sig0 artifact without rescanning source files.

• scan Uses --root, optional --policy, optional --runtime-edges, and optional --language python.
• validate Checks duplicate-free components, local edge closure, external targets, and policy metric status.
• snapshot and signature-diff Persist revision signatures and compare before / after snapshots with metric delta status.

Surface map

Command groups correspond to product surfaces. This split keeps the shortest Core path separate from review automation, bounded SFT projection, and operational feedback.

• Core scan, validate, snapshot, and signature-diff.
• Review air, validate-air, theorem-check, feature-report, policy-decision, pr-comment, and baseline-suppression.
• SFT artifact-descriptor, operation-support-estimate, forecast-cone-skeleton, consequence-envelope, forecast-calibration-hook, and sft-forecast.
• Operational dataset, PR history / feature / outcome dataset commands, daily ledger, calibration, threshold, ownership, repair adoption, incident correlation, and hypothesis refresh commands.

Review reports

The PR review chain normalizes evidence into AIR, checks theorem promotion preconditions, summarizes extension quality, applies organization policy, and renders a PR comment.

air
  -> validate-air
  -> theorem-check
  -> feature-report
  -> policy-decision
  -> pr-comment

Policy and schema

Policy commands validate organization policy, law policy templates, custom rule plugins, measurement units, retention manifests, reported axes catalogs, and schema compatibility reports. These commands preserve non-conclusions and coverage boundaries during artifact evolution.

• organization-policy Validates warn / fail / advisory policy and formal claim promotion boundaries.
• schema-compatibility Reports compatible, requiresMigration, notComparable, or blockedFormalClaimPromotion outcomes.
• reported-axes-catalog Emits the detectable values and reported axes catalog for reader compatibility.

Dataset and feedback

Dataset commands join PR metadata, signature artifacts, Feature Extension Reports, theorem checks, and outcome observations. Operational feedback commands produce bounded B10 artifacts for calibration and review.

• dataset, pr-history-dataset, feature-extension-dataset, outcome-linkage-dataset Build empirical records from repository, PR, report, and outcome inputs.
• report-outcome-daily-ledger Joins outcome linkage and architecture drift ledger inside an aggregation window.
• calibration-review-record, team-threshold-policy, ownership-boundary-monitor Emit operational feedback fixtures and validation outputs.

Forecast and repair

SFT forecasting commands connect real PRD / Spec / Issue / AI proposal text to a bounded ConsequenceEnvelope. Repair commands validate repair registries, synthesis constraints, and no-solution certificates.

artifact-descriptor
  -> operation-support-estimate
  -> forecast-cone-skeleton
  -> consequence-envelope
  -> forecast-calibration-hook
  -> sft-forecast