A safety analysis of a model that differs from the real system

Code model_reality_gap. Severity: medium.

Guarded today by

Using these components can cause this failure, so a run that uses them needs one of the guards above.