R07 DiffT, before 3d369d5596 -> after f6290eb6d3 (same driver; ENVIRONMENT/SHA lines excluded)
Seeded delivery order in every variant: C,W,S,V. Reorder 1 moves W before C; reorder 2 moves S before W.

Expected differences, all observed:
- R07-ordinary
  - Before: reorder 1 is rejected ("Queued messages cannot be reordered ahead of automatic completion delivery.") and reorder 2 succeeds, giving C,S,W,V with no markers.
  - After: both reorders succeed: S q1 true, W q2 true, C q3. Promoting S into the compaction keeps W true and leaves V's marker absent at q4.
  - The two t3_queue list outputs after the promote change from S,W,V (before) to W,C,V (after). In the after list, C is shown with its delegated-completion text.
  - Start order changes from C,S,W,V to S,W,C,V.
- R07-goal
  - Before: reorder 1 is rejected and reorder 2 succeeds, as in R07-ordinary.
  - After: both succeed. Promoting goal S clears S and W to false; C q3, V q4.
  - Start order stays C,S,W,V.
- R07-control: no reorders. The promote renumbers C to q2, W to q3 and V to q4, with markers absent. Start order stays C,S,W,V.
- All variants: MCP result and event/receipt sequence numbers shift with the extra run.updated events.

Unexpected differences: none.