行业情报
最新文章
关于基础设施运营商、政策决策、市场动向与数字权力转移的最新情报。
互联网历史
没有统一的树，仍可读懂同一行状态：RFC 2102
RFC 2102 没有替 Nimrod 选定唯一的组播算法。它选择标准化更靠近执行的一层：无论分支由谁算出、由谁请求，路由器都必须以共同语义理解已经安装的复制关系。
互联网历史
链路已经开放，每个名称仍要单独获准：RFC 2097
PPP 可以把远端机器带到 NetBIOS Frames 网络的边缘，但 RFC 2097 没有把链路建立等同于可达。NBFCP 要求双方明确协商：哪些十六字节名称会被投射到对端网络、哪些名称失败、对端属于哪类实现、组播怎样限速与排序，以及每个 NBF 数据报是否必须携带十二字节 MAC 头。
互联网历史
Frances E. Allen 让编译器学会证明，也学会止步
定义可能到达哪条指令、一个值是否仍然活跃、某次移动会不会改变既定语义——Frances E. Allen 把这些问题变成系统分析。她留下的不是“优化后必然正确”的通行证，而是一套说明证明边界的语言。
互联网历史
计数值通过了一个接收者的窗口，却没有说出发送者是谁：RFC 2085
RFC 2085 在 HMAC-MD5 Authentication Header 中放入可选的 64 位重放计数器，但是否存在由 Security Association 决定。接收者可以在自己的乱序窗口内接纳从未出现的旧序号，并拒绝重复值。这是一个 SA 内的新鲜度证据，不是发送者身份；多个多播发送者共享同一 SA 时，这条界线尤其清楚。
互联网历史
Jean E. Sammet 让代数可执行，FORMAC 却没有替数学作证
FORMAC 能先对代数式求导、展开、替换和化简，再把结果交给普通 FORTRAN 链编译运行。把每次交接的证据边界说清楚，不会削弱这项成就，反而能看见它真正改变了什么。
互联网历史
第四个字母决定编辑器能留下什么：RFC 2083
一张 PNG 在重绘全部像素后仍可正常显示，文件里却可能保留一段编辑器完全不懂的旧元数据。RFC 2083 没有把这段数据认证为真；它把一个更窄、更可执行的问题写进四个类型字节的大小写：解码器遇到未知 chunk 能否继续，编辑器改变图像后能否把它复制到输出。
报道
RIPE NCC保留了失效委派检查，却停止了告警邮件
2009 年，RIPE NCC 把常被误认为同一件事的两项工作拆开了：周期性的 DNS 失效委派检查继续进行，由检查结果触发的大批量告警邮件则被停止。这段历史真正有价值的地方，不是证明“发邮件无用”，而是迫使基础设施治理者分别回答五个问题：发现了什么、消息是否送达、谁愿意处理、修复是否完成，以及用户结果是否真的改善。
互联网历史
名录存了两条链接，却不知道它们各自意味着什么：RFC 2079
同一个名录条目可以列出两条看似可信的链接：一条标着“正式记录”，另一条写着“当前服务”。RFC 2079 让系统能够保存两者，也能准确拆出 URI 和人类可读标签；但它不能判断这是两个相关资源、同一资源的两个位置、过期页面，还是用友好文字包装的误导。格式解决了附着与解析，关系仍需另行举证。
互联网历史
LAP6 让源码可见可改，却没有替程序证明正确
Mary Allen Wilkes 把只有 2048 个 12 位字的 LINC 变成了可对话的开发环境：稿本能滚动、编辑、归档、汇编并装入内存。LAP6 的价值不仅是把这些动作连在一起，也在于每一步仍回答不同的问题。
互联网历史
字段出现了，管辖权没有随之而来：RFC 2076 的边界图
解析器看到 `Apparently-To`，只能证明这一行存在。它不能据此证明该字段是通用邮件标准、能够安全公开，或足以命令接收端采取动作。1997 年的 RFC 2076 把这种差别留在目录里：字段名旁边必须同时看协议、状态、出处与限制。
互联网历史
一个主图，多重实例：Sketchpad 的共享定义边界
Ivan Sutherland 在 1963 年展示的，不只是如何用光笔画图。Sketchpad 还把“同一项定义被多处使用”做成了可见的数据关系：主图发生变化，依赖它的实例随之更新；但每个实例仍有自己的位置、尺寸和旋转，图形一致也不等于实物正确。
互联网历史
Lynn Conway 的 λ 规则：让版图可迁移，不让芯片自动正确
把微米改写为一个名叫 λ 的基本单位，看似只是换了一把尺子。真正改变的是设计者与制造工艺之间的接口：版图可以携带比例关系跨过工艺边界，但一次规则检查通过，仍然不能替代电气、时序、良率和实物测试。
互联网历史
Dorothy Denning：格模型允许流动，不等于现实安全
一个安全格可以证明：在既定标签和流动规则下，某条被建模的依赖关系是获准的。它不能顺带证明标签无误、实现可靠，或系统不存在隐蔽信道。Dorothy E. Denning 的早期工作之所以仍然重要，正在于它同时划清了证明的力量与边界。
互联网历史
Nancy Lynch 与那条可以永远不作决定的执行路径
FLP 并没有宣判分布式系统无法达成一致。它划出的是一条精确边界：当模型完全异步、算法确定、消息可靠却没有时延上界，并且允许一个进程崩溃时，不存在对所有合法执行都有效的终止保证。
报道
LACNIC 的 WHOIS 显示了源 ASN，却没有带出授权边界
LACNIC 的 WHOIS 显示了源 ASN，却没有带出授权边界 的情报摘要说明事态进展、可核验的公开证据、相关组织、区域背景、市场风险敞口，以及可能带来的基础设施影响。报道情报 语境将这一信号与网络运营、服务商策略、治理决策、资本流动、客户依赖、监管压力、合作关系动向、韧性规划、采购风险和服务连续性联系起来。
IETF
RFC 9806 修正了标签，却没有证明部署
SIPREC 录音元数据现在有了明确的媒体类型：application/rs-metadata+xml。这个结论由两份 2016 年 RFC、一条勘误、后续 Standards Track 更新和 IANA 登记共同构成。但文档链条闭合，不等于客户端、服务器和归档系统已经完成迁移。
互联网历史
Leslie Lamport：时间戳不能证明的先后
Lamport 时间戳可以保持进程与消息之间已知的因果路径，却不能把每个较小数字都变成原因、把不可比较事件变成物理同时，也不能把一种方便的全序包装成唯一真实历史。
报道
ARIN 的合法 RPSL 仍在镜像端产生了残缺答案
ARIN 的合法 RPSL 仍在镜像端产生了残缺答案 的情报摘要说明事态进展、可核验的公开证据、相关组织、区域背景、市场风险敞口，以及可能带来的基础设施影响。报道情报 语境将这一信号与网络运营、服务商策略、治理决策、资本流动、客户依赖、监管压力、合作关系动向、韧性规划、采购风险和服务连续性联系起来。
IETF
一张名片通过了两个配置文件，协议仍有问题要回答：RFC 10050
RFC 10050 为 JSContact 的受限用法赋予可追溯的名称与版本，却刻意不把“符合配置文件”包装成通行证。名片可以同时落在多个子集里；究竟采用哪个子集、怎样声明，以及协议还有哪些更严格的条件，仍由承载它的协议负责。
互联网历史
Jim Gray 与两阶段提交中不能决定结果的那张赞成票
在两阶段提交中，参与者把 prepare 记录持久化后投下赞成票，只证明自己能够服从最终的提交或中止决定。它尚未提交；协调者失联，也不赋予它猜测结果的权力。