>>7"formally verified to be unjailbreakable"? You've no idea what formal verification is, or why it's good. Formal verification cannot make programs unjailbreakable or 100% hack-proof. It only enforces that the program code does what the programmer intended - eg. functions terminate, array writes are within bounds, and all email addresses contain exactly one @. Not like it can prevent a program from accepting a key you've bruteforced.
Formal verification is like putting a super-precise mini-factory capable of manufacturing car parts into everyone's garage - doesn't mean there will be any less car accidents, just that it will be easier to construct correctly working machinery.