math-research-dsh

English: README_EN.md

math-research Codex 插件市场的 DSH (DeepSeek Harness) 适配版: 4 个 Codex 插件 (rigorous-open-math-research / manage-math-research-program / math-research-workflow / lean-verify) 以原生 DSH skill 形式发布, 脚本与模板随 bundle 分发.

背景与现状

• 上游是 Codex marketplace 仓库, 只能以 Codex 打包格式安装 (plugin.json / openai.yaml / marketplace.json / cachebuster), DSH 无法直接消费. 本仓库把每个插件转为一个 DSH skill bundle (目录 + SKILL.md frontmatter), 内容与上游保持同步.
• 当前状态 (2026-08-16): 4 个 skill 全部适配完毕; 本机已通过 install.ps1 以 junction 安装到 $DSH_HOME/skills; 安装后 DSH 会话技能目录即时可见 (watcher 跟随 junction); 仓库校验与 13 个冒烟全绿; GitHub Actions 已接入; 仓库根已打包为官方 bundle 技能包 (社区一键安装 + 收录申请已提交).

仓库间关系

xsoc1/rigorous-open-math-research            Codex 市场父仓库 (public, 上游内容源)
  +-- fork: Zhongshan-Big-Jun/rigorous-open-math-research   组织 fork (随父仓库同步)
xsoc1/math-research-dsh                     本仓库 (DSH 适配, public)
  +-- 单向同步: scripts/sync-from-parent.py 从父仓库拷贝并重放 DSH 层

• 本仓库只读消费父仓库, 从不修改它; 父仓库自身的维护规则 (validate_all, cachebuster, 双仓库推送) 与本仓库互不干扰.
• 上游内容更新时, 在本仓库重跑 sync-from-parent.py 即可; CI 的 sync-check job 每次 push 自动做漂移检查.
• 本仓库不修改 DSH harness 本体, 也不绑定某个 agent preset; 安装到用户技能根 ($DSH_HOME/skills) 后, 任何 standard/cordis preset 会话自动发现这 4 个 skill.

工作流与完整流程

• 一轮完整运行 (输入数学问题 → Stage A 管理 → Stage B 求解 → Stage C 验证 → 提交审计 8e → 结果入库) 的所有分支与终态, 见父仓库: docs/pipeline-full-flow.md
• 每个项目还会持续维护人类可读的 research_map.md (路线/方法/中间结果/失败 原因/工具/开放方向/avoid list/人类补充), 部分进展也入图.

Skill 一览

DSH 如何加载这些 skill

DSH 从以下根目录发现 skill: 用户技能根 $DSH_HOME/skills ($DSH_HOME 默认 ~/.dsh), 会话工作区的 项目技能根 .dsh/skills 与 .agents/skills, 以及 preset 自带 bundle. 一个 skill 是一个含 SKILL.md 的目录, 其 YAML frontmatter 声明 name 与 description. 用 skill 工具加载时返回正文 + resourceBase 目录路径; 包内 references/, assets/, scripts/ 经该路径读取或执行. 用户消息 首行为 /skill-name 时直接加载该 skill (即 Codex $skill-name 手势的 DSH 等价物; 上游内容中的一切 $skill-name 引用都按此映射).

安装

方式一: 社区一键安装 (官方 bundle 插件)

dsh plugin --profile web add github:xsoc1/math-research-dsh

仓库根以官方 bundle 技能包格式发布 (package.json 声明 dsh.bundle.patch, index.mjs 用官方 FileSystemSkillProvider 把 4 个 skill 注册为自定义技能根, 只挂载包内目录, 不重扫用户/项目技能根). 安装后重启 dsh web 生效, 之后 dsh-market 等社区市场可直接检索; 收录申请已提交 awesome-dsh-plugin.

注意: 方式一与方式二 (junction) 二选一, 不要同时安装, 否则同一批 skill 会双份注册.

方式二: junction 热更新 (开发/本机使用)

git clone https://github.com/xsoc1/math-research-dsh.git "$env:DSH_HOME\math-research-dsh"
powershell -ExecutionPolicy Bypass -File "$env:DSH_HOME\math-research-dsh\install.ps1"

install.ps1 把 4 个 bundle 以目录 junction 挂到 $DSH_HOME\skills, 之后 git pull 即热更新 (DSH skill watcher 跟随链接). 已有普通目录副本时加 -Force 替换. 只想装进单个项目: 把 bundles 复制或链接到项目 .dsh\skills 即可.

自检:

python "$env:DSH_HOME\math-research-dsh\scripts\dsh-doctor.py"

与父仓库的同步契约

上游内容来自 Codex 市场仓库 xsoc1/rigorous-open-math-research. 本仓库保持上游文件字节级一致, 只叠加一个机器重放的 DSH 层:

1. 每个 SKILL.md frontmatter 之后注入 ## DSH runtime notes (DSH adaptation) (说明 $name -> skill 工具的映射, resourceBase 访问方式, 包内 Python 脚本 运行方式, 以及 DSH 执行模式);
2. 上游已将 changelog 渐进式披露到 references/changelog.md; DSH 层仅把 DSH 适配历史追加到同一引用文件, 不再生成第二份历史指针;
3. workflow SKILL.md 的 doctor 段落改写为仓库级 scripts/dsh-doctor.py (Codex 版 scripts/doctor.py 移除);
4. 层自有新增文件: references/dsh-execution.md (rigorous + workflow), assets/dsh-solve-audit-workflow.js (workflow), 以及仓库根官方 bundle 打包 package.json / index.mjs / cordis.patch.yml 与门禁 scripts/dsh-check-bundle.py.

scripts/sync-from-parent.py 拷贝父仓库 bundles, 重放 DSH 层, 重生成 manage bundle 的 MANIFEST.sha256, 并写入 upstream.lock.json (父仓库 commit + 逐文件哈希).

# 全量同步 (需要父仓库本地克隆)
git clone https://github.com/xsoc1/rigorous-open-math-research.git "$env:DSH_HOME\_math-research-upstream\rigorous-open-math-research"
python scripts\sync-from-parent.py --upstream "$env:DSH_HOME\_math-research-upstream\rigorous-open-math-research"

# 漂移检查 (父仓库前进或 skills/ 被手改时 exit 1)
python scripts\sync-from-parent.py --upstream <父仓库克隆> --check

DSH 性能适配

针对 DSH 运行时的实际机制做的专项适配 (详见各 bundle 的 references/dsh-execution.md 与 runtime notes):

社区方法蒸馏 (2026-08-14)

从开源 DSH 生态吸收并蒸馏进本插件的方法 (纯增量, 不改动已有内容):

第二轮 (2026-08-16, 四方向)

许可证注意: 全部为方法级借鉴 (自撰措辞), 未复制任何仓库文字; 其中 dsh-multiagent-modes 为 CC BY-SA 4.0, 若未来直接引用其文字需同样开源署名.

校验

python scripts\validate_all.py .      # 结构 / MANIFEST / lock / UTF-8+LF / py_compile / JSON+YAML
python scripts\dsh-check-bundle.py    # 官方 bundle 打包门禁 (package.json / patch / index.mjs / skills)
python scripts\check_version_bump.py --base HEAD^   # CI 版本 bump 门禁 (本地按需)
cd tests
python smoke_pipeline_gate.py         # 流水线门禁 fixtures
python smoke_handoff.py               # 中断交接 fixtures
python smoke_lean_verify.py           # lean-verify 扫描 (无需 Lean 工具链)
python smoke_sync_remotes.py          # 多远程同步 (本地 bare 仓库, 无网络)
python smoke_doctor.py                # dsh-doctor 模拟环境
python smoke_dsh_run.py               # dsh_run 截断感知包装器
python smoke_context_audit.py         # 上下文注入审计
python smoke_formalization.py         # 形式化决策门禁 fixtures
python smoke_whiteboard.py            # whiteboard 门禁 fixtures
python smoke_distilled_methods.py     # 蒸馏社区方法的静态标记覆盖
python smoke_version_bump.py          # 版本 bump 门禁脚本冒烟 (临时 git 仓库)
python smoke_nested_repo.py           # 门禁跳过嵌套 git 仓库回归测试
python smoke_lake_build_guard.py      # lake build 循环防护冒烟

GitHub Actions 每次 push 运行以上全部 + 对父仓库的 --check 漂移比较.

目录结构

package.json                      官方 bundle 声明 (dsh.bundle.patch / marketplace 信息)
index.mjs                         bundle 入口: FileSystemSkillProvider 注册 skills/
cordis.patch.yml                  层栈 insert 行 (id = index.mjs 的 name, name = 包名)
skills/                         DSH skill bundles (父仓库同步 + DSH 层)
  rigorous-open-math-research/
  manage-math-research-program/   (含 MANIFEST.sha256)
  math-research-workflow/
  lean-verify/
  每个 bundle 内: references/changelog.md (上游 + DSH 适配历史)
                  references/dsh-execution.md (rigorous/workflow, 执行手册)
                  assets/dsh-solve-audit-workflow.js (workflow, fan-out 模板)
scripts/
  sync-from-parent.py             父仓库同步 + 层重放 + lock
  validate_all.py                 仓库校验
  dsh-check-bundle.py             官方 bundle 打包门禁
  dsh-doctor.py                   DSH 环境自检
  dsh_run.py                      截断感知脚本包装器 (verdict 头尾 + 完整日志落盘)
  check_version_bump.py           CI 版本 bump 门禁 (skills/或 bundle 入口变更必须 bump package.json)
tests/                            冒烟测试 + fixtures
upstream.lock.json                父仓库 commit + 逐文件哈希
install.ps1                       junction 安装到 $DSH_HOME/skills

版本历史

版本规则: 大版本 = 架构/能力代际; 小版本 = 功能批次; 补丁 = 纯修复。 旧 0.1.x 历史已并入上表, 不再使用日期/0.1.x 编号。

维护规则

1. 每次变更后运行 python scripts/validate_all.py ..
2. 不手改同步文件: 上游内容改动走父仓库, 然后重跑 sync-from-parent.py; DSH 层改动 只允许改该脚本内的层常量.
3. README 中英两版必须同步更新 (本文件 + README_EN.md, 顶部互链).
4. 新文件一律 UTF-8 无 BOM, LF 换行, 英文标点.
5. 内容变更 (skill 正文/脚本) 时同步 bump package.json 的 version, 让市场能检出更新.
6. 提交后按 project.json 的 git_sync.push_order 推送 (当前只有 origin).

版权: MIT (与父仓库一致).