iomgaa/InfoRSI
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

docs: 核对任务书 01 后修正结构.md 与方法.md

Browse Source 
- 结构.md：vocab 上限 1100；依赖图重画，使同一行确实互不依赖（flow 依赖 config，原图把它们放在同一行）。
- 方法.md 第五部分：入口编号由程序分配；实现与消融实现不设代码字段。4.3 ⑨ 补回设计-16 原文：因子与保障同行时核验员只写一句提醒、不判越界。
用户同意执行者的第 1、3–7 条（"同意 A，vocab 上限改为 1100 行"等，见 97a4359 说明）。

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