Guarantees#

Documented guarantees, explicit non-claims, and verification boundaries.

• Threat model — the boundaries of what ANNIE protects against.

More pages are being written. Check back as content lands.