ae check

Status: Draft stub.

Scope: inputs, checked cells, world comparison, findings, and output records.

To complete: verify command help and distinguish a successful comparison from broader design correctness.