三流容差同步三元组计数

三条独立的参考序列 ts_a、ts_b、ts_c 在略有漂移的采样时钟下并行采样；一份 SLO 看板要的是完全同步的下标三元组数——(i, j, k) 三个采样时间戳同时落在宽度 tolerance 的同一窗口内。请实现 solution(ts_a: list[int], ts_b: list[int], ts_c: list[int], tolerance: int) -> int，返回满足 max(ts_a[i], ts_b[j], ts_c[k]) - min(ts_a[i], ts_b[j], ts_c[k]) <= tolerance 的有序三元组 (i, j, k) 个数（其中 i ∈ 0..N-1, j ∈ 0..M-1, k ∈ 0..K-1）。

ts_a、ts_b、ts_c 都是严格升序的毫秒级整数时间戳数组。三元约束 max - min <= tolerance 等价于三对两两绝对差均 <= tolerance 同时成立——只查 |ts_a - ts_b| 与 |ts_b - ts_c| 是不够的，因为外侧对 |ts_a - ts_c| 仍可越界（例如 (0, tolerance, 2*tolerance)）。

边界情形：

• len(ts_a) == 0 时返回 0。
• len(ts_b) == 0 时返回 0。
• len(ts_c) == 0 时返回 0。
• tolerance == 0 要求 ts_a[i] == ts_b[j] == ts_c[k]；同一份窗口加二分代码仍然成立，因为窗口塌缩为单点。

例如：

ts_a      = [3, 8, 17, 26, 41]
ts_b      = [4, 9, 19, 27, 60]
ts_c      = [5, 7, 18, 28, 80]
tolerance = 2

solution(ts_a, ts_b, ts_c, tolerance) 返回 4。三元组 (3, 4, 5) 命中，max-min = 5-3 = 2；(8, 9, 7) 命中，max-min = 9-7 = 2；(17, 19, 18) 命中，max-min = 19-17 = 2；(26, 27, 28) 命中，max-min = 28-26 = 2。下标 i=4（ts_a=41）、j=4（ts_b=60）、k=4（ts_c=80）这三个值与其他流值都不在同一窗口内，所以这三个数没有参与任何入窗三元组。

实践背景

三流同步三元组计数把两两 lockstep 检查推广到三路冗余。一组三条独立采样轨——例如主时钟、独立部署的镜像采样器、跨链路复制通道——「三路同时入窗」的三元组数正是抓取那种「两两看着没事、第三路相对前两路已经漂掉」非对称漂移模式的 SLO 指标。从数学上，三元约束的入窗计数与两两版本不一样：(0, tol, 2*tol) 在内两对上入窗、但在三元约束下出窗，所以塌缩为「两次两两检查」会把每个漂掉的三元组都多算一次。本题用的窗口加二分写法在 O(N*M*log K) 最坏代价下精确给出入窗三元组个数。