speckit-review-types

To review type invariants, identify implicit constraints and domain rules encoded in types, rate how well the public interface hides internals, and assess enforcement boundaries to produce actionable guidance for preventing illegal states.

The best way to make illegal states unrepresentable is strengthening encoded invariants and enforcing constraints at construction and mutation boundaries. This ensures valid state transitions and improves static modeling correctness within your architecture.

Assess type design by evaluating invariant usefulness for bug prevention, checking consistent enforcement at mutation boundaries, and reviewing how well the type structure communicates guarantees through its public interface expression.

Static modeling improves type correctness by encoding domain rules and constraints between fields directly into the type structure, ensuring valid state transitions and preventing bugs through strong invariant enforcement and proper encapsulation.

Yes, you can review a specific type or a set of related types together. The review assesses invariants, encapsulation quality, expression, usefulness, and enforcement points across the group to provide structured ratings and concrete recommended improvements.

Type design enforcement has limitations when constraints require complex runtime validation or external state verification. If invariants depend on dynamic data or cross-system consistency, static modeling alone cannot fully guarantee correctness without additional runtime checks.