# Semiformal Reasoning

Visible front door for semiformal reasoning templates, guides, checklists, and examples.

## Primary routes

- [Getting Started](./getting-started.md)
- [Investigation Workflow](./investigation-workflow.md)
- [Reviewer Guide](./reviewer-guide.md)
- [Certificate Selection Matrix](./certificate-selection-matrix.md)
- [Certificate Review Checklist](./certificate-review-checklist.md)
- [Pre-merge Checklist](./pre-merge-checklist.md)

## Core guidance

- [Adoption Strategy](./adoption-strategy.md)
- [Template Selection Guide](./template-selection-guide.md)
- [Template Selection Cheatsheet](./template-selection-cheatsheet.md)
- [Paper Source Map](./paper-source-map.md)
- [Harness Forge Placement](./harness-forge-placement.md)

## Validation and operations

- [Success Metrics](./success-metrics.md)
- [Validation Plan](./validation-plan.md)
- [Release Gate](./release-gate.md)
- [Migration Plan](./migration-plan.md)

## Examples

- [Django Name Shadowing Mini Case Study](./examples/django-name-shadowing-mini-case-study.md)
- [Mockito Root Cause Mini Case Study](./examples/mockito-root-cause-mini-case-study.md)
- [Fault Localization Example](./examples/fault-localization-example.md)
- [Patch Equivalence Example](./examples/patch-equivalence-example.md)
- [Change Safety Example](./examples/change-safety-example.md)

Canonical hidden guidance lives under `.hforge/library/docs/reasoning/`.

## Rollout Status

Semiformal reasoning rollout is active with canonical templates, bridge templates, governance contracts, docs routing, and CI validation surfaces in place.