Restore CapabilityProfile prohibition to TUI-R2 routing

The debloat (0ea205c) cut the only mentions of the testkit-envelope
prohibition: removed lines carried "never a runner row, never a
CapabilityProfile variant (testkit/transcript.rs:127-142)" while the
surviving routing sentence governed only the runtime surface (width.rs
branching, emitted escapes). The named contract is distinct from the
"never a per-terminal special case" clause and had no surviving
carrier; docs mentions elsewhere are descriptive schema rows.

Folded into the section 1 routing sentence as the single carrier.

Gate: bun test scripts 915/915 serial (one unrelated PTY-smoke flake
observed once, not reproducing in two clean serial runs).

Author: metaphorics

docs/TUI-R2-terminal-width-table-divergence.md

@@ -10,7 +10,7 @@ External evidence resolved: 2026-08-26 (terminal versions from each project's re
 
 ## 1. Decision
 
-The width contract in `crates/pi-tui/src/text/width.rs` stays **terminal-agnostic**: it is the single width oracle for rails, table borders, truncation, and cursor accounting, and it is not branched per terminal. Of the six parity-gate terminals (kitty, iTerm2, WezTerm, Terminal.app, Windows Terminal, alacritty), only kitty matches the contract on all four axes; iTerm2, WezTerm, alacritty, and Windows Terminal diverge on the emoji axis (ledger D-1..D-6), and Terminal.app is provisional on every axis pending the darwin spot-check. Every divergence becomes a **documented parity-gated terminal list entry plus a TUI-P5 limitations-table row** — never a per-terminal special case, and never a runtime escape-sequence patch: pi must not emit `OSC 1337 ; UnicodeVersion=N` (or any other per-terminal mode escape) to coerce a host width table.
+The width contract in `crates/pi-tui/src/text/width.rs` stays **terminal-agnostic**: it is the single width oracle for rails, table borders, truncation, and cursor accounting, and it is not branched per terminal. Of the six parity-gate terminals (kitty, iTerm2, WezTerm, Terminal.app, Windows Terminal, alacritty), only kitty matches the contract on all four axes; iTerm2, WezTerm, alacritty, and Windows Terminal diverge on the emoji axis (ledger D-1..D-6), and Terminal.app is provisional on every axis pending the darwin spot-check. Every divergence becomes a **documented parity-gated terminal list entry plus a TUI-P5 limitations-table row** — never a per-terminal special case, and never a runtime escape-sequence patch: pi must not emit `OSC 1337 ; UnicodeVersion=N` (or any other per-terminal mode escape) to coerce a host width table. Divergence handling stays inside the documentation envelope: never a transcript runner row, and never a `CapabilityProfile` variant (`crates/pi-tui/src/testkit/transcript.rs:127-142`).
 
 ## 2. The width.rs contract under survey