合并 K 条交易所成交磁带

跨场所执行的回放、TCA（交易成本分析）的统一原始磁带、夜里的合规归档——这些下游消费者拿到的是一条按全局时间升序排好的成交流，每一笔都打上来源场所标签。但上游推过来的是 K 条独立的磁带：tapes[0] 来自场所 VEN-A，tapes[1] 来自场所 VEN-B，tapes[2] 来自场所 VEN-C，等等。每条磁带各自已经按时间升序——它们就是从各场所行情链路上按序解析出来的——你的工作是把这 K 条按时间归并成一条。

朴素地 concat 所有磁带再 sort 是 O(N log N)，但既慢又把“输入已分别有序”这个结构信息整个丢掉了。把两条做归并合并是 O(n + m)；推广到 K 条，标准答案是最小堆：把每条磁带的“当前队首”入堆，每次弹出时间戳最小的那一条写到输出、再把对应磁带的下一条压进堆。整体 O(N log K)。这正是“K 路归并”的经典形态，也是这题被放进堆/Top-K 簇的原因。

请实现 solution(tapes: list[list], venues: list[str]) -> list。tapes 是 K 条按 timestamp 升序排好的成交磁带，每条记录形如 [timestamp, price, qty]；venues 是与 tapes 一一对应的场所标签列表（venues[i] 是 tapes[i] 的场所）。返回一条合并后的列表，每个元素形如 [timestamp, price, qty, venue]——也就是在原三元组末尾追加场所字段。整体按 timestamp 升序；**当多条磁带的队首时间戳完全相同时，输出顺序按 venues 列表中较小的索引优先**（即如果 venues=["VEN-A", "VEN-B", "VEN-C"]，三个磁带 t=2.0 都打印同一笔，则 VEN-A 那一条先输出，再 VEN-B，再 VEN-C）；同一磁带内部并列时间戳之间的相对顺序按原磁带顺序保留。空磁带 [] 允许出现，跳过即可。

例如 solution([[[1.0, 100.5, 200], [4.0, 100.9, 80]], [[2.0, 100.6, 50], [4.0, 101.0, 60]], [[3.0, 100.7, 150], [4.0, 101.1, 40]]], ["VEN-A", "VEN-B", "VEN-C"]) 应返回 [[1.0, 100.5, 200, "VEN-A"], [2.0, 100.6, 50, "VEN-B"], [3.0, 100.7, 150, "VEN-C"], [4.0, 100.9, 80, "VEN-A"], [4.0, 101.0, 60, "VEN-B"], [4.0, 101.1, 40, "VEN-C"]]。注意 t=4.0 同时出现在三条磁带，输出按 venues 列表顺序 VEN-A → VEN-B → VEN-C——这一确定性约定让下游对"同时刻多场所成交"的回放结果是 reproducible 的。

总记录数最多 20 万、K 最多 100，O(N log K) 的最小堆归并是这里的标准答案。