docs: agent-instruction files carry a few owner/machine-only lines that mislead an outside contributor's AI
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
- 难度
- 2/5
- 预计耗时
- 1-3 小时
- 新手友好度
- 70/100
- Issue 类型
- 文档
- 描述清晰度
- 描述清楚
- 活跃度
- 活跃
调研方向
该 issue 列出了需要编辑的特定文件和行：EigenAttic/CLAUDE.md 第 39 行，EigenScript/.claude/rules/test-suite.md 第 260 行和第 385-389 行，以及用于性能数据的 ouroboros/CLAUDE.md、DMG/CLAUDE.md、EigenMiniSat/CLAUDE.md。首先在代码仓库中定位这些文件。查看每行周围的上下文以理解当前的措辞。将所有者特定的路径和引用替换为通用说明或命名的硬件。通过检查文件中是否还有剩余的机器特定细节来验证更改。
由索引模型根据 Issue 内容生成。
描述
The committed agent-instruction files (all */CLAUDE.md and */.claude/**: 30 files, 3,234 lines) are mostly general project knowledge. Measured 2026-09-23: about 1% (36 lines) is specific to the owner's machine and setup, and about 3% (122 lines) is incident history (dates, critic rounds, issue refs). A few lines actively mislead an outside contributor's AI:
EigenAttic/CLAUDE.md:39:EIGS=${EIGENSCRIPT_BIN:-/home/jon/EigenScript/src/eigenscript}. A default path that exists only on the owner's box, and even there it is a stale clone. Default toeigenscripton PATH or the sibling../EigenScript.EigenScript/.claude/rules/test-suite.md:260: "There is a real bash 3.2 on the dev box:~/.local/bin/bash32. Use it." Rewrite it as "test with bash 3.2 where available; the macOS CI lane runs it regardless".EigenScript/.claude/rules/test-suite.md:385-389: relies onbash_guard(a hook that exists only on the owner's machine) to denypkill -f. State the rule plainly: never kill by pattern; kill the pid you spawned.- "this box" / "dev box" performance figures in
ouroboros/CLAUDE.md,DMG/CLAUDE.mdandEigenMiniSat/CLAUDE.md: name the machine ("measured on an ASUS X540NA, Celeron N3350"), or point to where the figures live.
Legitimately specific, keep as they are: EigenOS's T3200 instructions (the project's target hardware) and EigenGauntlet's "defaults run fast on the X540NA" (a stated project target).
Docs-only; ruleset repos go through a PR. Split out of the #1264/#1275 work per the out-of-scope rule.
Done when
Line numbers in the issue have drifted since it was filed: search for the quoted text. One PR per repo; docs-only, no build needed.
-
EigenAttic/CLAUDE.mddefaultsEIGStoeigenscripton PATH or../EigenScript/src/eigenscript; no/home/jonpath remains. -
EigenScript/.claude/rules/test-suite.md: the "real bash 3.2 on the dev box" line says "test with bash 3.2 where available; the macOS CI lane runs it regardless", and thepkill -fpassage states the rule ("never kill by pattern; kill the pid you spawned") without relying onbash_guard. Same fix for the~/.local/bin/bash32sentence indocs/CI.md(the[99zb]row). - Private-repo references: the EigenOS link in
docs/FREESTANDING.mdline 5 is unlinked or marked "(private)";CLAUDE.mdmarks iLambdaAi and eigen-site "(private)"; the "iLambdaAi saw ~22%" claim inREADME.mdis dropped or restated on a public workload;docs/FREESTANDING.md's "30 HAL-root symbols the EigenOS kernel owes" states the contract in the doc itself. - "this box" / "dev box" measurements use the worst-case-target wording (owner's decision, 2026-09-23) in
docs/CI.md,docs/PERFORMANCE.md,ouroboros/CLAUDE.md,DMG/CLAUDE.md,EigenMiniSat/CLAUDE.mdandEigenMiniSat/docs/EIGENSCRIPT_FEEDBACK.md.grep -niE 'this box|dev box'over those files returns nothing, apart from the kept exceptions named in the issue. -
tools/docs_claims_check.sh(ormake precheck) passes on the EigenScript PR.
- 主要语言
- C
- 星标
- 3
- 派生
- 7
- 平均合并
- 4 小时 5 分钟
- 30 天内合并 PR
- 116
环境准备
在浏览器里用你自己的 GitHub 账号启动这个项目的开发容器。
- 提供 Dockerfile 或 Docker Compose 文件
- 有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
InauguralSystems/EigenScript 的其他 Issue
-
area:docs good first issue kind:docs-drift
难度 1/5 1 小时以内 新手友好度 92/100
InauguralSystems/EigenScript#1400 ·
维护者通常 1 天内回复
-
area:docs good first issue kind:docs-drift
难度 2/5 1-3 小时 新手友好度 90/100
InauguralSystems/EigenScript#1396 ·
维护者通常 1 天内回复
-
docs/BUILTINS.md: task_spawn row says task_yield/task_join 'land in a later increment'; both exist未关闭area:docs good first issue kind:docs-drift
难度 2/5 1-3 小时 新手友好度 88/100
InauguralSystems/EigenScript#1392 ·
维护者通常 1 天内回复
-
area:embed kind:silent-wrong
难度 2/5 1-3 小时 新手友好度 78/100
InauguralSystems/EigenScript#1387 ·
维护者通常 1 天内回复
-
area:stdlib kind:silent-wrong
难度 2/5 1-3 小时 新手友好度 86/100
InauguralSystems/EigenScript#1378 ·
维护者通常 1 天内回复
查看 InauguralSystems/EigenScript 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 68/100
trezor/trezor-firmware#7997 ·
维护者通常 2 天内回复
-
难度 2/5 1-3 小时 新手友好度 84/100
维护者通常 1 天内回复
-
area/ysql kind/bug priority/medium status/awaiting-triage
难度 2/5 1-3 小时 新手友好度 84/100
yugabyte/yugabyte-db#34415 ·
维护者通常 1 天内回复
-
难度 1/5 1-3 小时 新手友好度 78/100
KhronosGroup/OpenCL-Headers#318 ·
-
0.kind: build failure
难度 2/5 1-3 小时 新手友好度 73/100
维护者通常 1 天内回复