底下的理论,以及它输掉的部分
装置借来词汇的那几条研究线,按每一条输掉了什么来报 · Macheng Shen × agent · 2026-09-07
一个租来的动作、一个双票 wrapper、一个 stop epoch——本章描述的这些机制,有的是在跑的代码,有的还只是 specified。它们都不是凭空长出来的装置设计。它们下游是一条更长的研究线,关于信息是什么、它怎么流动、一个系统忘记的时候付出什么代价——装置借用了这条研究线的词汇,在至少一处,也借用了它的失败。下面每一条线各占一段:它主张什么、被证伪或还没兑现的是哪一句话、它的认知状态,以及一个链接。可信度跟着一条线输掉了什么走,不跟着它盼着什么走。
脊梁:信息动力学与可达性
整个研究计划的脊梁是一个关于信息本身的主张:重要的不是某个静态表征,而是变换它的那些算子,以及一个系统忘记时要付出的代价。衰老、癌症、一支被叫停的 agent 编队,在这个框架里被读成同一类完整性失效的实例——未来可达性被摧毁,而不是被保存。这是本页其余各条线所在的伞;它停在研究计划这一级,不是一个已经跑通的结果。入口:Living Information System与/start-here.html。状态:speculative。
多模态表征不可约性——一次证伪,照实说
主张是:模态之间的 embedding gap 不是优化失败,而是有损投影之下一种结构性障碍——两个信道投影同一个 latent,约束数多于自由度,generically 就会留下非零残差。合成实验干净地过了:阈值恰好出现在预测的位置,contrastive 目标停在解析 floor 之上,训练时长拉长十倍也压不下去。
然后是证伪,这也是这条线值得报的唯一理由:在真实模型上,预测的 scale-decay 曲线被测试并撤回了——co-training 之下残差随规模下降,方向和预测正好相反。
幸存下来的更窄:一个颗粒度剂量-响应(granularity dose-response)——粗粒度概念能粘合,细粒度不能,在三对模型上单调,跨度大约 8 倍;以及在独立训练的两座塔上,残差预测的一个弱化版本。后续一次实验把 contrastive co-training 本身重新归类为一个 collapse 环而不是修复环——残差下降是因为被障碍卡住的那个场被丢弃了,不是被解开了。dimensional collapse 这条 prior art 还没清干净。owner 的裁定是把这条线收作 handle 静置,不再继续推;它目前还没有公开页面。状态:机制层面speculative;被证伪的那句子命题是retired。
Agency 与自我边界——一个已发表的阴性结果
这里的头条是阴性的,而且正因为阴性才更可信:在 30 个种子下,一个候选的自我封闭(self-sealing)动力学,无法和通用的带门慢变量、或者干脆冻结动作通道区分开。一份后续 spec 只测这个阴性结果没测过的东西——一次边界耦合干预,而不是一次读出——而且明说是条件性的,还跑不起来。它对现象学意义上的主观体验不做任何断言;这条限制是 spec 本身的一部分,不是这里省略掉的。发表为learning-the-self-boundary.zh.md及其阶段记录。状态:speculative,附一个已发表的阴性结果。
记忆是动力学,不是检索
长期记忆在这里被当作一份运行合同,不是一个向量库:一条 claim 携带 provenance、一个有效区间、一个明确的冲突状态,并且只通过动作收口——一份 receipt、一步验证、一次可测量的行为改变。这是「观察不构成授权」「成功不能自己签发」这两句在机制层和原则层反复出现的话的直接源头。两者都是把这个立场用在一条 claim 上,而不是整个信念库上。field guide:/long-term-memory/。状态:speculative。
Credit transport
Credit transport 问的是:报酬应该沿着一张因果图分摊,而不是沿着一条链。这里更早的一个头条结果——一个 discounted holonomy 不变量——本身已经被撤回,替换为对 discounted incidence operator 的像取模之后的加权残差,这个修正本站已经完整收录。悬而未决的是:一次内部对抗式评审,对由此得到的 credit-curvature 量是否可用给出了「还不行、需要 reframe」的裁定,所以这条线是活跃的,而且被部分推翻,还没收口。完整论证:discounted-credit-is-a-cokernel.zh.md。状态:speculative。
协调结构
一个政体、一家公司、一个市场、一个 commons、一个协议,在这里被读成同一个对象的五个实例——一种在分布式、私有信息之下调度稀缺资源的架构,资本主义和社会主义则被读成同一个形式空间里的两种算法,而不是两套对立的地基。原则层里「权威只有一个根」「principal 分两类」这套语言,就是从这里来的。文章:coordination-structures.md。状态:speculative。
验证需要类型化的 claim
论点是:验证真正受限的不是成本,而是验证者能不能把这条 claim 解析出来。测出来的结果直接支持这一点——一个由 prose 加正则拼起来的 blocker 闸门,在测试集里只召回了十条假的「等 owner」park 里的五条;而一个覆盖同样范围的最小类型化 receipt schema 没有同样的盲区——不是因为它更努力,而是因为一条格式不对的类型化 claim,没有一个通顺句子那种可以藏身的地方。完整笔记:abundant-verification-needs-abundant-claims.zh.html。状态:speculative。
一套约定,两处用法
本站每一条 claim,包括这一页自己,都只带三个词里的一个:survived、speculative、retired。这不是装饰,也不是理论专属——它和机制那几页上 running / specified 那套徽章是同一套纪律,只不过这次用在一个信念上,而不是一段代码上。一个标 specified 的机制,有设计、没有强制执行;一个标 speculative 的 claim,有论证、还没有一次真正想杀死它的压力测试。两套徽章存在的理由是同一个:让一个读者——不管是人还是 agent——不用重建整段历史,就能看出什么是承重的。上面这些证伪不是要绕开的难堪,它们和事故这一页要你相信它报的那些「仍然在坏」时用的,是同一种货币、同一份证据。