# The arch records whose scope is correctness_verification

This index as JSON: https://banes-lab.com/json/api/facets/arch/scope/correctness-verification

## Entries

- [Manual-Only Governance](https://banes-lab.com/records/arch/manual-only-governance.md)
- [Middle Man](https://banes-lab.com/records/arch/middle-man.md)
- [Primitive Obsession](https://banes-lab.com/records/arch/primitive-obsession.md)
- [Long Parameter List](https://banes-lab.com/records/arch/long-parameter-list.md)
- [Pattern Cargo Cult](https://banes-lab.com/records/arch/pattern-cargo-cult.md)
- [Temporal Coupling](https://banes-lab.com/records/arch/temporal-coupling.md)
- [Exception Control Flow](https://banes-lab.com/records/arch/exception-control-flow.md)
- [Transaction Script Sprawl](https://banes-lab.com/records/arch/transaction-script-sprawl.md)
- [Fat Controller](https://banes-lab.com/records/arch/fat-controller.md)
- [Repository Dump](https://banes-lab.com/records/arch/repository-dump.md)
- [Cache Poisoning by Design](https://banes-lab.com/records/arch/cache-poisoning-by-design.md)
- [Silent Data Corruption](https://banes-lab.com/records/arch/silent-data-corruption.md)
- [Log-as-Control-Flow](https://banes-lab.com/records/arch/log-as-control-flow.md)
- [Mock Mirage](https://banes-lab.com/records/arch/mock-mirage.md)
- [Flaky Test Normalization](https://banes-lab.com/records/arch/flaky-test-normalization.md)