# Verification Mapping

verified: 2026-11-02

Choose the narrowest proving layer:

- unit for isolated logic
- integration for contracts or persistence paths
- end-to-end for cross-boundary user behavior
- manual verification only when tooling cannot reliably prove the path