B̅orange氏の引用している文章を全部読んでないので，「一貫性」の定義が曖昧な状況だけど，それこそこの間おるみん氏が話してくれていたseL4みたいな形式証明付きのOSだと，少なくとも堅牢性・信頼性という面では「一貫して正当」といえるかもしれない。UI/UXはしらんが。
hisso.li is a social network. It runs on GNU social, version 2.0.0-alpha0, available under the GNU Affero General Public License.
All hisso.li content and data are available under the Creative Commons Attribution 3.0 license.