WebSocket cleanup export propagations 最小骨架
这页先把 export syndication 后面的最小 propagation 语义收起来。
当前先把 syndicated → propagation → propagated 串起来，让 export syndication 后面开始有最小扩散传播完成闭环。
当前最小 syndication propagation 语义
先把扩散传播、完成和边界说清楚。
POST /api/coach/token-cleanup-audit-export-propagations：对 syndicated syndication 补最小 propagation
GET /api/coach/token-cleanup-audit-export-propagations：查看 propagation-opened / propagated records
action=mark-propagated：当前先补最小 propagation 完成动作
selectedPropagation：当前开始支持按 propagation_id 回看单条 propagation
propagated_by / propagation_scope / propagation_path_hint：当前开始带最小扩散传播完成语义
propagated propagation 当前已开始可继续接 broadcast-opened / broadcast 下一跳
这层只接 syndicated syndication，不假装成正式扩散网络、监管传播系统或法务披露扩展系统
执行边界
这层已经有最小 propagation，但仍不是正式扩散系统。
这层是最小 syndication propagation 骨架，不是正式扩散网络编号、监管传播系统或法务披露扩展系统。
先把 syndicated 后面的 propagation-opened / propagated 语义串起来，让 syndication 后面开始有最小扩散传播完成闭环。
后面如果继续推进，再补正式扩散网络、传播回执、最小 broadcast 和跨网络扩散留档。