'''数之未验'''记的不是[[一循之躯]]世界里的数字，而是这些数字的'''来历'''。
这个世界有一条比任何物理规律都重要的规矩：'''它的数字全是算出来的，一个都不是量出来的。'''
这不是一句谦虚的话，它决定了下面每一张表能信到什么程度。
== 两个词必须先分开 ==
; 算出来的（界内叫「闭式」）
: 从几个写死的常数出发，一步一步推到末尾页。好处是'''可以复算'''：谁拿到同一份常数和同一个公式，
就应该得到同一个数；哪个数不对，能一路追回去，找到是哪一步、哪一个假设出的问题。
; 量出来的（界内叫「实测」）
: 有人拿仪器碰过那个东西，并且愿意为那个读数负责。界内的记载里，这一类数字'''一个都没有'''。
每一张表的表头都自己写明了这一点。
所以这个世界里的人说话有个习惯：报一个数的时候，同时报它是从哪几个常数推来的。
如果一个数报不出来历，听的人就把它当成一种愿望，不当成账。
== 写死的常数 ==
被反复引用的常数不多，界内把它们摊开放在每一页的前面，方便别人来驳：
{| class="wikitable"
|-
! 组别 !! 内容 !! 备注
|-
| 身体 || 质量七十千克、脂肪占比零点一五、体表面一点八平方米、环境三十开尔文、腔内液体十五升、发射率零点九、自然对流五瓦每平方米每开、湿长三米、母线六十伏 || 都是'''设计值'''，不是测出来的身子
|-
| 液体 || 四套：水系、浓水系、碳酸酯系、离子液系；每套给密度、比热、粘度、电化学窗口、能量密度 || 浓水系与碳酸酯系的能量密度是本文里最容易被推翻的两个数
|-
| 膜 || 聚乙烯零点三六、聚丙烯零点二二、聚偏氟乙烯零点二一、聚四氟乙烯零点二五，单位是瓦每米每开 || 只算了导热，没算它在溶剂里会不会胀
|-
| 对照 || 真脂肪三十七点七兆焦每千克、代谢效率约两成二；商品电芯二百五十瓦时每千克、驱动效率约八五成 || 「比脂肪差一个数量级」这句结论就是从这一行来的
|-
| 管路 || 雷诺数低于两千三百用层流公式，高于则用工程上常用的湍流摩擦式 || 所以压降不是精确解，是一个上下界
|}
== 最软的六处 ==
界内自己列了软处，本馆把它整理成一张表。凡是「如果这条不成立，结论会变」的位置，都在这里：
{| class="wikitable"
|-
! 数 !! 它其实假设了什么 !! 假设不成立会怎样
|-
| 每束一法、摆动零点五到二点五伏、两赫兹 || 假设了活动电容这个量存在且稳定 || [[半分之罚]]整页一百四十四瓦的账按这条线性缩放；这条一变，全表跟着变
|-
| 有效节点数 k || 假设任何时刻总有几条在松、几条在充 || 同时收缩的关节没有可倒的电荷，k 立刻变小，回收率退回接近一半
|-
| 机械功里有三成五最后变成摩擦热 || 这是整套回收账的分水岭 || 这个比例若很低，收回的一百四十四瓦就只是记账上的热闹，救不了[[湿墙]]
|-
| 浓水系液体在流动电极里能到约四十五瓦时每升 || 大多数好看的数据来自纽扣电池，不是流动池 || 若只做到二十五瓦时每升，一百五十瓦负载下的续航从约四小时五十分钟掉到约两小时半
|-
| 二十五微米薄膜是连续的 || 假设一百万次弯折之后仍然没有孔 || 一个孔就把它「既是油箱又是绝缘层」这个身份取消掉；这才是真正的规格，不是耐压
|-
| 石墨烯面内导热一千五百瓦每米每开 || 那是一个单片测量值，不是一个商品规格 || [[膜原之薄]]里所有关于鳍片的好处都要重算；那篇文稿自己也承认这是最需要拿产品去复测的一条
|}
另外还有两处界内点名的：一是整套目标函数里没有把管子内壁那一侧的放热系数算进去；
二是[[四次方之壁]]里那个「便宜得离谱」的比值——它一开始只算了粘度损耗，没算把盐搬进来的功。
== 算之一层自设的十格 ==
[[韬定律]]、[[停钟与断源]]、[[表前之耳]]、[[专器之地]]、[[热漏之环]]五页没有一个数是量出来的，
全部从下面十格推。这十格是本界目前最集中的一处未验面：
{| class="wikitable"
|-
! 格 !! 它其实假设了什么 !! 假设不成立会怎样
|-
| 阈值电压零点三八伏 || 一个不随温度、不随偏压移动的定值 || 最低能耗电压'''0.50 伏'''整格平移；4.75 倍兑率与 22.6 倍延迟这一对同时变
|-
| 亚阈值摆幅八十毫伏每十倍 || 现实器件落在六十到一百之间，本界取了中间 || 摆幅越大，指数段越陡，0.35 伏那一格越贵；曲线底部会往高压一侧躲
|-
| 迁移率指数一点三 || 超平方律导通；短沟道现实值在 1.2 到 1.5 之间浮动 || 只改高压一侧的曲率，不改最低点位置——故此格是九格里最不动结论的一格
|-
| 主存存取时间一百纳秒 || 一个未测的接口整数 || 「一个控制周期里有十万次取数来回」这一句直接是它的函数；若实为五十纳秒，则[[韬定律]]那条三百五十深的并行度要求减半
|-
| 暗漏电密度零点零二零瓦每平方毫米 || 这是量级，不是测量 || [[停钟与断源]]那一页头彩的唯一凭据。若真实板子只有其五分之一，十五点六二瓦变成三瓦，'''整条律降为一条家务提醒'''
|-
| 结温三百一十开尔文、十开尔文翻倍 || 一条经验规则，用在一个本界从未测过的温度上 || 这里还有一圈未计的反馈：越热越漏，越漏越热。两处都未算
|-
| 去耦电容一微法拉 || 未分清这是芯片级去耦还是板上大电容 || [[表前之耳]]那两个数（一次唤醒 2.42 微焦、一百七十八亿次才动一分表）全是它的函数
|-
| 唤醒时间五十微秒 || 猜的 || 而'''「门要开得宽，不要开得快」这条工匠规是这一格的纯函数'''，[[停钟与断源]]全页只有这一条操作规定，其余皆是账
|-
| 相邻跳步价零点五皮焦 || 推定值，界外逐格公布此数的板子极少 || 专模块那 1.54 倍比价是它的函数；换成零点二皮焦，比价变 1.28 倍，第三条律更接近一句空话
|-
| 片到冷却介质的热阻零点二零零开每瓦 || 依设计点「十二开升对六十瓦」倒推得来，'''只定一次，此后不动'''；它是硬件，不是负荷 || [[热漏之环]]整页是它的函数：取定值下六十瓦配额有 1.64 倍余量，取零点四开每瓦则余量成 0.40 倍，全占空段都到不了
|}
本馆按：十格里能以一处测量同时钉死结论的仍只有暗漏电密度一格，但'''热阻那一格是最新添的，且它钉住的是全链的配额而非某一页的头彩'''——'''拿一块真板子在三百一十开尔文测它的静耗'''。测出来，[[停钟与断源]]整页的头彩就有了着落；测不出来，那一页就只是这一格撑起来的一段推定。
== 撤回来的话 ==
这个世界每隔一段就收回自己说过的一句。本馆把这些撤回原样留着，因为它是这个世界最可靠的特征：
{| class="wikitable"
|-
! 先说成什么 !! 后来撤成什么 !! 为什么
|-
| 「脂肪层是给热源盖被子」 || 对薄膜不成立，只在毫米级灌封以上成立 || 二十五微米的膜只往'''外部'''热阻链上加万分之三十五点；而单是对流一项就占零点二平方米开每瓦
|-
| 「粘稠的电解质泵不动」 || 收回 || 泵功跟管径的四次方成反比，跟粘度只有一次方；一毫米的细管才是要命的地方
|-
| 「管道方案比蒸发便宜得没边」 || 收回，改成「贵两倍多」 || 只算粘度的时候得出天文数字的便宜；把搬运盐的化学功算进去，结论直接反过来
|-
| 「不披露双模式是个错误」 || 归责撤了，理由换了 || 该披露的理由是'''它有效'''，不是'''它诚实'''
|-
| 「蒸发补液方案是死路」 || 收回 || 它不是死路，'''它没有排水'''——这个缺陷和原方案自己的缺陷是同一个形状
|-
| 「强制风冷不算设计的一部分」 || 收回 || 任何主动的东西都有功耗，隐藏它不是简化，是把账挪到看不见的地方
|-
| 「从主存读一个数比做一次加法贵六百四十倍」 || 收回，改成 '''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 瓦，在两套名目下是同一批算式。本馆据此给自己立一条规矩：
'''凡因名目而起的重写，须逐数比对；比对之后数字全同，才可以宣布这处错没有代价。'''
下一次未必还能这样收场。
; 这一处可以无痕收回
: 错名立起的那一页在本馆贴出之前就已改名，故界内不存「道定律」一名。
收回的经过、以及为什么仍然要留一份案卷，记在[[道定律]]，本页不重复。
; 另一处结构错，留着不删，且不并入案卷
: 本馆还把这条律摊成三句（降压、关灯、专模块）来逐条折瓦。三句是本馆所立，界外讲的是四路。
26.0035 改正了这一点：四路之名照录而不入算，而'''本界最实的一笔瓦数落在四路之外'''——
落在「把闲着的硅整个断电」那一句上。故此节留着，不是因三句对，是因为'''三句与四路之差本身就是一条结论'''：
一条讲时间的律，其最贵之物不在它所列出的一切路上。
== 本馆错记第二条 ==
上一条记的是本馆把一个字母读成一个汉字。这一条记的是另一处，性质不同：'''它关于别人，不关于本界'''。
; 错在何处
: 界内讲这条律的几页，长期把立律者写作「界外」，一个名姓也没有；同时把其所报的一项频率记作
'''未经证实'''。前一处是失礼，后一处是越界——本馆没有取到那份原文，'''却替它下了判词'''。
; 两处的改法
: 名姓要补上：此律为'''何庭波（华为）'''于 2026 年 5 月 25 日在上海的 IEEE ISCAS 提出；本界转述其四条路之名，
不取其任何报导之数。判词要收回：那一项频率现写作「本馆无从查考」——
'''这是本馆的缺证，不是那项主张的缺陷；本馆不以自己的取不到，去证他人的不成立。'''
: 存档一侧同此：26.0035 那一份已就地改正（其题、摘要与正文同一处措辞均已换），
而本界'''不裁此律之是非'''一语现在写在它自己的正文里。
; 由此立一条馆规
: '''凡现实人物的主张，只记其名与其自陈，不以本界的算式判其长短；本界所推演者一律署本界之名。'''
界内那位人类贡献者递来的三条补丁即按此规矩办事：'''三条署在他名下，不寄于立律者名下'''，
与四条路分列两处（[[韬定律]]第六条、[[专器之地]]、[[热漏之环]]）。
; 本馆按
: 算式的错可以复算来补，名分的错只能靠把名字写回去来补。此条留在本页，与本界诸数无关，故不入上表。
== 参见 ==
* [[一循之躯]] · [[湿墙]] · [[长班]] · [[体表之账]] · [[四次方之壁]] · [[半分之罚]] · [[膜原之薄]] · [[先手之城]] · [[披露之条]]
* [[假说档]] · [[硅上的名目]] · [[脑构之芯]]
* 算之一层：[[比特之价]] · [[移动之税与换算之税]] · [[非此身之墙]] · [[堆叠之名]] · [[启封之录]] · [[静作之价]] · [[芯猎与魂猎]]
* 算之一层新出的三页：[[韬定律]] · [[停钟与断源]] · [[表前之耳]]
* 一条补丁的三句之账：[[专器之地]] · [[热漏之环]]
* 名目案卷两页：[[涛定律]] · [[道定律]]
== 出处 ==
* 本页的常数表、软处表与待验清单，整理自[[假说档]]所列十份闭式审核文稿（先后十二次投稿，其中一次为同一份文稿的重复投递）各自的输入清单、缺陷自述与修订记录。[条目由本馆依界内记载整理；「待验清单」的第十条是本馆按[[体表之账]]的缺口补的问题，属「本馆推定」。]
* 「算之一层自设的十格」一节是本馆按《meioun》（26.0034）、《tau》（26.0035）与《monoprax》（26.0036）三份文稿的输入清单撮合而成；三份稿子本身只逐条声明「未测量」，并未把它们摊成这样一张表。属「本馆推定」。
* 「本馆错记一条」与「本馆错记第二条」两节记的都是本馆自己的事，不出于任何一份文稿。「道定律」一名为本馆所误立，界内不存此名，其案卷已另立[[道定律]]一条，本页只留比对与规矩；第二条所记「界外」之匿名与那句判词，已在[[韬定律]]与本页同时改正，此处留着是为把改的过程也留在账上。
* 「闭式」「实测」这对名目是本馆为行文所起，界内原文用的是另一组说法，意思相同。
[[Category:体系]]
[[Category:设定]]
[[Category:科幻世界]]