UNSEEN · 认知报告 · 批判分析 · 广场
交给 AI 的 Context 不应是仓库、文档与聊天记录的堆叠,而应是为当前问题切出的最小充分工作现场——只放入会改变判断、且工具不能可靠补齐的材料,并随工作进展持续更新状态。
原文速写
一篇方法论随笔,主题是如何为AI任务组织Context。以「新品上架两小时内搜不到」为案例,主张Context是为当前问题切出的工作现场而非资料仓库。论证路径分三层:先放入会改变判断的问题、目标、边界和证据;将证据、猜测、状态区分开;再把过期、失效或无关材料移出或标注状态。最后指出Context随工作更新,已确认事实与被推翻判断需分别处理,下一步应让AI带范围去找证据而非猜。
这篇内容真正讨论什么
作者以一个具体排查任务为背景:新品在上架后两小时内搜不到。任务约束包括批量索引任务不能停、输出格式不能变、下游报表依赖它,当前处于只调查、不改动的状态。原文未标注年份,其发布时间为 2026-09-16。
逻辑质量分析
优势
- 把 Context 取舍的判据从「材料是否齐全」换成是否会改变哪一个判断,使标准从模糊的完备性诉求变为可逐项检验的必要性判断,降低了空泛化的风险。
- 取舍标准写成了双向条件(必需 + 工具不能可靠补齐),既排除了无关材料,也规定了必须入场的下限,避免了「越少越好」的单向极端化。
- 对信息做证据/猜测/状态三分,且每一类都对应一个具体的误用后果,使概念区分直接服务于失效预防,而非停留在术语整理。
- 在承认核心问题仍有未知的前提下,把未知转为带明确范围去找证据的下一步,而不是靠继续补充材料来掩盖证据缺口——这规避了用材料替代调查的常见推理错误。
不足
- 移出标准把「无关」「失效」「互相冲突」三类并列处理,但前文给出的致害机制只覆盖冲突与过期一支;「无关」材料为什么也需要移出(例如占用注意力、增加检索噪声),原文没有交代机制,属于未加论证的推定。
- 原文后半句论证的是冲突信息的危害,前半句却给出了关于数量与真实情况之关系的判断;用「冲突致害」支撑「最小化」的数量控制,中间少了一环——在不存在冲突与过期的前提下,材料多本身是否致害并未论证。
- 作为定义的结论句未附带场景限定,而支撑它的示例场景带有若干特殊条件(只调查不改动、问题边界已明确、工具能力大致已知)。当任务需要探索式理解或问题边界尚不清楚时,同一最小化标准的适用性未被讨论,存在从单一场景外推的倾向。
遗漏
- 「充分」在事前无法验证:问题尚未解决时无法确认材料已经足够,原文只规定了如何减、如何更新状态,未规定何时应当把材料加回来,因此该标准实际只能事后检验。
- 裁剪本身的成本与误裁代价:判断某项材料会改变哪一个判断,需要先验的问题结构知识;判断失误在当时不会显形,这部分成本未被计入取舍。
- 任务类型的差异变量:示例场景的问题边界、约束条件与工具能力都比较明确,探索式或结构不明的任务是否适用同一最小化标准未被交代。
反向视角
- 原文的核心致害机制依赖一个行为假设:模型会试图同时满足互相矛盾的规则,从而在判断上折中。若模型对冲突信息的默认处理是显式报告冲突、或按来源与时间排序后取最新,冗余的主要成本就转为检索与注意力成本,其量级是否高于遗漏成本并未被验证。这是一个未验证的问题——若前者更低,最小化就不再是默认选项,裁剪幅度应回到逐案比较。
- 按当前问题切分现场,隐含前提是这个问题已被正确定义(原文以现在你已经知道要解决什么开篇)。若初始问题陈述本身就是误诊,例如搜不到的真实原因不在搜索链路,那么按该问题切出的现场会精确地排除掉解释真实原因的材料,裁剪把诊断错误固化成现场结构;又因为现场自洽,重新定义问题的触发概率还会下降。此时同一套原则从提效机制变成错误放大器。
替代性解释
- 收益来源可能不是减法:显式写出问题、目标和验收条件以及边界这一动作本身,可能已带来大部分效果。若如此,在保留全部材料的同时显式写出目标与验收条件,结果可能相近——这决定了裁剪是必要条件,还是可选的额外优化。
- 冲突与过期信息也可能充当信号:被移出的旧方案与否决讨论若带来源与时间标注,本身就是检验当前假设的线索(旧方案为何被否、当时针对的约束是否仍然成立)。原文把冲突与过期统一归为致害,替代解释是它们在被标注后转为诊断资源,此时正确的处理是标注而非排除。
核心洞察
- 「拿不准一项材料是否该放进来时,可以先问它会改变哪一个判断」这条判据要求提问者先能说出材料的用途,而一件材料能否改变判断,只有在当前这套判断已经成形之后才说得清。于是该判据的适用域恰好止于当前假设集,对假设集之外的材料结构性失明——而真正能推翻当前框架的材料,必然来自假设集之外。据此,以说不出用途作为排除依据的默认方向,把最贵的一类错误(漏掉重新定义问题的材料)放在了规则的盲区里。L2 · 发现隐藏变量置信 · 中
为什么:原文把判据与排除规则连成一句:拿不准一项材料是否该放进来时,可以先问它会改变哪一个判断;说不出用途的材料,通常不必占据当前现场。用途的可说性由现有问题框架提供,而本次任务的问题框架并未闭合——原文自己把「两小时间隔为什么存在,增量更新会碰到哪些路径」列为仍属未知的部分。框架未闭合时,能说出的用途只覆盖已被想到的路径,覆盖不到尚未被想到的路径;被排除的材料不是被判定为无用,而是被判定为暂时说不出用途。
意义:裁剪减少的是与当前框架相关的噪声,还是框架本身的不可靠性,两者不是一回事:现场更自洽,并不等于更接近真实原因,而且现场越自洽,重新定义问题的触发概率越低。可行的修正不是放弃裁剪,而是把说不出的用途再分两类:与当前判断无关(可移出),与尚未进入当前框架(需要一条不依赖用途的入场通道,例如按成本配额放行,而不是按相关性放行)。
- 裁剪的最优幅度由两类错误的相对代价决定:冗余材料引发模型在冲突规则之间折中的代价,与遗漏材料导致排查回路延长的代价。原文只给出了朝向更少的一个方向默认,未把后一类代价计入标准。而在原文自己给出的边界条件下,生产环境中的试错是受限的,遗漏被发现的成本反而更高。因此在状态不可改、输出被下游依赖的场景里,最小这一侧应当放宽,而不是继续收紧。L2 · 发现隐藏变量置信 · 中
为什么:原文对冗余给了机制:过期和冲突的信息可能让它在不相容的规则之间折中;对遗漏只给了动作——无关、失效或互相冲突的材料,应当移出,或明确标记状态——没有给代价。两类错误孰重取决于遗漏能否被快速发现:若能随时重跑与回滚,遗漏只是多一次往返;若不能,遗漏会在排查回路里累积。原文的边界条件(批量索引任务不能停,输出格式不能变,下游报表依赖它)正落在后一种情形,原文却用同一句话只承担了写清边界的职能,没有让它参与裁剪幅度的判断。
意义:这提示最小充分不是一个固定阈值,而是一个随发现成本移动的刻度:验证越便宜越可激进裁剪,验证越贵越应保留冗余材料并标明来源与时间。把最小充分当作通用默认,会在最不能承受遗漏的场景里做出最激进的选择。
- 证据/猜测/状态三分法把不确定性编码成单项材料上的标签,却没有编码材料之间的依赖。当一条状态更新推翻某个判断时,以该判断为前提的其他条目没有失效传播规则;而最小充分又会把承载依赖关系的材料移出当前现场,使依赖链在更新时不可见。结果是局部更新可以留下全局不一致,且不一致不在更新当场的材料里显形,而是以错误前提的形式进入后续推理。L2 · 发现隐藏变量置信 · 低
为什么:原文的三分法处理的是类别混用,对象是单项材料的认识论地位,形式是一组并列标签:把它们分开,能减少模型把猜测当作事实、把旧状态当作当前结论的风险。原文对更新的说明同样是逐项动作——已确认的事实应进入当前状态,被推翻的判断要标明失效——但没有说明一条判断被推翻后连带影响哪些条目。依赖关系是否在场,取决于承载它的材料是否在场,而这又由裁剪决定;两条建议在这一点上相互削弱,原文未作处理。
意义:标签系统能防止把猜测当事实,却不能防止在一个已被推翻的前提上继续推理;后一类错误更隐蔽,因为它每一步的标签都是合规的。若要补这一环,需要的是条目之间的依赖与连带失效规则,而不是更细的分类。
- 失效标记写在当前现场上,而材料有多个副本:当前现场、历史记录、以及协作者的印象。原文规定了临时输出可以留在历史记录里而不应继续作为当前依据,却没有规定失效标记是否随材料一起进入历史记录。若标记不随副本传播,被推翻的判断会以曾经作为依据的形式在后续协作中重新生效——一次已经完成的纠错被退回未纠错状态。这是对原文未交代环节的推论,不是原文陈述。L2 · 发现隐藏变量置信 · 低
为什么:原文对失效与历史记录分别作了规定(已确认的事实应进入当前状态,被推翻的判断要标明失效;临时输出可以留在历史记录里,但不应继续作为当前依据),但区分只落在使用意图上,而意图不写在材料里,需要读者或模型临场判断。一旦有人直接检索历史记录,被推翻的判断与已确认的事实在文本层面没有区别,判别依据只剩语境。
意义:这决定了动态更新是单向写入还是需要维护副本一致性:若标记不随副本走,更新频率越高、历史越长,旧结论复活的机会越多,而更新的收益会被这份残留抵消。原文对更新频率与副本数量的关系未作讨论。