🌊 Wave-6 sub-tracker: sealed-sender unlinkability + traffic-analysis + CR-CHAT-07 + Coq 27/0 + 500 falsifier

[gHashTag]

Sub-tracker for Trinity Secure Chat Wave-6. Will be closed by the Wave-6 PR.

Lanes

• L-CHAT-4 sealed-sender unlinkability: 5 mutation falsifiers in CR-CHAT-01 (envelope-level sender field, dest_hash collision, padding-class leak, timing-correlation, ack-back tracking)
• L-CHAT-7 padding-class traffic-analysis: 5 mutation falsifiers in CR-CHAT-04
• CR-CHAT-07 new anti-correlation ring: decoy/cover-traffic skeleton + 4 tests [ASPIRATIONAL] for mesh integration
• L-CHAT-9 Coq +6 theorems: `sealed_sender_unlinkable`, `padding_class_size_bounded`, `triple_ratchet_no_replay_with_window`, `mls_remove_terminal`, `kem_ct_size_invariant`, `signed_tool_manifest_total` → 27 Qed / 0 Admitted
• L-CHAT-10 falsifier 400 → 500: +50 sender_unlinkability + +50 traffic_analysis attacks

Acceptance gates

• G-C4 sealed-sender ≥ 95 % falsifier block rate
• G-C7 anti-metadata ≥ 95 % traffic-analysis block rate
• G-C9 Coq: 27 Qed / 0 Admitted
• G-C10 falsifier: 500/500 across 10 categories

Cross-links

• Parent EPIC: 💬 EPIC tracker: Trinity Secure Chat (mirror of trinity-fpga#28) #632
• Wave-3+4 PR: 💍 feat(trios-chat) Wave-3+4: ring architecture + Coq INV-CHAT-4 + 300/300 falsifier #636
• Wave-5 PR: 🌊 feat(trios-chat) Wave-5: PQ ML-KEM-768 hybrid + MLS state machine + Coq 21/0 + 400/400 falsifier #639
• Silicon: trinity-fpga#28, trinity-fpga#37

φ² + φ⁻² = 3 · TRINITY · CHAT · ZERO-METADATA · POST-QUANTUM · UNLINKABLE