Constraints Over Shortcuts
Kind: algorithm
Record: algorithms:no-shortcuts
Canonical: Algorithms
Closure: Dependencies in load order
Replace a debt-incurring shortcut with an encoded constraint that makes the invalid state unrepresentable, so the rule holds without relying on discipline.
Listed in Algorithm contracts, after Capacity Planning and before Forward Compatibility Over Backward Compatibility.