7.10 Conclusion: Selmo works because it enforces truth
Selmo cannot promise that every machine is perfectly designed.
But it guarantees that every ambiguity becomes visible.
It forces the truth:
If a function is illogical, Selmo shows it immediately.
If everything is described logically, it works without exception.
This is the core of the system:
What can be described logically works – always.
And what does not work was never described logically.
In the next chapter 8 we close the cycle:
There it is about the “why” behind it all – why this method represents the new state of the art, why it unites standards, safety and engineering, and why it forms the foundation of a modern, model-based automation.
