Semi-Formal Code Reasoning

Structured certificate templates that force mandatory checkpoints before conclusions.

Skip Conditions

Do NOT apply semi-formal reasoning when:

• The change is trivial: docs, formatting, version bumps, config changes
• The bug is locally obvious: typo, off-by-one in the same function, missing comma
• No execution paths cross scope boundaries
• The task is not code analysis (text editing, data extraction, summarization)

If any skip condition is met, proceed with standard reasoning.

Model-Specific Instructions

If you are Haiku-class (Haiku 4.5, Haiku 5.5): Read haiku.md in this skill directory. It contains full procedural templates with worked examples.

If you are Sonnet-class or above (Sonnet 5, Sonnet 5.5, Opus, Fable): Read sonnet.md in this skill directory. It contains compact verification checkpoints.

Composing Tasks

For complex tasks, apply templates sequentially:

1. Fault localization to find the bug
2. Patch verification to validate a proposed fix
3. Patch equivalence to compare alternative fixes

Each output feeds the next as premises.