muse-agent-example/docs/2026-07-17-卡的第一性原理与知识效用闭环.md

139 lines
13 KiB
Markdown
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

# 卡的第一性原理分析与 SoT 完善设计(知识效用闭环)
- 日期:2026-07-17
- 性质:**内部执行记录**(分析过程与证据链),不是交付物;交付物 = design-docs 的结论性 SoT 修订
- 触发:创始人指令——第一性原理分析现有几种卡是否符合要求,抽出最重要的点,面向 AI 生成小说完善 agentic 系统 SoT 设计;后追加产出要求——面向人类开发者、一整套有结论的方案、禁过程性内容
- 交付落点:`../design-docs/专题-07-知识消费契约与质量闭环.md`(新增 v1)+ 专题-03 v3 / 专题-04 v2(含补 .md 改名与四册断链修复)/ 专题-06 v4(双层拍板、§6.4 参照作品面、purpose 枚举统一)+ 大纲 v10 / 映射表 v8 + 人读总览 `../design-docs/prototypes/专题-07-知识消费契约与质量闭环-总览.html`
## 一、意图 / 目标 / 边界 / 验证
- **意图**:回答四个第一性问题——卡为什么而抽、卡结构为什么服务、现有卡是否符合要求、卡质量该面向什么优化;并把结论落成 SoT 修订。
- **目标**:抽出唯一最重要的点;给出最小且全局最优的 SoT 修订方案(新增一册 + 三处最小修订 + 两处登记)。
- **边界**:只动设计文档(design-docs 与登记文件),不动任何实现代码;不改实验台已拍板的重抽路径(只给建议)。
- **验证**:codex 与 opus 双独立评审通过;交叉引用逐条核对真实存在;术语与 架构-02 一致;登记文件同步。
## 二、取证方式
两路独立取证 + 四份权威文档亲读交叉验证:
- 设计文档侧:Explore 子代理全扫 design-docs,按五项横切问题(消费契约 / 卡质量定义 / 拆书卡与本作卡协同 / 长线状态消费 / 检索基座边界)逐项判定"已有 / 部分 / 缺失",全部带文件行号锚点。
- 数据侧:子代理实读 23 型 schema 与实验台文档、实跑只读 SQL 取库内实况(计数、卡体大小、字段充实度、向量覆盖、消费端盘点)。
- 亲读:专题-06、专题-03、专题-04、架构-02 全文精读,形成第一手判断后再与两路取证对照。
## 三、四问四答
### 问 1:抽卡是为什么而抽?
**卡是长篇创作系统的外置记忆。** 模型上下文有限且没有持久状态,百万字长篇的一切质量问题——吃设定、前后矛盾、角色失声、升级线错乱——本质都是记忆问题。抽卡的唯一目的:让知识在未来某次生成中**被选中、被注入、改善产出**。
记忆兑现价值的时刻只有三个(对应 专题-06 §3 的智能体分工):
| 效用时刻 | 谁在用 | 用什么 |
|---|---|---|
| 写作时注入 | 写作智能体 | 实体当前态 + 技法范式参考 |
| 检测时对照 | 检测智能体 | Local KB 当标准,查候选是否吃设定(专题-04 的 canon_compliance) |
| 规划时排线 | 规划智能体 | 演变历程 + 参照书成长曲线,排下一个台阶 |
两类卡对应记忆的两半:**范式卡**(技法五型,进公共库)= 跨书公共经验,管"写得好";**升格卡**(世界域七型,进本作库;实验台用参考书彩排)= 本作事实与长线状态,管"写得对、推得进"。实验台的两条产线正是 专题-06 §6.1"一套模具、两处浇铸"的排练:范式卡排练系统级拆书进全局库,升格卡按窗口逐章推进,排练的是真实创作时"每确认一章就抽取维护本作知识"的那台机器。
### 问 2:卡的结构为什么长这样?为什么服务?怎么被利用?
卡的结构是四件套,每一件对应一个消费时刻——**结构的每个部件都应该有消费者,没有消费者的部件就是赘肉**:
| 结构部件 | 为谁存在 | 实验台实况 |
|---|---|---|
| 检索键(名称/别名/型/向量) | 被想起:该用时能召回 | 范式卡向量 100%;**升格卡向量 0%**;命名脆导致同一机甲断成两条成长线 |
| 注入体(字段,按 aiContext 四用途裁剪) | 被用上:注入上下文直接改善产出 | 范式卡字段形态好(公式/启动条件/失效风险);升格卡两头病——p50 仅 395 字符(薄到无肉可注)与单卡 104KB(角色卡流水累积,一张撑爆预算)并存 |
| 演变链(演变历程 {章,台阶,周期}) | 长线推进:规划排台阶、检测对照当前态 | schema 已定,**落库 0 张**(重抽待跑);旧卡仍是"[窗N]"流水 |
| 溯源(实例/出处/归并审计) | 治理与证据:可回溯、可撤销、版权合规 | 完备,且经 30 实例还原实战验证可逆 |
aiContext 按用途(planning / generation / detection / extraction)做字段级裁剪,是实验台已实证的正确机制——例如"演变历程"标 [detection, extraction],续写时不给,防上万字明细撑爆上下文。这个机制领先于 SoT 的字段合同。
### 问 3:现有的卡是否符合要求?
分层判定:
- **结构方向:对。** 23 型本体、四用途裁剪、溯源治理都经受住了 9 批实拆的检验,且部分设计(演变历程、四用途枚举)走在 SoT 前面。
- **链条:断在消费。** 库内 8587 张活卡(范式 6327 + 升格 2260),而消费端——统一读取器与写作/规划/检测六个技能——**全部是零脚本的设计桩,卡从未被任何创作流消费过一次**。产能与效用极端不对称。
- **SoT:治理满、效用空。** 设计文档侧逐项判定:
| 横切问题 | SoT 现状 | 证据 |
|---|---|---|
| 谁能读什么(授权/来源/双轨/裁剪/预算) | **钉死了** | 专题-03 §3/§4/§5、专题-06 §7、架构-02 §1/§4 |
| 这一幕该选哪些卡(选择契约) | **缺失**(只到"按 target_type 过滤+相似度检索") | 专题-06 §7 读合同为字段粒度;无卡粒度选择/排序语义 |
| 什么算一张好卡(输入侧质量) | **缺失**(三档质量维度全部作用在生成出的文字上) | 专题-04 §4 全文;Knowledge Draft 只要求带来源快照 |
| 成长线/台阶/演变历程的消费语义 | **零命中**(仅"弧光"一词零散出现,载体 Narrative State 在但无操作定义) | design-docs 全库 grep |
| 拆书卡与本作卡协同 | 角色清晰、协同弱(只有一句来源优先级) | 专题-06 §4.5/§6、产品-01 |
- **最锋利的反噬**:检测维度 canon_compliance 拿 Local KB 当标准拦候选——**卡错了,门控会把写对的候选拦下来**。记忆腐坏时,输出端门控不但补偿不了,还会放大伤害。所以输入端质量不是锦上添花,是整个质量门控成立的前提。
### 问 4:卡的质量应该面向什么优化?如何优化?
**面向"被正确选中并改善生成"优化**,操作化为三性(输入侧质量维度,与 专题-04 输出侧维度分立、单向咬合):
| 质量性 | 定义 | 实验台的失败实证 |
|---|---|---|
| 可命中 | 该被想起时能被检索到(命名鲁棒+别名+向量+结构键) | 命名脆→成长线静默断线;升格卡 0 向量 |
| 可行动 | 注入后能直接改善产出,不是分析散文;注入视图有尺寸合同 | 台阶粒度过长;单位事件串到体系卡;395 字符/104KB 两头病 |
| 可持续 | 增量维护不腐坏(判重宁缺勿滥、演变归并有序、溯源完备) | 向量 74% 相似多为同型词汇假近,真并率仅约 10%——"同名异质不并"是对的 |
**如何测量:回放评测。** 参考书本身就是标准答案——冻结第 N 章时点的知识状态,按选择契约组装上下文,跑规划/续写/检测,与原书第 N+1 章对照评分。规划线评"下一台阶预测命中",生成线做"有卡/无卡/乱卡"对照,检测线评"注入错误的检出率"。实验台三要素齐备(8 本书约 1.18 万章 + 8587 张卡 + 实例/里程碑全带真实章号),是唯一能把卡质量从口味变成数字的地方。
回放评测同时回答另一个悬而未决的问题:范式卡 p50 实例数 = 1——**一半以上的"范式"只被观察到一次,那是观察不是范式**。哪些卡值得留,最终裁决只能来自消费端的效用统计(命中率/接受率/跨书频次),抽取端永远给不出这个答案。
## 四、最重要的点
> **卡的价值只在被选中使用的那一刻兑现。整套系统在"生产与治理"侧全线完备——怎么抽、谁能读、版权怎么管,都钉死了;在"消费与效用"侧全线空缺——该选哪张、注入什么、有没有用、好不好,无 owner、无定义、无测量、无实现。产品承诺的护城河("已确认知识在下一次生成时真正回到上下文")恰好悬在这条缺环上。补法:以用定卡——把知识消费选择契约与回放评测立成 SoT,让消费端定义质量、让参考书当标准答案。**
```mermaid
flowchart LR
subgraph Done["已钉死(生产与治理)"]
A["拆书抽取<br/>23 型模具"] --> B["双轨确认<br/>Draft→Canonical"]
B --> C["授权与来源治理<br/>能不能进上下文"]
end
subgraph Gap["缺环(消费与效用)——本次补上"]
D["选择契约<br/>这一幕该选哪几张"] --> E["注入视图<br/>给多少、什么形态"]
E --> F["生成 / 检测 / 规划"]
F --> G["回放评测<br/>参考书=标准答案"]
G -. 效用统计反哺卡质量与去留 .-> D
end
C --> D
style Gap stroke:#c00,stroke-width:2px
```
## 五、SoT 修订方案(最小集)
| # | 动作 | 文件 | 内容 |
|---|---|---|---|
| 1 | **新增** | `design-docs/专题-07-知识消费契约与质量闭环.md` | 新概念唯一 owner:术语桥("卡"↔SoT 载体)、第一性缺环论证、消费选择契约、质量三性、回放评测、长线进度消费语义、实验台回填通道 |
| 2 | 最小修订 | `专题-03` §4 与关联阅读 | 一句话链接:"该读什么"的选择契约见专题-07;版本递增 |
| 3 | 最小修订 | `专题-04` §10 与关联阅读 | 一句话链接:知识策略的回放评测定义见专题-07;版本递增 |
| 4 | 最小修订 | `专题-06` §6 与关联阅读 | 一句话链接:知识效用与质量闭环见专题-07;§4.5 开放问题补一句"实验台证据经专题-07 回填后拍板";版本递增 |
| 5 | 登记 | `00-文档大纲.md` | 专题清单 + 单一归属清单新增专题-07;版本递增 |
| 6 | 登记 | `内容映射表.md` | "主文档归属"新增专题-07 及其 owns 概念清单;版本递增 |
**归属自查**(新增文档规范三问):无现有文档覆盖该主题(全库 grep 确认);owner 边界不冲突(分层/预算归 03、读取器合同归 06 §7、输出维度归 04、本体归 06,专题-07 只 owns 新概念并链接邻册);在大纲与映射表登记(第 5/6 项)。
**先例对齐**:专题-06 §7 统一读取器就是"新册收束既有合同的取数面、只链接不重复"的先例;专题-07 以同一模式收束效用面。
## 六、步骤计划
1. fable5 子代理起草专题-07 草案(并行进行中);主代理逐句核验草案(术语、引用行号、归属边界、数字实证)。
2. codex 与 opus 并行独立评审本文 + 草案;收敛意见、修订。
3. 评审通过后落 SoT:草案移入 design-docs、三处最小修订、两处登记;提交(design 与 example 分开提交)。
4. 蒸馏:实验台 README 补"与 SoT 的桥"一句;本文按 docs/ 规则保留为执行记录。
## 七、对实验台路线的影响(建议,不改已拍板路径)
- **已拍板的"补 3 洞 → 小样确认 → 全量重抽"不变**——它治的正是三性中的"可命中"(语义判重、别名)与"可行动"(台阶粒度、登场里程碑),与本结论同向。
- 重抽完成后,下一优先级**建议**从"继续拆更多书"转向"消费最小闭环 + 回放评测首跑":升格卡向量落库 → 统一读取器从桩变实 → 用一本书跑通"规划线回放"。理由:再多的卡也不会自己变成价值,先让 8587 张卡被消费一次、被评测一次,效用信号才开始积累。此项留创始人拍板。
## 八、风险与对策
| 风险 | 对策 |
|---|---|
| 专题-07 与 03/06 边界渗漏(重复定义) | 草案硬约束"只链接不复制";双评审专查归属;映射表登记 owns 清单 |
| 回放评测被误读为当期实现承诺 | 分册内明示"评测机制定义 + 实验台排练",产品实现节奏归进度总账 |
| "卡"术语与 SoT 术语脱节 | 专题-07 §0 术语桥一次性钉死映射 |
| 参考书版权用于评测的合规疑虑 | 对齐 reference_work 授权四值,unauthorized 失败关闭不进评测 |