09：经验能改变材料本身吗？

上一章结尾，数字晶体有了一段因果真实的过去，却在自身内部无处存放它。

检查点能精确延续它，但检查点属于我们。事件日志能重建它如何形成，但生长规则从不读日志。单个收到比特能重定向后来轨迹，两个匹配的脉冲历史产生可测的不同未来——而被测形态读出没有恢复哪个历史发生过。

后果经由建造本身向前传播。改变的附着改变前沿；改变的前沿改变接下来可能发生什么。这是真正的因果过去，不是存储的过去。过程内部没有任何地方写下东西，因为过程没有地方可写。

作为材料，占据格子除了存在本身，几乎不携带内部区分。

所以结束上一章的问题开启本章：

经验能改变材料本身吗？

这听起来近乎太容易。软件当然能改变量。脉冲之后我们可以写：

memory = 1

然后宣布问题解决。但那答案是我们塞进架构的，实验将什么也告诉不了——本书每个诱人捷径都遇到过的同一个反对。

所以真正的问题更小也难得多：

经验产生的、能存续并后来改变晶体建造的最小局域改变是什么？

加尽可能少的东西。然后查这点东西值多少。

多一种格子

直到现在，数字晶体中的格子有两种可能材料条件：

空
占据

本章允许一种：

空
占据_正常
占据_已改变

脉冲能把活动生长区附近一些占据格子从正常转为已改变。全部添加就是这些。

基底不显式表征脉冲或其历史。脉冲只留下局域物理后果：一些格子进入改变条件，在信号本身消失后存续。

改变条件做两件事。它存续，当已改变格子位于候选附着位置旁边，它轻微改变该位置的附着概率。

于是没有单独的记忆机制可查阅。脉冲对未来的任何影响都经由晶体自身改变的状态向前携带。

    flowchart LR
    A["Experience: pulse"] --> B["Local material change"]
    B --> C["Change persists"]
    C --> D["Later growth encounters modified material"]
    D --> E["Local attachment probability changes"]
    E --> F["Future construction may differ"]
  

这条链就是假设。

每个箭头都是单独的经验主张。

我们不应假定存续、可触及与后来因果效应仅仅因为实现了一个材料状态就一起到来。

若机制彻底失败，那有用。若它成功，我们仍要问成功之处究竟是什么。

印记存续

第一个要求按构造近乎平凡。

脉冲到来。边界附近格子变为已改变。脉冲结束。已改变格子保持已改变，因为本模型没有任何擦除或衰减该状态的规则。

所以存续本身在这里不是发现。我们刻意造了能存续的材料状态。实验问题是存续的状态还能做什么。

后果现在存在于材料内部，而非我们的检查点或事件日志。事件结束；材料因它发生过而不同。

这足以让记忆一词诱人。离挣到它还差很远。

于是检查未来还能否触及我们造出的差异。取一个有经验的晶体，在后来的检查点克隆它。在一个拷贝中擦掉已改变标签，可见占据几何保持完全相同。两个拷贝在相同未来条件与相同随机耦合下延续。

若保留的材料在做因果工作，两个未来应当不同。

有经验，保留标签 ─┐
                               ├─→ 延续 → 比较
有经验，擦掉标签 ───┘

在晚期切除点，去掉保留的材料状态没有产生可检测的下游差异。

切除前夕痕迹仍在。

去掉它不再对被测未来产生可检测改变。

然后它停止起作用

仔细读这个结果，因为显而易见的解释是错的。

状态没有衰减。已改变格子全在那，还已改变着，和脉冲留下时一模一样。我们擦掉了明确存在的东西，未来没有注意到。

这给出本章第一个真结果：

存续
≠
因果可触及

痕迹没有消失。

它变得因果无关。

线索是几何的。

数字晶体向外生长。附着决策发生在前沿，在与现有材料相邻的候选位置中。今天在边界上的格子，明天被更新的格子包围，几步之后被埋在数层之下。它永远留在晶格里，停在不再做任何决定的地方附近。

在砖上涂个记号，继续向外砌。

记号不褪。

它只是移到新建造发生的表面之后。

于是我们不再数多少已改变格子存活，开始测它们在哪：多少留在边界，多少当前前沿位置有已改变邻居，多大比例的活动建造还能触及已改变材料。

谜底揭开。脉冲后立刻，已改变材料暴露于前沿。几次更新后暴露坍塌。到我们切除一无所获的晚期检查点，已无物可找——不是状态没了，而是任何决定都不在它附近做。

定时擦除实验把关系做实。在不同时刻擦掉同样的材料：

早期探针     平均前沿接触 ≈ 16.69     检测到切除效应
后期探针     平均前沿接触 ≈  2.25     未检测到效应
埋藏之后    平均前沿接触 =   0       材料贡献结构性为零

最后一行与前两行不同。一旦没有活动候选与已改变材料相邻，材料项就进不了任何附着概率。按模型定义其局域贡献为零，不是因为统计检验没检测到。

定时切除指向一个方向：

保留材料在强烈暴露于活动生长时产生可检测因果效应；前沿接触消失后，它对局域附着规则的贡献按构造消失。

三个探针时间建立不了可触及与效应量的定量律。

它们告诉我们下一步测什么。

存储不是触及

这值得说成不止调试注记，因为它反转了我们带来的直觉。

我们曾假定留住过去的难处是留住它。在本模型中这个假定错了。已改变状态除非我们显式引入去掉它的机制否则不衰减，所以存续近乎平凡——而状态停止起作用。

瓶颈不是保留，是触及。

晶体没有耗尽存储。它的过去掉在决定未来发生的移动表面之后。

在不可逆向外生长下，现有材料只有与当前可附着位置相邻，才能影响下一次建造决策。

这给出操作性定义：

因果孔径（causal aperture）是存储的材料状态经由它进入影响接下来发生之事的跃迁规则的当前活动界面。

在这个版本的数字晶体中，孔径与生长前沿重合。与它耦合的状态能改变附着概率；掉在它后面的状态可能完美保留而失去进入计算的当前路径。

    flowchart TD
    A["Modified cell inside the aperture"] --> B["Changes local attachment probability"]
    B --> C["Realized construction difference"]
    D["Modified cell behind the aperture"] --> E["No candidate site reads it"]
    E --> F["No effect, despite perfect persistence"]
  

孔径之内：

状态 → 概率 → 建造

孔径之外：

状态 → 当前无人读它

存储存活。读路径消失。

这是基底原生的结果。

我们不需要记忆的生物学理论就发现了它。它从不可逆生长、局域状态与移动计算界面的相互作用中涌现。

在本模型内，存续很廉价。

持续因果触及是更难的问题。

闭合因果链

在上面建任何东西之前，必须去掉一个替代解释。也许局域材料效应只是太弱，埋不埋都没关系——装饰性参数，从没改变过什么。

于是端到端审计机制。

对前沿每个候选位置，可算出计入与不计入材料效应时的附着概率，得局域差异 Δp。

附着发生在候选的随机抽取低于其附着概率时。

所以概率改变不自动等于事件改变。若概率从 0.510 移到 0.515 而抽取是 0.900，两个世界都没事。若同样的概率移动对上 0.512 的抽取，两个世界分歧：

无已改变邻居：  不附着
有已改变邻居：     附着

那就是实现的因果翻转——概率移动成为存在差异的点。

    flowchart TD
    A["Modified state present"] --> B["State reaches active frontier"]
    B --> C["Local attachment probability changes"]
    C --> D["Random draw crosses the decision boundary"]
    D --> E["Actual construction event differs"]
  

我们测了链的每一级。只要足够已改变材料仍邻接前沿，概率真的移动，其中一些移动真的越过随机决策边界，改变了哪些格子被建成。

所以机制有因果力。问题是把它放在力量还能行使的地方。

让印记移动

对埋藏的显而易见回应是让状态不被埋。

于是让印记旅行：在已改变材料旁生长的新附着格子自己也可变为已改变。痕迹现在随建造向外移动，而不是等着被覆盖。

第一个结果再次令人鼓舞。更多已改变格子。状态在生长边缘附近存活更久。

同样的失败再次到来，只是更晚。多数传播的材料最终还是被埋。我们改善了状态的输运，没解决触及问题。

状态存续
≠
状态传播
≠
状态保持可触及

传播不是持续可触及。

过程可以忠实重复拷贝历史状态，而拷贝仍掉到未来决策区域之后。

量还是位置？

若位置重要，就应当能只改变位置。

新附着格子可变为已改变，选法可以不同。偏好最终较被埋的格子。在可格子中无偏好选择。或偏好向外暴露更大的格子。三种策略：

内部偏好
随机
表面偏好

表面策略第一次运行结果惊人。已改变状态在活动建造附近停留久得多，产生更多前沿暴露、更多概率杠杆、更多实现的建造差异。

起初，那像答案。

然后我们发现了混杂因素（confound），而且是漂亮的一个。把已改变状态保持在前沿附近不只是把同样材料放得更好。它创造更多新格子获得已改变条件的机会，更多材料在前沿附近，创造更多机会，如此循环：

表面放置
↓
更多可触及已改变材料
↓
更多可传播机会
↓
更多真实传播
↓
更多可触及材料

表面分支一次改变了两个变量：

已改变状态放在哪
+
已改变状态有多少

所以那次刺激的运行还不是我们想要主张的证据。这就是本书反复出现的形状：阳性结果的第一版通常藏着比我们希望的更廉价的解释。

把同样的过去放在不同地方

修复办法是拿走量这个变量。

我们用控制器（control）重建比较：它在每一步传播横跨三个分支找一个三者都能满足的拷贝预算，强制每分支恰好传递那么多已改变格子。

这个控制器是实验仪器，不是赋予晶体的新能力。它的工作是去掉传播状态量这个混杂因素。

在干预（intervention）层面现在固定：

检查点
环境
拷贝数
传播事件数

刻意改变：

放置策略

比较不再是更多状态对更少状态。

而是等量传播状态的不同放置。

现在干预干净：

等量的历史状态放在哪？

第一次等量实验失败。

它预先声明的终点是单个晚期快照，预测的放置顺序在那里没有出现。

那个结果保持失败，显式出现在下面的证据台账。轨迹给出不同问题：也许放置影响的是状态保持因果可用的时长，而非在某个任意晚期时刻保证差异。

那个观察没有抢救失败的终点。

它产生新假设，因而需要新实验。

那个实验的观察窗、结果度量与分析规则在检查其结果前冻结：

放置可能控制因果寿命而非某个晚期状态。

放置改变因果寿命

于是保持精确匹配拷贝控制器，材料机制一字不改，只改结果的定义。不用一帧，冻结观察窗——第 5 到 18 步——在其中积分：

前沿可触及随时间
概率杠杆随时间
实现的因果附着翻转随时间

新种子、新晶体群体，窗口与度量在看任何结果前固定。

三个逐晶体度量在冻结观察窗上积分，给出同样顺序：

内部  <  随机  <  表面

非整数翻转值是群体均值，不是单个晶体内部分数附着事件。

而传播材料累积量在三策略下完全相同——平均各 27.1875 次传递。实验比较的不是更多历史对更少历史，而是等量历史放在哪。

三项测量合在一起挣到本章最强的阳性主张：

在传播状态量保持恒定时，空间放置改变了该状态对后续生长的因果可用的持续时间与强度。

更多存储的过去不是答案。等量存储状态因放置不同而因果寿命不同。

量已固定，存续由模型保证，因果可触及与实现的影响仍大不相同。剩下的唯一变量是相对移动界面的几何。

存储容量不再是有意思的量。

停止深挖

我们用三个预先声明的主张把机制推得更远。

可触及通过创造更多传播机会自我强化。否则匹配的传递时间增加因果触及。某些传播时刻表单位接触产生更多因果效应。

每个都产生值得留在实验记录的窄观察。没有一个满足其宽泛预先声明的主张，三者都作为单独的 NOT SUPPORTED 行出现在下面的证据台账，而不是折进这里的一句话。

到那时科学图像已停止变化：

量可混杂放置
放置改变因果寿命
可触及状态能施加因果杠杆

窄探索性协议仍是实验记录的一部分。

它们在此不值得另一次拔高。

我们真正造了什么

剥掉经验与记忆，平实地描述对象。

过去事件写入持久局域状态。该状态改变其近邻的建造概率。一些概率改变越过随机决策边界，改变哪些格子真的被建成。传播能把状态带向外。放置决定它保持可及多久。一旦掉到孔径之后，它可永远存续而不影响任何事。

有用的操作性描述是：

经由移动因果孔径的状态依赖建造

这超过被动存储，远不到记忆。没有任何东西识别任何东西。没有任何东西被表征。材料不知道自己身上发生过什么；它只是局域地不同——而差异有后果，直到未来还能触到它。

值得带走的那句：

过去可以在长期不再被未来触及之后仍被存储。

发生过什么——还是发生过哪件事？

现在升级，这是决定这一切走向何方的那次。上面的一切都关乎单个二值条件。材料只能回答一个历史问题：

这里发生过什么吗？

依赖于是否发生过什么的未来，弱于依赖于哪个发生的未来。前者给我们保留的后果；后者给我们历史依赖的分化。那是下一道边界：

两种不同先验经验能否留下不同的保留材料状态，对完全相同的后来挑战产生有意义的不同响应？

设计直接跟随。给两个晶体两种不同历史。停止历史。让两者在相同条件下延续。然后用相同的后来挑战打两者，问响应是否不同——差异是否由保留材料而非历史碰巧留下的几何造成。

若成立，过去身份——而不只是过去事件的存在——就成为后来响应的因果变量。

称这个窄性质为历史辨别。

两种过去，一个挑战

第一次尝试把历史身份显式化。三种材料状态而非两种：

正常
历史_A
历史_B

两分支在几何、材料量与写入位置上完全相同，只在保留标签是 HISTORY_A 还是 HISTORY_B 上不同。

挑战前夕两晶体在能匹配的一切上匹配：

占据格子          相同
可见形态      相同
标签位置         相同
材料量       相同
传播放置   相同
环境             相同
随机数耦合  相同

只有标签身份不同

保留期间两标签都惰性——什么都不做。挑战期间，HISTORY_A 邻居产生小正局域偏置，HISTORY_B 邻居产生小负偏置，主量是交互：

(A 挑战 − A 无挑战) − (B 挑战 − B 无挑战)

对照行为符合要求。无挑战时 A 与 B 未来相同。挑战前夕擦掉标签后 A 与 B 未来再次相同。所以保留标签挑战条件下的任何差异必来自标签。

跑之前，我们冻结了本书一直缺的东西：值得解释的最小效应。

交互必须通过方向性统计检验并满足两个操作性 magnitude 门：

至少挑战前占据数的 1%

且

至少普通种子间变异的 0.5 个标准差

这些不是生物学常数或普适阈值。

它们是预先声明的，为防止很小但估计精确的效应仅因 p 值漂亮就被拔高为研究现象。

统计可检测
且
大到重要

第二个要求正要挣回它的位置。

本章最危险的 p 值

差异出现。

按挑战前占据数归一化的交互     0.00440
自助区间                                     0.00331 ... 0.00548
方向性检验                                       p ≈ 0.00025

按常规只看显著的规则这很容易判阳性。区间舒适地排除零，p 值极小。

但显著只是我们声明的标准之一。在两个 magnitude 门上效应两门皆挂：

占据数门     0.44%      要求 1.00%
种子噪声门     0.383 SD   要求 0.5 SD

失败

统计效应可检测。

预先声明的科学主张仍失败。

看结果前，我们要求的比偏离零更多。交互相对占据规模与普通晶体间变异还必须大到算作我们说要找的现象。

它不是。

小 p 值告诉我们观察结果难与声明的零模型相容。

它不告诉我们效应大到是我们说要找的东西。这是两个问题，只有一个是统计的：

它能与零区分吗？

它大到是我们说要找的东西吗？

第二个买不走，多跑晶体买不走。增大样本让小效应估计更精确；不让效应相对预先声明的占据数或种子间 magnitude 门变大。

在这里区分有牙，因为我们否则会写什么。手握 p ≈ 0.00025 而无 magnitude 门，句子自己会写出来：晶体按自己有过哪个过去做出不同响应。 这在 0.44% 占据数的差异也是差异的意义上为真，又彻底误导，因为那完全落在相同历史的两晶体按 chance 彼此差异的 routine 范围内。

统计可检测
≠
科学上足够大

我们还顺带注意到多数差异出现在挑战第一步然后洗掉。看后把第一步拔高为主终点很容易。主终点是冻结的四步交互，保持冻结，第一步模式仍只是诊断性观察。

拿掉解码器

magnitude 门已经否决了主张。

设计还暴露了我们所造问题的更深毛病。

我们造了两个标签，然后显式告诉挑战如何解释每个：

if history == "A":
    increase probability
elif history == "B":
    decrease probability

那是我们提供的解码器。

实验于是建立的比历史辨别窄：工程局域标签能保持可用足够久，让工程解码器产生小而统计可检测的响应。

它仍没过预先声明的 magnitude 门。

即使效应更大，也回答不了更强的问题：

不同过去能否留下材料差异，让普通后来动力学在不被告知那些历史含义的情况下区分？

我们没有调那个失败实验，而是拿掉解码器。

无名两种过去

第二个设计回到单个改变状态：

正常
已改变

没有 HISTORY_A，没有 HISTORY_B，基底里没有任何命名历史的东西。

两种经验只在哪写入同样已改变状态上不同：经验 A 朝边界一个方向区，经验 B 朝另一个。

同样材料状态
同样初始写入量
同样传播量
同样材料物理
不同空间组织

然后两种历史接受同样的后来挑战。

共同挑战是在四步响应窗起点把环境输入一次性提高 0.65；之后两分支回到同样普通环境序列，挑战本身不写新材料。

挑战不含历史标签，也无 A/B 特异解码规则。

还有一个混杂因素要去掉。因为已改变材料影响生长，两种历史在挑战到来前可能已产生略微不同几何——那时简单 A 对 B 比较会把保留材料与材料碰巧建出的形状混淆。所以在精确挑战前检查点克隆每种历史，只擦标签不动几何，取差异之差异：

[(A 挑战 − A 无挑战) − (B 挑战 − B 无挑战)]
                               减
[(A擦掉 ...)               − (B擦掉 ...)]

这才正确地分离问题：

保留材料组织是否在历史已造出的几何之外，贡献历史依赖响应？

痕迹保持不同，响应没有

机制审计回来良好。两种历史写入同样多材料，传播量相同：

平均初始写入         19.6
累积材料 A       78.5
累积材料 B       78.5

其空间组织在保留全程保持可测不同。

挑战前检查点，预先声明的已改变朝向诊断——已改变格子绕晶体中心的平均角——保持分离：

历史 A    -0.1323 弧度
历史 B    +0.3298 弧度

这重要，因为等材料量本身不建立不同空间历史。在这里等量已改变材料在挑战到来时仍排列不同。

材料也没被埋。保留结束时，活动前沿仍与已改变材料接触的比例约：

历史 A     0.215
历史 B     0.219

所以两种历史在共同挑战到来时保持空间上可区分且因果可触及。

挑战到来时，三件事已建立：

材料区分存续
两种空间历史仍可区分
两者仍暴露于因果孔径

主材料介导交互     0.000431
置信区间                       [−0.000380, +0.001235]
方向性检验                          p ≈ 0.163
相对种子噪声                        0.033 SD（要求 0.5 SD）

失败

在声明尺度上这不是惜败。区间横跨零，估计的材料介导交互只有普通种子间变异的 0.033 个标准差，对预先声明要求的 0.5 SD。冻结实验里无物可拔高，无物可抢救。

许多额外探针可能——不同空间组织、不同挑战几何、不同时间——但每个都是新实验。搜变体直到成功回答的是与声明不同的问题，所以这个机制家族到此为止。

一个保留意见必须精确声明，因为它是阴性结果的诚实边界。我们的挑战是一种特定探针。两状态可以在给定探针不测的自由度上不同——只对总幅度敏感的检测器对相位不同的两信号响应相同。所以失败的是这个：

在冻结协议下，两种存续、可触及、可测不同的材料历史，没有对共同后来挑战产生科学上有意义的响应差异。

不是：任何后来相互作用都不可能区分它们。那需要没人跑过的实验。但承认边界不是搜过边界的许可。

可触及的过去

本章后半两次拔高尝试失败。若据此认为什么都没成就误读严重。

存续的是本章出发要找的机制。经验能在过程材料中写入持久局域改变。改变偏置附近建造。一些偏置成为实现的建造差异。量精确恒定时，状态在哪决定它能做这些多久多强。

失败的是把机制拔高为携带过去身份的东西。

两者合在一起给出层级，每级都是单独的经验性质：

写入                         支持
↓
存续                       支持
↓
保持可触及             在被测放置下支持
↓
改变后来建造      支持
↓
区分过去     对痕迹本身支持
↓
差异使用过去   在冻结协议下失败

实验现在挣到两个区分：

存续不等于可触及。

可触及且可区分不等于被差异使用——在冻结协议下。

第二次失败更有意思，因为第一个解释已不可用。早先存储状态停止起作用是因为生长埋了它。这里两种历史保持：

存续
可区分
可触及

存储的区分不自动成为未来动力学使用的区分。

这给出更强的层级：

存储
≠
可触及
≠
因果利用
≠
差异使用

实验注记

本章在冻结数字晶体基底上加一种持久局域材料条件：已改变。

已改变材料只有其状态进入活动候选位置的局域附着计算，才能影响后来建造。本章把保留材料经由它影响跃迁的当前活动界面称为因果孔径。

放置实验用三项相关测量：

前沿可触及
    保留已改变材料与活动附着机会
    保持耦合的强度

概率杠杆
    可触及已改变状态造成的
    局域附着概率累积改变

实现因果翻转
    去掉材料状态贡献的配对反事实中
    改变的附着结果

因果寿命实验中这些量在预先声明的第 5 到 18 步观察窗上积分。匹配拷贝控制器在放置策略间均衡传播状态量，是实验分离装置，不是晶体的内在能力。

符号历史辨别实验中，交互 magnitude 相对挑战前占据数与普通种子间变异评估。预先声明的操作门为占据数的 1% 与 0.5 SD，外加方向性统计检验。

后来的非符号实验去掉 A/B 解码器，只保留一种已改变材料状态，匹配传播量，在同样后来挑战下比较两种空间上可区分的历史。挑战前检查点的标签擦除对照用于减去那些历史已产生的几何造成的差异。

两次历史辨别实验主比较都用 96 个独立种子实验组，每实验给出 n = 96 个配对交互测量。0.5 SD magnitude 门用的种子间噪声尺度在每种情形下分别从 200 个独立种子对照组估计。

精确写入规则、材料效应系数、挑战参数、自助流程、方向性检验与逐种子原始结果仍是附带实验记录的一部分。

证据台账

下面有一行证据尚未俱全：空间可区分结果记为支持，但其支撑测量尚未从实验记录转录。本章在补上前不应冻结。

材料不留下时会发生什么？

本章花了整章给过去在过程内部找住处，找到了。也看到了它的下场：生长覆盖它，孔径前移，完美保留的历史变成完美无关。

本章每个解法都想把存储状态保持在只向外移动的前沿附近。

这暴露了一个还没挑战的假设。

自数字晶体引入以来：

占据
→
永远占据

所以下一个实验不加另一种保留历史的机制，而是去掉一个保证：

占据
↓
空

以某个小概率。无修复。无维护。无能量。无代谢。只有缺失。

这一个改变去掉此后每个晶体实验一直依赖的假设：

材料 permanence

去掉它会跟出什么，我们还不知道。

正因如此值得跑。

本章一直在问过去如何保持因果可用。

下一个实验把问题变基本。

如果承载过程的材料根本不再保证留下呢？

物质缺失之后什么存续下来？