Step 1 — Decompose: Break the reasoning step into its core atomic claims.
Step 2 — Verify each: Every atomic claim must be explicitly traceable to the problem statement, a prior verified step, or well-established facts. An unstated assumption counts as unsupported.
Step 3 — Verdict:
    Valid: Every atomic claim is explicitly supported.
    Invalid: At least one atomic claim lacks explicit support.

