From be6775a98e50bba5a5a93fe761c2a4741aabb059 Mon Sep 17 00:00:00 2001 From: zizi Date: Sat, 18 Jul 2026 00:03:43 +0800 Subject: [PATCH] =?UTF-8?q?=E6=A1=86=E6=9E=B6:=20=E6=89=B99d=20=E6=89=A7?= =?UTF-8?q?=E8=A1=8C=E8=AE=B0=E5=BD=95=E2=80=94=E2=80=94=E5=8D=A1=E7=AC=AC?= =?UTF-8?q?=E4=B8=80=E6=80=A7=E5=8E=9F=E7=90=86=E5=88=86=E6=9E=90=E4=B8=8E?= =?UTF-8?q?SoT=E5=AE=8C=E5=96=84=EF=BC=88=E4=BA=A4=E4=BB=98=E5=9C=A8=20des?= =?UTF-8?q?ign-docs=202124a793=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/2026-07-16-批9c-收官与优化方案.md | 6 + ...2026-07-17-卡的第一性原理与知识效用闭环.md | 138 ++++++++++++++++++ 2 files changed, 144 insertions(+) create mode 100644 docs/2026-07-17-卡的第一性原理与知识效用闭环.md diff --git a/docs/2026-07-16-批9c-收官与优化方案.md b/docs/2026-07-16-批9c-收官与优化方案.md index 82429ab..d2769d9 100644 --- a/docs/2026-07-16-批9c-收官与优化方案.md +++ b/docs/2026-07-16-批9c-收官与优化方案.md @@ -86,3 +86,9 @@ - Python=`.venv/bin/python`；DB 通道=db skill（DSN 锁脚本内，只连 muse-example）；New-API base=`http://100.64.0.8:3000`、token 在 llm.py 头。 - 书：星环=work3 / 机动=4 / 深空=8 / 机战=10 / 超神=11（work5 机战旧本、work9 超神旧本已物删）。 - 两只 fable5 诊断全文在本 session 对话（升格卡+范式卡），关键点已蒸馏进本文档第三节。 + +--- + +## 批9d 插入记录（2026-07-17/18） + +批9c 全量重抽启动前，创始人插入方向级任务：第一性原理分析各类卡是否符合要求，抽最重要的点完善 SoT。已完成并落 design-docs（提交 2124a793）：新增专题-07（知识消费契约与质量闭环，"以用定卡"）+ 七册配套拍板（含 aiContext 值域升级、参照作品面、双层拍板、purpose 枚举统一）。分析证据链见 `2026-07-17-卡的第一性原理与知识效用闭环.md`。**批9c 已拍板的"补 3 洞→小样确认→全量重抽"路径不变、仍待执行**；重抽后的优先级建议（消费最小闭环+回放评测首跑）已呈创始人待拍板。 diff --git a/docs/2026-07-17-卡的第一性原理与知识效用闭环.md b/docs/2026-07-17-卡的第一性原理与知识效用闭环.md new file mode 100644 index 0000000..e7c28c6 --- /dev/null +++ b/docs/2026-07-17-卡的第一性原理与知识效用闭环.md @@ -0,0 +1,138 @@ +# 卡的第一性原理分析与 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["拆书抽取
23 型模具"] --> B["双轨确认
Draft→Canonical"] + B --> C["授权与来源治理
能不能进上下文"] + end + subgraph Gap["缺环（消费与效用）——本次补上"] + D["选择契约
这一幕该选哪几张"] --> E["注入视图
给多少、什么形态"] + E --> F["生成 / 检测 / 规划"] + F --> G["回放评测
参考书=标准答案"] + 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 失败关闭不进评测 |