🌊 Wave-7 sub-tracker: BR-IO-CHAT-07 async wire-emitter + persistence at-rest falsifiers + Coq 35/0 + 600/600 falsifier

[gHashTag]

🌊 Wave-7 sub-tracker

Closeable from the Wave-7 PR via Closes #THIS.

Anchor

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

Lanes for this wave

L-CHAT-5 — Persistence at-rest encryption falsifiers

• +5 falsifier tests in CR-CHAT-05 / BR-IO-CHAT-05 covering: column-level plaintext, ciphertext-without-AAD, ciphertext-without-nonce, key-rotation-loss, stale-key-reuse
• +50 corpus entries category: `persistence_at_rest`

L-CHAT-7-async — BR-IO-CHAT-07 async wire-emitter

• New Bronze ring BR-IO-CHAT-07 (twin of `CR-CHAT-07` which provides timing logic)
• Deterministic test harness over `tokio::time::pause/advance` — verify that emitted real+cover events match the canonical 4-bin gap quantiser
• 4–5 async tests against a deterministic tick driver
• +50 corpus entries category: `cover_traffic_correlation` (attempts to extract real-vs-cover signal from emission ordering)

Coq Wave-7

• +6 theorems → 35 Qed / 0 Admitted
• Targets:
  • `persisted_envelope_no_plaintext`
  • `persisted_envelope_aad_required`
  • `persisted_key_rotation_advances`
  • `cover_emission_indistinguishable_at_quantile`
  • `uniform_gap_within_canonical_set`
  • `real_emission_subset_of_emission`

Falsifier

• 500 → 600 / 600
• 10 → 12 categories (add `persistence_at_rest`, `cover_traffic_correlation`)
• Threshold: ≥95 % all except `indirect` ≥ 90 %

Refs

Refs #632 · Refs #636 · Refs #639 · Refs #643 · Refs trinity-fpga#28 · Refs trinity-fpga#37