Checks
| Review area | Scans for |
|---|---|
| Correctness | Broken invariants, incomplete behavior, unsafe edge cases, and errors that change outcomes |
| Architecture | Boundary violations, unnecessary coupling, and abstractions disproportionate to the problem |
| Maintainability | Changes that make future reasoning, extension, or safe modification materially harder |
| Operational risk | Failure modes, rollout hazards, unsafe state transitions, and weak recovery behavior |
| Validation quality | Missing or inadequate evidence that changed behavior works and regressions are contained |