💍 trios-chat Wave-3+4: ring decomposition + Coq INV-CHAT-4 + 300-falsifier

[gHashTag]

Sub-tracker for the Wave-3+4 ring decomposition of crates/trios-chat.

Refs #632 (EPIC) · Refs trinity-fpga#28 · Refs trinity-fpga#37

Scope (closeable by PR #636)

• CR-CHAT-00 wire-format primitives
• CR-CHAT-01 sealed + identity (Silver, 12 tests)
• CR-CHAT-02 ratchet (Silver, 9 tests)
• CR-CHAT-03 group MLS skeleton (7 tests)
• CR-CHAT-04 padding (7 tests)
• CR-CHAT-05 persist trait (Silver)
• CR-CHAT-06 capability + injection (11 tests, ~110 deny patterns)
• CR-CHAT-LAWS — 12 R-CHAT laws + SHA-256 commitment
• BR-OUTPUT-CHAT — Bronze re-export assembler
• BR-IO-CHAT-05 — SeaORM Postgres impl (mocked)
• Monolith → 30-line shim (trios_chat::* preserved)
• Coq Trinity_Chat.v: 12 Defined / 0 Admitted (INV-CHAT-4 promoted)
• Falsifier 300/300 blocked (added metadata_leak + replay categories)

Anchor: φ² + φ⁻² = 3 · TRINITY · CHAT · ZERO-METADATA