Security & Verification

Formal verification, logic attestation, context-injection defense, communication privacy, overlay discovery, and formal risk-signal proofs.