Invariant
Constraint Layer
Formal invariant definitions & violation state
1 Active Violation
rule
Total Constraints
4
Across all subsystems
error
Active Violations
1
Requires immediate attention
verified
Satisfied
3
All conditions met
bar_chart
Avg Severity
0.72
Weighted across all constraints
Constraint Registry
4 entries
Temperature Limit
NUMERIC_RANGE
battery_temp < 80°C
VIOLATED
Severity
0.94
Launch Gate
STATUS_DEPENDENCY
status=READY requires all_tests_passed=true
SATISFIED
Severity
0.00
Test Exclusion
MUTUAL_EXCLUSION
test_status cannot be both PASS and FAIL
SATISFIED
Severity
0.00
Power Budget
NUMERIC_RANGE
power_draw ≤ 120W
SATISFIED
Severity
0.00
report
Active Violation Detail
1 violation
thermostat
Temperature Limit — VIOLATED
Battery Pack BP-1
Predicate
battery_temp
Current Value
95°C
Max Allowed
80°C
Excess
+15°C
Severity Score
0.94
94% of critical threshold
Downstream Impact
launch
BLOCKED
Launch Readiness Review
Blocked — thermal constraint unsatisfied
task
DEGRADED
Task TK-19
Degraded — dependency on BP-1 state
Constraint Expression
battery_temp < 80°C
→ 95°C < 80°C = FALSE
1 Constraint Violated
Engine: Invariant Core v2.4.0
Last Sweep: 14:20:07 UTC
© 2026 Invariant