Primitives
Invariants
Concept
Invariants are non-negotiable truths that remain valid across prompts, models, and runtime contexts.
Formal Idea
forall t: invariant(x_t, y_t) = true
System Implications
- Safety constraints stay stable despite stochastic generation.
- Failure boundaries are explicit and auditable.
- System behavior becomes predictable under drift.
Real Example
Ensuring high-risk automation actions can only execute when required preconditions and postconditions both hold.