acmer-coach 2.3.0 → 2.4.0

package/.github/workflows/publish.yml

@@ -26,4 +26,6 @@ jobs:
       - uses: actions/setup-node@v4
         with:
           node-version: '24'
+      - run: npm install --ignore-scripts --no-package-lock
+      - run: npm test
       - run: npm publish --provenance --access public

package/README.md

@@ -98,7 +98,7 @@ learned/verified 记录，或路线中在此前安排的必验训练，不能从
 
 本周主线可设置 `focusUntil`，到期先复盘修订。路线不提前占用数月日程，
 `coach_plan` 继续管理近期时间块。旧 v1 路线可读，会标记 `needsReview`；需明确
-修订当前及后续阶段后迁移 v2，插件不会自动重写。优先级与教学方案仍由模型判断，
+修订当前及后续阶段后迁移 v3，插件不会自动重写。优先级与教学方案仍由模型判断，
 程序现在会要求目标和 VP 证据先进入策略层；能力卡片仍由仓库维护，未知卡片不会自动臆造。
 现在可以直接连接 VP：`coach_vp_connect start` 打开授权页，登录并允许只读访问后，
 把一次性 code 交给 `coach_vp_connect finish`。然后用 `coach_vp_sync` 增量同步比赛、
@@ -108,12 +108,42 @@ learned/verified 记录，或路线中在此前安排的必验训练，不能从
 把 AC、WA/TLE/RE 和比赛分钟画在同一条时间轴上。
 
 每个 VP 账号都放在 `~/.dsh/knowledge/vp-accounts/<user_id>/`，token 单独保存，
-同步游标、原始安全投影和回放缓存都按账号分开。切换账号会切换教练工作区；服务端
+同步游标、原始安全投影、回放缓存和 `VP_EVENTS.yaml` 都按账号分开。个人训练数据
+`PROGRESS.yaml`、`CURRICULUM.yaml`、`SCHEDULE.yaml`、`TARGET.yaml` 始终留在
+`~/.dsh/knowledge/`，切换 VP 账号不会换教练。2.4.0 对旧账号目录只补齐缺失的个人文件；主目录已存在时保留它，冲突账号版本另存为 `.from-vp-account-<user_id>`。完成标记防止以后反复迁移覆盖，原账号文件保留；2.3.1 已产生的 `.pre-vp-account-<user_id>` 备份也保留。
+服务端
 返回的账号 id 与当前账号不一致时，客户端拒绝写入。同步和回放都不返回提交代码或 judge 输出。
 `disconnect` 只删除本地 token，保留缓存，方便重新连接同一个账号。
 
 详见 [长期课程机制](docs/长期课程机制.md)。
 
+### 2.4：证据、验收与教学依据
+
+`coach_focus` 分开近30天的独立成功、待确认观察、已确认短板，按不同场次计数。
+成功不会增加“问题次数”；WA 不直接证明不会。`coach_postmortem findings` 用
+`hypothesis/confirmed/resolved` 区分判断，必须引用 `coach_curriculum assess` 返回的本场
+原始事实；原始内容变化后旧确认引用失效。旧文字复盘保留为观察，不删除。
+
+新训练阶段必须提供结构化 `exitChecks`，例如
+`[{node: "区间 DP", minEvents: 2, minDistinctDays: 2, independent: true, maxMinutes: 45}]`。
+只有满足条件、本阶段发生的不同成功事件才计数，缺独立性或用时记录不会被猜成通过。
+`read` 返回每项 `exitCheckResults` 和缺口；旧 v1/v2 课程只读保留，先 `revise` 补齐条件
+后升级 v3。通过检测证明的是该次条件下的表现，不能解释成永久掌握。
+
+`coach_target profiles` 提供 `regional-diagnostic`、`wf-extension`、`xian-pending` 三个
+有来源、采样范围和限制的配置，选定后可通过 `profileId` 保存。它们都仍是 provisional，
+不是西安考纲、专题频率或奖牌保证。`coach_scope` 优先使用14张精确节点卡，返回识别条件、
+证明问题、失效反例、迁移练习与原始资料，避免把一个 DP 通用卡当成所有 DP 节点的讲法。
+详见 [比赛与教学依据](docs/比赛与教学依据.md)。
+
+近期安排需解释“长期能力 → 本次比赛 → 当前阶段 → 今天一个动作”的取舍。
+VP 增量同步会累计各分页记录，`hasMore` 告诉教练是否继续拉下一页；不会把累计缓存冒充新增记录，也不会覆盖教练补充的独立性和能力标签。平台无时区的时间按服务端 UTC 约定解释，训练日期按本机日期记录；不更改 VP 服务端。
+
+`coach_curriculum assess` 支持 `evidenceEventIds` 查询旧场次，不受全局最近200条的影响。
+事件级 `measurements` 可记录 `competency/metric/value/passed/independent/occurredAt`；例如
+已核对回放后的零漏读测量。工具要求有限数值与显式验收、独立性，不能从一个 AC 自动推断。
+同场同指标不会凑成“两场通过”；修改旧记录也不会变成新阶段的新表现。
+
 **「学过」和「已验证」是两级，绝不合并。** 自评 ≠ 掌握 ——
 合成一个「会/不会」就等于退回「从数据推断掌握度」，而数据能说「花了很久」，
 说不出「卡在哪」。所以 `verified` 手标不了，它只能由检测产生。
@@ -147,12 +177,12 @@ dsh plugin --profile web add github:Miantiao1231/acmer-coach    # 或从 GitHub
 > ESM 模块在进程里只求值一次，之后永远命中缓存 —— 旧代码继续跑，
 > **不报错、不报警**。唯一例外是只改浏览器端（`lib/client.js`），刷新页面即可。
 
-### 首次使用：前两周它就是在瞎猜
+### 首次使用：先诊断，不把猜测当短板
 
 **说清楚这一点**：装完它对你一无所知。没有检测记录、没有判因台账，
-它给的判断只能靠猜。这不是 bug，是数据不够。
+它应明确哪些未知，先安排能取得证据的小诊断；数据不足不能编造掌握度或弱项。
 
-大概做几次检测之后才开始准。别在前两周就下结论。
+检测和实际训练记录逐步减少不确定性，不承诺“用满两周就一定准”。
 
 **定位不是"推断"，是二分搜索。** 349 个节点，第一次怎么知道你在哪：
 

package/assets/knowledge/COMPETENCIES.yaml

@@ -2,7 +2,7 @@ version: 1
 competencies:
   - id: contest-reading
     title: 比赛读题与筛选
-    contestUse: 在前 30 分钟扫完题面，识别可做题和高风险题，避免漏读与过早开写。
+    contestUse: 在团队约定的首轮时间盒内扫描题面，识别可做题和高风险题，记录漏读与过早开写。
     nodes: []
     appliesTo: [所有区域赛场次]
     extensions: [首轮扫描, 题目分层, 读题时间盒]
@@ -10,26 +10,37 @@ competencies:
     commonFailures: [漏读题面, 被样例带偏, 没有放弃条件]
     transferProblems: [一场完整 VP]
     exitEvidence: [两场 VP 都记录首轮扫描顺序, 没有漏读题]
+    sources:
+      - title: ICPC NCNA 公布的区域赛规则（通用背景；扫描时间盒是教学设计）
+        url: https://nc.na.icpc.global/rules/
   - id: contest-decision
     title: 比赛决策与终局
     contestUse: 根据成功概率、剩余时间和罚时决定继续、换题或集中火力。
     nodes: []
-    appliesTo: [区域赛 VP, 最后 60 分钟]
+    appliesTo: [区域赛 VP, 团队定义的终局阶段]
     extensions: [换题阈值, 终局集中, 代码验算分工]
     notFor: [多道难题同时无边界死磕]
     commonFailures: [沉没成本, 最后阶段分散火力, 不复盘换题原因]
     transferProblems: [5 小时团队 VP]
     exitEvidence: [两场 VP 有明确换题记录和终局策略]
+    sources:
+      - title: ICPC NCNA 公布的区域赛规则（排名背景；换题与终局方法是教学设计）
+        url: https://nc.na.icpc.global/rules/
   - id: implementation-stability
     title: 实现稳定性
     contestUse: 在限时下把已知套路写成一次通过、边界完整的代码。
-    nodes: [数据结构, 二分, 前缀和, 差分, 动态规划基础]
+    nodes: [二分, 前缀和 & 差分, 动态规划基础]
     appliesTo: [中档签到题, 需要快速转化的常见模型]
     extensions: [边界清单, 小样例自测, 重写压缩]
     notFor: [只背模板不理解状态来源]
     commonFailures: [下标错误, 初始化遗漏, 重复提交同一类低级错误]
     transferProblems: [两道未见过的同类题]
     exitEvidence: [两道迁移题限时独立通过, 至少一题隔天复测]
+    sources:
+      - title: OI Wiki 二分：实现细节与边界
+        url: https://oi-wiki.org/basic/binary/
+      - title: OI Wiki 前缀和与差分：区间边界
+        url: https://oi-wiki.org/basic/prefix-sum/
   - id: dp-modeling
     title: DP 建模与迁移
     contestUse: 从题面抽出状态、转移、顺序和复杂度，而不是只认题型名称。
@@ -40,16 +51,24 @@ competencies:
     commonFailures: [状态定义含糊, 转移漏情况, 复杂度算错]
     transferProblems: [一道结构相同但题面不同的 DP, 一道隔天迁移题]
     exitEvidence: [能解释状态为何足够, 两道新题独立完成]
+    sources:
+      - title: OI Wiki 动态规划基础：状态与转移
+        url: https://oi-wiki.org/dp/basic/
   - id: graph-modeling
     title: 图论建模
     contestUse: 识别图结构并选对最短路、连通性、拓扑序、树或网络流模型。
-    nodes: [图论基础, 最短路, 拓扑排序, DFS（搜索）, 并查集]
+    nodes: [图论相关概念, 最短路, 拓扑排序, DFS（图论）, 并查集, 强连通分量, 最近公共祖先]
     appliesTo: [关系传播, 依赖顺序, 连通块, 路径代价]
     extensions: [DAG DP, 树上问题, 生成树, 流与匹配]
     notFor: [把所有关系题都硬套最短路]
     commonFailures: [建边方向错, 忘记不连通, 复杂度超限]
     transferProblems: [两种表面不同的关系建模题]
     exitEvidence: [限时识别模型并独立写出两题]
+    sources:
+      - title: OI Wiki 最短路：算法适用条件
+        url: https://oi-wiki.org/graph/shortest-path/
+      - title: OI Wiki 强连通分量：互达与缩点应用
+        url: https://oi-wiki.org/graph/scc/
   - id: data-structures
     title: 数据结构选型与实现
     contestUse: 根据操作、约束和查询方式选择合适结构并稳定实现。
@@ -60,6 +79,11 @@ competencies:
     commonFailures: [区间边界错, 懒标记下传错, 结构选重]
     transferProblems: [同结构不同操作题]
     exitEvidence: [模板能从零写出, 新题能说明为何选它]
+    sources:
+      - title: OI Wiki 树状数组：操作与可差分信息
+        url: https://oi-wiki.org/ds/fenwick/
+      - title: OI Wiki 线段树基础：维护信息与延迟标记
+        url: https://oi-wiki.org/ds/seg/
   - id: math-combinatorics
     title: 数学与组合建模
     contestUse: 把计数、模运算、概率和构造题压成可计算的结构。
@@ -70,6 +94,11 @@ competencies:
     commonFailures: [重复计数, 模逆不存在, 边界概率遗漏]
     transferProblems: [两道不同叙事的计数题]
     exitEvidence: [能写出计数对象和去重方式, 一题隔天复测]
+    sources:
+      - title: OI Wiki 排列组合：计数对象与组合公式
+        url: https://oi-wiki.org/math/combinatorics/combination/
+      - title: OI Wiki 模逆元：存在条件与求法
+        url: https://oi-wiki.org/math/number-theory/inverse/
   - id: code-review
     title: 代码检查与调试
     contestUse: 在提交前快速发现边界、溢出、复杂度和实现偏差。
@@ -80,6 +109,9 @@ competencies:
     commonFailures: [没有最小反例, 只看样例, 不验证复杂度]
     transferProblems: [给出一份错误代码并定位最小反例]
     exitEvidence: [三次提交前检查都能指出具体风险]
+    sources:
+      - title: OI Wiki 常见错误（边界、溢出和调试检查）
+        url: https://oi-wiki.org/contest/common-mistakes/
   - id: team-communication
     title: 团队沟通与分工
     contestUse: 让三个人并行推进、及时同步、减少重复劳动和信息丢失。
@@ -90,3 +122,6 @@ competencies:
     commonFailures: [没人汇报, 两人重复做题, 交接时丢约束]
     transferProblems: [三人 5 小时 VP]
     exitEvidence: [两场 VP 有分工记录和交接记录]
+    sources:
+      - title: ICPC NCNA 公布的区域赛规则（团队赛制；交接与验收是教学设计）
+        url: https://nc.na.icpc.global/rules/

package/assets/knowledge/CONTEST_PROFILES.yaml

@@ -0,0 +1,61 @@
+# 这是可追溯的选题诊断，不是出题频率榜；provisional 禁止解释成官方考纲。
+version: 1
+profiles:
+  - id: regional-diagnostic
+    title: 区域赛通用能力诊断（有限样本）
+    scope: 用公开区域赛的题面与官方解题建立诊断任务，再结合本人 VP 证据取舍。
+    status: provisional
+    sources:
+      - title: NWERC 2024 官方题面（采样 A、D、E、F、K、L）
+        url: https://2024.nwerc.eu/main/problem-set.pdf
+      - title: NWERC 2024 官方解题（A/D/E/F/K/L 对应页）
+        url: https://2024.nwerc.eu/main/solutions.pdf
+      - title: ICPC NCNA 公布的区域赛规则（通用背景，不提供专题频率）
+        url: https://nc.na.icpc.global/rules/
+    competencyIds: [contest-reading, contest-decision, implementation-stability, dp-modeling, graph-modeling, data-structures, math-combinatorics, code-review, team-communication]
+    selectionGuidance:
+      - 先用整场 VP 诊断读题、实现、调试与分工，再用经确认的失败原因选择专题；成功题用作能力基线。
+      - 采样 A 检查从精确排序规则到实现的转化；D 检查计数状态；E 检查大次数变换与模幂，题名不决定算法。
+      - 采样 L 检查可行性单调性与贪心证明；F 检查单调栈和并查集组合；K 检查路径与概率模型组合。
+      - 赛前优先修复已证实、可在剩余时间完成验收的障碍；未证实的缺口先安排短诊断，不直接扩知识点。
+      - 同一题允许多种正确解法；把能解释条件并独立迁移作为验收，不能将某个算法标签当唯一答案。
+    limitations:
+      - 当前算法样本只有 NWERC 2024 的六题，不能推出中国区域赛频率、任何场次金牌题数或西安出题预测。
+      - 读题时间盒、换题条件、验收动作是插件教学设计，需要按个人与团队记录调整，规则来源不证明这些训练阈值。
+      - 未采样其余题或跨年份统计；此配置不是西安考纲，排名与奖牌目标仍需对应比赛榜单。
+  - id: wf-extension
+    title: WF 扩展能力诊断（题面样本）
+    scope: 在基础能力稳定后，以 World Finals 原题检查跨模型推理、约束解释和交互实现。
+    status: provisional
+    sources:
+      - title: ICPC 2024 World Finals 官方题面（采样 B、I、L）
+        url: https://icpc.global/worldfinals/problems/2024-ICPC-World-Finals/icpc2024.pdf
+      - title: ICPC 2024 交互题评测说明（输出刷新等要求）
+        url: https://docs.icpc.global/wp-content/uploads/2024/08/2024-JudgingNotes.pdf
+    competencyIds: [contest-reading, contest-decision, dp-modeling, graph-modeling, data-structures, math-combinatorics, code-review, team-communication]
+    selectionGuidance:
+      - 采样 B 用于检查概率对象、重复元素与事件依赖的精确表达；不能仅凭概率题标签选一个模板。
+      - 采样 I 用于检查树上覆盖目标与最坏响应时间的建模，要求先解释判定或优化方案再实现。
+      - 采样 L 用于检查未知位置与朝向下的信息状态、安全动作和终止条件；交互程序必须按评测说明刷新输出。
+      - 只有当前基础能力经新题和延迟复测确认后，才将此样本中的扩展任务转为主线；短期比赛可保留为旁线讨论。
+    limitations:
+      - 当前只有 2024 WF 三道题面样本，未核验这些题的完整官方题解；能力映射是教学诊断推断，不是唯一解法。
+      - 不能从样本推出 WF 录取标准、区域赛奖牌线或必备专题全表；不把 CF rating 当作阶段通过证据。
+      - 不用未验证的交互策略宣称可通过；需要对应交互器与完整程序验证。
+  - id: xian-pending
+    title: 西安区域赛（待采样）
+    scope: 为已选西安目标保留真实样本入口；当前只提供通用比赛过程诊断。
+    status: provisional
+    sources:
+      - title: QOJ 西安历年比赛目录（仅核验样本入口，未作专题统计）
+        url: https://qoj.ac/category/87
+      - title: ICPC NCNA 公布的区域赛规则（通用背景，非西安本届规则）
+        url: https://nc.na.icpc.global/rules/
+    competencyIds: [contest-reading, contest-decision, implementation-stability, code-review, team-communication]
+    selectionGuidance:
+      - 使用本人和当前团队 VP 的经确认障碍安排短期动作，专题需求暂参考区域赛通用诊断并明示来源。
+      - 先核验目标届次、原始题面、主办方题解和榜单，再记录逐题模型、可替代解法及样本年份。
+      - 样本补齐后才修订专题取舍；比赛名和账号 rating 都不能单独生成西安专题权重。
+    limitations:
+      - 历年目录不能证明某知识点高频；尚未完成西安原题与官方题解逐题采样，不能预测本届题目。
+      - 此配置不是西安考纲，也未核验目标届次奖牌榜单，不能给出金牌保证或做题数保证。

package/assets/knowledge/NODE_SCOPES.yaml

@@ -0,0 +1,201 @@
+# 技术边界来自逐页来源；练习与验收是本插件的教学设计，不是比赛考纲。
+version: 1
+nodes:
+  - id: 二分
+    title: 二分：先证明可行性边界
+    contestUse: 把最优值问题转成可判定的阈值问题，先算一次 check 的成本。
+    recognition: [答案有序且 check 的真假只切换一次, 能构造保证包含答案的上下界]
+    proofQuestions: [为什么 check 成立时更宽松的阈值也成立, 循环不变量与终止后的答案分别是什么]
+    appliesTo: [有序查找, 最大值最小化或最小值最大化且判定单调]
+    extensions: [实数二分的误差界, 二分加贪心或图算法判定]
+    notFor: [真假模式为真假真时直接二分, 没有单峰证明就套三分]
+    commonFailures: [全可行或全不可行时越界, 上下界更新不推进, check 的复杂度被漏算]
+    transferProblems: [一道未标注算法的容量分配题, 把判定改成非单调并给出二分失效样例]
+    exitEvidence: [独立写出判定单调性证明, 新题通过并检查边界无解与答案在端点的情况]
+    sources:
+      - title: OI Wiki 二分：二分答案与实现细节
+        url: https://oi-wiki.org/basic/binary/
+  - id: 贪心
+    title: 贪心：选择规则和交换证明
+    contestUse: 在编码前说明局部选择为何保留至少一个最优解。
+    recognition: [能替换最优方案中的一步而不变差, 选择后剩余问题保持相同结构]
+    proofQuestions: [交换以后是否仍可行, 哪个条件保证目标值不变差]
+    appliesTo: [能证明的排序选择, 区间调度或可撤销的选择]
+    extensions: [堆维护后悔选择, 贪心作为二分的 check]
+    notFor: [只有最优子结构却未证明贪心选择性质, 凭样例推导排序规则]
+    commonFailures: [只比较眼前收益, 交换破坏后续可行性, 比较器不满足严格弱序]
+    transferProblems: [把无权区间调度改为带权并解释原贪心为何失效, 一道不同叙事的交换论证题]
+    exitEvidence: [写出可行性与不变差两段证明, 用小规模穷举核验候选规则并独立完成迁移题]
+    sources:
+      - title: OI Wiki 贪心：证明与动态规划的区别
+        url: https://oi-wiki.org/basic/greedy/
+  - id: 前缀和 & 差分
+    title: 前缀和与差分：离线维护的边界
+    contestUse: 先区分查询发生在全部更新之后，还是更新查询交替发生。
+    recognition: [区间信息可由两个前缀消去, 多次区间加后只需一次恢复数组]
+    proofQuestions: [为什么区间和是两个前缀之差, 区间修改为什么只改差分的两个端点]
+    appliesTo: [静态区间和, 离线区间加, 二维矩形统计]
+    extensions: [差分加树状数组支持在线查询, 树上差分加最近公共祖先]
+    notFor: [用两个前缀最小值直接相减求区间最小值, 每次更新后重算全数组却声称在线高效]
+    commonFailures: [闭区间右端漏加一, 空区间和零下标处理错, 累加溢出]
+    transferProblems: [矩形加和单点查询的离线题, 把同题改为更新查询交替并重新选结构]
+    exitEvidence: [解释端点更新和恢复过程, 用单点全区间相邻区间样例验证并做一题新题]
+    sources:
+      - title: OI Wiki 前缀和与差分：一维与二维、在线扩展
+        url: https://oi-wiki.org/basic/prefix-sum/
+  - id: 动态规划基础
+    title: 动态规划：状态足够与计算顺序
+    contestUse: 从可区分的未来决策设计状态，写清合法性、目标值和依赖。
+    recognition: [许多决策路径到达同一个子问题, 状态保留影响未来的全部必要信息]
+    proofQuestions: [相同状态的两段历史为何允许共用后续解, 转移是否覆盖且只覆盖合法决策]
+    appliesTo: [有限状态上的递推, 有可计算依赖顺序或可证明终止的记忆化搜索]
+    extensions: [树形和区间 DP, 状压 DP, 计数与最优化使用不同合并运算]
+    notFor: [将不同剩余资源的历史合为一态, 有环依赖却直接按下标递推]
+    commonFailures: [状态含义在中途变化, 不可达状态初始化为零, 只算状态数没算转移数]
+    transferProblems: [未标注专题的选择序列题, 给出只记当前位置却漏掉剩余资源的反例]
+    exitEvidence: [解释状态充分性与依赖顺序, 两道新题独立完成且至少一题隔天复测]
+    sources:
+      - title: OI Wiki 动态规划基础：状态、转移与性质
+        url: https://oi-wiki.org/dp/basic/
+  - id: 背包 DP
+    title: 背包：使用次数决定转移层
+    contestUse: 从物品使用次数和容量语义确定转移与遍历方向。
+    recognition: [资源容量较小且可作为状态, 可选项按零一或多次使用分类]
+    proofQuestions: [一维压缩后的转移读取的是上一层还是本层, 恰好装满与容量以内最优如何初始化]
+    appliesTo: [零一与完全背包, 可转成资源容量的计数选择]
+    extensions: [多重背包的二进制拆分, 多维资源或价值维度转换]
+    notFor: [容量巨大时照搬 O(nW), 有额外物品依赖却当成独立选择]
+    commonFailures: [零一背包正序导致同一件重复使用, 计数题混淆组合与排列, 恰好装满未标不可达]
+    transferProblems: [同一题分别限制每项一次和不限次数, 一道容量维度换成价值维度的题]
+    exitEvidence: [用单件物品容量两倍构造错误循环反例, 独立完成新题并说明初始化与复杂度]
+    sources:
+      - title: OI Wiki 背包 DP：零一背包与完全背包
+        url: https://oi-wiki.org/dp/knapsack/basic/
+  - id: 状压 DP
+    title: 状压 DP：集合不是完整历史
+    contestUse: 当对象数小，用集合编码已使用对象，再补上影响未来的状态。
+    recognition: [对象数量允许指数状态, 集合与少量附加信息足以确定后续选择]
+    proofQuestions: [为什么相同集合仍可能需要区分终点, 枚举子集的总转移量是 2^n 还是 3^n]
+    appliesTo: [小规模集合选择, 集合加终点的路径 DP]
+    extensions: [子集卷积式枚举, 轮廓状态与插头 DP 的状态设计]
+    notFor: [只看 n 小不核算内存, 旅行路径只记访问集合而漏掉当前终点]
+    commonFailures: [补集超出 n 位, 重复计数, 指数复杂度漏乘状态维度]
+    transferProblems: [一道未标注专题的任务分配题, 同一访问集合不同终点的后续代价反例]
+    exitEvidence: [写出状态与总转移复杂度, 用小 n 全排列对照并完成一题未见过的迁移题]
+    sources:
+      - title: OI Wiki 状压 DP：集合编码与例题状态
+        url: https://oi-wiki.org/dp/state/
+  - id: 最短路
+    title: 最短路：权值条件和状态图
+    contestUse: 先确定点代表什么状态、边代价是什么，再依据权值选算法。
+    recognition: [目标是路径上可相加代价的最小值, 状态图能够完整表达约束]
+    proofQuestions: [Dijkstra 的确定最小距离步骤为何依赖非负边, 负环是否从源点可达且能影响目标]
+    appliesTo: [非负权 Dijkstra, 单位权 BFS, 允许负权时按规模选择 Bellman-Ford 或 DAG 递推]
+    extensions: [分层图表达有限次数操作, 双向距离组合, 最短路上的计数需处理零权环]
+    notFor: [负边图直接使用确定后不再更新的 Dijkstra, 将一般图最长简单路直接变号后套最短路]
+    commonFailures: [错误建边方向, INF 相加溢出, 把第一次入队当作最终距离]
+    transferProblems: [s到a权2、s到b权5、b到a权-4的有向图，展示提前确定a的错误, 一道带一次优惠操作的状态图题]
+    exitEvidence: [解释算法适用条件及负权反例, 独立建立新题状态图并检查不连通与溢出]
+    sources:
+      - title: OI Wiki 最短路：Bellman-Ford、Dijkstra 正确性与比较
+        url: https://oi-wiki.org/graph/shortest-path/
+  - id: 强连通分量
+    title: 强连通分量：互达与缩点
+    contestUse: 把有向图中的互达关系压成 DAG，同时确认组件内信息能否压缩。
+    recognition: [需要识别有向环组成的互达块, 跨组件关系需要拓扑顺序]
+    proofQuestions: [为什么缩点后不能有有向环, 组件内所有点互达为何不等于所有点权都能合法收集]
+    appliesTo: [有向图互达划分, 保持语义的缩点 DP, 2-SAT 的矛盾检测]
+    extensions: [缩点加拓扑 DP, 2-SAT, 凝聚图上的可达性]
+    notFor: [把无向连通块当成 SCC 的完整替代, 简单路径问题中不证明便将组件点权求和]
+    commonFailures: [用已出栈节点更新 low, 未遍历全部连通部分, 缩点后的重边重复计数]
+    transferProblems: [中心和三个叶子的双向星形图构成一个 SCC，但简单路径最多经过三个点，解释缩点求和失效, 一道依赖循环消除后的 DAG 题]
+    exitEvidence: [手算一例分量与凝聚图并解释信息合并条件, 独立完成新题并核对 low 与栈状态]
+    sources:
+      - title: OI Wiki 强连通分量：Tarjan 的栈状态和应用
+        url: https://oi-wiki.org/graph/scc/
+  - id: 并查集
+    title: 并查集：只合并的等价关系
+    contestUse: 用集合代表等价或无向连通关系，先检查是否需要删除与分裂。
+    recognition: [连接只增加且查询是否同集合, 已处理位置可以永久跳过]
+    proofQuestions: [父指针为何只是集合表示而非原图边, 删除一条桥后为什么普通并查集无法分裂]
+    appliesTo: [增量无向连通, Kruskal, 满足单调性的后继跳转]
+    extensions: [带权并查集, 回滚并查集配合离线动态连通]
+    notFor: [直接维护有向可达性, 对路径压缩结构随意撤销单次合并]
+    commonFailures: [合并非根节点, 将父指针当原图路径, 忘记初始化孤立点]
+    transferProblems: [在线只加边后改为允许删边并说明新需求, 一道永久填满后跳过位置的模拟题]
+    exitEvidence: [解释等价关系与维护的不变量, 用重复合并孤点自环自测并独立完成迁移题]
+    sources:
+      - title: OI Wiki 并查集：合并、路径压缩及扩展操作
+        url: https://oi-wiki.org/ds/dsu/
+  - id: 树状数组
+    title: 树状数组：前缀聚合和可消去信息
+    contestUse: 对单点加和区间和先选短小结构，扩展操作必须重新推导。
+    recognition: [频繁单点变化与前缀聚合, 区间答案可以从两个前缀消去]
+    proofQuestions: [lowbit 管辖的区间如何覆盖前缀且互不重复, 为什么两个前缀最小值无法恢复区间最小值]
+    appliesTo: [单点加区间和, 离散化后逆序对, 差分后的区间加单点查]
+    extensions: [两棵树状数组维护区间加区间和, 非负频数下寻找第 k 小]
+    notFor: [把前缀 min 相减查询任意区间, 频数有负值仍直接按前缀单调性找第 k 小]
+    commonFailures: [零下标更新死循环, 离散化顺序或重复值错误, 把赋值操作当作增量]
+    transferProblems: [一道动态排名题, 从点加区间和推导区间加区间和]
+    exitEvidence: [从区间覆盖解释更新和查询, 负增量重复值与边界自测并完成未标注专题新题]
+    sources:
+      - title: OI Wiki 树状数组：区间查询、区间加与第 k 小
+        url: https://oi-wiki.org/ds/fenwick/
+  - id: 线段树
+    title: 线段树：信息合并和标记作用
+    contestUse: 先定义节点信息、合并方式和更新如何作用，最后写树的代码。
+    recognition: [区间可分成左右两半并合并查询结果, 更新可由足够的摘要正确作用于整段]
+    proofQuestions: [合并运算为何满足结合律且顺序是否重要, 赋值与加法标记先后作用的结果是否相同]
+    appliesTo: [动态区间和或最值, 可证明标记作用的区间加与赋值]
+    extensions: [树链剖分, 可持久化, 特定条件下的区间最值操作]
+    notFor: [只有区间和却直接推出区间 chmin 后的新和, 混合标记不定义复合顺序]
+    commonFailures: [下传后父节点未重算, 标记覆盖顺序错, 乘区间长度或数值范围漏算]
+    transferProblems: [区间加与区间赋值交替的查询题, 数组(0和4)与(2和2)同和，逐项与2取min后和为2与4，证明仅有区间和摘要不足]
+    exitEvidence: [写出节点与标记不变量, 与小数组朴素模拟对照并限时完成一题新操作迁移题]
+    sources:
+      - title: OI Wiki 线段树基础：区间操作与延迟标记
+        url: https://oi-wiki.org/ds/seg/
+  - id: 最近公共祖先
+    title: 最近公共祖先：树上的共同祖先
+    contestUse: 将静态树上的距离和路径统计化成深度与共同祖先问题。
+    recognition: [对象构成有根树或分森林处理, 多次询问两点路径的公共部分]
+    proofQuestions: [先对齐深度后为何能同时向上跳, 根距离公式为什么减去两倍 LCA 距离]
+    appliesTo: [静态树 LCA, 带权树路径长度, 树上差分辅助]
+    extensions: [Euler 序加 RMQ, 倍增带路径聚合, 换根查询]
+    notFor: [一般 DAG 中直接假定共同祖先唯一, 动态改边时沿用旧倍增表]
+    commonFailures: [根与虚拟父节点边界错, 重链或倍增深度混用, 对不同树的点返回伪答案]
+    transferProblems: [带权树上多次距离查询, 同一树更换询问根后求 LCA]
+    exitEvidence: [解释跳跃不变量和距离式, 链星形同点祖先点样例验证并独立做迁移题]
+    sources:
+      - title: OI Wiki 最近公共祖先：倍增与树上距离
+        url: https://oi-wiki.org/graph/lca/
+  - id: 前缀函数与 KMP 算法
+    title: KMP：边界链与失配回退
+    contestUse: 用已匹配前缀的信息避免重新比较，理解失败链接才扩展题型。
+    recognition: [单模式精确匹配, 前后缀相等关系可沿 border 链回退]
+    proofQuestions: [失配为什么回到前缀函数指向的位置而不漏解, 指针增加与回退为什么合计线性]
+    appliesTo: [单模式匹配, border 与周期关系, 前缀出现次数统计]
+    extensions: [Z 函数, 多模式时的 AC 自动机, 前缀自动机上的 DP]
+    notFor: [多模式题仅运行一次单模式 KMP, 模糊匹配直接沿用精确相等失配链]
+    commonFailures: [匹配结束不回退导致漏重叠, 前缀函数下标混乱, 拼接分隔符在字符集内]
+    transferProblems: [重叠匹配和所有 border 的题, 题面不写字符串匹配但要求周期检测的题]
+    exitEvidence: [手算失配链和线性复杂度, 重复字符无匹配全匹配自测并独立完成迁移题]
+    sources:
+      - title: OI Wiki 前缀函数与 KMP：失配、应用与复杂度
+        url: https://oi-wiki.org/string/kmp/
+  - id: 快速幂
+    title: 快速幂：把重复作用拆成二进制
+    contestUse: 指数很大时寻找可结合的合成操作，并核算每次合成成本。
+    recognition: [同一变换重复非负整数次数, 合成满足结合律且有单位元]
+    proofQuestions: [指数的二进制拆分如何保证每次选取正确, 矩阵或置换的合成顺序为什么不能随意交换]
+    appliesTo: [整数模幂, 矩阵幂, 置换或函数重复合成]
+    extensions: [倍增跳转, 线性递推矩阵, 大指数下的周期研究]
+    notFor: [未证明周期就取模缩减指数, 未检查逆元存在就把负指数当作普通幂]
+    commonFailures: [指数零漏单位元, 模乘中间值溢出, 指数类型不够大]
+    transferProblems: [一道重复字符索引变换题, 将标量乘法改为矩阵合成并重新核算复杂度]
+    exitEvidence: [解释单位元与合成不变量, 核验指数零一大指数并独立完成非标量迁移题]
+    sources:
+      - title: OI Wiki 快速幂：二进制取幂与推广
+        url: https://oi-wiki.org/math/binary-exponentiation/
+      - title: OI Wiki 模逆元：模意义负指数的存在条件
+        url: https://oi-wiki.org/math/number-theory/inverse/

package/assets/rules/coach-rules.md

@@ -9,6 +9,19 @@
 
 ### 比赛目标先于知识图
 
+* 按“长期能力目标 → 本次比赛目标 → 当前阶段成果 → 今天一个动作”解释取舍。
+  比赛目标不能悄悄覆盖长期目标。赛前在剩余实际容量内选择可验收的改善，赛后再按新
+  证据修订；日期只提供约束，不证明某专题该学。无法装进预算时说明暂缓什么与代价。
+* `coach_target profiles` 提供有来源和样本限制的配置，再按需设置 `profileId`。
+  provisional 表示有限样本或尚待取样，不能称官方考纲、预测本届高频专题或保证奖牌。
+  不因某知识点“低频”就永久排除，不把同一道题的某一种解法当唯一算法标签。
+* 原始 VP 判题、耗时和提交是观察；WA 不等于不会，AC 不证明独立完成。先用
+  `coach_curriculum assess` 取事实引用，再在 `coach_postmortem findings` 记录 hypothesis。
+  查代码/回放核实后才用 confirmed，引用本场真实事实并解释原因；resolved 需要独立成功
+  事实。旧文字复盘只是待核实观察。工具核对引用存在，不保证因果解释正确。
+* `coach_focus` 只汇总近30天不同场次：成功起点不算问题，重复提交/复盘不增加场次数，
+  修改旧复盘不把它变成最近发生。分数是取舍参考，不是掌握度、出题概率或奖牌概率。
+
 * 有比赛目标时，先调 `coach_target read`，再调 `coach_focus`。没有目标时不能用
   rating、游标或地图后继猜长期方向；先建立比赛、日期、结果目标、团队模式、时间预算
   和能力优先级。
@@ -19,6 +32,9 @@
   `coach_postmortem`。需要回放时先用 `coach_vp_contests` 按比赛名称选择，再调
   `coach_vp_replay`；不要让学生提供 Contest ID。VP 的读题、耗时、提交、换题和团队问题优先于 rating；没有 VP 证据时要
   明确说“尚无记录”，不能装作知道短板。手工导入仍可用 `coach_vp_import`，但不能和当前账号记录混用。
+* 同步返回 `hasMore=true` 时继续拉页，`pageCounts` 是本页条数，数组是累计缓存；
+  不把累计条数说成新增。核对回放后可用事件级 `measurements` 记录有限数值指标，
+  显式填 `passed/independent`；不要从 AC 推断零漏读或沟通良好。显式导入更新整场，保留已有题目和注解。
 * 讲知识点之前调 `coach_scope`。必须说明适用范围、延伸、反例、常见错误、迁移题和退出
   条件；工具返回“没有范围卡片”时不许凭记忆补一段看似完整的范围。
 * 训练重点是比赛能力，不是沿着地图无限往下走。阶段达到目标后可以停在当前节点，转做
@@ -28,11 +44,19 @@
 
 * 长期训练先用 `coach_curriculum read` 查看路线，再用 `assess` 查实际编排依据。
   `assess` 从 checks、代码判因、passes 和课表实际完成中给出 `id/eventId`；记录多时
-  按 `evidenceNodes` 缩小范围。**rating、节点状态、取消的卷子不能代替短板证据。**
+  按 `evidenceNodes` 或 `evidenceEventIds` 缩小范围。**rating、节点状态、取消的卷子不能代替短板证据。**
 * 建立或修订路线前核实目标、起点与可用时间。每个阶段除能力成果、节点和验收条件外，
   必须填写 `basis`、`goalContribution`、`priorityReason`、`estimatedHours`、
   `evidenceRefs`、`finding`、`kind`、`uncertainty`、`diagnosticMethod`。
   说清观察到了什么、它怎样服务目标、为何排在这里、预计投入多少，不套统一算法清单。
+* training 阶段还必须填 `exitChecks`，覆盖每个节点或能力：明确 `minEvents`，按需
+  指定 `minDistinctDays`、`independent`、`maxMinutes`，或有真实测量的 `metric/maxValue`。
+  不用一句“两场VP表现好”代替可检查条件；看 read 返回的 `exitCheckResults` 逐条解释缺口。
+  缺字段不当通过，同一事件不重复计数。旧课程先 revise 补齐，不覆盖旧训练账本。
+* verified 只证明记录日期与检测条件下的表现。隔天迁移、混合题识别和重新检测用于核对
+  保持与迁移，不能把历史一次过卷解释成永久掌握；先给未标专题的题，再看能否自选模型。
+* 讲节点优先使用 `coach_scope` 精确节点卡，按“识别条件 → 为什么成立 → 失效边界 →
+  陌生题迁移”展开。结合 recognition/proofQuestions 和原始资料，不只给算法名与模板。
 * `kind=training` 的每个节点都要对应真实证据：补短板用 `finding=gap`，引用 gap；读题、决策、团队沟通这类没有单一地图节点的阶段改用 `competencies`，引用 VP/复盘产生的能力证据；
   在已证实能力上进阶用 `finding=extension`，引用 baseline。记录指向什么由你解读，
   但**不能写一段理由替代不存在的记录**，也不能把别的节点的失败贴来凑依据。
@@ -58,8 +82,8 @@
   动作或检测卷未结束时工具会拒绝。机械门槛通过也不等于能力自动达标；
   **刷够题数、讲完内容、到了周末都不能替代能力验收。** 优先级理由仍需教学判断，
   程序没有证明这条路线教育上最优。
-* 旧 v1 路线可查看，但 `needsReview` 时不能继续执行；先 assess，再 revise 补齐当前
-  及后续阶段的依据，明确迁移 v2。已完成阶段保留，不能自动编造依据或改写旧历史。
+* 旧 v1/v2 路线可查看，但 `needsReview` 时不能继续执行；先 assess，再 revise 补齐当前
+  及后续阶段的依据和 exitChecks，明确迁移 v3。已完成阶段保留，不能自动编造依据或改写旧历史。
 * `coach_plan` 仍只排近期时间块，`coach_curriculum` 保存课程顺序与阶段目标，
   `PROGRESS.yaml` 保存实际学习/检测记录，不复制另一套掌握状态。
 

package/dev/catalog-check.mjs

@@ -0,0 +1,74 @@
+import test from 'node:test'
+import assert from 'node:assert/strict'
+import { readFileSync } from 'node:fs'
+import YAML from 'yaml'
+
+const knowledge = new URL('../assets/knowledge/', import.meta.url)
+const read = name => YAML.parse(readFileSync(new URL(name, knowledge), 'utf8'))
+const mapIds = new Set(read('MAP.yaml').nodes.map(node => node.id))
+const competencies = read('COMPETENCIES.yaml').competencies
+
+function sources(value, label) {
+  assert.ok(Array.isArray(value) && value.length > 0, `${label}: sources required`)
+  for (const source of value) {
+    assert.ok(typeof source.title === 'string' && source.title.trim(), `${label}: source title required`)
+    const url = new URL(source.url)
+    assert.equal(url.protocol, 'https:', `${label}: public HTTPS source required`)
+    assert.ok(!url.username && !url.password && !url.search, `${label}: no account credentials or query data`)
+    assert.ok(url.pathname !== '/', `${label}: link to evidence, not a homepage`)
+  }
+}
+
+function textList(value, label) {
+  assert.ok(Array.isArray(value) && value.length > 0, `${label}: nonempty list required`)
+  assert.ok(value.every(item => typeof item === 'string' && item.trim()), `${label}: text required`)
+}
+
+test('node teaching cards use exact map nodes and contain sourced transfer boundaries', () => {
+  const catalog = read('NODE_SCOPES.yaml')
+  assert.equal(catalog.version, 1)
+  assert.ok(catalog.nodes.length >= 12)
+  assert.equal(new Set(catalog.nodes.map(card => card.id)).size, catalog.nodes.length)
+  for (const card of catalog.nodes) {
+    assert.ok(mapIds.has(card.id), `${card.id}: unknown MAP node`)
+    assert.ok(card.title && card.contestUse)
+    for (const field of ['recognition', 'proofQuestions', 'appliesTo', 'extensions', 'notFor', 'commonFailures', 'transferProblems', 'exitEvidence']) {
+      textList(card[field], `${card.id}.${field}`)
+    }
+    sources(card.sources, card.id)
+  }
+  for (const id of ['最短路', '强连通分量', '线段树', '动态规划基础']) {
+    assert.ok(catalog.nodes.some(card => card.id === id), `${id}: important boundary card required`)
+  }
+})
+
+test('contest profiles identify sampling limits and use only existing competencies', () => {
+  const catalog = read('CONTEST_PROFILES.yaml')
+  const competencyIds = new Set(competencies.map(card => card.id))
+  assert.equal(catalog.version, 1)
+  assert.ok(catalog.profiles.length >= 3)
+  assert.equal(new Set(catalog.profiles.map(profile => profile.id)).size, catalog.profiles.length)
+  for (const profile of catalog.profiles) {
+    assert.ok(profile.title && profile.scope)
+    assert.ok(['provisional', 'reviewed'].includes(profile.status))
+    textList(profile.selectionGuidance, `${profile.id}.selectionGuidance`)
+    textList(profile.limitations, `${profile.id}.limitations`)
+    assert.ok(profile.competencyIds.length > 0)
+    for (const id of profile.competencyIds) assert.ok(competencyIds.has(id), `${profile.id}: unknown ${id}`)
+    sources(profile.sources, profile.id)
+    assert.match(profile.limitations.join(' '), /样本|采样|未核验/)
+    assert.doesNotMatch(JSON.stringify(profile), /金牌.*(?:必须|至少)\s*\d+\s*题|必考|命中率/)
+  }
+  const xian = catalog.profiles.find(profile => profile.id === 'xian-pending')
+  assert.ok(xian)
+  assert.equal(xian.status, 'provisional')
+  assert.match(xian.limitations.join(' '), /不是.*考纲|不能.*预测/)
+})
+
+test('general competency mappings reference real nodes and disclose their sources', () => {
+  assert.equal(new Set(competencies.map(card => card.id)).size, competencies.length)
+  for (const card of competencies) {
+    for (const id of card.nodes) assert.ok(mapIds.has(id), `${card.id}: unknown MAP node ${id}`)
+    sources(card.sources, card.id)
+  }
+})