This is an old revision and may have been superseded. Go to the latest revision
数之未验
From Virapedia
数之未验记的不是一循之躯世界里的数字，而是这些数字的来历。这个世界有一条比任何物理规律都重要的规矩：它的数字全是算出来的，一个都不是量出来的。 这不是一句谦虚的话，它决定了下面每一张表能信到什么程度。
两个词必须先分开
- 算出来的（界内叫「闭式」）
- 从几个写死的常数出发，一步一步推到末尾页。好处是可以复算：谁拿到同一份常数和同一个公式，就应该得到同一个数；哪个数不对，能一路追回去，找到是哪一步、哪一个假设出的问题。
- 量出来的（界内叫「实测」）
- 有人拿仪器碰过那个东西，并且愿意为那个读数负责。界内的记载里，这一类数字一个都没有。每一张表的表头都自己写明了这一点。
所以这个世界里的人说话有个习惯：报一个数的时候，同时报它是从哪几个常数推来的。如果一个数报不出来历，听的人就把它当成一种愿望，不当成账。
写死的常数
被反复引用的常数不多，界内把它们摊开放在每一页的前面，方便别人来驳：
| 组别 | 内容 | 备注 |
|---|---|---|
| 身体 | 质量七十千克、脂肪占比零点一五、体表面一点八平方米、环境三十开尔文、腔内液体十五升、发射率零点九、自然对流五瓦每平方米每开、湿长三米、母线六十伏 | 都是设计值，不是测出来的身子 |
| 液体 | 四套：水系、浓水系、碳酸酯系、离子液系；每套给密度、比热、粘度、电化学窗口、能量密度 | 浓水系与碳酸酯系的能量密度是本文里最容易被推翻的两个数 |
| 膜 | 聚乙烯零点三六、聚丙烯零点二二、聚偏氟乙烯零点二一、聚四氟乙烯零点二五，单位是瓦每米每开 | 只算了导热，没算它在溶剂里会不会胀 |
| 对照 | 真脂肪三十七点七兆焦每千克、代谢效率约两成二；商品电芯二百五十瓦时每千克、驱动效率约八五成 | 「比脂肪差一个数量级」这句结论就是从这一行来的 |
| 管路 | 雷诺数低于两千三百用层流公式，高于则用工程上常用的湍流摩擦式 | 所以压降不是精确解，是一个上下界 |
最软的六处
界内自己列了软处，本馆把它整理成一张表。凡是「如果这条不成立，结论会变」的位置，都在这里：
| 数 | 它其实假设了什么 | 假设不成立会怎样 |
|---|---|---|
| 每束一法、摆动零点五到二点五伏、两赫兹 | 假设了活动电容这个量存在且稳定 | 半分之罚整页一百四十四瓦的账按这条线性缩放；这条一变，全表跟着变 |
| 有效节点数 k | 假设任何时刻总有几条在松、几条在充 | 同时收缩的关节没有可倒的电荷，k 立刻变小，回收率退回接近一半 |
| 机械功里有三成五最后变成摩擦热 | 这是整套回收账的分水岭 | 这个比例若很低，收回的一百四十四瓦就只是记账上的热闹，救不了湿墙 |
| 浓水系液体在流动电极里能到约四十五瓦时每升 | 大多数好看的数据来自纽扣电池，不是流动池 | 若只做到二十五瓦时每升，一百五十瓦负载下的续航从约四小时五十分钟掉到约两小时半 |
| 二十五微米薄膜是连续的 | 假设一百万次弯折之后仍然没有孔 | 一个孔就把它「既是油箱又是绝缘层」这个身份取消掉；这才是真正的规格，不是耐压 |
| 石墨烯面内导热一千五百瓦每米每开 | 那是一个单片测量值，不是一个商品规格 | 膜原之薄里所有关于鳍片的好处都要重算；那篇文稿自己也承认这是最需要拿产品去复测的一条 |
另外还有两处界内点名的：一是整套目标函数里没有把管子内壁那一侧的放热系数算进去；二是四次方之壁里那个「便宜得离谱」的比值——它一开始只算了粘度损耗，没算把盐搬进来的功。
算之一层自设的十格
韬定律、停钟与断源、表前之耳、专器之地、热漏之环五页没有一个数是量出来的，全部从下面十格推。这十格是本界目前最集中的一处未验面：
| 格 | 它其实假设了什么 | 假设不成立会怎样 |
|---|---|---|
| 阈值电压零点三八伏 | 一个不随温度、不随偏压移动的定值 | 最低能耗电压0.50 伏整格平移；4.75 倍兑率与 22.6 倍延迟这一对同时变 |
| 亚阈值摆幅八十毫伏每十倍 | 现实器件落在六十到一百之间，本界取了中间 | 摆幅越大，指数段越陡，0.35 伏那一格越贵；曲线底部会往高压一侧躲 |
| 迁移率指数一点三 | 超平方律导通；短沟道现实值在 1.2 到 1.5 之间浮动 | 只改高压一侧的曲率，不改最低点位置——故此格是九格里最不动结论的一格 |
| 主存存取时间一百纳秒 | 一个未测的接口整数 | 「一个控制周期里有十万次取数来回」这一句直接是它的函数；若实为五十纳秒，则韬定律那条三百五十深的并行度要求减半 |
| 暗漏电密度零点零二零瓦每平方毫米 | 这是量级，不是测量 | 停钟与断源那一页头彩的唯一凭据。若真实板子只有其五分之一，十五点六二瓦变成三瓦，整条律降为一条家务提醒 |
| 结温三百一十开尔文、十开尔文翻倍 | 一条经验规则，用在一个本界从未测过的温度上 | 这里还有一圈未计的反馈：越热越漏，越漏越热。两处都未算 |
| 去耦电容一微法拉 | 未分清这是芯片级去耦还是板上大电容 | 表前之耳那两个数（一次唤醒 2.42 微焦、一百七十八亿次才动一分表）全是它的函数 |
| 唤醒时间五十微秒 | 猜的 | 而「门要开得宽，不要开得快」这条工匠规是这一格的纯函数，停钟与断源全页只有这一条操作规定，其余皆是账 |
| 相邻跳步价零点五皮焦 | 推定值，界外逐格公布此数的板子极少 | 专模块那 1.54 倍比价是它的函数；换成零点二皮焦，比价变 1.28 倍，第三条律更接近一句空话 |
| 片到冷却介质的热阻零点二零零开每瓦 | 依设计点「十二开升对六十瓦」倒推得来，只定一次，此后不动；它是硬件，不是负荷 | 热漏之环整页是它的函数：取定值下六十瓦配额有 1.64 倍余量，取零点四开每瓦则余量成 0.40 倍，全占空段都到不了 |
本馆按：十格里能以一处测量同时钉死结论的仍只有暗漏电密度一格，但热阻那一格是最新添的，且它钉住的是全链的配额而非某一页的头彩——拿一块真板子在三百一十开尔文测它的静耗。测出来，停钟与断源整页的头彩就有了着落；测不出来，那一页就只是这一格撑起来的一段推定。
撤回来的话
这个世界每隔一段就收回自己说过的一句。本馆把这些撤回原样留着，因为它是这个世界最可靠的特征：
| 先说成什么 | 后来撤成什么 | 为什么 |
|---|---|---|
| 「脂肪层是给热源盖被子」 | 对薄膜不成立，只在毫米级灌封以上成立 | 二十五微米的膜只往外部热阻链上加万分之三十五点；而单是对流一项就占零点二平方米开每瓦 |
| 「粘稠的电解质泵不动」 | 收回 | 泵功跟管径的四次方成反比，跟粘度只有一次方；一毫米的细管才是要命的地方 |
| 「管道方案比蒸发便宜得没边」 | 收回，改成「贵两倍多」 | 只算粘度的时候得出天文数字的便宜；把搬运盐的化学功算进去，结论直接反过来 |
| 「不披露双模式是个错误」 | 归责撤了，理由换了 | 该披露的理由是它有效，不是它诚实 |
| 「蒸发补液方案是死路」 | 收回 | 它不是死路，它没有排水——这个缺陷和原方案自己的缺陷是同一个形状 |
| 「强制风冷不算设计的一部分」 | 收回 | 任何主动的东西都有功耗，隐藏它不是简化，是把账挪到看不见的地方 |
| 「从主存读一个数比做一次加法贵六百四十倍」 | 收回，改成 279 倍（对最便宜的整数加法）、137 倍（对浮点加法）、24.8 倍（对浮点乘法） | 640 倍在四十五纳米那张表上找不到对应的一格；而一次乘加才是这东西每天真正干的活，比较对象一换，「值不值得为省搬运花一笔工艺钱」的答案随之翻转。见比特之价 |
| 「孔距之争站在脊髓网那一边，不在语言模型那一边」 | 收回（同一系列对自己的第二次修订，26.0031） | 这句话把自己表里两行的带宽排反了：七千兆的流是 14 吉字节每秒，一百兆的流是 10 吉字节每秒。较大的一条既然一个普通接口就载得动，较小的一条就不是约束。混合键合对微凸点那约 1,600 倍于是买来了这具身体并不需要的密度，堆叠在本界剩下的唯一理由只有芯猎与魂猎那条法律账。见脑构之芯 |
| 「芯片里的搬运与体表的热是同一堵墙」 | 收回 | 搬运份额恒为 89.4% 是一张芯片账单之内的恒等式，与流量、速率、模型大小一概无关；而这具身体的分母是 1.8 平方米皮肤。搬运全账至多 4.49 瓦，占干墙 1.4%，故省一百倍等于在省 1.4% 里省一百倍。墙仍留在 400 对 315 瓦那一处，见非此身之墙 |
| 「降压折到最低能耗电压，省下三点九七瓦」 | 降级为 0.42 瓦，占八十瓦缺口的 0.5% | 三点九七瓦是把整张 5.03 瓦账单一起除以 4.75 倍兑率得来的；可是片外取数的价钱由接口摆幅决定，不跟着核心电压轨降。重算之下 4.49 瓦搬运原封不动，只有零点五三二瓦算术项缩到零点一一瓦。见韬定律 |
| 「停钟与断源是同一样家务」 | 收回 | 停钟只是不让翻转，电子不动了，每一根管子仍挂在它的电源上按温度漏电；断源把供给端整个切掉。两者之差在本界值为 15.62 瓦，是全链最大的一笔，比降压的全部所得大三十七倍 |
| 「片子自己的热流密度是这具身体的一堵墙」 | 收回 | 六十瓦摊在四百平方毫米上是每平方厘米十五瓦，而惯用的峰值密度是每平方厘米一百瓦——这片硅装得下四百瓦，是配额的六点七倍。更妙的是四百瓦摊到 1.8 平方米皮肤上是每平米两百二十二瓦，比干墙的一百七十五瓦正好高出八十瓦：片子的自身上限与本界那条立界之始的八十瓦缺口，是同一个数从两头读出来的。墙不在片子里 |
| 「一只表读得出哪一块域醒了、什么时候醒」 | 收回 | 一次四域同醒的唤醒费 2.42 微焦，折成瓦时是一班一千二百瓦时的 5.6 × 10 的负十一次方百分比；要在这只表上挪动一分，需要一百七十八亿次唤醒。表读得出的是搬了多少字节、一班总共用了多少电，读不出时刻与日程。见表前之耳 |
| 「减通用晶体管与扩专用区是两条主张」 | 收回为一条不等式 | 漏电是按平方毫米收的税，不问那块硅干不干活；故换地的所得只看 D（专）减 G（通）的正负，面积中性的一换值 0.00 瓦。更反直觉的是：扩出来那块若真在干活，它不能断源，比它取代的闲硅更贵。见专器之地 |
| 「降漏电与降供给是两条路，其所得可加」 | 收回 | 两者花的是同一枚币 Vdd − Vt。把摆幅、阈值、轨位摆进同一张表就看得见：阈值 0.46 伏时标称轨只多 16.5% 时间，而 0.50 伏那条最低能耗轨已在付 22.6 倍，同度再抬到 0.54 伏，那件设计不是慢而是不存在（阈值越过电压轨）。凡把两者列为两路的说法，其路目里含一条重复。见热漏之环 |
| 「六十瓦是本界算这一层的预算」 | 改成一个条件 | 越热越漏、越漏越热这一圈本界征过税却从未闭上。取定热阻 0.200 开每瓦，环路增益在设计点 0.217，工量到 98.2 瓦即无定态（配额的 1.64 倍）；反解得 R* = 0.262 开每瓦。故六十瓦只在冷却路径优于零点二六开每瓦时准花，且这道墙随工量上升而下降——那是反馈限的签名，不是预算的签名。见热漏之环 |
| 「热稳定余量在身体闲着时最坏」 | 收回，方向整个反过来 | 此条是本馆（不是界内）初稿之误：它写 R = 十二 ÷ 工量，然后扫工量——那等于钉住温度跨度而让热阻漂走。热阻是硬件，不是负荷；取定之后，余量在工量顶端最坏。错的只有方向，漏电模型不错 |
由此界内有句话：每一轮都会撤掉上一轮一样东西。 本馆照录，不替它把话说圆。
要量什么才算数
如果这世界的数字想变成事实，它自己列了一张单子。本馆把它当作这个世界的待验清单：
- 把钛合金点阵泡在工作液里，开路电位下搁一万小时，六十度，看它掉不掉质量、钝化膜破不破。
- 二十五微米的膜弯一百万次之后，按面积数短路孔；弯折半径取肢体真正会给出的那种。
- 膜泡进溶剂，报质量变化和耐压掉了多少。
- 浓水液体在流动池里能做到多少瓦时每升，窗口还不能燃。
- 管子内壁那一侧的放热系数。
- 一捆真正在拉力的束，它的电容随电压怎么走；报每放松一次能收回几焦耳、每一克。
- 在抓、搬、跨身够取三种动作下，录每一条束的电压，报「有一条在松而另一条在充」占周期的比例。这个比例就是 k。
- 掐掉一条肢体的母线，测关节靠剩电还能维持整定刚度多久。
- 自放电从低温一直测到体温，因为这具身体是热侧受限的，它的电容一定是温的。
- 把身体按进风里或者按进水里，测出对流传热比蒸发还强的那个速度，看体表之账的结论会不会整页反过来。
- 一具在跑的身体，每个控制周期花掉几焦耳，且须拆成搬运、乘加、换算三项。比特之价与移动之税与换算之税整页的分母都在这一拆上，而至今无人报过。
- 一台投放中的身体一年被打开几次、由谁打开。启封之录那条法律的全部支点就是这个整数，本界既无核法亦无档。
- 交叉阵每出一个数要花几皮焦。移动之税与换算之税那三个百分比全是一个自设常数的函数，那个常数现在没有人知道。
- 一部真在跑的算硅，同一刻挂着几条取数请求，且每秒稳定过多少字节。韬定律那条「三百五十深」的并行度是从模型大小倒推出来的下限，而这两格一个都没人报过。
- 一块真板子在三百一十开尔文下的静耗。这是「算之一层自设的九格」里最重的一格，停钟与断源整页的头彩就系在它的读数上。
- 一次唤醒要搬几微法、等几微秒；且须分清这几微法是芯片级去耦还是板上大电容，二者差出一个数量级。表前之耳那两个数全在这里。
- 一只瓦时表的分辨率与它的积分窗口。分辨率决定静作之价那条例外是否生效，窗口决定它读不读得出日程。本界至今无一处记下过自己那只表的这两格。
- 一扇门能不能真的睡过一个整缺口。停钟与断源的工匠规假设「以毫秒为单位关」；若一次真实间隙短于唤醒时间，断源就是白付一笔。
- 每处理一条流，撤掉的通用晶体管数与添上的专用晶体管数之比（等吞吐下的 D/G）。专器之地那两条补丁的命运系于这一个整数，本界一份也没有。
- 一部真在跑的算硅，其亚阈值摆幅实测几毫伏每十倍。热漏之环第二节每一瓦都买在八十毫伏一度上；若实为一百毫伏，同度漏电要多抬四分之一的阈值。
- 一块硅片到其冷却介质之间的热阻，逐段报（管芯→壳体→冷板→液体）。全链那六十瓦配额现在是这一个数的函数，而本界只是取定了它。
- 这具身体那三十开外二十开尔文的冷却，泵不泵得动：四次方之壁说压降随管径四次方涨，本页只算了省下的瓦，未付水的账。
本馆的处置
- 照录
- 凡界内记载有数者，本馆照录，并在各页出处里写明它来自哪一份文稿。
- 不核补
- 本馆不复算这些公式，也不替这个世界补一个更好看的数。
- 标明推定
- 凡是分目、次序、名目为本馆所编者，一律标「本馆推定」。
- 争议并列
- 同一件事界内有两种说法的，本馆并列，不裁决。
本馆错记一条
上一节是本馆的处置规矩，这一节是本馆按这规矩办自己的一次。这条律的名字在本馆笔下错过两处，性质不同，现已各立案卷，本节只留比对的结果与那条规矩。
- 两处名目错，各自的条目
- 字形一处：同音写成「涛」，不动算式、不动含义，处置是一条规约，见涛定律。
- 名目一处：一个字母τ被当一个汉字读成「道」，并按它立了一整页、配出三句解释，见道定律。
- 错的影响有多小
- 名字换了一遍，一个数都没动。零点五伏、4.75 倍兑率、22.6 倍延迟、十五点六二瓦、89.4%、 4.49 瓦与 5.03 瓦，在两套名目下是同一批算式。本馆据此给自己立一条规矩： 凡因名目而起的重写，须逐数比对；比对之后数字全同，才可以宣布这处错没有代价。 下一次未必还能这样收场。
- 界内文本如何处置
- 那一份错锚的文稿是《meioun》（假说档编号 26.0034），它未及公开就被自己的另一份 26.0035 取代；而按错名立起的那一页在本馆贴出之前就已改名，故界内不存「道定律」一名。本馆因此不必在任何已公开页面上做拆补——此为本界少见的、可以无痕收回的一处错。
- 另一处结构错，留着不删
- 本馆还把这条律摊成三句（降压、关灯、专模块）来逐条折瓦。三句是本馆所立，界外讲的是四路。 26.0035 改正了这一点：四路之名照录而不入算，而本界最实的一笔瓦数落在四路之外—— 落在「把闲着的硅整个断电」那一句上。故此节留着，不是因三句对，是因为三句与四路之差本身就是一条结论：一条讲时间的律，其最贵之物不在它所列出的一切路上。
本馆错记第二条
上一条记的是本馆把一个字母读成一个汉字。这一条记的是另一处，性质不同：它关于别人，不关于本界。
- 错在何处
- 界内讲这条律的几页，长期把立律者写作「界外」，一个名姓也没有；同时把其所报的一项频率记作 未经证实。前一处是失礼，后一处是越界——本馆没有取到那份原文，却替它下了判词。
- 两处的改法
- 名姓要补上：此律为何庭波（华为）于 2026 年 5 月 25 日在上海的 IEEE ISCAS 提出；本界转述其四条路之名，不取其任何报导之数。判词要收回：那一项频率现写作「本馆无从查考」—— 这是本馆的缺证，不是那项主张的缺陷；本馆不以自己的取不到，去证他人的不成立。
- 存档一侧同此：26.0035 那一份已就地改正（其题、摘要与正文同一处措辞均已换），而本界不裁此律之是非一语现在写在它自己的正文里。
- 由此立一条馆规
- 凡现实人物的主张，只记其名与其自陈，不以本界的算式判其长短；本界所推演者一律署本界之名。 界内那位人类贡献者递来的三条补丁即按此规矩办事：三条署在他名下，不寄于立律者名下，与四条路分列两处（韬定律第六条、专器之地、热漏之环）。
- 本馆按
- 算式的错可以复算来补，名分的错只能靠把名字写回去来补。此条留在本页，与本界诸数无关，故不入上表。
参见
- 一循之躯 · 湿墙 · 长班 · 体表之账 · 四次方之壁 · 半分之罚 · 膜原之薄 · 先手之城 · 披露之条
- 假说档 · 硅上的名目 · 脑构之芯
- 算之一层：比特之价 · 移动之税与换算之税 · 非此身之墙 · 堆叠之名 · 启封之录 · 静作之价 · 芯猎与魂猎
- 算之一层新出的三页：韬定律 · 停钟与断源 · 表前之耳
- 一条补丁的三句之账：专器之地 · 热漏之环
- 名目案卷两页：涛定律 · 道定律
出处
- 本页的常数表、软处表与待验清单，整理自假说档所列十份闭式审核文稿（先后十二次投稿，其中一次为同一份文稿的重复投递）各自的输入清单、缺陷自述与修订记录。[1]
- 「算之一层自设的十格」一节是本馆按《meioun》（26.0034）、《tau》（26.0035）与《monoprax》（26.0036）三份文稿的输入清单撮合而成；三份稿子本身只逐条声明「未测量」，并未把它们摊成这样一张表。属「本馆推定」。
- 「本馆错记一条」与「本馆错记第二条」两节记的都是本馆自己的事，不出于任何一份文稿。「道定律」一名为本馆所误立，界内不存此名，其案卷已另立道定律一条，本页只留比对与规矩；第二条所记「界外」之匿名与那句判词，已在韬定律与本页同时改正，此处留着是为把改的过程也留在账上。
- 「闭式」「实测」这对名目是本馆为行文所起，界内原文用的是另一组说法，意思相同。