#数据处理

当「实时」数据其实是仿真：把公交位置写成 f(线路, 秒)

手上只有静态快照——线路折线、站点表和班次时刻表，没有任何 GPS 流。于是「车在哪」被定义成一个确定性纯函数。这换来了任意时刻回放与可测试性，代价是画面每天长得一样。