对一组数值做 fork-join 并行 流式统计 归约：把输入切成 K 个连续段，每段并行（这里是确定性单线程模拟）算 (n, mean, M2)，再用 Welford / Pébay 2008 闭式合并 两两 fold 直到只剩一个三元组。M2 是该段相对 *自己均值* 的平方差之和，最终样本方差 = M2 / (n - 1)。请实现 solution(values: list[float], n_segments: int) -> dict，返回 {n, mean, variance, per_segment_stats}。