摘要

  • 截至 2026 年 9 月 11 日，IANA 的 LACNIC IPv6 页面使用 9 月 8 日发布的数据，显示可用空间为 978,428 个 /32、月均分配量为 57、必要空间为 513。后两项可以直接核对：57 乘以九个月正好等于 513。
  • 页面列出的 11,846 条 /33 至 /48 碎片，换算后恰好等于 210 个 /32。从 LACNIC 源文件中状态为 available 的精确数量 978,637.6130981445 扣除 210，得到 978,427.6130981445，四舍五入就是页面上的 978,428。
  • 然而，这些碎片中只有 7,514 条、合计 198.61309814453125 个 /32 的状态是 available；其余是 reserved、assigned 或 allocated。全球政策对“碎片空间”的定义，指向的是小于 RIR 最小分配规模的可用块。
  • 这种数字吻合提出了一个审计问题，并不证明 IANA 或 LACNIC 算错。更稳妥的做法，是为每次时钟更新发布带源文件哈希、状态筛选、三个月内到期预约和取整规则的资格计算凭据。

数字越精确，读者越容易把它当成事实本身。978,428 就是这样的数字。

在 IANA 的页面上，它与另外三个判断并排出现：LACNIC 的月均 IPv6 分配量是 57 个 /32，维持九个月需要 513 个 /32，当前 /12 仍剩 93%，所以状态是“不具备资格”。页面要回答的问题很具体：LACNIC 是否已经接近可以从 IANA 免费池再次获得大块 IPv6 地址的门槛。

需求侧的算法清楚得近乎朴素。全球政策规定，必要空间是月均分配量的九倍。57 × 9 = 513。读者既能看到输入，也能得到相同输出。

库存侧也能算出一个漂亮等式。LACNIC 的扩展委派统计文件把精确的 IPv6 available 数量记为 978,637.6130981445 个 /32。IANA 页面按照前缀长度列出 /33 到 /48 的 11,846 条碎片。把每条记录都换算成 /32 后，它们的面积正好是 210。于是：

978,637.6130981445 − 210 = 978,427.6130981445。

页面只显示整数，四舍五入后就是 978,428。这是很强的数字对应关系，却还不是完整的政策对账，因为 210 里面混合了四种状态。

关键不在碎片多小，而在它是什么状态

全球 IPv6 分配政策的公式包含三项：当前空闲地址，加上未来三个月内到期的预约，再减去碎片空间。政策随后把碎片空间定义为“小于 RIR 最小分配规模的可用地址块”。LACNIC 的 IPv6 分配政策把普通最小分配规模定为 /32。

这意味着一个前缀是否小于 /32 只是第一个条件。它还必须在政策意义上属于“可用”。

源文件提供了第二个维度。在 11,846 条小前缀中，7,514 条标为 available，合计 198.61309814453125 个 /32；2,874 条标为 reserved，合计 9.594024658203125；1,456 条标为 assigned，合计 1.7928466796875；另有两条 allocated，合计 0.000030517578125。

四组相加，严格等于 210。只计算 available 组，则是 198.613。如果从源文件的 available 总量中只扣这一组，结果恰好是 978,439，而不是 978,428。

这里大约 11 个 /32 的差异不等于地址丢失，更不代表政策违规。公开材料没有给出“未来三个月内到期预约”这一项的数值，也没有说明交换文件的状态词如何映射到内部资源登记系统。页面上的漂亮减法同样不能证明生产程序就是把所有小前缀无差别扣除。它只证明有一条可见的算术路径能够抵达公开结果。

真正缺少的是选择依据。哪些行被放进“当前空闲”，哪些预约进入三个月窗口，哪些小块同时满足“可用”和“小于最小分配规模”，这些决定都藏在最终数字之前。

算得出来，不等于审得过去

可复现性常被简化成“我也得到了同一个数字”。这还不够。同一个结果可能来自不同的输入集合，而政策授权的是其中某一个集合。

假如一张财务报表的总额能通过把屏幕上所有项目相加得到，但会计准则只允许其中某些状态进入当期，审计人员不会因为总数相等就停止。他会索要明细表，核对日期、科目和纳入规则。IPv6 地址不是货币，但这里的证据问题相同。

现有公开材料已经固定了两端。IANA 页面说明，它采用的是 LACNIC 在 2026 年 9 月 8 日发布的数据。扩展文件的头部记录同一日期，并说明共有 97,136 条记录。旁边的 MD5 文件可以验证下载副本是否与发布对象一致。这些信息回答了“哪一期数据”。

它们没有回答“从这期数据里选了什么”。页面没有列出当前空闲空间包含哪些记录，也没有给出三个月内到期预约的合计。碎片直方图只有长度和数量，没有状态，更没有每条记录进入政策公式的理由。源文件能保存小数 /32，页面却只给整数，取整发生在哪一步也没有说明。

因此，证据链的首尾都清楚：一端是有日期、可校验的资源文件，另一端是政策资格结论；中间的状态映射和行选择却没有公开凭据。

时钟需要一张计算凭据

补齐证据不需要把首页变成数据库界面。每次更新时额外生成一个机器可读的计算凭据就够了。

凭据的头部应包含 RIR、数据截点、全球政策版本、计算程序版本、运行标识和计量单位。它应指向精确的委派文件，并记录文件大小和现代加密哈希，而不是只留下会变化的网址。如果权威计算使用内部资源快照，也应记录该快照的模式版本和可供授权审计的承诺值。

正文可分成三本小账。第一本是当前空闲空间：记录纳入行数、精确 /32 合计、源状态分布和每类的纳入规则。第二本是三个月内到期预约：记录时间边界、数量、面积，以及如何避免与当前空闲空间重复。第三本是碎片空间：按前缀长度和源状态列出数量、换算值，并明确说明为什么这一类既属于可用，又小于最小分配规模。

对于已经公开的前缀，凭据可以直接列行或列出稳定标识。对于不宜公开的预约信息，没有必要披露成员名称、工单或网络计划。公开层可以给出按状态和到期区间聚合的数值以及哈希；授权审计者再验证受限明细。保密不是省略谱系的理由。

取整也应是一等字段。计算过程应尽可能保留精确分数，最后再说明是四舍五入、向下取整，还是在更早阶段做了变换。月均 57 的统计窗口也应明确。最终凭据把三项库存公式、九个月需求公式和资格判断放在同一个可校验对象中。

这样的文件不会很大。真正重要的是，它能让第三方重算公开部分，让具备权限的人核对非公开部分，并让未来的软件版本知道当时采用了哪一种解释。

前缀长度不能替代登记状态

碎片直方图擅长回答“这些块一共多大”。它不擅长回答“这些块在政策上能做什么”。

一条 /40 换算为 1/256 个 /32，无论它叫 available 还是 reserved，面积都不变。但状态所表达的登记和控制关系不同。先抹去状态、再对所有面积求和，能够得到几何总量，却未必得到政策公式需要的集合。

210 与 198.613 的差异说明了这一点。reserved 组贡献了 9.594 个 /32，是差距的大头；assigned 又贡献约 1.793。它们不是浮点误差，也不是无关紧要的尾数，而是带名字的资源类别。内部规则完全可能有正当理由重新分类，但理由应由计算方发布，而不应由读者猜测。

RIR 统计交换格式本身也提醒使用者：这是一种跨注册机构的公共数据格式，不是任何一家内部登记系统的完整复制。正因为如此，不能简单把导出状态当作所有政策概念的最终解释。反过来，也不能在不说明的情况下把几种导出状态揉成一个政策概念。两套词汇之间需要明示的映射表。

这不是地址枯竭故事

数字的量级给出了必要的克制。页面显示的可用空间接近 98 万个 /32，必要空间只有 513。即便把结果改成状态子集计算得到的 978,439，当前资格结论也不会改变。IANA 的 IPv6 单播分配登记表列出了与 LACNIC 相关的大前缀，包括 2001:1200::/23 和 2800::/12，但没有任何材料显示这里发生了供应危机。

现有来源也没有记录成员申请被拒、网络扩容被延误或某项资源因这 11 个 /32 受到影响。把问题写成“浪费了地址”会把审计改进误装成事故报道，也会超出证据。

恰恰因为门槛还很远，现在才是建立凭据的最好时间。等可用量真正接近必要量时，每一次状态变动都会更敏感。如果届时才开始追问多年前的预约如何处理、旧软件如何筛选，技术问题很容易变成机构争议。

在平静时期连续保存计算凭据，可以让未来的临界点变得乏味：每个变化都有输入、分类、版本和结果。对于互联网基础资源治理，乏味往往是成熟控制的最高评价。

对账同样保护 IANA 和 LACNIC

透明经常被描述成机构对外部质疑的让步。这里的计算凭据首先是机构自己的保险。

如果未来修正一条前缀记录，凭据可以指出是哪个公式项变化，资格日期是否受影响。如果全球政策改变了预约窗口或碎片定义，可以在同一历史快照上同时运行旧规则和新规则，清楚区分“资源变了”与“政策变了”。如果软件只调整展示而没有改变语义，核心输入和精确结果的哈希应保持稳定。

这种做法也减少了对个人记忆的依赖。几年后，字段名可能改变，程序可能迁移，负责人员也可能离开。没有当时的选择清单，后来者只能用当前系统猜旧结论。有凭据，关键解释在作出判断的那一刻就被固定。

责任边界也会更清晰。LACNIC 可以证明资源快照及其状态含义；IANA 可以证明全球政策如何选择和计算；独立观察者可以重算公开数值。没有任何一方必须公开所有内部细节，也没有任何一方需要替另一方背书整条链路。

数据究竟证明了什么

把证据边界写清楚，是这篇分析最重要的一步。

公开数据证明：源文件的 available 精确量是 978,637.6130981445；所有小于 /32 的可见碎片合计 210；两者相减并四舍五入等于页面数值 978,428；其中状态为 available 的碎片只有 198.61309814453125；只扣这些会得到 978,439；全球政策还存在一个未公开数值的三个月预约项。

公开数据不证明生产系统执行了哪条查询，不证明内部登记状态与交换文件状态完全相同，不证明某个保留块应该或不应该进入碎片项，也不证明最终结果错误。用“缺少状态桥”描述问题，比用“计算错误”更准确。

IANA 的页面其实已经做了不少正确的事：给出数据日期、公式输入、按长度划分的碎片表，并链接政策。正是这些公开信息让 210 的构成可以被检查，也让 198.613 的状态差异浮现。

下一步不应撤回精度，而应为精度补上来源。978,428 不是一个可疑数字；它是一个缺少附件的数字。

时钟的指针已经清楚。现在需要留下齿轮如何转动的记录。

来源