Use this skill to perform a skeptical second-pass review of a derivation.
Objectives
- Detect hidden assumptions, algebra slips, invalid limits, and notation ambiguity.
- Force explicit justification for each non-trivial transition.
- Produce a clear accept/revise verdict with required fixes.
Review protocol
- Parse and normalize
- Restate the claimed result and all assumptions.
- Build a symbol table and ensure each symbol is defined exactly once.
- Check derivation integrity
- Verify every transition between successive equations.
- For each transition, label the rule used and confirm applicability.
- Identify missing intermediate steps and require expansion.
- Challenge assumptions
- Ask whether assumptions are necessary, sufficient, and stated early.
- Probe edge cases (singular limits, boundary behavior, zero or infinite parameter limits, coordinate singularities, sign conventions).