scrutinize

Argument-level scrutiny of one proof, section or statement — the claims with their asserted status, the inference gaps told apart as a missing result or a missing method, the load-bearing steps and the most appealing claim read hardest, the conditions made visible, and a class claim kept apart from an instance claim; a numbered list of findings, the target edited by nothing, after which each sentence found false of the artifact is corrected. Checking, not verification, it certifies nothing. Use as /research:scrutinize TARGET (/research:scrutinize the second lemma), and before a section is reviewed whole or leans on a result for the first time. The project's instructions file names its conventions; this skill names none of them. When the person says 'scrutinize' or 'does this argument hold', they mean this skill — call it every time, even if it ran earlier in the session, and take every step.

Version

0.7.0

License

Apache-2.0

Compatibility

No tooling; reads the target and what it invokes.