semi-formal-reasoning

Code patch verification requires explicit premises and file:line execution traces. This Skill enforces structured reasoning by gathering context like imports and call sites, applying semi-formal templates, and deriving verifiable conclusions with cited evidence.

Fault localization uses evidence-based code reasoning to trace execution paths. The Skill guides context gathering before analysis, applying semi-formal templates to produce traceable conclusions and repeatable audits with file:line citations.

Semi-formal code reasoning is an evidence-based approach requiring explicit premises and execution traces. It is needed for patch verification, fault localization, and code QA to prevent unsupported claims during reviews and debugging.

Preventing unsupported claims requires rigorous, evidence-based code analysis. The Skill enforces explicit premises, file:line execution traces, and formal conclusions, ensuring all claims in patch verification and fault localization are fully cited.

Semi-formal templates apply to code QA across software projects by enforcing structured analysis. The Skill provides standardized reference materials to ensure reproducible conclusions and repeatable audits with file:line citations.

The code reasoning approach requires no external dependencies. It uses standardized templates and reference materials to structure analyses, guiding context gathering and deriving conclusions with cited evidence.