摘要
把“好像能合作”变成可以被重算的形成过程
发现系统擅长把一个意图带到相关主体附近，但相关性本身不会创造合作路径。真正困难的部分是：当合格路径尚未存在时，怎样改变条件，使一条路径第一次成立，同时保留主体的决定权、承诺的可追溯性以及结果的因果证据。本文提出并实现可能性形成引擎 PFE v3，将这一问题建模为“启迪—承诺—形成证据”的完整链条。
系统上游采用高方差、多种子、强制结构差异的启迪通道。候选方案只需要满足接地性：所引用的主体、能力和资源必须可核对；可行性判断被有意留到后续。系统下游采用类型承诺账本，K1–K5 分别检查守恒、闭合、个体理性、可编译性以及承诺—证据耦合。协议设计要求真实主体选中或改写候选后，承诺才可进入验证、分期与执行；本次 15 组语料运行保留了这个入口，但未请求人的选择，全部在缺少 mandate 时停下。
形成核心把“做不到”拆成信息、能力、授权、证据、拒绝与结构冲突等不同状态，并为每种状态选择不同动作。系统在本地确定性工件上冻结前态与原目标，执行一个已授权且可归因的形成算子，由三个 Codex target-position 角色读取后态，再移除算子重放。冻结工程遥测显示，公开来源组合、30 个攻击加 1 条 K5 正向路径、完整形成弧条件、一次边缘规范会话的机械检查和一个合成密封样例的分离评估检查分别达到 15/15、31/31、5/5、35/35 与 11/11。
ToWow 研究计划。《从发现到形成：可能性形成引擎 PFE v3 的双通道生成、类型承诺与因果证据》。Towow Research，2026。
01
三个问题，三条完整回答
Q1
怎样同时保留生成模型的想象力与现实承诺的严谨性？
不是把模型调到一个“既大胆又可靠”的中间温度，而是承认探索与承诺是两种不同性质的活动，让它们服从不同规则。
如果同一次生成既要负责想出陌生组合，又要为预算、权限和现实后果担保，系统通常会落入两种坏结果。第一种是过早保守：模型只重复最容易解释、最不容易出错的常见方案。第二种是过早确定：模型提出一个尚未验证的候选，却因为语言完整、步骤清楚而让人误以为它已经具备授权和可执行性。把温度从 0.8 调到 0.5 并不能解决这个冲突，因为冲突不在采样参数，而在两类输出拥有了同一种制度身份。
PFE 因而建立两条通道。启迪通道负责扩大可能性空间：多种子生成，强制候选在角色分配、关系边或阶段原语上拉开距离；它只要求候选引用的主体、能力与资源能够回到来源。这里的接地不是可行性证明，而是对人类注意力的最低尊重——允许陌生推演，不允许拿虚构对象浪费核实成本。
承诺通道从另一个时钟开始。只有主体选择或改写候选，并提供相应的 authority receipt，计划才进入类型账本。此后每次状态移动都要回答：付出与获得是否守恒，依赖是否闭合，各方是否仍认为自己有正价值，动作能否编译，以及这次承诺升级是否真的有一条新增证据。模型可以提出下一步，却不能用更自信的措辞覆盖机械红灯。
这一区分也解释了为什么“人改过方案以后才执行”仍可被计为生成侧价值。启迪通道的任务不是预测人最终会完整接受哪一稿，而是给人的判断增加此前没有出现的结构。人的修改不是噪声，而是候选完成价值转化的正常环节；真正进入执行学习的标签则来自后续目标端结果，而不是当场的一句“听起来不错”。
由此得到的判断：生成质量与承诺质量必须分别评价。前者看是否带来有根据、结构上不同的新可能性；后者看是否有主体选择、权限、证据、可退出条件与目标端事实。把两套指标混成一个“计划得分”，系统会同时损失创造力和可信度。
Q2
系统怎样区分“找到了”“造出来了”和“悄悄换了目标”？
关键不是看最后有没有一条路，而是保存同一个目标下的前态、介入、后态与消融世界，让“因为什么而成立”可以被重算。
搜索系统回答“已有空间里哪条路最相关”。形成系统声称得更多：原来没有合格路径，因为一次可归因的动作，后来第一次出现了。如果只检查后态，两种情况看起来完全一样。系统今天找到一个能工作的 API 组合，可能只是昨天没有搜到；生成一个新文件，也可能只是把原任务换成了更容易的任务。形成主张因此天然是一个因果主张，而不是一个完成状态。
PFE 先冻结原目标 G 与前态 S₀。冻结的不是一句容易被重新解释的口号，而是必要主体、对象、效果谓词、阈值、硬约束、验收位置与资格规则。随后形成算子 φ 必须具有明确权限、执行者、输入、成本、恢复方法和产物回执。后态 S₁ 仍然用 G 判定，不能使用执行过程中临时出现的更小目标。
接下来需要两类观察。target-position readback 回答“动作接收位置现在看见了什么”，消融回答“这条路径是否依赖刚才的动作”。若 Path(G,S₀) 为假，执行 φ 后 Path(G,S₁) 为真，而移除 φ、保留其他条件后路径再次为假，我们才获得一条可检查的形成记录。如果 S₀ 中路径原本就存在，那是 discovery；如果 S₁ 只在 G 被替换后成立，那是 transformation。
目标变化本身并不是错误。现实研究和协作当然会改题，但合法改题必须留下版本差异：谁提出了变化，删掉了哪些主体或价值条件，为什么改变，哪些有 standing 的主体同意。这样新目标可以作为 G₁ 单独推进，同时 G₀ 的结果仍保持真实。危险的不是转向，而是让一个更容易的成功回填到原目标。
由此得到的判断：任何宣称“系统创造了新能力、新关系或新效果”的产品，都应先给出原目标、前态、介入、目标端后态与反事实检查。否则“形成”只是一个无法区分漏搜、改题和真正因果介入的营销词。
Q3
一个边缘 Agent 怎样在材料不完整时可靠加入？
它不靠预装整套 Towow 背景，也不靠猜全主体画像；它靠一份薄规范，把已知事实编译成有来源的信号，把未知变成能改变决定的问题。
开放 Agent 网络无法假设每个参与者使用同一模型、同一记忆系统或同一组织数据库。真正可部署的接入方式，必须允许一个刚启动的 frontier Agent 在只拿到当前主体材料和一份规范时加入。材料不完整不是异常：用户往往只有一句意图、几段文档、一些不能外发的限制，以及大量连自己也尚未想清楚的条件。
规范的第一条纪律是 compile, do not invent。Agent 只把有回执支持的内容编译成 SEEK、OFFER 与 CONTEXT：想从什么状态走向什么状态，已经具备什么可核对能力，哪些约束会改变前两者的含义。私有事实留在主体侧；公开项目的能力描述也不会被推导成项目授权。凡是缺少来源的合理猜测都保持为 UNKNOWN。
UNKNOWN 随后不是被动等待，而是进入问题选择。每个候选问题都要说明它会改变哪项决定，并估计“被解锁决定的价值 × 答案改变决定的概率”。例如，“你是否愿意公开原始传感器位置”可能直接决定某条方案是否退出；“再介绍一下你的团队”却可能消耗一轮而不改变任何路径。只有预期决策价值高于提问成本的问题才进入下一轮。
当候选到来时，边缘 Agent 代表的也不是一个可被平台随意覆盖的 profile，而是当前任务下、受 mandate 约束的主体投影。它对照私有条件返回类型化反对，可以明确 NO，且拒绝之后不得进入说服路线。只有另行出现的主体选择与授权回执，才能打开承诺通道。这样，薄规范提供的是协作语法，不是中央平台对主体的替代判断。
由此得到的判断：开放网络的互操作核心不是让所有 Agent 共享同一个“大脑”，而是让它们在保留本地主体边界的情况下，共享最小、可验证、可拒绝的交互语法。可靠接入来自状态与回执纪律，不来自平台拥有更多私有信息。
02
本文贡献
一个端到端、可重算的生成层实现
系统把公开来源提名、强制多样生成、接地回执、边缘审查、类型账本、可读计划、本地形成执行、target-position 读回、消融与冻结验证连接为同一条可运行路径。
启迪与承诺的双通道架构
上游把方案当作催化剂，以结构差异扩大可能性空间；下游把承诺当作可检查状态，以代码保证学习速度和承诺速度相匹配。
“不能”状态的可操作类型系统
系统不再把未知、缺工具、缺授权、缺证据、拒绝与结构冲突交给同一种聊天策略，而是将它们路由到搜索、构建、授权请求、低风险探针、尊重退出或权衡揭示。
形成的因果记录方法
通过前态冻结、原目标保持、授权算子、本地 target-position 读回与消融重放，把“路径出现了”变成可检查的本地因果记录方法。
构建与评估的分离
冻结清单从原始运行产物重算全部工程遥测；只读评估器接收已密封的任意输入包，使后续独立研究者可以在未见材料上运行同一结构检查。
03
一条形成路径怎样穿过系统
意图
从一句自然语言开始
启迪
产生结构上真正不同的候选
验证
让每个边缘 Agent 代表自己的主体反驳
承诺
把愿意尝试的部分写进类型账本
形成
改变条件，再把事实放回观察位置
04
冻结工程遥测
所有数字均为 ENGINEERING_TELEMETRY；含义在对应实验与证据范围中解释。
公开来源组合完成双通道合成
每个组合都留下启迪候选、接地证据与被类型账本处理的承诺结局。
30 个攻击与 1 条正向路径被机械重算
攻击覆盖接地、形成以及 K1–K5；红色转换保持账本状态不变，正向 K5 路径仍能推进。
本地形成弧的五项协议条件成立
本地形成与消融、协议级拒绝终态、原目标守护和三角色结构由原始回执重算。
新边缘会话拾取规范
同一会话在只获得薄规范后处理不完整主体材料，检查由原始轮次记录重算。
分离评估器检查通过
只读评估器对密封输入重新验证哈希、接地、账本、形成、规范拾取与报告指标。
05 · 研究对象
相关性把人带到门口，形成让门第一次出现
PFE 研究的不是更准地检索答案，而是怎样创造一条可被主体选择、执行和验证的新路径。
传统检索、目录和相似度匹配面对的是已存在对象：文档已经写好，能力已经声明，关系已经在图里。生成性协作面对的是另一类问题。一个主体的目标需要陌生能力组合，但没有现成合同、接口、信任或共同语言；每一方单独看都缺少完成条件，路径只有在交互和小规模行动之后才可能出现。
我们因此把系统输出从“匹配结果”改写为“形成记录”。记录的核心对象不是一段漂亮文本，而是原目标 Q、前态 S₀、形成算子 O、后态 S₁、目标端观察以及移除 O 的消融重放。文本用于提出候选和解释计划，状态机用于保存不可被语言覆盖的事实。
Path(Q, S₀) = false; S₁ = O(S₀); Path(Q, S₁) = true; Path(Q, Ablate(S₁, O)) = false06 · 系统设计
方差在生成侧，闸门在承诺侧，真相在执行侧
把生成模型同时当创意者和执行裁判，会产生一个坏折中：它要么为了安全只给熟悉答案，要么把未经验证的想法伪装成可执行计划。PFE 将这两个职责拆开。启迪通道追求多个结构不同的候选，让主体看到原先没有想到的合作形状；它唯一的硬地板是接地性，因为虚构主体与虚构能力只会消耗人的注意力。
当主体挑中或改写一个候选，信息才进入承诺通道。边缘 Agent 对照各自主体的私有材料提出类型化反对，催化器选择最可能改变决策的问题，类型账本逐步收紧条件。这样，想象力不会因为执行责任而提前坍缩，执行也不会因为一段流畅文字而越过证据。
| 层 | 优化对象 | 硬约束 | 输出 |
|---|---|---|---|
| 启迪通道 | 单位注意力中的新可能性 | 主体、能力与资源可核对；候选保持结构差异 | 带验证状态的候选方案 |
| 承诺通道 | 可执行且可退出的共同动作 | 类型化反对、K1–K5、分期证据与主体否决 | 版本化承诺与可读计划 |
| 形成核心 | 原目标的可达性改变 | 授权、归因、目标端读回与消融 | 可重算的形成结局 |
07 · 承诺类型系统
承诺速度不能超过学习速度
类型账本把自然语言中的“可以”“愿意”“已经做了”拆成版本化状态。K1 检查付出与获得是否守恒，K2 检查环或链是否闭合，K3 检查每一方是否保留个体理性，K4 检查计划能否编译为明确动作，K5 要求每一次承诺升级都绑定新增证据。模型可以建议移动，但不能覆盖红灯。
K5 是系统里最重要的时间纪律。协作早期常见的危险不是缺少热情，而是条款、语气和想象跑得比共同事实更快。账本因此把承诺做成分期对象：先运行低成本、可逆的探针；目标端证据出现后，下一段承诺才获得编译资格。
08 · 形成策略
“做不到”不是结论，而是一张动作路由表
系统首先冻结原目标，然后判断当前路径为什么不成立。缺信息时，最好的下一步可能是一问或一次检索；缺能力时，需要工具、适配器或训练；缺授权时，需要向正确主体请求 mandate；缺证据时，需要设计风险受控且可由目标端读回的探针；遇到拒绝时，系统保留拒绝并终止说服；遇到结构冲突时，系统呈现必须由主体选择的权衡。
类型化缺口让每轮交互都与“什么决定会因此改变”相连。边缘 Agent 以预期决策价值安排问题：优先询问能解锁高价值分支的变量，剩余问题价值低于一轮交互成本时停止。催化器由此成为信息调度器和翻译器，而不是会议主持人或替人做决定的中心。
| 当前缺口 | 系统动作 | 它创造的新条件 |
|---|---|---|
| 信息 | 提问、检索或披露请求 | 可判定的事实 |
| 能力 | 构建适配器、工具或训练 | 原先缺失的可执行原语 |
| 授权 | 请求有范围、有期限的 mandate | 合法行动空间 |
| 证据 | 运行可逆探针并从目标端读回 | 共同可观察事实 |
| 拒绝 | 记录决定与可选反条件，结束说服 | 清晰的关系边界 |
| 结构冲突 | 展示不可同时满足的约束与替代分支 | 可由主体选择的真实权衡 |
09 · 实现
边缘 Agent 是主体的投影，催化器只负责翻译
PFE 的产品设计面向已经在主体一侧工作的 frontier Agent。薄规范告诉新会话怎样读取不完整材料、用自描述信号表达 SEEK、OFFER 与 CONTEXT、保存私有规范、把反对编译为类型，并把计划翻译成人能直接判断的语言。协议为真实主体保留 yes、edit 或 no；本次语料运行没有模拟这一步，记录值为 NOT_REQUESTED。
催化器查看的是组合结构、类型化反对与待验证变量。它合成短环或链，翻译各方能力在他方工作中的意义，并用预期决策价值安排有限轮次。它不持有主体的最终判断，也不能把启迪候选直接送入执行。
运行时保留模型家族、模型、努力等级、可执行文件修订、会话模式、原始输入输出与连续性回执。生成细节可以有方差，仪器身份和每次状态移动的出处则保持可追踪。
10 · 实验设计
从陌生开源组合到一条可消融的完整形成弧
语料实验从官方项目材料提取主体与能力，组成此前没有预写答案的候选组合。每个组合经过强制结构差异的启迪生成、接地核对、边缘审查、可读计划与承诺通道处理。多样性度量和仪器锁在生成开始前冻结，运行中断后按哈希恢复，避免通过挑选漂亮输出改变实验定义。
完整形成弧以空气质量数据意图为自然语言入口，将 OpenAQ、Sensor.Community 与 Grafana 的官方材料投影为三个研究角色。系统识别出 source-snapshot probe 能力缺口，授权并生成一个确定性的本地探针工件；三个 Codex target-position 角色读取各自相关的快照哈希。移除探针后资格化路径消失，恢复探针后路径回来。同一实验还让真实模型会话提出一次更容易的单主体目标，目标守卫按原目标的必要主体、证据、价值与涌现条件将其识别为 transformation；另一条弧让 source-bounded Agent 投影在没有维护者 mandate 时拒绝外部项目写入，并立即停止说服。
攻击实验直接提供原始账本前态与尝试移动，再重新运行验证器，而不是读取一份预先写好的“已阻止”报告。规范拾取实验让新 frontier 会话先只读取薄规范，再在同一会话接收不完整主体封装；分离评估器则只读取密封包，对哈希、来源、仪器、候选、攻击、形成、规范拾取和报告指标重新计算。
11 · 结果
系统在五条证据线上形成了同一份可重算记录
冻结清单不是测试摘要的复制，而是从保留的运行输入重新计算每项指标，并把证据文件、公式、分母和值放在一起。15/15 表明公开来源组合的启迪与承诺通道已经合成；31/31 由 30 个攻击定义和 1 条 staged K5 正向路径组成；5/5 表明完整弧的形成、消融、拒绝、目标守护和多角色条件可以重算；35/35 来自一次新会话、两轮原始 turn 的机械检查；11/11 来自一个作者提供的确定性合成密封样例。
这些结果最重要的共同点是：结论不依赖某个模型说“passed”。每个数字都能回到状态、哈希、来源、移动、目标端观察或原始会话记录。系统由此获得了一种比单一成功标签更丰富的能力——它能说明一个候选如何被提出、一个承诺为何可以前进、一个路径怎样出现，以及一次拒绝为何应该保持为拒绝。
| 结果 | 证据对象 | 系统层含义 |
|---|---|---|
| 15/15 | 公开来源组合 | 双通道端到端合成 |
| 31/31 | 30 个攻击 + 1 条 K5 正向路径 | 红色转换不写入，正向升级仍可发生 |
| 5/5 | 本地完整形成弧 | 形成路径的本地因果记录与角色边界可重算 |
| 35/35 | 一次会话的规范拾取检查 | 新边缘会话能按薄规范处理不完整材料 |
| 11/11 | 一个合成样例的分离评估检查 | 只读入口能从样例工件重算结构检查 |
12 · 讨论
PFE 的价值不是替人做决定，而是增加人可以真正决定的世界
方案即启迪意味着系统不以“第一稿被完整接受”作为中心指标。产品假设是：候选若能让主体看见新的合作结构、据此改写方案并选择下一步，就产生了价值。当前运行已经产出可比较的结构候选；真实主体是否因此改变行动，是下一轮研究要直接测量的结果。
与此同时，承诺通道给这种开放性提供了清晰边界。主体可以被启发，却不会被一个中心模型替代；模型可以大胆猜测关系，却不能虚构主体和能力；任何升级都要等待新证据；任何执行都要有授权；任何“形成成功”都要回到原目标和目标端事实。
这也改变了发现系统的终点。系统不是返回一个排名列表后结束，而是把高召回候选送入一个能提问、翻译、试做、读回和消融的生成层。发现负责把可能相关的边带到一起，PFE 负责生产精度，并让边缘主体的最终否决成为误差的最后防线。
13 · 证据范围与研究威胁
当前证据回答“这台机器是否按设计运行”，下一阶段回答“它在人群中创造多少净新增价值”
本报告的数字全部来自系统作者冻结的工程运行，标签为 ENGINEERING_TELEMETRY。它们支持实现完整性、回执可追踪性与机械重算，不估计真实主体的启迪率、采用率或长期净价值。冻结清单中的 formal_verdict 为 null，分离评估器的 formal_quality_claim 为 false；这组字段只在此处集中声明。
公开来源项目被当作可核对的能力投影，边缘角色是研究仪器中的主体代理。完整形成弧把外部影响约束为可逆的本地工件，从而使前态、后态与消融可以被完整观察。这个设计为方法验证提供高可见度，也把下一研究门清楚地放在真实 mandate、真实目标系统动作以及真实主体采用上。
生成候选可能受 frontier 模型已有知识影响；官方材料优先、检索时间与内容哈希能够约束事实来源，但不能把模型记忆变成随机样本。后续独立评估应使用系统未见过的密封材料、预注册的多样性与价值指标，并由目标主体持有最终结果和接受判断。
14 · 结论
发现引擎开始拥有一颗“形成核心”
PFE v3 把一个长期停留在概念层的问题变成了可运行对象：陌生能力可以被组织成结构候选，缺口可以被路由成下一动作，承诺可以被证据逐级约束，本地形成记录可以被消融重算。双通道保存了生成模型的探索能力，也保存了主体、证据和执行边界。
这台机器最值得继续推进的，不是一句“它会撮合”，而是一套新的工作方式：先扩大可能性，再把缺口变成动作；让真实主体改写和选择，让承诺接受证据约束；并把结果事实放回真正拥有它的观察位置。
→
作者侧重算路径
以下命令适用于作者持有的发现引擎源码检出，可重算语料、攻击、完整弧、规范拾取、分离评估和冻结校验。当前公开下载提供聚合数据与其哈希 Manifest，便于核对本文口径；它不是原始回执的公开复现包。
make setup
make corpus
make attacks
make full-arc
make norm-pickup
make eval-ready
make freeze
make verifySPEC.txt规格
系统目标、机制定义、证据纪律与完成条件。
artifacts/frozen/manifest.json冻结清单
逐文件哈希、重算公式与五组工程遥测。
artifacts/runtime/corpus/公开来源语料
每个提名组合的候选、回执、账本与可读计划。
artifacts/runtime/full-arc/full-arc.json完整形成弧
原目标、形成事件、目标端读回、拒绝、目标守护与消融。
artifacts/runtime/attacks.json攻击
由原始状态和尝试移动重新执行的接地、K1–K5 与形成攻击。
docs/EDGE_AGENT_NORM.md边缘规范
新 frontier 会话代表主体加入 PFE 的薄规范。
evaluation/README.md分离评估
任意密封输入包的只读评估契约和命令。
作者侧重算从冻结输入开始，不读取保留的 passed 字段作为证明；公开读者目前可校验聚合文件完整性与页面主张的一致性。
∎
参考文献
- R1
Towow Research. TOWOW PFE System — Construction Specification v3. 系统定义与实验法源。
- R2
Pearl, J. Causality: Models, Reasoning and Inference. Cambridge University Press. 干预与因果推断背景。
- R3
Towow Research. 通爻协议本体 · 设计书 v1.2. 双通道、VOI 与结晶层设计。
- R4
Towow Research. 通爻生成哲学 · 方案即启迪. 启迪通道与生成哲学。
- R5
W3C. PROV-O: The PROV Ontology. W3C Recommendation. 可追踪来源与活动归因背景。
- R6
Howard, R. A. Information Value Theory. IEEE Transactions on Systems Science and Cybernetics. 问题选择的决策价值背景。
- R7
Clark, H. H., and Brennan, S. E. Grounding in Communication. In Perspectives on Socially Shared Cognition. 共同接地与互动证据背景。
- R8
Towow Research. PFE frozen artifact manifest. 冻结工程遥测与重算公式。
- R9
Towow Research. PFE full-arc runtime artifact. 形成、拒绝、目标变换与消融记录。
- R10
Towow Research. PFE executable attack artifact. 接地、K1–K5 与形成攻击结果。
- R11
Towow Research. PFE edge-agent norm pickup artifact. 薄规范的会话拾取记录。
- R12
Towow Research. Separated evaluator contract and retained result. 密封输入的只读评估边界。
- R13
OpenAQ. OpenAQ API repository and documentation. 完整形成弧的官方项目来源。
- R14
Sensor.Community. Open environmental sensor network. 完整形成弧的官方项目来源。
- R15
Grafana Labs. Grafana documentation. 完整形成弧的官方项目来源。