# Architecture principles whose scope is correctness_verification

> 15 records

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

## Entries

- [Manual-Only Governance](https://banes-lab.com/records/architecture/manual-only-governance.md): A defect in which architecture rules or security policies exist only in documents or in reviewers' memory, with no executable check, so they drift from what the system does.
- [Middle Man](https://banes-lab.com/records/architecture/middle-man.md): A defect in which a module delegates almost every call without adding behavior of its own.
- [Primitive Obsession](https://banes-lab.com/records/architecture/primitive-obsession.md): A defect in which domain concepts are held in raw primitives with no type or validation.
- [Long Parameter List](https://banes-lab.com/records/architecture/long-parameter-list.md): A defect in which a signature grows so many parameters that a caller can no longer read or validate it.
- [Pattern Cargo Cult](https://banes-lab.com/records/architecture/pattern-cargo-cult.md): A defect in which a pattern's name and shape are copied without the forces, contracts and checks that make it work.
- [Temporal Coupling](https://banes-lab.com/records/architecture/temporal-coupling.md): A defect in which operations must be called in an undocumented order to work.
- [Exception Control Flow](https://banes-lab.com/records/architecture/exception-control-flow.md): A defect in which exceptions carry expected branching or normal absence.
- [Transaction Script Sprawl](https://banes-lab.com/records/architecture/transaction-script-sprawl.md): A defect in which business processes are procedural scripts that coordinate validation, persistence and decisions directly.
- [Fat Controller](https://banes-lab.com/records/architecture/fat-controller.md): A defect in which controllers hold validation, business rules, persistence and response formatting.
- [Repository Dump](https://banes-lab.com/records/architecture/repository-dump.md): A defect in which a repository accumulates business queries, policy and orchestration until it is a second service layer.
- [Cache Poisoning by Design](https://banes-lab.com/records/architecture/cache-poisoning-by-design.md): A defect in which a cache key omits an input the entry depends on, so one request is served another's result.
- [Silent Data Corruption](https://banes-lab.com/records/architecture/silent-data-corruption.md): A defect in which invalid data is accepted, transformed or stored without any check noticing.
- [Log-as-Control-Flow](https://banes-lab.com/records/architecture/log-as-control-flow.md): A defect in which a failure is logged as though logging handled it, and execution continues.
- [Mock Mirage](https://banes-lab.com/records/architecture/mock-mirage.md): A defect in which tests assert calls on mocks rather than observable behavior or contracts.
- [Flaky Test Normalization](https://banes-lab.com/records/architecture/flaky-test-normalization.md): A defect in which intermittent test failures are accepted and rerun until they pass.