dsh-k12-substrate

English | 中文

给 DeepSeek Harness 接上一套中国 K12 能力底座：模型可以查课标能力锚点、查字表词表篇目、把某个孩子的掌握情况写进本机档案、算出识字量与下一步。

数据来自教育部《义务教育课程标准（2022年版）》。

先说清楚它不是什么

这一节放在最前面，因为误以为它覆盖全学科，比不装它更糟。

从课标抽出 1,339 条候选能力锚点，只有 146 条通过了「判定客观、无需教师复核」的门槛并随包分发：

	数量
课标切出的碎片	4,841
过可判定性闸	1,339
AI 复审后存活	600
可写进孩子档案（本插件暴露的）	146

这 146 条集中在语文识字/写字/背诵与英语词汇——因为这些能力的对错是客观的：字写对没有、篇背下来没有。

数学、物理、化学等学科的锚点查不到。 它们的判定依赖教学判断（如「能运用数形结合思想」），还没有教师复核过，因此没有纳入可用集合。k12_substrate_info 会如实报告这条边界，k12_find_capability 查数学会诚实地返回 0 条——查不到不等于课标里没有。

同理，本插件不能回答「先学什么后学什么」。可用锚点之间只有 2 条依赖边，且都来自实测的集合包含关系（基本字表 ⊂ 常用字表一，实测 95%；英语二级词汇 ⊂ 三级词汇，实测 100%），那不是学习路径。

安装

pnpm add dsh-k12-substrate

pnpm dsh web --patch ./node_modules/dsh-k12-substrate/cordis.patch.yml

或者在你自己的 cordis.yml 里插入：

- insert:
    - id: k12-substrate
      name: 'dsh-k12-substrate'
      config:
        profileDir: ''      # 留空则用 ~/.dsh-k12-substrate/profiles/
        readOnly: false     # true 则只注册查询工具，不注册档案读写

五个工具

工具	做什么
k12_substrate_info	覆盖范围、数据来源、已知局限。断言「课标要求什么」之前应先调它
k12_find_capability	按学科/学段/关键词检索能力锚点，返回可判定的断言与判定依据
k12_lookup_item	查一个字/词/篇目在课标附录里的位置：哪张表、第几号、要求学段、认还是写
k12_record_mastery	把「这孩子会了什么」写进本机档案
k12_learner_progress	算识字量、词汇量、背诵篇数、各锚点完成度、下一步可学条目

后两个可以用 readOnly: true 关掉。

用起来什么样

你：帮我看看「灞」这个字，小学要求会写吗？

  → k12_lookup_item { item: "灞" }
  「灞」不在课标附录的任何清单里（已查 12 张表：常用字表 3500、基本字表 299、
   背诵篇目 135、英语二级/三级词汇等）。

你：那「口」呢？

  → k12_lookup_item { item: "口" }
  「口」命中 2 处：
  - 字表一　第 983 号　学段 G1-9　要求：写　→ 锚点 ca_5DS8mPj4
  - lst_hanzi-jiben-300　未编号　学段 G1-9　→ 锚点 ca_GyQEdbby

你：孩子（代号 stu_0001）今天听写，基本字表里的「口、山、巾」都写对了，记一下。

  → k12_record_mastery { learner: "stu_0001", anchorId: "ca_GyQEdbby",
                         items: ["口","山","巾"] }
  已记录 3 条（proposed）：能正确书写识字写字教学基本字表中的汉字　3/299（1%）
  （标记为待确认 —— 模型判定不等于孩子真的掌握，需教师或家长确认）

三条硬规矩

1. 档案只在本机，且只回显计数。 k12_record_mastery 写的是某个具体孩子会什么不会什么——未成年人的学习画像。它只落 profileDir 下的文件，默认 ~/.dsh-k12-substrate/profiles/，不上传任何服务器。工具返回值也只给计数，不逐条列出掌握明细：工具返回值会进模型上下文，进而可能被写进会话日志、被压缩、被发给模型提供方。计数是产品必需的，逐字逐词的明细不是。

learner 会作为文件名，因此建议用不含真实姓名的代号（如 stu_0001）；插件会拒绝含路径穿越字符的取值。

2. 模型判定一律 proposed。 只有 holder 以 teacher: 或 parent: 开头时才记为 confirmed。模型说孩子会了不等于孩子会了，沉默更不算确认。k12_learner_progress 会把两者分开报。

3. 只能引用可用锚点。 断言指向一条没人复核过的锚点，等于用没验过的尺子量孩子。传了不在这 146 条里的 ID 会直接报错。

开发

pnpm install
pnpm snapshot   # 从 ../os-k12-taxonomy 重建数据快照
pnpm verify     # typecheck + 69 条自测
pnpm build

自测（scripts/smoke.ts）不依赖 DSH 运行时，直接调 execute() 验真实数据、真实边界、真实落盘。它抓到过两个 typecheck 抓不到的问题：required 放在 items 指向的节点根上会在运行时抛 UNSUPPORTED_SCHEMA；以及去重键格式在三个文件里各写一遍、其中一处分隔符是字面 NUL 字节。

许可

代码 MIT；随包数据 ODbL v1.0 + CC BY-SA 4.0（与上游一致）。课标原文不随包分发，权利归中华人民共和国教育部。详见 LICENSE。