Formal Verification (Security Models) - OpenClaw — Blankdot