一度、機能UPしない代わりに
バグや脆弱性が一切ない事を証明できるOSを作ればいい。
航空機の検査並みに、全ての関数の挙動を徹底的に検査すれば出来るはず。