K3.1 Pro 权重压线公开：仓库 11 月 2 日就已备好

10 月 23 日的官方技术博客两次写下同一句话：“Full model weights will be released by Nov 4, 2026.”。此后两天，本站在 11 月 3 日与 11 月 4 日早晨各做了一次公开列表复核，moonshotai 名下最新基座仓都还是 Kimi-K3（2026-09-02）——「截止已过而未发」这个判断写进了 11 月 4 日的两篇正文与模型目录。现在把记录接上：公开可见的首个证据出现在 11 月 4 日 15:59Z，北京时间 23:59——11 月 4 日的最后一分钟。一个 96 片全量镜像仓（AleaiactaEst1/Kimi-K3.1-Pro，本站已核对文件清单）在那时刻创建；镜像要先拿到权重才能创建，这是公开可见性的间接证据。

接下来是镜像簇：16:19、16:25、16:30、16:40、17:00 各有新镜像（ml-resources、LithosAI、ojuliio、AMAIMedia、AlephFunk 专家切片），18:38Z unsloth 放出全量镜像。本站三小时采集在 11 月 4 日 19:03Z（北京时间已跨入 11 月 5 日凌晨 03:03）首次观察到官方仓进入 HF 开源增长趋势榜第 5 位，观察时 797 次下载、356 赞。11 月 5 日早晨复核：96 片 safetensors 齐备，共 1,561,355,966,963 字节 ≈ 1.56TB，单次提交时间戳 11-02T04:13:51Z。无论按 UTC 读还是按北京时间读，「11 月 4 日前」都压线兑现了：首个公开证据（镜像 15:59Z）落在两个时区的 11 月 4 日之内，本站亲眼看到官方仓已是次日凌晨。

两个细节说明这个「压线」本身值得记录。其一，官方博客在本站 11 月 5 日读取时仍写着「by Nov 4」的原句，没有新增权重发布的公告——发布动作是安静的，今天的确认只能靠仓库本身。其二，把 11 月 4 日早晨的「截止已过而未发」与今天的记录并排看，那句话对它所处的检查时刻是准确的，但它描述不了当天深夜发生的事：承诺跟踪的一个小教训是，检查时刻的结论不自动等于结局。

官方仓只有一条提交记录：「Initial commit」，时间戳 2026-11-02T04:13:51Z，仓库创建时间同刻。也就是说，96 片权重、README、模型卡与许可在承诺截止前两天就已经一次提交备齐——内容早就准备好了，公开被安排到了最后时刻。为什么是 11 月 4 日深夜？官方没有解释，本站也不猜测；能核对的是 HF 的行为边界：公开列表在 11-04 晨（北京 08:35）还没有这个仓库，首证镜像在 23:59 出现。私有仓转公开时 createdAt 保留原值，所以「创建于 11-02 但深夜才可见」与 HF 的机制相容；但本站无法从外部确证私有期，只如实记录两端的证据。

这个区分对读者有用：判断「权重是否已可用」时，仓库的可见性是唯一可核的事实，内容时间戳只说明准备程度。11 月 4 日早晨的两次复核没有错——在它们的时点上公开列表确实没有权重；错的是把检查时刻的结论当成故事的结尾。本站目录里那句「11月4日截止已过，权重仍未开放」已随本轮更新修正。

README 的模型摘要：2.8T 总参数、104B 激活的 MoE（93 层、896 个专家、每 token 选 16 个＋2 个共享专家），1M token 上下文；相对 K3 把全注意力 Gated MLA 换成 KDA＋Gated DSA 稀疏注意力；原生多模态，视觉编码器 MoonViT-V2（401M），文本与图像输入。最有信息量的一行是量化：**MXFP4 权重、MXFP8 激活，量化感知训练**——权重在训练时就按 MXFP4 布局，不是发布后再压缩。这解释了体积：2.8T 参数按 MXFP4（约 0.5 字节/参数）加缩放因子，96 片合计约 1.56TB，单片最大 16.99GB（本站按 blobs API 汇总；页面显示同为 1.56 TB）。

评估表按 effort max、温度 1.0、top-p 0.95 统一口径，每行带 harness 注记（多数模型走 Claude Code，GPT 系走 Codex，Kimi 行走 Kimi Code）。挑几行看形状：Terminal-Bench 4.0 65.7（Opus 5.5 66.4、GPT-6 Astra 58.2，开源侧接近闭源旗舰）；claim 级幻觉率（Hallu Bench Hard w/ tools）8.3，是对比集中除 Astra（5.5）外最低，官方博客写 K3 同口径 23.4→8.3；BenchCAD w/ tools 92.7 逼近 Opus 5.5 的 96.2。弱项同样清楚：ProgramBench（二值化口径：分数≥95% 记 1）31.5 远低于 Opus 5.5 的 65.0；HLE-Diamond 39.4 对 Astra 的 65.8。全部为厂商口径，本站未复现。

发布版还有一处与昨天的实验文章直接相关：官方写明开放权重版在两个训练阶段移除了网络安全相关数据，「For the open-weight release of K3.1 Pro, we identified and removed cyber-related data from both training stages」。xdev-bench-hard（内部源码漏洞测试，pass@3）：未过滤 checkpoint 90.5%、发布版 81.0%、K3 33.3%——数据移除把同一训练管线的成绩砍掉约 9.5 个百分点，官方并写明 K3.1 Pro 的网络安全能力落后于已公开至少三个月的前沿专有模型。昨天 Willison 的读权重实验用的是 OpenRouter 上的 API 版本；权重版是否与 API 版本同一份，官方未写明，本站不猜测——能确定的是，现在任何人都可以下载这 1.56TB 去自己验证。

许可全文是 MIT 授权文本：使用、复制、修改、合并、发布、分发、再许可、销售、微调与衍生作品都不受限。编号条件有两项实质内容：§2 定义 Model as a Service——让第三方对输入、参数或训练数据有实质控制权的推理或微调服务——licensee 及关联公司任意连续 12 个月总营收超 2000 万美元且经营 MaaS 的，商用前需与月之暗面另签协议；§3 更少见：商业产品月活超 1 亿或月营收超 2000 万美元，须在产品界面显著展示「Kimi K3.1-Pro」。§4 豁免：内部使用、或经官方产品与认证推理伙伴的访问。对照：Mistral 的开放权重许可在 MaaS 上有类似条款，DeepSeek 家族是 MIT 加使用限制；月之暗面上一次开放 K3 权重（7 月 27 日）时用的还是另一份许可文本。

对多数读者，实际意义是：收入低于线的组织与个人可以下载这 1.56TB 自己跑。官方同时备好了部署路线：vLLM recipes、SGLang cookbook、TokenSpeed recipes，平台 API（kimi-k3.1-pro）保持 OpenAI/Anthropic 兼容。回到站内脉络：昨天的《权重读得懂、也写得动》里 Willison 用 OpenRouter API 做的读权重实验，当时 K3.1 Pro 是「只有 API 可用」的例证；今天它变成开放权重例证——3T 级、MXFP4、原生多模态的权重是任何人可以下载核对的东西。同周的腾讯 Hy4 正式版「计划开源权重」仍待兑现——K3.1 Pro 的压线兑现给了这类承诺一个新数据点：压线不等于爽约，检查时刻不等于结局。