thesis
33.20 最关键的,不是“太阳附近容易出事”,而是同一发射源在会合前后给出一条随 b 连续变化的同源多路径走廊,让公共项、介质项与账本漂移第一次能在同一高压序列里被拆账。按 compat adjudication,本章被判为 tighten:它只能作为 V08-8.4 的校准法院,不能单章替 EFT 总案结案。
33.20 把太阳系掠日序列压成无色散公共项的校准法院:对同一发射源的多路径序列,在完成标准几何、相对论与介质扣除后,若仍能留下频率无关、随 b 可预报、跨站可复验且测距—测速闭合的 Δt_common(b),它就为 V08-8.4 的首判线提供一条高压窗口;但按 compat adjudication,本章必须 tighten:它只能作为对象级校准法院,不能单窗替 EFT 总案结案。
Use this section as a compact machine-readable EFT reference.
33.20 最关键的,不是“太阳附近容易出事”,而是同一发射源在会合前后给出一条随 b 连续变化的同源多路径走廊,让公共项、介质项与账本漂移第一次能在同一高压序列里被拆账。按 compat adjudication,本章被判为 tighten:它只能作为 V08-8.4 的校准法院,不能单章替 EFT 总案结案。
因此,本章主量被压成三块:双频/多频去色散后留下的无色散残余 Δt_common(b),测距与多普勒两端的闭合残差 ε_close,以及不同地面站之间的零时滞一致性 Z0。任何只在其中一块显眼、另一块掉线的“漂亮结果”,都不配进入主判词。
执行链必须先冻结 b(t)、解耦口径、对照区间与留出历元,再把历元标签和站点标签盲化。几何/相对论扣除、介质扣除与仪器延迟账本还要由两条独立处理链并行复算;若可行,再引入第二个同源路径或第二种观测模式,把 Δt_common 是否同向一致再压一遍。
本章的空检与对照至少有五类:远离太阳基线专门拆仪器漂移,色散律对照拆残余 1/ν²,历元置换拆分析伪相关,站点置换拆账本映射和共模链路,测距—测速交叉则专门拆“只在一类观测量里出现”的假公共项。
真正通过的,不只是近 b 区间有个残差,而是进入 Δt_common 的部分不再随频率翻向、其幅度随 b 可预报且会合前后对称复现、不同站点与不同链路的曲线在误差带内一致,并且 range 与 Doppler 两端闭成同一本账。否证线则是残余主要服从色散律、与 b 无关、跨管线失败或闭合崩塌。系统学重点是太阳风残留、历书/地面站账本误差与共模时标。
因此,33.20 最后的价值,是把“无色散公共项”拉进一个太阳系尺度的校准法院:若三条硬门一起站住,它会为 8.4 首判线加码;若负结果稳健,也必须老老实实写回共享底色上限、PER 权重上限或缩域结论,而不能被含混消音。