From 20fca73847ffff15da09fd8382f14b465f21eee8 Mon Sep 17 00:00:00 2001 From: iomgaa Date: Thu, 1 Oct 2026 23:59:35 -0400 Subject: [PATCH] =?UTF-8?q?docs:=20=E6=A0=B8=E5=AF=B9=E4=BB=BB=E5=8A=A1?= =?UTF-8?q?=E4=B9=A6=2001=20=E5=90=8E=E4=BF=AE=E6=AD=A3=E7=BB=93=E6=9E=84.?= =?UTF-8?q?md=20=E4=B8=8E=E6=96=B9=E6=B3=95.md?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - 结构.md：vocab 上限 1100；依赖图重画，使同一行确实互不依赖（flow 依赖 config，原图把它们放在同一行）。 - 方法.md 第五部分：入口编号由程序分配；实现与消融实现不设代码字段。4.3 ⑨ 补回设计-16 原文：因子与保障同行时核验员只写一句提醒、不判越界。 用户同意执行者的第 1、3–7 条（"同意 A，vocab 上限改为 1100 行"等，见 97a4359 说明）。 Co-Authored-By: Claude Opus 5.5 --- WORK_LOG.md | 4 ++-- docs/方法.md | 8 ++++---- docs/结构.md | 13 +++++++------ 3 files changed, 13 insertions(+), 12 deletions(-) diff --git a/WORK_LOG.md b/WORK_LOG.md index d7ed0b8..fd241f6 100644 --- a/WORK_LOG.md +++ b/WORK_LOG.md @@ -30,7 +30,6 @@ - `inbox/调研.md`：要迁进 `docs/调研/` 的调研结论。 - `docs/方法.md` 里还有 7 条标〔自定〕的规则，待用户过目。 -- 监督者待改：结构.md 第七部分 vocab 上限改 1100；第二部分"同一层之间不互相依赖"改为"图中同一行的模块之间不互相依赖"；方法.md 第五部分的表（入口编号由程序分配、实现不设代码字段）。 - 留给 submissions 的跨字段规则（vocab 字段定义不管）： 1. q1 ≤ q5 ≤ q9：作者自评、两次预测、解释的每一格。 2. 因子数不超过上限，回应改过的因子清单同样适用。 @@ -47,6 +46,7 @@ 13. 消融实现：写了 `cannotRun` 时 `alsoOff` 为空；`alsoOff` 不含本格要关的因子，且都在因子清单里。 14. 消融核验覆盖每个因子。 - 答案路径、保障名字"在不在位置表里"的对表，由以后拿得到位置表的模块现算（多半是 materials 或 flow）。 +- 核验提交 `body` 的字段说明要补一句：同一行同时出现在因子和保障里时，在说明里写一句提醒（方法.md 4.3 ⑨）。写 submissions 时一并改。 - 写 plugin 时实测：源码导入路径带 `.ts` 扩展名，Pi 加载插件能否接受。 ## 工作方式（用户 2026-10-01 定） @@ -60,4 +60,4 @@ ## 下一步 -任务书 01 已执行完，等监督者核对。之后依次是 rules → ledger → …。 +任务书 01 已核对通过（97a4359）。下一个是 rules，之后 ledger → …。 diff --git a/docs/方法.md b/docs/方法.md index a62bf70..d196f71 100644 --- a/docs/方法.md +++ b/docs/方法.md @@ -253,7 +253,7 @@ - 因子位置表：每个因子、每条保障分别在哪几行。同一行既属于某个因子又属于某条保障时，两边都写；不属于任何因子的改动，写一句说明； - `concerns`：照冻结原文实现、但认为会出问题的地方，尤其是某条保障会挡掉或改变什么。没有就写"无"。它不阻止运行，也不改动协议。 - 程序检查实验员有没有改不许改的文件。Jev 检查改动里有没有这几类问题：用了不固定种子的随机数、协议没登记就读时钟、测不到的量写成 0。有就退回。 -- 程序把两类情况交给核验员：没有归到任何因子或保障的改动；同一行同时出现在因子和保障里。 +- 程序把两类情况交给核验员：没有归到任何因子或保障的改动，核验员逐条判断是否越界；同一行同时出现在因子和保障里，核验员在说明里写一句，只是提醒，不判越界。 - 核验员只交逐项结果：每条实现条款、每个因子、每条保障，找没找到、在哪里；没有归属的改动，逐条判断是否越界。只要有一项"没落实"或者判为越界，程序就判不通过，退回实验员修复。修复次数有上限，可配置。 **⑩ 正式运行（程序）** @@ -350,7 +350,7 @@ | 提交 | 结构化字段 | 正文 | 程序怎么用 | | ----------- | ----------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------- | ----------------------------------- | -| 入口（0.1、0.2） | 编号、名称 | 从哪里开始看、为什么值得走 | 编号用于认领与分配 | +| 入口（0.1、0.2） | 名称（编号由程序按顺序分配） | 从哪里开始看、为什么值得走 | 编号用于认领与分配 | | 讨论（0.2） | 可选：替换后的入口清单 | 讨论正文 | 转给下一次讨论与认领 | | 志愿（0.3） | 入口编号的有序列表 | — | 分配 | | 提案 | 因子清单：每个因子的编号、名称、做法、关键设定（决定效果的设定值，没有写"无"）、关掉时换成什么（可省）、延续（信念本里的因子编号，或空）。保障清单：每条一个短名。指标登记。作者自评的三个数 | 每个因子为什么可能有效；每条保障做什么、属于拦 / 补 / 改哪一种、自检时怎么想的；协议（不许改什么、随机性怎么处理、何时停、什么样的运行不算数）；因子之间的关系 | 数因子个数、列消融格、信念本按因子归并；保障短名用来对号；作者自评封存 | @@ -358,9 +358,9 @@ | 挑刺 | 针对谁（整条提案，或某个因子编号） | 挑刺内容 | 回应时逐条对号 | | 回应 / 统一 | 逐条答复（挑刺编号 + 答复）；改动了的字段；实现条款 | 答复正文 | 覆盖提案的对应部分后冻结；实现条款供核验逐条对号 | | 第二次预测 | 候选池里每个候选的三个数 | 理由 | 合并、选批、信息账 | -| 实现 / 修复 | 代码；因子位置表与保障位置表；`concerns` | 实现说明 | 列出没有归属的改动交给核验员；`concerns` 转给研究者 | +| 实现 / 修复 | 因子位置表与保障位置表；`concerns`（代码由程序从实验员的工作目录冻结，不作为字段交） | 实现说明 | 列出没有归属的改动交给核验员；`concerns` 转给研究者 | | 核验 | 逐项结果（条款、因子、保障：找没找到、在哪里）；没有归属的改动逐条判断是否越界 | 说明 | 推出通过与否 | -| 消融实现 / 核验 | 代码；需要一起关的因子；`concerns`；核验的逐项结果 | — | 这一格的正式运行 | +| 消融实现 / 核验 | 需要一起关的因子，或"这一格跑不起来：原因"；`concerns`；核验的逐项结果（代码同上，由程序冻结） | — | 这一格的正式运行 | | 解释 | 每一格的三个数 | 机制等文字 | 信息价值、确认 / 否定、信息账 | | 收尾 | — | 什么被支持、什么被挑战、下一步在哪个因子上继续 | 进下一轮的提案材料 | diff --git a/docs/结构.md b/docs/结构.md index 1d5a0f6..beef63f 100644 --- a/docs/结构.md +++ b/docs/结构.md @@ -4,7 +4,7 @@ 来源： - 用户 2026-10-01 认可"按负责一件事来切"、下面这套模块与可替换点，以及步骤清单和账本记录种类。 -- 用户 2026-10-01 同意：提交的字段定义放 vocab，submissions 只判收不收；vocab 可放规范序列化和哈希两个函数，上限调到 600 行。 +- 用户 2026-10-01 同意：提交的字段定义放 vocab，submissions 只判收不收；vocab 可放规范序列化和哈希两个函数，上限调到 600 行；执行后实际 1030 行，用户同意上限改为 1100 行。 - 依据是两次开发调研。一次是模块切分，参考了 Parnas 1972 与 1979、Ousterhout、Cockburn 和同类项目的源码；一次是同类研究的实验设计。 --- @@ -43,18 +43,19 @@ | 外部 | jev（Jev 判别） | 问法、阈值、校准 | 无 | | 纯计算 | rules（研究规则） | 全部公式和常数；信念本、战绩、余额的计算 | 无 | -另有一个 **vocab**（共用词汇），所有模块都可以引用，上限 600 行。一样东西要有两个互相不能引用的模块都用到，才放进 vocab；只有一个模块用的，放在那个模块里。它放： +另有一个 **vocab**（共用词汇），所有模块都可以引用，上限 1100 行（多出来的主要是发给模型的字段说明）。一样东西要有两个互相不能引用的模块都用到，才放进 vocab；只有一个模块用的，放在那个模块里。它放： - 共用的类型和名单：角色、研究者阶段、提交种类、指标定义、运行定义与运行结果、模型用量； - 每种提交的字段定义（用 TypeBox 写，同一份定义既是类型，也用来检查收到的数据，也是发给模型的提交工具参数）； - 只有两个函数：规范序列化和哈希，保证"内容相同就得到同一个指纹"只有一种算法。 -依赖只能往下，同一层之间不互相依赖： +依赖只能往下，图中同一行的模块之间不互相依赖。谁具体能依赖谁，以上面的模块表为准，`npm run check` 按那张表检查。 ``` 入口 plugin -组织 flow export config - materials submissions +组织 flow + export + materials submissions config 外部 ledger agents runner tasks workspace jev 纯计算 rules vocab（谁都能用） ``` @@ -189,7 +190,7 @@ | runner | 500–900 | | tasks | 契约 150–300；填圆 600–1000，另有 Python 文件 | | export | 500–900 | -| vocab | 450–600 | +| vocab | 上限 1100 | ---