The final state recovers green, so final-state CI can miss the unsafe transition.
FINAL GREEN ≠ SAFE JOURNEY
The final state recovers green, so final-state CI can miss the unsafe transition.
Independent oracle VALID · learned from execution, not declared input.
MF-21 tests safety decisions. MF-22 tests search efficiency.
UNKNOWN is separate from SAFE.