principle-type-system-discipline · git:20260908.f096f61 · 2026-09-08 · sha256 4565ce7b9e00ab1d

principle-type-system-discipline git:20260908.f096f61A

Immutable. This exact content never changes and is served at /api/v1/blob/4565ce7b9e00ab1d.

---
name: principle-type-system-discipline
description: Make invalid states hard or impossible to represent and parse external primitives into meaningful internal types at the edge. Use at data modeling, API design, or external data ingestion points.
---
# 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

1. Name the concrete decision this principle changes.
2. Apply the rule to that decision, not as a decorative citation.
3. Prefer evidence from the current repository/runtime over generic preference.
4. If the principle conflicts with an explicit user constraint, keep the constraint and state the tradeoff.