# Constraints Over Shortcuts

> Replace a debt-incurring shortcut with an encoded constraint that makes the invalid state unrepresentable, so the rule holds without relying on discipline.

Record: `algo:no-shortcuts`
Kind: Architectural Rules
Canonical: https://banes-lab.com/ontology/algorithms#algo-no-shortcuts
Closure: https://banes-lab.com/json/records/algo/no-shortcuts/closure

## composes

- [Structural Core](https://banes-lab.com/records/algo/structural-core.md)
- [Coupling Control](https://banes-lab.com/records/algo/coupling-control.md)