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

docs: 核对任务书 02 后把 rules 的约定写进方法.md

Browse Source 
用户确认的约定（"1–8 都同意"）写进第六部分：严格大于采纳线、候选编号按数字大小比、没测的格附含它的最好组合净值、战绩在原值上分正向与消融、ĝ₀ 为负时成本按 0。执行者自定的两条对照规则（全测余额不够时、随机同格数取多少）标〔自定〕写进第十一部分。
WORK_LOG 删去已被 CLAUDE.md 310b901 取代的"附出现证据"一句。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
iomgaa
2026-10-02 02:14:17 -04:00
parent 310b901446
commit c2ef20bd4b
2 changed files with 9 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
WORK_LOG.md
+2 -3
View File
@@ -27,7 +27,7 @@
- 计算时间不再是预算，只记录；预算只有运行次数（42347e4）。用户原话："CPU 秒不当预算但是要记录"。 - 计算时间不再是预算，只记录；预算只有运行次数（42347e4）。用户原话："CPU 秒不当预算但是要记录"。
- 解释的每格三个数改为可选，关掉消融时不交。用户原话："同意 A：解释的 cells 去掉 minItems，改为可选"。 - 解释的每格三个数改为可选，关掉消融时不交。用户原话："同意 A：解释的 cells 去掉 minItems，改为可选"。
- rules 的约定（方法.md 没写死的地方）：入池 P < 0.5 严格；采纳和消融中发现都要严格大于采纳线；成本用 max(0, ĝ₀)；没测的格附"含它的最好组合"的净值；战绩在分数原值上判；编号一律按自然序比较。用户原话："1–8 都同意"。消融成分权重跟随 λ、分歧量不掺开放预留，由用户改进方法.md（a050771）。 - rules 的约定（方法.md 没写死的地方）：入池 P < 0.5 严格；采纳和消融中发现都要严格大于采纳线；成本用 max(0, ĝ₀)；没测的格附"含它的最好组合"的净值；战绩在分数原值上判；编号一律按自然序比较。用户原话："1–8 都同意"。消融成分权重跟随 λ、分歧量不掺开放预留，由用户改进方法.md（a050771）。
- 三个数改为严格递增，去掉尖峰（bfb96ba）。用户原话："凡是为'三个数相等''宽度为 0''开放预留缩成一个点'写的专门处理，全部删掉"；"以后再提'某种情况需要专门处理'时，请附上它在参考项目真实运行里出现过的证据……查不到就默认不写"。 - 三个数改为严格递增，去掉尖峰（bfb96ba）。用户原话："凡是为'三个数相等''宽度为 0''开放预留缩成一个点'写的专门处理，全部删掉"。
- 答案路径、保障动手次数只记读到的原始内容或读不到的原因；在不在位置表里，由以后拿得到位置表的模块现算，不存。用户原话："按'能现算的不存'，tasks 只记读到的原始内容……对表由以后有位置表的模块现算，把这条记进 WORK_LOG。" - 答案路径、保障动手次数只记读到的原始内容或读不到的原因；在不在位置表里，由以后拿得到位置表的模块现算，不存。用户原话："按'能现算的不存'，tasks 只记读到的原始内容……对表由以后有位置表的模块现算，把这条记进 WORK_LOG。"
## 未完成 ## 未完成
@@ -51,7 +51,6 @@
14. 消融核验覆盖每个因子。 14. 消融核验覆盖每个因子。
- 答案路径、保障名字"在不在位置表里"的对表，由以后拿得到位置表的模块现算（多半是 materials 或 flow）。 - 答案路径、保障名字"在不在位置表里"的对表，由以后拿得到位置表的模块现算（多半是 materials 或 flow）。
- 核验提交 `body` 的字段说明要补一句：同一行同时出现在因子和保障里时，在说明里写一句提醒（方法.md 4.3 ⑨）。写 submissions 时一并改。 - 核验提交 `body` 的字段说明要补一句：同一行同时出现在因子和保障里时，在说明里写一句提醒（方法.md 4.3 ⑨）。写 submissions 时一并改。
- 上面 1–8 条约定里，除了用户已改进方法.md 的两条，其余还没写进方法.md 第六部分（由监督者决定是否补）。
- 给 config：每批上限必须 ≥ 1（为 0 时 R̂ 是无穷大，选格会卡住）。 - 给 config：每批上限必须 ≥ 1（为 0 时 R̂ 是无穷大，选格会卡住）。
- 给 flow：同一轮里选批和选格都用随机规则时，传不同的"版本"算种子，否则两次抽取用同一串随机数。 - 给 flow：同一轮里选批和选格都用随机规则时，传不同的"版本"算种子，否则两次抽取用同一串随机数。
- 写 plugin 时实测：源码导入路径带 `.ts` 扩展名，Pi 加载插件能否接受。 - 写 plugin 时实测：源码导入路径带 `.ts` 扩展名，Pi 加载插件能否接受。
@@ -67,4 +66,4 @@
## 下一步 ## 下一步
任务书 02（rules）已完成并提交，等监督者核对。之后是 ledger → …。 任务书 02（rules）已核对通过（60c21ae）。下一个是 ledger。
docs/方法.md
+7 -7
View File
@@ -434,7 +434,7 @@
V(S) = ∫*b^∞ \[1 − ∏*{c∈S} F\_c(t)\] dt V(S) = ∫*b^∞ \[1 − ∏*{c∈S} F\_c(t)\] dt
候选之间按互不相关计算，低于 b 的部分按 0 算。列出候选池里所有 k 个候选的组合，取 V 最大的那个组合。V 完全相等时按候选编号定，这样恢复时能算出同一个结果。 候选之间按互不相关计算，低于 b 的部分按 0 算。列出候选池里所有 k 个候选的组合，取 V 最大的那个组合。V 完全相等时按候选编号定（编号按数字大小比，c2 排在 c10 前面），这样恢复时能算出同一个结果。
- **不另加"不确定奖励"**：两个平均涨幅相同的候选，放在一起有多大价值，取决于它们能不能互补地往高处冲。 - **不另加"不确定奖励"**：两个平均涨幅相同的候选，放在一起有多大价值，取决于它们能不能互补地往高处冲。
示例：X 有一半机会涨 0、一半机会涨 0.02；Y 一定涨 0.01。只跑 X 或只跑 Y，批内最好期望都是 0.010；两个一起跑是 0.015。 示例：X 有一半机会涨 0、一半机会涨 0.02；Y 一定涨 0.01。只跑 X 或只跑 Y，批内最好期望都是 0.010；两个一起跑是 0.015。
@@ -448,7 +448,7 @@
- 有已知最好：采纳线 = min(ε, (K\* − B) ÷ 4)；结果低于 ε/100 时取 ε/100，B 已经超过 K\* 时也取 ε/100。 - 有已知最好：采纳线 = min(ε, (K\* − B) ÷ 4)；结果低于 ε/100 时取 ε/100，B 已经超过 K\* 时也取 ε/100。
- 没有已知最好：采纳线 = ε。 - 没有已知最好：采纳线 = ε。
采纳只看实测分数。 采纳只看实测分数。改进量要严格大于采纳线才采纳，正好等于不采纳；"消融中发现"同样按严格大于判。
### 6.6 消融结算 ### 6.6 消融结算
@@ -533,7 +533,7 @@ VOI(S) = E_{S 的结果}[ max_p E(收益_p | S 的结果) ] − max_p E(收益_p
- R̂ 是测完 S 之后估计还能开几轮：R̂ = ⌈(余额 − |S|) ÷ 每批上限⌉。〔自定：按运行次数估算剩余轮数〕余额全部用在消融上时 R̂ = 0，m′ = 0。 - R̂ 是测完 S 之后估计还能开几轮：R̂ = ⌈(余额 − |S|) ÷ 每批上限⌉。〔自定：按运行次数估算剩余轮数〕余额全部用在消融上时 R̂ = 0，m′ = 0。
- 成本(S) = 2ĝ₀ × \[(K + |S|) ÷ (K + |S| + 1) − K ÷ (K + 1)\]。 - 成本(S) = 2ĝ₀ × \[(K + |S|) ÷ (K + |S| + 1) − K ÷ (K + 1)\]。
- K 是每批上限；ĝ₀ = max\_p E(收益\_p)，即按现在的看法押的那个因子的期望收益。 - K 是每批上限；ĝ₀ = max\_p E(收益\_p)，即按现在的看法押的那个因子的期望收益。
- 这个式子假设下一轮每个候选的涨幅在 0 到 2ĝ₀ 之间均匀分布。 - 这个式子假设下一轮每个候选的涨幅在 0 到 2ĝ₀ 之间均匀分布，所以 ĝ₀ 为负时，成本里按 0 算；决定记录里照存 ĝ₀ 的原值。
- 运行次数是唯一的预算，每花一次在消融上，就少一次跑正向候选的机会，所以成本总是要算。 - 运行次数是唯一的预算，每花一次在消融上，就少一次跑正向候选的机会，所以成本总是要算。
- 净值(S) = 价值(S) − 成本(S)。 - 净值(S) = 价值(S) − 成本(S)。
@@ -541,7 +541,7 @@ VOI(S) = E_{S 的结果}[ max_p E(收益_p | S 的结果) ] − max_p E(收益_p
1. 只考虑格数不超过"余额 − 1"的非空组合，至少留 1 次给下一轮正向。余额为 0 或 1 时不做消融。 1. 只考虑格数不超过"余额 − 1"的非空组合，至少留 1 次给下一轮正向。余额为 0 或 1 时不做消融。
2. 在这些组合里，取净值最大、并且净值 &gt; 1e-12 的组合。净值相差不到 1e-12 的视为相同，先取格数少的，再按因子编号从小到大比。所有组合的净值都不大于 1e-12 时，一格都不测。 2. 在这些组合里，取净值最大、并且净值 &gt; 1e-12 的组合。净值相差不到 1e-12 的视为相同，先取格数少的，再按因子编号从小到大比。所有组合的净值都不大于 1e-12 时，一格都不测。
3. 没选中的格记"没测"：组合里放不下的写"剩余次数不够"，其余写"信息价值不足以抵过成本"，都附上它所在组合的净值。没测的格以后不补。 3. 没选中的格记"没测"：组合里放不下的写"剩余次数不够"，其余写"信息价值不足以抵过成本"，都附上含这一格的可选组合里净值最大的那个组合的净值；余额为 0 或 1、没有可选组合时，写"没有可选组合"。没测的格以后不补。
### 6.8 押的因子 ### 6.8 押的因子
@@ -579,7 +579,7 @@ VOI(S) = E_{S 的结果}[ max_p E(收益_p | S 的结果) ] − max_p E(收益_p
- 撑几成为负时写"关掉 pN 反而更好 X 分（实测）"；过了采纳线时，再加一句"已采纳为下一轮基线（消融中发现）"。 - 撑几成为负时写"关掉 pN 反而更好 X 分（实测）"；过了采纳线时，再加一句"已采纳为下一轮基线（消融中发现）"。
2. **每次消融一句程序读出的结论**，外加一行："程序按方向收益押的因子：pN（预测收益 X）。这只是按公式推出来的参考，你可以不跟。"不押时写明原因。 2. **每次消融一句程序读出的结论**，外加一行："程序按方向收益押的因子：pN（预测收益 X）。这只是按公式推出来的参考，你可以不跟。"不押时写明原因。
3. **选批历史**和各次运行结果，包括合法化扣掉的分和资源用量。 3. **选批历史**和各次运行结果，包括合法化扣掉的分和资源用量。
4. **战绩**，分方向写： 4. **战绩**，按人、分正向与消融写；偏高、偏低、穿上沿、穿下沿都在分数原值上判，不按任务方向翻转：
- 中位数偏高几次、偏低几次； - 中位数偏高几次、偏低几次；
- 被穿过上沿几次、下沿几次； - 被穿过上沿几次、下沿几次；
- 包住几次； - 包住几次；
@@ -743,8 +743,8 @@ VOI(S) = E_{S 的结果}[ max_p E(收益_p | S 的结果) ] − max_p E(收益_p
**选格规则** **选格规则**
- 信息价值减成本； - 信息价值减成本；
- 全测； - 全测：余额不够测全部格时，按因子编号测前"余额 − 1"格；〔自定〕
- 随机抽同样多的格； - 随机抽同样多的格：格数取"信息价值减成本"对同一输入会选的格数；〔自定〕
- 都不测。 - 都不测。
**朴素循环**：一组开关的命名预设，不另写流程。 **朴素循环**：一组开关的命名预设，不另写流程。