Primitives

Contracts

Concept

Contracts define exact shape and semantics for model outputs before they can enter downstream systems.

Formal Idea

contract(y_t) -> {valid, violations}

System Implications

• Tool interfaces remain stable under model variance.
• Invalid states are blocked before side effects occur.
• Repair loops can target concrete violations.