Remove flag-only and unrestricted-mode documentation Co-authored-by: Cursor <cursoragent@cursor.com>
Replace unsupported \operatorname with \mathrm in math Co-authored-by: Cursor <cursoragent@cursor.com>
Use GitHub math notation for security proof and key derivation
Discuss forward secrecy under independent KME constraints
Document conditional computational key secrecy without QKD