Type System Discipline
Trigger
At data modeling, API design, or external data ingestion points.
Rule
Make invalid states hard or impossible to represent and parse external primitives into meaningful internal types at the edge.
Application
- Name the concrete decision this principle changes.
- Apply the rule to that decision, not as a decorative citation.
- Prefer evidence from the current repository/runtime over generic preference.
- If the principle conflicts with an explicit user constraint, keep the constraint and state the tradeoff.