These three standard mechanisms – PairCheck, MXIC and Monitoring – complement the basic operators S and I.
Together they create a system that operates without additional logic:
S provides control flow,
I provides safety,
M provides diagnostics,
PairCheck provides consistency,
MXIC provides safe manual operation.
Thus Selmo is not only an execution model but also a safety and diagnostics system.
All mechanisms are active automatically at runtime, regardless of whether the programmer thought of them.
