合并两条成交磁带

做跨场所执行后的成交回放、或为 TCA（交易成本分析）准备一份统一的成交磁带时，常常要把两条来自不同场所的成交流合成一条全局按时间升序的磁带，并在每一笔上打上来源场所，方便下游按场所做归因。两条原始磁带通常各自已经是时间序的——它们就是从各自场所的行情链路上顺序解析出来的——但简单地把两条 concat 起来再 sort 既慢又掩盖了输入已经有序这个事实。

请实现 solution(tape_a: list, tape_b: list, venue_a: str, venue_b: str) -> list。tape_a 和 tape_b 是两条按时间升序排好的成交磁带，每条记录形如 [timestamp, price, qty]。venue_a 和 venue_b 是两个场所标签字符串。请把两条磁带合并成一条整体按 timestamp 升序排列的列表，列表中每个元素是 [timestamp, price, qty, venue]——也就是在原成交三元组末尾追加一个场所字段。**当某一刻 tape_a 队首和 tape_b 队首的时间戳完全相同时，输出顺序中 tape_a 的那一条排在前面**（稳定合并、A 优先）；同一磁带内部并列时间戳之间的相对顺序按原磁带顺序保留。

例如 solution([[1.0, 100.5, 200], [3.0, 100.7, 150]], [[2.0, 100.6, 50], [3.0, 100.8, 75]], "V1", "V2") 应返回 [[1.0, 100.5, 200, "V1"], [2.0, 100.6, 50, "V2"], [3.0, 100.7, 150, "V1"], [3.0, 100.8, 75, "V2"]]。可以看到 t=3.0 同时出现在两条磁带，tape_a 的那一条排前——这一约定让“同时刻”的输出是确定性的。

由于两条磁带各可达 20 万行，线性扫描的两指针合并是这里的标准答案：O(n + m) 时间、O(n + m) 输出。