摘要

  • RFC 9569 把 ALTO 的全量快照和增量变化组织成有向无环更新图；连续性、起点快照和只向右移动的保留区间，使服务端声明的版本历史可被重建。
  • 这张图证明的是“某个状态如何由另一个状态算出”，不是“该状态是否仍对应现实”。数据源是否新鲜、依赖是否一致应用、应用是否采用建议、流量是否改善，都需要自己的回执。

序列号已经从 101 连续走到 106。对运营者而言，这很容易被读成“网络信息已经更新到最新”。但序列连续只说明服务端没有在自己公布的区间里漏掉版本；它没有说明 106 号版本所依据的路由、策略或外部观测发生在什么时候。

RFC 9569 的价值，恰恰在于把这一段有限事实做得很扎实。RFC Editor 条目、IETF Datatracker、文档历史与勘误检索确认了标准的身份和状态，却不构成任何部署、测量或优化结果的证据。

把变化变成可以点名的资源

RFC 7285 的 ALTO 基础协议让应用取得网络图、成本图等网络信息资源。RFC 8895用 Server-Sent Events 推送增量。TIPS 采用另一种权衡：快照和每一段增量都有自己的 HTTP 地址，客户端可以主动拉取，也可以并发、乱序传输。它能利用 HTTP/2 或 HTTP/3，也继续兼容 HTTP/1.1。

一个 TIPS view 对应一项被监视的 ALTO 资源，其中的更新图是一张有向无环图。节点是服务端声明的历史版本，边是从版本 i 计算到版本 j 的更新项。由 0 出发的边是全量快照；其他边可以承载 JSON Patch 或 JSON Merge Patch。相邻版本的增量边必须存在，跨版本捷径则可选。无论走快照、逐步增量还是捷径，到达同一节点的内容都必须相同。

这是传输一致性，不是传感器真实性。更新图出现以前，服务端已经把路由协议、配置策略、动态网络信息和外部接口转换成 ALTO 资源。如果输入陈旧，图仍然可以精确、连续、无歧义地重建一个陈旧世界。

三条不变量保护了什么

连续性要求 start-seq 与 end-seq 之间的每个整数版本和相邻边都存在。可达性要求当前起点必须有一份全量快照。只向右移动意味着服务端做图压缩时，保留区间的两端只能前进，不能后退。

这三条规则确保客户端总能从某个可用起点走到当前终点。它们没有记录上游观测时间，也没有证明计算输入完整，更没有拿真实网络来核对节点内容。“路径无关”只保证不同计算路径在图内汇合到相同结果。

图压缩会把边界直接暴露出来。请求早于当前起点的边，客户端可能收到 410 Gone，随后要依据自己的 tag 请求新的下一条边建议。视图不存在或已经关闭时可能是 404 Not Found；请求过远的未来序列可能是 425 Too Early。这些状态码能解释传输发生了什么，却不能说明客户端仍持有的网络判断是否安全。

“推荐边”也不是“推荐路由”。服务端可以按消息数量、累计字节数或其他实现成本选择更新路径。它只是在回答怎样更省地穿过更新图，而不是业务流量应当走哪条链路。

并发把一致性责任交给客户端

并发和乱序取回能提高吞吐，却不会自动维护跨资源依赖。某个成本图可能只与特定版本的网络图匹配；两份数据都下载成功，并不证明客户端组合了正确的一对。RFC 9569 要求客户端按照依赖关系处理；缓冲能力不足时，建议退回全量快照。

服务端基础设施还有自己的断点。如果 TIPS view 只保存在一台有状态后端，而四层负载均衡把后续请求送到另一台机器，请求可能被错误处理。规范因此讨论共享状态，或者按 view 路径做七层分流。单条边返回 200 OK，不能证明整张图始终由同一个一致状态源提供。

规范对“存活”也非常克制。早期草案曾想用持久 HTTP 连接判断客户端是否在线，最终文本放弃了这一做法：代理会把客户端—代理和代理—服务端拆成两条连接，服务端看到的连接状态未必代表真正的客户端。RFC 9205给出基于 HTTP 构建协议的约束，RFC 9113定义 TIPS 可以利用的 HTTP/2 多路复用；二者都不会把传输存活自动升级为应用存活。

IANA ALTO 注册表登记了 TIPS 媒体类型。这能证明协议协作完成，不能证明某个网络已经部署或从中获益。

若要声称“优化已经发生”，证据链至少应包括：带时间戳的上游观测、ALTO 资源计算与版本 tag、TIPS view 及边内容哈希、客户端基准版本与补丁结果、跨资源依赖、应用是否查询并采用结果、实际动作、实际流量路径，以及相对明确基线的性能变化。少一段，就只能说版本被传输了，不能说现实被改善了。

Heng Lu 关于现实分层的文章提醒我们不要让图内一致性吞掉测量真实性。Running-Code Primacy把权威交还给可观察的运行行为。为什么 BTW Media 存在给出了编辑纪律：先准确陈述 TIPS 真正证明的迁移，再把通往“优化”的缺失回执逐一列出。

来源