What problem does it solve? Claims about how code behaves — such as "this value enters only through one CLI argument" or "nothing else calls this function" — are often accepted based on a prior document's summary rather than direct evidence. This Skill forces verification against the actual source artifact and produces a durable, re-checkable citation trail instead of an unverifiable "confirmed" marker. ## Core Features & Use Cases - Direct artifact inspection: Identifies the exact source file that confirms or falsifies a premise and inspects it directly, never trusting a prior reviewer's summary or sign-off. - Exhaustive caller and entry-point sweeps: Documents the exact search method (grep pattern, tool invocation, scope) so another reviewer can reproduce the identical result set. - Absence-claim verification: Establishes exclusivity or absence claims through completed, reproducible searches rather than failure to recall a counterexample. - Use Case: A task claims a token aggregate enters token_capture.py only as a CLI argument. The Skill quotes that premise, greps every call site, records file:line citations for each entry point, labels each as directly verified or inherited, and flags anything untraceable as unresolved. ## Quick Start Verify the premise that this value enters the module only through its CLI argument by inspecting the source directly and recording a file-and-line citation trail.