principle-type-system-discipline

Guides typed-code design so the compiler catches invalid states, mixed-up identifiers, and unhandled variants before runtime.

When to use it

Use when designing types, reviewing function signatures, or writing code in a statically typed language.

It changes how the agent designs types in project code to rule out invalid states and require handling every variant.