Provably Safe Operating System (Talisman 4)ong>

By Anders Sandberg, for the Mathemagicians faction.

Dr Hill has managed to construct, together with the NWO, an operating system which is totally safe. It is mathematically proven (and verified) that this system *cannot* be broken from the outside; it is a mathematical impossibility. The NWO uses it as a defence against the Virtual Adepts, despite its drawbacks. It is very slow and unwieldy, and writing applications for it taxes the skills of the best programmers in the Technocracy. But safety before economics, as the NWO says.

[ The operating system is based upon a complex web of interlocking codes, consistency checks and an ingenious use of zero-knowledge proofs. The only way to crack it is either by subverting its system operator or by using vulgar magick. The NWO has linked it to a paradox detectors. ]