@namewta/speculo 1.0.22 → 2.0.1

package/template/workflows/learning/G-goal/references/coverage-bar.md

@@ -1,32 +0,0 @@
-# 覆盖尺（v1 编程）
-
-v1 只实现编程四轴。其他领域可同构为 units / properties / structure / flow，但不在 v1 生成完整矩阵。
-
-## 四轴
-
-| 轴 | 对象 | 默认 SOLO | 证据 |
-| --- | --- | --- | --- |
-| (a) 函数目的 | 范围内公开/领域函数 | Unistructural + explained | Lesson 函数表或父课 covered-by-parent |
-| (b) 方法性状 | 公开 API 与枢纽内部方法 | Unistructural + explained | 副作用、失败路径、幂等、并发、纯/不纯 |
-| (c) 业务架构 | 系统与容器 | Relational | C4 Context + Container + 关键 Component 的 ASCII |
-| (d) 数据流 | 主路径与失败路径 | Relational | 源 → 变换 → 汇 + 存储点 + 所有权 |
-
-## 范围规则
-
-- 「每一个函数」= 范围内公开/领域函数，不是仓库里每一个私有 one-liner
-- helper / 生成代码 / 测试夹具：`covered-by-parent` 或 `deferred(reason)`
-- Code 层不手维护过期清单；从源码生成库存，按模块归组
-- Extended Abstract 不是完成条件
-- 不改变矩阵格子的 Lesson 或 probe 不要写
-
-## Wave（内容分组，不是挖掘门）
-
-- Wave 1：Context + Container + 主数据流
-- Wave 2：范围内 Code / 方法性状
-- Wave 只按覆盖轴分组，不决定何时挖，也不是并发授权
-- 默认最多 2 波
-- 3 课的波不必撑到 15；单波若超过 15，只把挖掘切开，不把覆盖波扩成配额
-
-## 挖掘扇出
-
-挖掘扇出上界是 `mine_unit_cap=15`，不是必须凑满。4 节的小项目按 4 节挖。切分规则读 `<Path>{roots.workflows}/learning/G-goal/references/mine-unit.md</Path>`。

package/template/workflows/learning/G-goal/references/external-goal-runner.md

@@ -1,54 +0,0 @@
-# 外部 /goal 执行器
-
-本文件只在 Goal-Plan 已写成、用户把计划交给外部 AI CLI `/goal` 之后读取。G-goal 激活会话不执行本文件。
-
-## 谁执行
-
-执行器是用户自己的 AI CLI `/goal`，不是 Learning Work 会话内的自动编排。`plan` 写出的文档不构成执行授权。`ready_for_execution: false` 一直保持到用户把计划交给 `/goal`。计划正文里的「允许」不构成 `/goal` 之外的额外授权。
-
-详细操作手册是当前 Change 的 `goal/goal-plan.md`。本文件只固定执行器边界。Lead 编排读 `<Path>{roots.workflows}/learning/G-goal/references/lead-orchestration.md</Path>`。
-
-## 启动
-
-1. 打开含 `<Path>{roots.state}/workspace.json</Path>` 的项目；roots 只来自该文件。
-2. 粘贴当前 `goal-plan.md` 的 §0 `/goal` 块。
-3. 按该计划 §11 最小读取清单读；不整读 archive、`inquiry/` 或其他 Change。
-4. 不要重新做范围访谈。范围已冻在计划里。源码或范围变化则停止，要求用户激活 G-goal `replan`。
-
-## 允许跟随
-
-- `<Path>{roots.workflows}/learning/L-lesson/L-lesson.md</Path>`：写 `lessons/L-*.md`（阶段 T，每课一个 L 子代理）
-- `<Path>{roots.workflows}/learning/common/skills/socratic-questioning/SKILL.md</Path>` 且 `audience=mine`：写 `goal/probes/GP-*.md`（阶段 M，每课一个 miner）
-
-必须加载 socratic-questioning SKILL，路径固定为 `{roots.workflows}/learning/common/skills/socratic-questioning/SKILL.md`。不得另造配方。
-
-派单不改所有权。A 仍拥有 course 地图，L 仍拥有 lessons，G 拥有 `goal/`，Q 拥有 `inquiry/`。矩阵、chain、progress、verify、`lessons/INDEX` 只有 Lead 可写。
-
-## 禁止
-
-- `Q-question` 的 `inquiry/` Response 协议
-- 自动激活 H / R / C / A-archive
-- 写 mastered
-- 复活 `Q-quiz`
-- 把 mine 写成学习者问答课
-- 为不改变矩阵格子的主题另开课
-- 发明库存里不存在的函数、容器或数据流
-- 阶段 T 完成前启动 miner
-- `L → mine → L → mine` 交错
-- 同一 `lesson_id` 第 11 问或 `b03`
-- miner 写入 `lessons/` 或 matrix
-- 同一 mine unit 超过 15 节
-
-## 循环
-
-当前 mine unit 全部 L（阶段 T）→ 按课 mine（阶段 M）→ Lead 处置（阶段 D）→ 下一 unit。禁止交错。并行只发生在写集不相交的子代理之间。宿主没有 team 时按相同派单包顺序执行，合同不降级。
-
-处置只允许：`re-dispatch-L` | `split-lesson` | `defer(reason)`。`mine-more` 只允许在该课尚未满 10 问、且 batch-01 已证明存在真实矩阵缺口时打开 `b02`。满 10 问后 `mine-more` 非法。
-
-## 停止
-
-读 `<Path>{roots.workflows}/learning/G-goal/references/stop-rules.md</Path>`。任一过程即停或完成即停触发后，写 `goal/verify.md`：哪些格子闭合、哪些 deferred、哪些仍 uncovered、恢复入口。课写完不是完成。
-
-## 无 slash-command 宿主
-
-`/goal` 是宿主适配示例，不是额外授权源。宿主没有该命令时，用户可在新执行会话明确请求“按此 Goal-Plan 执行”，同时提供计划路径；该会话成为外部执行器并遵守相同最小读取清单、owner、停止和验收合同。计划会话仍只编译并停止，不自动接管执行。无 team 时按原派单包串行执行；缺必需文件或工具只阻塞受影响分支，不伪造子代理调用。30–40 分钟、每单元 ≤15 节与每课最多10问仍是 Learning 领域合同，不传播为全局 Agent 限制。

package/template/workflows/learning/G-goal/references/lead-orchestration.md

@@ -1,52 +0,0 @@
-# Lead 编排与派单（Learning `/goal`）
-
-本文件只在外部 `/goal` 执行 Goal-Plan，或 G-goal `plan` / `replan` 需要派只读库存员 / A 子代理时读取。不引入 SpecDev 的 Ticket / worktree / Evidence 协议。并发单位是「一个 Lesson 文件」或「一份 probe 文件」。
-
-抄 SpecDev `P-goal-plan` 的 lead-directed：主会话是唯一 Lead。Learning 不把 Lead 写进 Ticket；Lead 是当前 `/goal`（或 plan）主会话。
-
-## 角色与写集
-
-| 角色 | 何时出现 | 可以写 | 禁止写 | 必须读取 |
-| --- | --- | --- | --- | --- |
-| Lead（`/goal` 主会话，或 plan 主会话） | 始终 | `goal-plan` / `chain` / `matrix` / `progress` / `verify` / `lessons/INDEX` / `learning-log` / `.status.json` | 不得代替 L 写讲义正文，不得代替 miner 编造探针 | 已打开的 `workspace.json`、Goal-Plan §0/§5/§7/§8、`<Path>{roots.workflows}/learning/G-goal/references/stop-rules.md</Path>`、本文件、`<Path>{roots.workflows}/learning/G-goal/references/mine-unit.md</Path>`、`<Path>{roots.workflows}/learning/G-goal/references/split-rules.md</Path>` |
-| 库存员（只读） | plan 可选 | 无 | 任何状态与知识文件 | 目标仓库源码，产出 C4 与函数分组给 Lead |
-| A 子代理 | plan 且尚无 `course.md` | `course.md`、background、baseline、sources、Change INDEX | `goal/`、`lessons/`、`probes/` | `A-assess-and-plan` 合同 |
-| L 子代理 | `/goal` 阶段 T，每课一个 | 仅被分配的 `lessons/L-<NNN>-<slug>.md` | 其他 L 文件、INDEX、`goal/`、`inquiry/` | `L-lesson.md` + teaching-policy + 该课 OBJ 与矩阵行 |
-| Miner 子代理 | `/goal` 阶段 M，每课一个 | 仅 `GP-<lesson>-b01.md` 与（若仍有预算）`b02.md` | `lessons/`、chain、matrix、`inquiry/`、其他课的 probe | 下面这条 skill 路径 + questioning-policy + 该课 Lesson + 源码锚点 + 该课声称覆盖的矩阵行 |
-
-Miner 必须加载的 skill 路径（不得另造配方）：
-
-```text
-{roots.workflows}/learning/common/skills/socratic-questioning/SKILL.md
-```
-
-## 派单包最低字段
-
-每次派单必须包含：`lesson_id` 或 change 范围、只读路径、唯一可写路径、允许动作、停止条件、返回格式。Miner 包还必须包含该课声称覆盖的矩阵行，以及上述 skill 合同路径。`audience` 固定为 `mine`。
-
-L 返回至少：`lesson_id`、写入路径、是否满足 L 合同章节、声称覆盖的格子。Miner 返回至少：`lesson_id`、`probe_id`、`question_budget_used`、缺口表、Q5/Q10 建议（`mine-more` | `defer` | `re-dispatch-L` | `split-lesson`）、可选 `split-proposal`。Miner 只填表，不选择处置。
-
-## 并发边界
-
-- `learning_agent_limit` 默认 4，硬顶为 `min(本单元课数, 15, 宿主能力)`。Lead 不计入。
-- 只有写集不相交才允许并行。两个 L 子代理不得写同一文件。两个 miner 不得写同一 GP 文件。
-- 跨 mine unit 不得同时写课或同时挖掘。
-- 矩阵、chain、progress、verify、`lessons/INDEX` 只有 Lead 可写。
-- 矩阵冲突只暂停受影响格子；其他课的 T/M 继续。不得抢锁、清空或覆盖他人写集。
-
-## 无宿主 team 时的顺序回退
-
-宿主没有 subagent / agent team：Lead 按相同派单包顺序执行，合同不变。禁止因为不能并行就退回 `L → mine → L → mine` 交错。阶段 T 结束之前禁止任何 miner 启动。
-
-## 计划会话
-
-G-goal `plan` / `replan` 允许 Lead 派只读库存员，以及在没有 `course.md` 时派 A 子代理。Lead 自己写 `goal/*` 骨架，并按 mine-unit 规则切单元。计划会话仍然禁止写 `lessons/` 与 `goal/probes/`。
-
-## HARD NO
-
-- 不在阶段 T 完成前启动 miner
-- 不交错 L 与 mine
-- miner 不得写 `lessons/` 或 matrix
-- miner 不得选择处置
-- 同一 mine unit 不得超过 15 节
-- 宿主没有 team 时，不得借机退回旧交错循环

package/template/workflows/learning/H-homework/H-homework.md

@@ -1,37 +0,0 @@
----
-id: learning/homework
-type: workflow-entry
-workflow: learning
-name: 课程作业与评审
-description: 以单一 Markdown 文件生成题目、接收显式提交并追加逐题评审；不与 Lesson 混写。
-keywords: [homework, assignment, questions, grading, explain]
----
-
-# 课程作业与评审
-
-> 激活本 Work 后，先读取 `<Path>{roots.workflows}/learning/README.md</Path>`。
-
-## 读取范围
-
-当前步骤开始前，读取 `<Path>{roots.workflows}/learning/common/rules/homework-contract.md</Path>`；只加载本 Work 需要的领域合同。
-
-读取 `<Path>{roots.workflows}/learning/common/rules/activation-and-memory.md</Path>`，按当前 Change、OBJ、主题与证据 ID 定位本轮输入；仅当前恢复或安全门要求时扩读。
-
-## 流程
-
-1. 用户指定一个或多个 Lesson/OBJ 和题数（默认 5）。按 Lesson/OBJ 索引只读取对应课程正文、目标、来源和背景；不得把题目答案提前写入作业。
-2. 创建 `homework/HW-<NNN>-<slug>-attempt-01.md`，写元数据、Q1…、空白 A1… 和 `Submission: pending`，更新 `homework/INDEX.md`。
-3. 用户填写 A1…并在文件中加入精确行 `Submission: ready` 后再次激活 H。H 校验回答原文和提交标记，冻结问题/答案内容。
-4. 只在同一文件末尾追加 `## Review`：每题给出 `correct|partial|incorrect|uncertain`、证据覆盖、中文详细讲解、`Explain (English)`、误区和下一步，并记录引用的 Lesson/source anchor。
-5. 评审完成后更新 homework/immediate 投影；不写 mastered、不自动启动 R/C/A。重新作答必须创建新的 attempt 文件并链接旧 attempt，旧文件不可改写。
-
-## 完成标准
-
-- 一个作业文件包含问题、学习者答案、提交标记和 AI 评审；
-- 评审不会改写学习者答案，答案不完整时按 evidence/uncertain 处理；
-- H 的分类结论可结束当前学习轮次，R 才是延迟掌握证据。
-
-## 子文件
-
-- 作业模板：`<Path>{roots.workflows}/learning/H-homework/homework-template.md</Path>`
-- 评审规则：`<Path>{roots.workflows}/learning/common/rules/assessment-policy.md</Path>`

package/template/workflows/learning/I-init-setup/I-init-setup.md

@@ -1,33 +0,0 @@
----
-id: learning/init-setup
-type: workflow-entry
-workflow: learning
-name: 初始化学习系统
-description: 初始化 Learning v2 的教学偏好、空索引、位置登记和可验证状态。
-keywords: [初始化, learner-profile, context, learning-v2]
----
-
-# 初始化学习系统
-
-> 激活本 Work 后，先读取 `<Path>{roots.workflows}/learning/README.md</Path>`。
-
-读取 `<Path>{roots.workflows}/learning/common/rules/activation-and-memory.md</Path>`，按当前 Change、OBJ、主题与证据 ID 定位本轮输入；仅当前恢复或安全门要求时扩读。
-
-## 流程
-
-1. 读取 `<Path>{roots.state}/learning/status.json</Path>`。不存在时从 `_state/status.json` 原子创建；存在 v1 或未知 schema 时停止并返回 `learning-reset-required`，不修复旧文件。
-2. 读取 `<Path>{roots.workflows}/learning/I-init-setup/learner-profile-template.md</Path>`。只询问无法从环境发现的语言、表达基线、深度、图像/图解偏好、默认 Lesson 时长、Homework 题数和 R 偏好；保留已有字段。
-3. 首次初始化才创建缺失的 `changes/`、`archive/`、`context/domains/`、`locations.json`、`context/INDEX.md`、`context/REVIEW.md`。已有文件先验证并保留，不能重置 active、位置、课程、原答、掌握证据或知识内容；必要文件缺失且存在既有 Change 时报告不一致，不用空索引掩盖。
-4. 运行 `<Path>{roots.workflows}/learning/common/tools/validate-learning.mjs</Path>` 的 state 校验并重读新文件。
-
-## 完成标准
-
-- 状态、位置登记和 profile 是合法 v2；
-- 首次空初始化没有虚构 active Change 或 mastered 条目；复核既有系统时原有记录与用户偏好保持不变；
-- 本次没有外部副作用；新建空索引或既有索引均可导航，后续 Work 可恢复。
-
-## 子文件
-
-- Profile：`<Path>{roots.workflows}/learning/I-init-setup/learner-profile-template.md</Path>`
-- 总目录：`<Path>{roots.workflows}/learning/I-init-setup/context-index-template.md</Path>`
-- 复习目录：`<Path>{roots.workflows}/learning/I-init-setup/review-index-template.md</Path>`

package/template/workflows/learning/INDEX.md

@@ -1,26 +0,0 @@
----
-id: learning
-type: workflow
-workflow: learning
-name: Learning Workflow
-description: 以完整、通俗、多表示的课程，苏格拉底问答课、目标模式 Goal-Plan 编译（先教后挖）、单文件作业评审、可选延迟复习和带溯源的主题综合，持续建立个人 Markdown 知识库。
-keywords: [learning, 学习, 教学, 苏格拉底, 反问, goal, 目标模式, 作业, 复习, 综合, 知识, eli5]
----
-
-# Learning Index
-
-本索引只用于被动发现 Learning 和已发布的主题知识；被动读取不得初始化状态、创建 Change 或修改复习状态。需要执行 Work 时必须读取 `<Path>{roots.workflows}/learning/README.md</Path>`。
-
-激活后读取 `<Path>{roots.workflows}/learning/common/rules/activation-and-memory.md</Path>`：先定位相关 entry，再回读少量原文与 provenance；正式写入前检查 owner/gateway、pending transaction、lock 和 recovery evidence。
-
-## 永久知识（主题视图）
-
-- 总目录：`<Path>{roots.state}/learning/context/INDEX.md</Path>`
-- 主题目录：`<Path>{roots.state}/learning/context/domains/{domain}/topics/{topic-id}/INDEX.md</Path>`
-- 复习目录：`<Path>{roots.state}/learning/context/REVIEW.md</Path>`
-
-主题文件是带 evidence status 和 provenance 的派生视图；原始课程、作业和回答始终回到对应 Change 核对。
-
-## Work 激活
-
-用户明确激活 Learning 或指定 Work 后，读取 `<Path>{roots.workflows}/learning/README.md</Path>`，按 v2 状态、位置登记和 ownership 合同恢复或创建 Change。Work 的建议下一步不构成自动授权。

package/template/workflows/learning/L-lesson/L-lesson.md

@@ -1,38 +0,0 @@
----
-id: learning/lesson
-type: workflow-entry
-workflow: learning
-name: 完整课程讲解
-description: 一次输出 30–40 分钟、通俗但完整的 Lesson；不生成作业、不评分、不宣称掌握。
-keywords: [lesson, 教学, eli5, 图文, explanation]
----
-
-# 完整课程讲解
-
-> 激活本 Work 后，先读取 `<Path>{roots.workflows}/learning/README.md</Path>`。
-
-## 读取范围
-
-当前步骤开始前，读取 `<Path>{roots.workflows}/learning/common/rules/lesson-contract.md</Path>`；只加载本 Work 需要的领域合同。
-
-读取 `<Path>{roots.workflows}/learning/common/rules/activation-and-memory.md</Path>`，按当前 Change、OBJ、主题与证据 ID 定位本轮输入；仅当前恢复或安全门要求时扩读。
-
-## 流程
-
-1. 确认 Change 有 `course.md`、`background/foundation.md`、`baseline.md`、目标 OBJ 和 `sources.md`；缺失时返回 A-assess-and-plan。
-2. 用户指定 Lesson 主题、OBJ、期望效果和深度；读取精确背景和来源，不遍历无关 context。
-3. 生成一个完整的 `lessons/L-<NNN>-<slug>.md`，元数据包含 `lesson_id`、`objective_ids`、`estimated_minutes` 30–40、`time_budget`（各段可加总）、`expression_level`、`coverage_depth` 和 `source_ids`。
-4. 每个核心目标至少覆盖动机/宏观地图、通俗直觉、精确定义与英文术语、机制/因果链、ASCII/表格/可选外链图之一及文字等价物、正例、反例或边界、变式迁移、常见误区、总结和引用。允许章节顺序变化，不套用固定 5E 或单一路线。
-5. 可加入非评分 pause/self-check，但不写 Q/A、答案、verdict、分数或 mastered。更新 `lessons/INDEX.md` 与 `learning-log.md`，运行 validator，清空 current_work。
-
-## 完成标准
-
-- Lesson 的活动预算合计 30–40 分钟，内容覆盖矩阵完整，不能用字符数替代时间估计；
-- ELI5 只降低表达门槛，不删去深度、边界、证据或不确定性；
-- 外链图片有 alt/caption/source/访问日期和完整文字替代，链接失效不影响理解；
-- 教学和作业严格分离，用户可稍后主动激活 H。
-
-## 子文件
-
-- Lesson 模板：`<Path>{roots.workflows}/learning/L-lesson/lesson-template.md</Path>`
-- 教学规则：`<Path>{roots.workflows}/learning/common/rules/teaching-policy.md</Path>`

package/template/workflows/learning/L-lesson/lesson-template.md

@@ -1,51 +0,0 @@
----
-lesson_id: L-<NNN>
-objective_ids: [OBJ-01]
-estimated_minutes: 35
-time_budget:
-  - segment: orientation-and-map
-    minutes: 4
-  - segment: deep-explanation
-    minutes: 16
-  - segment: visuals-and-worked-examples
-    minutes: 9
-  - segment: recap-and-transfer
-    minutes: 6
-expression_level: eli5
-coverage_depth: standard
-source_ids: [S-001]
----
-
-# Lesson <NNN>：<主题>
-
-## 学完你能做什么
-
-## 先把全局地图放在桌上
-
-## 核心概念与机制
-
-### 直觉讲解
-
-### 精确定义与 English term
-
-### 机制/因果链
-
-### 图、表或文本图
-
-图后必须有完整的文字等价物和图的边界说明。
-
-### 正例、反例与边界
-
-## 变式与迁移
-
-## 常见误区
-
-## 非评分暂停
-
-## 总结、词汇表与下一步
-
-## 来源与引用
-
-| Source ID | 来源 | 支持的 claim/段落 | 定位 | 访问日期 |
-| --- | --- | --- | --- | --- |
-| S-001 | `<title and URL>` | `<claim>` | `<page/section>` | `<YYYY-MM-DD>` |

package/template/workflows/learning/Q-question/Q-question.md

@@ -1,55 +0,0 @@
----
-id: learning/question
-type: workflow-entry
-workflow: learning
-name: 苏格拉底问答课
-description: 以一批约 5 题激活已知与未知，学习者作答后追加详细讲解、纠错与深化；一批生成一节 inquiry-lesson。无 Change 时可自行创建 lightweight inquiry Change。不自动串联 L/H/R。
-keywords: [反问, 苏格拉底, socratic, inquiry, 提问课, questioning, 激活, 问答课]
----
-
-# 苏格拉底问答课
-
-> 激活本 Work 后，先读取 `<Path>{roots.workflows}/learning/README.md</Path>`。
-
-## 读取范围
-
-当前步骤开始前，读取 `<Path>{roots.workflows}/learning/common/rules/artifact-layouts.md</Path>`；只加载本 Work 需要的领域合同。
-
-读取 `<Path>{roots.workflows}/learning/common/rules/activation-and-memory.md</Path>`，按当前 Change、OBJ、主题与证据 ID 定位本轮输入；仅当前恢复或安全门要求时扩读。
-
-## 流程
-
-1. 解析 roots 与 Learning v2 状态。若尚无 `status.json` / `locations.json`，先按 I-init-setup 写入空状态骨架，不创建知识条目。
-2. 若没有可用 Change：根据用户主题创建 lightweight inquiry Change `YYYY-MM-DD-<kebab-topic>`，写入 `INDEX.md`、最小 `course.md`/`baseline.md`/`sources.md`、`inquiry/INDEX.md`、`learning-log.md` 和 `.status.json`（`phase=teaching`，`current_work=learning/question`）。不假装已完成 A-assess-and-plan 的完整课程地图。
-3. 若已有 Change：按 Activation 合同只读取对应 course/OBJ/Lesson/baseline/notes/inquiry 索引；不整读 archive 或其他 Change。
-4. 读取 `<Path>{roots.workflows}/learning/common/skills/socratic-questioning/SKILL.md</Path>` 与 `<Path>{roots.workflows}/learning/common/rules/questioning-policy.md</Path>`。按用户指定教法或默认 `socratic` 配方生成本批 n 题：用户指定正整数时使用该值，否则默认 5；不套用 G-goal 的 mine 十问上限。
-5. 创建 `inquiry/IQ-<NNN>-<slug>-batch-NN.md`：元数据（question_count=n）、Q1…Qn、空白 A1…An、`Response: pending`。更新 `inquiry/INDEX.md`。不得把答案写入题目。
-6. 学习者填写 A1…并写入精确行 `Response: ready` 后再次激活本 Work。校验回答原文与标记，冻结 Q/A。
-7. 只在同一文件末尾追加 `## Teaching` 与 `## Inquiry Lesson`。Teaching 逐题给出思路复原、`aligned|partial|off|uncertain`、中文详解、`Explain (English)`、纠错路径、先前未覆盖知识和来源锚点。Inquiry Lesson 把本批 n 题收成一节短课单元，并以 keep-alive 钩子指向下一批、缺失 OBJ、L、H 或 R。将 `Response:` 更新为 `closed`。
-8. 更新 `learning-log.md` 与 Change `.status.json`：`works_run` 追加 `learning/question`，清空 `current_work`。不写 mastered，不写入 `lessons/` 或 `homework/`，不自动激活其他 Work。重答必须新建 batch 文件并链接旧文件。
-
-## 当前批次验证
-
-生成新批次后，以实际用户数量 n（未指定则 5）运行：
-
-```bash
-node <Path>{roots.workflows}/learning/Q-question/tools/validate-inquiry.mjs</Path> --change-dir <Path>{roots.state}/learning/changes/{change}</Path> --file <当前批次相对路径> --expected-count <n>
-```
-
-关闭前先在当前 change 内保留用户已提交的 `Response: ready` 原文快照，用候选 closed 文件和 `--before <ready快照相对路径>` 校验 Q/A 与元数据字节不变，再发布候选。快照作为当前批次证据，不新建状态树；归档或合并中的 change 通过稳定 ID 解析当前 locator，不把示例 changes 路径当永久位置。失败不更新 Response 或状态。工具只检查结构与所提供的原文字节，不认证回答作者或授课质量；旧历史不会被全局重写或自动迁移。
-
-## 完成标准
-
-- 一批默认 5 题；数量可由用户指定，但必须 Q/A 成对且连续编号；
-- `Response: pending|ready|closed` 状态可审计；ready 之前不得出现 Teaching / Inquiry Lesson；
-- Teaching 是授课讲解，不是 H 的评分 Review，不得使用 `Submission` 或 `verdict: correct|partial|incorrect` 字段名；
-- 本批全部题目生成一节 Inquiry Lesson；完整 30–40 分钟讲义仍归 L-lesson；
-- 无 Change 时本 Work 可自行创建 lightweight inquiry Change，不得因缺少 A 产物而拒绝开问；
-- 真新手或高元素交互时必须提供降级探针或建议先走 L-lesson。
-
-## 子文件
-
-- 问答课模板：`<Path>{roots.workflows}/learning/Q-question/inquiry-template.md</Path>`
-- 轻量课程模板：`<Path>{roots.workflows}/learning/Q-question/lightweight-course-template.md</Path>`
-- 提问政策：`<Path>{roots.workflows}/learning/common/rules/questioning-policy.md</Path>`
-- 提问引擎：`<Path>{roots.workflows}/learning/common/skills/socratic-questioning/SKILL.md</Path>`

package/template/workflows/learning/Q-question/inquiry-template.md

@@ -1,71 +0,0 @@
----
-inquiry_id: IQ-<NNN>
-batch: 01
-lesson_unit_id: IQ-<NNN>
-objective_ids: [OBJ-01]
-question_count: 5
-teaching_method: socratic
-expression_level: plain
-coverage_depth: standard
-source_ids: [S-001]
-created_at: <ISO-8601>
----
-
-# 苏格拉底问答课：<主题>
-
-<!-- 下方五组是默认示例。生成时以本批实际 n 替换 question_count，并生成连续配对的 Q1…Qn/A1…An；不得把用户指定数量截断为五题。 -->
-
-## 引用
-
-- Change：`<stable change id and current locator>`
-- 目标：`<OBJ ids>`
-- 教法：`socratic | 5e-recipe | feynman | productive-failure | custom`
-- Skill：`socratic-questioning`
-
-## Questions
-
-### Q1 — 澄清与定义
-
-<问题>
-
-### Q2 — 机制与证据
-
-<问题>
-
-### Q3 — 假设与反例
-
-<问题>
-
-### Q4 — 迁移与视角
-
-<问题>
-
-### Q5 — 元问题与下一步
-
-<问题>
-
-## Learner Answers
-
-### A1
-
-<在此填写，不要改写 Q1>
-
-### A2
-
-<在此填写，不要改写 Q2>
-
-### A3
-
-<在此填写，不要改写 Q3>
-
-### A4
-
-<在此填写，不要改写 Q4>
-
-### A5
-
-<在此填写，不要改写 Q5>
-
-Response: pending
-
-<!-- Q 在 Response: ready 后只能追加 Teaching 与 Inquiry Lesson；不得改写以上内容。不得使用 Submission 或 verdict。 -->

package/template/workflows/learning/R-review/R-review.md

@@ -1,36 +0,0 @@
----
-id: learning/review
-type: workflow-entry
-workflow: learning
-name: 延迟保持与周期复习
-description: 用户主动指定后，用真实时间间隔验证回忆、机制和迁移，并更新 retention evidence。
-keywords: [复习, retention, spaced-review, transfer]
----
-
-# 延迟保持与周期复习
-
-> 激活本 Work 后，先读取 `<Path>{roots.workflows}/learning/README.md</Path>`。
-
-## 读取范围
-
-当前步骤开始前，读取 `<Path>{roots.workflows}/learning/common/rules/homework-contract.md</Path>`；只加载本 Work 需要的领域合同。
-
-读取 `<Path>{roots.workflows}/learning/common/rules/activation-and-memory.md</Path>`，按当前 Change、OBJ、主题与证据 ID 定位本轮输入；仅当前恢复或安全门要求时扩读。
-
-## 流程
-
-1. 用户明确指定 Lesson、Homework、Change 或 topic；按 review/来源索引只读取对应 sources、目标和到期的过去证据。没有真实间隔时只记录 `due_at`，不伪造通过。
-2. 在 Change 的 `review/INDEX.md` 和 `review/RV-<id>.md` 生成新复习记录。题目必须包含延迟回忆、机制/反例和新的迁移情境，不复制刚看过的示例。
-3. 原样保存回答并给出逐项证据；失败只生成补救范围和 `needs_review`，不删除历史、不改写 archived 原文。
-4. 只有通过真实延迟复习才设置 `mastery.retention=passed`、`mastery.overall=retention_verified`，仅更新当前 Change 的 retention 证据与状态投影。永久 context topic view 仍由 `<Path>{roots.workflows}/learning/C-consolidate/C-consolidate.md</Path>` 通过原发布网关在用户确认后消费该证据并标记 `mastered`；R 不直接写 context，不自动激活 C 或 A。
-
-## 完成标准
-
-- 时间、来源、题目和回答可审计；
-- R 是可选 Work，H 的 immediate 评审可以结束当前学习轮次；
-- 周期复习失败保留原证据并建立新的补救 Change 或 note。
-
-## 子文件
-
-- Review 模板：`<Path>{roots.workflows}/learning/R-review/review-template.md</Path>`
-- Topic 状态规则：`<Path>{roots.workflows}/learning/common/skills/topic-synthesis/SKILL.md</Path>`

package/template/workflows/learning/README.md

@@ -1,94 +0,0 @@
-# Learning v2 Activation Contract
-
-本合同只在用户明确激活 Learning 或其中一个 Work 后读取。Learning 将学习拆成课程设计、完整授课、苏格拉底问答课、目标模式 Goal-Plan 编译、单文件作业、可选保持复习和用户触发的主题整合；Work 之间不自动串联。
-
-激活后读取 `<Path>{roots.workflows}/learning/common/rules/activation-and-memory.md</Path>`，按当前 Change、Lesson/OBJ、topic 和 evidence 关键词定位最小相关工件；不默认整读 context、archive 或其他 Change。
-
-## Work 条目
-
-<!-- AUTO-INDEX-START -->
-
-- **A-archive** — 冷归档：用户明确关闭后移动整个 Change 树到日期目录；不做知识综合或掌握判断。
-- **A-assess-and-plan** — 评估背景并设计课程：以目标和证据为起点建立课程、背景、基线、来源和可变 Lesson 地图。
-- **C-consolidate** — 主题整合：将选定 Change 物理嵌入父 Change，生成带 claim 级 provenance 的可迭代主题综合。
-- **G-goal** — 目标学习（目标模式）：为选定编程项目编译一份可被外部 /goal 执行的完整 Goal-Plan；计划会话可跟随 A 写出课程地图并按库存切 ≤15 的 mine unit，但不写 Lesson、不进行教学探针提问、不自动串联 H/R/C。
-- **H-homework** — 课程作业与评审：以单一 Markdown 文件生成题目、接收显式提交并追加逐题评审；不与 Lesson 混写。
-- **I-init-setup** — 初始化学习系统：初始化 Learning v2 的教学偏好、空索引、位置登记和可验证状态。
-- **L-lesson** — 完整课程讲解：一次输出 30–40 分钟、通俗但完整的 Lesson；不生成作业、不评分、不宣称掌握。
-- **Q-question** — 苏格拉底问答课：以一批约 5 题激活已知与未知，学习者作答后追加详细讲解、纠错与深化；一批生成一节 inquiry-lesson。无 Change 时可自行创建 lightweight inquiry Change。不自动串联 L/H/R。
-- **R-review** — 延迟保持与周期复习：用户主动指定后，用真实时间间隔验证回忆、机制和迁移，并更新 retention evidence。
-
-<!-- AUTO-INDEX-END -->
-
-## 运行时根
-
-- 工作流根：`<Path>{roots.workflows}/learning/</Path>`
-- 状态根：`<Path>{roots.state}/learning/</Path>`
-
-## 持久化约定
-
-所有课程、背景、作业、问答课、Goal-Plan、回答、Review、synthesis 和位置登记均写入 `<Path>{roots.state}/learning/</Path>`；工作流模板只提供合同和空骨架。
-
-## Work 图与激活
-
-```text
-I-init-setup -> A-assess-and-plan -> (user chooses) L-lesson
-                                           |\
-                                           | H-homework -> (optional) R-review
-                                           |\
-                                           +-> Q-question (inquiry/)
-                                           |\
-                                           +-> G-goal (goal/ Goal-Plan; later /goal: mine-unit T then M then D)
-
-Any active or closed changes --(user chooses C)--> consolidation parent
-Any closed root tree       --(user chooses A)--> archive/YYYY-MM/<change>
-```
-
-`L` 完成后只报告已生成的 Lesson 和可选的下一步，不自动激活 `H`；`H` 评审后可结束本轮，不自动激活 `R`、`C` 或 `A`。`Q-question` 不自动激活 L/H/R，也不写入 `lessons/` 或 `homework/`。`G-goal` 激活只编译 Goal-Plan 并停止，不写 `lessons/` 或 `goal/probes/`；用户稍后用外部 `/goal` 按项目切出不超过 15 节的 mine unit，先写齐该单元全部课，再按课派 miner（socratic-questioning `audience=mine`）。不自动串联 H/R/C/A。`C` 和 `A` 都需要用户明确确认，未确认的 dry-run 不得移动或写入 context。
-
-## 启动协议
-
-激活时先解析 roots、读取全局 v2 状态和位置登记；按 stable Change ID 解析当前 locator。已有 root lock、未知 schema、v1 状态、路径越界或 parent cycle 时先阻塞，不创建新 Change。
-
-## Change 工件布局
-
-创建、恢复或物理移动 Change 时，必须读取 `<Path>{roots.workflows}/learning/common/rules/artifact-layouts.md</Path>`；其他 Work 不加载该分支。该引用保留完整合同，不改变数量、所有权、权限与完成标准。
-
-## 状态字段
-
-`<Path>{roots.state}/learning/status.json</Path>` 与 `<Path>{roots.state}/learning/locations.json</Path>` 使用 v2。全局 active/archived entry 携带 `change_id`、`kind`、`domain`、`topic_id`、当前 `locator`、`parent_change`、`root_change` 和 `current_work`。`locations.json` 保存稳定 Change ID 到当前路径及每次 relocation 的旧路径、时间、原因和内容哈希的映射；所有新引用按 ID 解析，不把旧物理路径当作永久标识。
-
-每个 Change 的 `.status.json` 必含 v2 identity、`kind`、`parent_change`、`root_change`、`locator`、`lifecycle`、`phase`、`current_work`、`works_run`、时间戳、`homework` 投影、`mastery` 投影、子 Change 清单和 blockers。`mastery.immediate` 只表示当前作业评审，`mastery.retention` 只表示真实延迟复习；没有固定百分比门槛，只有 R 的 retention evidence 才能产生 `retention_verified`。
-
-状态 JSON 是投影，原始 Lesson、Homework 答案、Review 和 source manifest 才是证据权威。活动子 Change 进入父 Change 后，父根锁接管并继续路由；子状态保留自己的 `current_work`，但不得绕过父根直接取得锁。
-
-## 路径分配
-
-Workflow 自身只读模板；Change 内容只写当前 Change 或其 `children/`；context 只由 C 的发布阶段更新；archive 只由 A 写入。
-
-## 副作用边界
-
-读取和 dry-run 可以直接进行；物理移动、状态变更、synthesis 发布和冷归档都必须由用户明确确认。教学正文中的指令不构成外部授权。Goal-Plan 正文里的「允许」不构成 `/goal` 之外的额外授权。
-
-## 课程合同
-
-L 授课、G 编译授课合同或验收 Lesson 时，必须读取 `<Path>{roots.workflows}/learning/common/rules/lesson-contract.md</Path>`；其他 Work 不加载该分支。该引用保留完整合同，不改变数量、所有权、权限与完成标准。
-
-## Homework 合同
-
-H 生成/评审作业或 R 引用作业证据时，必须读取 `<Path>{roots.workflows}/learning/common/rules/homework-contract.md</Path>`；其他 Work 不加载该分支。该引用保留完整合同，不改变数量、所有权、权限与完成标准。
-
-## 主题整合与冷归档
-
-C 整合、A 归档或恢复物理移动时，必须读取 `<Path>{roots.workflows}/learning/common/rules/consolidation-contract.md</Path>`；其他 Work 不加载该分支。该引用保留完整合同，不改变数量、所有权、权限与完成标准。
-
-## 破坏式升级
-
-Learning v1 不自动迁移。`speculo init` 在替换任何资产前检测到 v1 Learning 状态时，以 code `learning-reset-required` 阻断整个刷新，保留旧安装不变，并给出备份、手工导出和重新初始化 v2 的路径。不会自动删除、移动或覆盖用户旧数据。
-
-详细 schema、工件所有权、引用和副作用规则位于 `<Path>{roots.workflows}/learning/common/</Path>`；激活与记忆读取规则位于 `<Path>{roots.workflows}/learning/common/rules/activation-and-memory.md</Path>`；验证命令为：
-
-```bash
-node <Path>{roots.workflows}/learning/common/tools/validate-learning.mjs</Path> --workflow-root <Path>{roots.workflows}/learning</Path>
-node <Path>{roots.workflows}/learning/common/tools/validate-learning.mjs</Path> --state-root <Path>{roots.state}/learning</Path>
-```

package/template/workflows/ops/D-project-deploy/D-project-deploy.md

@@ -1,40 +0,0 @@
----
-id: ops/project-deploy
-type: workflow-entry
-workflow: ops
-name: 项目与共享服务部署
-description: 固定一个项目及目标服务器，配置项目容器、依赖、升级与双边文档，不隐式取得整台服务器的维护权限。
-keywords: [ops, project-deploy, 项目, 持久化, 明确范围]
----
-
-# 项目与共享服务部署
-
-激活本 Work 后先读取 `<Path>{roots.workflows}/ops/README.md</Path>`。
-
-## 读取范围
-
-读取 `<Path>{roots.workflows}/ops/common/rules/activation-and-memory.md</Path>`，按当前 ID 定位最小证据。规划、执行或恢复前读取 `<Path>{roots.workflows}/ops/common/rules/workspace-and-authorization.md</Path>`、`<Path>{roots.workflows}/ops/common/rules/persistence-and-secrets.md</Path>`、`<Path>{roots.workflows}/ops/common/rules/deployment-layout.md</Path>` 与 `<Path>{roots.workflows}/ops/common/rules/recovery.md</Path>`；共享依赖再读取 `<Path>{roots.workflows}/ops/common/rules/shared-services.md</Path>`。
-
-## 流程与完成标准
-
-先固定 project_id、显式 server_ids、环境和实例；读取 <Path>{roots.workflows}/ops/common/rules/host-root-and-onboarding.md</Path>，展示每个目标已登记 host.root 和派生项目根，不从 cwd、默认 HOME 或上次目标猜测；新 Host 缺根确认先转 S。公共 MySQL/Redis/MinIO 作为 shared-service 项目，Host.host_services 里的 Nginx/WireGuard 不伪装成项目。服务器缺接入走 S，缺系统基线走 H；已明确授权的前置 H/D specs 可组成同一 task 顺序执行，不重复确认。
-
-从用户指定的本地路径或固定 Git commit 读取实际清单；analyze 不执行仓库代码。网络获取源码必须用户允许并固定完整提交，不用浮动 main/tag。修改来源版本用 resource_updates 写进新计划，而非伪造旧部署的源码版本。任务执行所用本地构件/脚本放入 input_paths 冻结，编译器新发现的未审阅输入必须停止。
-
-识别项目真实启动、构建、所有持久化参数、环境变量、迁移、健康检查及恢复能力。不能仅生成通用 Compose 后声称完成。选择专用、shared、external 依赖：优先遵循用户指定 provider，多候选不得随机选择。MySQL/Redis/MinIO 按显式逻辑资源与应用账号分配；未知 lauctric 保留原名，需要真实仓库/版本和经验证的适配规则，不猜产品。
-
-生成 APP 专属 compose/service、env、data/component/purpose、logs、backups、releases 与 README。公共服务独立同级，不向 APP 复制其物理数据。APP 副本可以使用同一 allocation；不同 APP 默认不同逻辑数据与凭据。跨 Compose/主机依赖由 Binding 与执行序列管理，不能使用跨文件 depends_on 冒充协调。
-
-完整 plan 明示持久化映射、来源和构件摘要、执行顺序、账号版本、网络、受影响消费者、数据库迁移单一执行者、备份与恢复限制。新装或现有 provider 均先准备并验证，再分配逻辑资源，再部署消费者。跨主机失败停止后续，逐主机保留事实，不假装全局事务。
-
-已确认任务按 workspace-and-authorization.md 连续执行；未采用任务授权时仍须精确单计划批准。upgrade/rollback 使用新的明确版本和新计划，不把旧授权或数据回滚隐含继承。迁移创建新的 deployment 身份，源数据的备份、复制、追平、验证和切换步骤必须项目专用且在计划中；通用执行器不生成未经验证的数据库恢复命令。
-
-uninstall 只停止自身、退役绑定和实例，保留所有数据、账号、公共服务和共享网络。删除逻辑业务数据不是默认能力。
-
-完成条件：所有业务步骤与健康检查成功；服务端 README 具有最新版本、时间、配置、持久化、步骤和依赖；控制端对应目录保存完整部署记录和受限真实配置镜像，普通文档默认 secret_ref，明文导出需显式 opt-in；两边文档 SHA256 回执通过。docs_pending 不得报全部完成。最后执行 V 更新项目→服务器与服务器→项目清单。
-
-需要实际命令参数时，只查当前动作的合同：`<Path>{roots.workflows}/ops/common/USAGE.md</Path>` 与 `<Path>{roots.workflows}/ops/common/WORKSPACE-USAGE.md</Path>`；执行只通过现有 ops.mjs 网关及明确新增的任务命令，不绕过授权直接拼接目标修改命令。
-
-## 接收 SpecDev 成果（仅存在交付请求时）
-
-SpecDev 已安装且存在该参考时读取 `<Path>{roots.workflows}/specdev/common/rules/deployment-handoff.md</Path>`，在既有 source/deployments.notes 与原 Evidence/回执中连接双方事实；没有安装 SpecDev 时只要求可核验的原始交付资料，不创建假 change。目标与授权仍由 OPS 原网关取得，不能继承开发权限；OPS 不代写开发 Ticket。