xsoc1/math-research-dsh

Install

- 本仓库只读消费父仓库, 从不修改它; 父仓库自身的维护规则 (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`](https://github.com/xsoc1/rigorous-open-math-research/blob/main/docs/pipeline-full-flow.md)
- 每个项目还会持续维护人类可读的 `research_map.md` (路线/方法/中间结果/失败
  原因/工具/开放方向/avoid list/人类补充), 部分进展也入图.

## Skill 一览

| DSH skill | 角色 | 随包工具 |
|---|---|---|
| `math-research-workflow` | 编排: 管理 -> 研究 -> 验证流水线, 阶段门禁, 中断交接协议 | `scripts/validate_pipeline.py`, `assets/` 模板 |
| `manage-math-research-program` | 项目管理: 项目初始化, 文献, 工具库, 任务包, 已接受知识流水线; Lean 验证后强制交付论文级 LaTeX 双语证明 (`papers/`, arXiv 规范) | `scripts/{init_project,validate_project,sync_remotes}.py`, `assets/` 模板, blueprint 工具 |
| `rigorous-open-math-research` | 求解层: 定理契约, 路线搜索, 对抗性审计, 校准式报告 | `references/`, `assets/` |
| `lean-verify` | Lean 4 形式化审计: sorry/axiom 扫描, 义务级审计, 结构化裁决 | `scripts/verify_lean_project.py`, `assets/` 模板 |

## 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 插件)**

Add xsoc1/math-research-dsh to your DSH config (web profile) to enable.