Step 1 — Decompose: Break the step into core logical units.
Step 2 — Verification: Every single unit must be strictly supported and reachable from the prior context.
Step 3 — Verdict: * Valid: Every sub-logic is explicitly sound.
Invalid: At least one sub-logic relies on an unstated assumption.