数学题库工坊 ziyans2022/dsh-problem-bank

dsh-problem-bank

DeepSeek Harness 插件：结构化数学题库 + 技巧驱动的变式出题。

dsh-problem-bank 是一个插件，面向数学题库建设与变式生成。它不只保存题目，还能围绕知识点、解题技巧和题型骨架，对题目做结构化管理，帮你发现变式方向。

题目以 markdown + frontmatter 落盘，可直接用 git 管理；知识点、题型骨架、解题技巧构成三层索引，用来生成「同技巧、异题面」的新题，并自动识别换皮题。

v0.6 起题库本身也升级了：一题可以有多条独立解法（各自审核），知识图谱区分「学习顺序」与「数学关系」两层并能查环，难度从单一星级扩展成六维剖面（概念 / 技巧 / 证明深度 / 前置负担 / 洞察 / 一般性）。

功能

- 题目入库与结构化：整理题面、解答、知识点、难度与审核状态。
- 多解法：一题可存多条解法（代数 / 几何 / 解析 / 组合…），每条解法独立审核、可切换主解法，旧接口读到的仍是主解法。
- 知识图谱管理：知识点分「学习层 / 数学层」两层，前置关系可查环，支持邻居、前置链、学习路径与相关概念检索。
- 解题技巧复用：标注解题技巧，并按技巧抽取题目，探索方法迁移。
- 变式生成与近重复检查：围绕题型骨架设计新题，辅助识别只替换数字或表述的浅层变式。
- 六维难度：概念 / 技巧 / 证明深度 / 前置负担 / 洞察 / 一般性，每维 1–5 分并强制写理由；模型初评一律待人工确认，组卷按维度设硬约束。
- 变式质量门：变式必须声明类型与目标，并核对「保留了哪些难点 / 新增了哪些障碍 / 一般性是否被降低」，未过门禁无法入库。
- 创新性审核流程：记录机器检查和人工判断，区分草稿与已审核题目。
- 试卷分析与组卷：分析题目风格、规划试卷结构，并按题目要求组织试卷。

插件的作用是辅助题目组织、变式设计与质量检查。机器检查结果不等于数学正确性或原创性的最终证明，仍需人工核验。下列示例按照插件的数据组织思路编写，不代表已经通过真实插件运行时的创新性审核。

变式质量门

变式不能只以「题面不同、答案正确」作为合格标准。插件要求每次变式都写清三件事：保留了什么核心难点、新增了什么推理障碍、一般性有没有被降低，并在入库前逐项核对。

| 变式类型 | 应达到的目标 | 例子 |
| isomorphic 同构 | 保持推理深度，改变表述或参数 | 参数变化后仍需同层次的证明 |
| structural 结构 | 保留核心思想，改变关键结构 | 把递推关系转化为不变量问题 |
| harder 增难 | 增加新的推理障碍 | 从「n=4」提升到「对任意 n」 |
| extension 拓展 | 推广结论或研究边界 | 从求实根拓展到零点分布 |
| simplified 降难 | 仅作明确的教学模式，不计为创新 | 只要求算出前几项 |

simplified 默认被拒绝（配置项 allowSimplified），因为「看起来不同、数学上更简单」正是自动化出题最容易发生的退化。

质量门六步：

1. record_variation_intent —— 先声明变式类型与目标，并写原题与候选题的难度剖面（核心结论、关键技巧、最难的一步、一般性 general-n / finite-case / single-instance、证明义务）；
2. 先设计数学结构，再决定参数与题面，不能反过来只替换数字；
3. 独立求解：条件相容、解存在、边界情形、完整证明；
4. audit_variation —— 提交 preserved / added / weakened 与求解核验；
5. 门禁自动比对一般性：原题是 general-n 而变式掉到 finite-case 时直接判不通过，并给出原因；
6. 通过后才能 submit_for_review；commit_problem 会再次拦截未过门禁的题目。

步数与证明长度只作辅助指标，不能单独代表数学难度。

多解法

一道题可以有多条解法，各自带审核状态：

解析（主解法的正文）

解法 SOL-002 — 不变量法

核心思路利用 U_{n-1}^2 - U_n U_{n-2} = 1。

证明步骤
1. …

- 主解法仍写在 ## 解析，额外解法写 ## 解法 SOL-xxx — 标题，旧文件不改也能读。
- 每条解法的 verification.status 独立（unverified / reviewed / verified），写一段文字不会自动变成「已验证」。
- content.solution 始终等于主解法的正文，只读旧字段的调用方不需要改。

六维难度

| 维度 | 看什么 |
| conceptual | 理解题目需要多少概念铺垫 |
| technical | 计算/构造的执行难度 |
| proofDepth | 证明需要几层嵌套，是否存在关键引理 |
| prerequisiteLoad | 依赖多少前置知识 |
| ingenuity | 关键洞察有多难想到 |
| generality | 结论覆盖的是单个例子、有限情形还是一般情形 |

- 每维必须写 rationale，没有理由的分数不收。
- assessedBy: model 的评分永远是 pending，只有 review_difficulty_profile 能把它变成 reviewed。
- 组卷时槽位可以按维写下界/上界（如「generality ≥ 4」），不满足即拒绝；强行填入必须给理由，且记录在槽位上。不做加权平均抵消。

知识图谱 v2

- 关系分两层：learning（prerequisite / part-of / application / contrast）与 mathematical（equivalent / implies / generalizes / specializes / dual-to / counterexample-to）。
- 数学关系必须带 evidenceStatus（unreviewed / source_supported / human_verified），否则校验时给警告。
- kg_validate_graph 检查：端点是否存在、边是否重复、权重是否越界、prerequisite 是否成环。
旧的 equivalence 边在迁移时会标为「待分类」，不会被自动当成严格等价。

从 v5 题库升级

migrate_bank(dryRun=true) # 先看影响面，不写盘
migrate_bank(dryRun=false) # 正式迁移，自动备份到 <bankRoot>/migration/<时间>/

迁移只做三件事：把旧解析转成一条 legacy 主解法、把关系补上层级与证据状态、把 schemaVersion 升到 6。它不会自动编造第二条解法、不会推测六维难度、不会创建新的数学关系；语义不明的边会被列进 unresolved-relations.json 等人工处理。可以重复运行（第二次应 migrated=0），也可以用备份目录回滚。

改编示例

下面用一道真实的考试原题（第 8 题，原卷四）演示质量门到底要求写清楚什么：不是把题面改着玩，而是先说明保留什么、新增什么障碍。

原题

已知 $g_0(x)=1$、 $g_1(x)=x$，且

$$
g_n(x)=\frac{[g_{n-1}(x)]^{2}-2^}{g_{n-2}(x)}\qquad(n\ge 2).
$$

证明 $g_n(x)$ 为 $n$ 次整系数多项式，并求 $g_n(x)=0$ 的所有根。

前几项是 $g_2=x^{2}-2$、 $g_3=x^{3}-4x$、 $g_4=x^{4}-6x^{2}+4$、 $g_5=x^{5}-8x^{3}+12x$。

答案与关键一步

令 $t=x/(2\sqrt{2})$， $U_n$ 为第二类 Chebyshev 多项式（ $U_0=1$、 $U_1=2t$、 $U_{n+1}=2tU_n-U_{n-1}$ ），可以猜出

$$
g_n(x)=2^{n/2}\,U_n\!\left(\frac{x}{2\sqrt{2}}\right).
$$

验证只需一条恒等式 $U_{n-1}^{2}-U_nU_{n-2}=1$：两边同乘 $2^{n-1}$ 就得到 $g_{n-1}^{2}-2^=g_ng_{n-2}$，正是原递推。零点因此全部是

$$
x_k=2\sqrt{2}\cos\frac{k\pi}{n+1},\qquad k=1,2,\dots,n .
$$

失败写法（会被门禁拒绝）

把递推里的 $2^$ 换成 $3^$，再只问「求 $g_3$ 的根」。参数确实换了，但题目从「对任意 $n$ 证明并求全部根」掉成了「代入 $n=3$ 算一次」，一般性直接降级。门禁的判词是：generality: 原题 general-n → 变式 finite-case（降低：把一般性问题截成了特例）。

合格变式（harder）

1. 证明 $g_n$ 的 $n$ 个零点互异，且全部落在 $(-2\sqrt{2},\,2\sqrt{2})$ 内；
2. 证明 $g_{n-1}$ 的每一个零点都严格落在 $g_n$ 的相邻两零点之间（零点交错）。

第 2 问是新的障碍：求出闭式还不够，还要拿 $g_n$ 与 $g_{n-1}$ 的零点做比较。由

$$
x_k^{(n)}=2\sqrt{2}\cos\frac{k\pi}{n+1},\qquad x_j^{(n-1)}=2\sqrt{2}\cos\frac{j\pi}{n}
$$

以及 $\cos$ 在 $(0,\pi)$ 上严格递减，只需验证

$$
\frac{j\pi}{n+1}<\frac{j\pi}{n}<\frac{(j+1)\pi}{n+1}\qquad(1\le j\le n-1),
$$

左边等价于 $j<n$，右边等价于 $j\ge 0$，恒成立。所以 $x_j^{(n-1)}$ 落在 $x_j^{(n)}$ 与 $x_{j+1}^{(n)}$ 之间。

对应门禁字段：

| 字段 | 填写内容 |
| 类型 / 目标 | harder / 在保留求根完整性的前提下，增加零点分布与交错性的论证 |
| 保留 | 同一递推族；整系数与次数的证明；全部零点的显式表达 |
| 新增 | 零点互异性与所在区间；与 $g_{n-1}$ 零点的交错比较 |
| 削弱 | 无 |
| 一般性 | general-n → general-n |
| 求解核验 | 分母恒非零（与归纳同步证明）、根的存在与计数、 $n=1,2$ 边界、证明完整 |

这正是 record_variation_intent + audit_variation 要求写清楚的东西：不是「看起来不一样」，而是说得出难度从哪来、新障碍是什么。

安装

DSH 插件通过插件管理器安装：给一个 npm 包名、一个 git 仓库地址，或一个本地目录。不要手改 profile 里的 cordis.patch.yml。

本插件尚未发布到 npm，所以可用的来源是后两种。

git 仓库 —— 填地址 + 40 位 commit（短哈希会被拒绝）：

git+https://github.com/ziyans2022/dsh-problem-bank.git#d95c4c290277dcc7a084955d0d8f5a0f5360df42

本地目录 —— 指向解压后的目录，该目录必须同时含 package.json 与 cordis.patch.yml：

C:\tools\dsh-problem-bank

Windows 路径含空格时整段给出，不要加引号或转义。

装完怎么确认

1. 插件列表里出现「题库插件」—— 标题来自 locale/zh.json 的 meta.title，不是包名；
2. 工具列表里能看到 sample_by_technique、migrate_bank 等共 42 个工具；
3. 日志里有一行 [problem-bank] init ok. bankRoot=…, techniquesSeeded=30, schemaVersion=6。

三条缺一条，先看第 3 条里的 bankRoot 指向哪里，见下一节。

升级

插件市场不支持原地升级。换版本：先在插件管理器里移除，再按上面的方式装新版本。数据在 bankRoot 里，不随插件卸载消失，重装会复用同一目录。

从 0.5.x 升到 0.6.0 后，第一次打开旧题库先跑 migrate_bank({ dryRun: true }) 看影响面，再跑 migrate_bank({ dryRun: false })。迁移会备份到 <bankRoot>/migration/<时间>/，可重复运行、可用 rollbackMigration 回滚。

为什么 patch 里写的是包名

cordis.patch.yml 的 name: 'dsh-problem-bank' 是包名。Node 的模块解析会从 profile 的 node_modules 里找入口，所以必须由插件管理器装进去。直接把仓库目录当 patch 加载会报 Cannot find package；本地改源码调试请用 cordis.dev.yml（name: './lib/index.js'，相对路径）。

数据目录

bankRoot 默认 ./problem-bank-data。相对路径按 DSH 进程的工作目录解析，不是插件目录（lib/service.js 里的 path.resolve）。装成插件后工作目录可能是应用安装目录，升级时连同数据一起被清掉的风险不低，正式使用请填绝对路径：

bankRoot: 'D:/problem-bank-data'

（Windows 反斜杠要写成 C:\\data\\problem-bank，或者统一用正斜杠。）

problem-bank-data/
├── 2026/
│ └── ZH-0001.md 题目：frontmatter + 「## 题面 / ## 解析 / ## 【配图】N」 ├── kg/ │ ├── nodes.json 知识点 │ ├── relations.json 知识点关系（学习层 / 数学层） │ └── techniques.json 技巧（首次初始化灌入 30 条种子） ├── papers/ 模拟卷 ├── migration/ 迁移备份与报告（执行 migrate_bank 后出现） └── .problem-bank-id-seq 题号序列

题目是纯文本，git diff 可读；打开 autoGitCommit 后每次入库自动在 bankRoot 内 commit。

技巧种子只在 kg/techniques.json 为空时灌入：你一旦自己加过任何技巧，种子就不会再补。这是有意的（避免覆盖你的编辑），需要补齐请手动 kg_add_technique。

权限与副作用

- 插件直接用文件系统写 bankRoot（题目 .md、kg/.json、papers/.json），不经过 DSH 的工作区沙箱；bankRoot 指向哪里就写哪里。
- 打开 autoGitCommit 会在 bankRoot 内执行 git init（若无仓库）、git add -A、git commit，作者取 gitAuthorName / gitAuthorEmail。默认关闭。
- 插件自身不发起任何网络请求；推送到远端由你手动做。

配置

| 键 | 默认 | 说明 |
| bankRoot | ./problem-bank-data | 题库根目录（建议绝对路径） |
| idPrefix | ZH | 题号前缀，生成 ZH-0001 |
| autoGitCommit | false | 入库时自动 git add -A && git commit |
| requireHumanReview | true | 强制先 pending_review 才能 approve；rejected 不可入库 |
| defaultDifficulty | 3 | 未指定难度时的默认值（1–5） |
| gitAuthorName | problem-bank | 自动提交作者名 |
| gitAuthorEmail | problem-bank@local | 自动提交作者邮箱 |
| nearDuplicateThreshold | 0.75 | 子图相似度判近重复的阈值（0–1） |
| requireVariationGate | true | 入库前必须声明变式类型并通过 audit_variation |
| allowSimplified | false | 是否允许 simplified（降难）变式过门；默认禁止 |
| requireInnovationReview | true | 变式入库前必须通过创新审核；原始真题（original）不受此限 |

工具（42 个）

为必填参数。

| 工具 | 说明 | 参数 |
| ingest_raw | 接收原始题目素材并创建草稿。图片题推荐：多模态模型先读图得到 imageDescription，再调用本工具 | text:string, imageDescription:string, imagePath:string, filePath:string, sourceType:string, uploader:string |
| structure_problem | 将题目整理为标准结构并写入（可新建或更新）。完成后建议再 attach_subgraph 挂知识子图，以启用近重复检测与原创约束 | id:string, stem:string, solution:string, knowledgePoints:array, difficulty:number, tags:array, abilityLevels:array, sourceType:string |
| revise_problem | 增量修订已有题目，只传需要修改的字段，显著节约 token | id:string, stem:string, solution:string, knowledgePoints:array, difficulty:number, tags:array, abilityLevels:array |
| kg_add_node | 向知识图谱添加知识点节点。建议用稳定 ID（如 KP-QUAD-VERTEX） | id:string, name:string, subject:string, grade:string, semester:string, curriculumRef:string, typicalErrors:array, aliases:array |
| kg_add_relation | 添加知识点关系。type: prerequisite / part-of / equivalence / contrast / application | from:string, to:string, type:string, note:string, weight:number |
| kg_add_technique | 添加技巧/思路节点。用于「同技巧、异题面」创新：固定核心思想，强制题面与骨架不同 | id:string, name:string, idea:string, typicalMoves:array, domains:array, exemplarNote:string |
| attach_subgraph | 为题目挂载知识子图（主知识点 + 支撑 + 能力）。建议同时调用 attach_skeleton 标注题型骨架，否则近重复检测无法一票否决换皮题 | id:string, main:string, supporting:array, abilities:array, intent:string, pathSummary:string |
| attach_skeleton | 为题目挂载题型骨架（patternId + keyMoves + conditionStructure + answerType）。同 patternId 的换皮题会被 check_near_duplicates 一票否决。这是抑制肤浅改编的关键 | id:string, patternId:string, keyMoves:array, conditionStructure:string, answerType:string, estimatedSteps:number, requiresCoupling:boolean |
| attach_techniques | 为题目标注所用技巧/思路 ID。同技巧异题面生成时，exemplar 靠此字段检索 | id:string, techniqueIds:array |
| record_variation_intent | 变式质量门第 1 步（生成前必须先调用）：声明变式类型、目标，并写出原题与候选题的难度剖面（核心结论、关键技巧、最难的一步、一般性、证明义务）。非变式题请用 variationType=original。只替代数字或删掉最难一步的「简化改写」会在 audit_variation 被拦截 | id:string, variationType:original / isomorphic / structural / harder / extension / simplified, originalProblemId:string, target:string, coreClaim:string, keyTechniques:array, hardestStep:string, generality:general-n / finite-case / single-instance, proofObligations:array |
| audit_variation | 变式质量门第 2 步（入库前必须通过）：逐项核对「保留了什么难点 / 新增了什么障碍 / 削弱了什么 / 是否独立求解」，并检查一般性未被降低。任何一项不通过都会阻止 commit_problem | id:string, preserved:array, added:array, weakened:array, conditionsCompatible:boolean, solutionExists:boolean, boundaryChecked:boolean, proofComplete:boolean, notes:string |
| check_near_duplicates | 多信号近重复检测：子图相似度 + 题型骨架。同 patternId 一票否决（换皮题直接判近重复）。生成后必须调用 | main:string, supporting:array, abilities:array, patternId:string, keyMoves:array, conditionStructure:string, answerType:string, threshold:number |
| sample_for_generation | 原创出题可控采样：支撑/前置/易混淆/应用迁移 + 禁止已有 patternId + 硬约束列表。生成前必调；须遵守 hardConstraints 与 requiredMigration | main:string, maxSupporting:number, abilities:array, negativeTopK:number, minEstimatedSteps:number, preferMigration:string |
| sample_by_technique | 同技巧异题面采样。operator: transfer_domain/change_goal/couple/inverse/critical。可传 secondaryTechniqueId 做技巧组合。返回硬规则五条、迁移说明模板、人工门禁两问 | techniqueId:string, main:string, abilities:array, minEstimatedSteps:number, operator:string, secondaryTechniqueId:string |
| sample_technique_combo | 技巧组合采样：主技巧 + 副技巧，算子固定 couple。两技巧须在同一解题路径的关键步耦合，禁止拼盘 | primaryTechniqueId:string, secondaryTechniqueId:string, main:string, abilities:array, minEstimatedSteps:number |
| plan_technique_batch | 对一组 TECH 批量产出创新采样计划（不写题）。operator 默认 transfer_domain；couple 时自动与列表中下一个技巧配对 | techniqueIds:array, operator:string, main:string |
| review_innovation | 创新门禁：自动检查骨架/技巧/禁止 patternId/步数/组合标注/近重复，并返回人工两问。生成入库后调用 | problemId:string, forbiddenPatternIds:array, minEstimatedSteps:number, primaryTechniqueId:string, secondaryTechniqueId:string, operator:string |
| submit_for_review | 将草稿提交审核（draft → pending_review） | id:string |
| review_problem | 审核题目。decision: approve / reject | id:string, decision:string, notes:string, reviewer:string |
| commit_problem | 正式入库。requireHumanReview=true 时必须先 approve。autoGitCommit=true 时自动 git commit | id:string |
| get_problem | 按 id 获取题目完整结构化内容。后续对话请优先用此工具引用，而不是重新粘贴全文 | id:string |
| search_problems | 检索题库。支持知识点、难度、能力、主知识点、必须包含/排除的支撑知识点等图谱约束 | keyword:string, knowledgePoint:string, difficulty:number, status:string, tag:string, ability:string, mainKnowledge:string, mustIncludeSupporting:array, excludeKnowledge:array, limit:number |
| link_problem | 为题目关联讲义、背景文章或其他题目 | id:string, lectureIds:array, backgroundArticleIds:array, relatedProblemIds:array |
| analyze_paper_style | 分析一组真题（如中科大少年班历年题）的风格画像：难度分布、能力分布、主知识点频率、高频子图模式、结构分节。结果用于后续模仿出模拟卷 | name:string, problemIds:array, styleId:string |
| plan_mock_paper | 根据风格画像生成模拟卷计划：为每一题槽位采样主知识点、支撑、能力、负样本与难度。模型应按计划逐题生成，再填回试卷 | styleProfileId:string, paperTitle:string, questionCount:number, preferMains:array |
| fill_paper_slot | 将已生成并入库的题目填入模拟卷的指定槽位。全部填完后试卷状态变为 ready | paperId:string, order:number, problemId:string, force:boolean, reason:string |
| get_paper | 获取试卷详情（含各槽位与已填题目 id） | paperId:string |
| add_solution | 为题目追加一条解法。同一题可以有多条独立解法（代数/几何/解析/组合…），各自有独立的审核状态。第一条解法自动成为主解法 | problemId:string, title:string, approach:string, keyIdea:string, techniqueIds:array, body:string, steps:array, setAsPrimary:boolean |
| update_solution | 修改某条解法的内容或审核状态。改动正文会把审核状态打回 unverified（除非显式传 verificationStatus） | problemId:string, solutionId:string, title:string, keyIdea:string, body:string, steps:array, verificationStatus:string, verificationNotes:string, reviewer:string |
| remove_solution | 删除一条解法。删掉主解法时会把下一条提升为主解法；若一条不剩会保留 legacy 主解法 | problemId:string, solutionId:string |
| set_primary_solution | 切换主解法。主解法会被同步到旧的 solution 字段，保证兼容只读 solution 的调用方 | problemId:string, solutionId:string |
| kg_validate_graph | 检查知识图谱：缺失端点、重复边、权重越界、数学关系缺证据状态、prerequisite 成环。返回 errors / warnings 列表，不修改数据 | — |
| kg_get_neighbors | 按关系类型/层级取某个知识点的邻居（默认双向） | nodeId:string, type:string, layer:string, direction:string |
| kg_get_prerequisites | 取某知识点的前置知识（沿 prerequisite 反向遍历，按深度排序） | nodeId:string, maxDepth:number |
| kg_find_related_concepts | 找一个知识点在数学层/学习层上相邻的概念，用于出题时找迁移与对比素材 | nodeId:string, limit:number |
| kg_find_learning_path | 在 prerequisite 图上找从起点到目标的学习路径（BFS，默认最多 8 层） | from:string, to:string, maxDepth:number |
| get_difficulty_rubric | 返回六维难度的 rubric（每维 1–5 分的锚点说明），出题/评分前先读它 | — |
| assess_problem_difficulty | 给题目写六维难度初评（概念/技巧/证明深度/前置负担/洞察/一般性，各 1–5，必须写理由）。模型初评一律是 pending，需人工 review_difficulty_profile 才算数。overall 可选，会回写旧五级难度 | problemId:string, conceptual:number, technical:number, proofDepth:number, prerequisiteLoad:number, ingenuity:number, generality:number, conceptualNote:string, technicalNote:string, proofDepthNote:string, prerequisiteLoadNote:string, ingenuityNote:string, generalityNote:string, overall:number, assessedBy:string |
| update_difficulty_profile | 只改六维中的一维（其余保留）。改分后 reviewStatus 自动回到 pending | problemId:string, dimension:string, rating:number, rationale:string |
| review_difficulty_profile | 人工确认/驳回六维评分。只有这里能把 reviewStatus 变成 reviewed | problemId:string, approve:boolean, reviewer:string, notes:string |
| compare_problem_difficulty | 逐维比较两道题（给出每维差值，不做加权平均）。用于检查「变式是不是变简单了」 | a:string, b:string |
| migrate_bank | 把 v5 题库迁移到 v6（多解法 / 六维难度 / 关系分层）。默认先 dryRun 看影响面。迁移前自动备份，可 rollback。不自动生成解法、不自动推测难度、不自动创建关系 | dryRun:boolean |

模型会看到什么

插件激活时会往系统提示里注入一段约 300 字的摘要（src/prompt.ts）：出题七步的调用顺序、三条硬规则、以及「一般性问题截成特例会被拒绝」。不会把 SYSTEM_PROMPT.md 全文塞进去——那会把 42 个工具 schema 之外的固定成本再抬高一截。完整说明在仓库根目录的 SYSTEM_PROMPT.md，供人阅读。

systemPrompt 拿不到时（例如独立跑测试）注入会静默跳过，不影响工具注册。

一次完整的变式出题

1. sample_by_technique / sample_for_generation —— 拿到硬约束、禁止的 patternId、迁移说明模板、变式契约（variationContract）
2. record_variation_intent —— 先定变式类型与目标，写原题与候选题的难度剖面
3. structure_problem —— 在约束内写题面与解析
4. attach_subgraph + attach_skeleton + attach_techniques —— 挂知识点、骨架、技巧
5. audit_variation —— 独立求解核验 + 保留 / 新增 / 削弱三栏；一般性不得下降
6. check_near_duplicates —— 同 patternId 一票否决
7. assess_problem_difficulty + compare_problem_difficulty —— 六维评分并逐维对比原题，确认没有维度被悄悄降级
8. review_innovation —— 自动门禁（含变式质量门）+ 人工两问
9. submit_for_review → review_difficulty_profile（人工确认评分）→ review_problem → commit_problem

commit_problem 会再拦一次：没声明变式类型、没审计、或审计未通过的题目一律不许入库。

状态机：draft → pending_review → approved；rejected 只能改完重新提交，不能直接入库。

模拟卷

analyze_paper_style（一组真题的风格画像）→ plan_mock_paper（槽位计划）→ 逐题生成后 fill_paper_slot → get_paper。填槽会校验题目存在、且不会被重复占用。

开发

lib/ 已提交，安装使用不需要构建。重新构建需要 DSH 源码工作区：src/ 依赖 @deepseek-ai/cordis、@deepseek-ai/dsh-tools、@deepseek-ai/schemastery 的类型，而这三个包声明为可选 peer，干净克隆里不会自动安装（公开 registry 上的 dsh-tools 最新稳定线也不与 harness 内置的 0.2.x 一一对应），因此构建在 DSH 工作区内进行。

peerDependencies 的 @deepseek-ai/dsh-tools 写成 >=0.2.1-0 <0.3.0-0：node-semver 只允许「比较器与预发布版本拥有相同的 major.minor.patch 且自身带预发布标签」时才匹配预发布，>=0.2.0 会静默排除 harness 的 0.2.1-rc.x。写成 0.2.1-0 下界后，0.2.1-rc.3 与后续 0.2.x 稳定版都满足，0.3 起不满足。

跑测试需要 @deepseek-ai/cordis 能被解析（lib/service.js 从它 import Service）；它是可选 peer，干净克隆里不会自动装上，先补一句：

npm install --no-save @deepseek-ai/cordis@4.0.5

npm install # 只需要 typescript
npm run build # tsc → lib/，并拷贝 seed-techniques.json
npm run test:integration # 真 import lib/：往返、并发、状态机、旧格式迁移、填卷校验
npm run test:gate # 变式质量门：未声明/缺障碍/一般性下降/降难默认拒绝
npm run test:solutions # 多解法：增/改/删/切换主解法、Markdown 往返、写放大
npm run test:intel # 图谱 v2、六维难度、组卷硬约束、迁移与回滚
npm run test:install # 把 tarball 装进干净目录并加载：能抓到「装不上」
npm run build:schemas # 重新生成 lib/tool-schemas.json（需要 @deepseek-ai/dsh-tools）
npm run pack:check # 有 typescript 时先 build，再 npm pack + 解包校验
PB_SKIP_INSTALL=1 npm run pack:check # 离线时跳过「从 tarball 干净安装」那一步

改动 src/ 后必须重新 npm run build，否则 lib/ 与源码脱节。

上架官方插件市场

插件市场索引由 awesome-dsh-plugin 维护，收录规则见其 contributing.md。本仓库已满足代码侧要求（package.json 声明 dsh.bundle、cordis.patch.yml 与它同级且 insert[].name 为包名、真实可运行代码、peerDependencies 声明官方包）。提交时还需要：

1. 仓库至少创建满 1 天（CI 自动检查，红了会自己转绿；dsh-plugin topic 只是可发现性建议，不进 CI）；
2. 在 awesome 仓库新增 data/plugins/<owner>__<repo>.yml，字段与取值见该仓库示例；
3. icon 只接受 GitHub 托管的 png/jpg/jpeg/webp——本仓库的 icon.png 就是给索引条目用的（icon.svg 用于插件自身）。

已知取舍

- search 无索引：按年份目录全量扫描并解析，千题以内够用，更多需要缓存或索引。
- 文件锁是「进程内串行 + wx 锁文件」，多进程同时写会互相覆盖。
- 读-改-写没有版本校验（CAS），并发修改同一题时后写覆盖先写。
- 技巧种子只在 techniques.json 为空时灌入，之后新增种子要手动导入。
- 六维难度是评分工具，不是自动推断：没有证据的维度不填，也不会被模型「猜」出来。
- 安装来源暂无 npm 包：只能用 git 或本地目录，装完不会有 npm 版本号可查。
- @deepseek-ai/dsh-tools / @deepseek-ai/schemastery 是可选 peer，解析不到时走降级：工具用构建期快照 lib/tool-schemas.json 注册、配置默认值在代码里兜底、Config 不再声明。降级路径由 npm run test:install 守护。
- 图标与展示文案来自导出的 ./icon、./locale/.json；meta.title 缺失时回退到包名。

License

MIT