🌊 Wave-8 sub-tracker: partial-MLS bot lane + envelope-padding leak falsifiers + Coq 40/0 + 700/700 falsifier

[gHashTag]

🌊 Wave-8 sub-tracker

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

Anchor

```
φ² + φ⁻² = 3 · TRINITY · CHAT · ZERO-METADATA · POST-QUANTUM · UNLINKABLE · COVER-TIMING · AT-REST-AEAD · BOT-PARTIAL-MLS
```

Lanes for this wave

L-CHAT-3-bot — Partial-MLS bot-handshake falsifiers

• +6 falsifier tests in CR-CHAT-03 covering bot-join paths:
  PM-01 partial-bot-cannot-read-prior-history
  PM-02 partial-bot-cannot-impersonate-human
  PM-03 partial-bot-cannot-issue-Add
  PM-04 partial-bot-membership-bound
  PM-05 partial-bot-removal-terminal
  G-C3-bot green summary
• +50 corpus entries category: `partial_mls_bot`

L-CHAT-9 — Envelope-padding length-leak falsifiers

• +5 falsifier tests in CR-CHAT-04 (padding):
  EPL-01 strip-padding-rejected
  EPL-02 padding-class-monotone-on-grow
  EPL-03 zero-length-payload-still-padded
  EPL-04 padding-class-stable-across-keys
  EPL-05 truncation-detected
  G-C4-pad green summary
• +50 corpus entries category: `envelope_padding_leak`

Coq Wave-8

• +6 theorems → 40 Qed / 0 Admitted
• Targets:
  • bot_partial_no_history_read
  • bot_partial_cannot_add_member
  • bot_partial_membership_bound
  • padding_strip_invalid
  • padding_class_grow_monotone
  • padding_zero_payload_padded

Falsifier

• 600 → 700/700
• 12 → 14 categories (add partial_mls_bot, envelope_padding_leak)
• Threshold ≥95% all except indirect ≥90%

Refs

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