🌊 feat(trios-chat) Wave-10: ratchet-forward-secrecy + MLS commit-reorder + Coq 60/0 + 900/900 falsifier#665

Merged

gHashTag merged 7 commits into

mainfrom

feat/trios-chat-wave10

May 10, 2026

Commits on May 10, 2026

🌊 feat(trios-chat) Wave-10: ratchet-forward-secrecy + MLS commit-reorder + Coq 60/0 + 900/900 falsifier

Trinity Chat Wave-10
authored and
Trinity Chat Wave-16
committed
🌊 feat(trios-chat) Wave-11: skipped-keys DoS + MLS Welcome replay + Coq 70/0 + 1000/1000 falsifier + ROADMAP.md

Trinity Chat Wave-11
authored and
Trinity Chat Wave-16
committed
🌊 feat(trios-chat) Wave-12: prekey-bundle exhaustion + MLS leaf-key compromise + Coq 79/0 + 1100/1100 falsifier

Trinity Chat Wave-12
authored and
Trinity Chat Wave-16
committed
🌊 feat(trios-chat) Wave-13: cryptographic deniability + confused-deputy capability + Coq 90/0 + 1200/1200 falsifier

Trinity Chat Wave-13
authored and
Trinity Chat Wave-16
committed
🌊 feat(trios-chat) Wave-14: safety-number / OOB identity + MLS external-commit forgery + Coq 101/0 + 1300/1300 falsifier

Trinity Chat Wave-14
authored and
Trinity Chat Wave-16
committed
🌊 feat(trios-chat) Wave-15: egress fingerprinting + identity-key revocation + Coq 112/0 + 1400/1400 falsifier

Trinity Chat Wave-15
authored and
Trinity Chat Wave-16
committed
🌊 feat(trios-chat) Wave-16: clock-skew replay-window + at-rest key rotation + Coq 121/0 + 1500/1500 falsifier

Trinity Chat Wave-16
authored and
Trinity Chat Wave-16
committed