iomgaa/InfoRSI
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
38 Commits 1 Branch 0 Tags
0f11b14d221f34796d6c22fd1e38e32ba924eed6
Commit Graph

38 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
iomgaa 0f11b14d22 docs: CLAUDE.md 写明自己程序的输出不算边界、不为测试给产品代码加参数 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 22:30:28 -04:00
iomgaa 6ea595f916 docs: WORK_LOG 记下任务书 05 核对结果，删掉没有真实证据的假想情况 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 22:05:24 -04:00
iomgaa cf6bc4c844 feat: 任务书 05，runner 与 tasks 两个模块 
runner 用 Docker 跑一条命令并交回结局和资源用量；tasks 读 task.json、准备运行目录、给出正式运行/校验器/轻量检查的运行定义，并从原始产物独立判分。任务目录从参考项目搬到 tasks/circle_packing/，新增 task.json；vocab 的 VERDICTS 删掉"判不了"，ProcessResult 的 cancelled 改为"容器从外面被杀了"。

全新上下文审阅后的两处修复：计量 shell 以容器内 root 运行，命令经 setpriv 降权，结果写在容器自己的文件层、结束后 docker cp 取出，并加 no-new-privileges，候选无法伪造计量结果把超时记成正常退出；harness 开跑前删掉旧的 solution.json、metrics.json，旧产物不会被当成本次的值。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 13:55:47 -04:00
iomgaa 6005fb8ec2 docs: config 的朴素循环和步骤开关保留，任务书 05 不再顺带改 config 与 cells 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 12:04:36 -04:00
iomgaa 565b5240bd docs: 任务书 05 从头到尾的测试不钉基线分数 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 12:03:23 -04:00
iomgaa 3f1c0a4c18 docs: 新增任务书 05-tasks-runner，结构.md 同步 runner/tasks 职责与行数 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 11:28:09 -04:00
iomgaa 869766107a docs: 对照组（步骤开关、朴素循环）先不做 
用户 2026-10-02："先不做对照组，按你说的改"。参考项目真实运行里从未跑过朴素循环或关掉挑刺与回应。方法.md 第十一部分只留两个决策点的可换规则，对照组注明暂不实现；4.1、4.2 去掉开关；结构.md 第三、五部分去掉开关和预设。config 删开关、vocab 解释每格三个数改回必交，记进 WORK_LOG 由下一份任务书带上。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 10:32:49 -04:00
iomgaa d13ecc267a docs: WORK_LOG 记下任务书 04 核对结果 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 09:47:13 -04:00
iomgaa cdf0dde921 docs: 核对任务书 04 后修正文档 
结构.md 第三部分：解释不受消融开关控制，与方法.md 第十一部分一致；第四部分私人笔记改称"每一条"。方法.md 6.11 补修复次数上限和轻量检查的现行值（〔自定〕，取自参考项目），配置不设默认值后配置对话要照这张表写。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 08:40:25 -04:00
iomgaa d2bfb971ab feat: 配置 config 模块（任务书 04） 
- src/config：research.json 的字段定义（TypeBox，全部必填、不认识的字段报错，每个字段带中文说明和类别）、一次列出全部错误的校验、步骤清单纯函数。
- 流程写成完整流程 / 朴素循环两选一，第零轮、消融写成开 / 关两选一，冲突组合写不出来，不另写检查。
- 规则名取自 rules 登记表，config 改为依赖 rules（结构.md 第二部分、.dependency-cruiser.cjs）。
- ledger 顺手两处（结构.md 第四部分）：消融结算按轮次唯一、去掉消融编号；私人笔记去掉版本号；表结构版本号升到 2。
- 结构.md 第八部分补 config 对外内容、更新 ledger 一节；WORK_LOG 更新。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 08:08:18 -04:00
iomgaa 4dc7ac9d62 docs: 新增任务书 04-config 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 07:40:27 -04:00
iomgaa 64e4fd8aac docs: 整个系统不设默认值 
用户 2026-10-02："全部都不要默认值更好，甚至整个系统都不要默认值，因为默认值可能会掩盖错误"；"在 CLAUDE.md'写代码的标准'里加一条可以，其他文档也要修改"。
CLAUDE.md 新增"不设默认值"一节，事实来源表与角色模型一句同步；方法.md 开头说明、6.11 末句、开发入口改为配置必须写明；结构.md config 一行和可替换点"方法参数"一行同步。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 07:39:18 -04:00
iomgaa 655f5bb829 docs: 核对任务书 03 后整理结构.md 与 WORK_LOG 
结构.md：私人笔记不属于阶段、以最后一条为准；消融结算按轮次唯一。WORK_LOG：更正一处把监督者措辞当成用户原话的记录；执行者列的待定项分派给 ledger 顺手改、materials、agents/runner。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 06:51:44 -04:00
iomgaa 716f4b88a5 feat: 账本 ledger 模块（任务书 03） 
一张只追加的表（序号、种类、内容、哈希），禁改禁删两条触发器。
有自己编号、只发生一次的 8 种记录加部分唯一索引，重复就报错：阶段开、阶段关、运行登记、
确认启动（确认没启动的结果也算这一条，防止同一次运行既扣次又退还）、运行结果、模型调用开始、结束、消融结算。
写入时只查四种拒收：只收开着的阶段的提交；替换必须接本人同一阶段、同一对象、同一种提交的最新一版，实现与核验类不能替换；
结果先于确认启动（没启动除外）；本轮消融已有格启动后不能关解释阶段。
写提案时作者自评拆成封存。提供打开（核对表结构版本，非账本库不改动）、追加、同步事务、读取、未完成的动作。
第一版的可见性、截止序号、通用唯一键、jev 记录和多余的前提检查已按新版任务书清掉。
三轮全新上下文审阅；flow 传错参数一类的意见按 CLAUDE.md"罕见情况怎么办"第 2 条只记录不加代码。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 06:37:47 -04:00
iomgaa 493ea6d89d docs: 写明"边界"指什么；唯一约束改为有编号、只发生一次的八种记录 
用户 2026-10-02 同意：CLAUDE.md"罕见情况怎么办"第 2 条写明边界是模型的提交、用户的配置、外部服务的返回，模块之间的调用不算边界；哪些记录加唯一约束属于账本设计，写在结构.md 第四部分（阶段开关、运行登记、确认启动、运行结果、模型调用开始结束、消融结算），前后顺序由 flow 的同一入口保证。任务书 03 同步。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 06:25:16 -04:00
iomgaa 595b275a10 docs: 清理账本第一版设计留下的文档残留；任务书 03 加清理清单 
WORK_LOG、结构.md 来源说明里"12 种记录""900–1400 行"已过时。任务书 03 新增"先清理第一版留下的东西"：列明要删的文件、函数、测试、注释，并要求用搜索结果证明清干净。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 05:22:27 -04:00
iomgaa dc8b94517f docs: WORK_LOG 记下账本可见性归 materials 的决定 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 05:18:15 -04:00
iomgaa 332c482afd docs: 任务书 03-ledger 按用户指出的过度设计改写 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 05:18:06 -04:00
iomgaa 0b0cbb05c5 docs: 谁能看什么归 materials，账本只存；去掉通用唯一键，Jev 不单独成记录 
用户 2026-10-02："每次给到派的材料有哪些"与"一开始灌进去还是让它去查"是分开的两件事；Jev "本质只是一种可以代替程序的判别器"。
结构.md：materials 按任务定材料，第一条消息和查询工具是同一份材料的两种给法；ledger 不再有可见性与截止序号；只在"只能一次"处加唯一约束（确认启动、运行结果、消融结算），恢复不重做写入故无需通用去重；Jev 的概率与结论记在它判断的那件事里；模型调用开始记下这次的全部材料。ledger 500–900 行。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 05:17:17 -04:00
iomgaa e46fce654a docs: 新增任务书 03-ledger 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 02:36:47 -04:00
iomgaa ca2cd52caa docs: 账本改为一张只追加的表，12 种记录都不能改 
用户 2026-10-02："同意全部只追加"。结构.md 第四部分重写：一张表（序号、种类、唯一键、内容、哈希），触发器禁改禁删，种类+唯一键去重，写入时的拒收和可见性规则各在一处；私人笔记进账本；ledger 规模改为 900–1400。CLAUDE.md 删去"只有核心表加约束、其余照常读写"。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 02:35:16 -04:00
iomgaa c2ef20bd4b docs: 核对任务书 02 后把 rules 的约定写进方法.md 
用户确认的约定（"1–8 都同意"）写进第六部分：严格大于采纳线、候选编号按数字大小比、没测的格附含它的最好组合净值、战绩在原值上分正向与消融、ĝ₀ 为负时成本按 0。执行者自定的两条对照规则（全测余额不够时、随机同格数取多少）标〔自定〕写进第十一部分。
WORK_LOG 删去已被 CLAUDE.md 310b901 取代的"附出现证据"一句。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 02:14:17 -04:00
iomgaa 310b901446 docs: CLAUDE.md 罕见情况改为规定默认动作 
用户 2026-10-02："同意你的修改"。原"什么情况值得为它写代码"的五问与"值得防的三类"要模型自查、且"无法察觉"一类成了写分支的理由；换成默认动作：先改表示让它不可能出现，做不到就在入口报错停下。依据 Anthropic 提示词最佳实践（Overeagerness 一节）、Claude Code best practices（CLAUDE.md 过长会被忽略、审阅者追每条发现导致过度设计）、Minsky "make illegal states unrepresentable"、Ousterhout "define errors out of existence"。文件锁一句移到"中断后怎么恢复"。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 02:11:16 -04:00
iomgaa 60c21ae346 feat: 研究规则 rules 模块（任务书 02） 
rules 是纯计算，src/rules 共 1761 行：方法.md 第六部分的全部公式、第七部分的余额与扣次、4.2 的入口分配，以及种子与规则登记表。

预期值有三个来源：方法.md 的手算例；tests/fixtures/rules/ 下不看实现写的 Python 脚本；参考项目 calc15、calc14b 里与现行方法一致的部分。审阅做了两轮，每轮都换一个全新上下文的子 Agent，提出的问题都已修复或写明不修的理由。

用户确认的约定（原话"1–8 都同意"）：入池、采纳、消融中发现都用严格不等号；成本用 max(0, ĝ₀)；没测的格附"含它的最好组合"的净值；战绩在分数原值上判。三个数改为严格递增后，删掉了尖峰的全部专门处理（bfb96ba）。vocab 里 Range 的说明同步改为严格递增。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 01:50:21 -04:00
iomgaa bfb96ba7d7 docs: 三个数改为严格递增，去掉尖峰 
用户 2026-10-02 选甲："选甲，先改文档再给我回执行者的话"。参考项目约 800 份真实三个数中没有一份三数相等；允许相等会在折线、调权重、网格、开放预留几处各生出一条尖峰专门处理，改数据表示让这种情况不存在。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 01:21:05 -04:00
iomgaa a05077151c docs: 方法.md 6.7 成分权重跟随 λ；6.9 分歧量不掺开放预留 
用户 2026-10-02 同意 rules 执行者提出的两处文档冲突的处理：6.7 的 0.9/0.1 改为 1−λ/λ，与 6.3 一致；分歧量只量人与人之间的差别，平均时不掺开放预留。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 00:27:38 -04:00
iomgaa 2830787b28 docs: 新增任务书 02-rules 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 00:08:45 -04:00
iomgaa 42347e4a60 docs: 方法.md 第七部分去掉计算时间总预算，只记录 
用户 2026-10-02："CPU 秒不当预算但是要记录"。单次运行时限和核数已定死，计算时间总额与运行次数重复；预留与退还只剩运行名额。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-02 00:07:05 -04:00
iomgaa 20fca73847 docs: 核对任务书 01 后修正结构.md 与方法.md 
- 结构.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>
 2026-10-01 23:59:35 -04:00
iomgaa 97a43591a3 feat: 工具链与 vocab 模块（任务书 01） 
- npm 包、TypeScript、node --test、dependency-cruiser；结构.md 第六部分的检查规则一次写全，临时违规实测均报错。
- vocab：基础类型与编号格式、规范序列化与哈希、角色/阶段/提交名单、指标与运行定义及结果、模型用量、16 种提交的 TypeBox 字段定义。
- 测试：规范序列化预期串手写，哈希预期值用 sha256sum 算出；每种提交一份合法样例。
- 结构.md 第八部分补 vocab 对外内容；WORK_LOG 记下用户决定。

用户决定（2026-10-01）："同意 A，vocab 上限改为 1100 行"；"同意 A：解释的 cells 去掉 minItems，改为可选"；"3、4、5、6：同意保留你的写法"；答案路径与保障动手次数"tasks 只记读到的原始内容"，对表由以后有位置表的模块现算。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-01 23:37:58 -04:00
iomgaa 30e4d98ed2 docs: 结构.md 调整 vocab 范围，新增任务书 01-vocab 
用户 2026-10-01 同意：提交字段定义放 vocab、submissions 只判收不收；vocab 可放规范序列化与哈希两个函数，上限 600 行。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-01 22:56:50 -04:00
iomgaa e57b9e8d6c docs: WORK_LOG 记下按模块"讲—写任务书—新 Agent 执行"的工作方式 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-01 22:46:37 -04:00
iomgaa 0252a5df3d docs: 建立 WORK_LOG.md 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-01 22:41:21 -04:00
iomgaa 6cf9f0ced8 docs: 建立 docs/结构.md 
从 inbox/结构.md 迁入模块、边界、可替换点、模块化程度与规模，删除 inbox/结构.md。
新增步骤清单与账本 12 种记录（用户 2026-10-01 认可），写明每种记录由谁写入、哪些禁止修改。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-01 22:41:06 -04:00
iomgaa 141494f414 docs: 保障的定义借用控制变量与重构两个现成概念说明 
用户 2026-10-01：保留"保障"一词。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-01 22:34:44 -04:00
iomgaa 5e4f8c2d1e docs: 消融只测信息价值选中的格 
用户 2026-10-01 选"理解二"：采纳后由信息价值减机会成本决定测哪几格，选中的马上测，没选中的记"没测"并写原因、以后不补；至少留 1 次给下一轮正向。
删除份额、照测、欠测、收尾补测、最后一轮预留、为知识放弃的分，以及给欠测留次数的开轮规则。开轮只看余额 ≥ 1。
已知局限补一条：大家押同一因子时信息价值为 0，不测；真实运行后看出现频率。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-01 12:27:44 -04:00
iomgaa f32c0bd9bb docs: 合成现行研究方法 docs/方法.md 
由旧项目研究方案 v3、设计-15、设计-16 合成，只写现行规则。
用户 2026-10-01 确认的改动：
- "点"改称"因子"（实验设计里的叫法）；
- 第一次预测挪到挑刺之前、对原始提案估，第二次在冻结之后、对冻结协议估，选批只用第二次；
- 采纳线上下限、剩余空间下限、比特格宽都跟 ε 挂钩；
- 去掉轮数上限，只留运行次数；
- "修好提示词后在同一阶段重发一个任务"做成配置开关控制的开发入口；
- 整个环境的用量只记录、不作为限制，实验员命令不加 CPU 上限。
违规处理表从 inbox 迁入第八部分，删除 inbox/方法.md。
开发中自定的规则在正文标〔自定〕。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-01 12:20:25 -04:00
iomgaa 3861fd873f docs: 建立 InfoRSI 的 CLAUDE.md 与 inbox 
CLAUDE.md 按官方写法：两层标准、遇到问题先找原因、错误两类、单一恢复路径、怎么改一份文件、方法约束、Pi 与角色、工作方式。
来源：用户 2026-10-01 逐条认可（改名 InfoRSI、文件锁、删重开与替换、违规处理表、修根因原则、来源写进提交说明）。
inbox：方法（违规处理表）、结构（13 个模块与可替换点）、调研（待迁清单）。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-01 11:21:27 -04:00