Security

Corvid’s security model and stability contract.

Pages

• Security model — TCB, threat model, what’s defended, what’s not, how to verify.
• Security model overview — executive summary.
• Stability contract — SemVer rules + v1.0 surface stability + launch-claim discipline.

See also

• Reference: compile-time guarantees — the registry of properties the compiler enforces.
• Operations: receipts and signed builds — signing, verification, key rotation.