Principlev1PR-385
Assign types to fields and objects to restrict valid inputs…
Assign types to fields and objects to restrict valid inputs and operations before execution, making entire categories of error structurally impossible rather than detectable after the fact.
Why This Is a Principle
Derives from automatic processes operating without conscious control (Automaticity Without Conscious Control) and dual-system thinking (Cognition Operates Through Dual Processing Systems). Prescribes using type constraints as preventive infrastructure that operates before conscious deliberation.