What problem does it solve? New theoretical physics results must reduce to known results in appropriate limits, but checking limits ad hoc misses cases and leaves errors undetected. This Skill systematically enumerates every applicable limiting case for a result and verifies each one analytically or numerically. ## Core Features & Use Cases - Systematic limit enumeration: Organizes candidate limits by domain (universal, thermodynamic, quantum, field theory, condensed matter, gravitational, geometric) and selects those applicable to each result. - Analytical and numerical verification: Takes limits analytically where possible, or runs convergence checks with decreasing parameter values, then classifies outcomes as exact match, numerical match, discrepancy, or divergent. - Failure diagnosis and reporting: Characterizes discrepancies (wrong factor, sign, or functional form), localizes errors to derivation steps, and writes a LIMITING-CASES.md report committed through the GPD CLI. - Use Case: After deriving a new partition function in phase 3 of a research project, run the Skill against that phase to confirm the free-theory, high-temperature, and thermodynamic limits all recover textbook expressions before proceeding. ## Quick Start Ask the assistant to check all limiting cases for the results in phase 3 of the current physics project.
