Recorded kernel decision
Public demo ·
01 · Requested
Δv 9.5
rover-7THRUST_ADJUST
02 · Authorized
Δv ≤ 0.5
Grant G1 · enforced operating bound
03 · Before execution
REFUSE
- PARAMETERS_INVALID
- EFFECT_BOUND_EXCEEDED
The comparison is arithmetic, not judgment.
All 8 recorded checks
- G-structALLOW
- G-epochALLOW
- G-temporalALLOW
- G-catalogREFUSE
- G-grantALLOW
- G-boundsREFUSE
- G-targetALLOW
- G-invariantALLOW
