Documentation
Evaluate state.
Enforce constraints.
Refuse execution.
This documentation describes how INVAR evaluates, enforces, and refuses execution under defined operating constraints.
01
System Behaviour
How execution decisions are evaluated and gated.
02
Constraint Model
Definition and structure of enforced operating limits.
03
Execution Flow
Decision sequence from observation to refusal.
04
Failure Modes
Refusal vs error, degraded inputs, halting behaviour.
05
Scope and Non-Goals
Explicit exclusions and responsibility boundaries.