@arcaneorion/dsh-teaching-board 0.4.1 → 0.5.1

package/skills/stage-panel/submode/learn/examples/epsilon-delta.json

@@ -0,0 +1,140 @@
+{
+  "schema_version": 1,
+  "id": "epsilon-delta",
+  "title": "epsilon-delta 极限证明",
+  "subtitle": "从具体线性函数开始，把误差控制写成可检查的结构",
+  "stage": "概念入口 + 主动回忆",
+  "summary": "epsilon-delta 证明的核心不是背模板，而是把目标误差 |f(x)-L| < epsilon 反推成对 |x-a| 的约束。",
+  "objectives": [
+    "说清楚 epsilon 和 delta 各自控制什么",
+    "把 |3x-1-5| < epsilon 化成 |x-2| < epsilon/3",
+    "解释为什么选 delta = epsilon/3 足够"
+  ],
+  "concepts": [
+    {
+      "term": "epsilon",
+      "definition": "目标误差上界。证明者要保证函数值和极限值的距离小于它。",
+      "back": "把 epsilon 想成对方给出的验收标准：无论它多小，证明都要能找到一个输入范围，让函数值误差落进这个标准里。",
+      "note": "它由对方任意给出，不能由证明者挑。"
+    },
+    {
+      "term": "delta",
+      "definition": "输入距离上界。证明者根据 epsilon 选择它，用来限制 x 离 a 足够近。",
+      "back": "delta 是证明者能控制的旋钮。在线性例子里，把目标误差反推成 |x-a| 的上界，就能直接读出 delta。",
+      "note": "delta 的任务是让目标误差自动成立。"
+    },
+    {
+      "term": "误差反推",
+      "definition": "从 |f(x)-L| 的表达式出发，找出它和 |x-a| 的关系。",
+      "back": "反推不是倒着证明结论，而是寻找一个足够强的输入条件。找到以后，正式证明仍然从 0 < |x-a| < delta 推回目标误差。",
+      "note": "线性函数里通常可以直接提出常数倍。"
+    }
+  ],
+  "structure": {
+    "nodes": [
+      {
+        "id": "abs",
+        "label": "绝对值距离",
+        "kind": "prerequisite",
+        "detail": "|x-a| 表示 x 到 a 的距离"
+      },
+      {
+        "id": "input",
+        "label": "输入约束",
+        "kind": "current",
+        "detail": "0 < |x-a| < delta"
+      },
+      {
+        "id": "target",
+        "label": "目标误差",
+        "kind": "current",
+        "detail": "|f(x)-L| < epsilon"
+      },
+      {
+        "id": "next",
+        "label": "局部有界控制",
+        "kind": "next",
+        "detail": "二次函数等非线性例子需要额外控制局部范围"
+      }
+    ],
+    "edges": [
+      {
+        "from": "abs",
+        "to": "input",
+        "label": "定义距离"
+      },
+      {
+        "from": "input",
+        "to": "target",
+        "label": "delta 让目标成立"
+      },
+      {
+        "from": "target",
+        "to": "next",
+        "label": "非线性时需要多一步"
+      }
+    ]
+  },
+  "examples": [
+    {
+      "title": "线性例子",
+      "type": "worked",
+      "body": "证明 lim(x -> 2)(3x - 1) = 5。因为 |(3x-1)-5| = |3x-6| = 3|x-2|，所以只要让 |x-2| < epsilon/3，就能推出目标误差小于 epsilon。"
+    },
+    {
+      "title": "常见误区",
+      "type": "nonexample",
+      "body": "不要先假设 |3x-1-5| < epsilon 再推出 delta。证明方向应该是：先限制 |x-2|，再推出目标误差。"
+    }
+  ],
+  "questions": [
+    {
+      "id": "q1",
+      "type": "short",
+      "prompt": "用一句话说明 epsilon 和 delta 的分工。",
+      "hint": "谁是目标，谁是手段？"
+    },
+    {
+      "id": "q2",
+      "type": "choice",
+      "prompt": "证明 lim(x -> 2)(3x - 1) = 5 时，下面哪个 delta 选择一定足够？",
+      "options": [
+        {
+          "id": "a",
+          "label": "delta = epsilon / 3"
+        },
+        {
+          "id": "b",
+          "label": "delta = 3epsilon"
+        },
+        {
+          "id": "c",
+          "label": "delta = epsilon + 2"
+        }
+      ],
+      "hint": "把目标误差写成 3|x-2|。"
+    },
+    {
+      "id": "q3",
+      "type": "explain",
+      "prompt": "为什么证明里不能直接把 |3x-1-5| < epsilon 当作已知？"
+    }
+  ],
+  "next": [
+    {
+      "id": "same-pattern",
+      "label": "同型线性题",
+      "description": "换一个一次函数，检查能否独立反推 delta。"
+    },
+    {
+      "id": "quadratic",
+      "label": "进入二次函数",
+      "description": "学习 min(1, epsilon/C) 里的局部范围控制。"
+    },
+    {
+      "id": "definition",
+      "label": "回到正式定义",
+      "description": "把具体证明嵌回教材中的 epsilon-delta 定义。"
+    }
+  ]
+}

package/skills/stage-panel/submode/learn/examples/template-showcase.json

@@ -0,0 +1,147 @@
+{
+  "schema_version": 1,
+  "id": "template-showcase",
+  "title": "Learn 模板通用预览",
+  "subtitle": "展示概念卡、结构图、例子、练习和下一步选择如何组合，而不是绑定某个具体学科",
+  "stage": "模板展示",
+  "summary": "这个面板用于预览 learn 模板的通用信息结构：左侧放学习目标和可翻面的概念卡，右侧放关系图、例子、主动回忆题和可点击的下一步。",
+  "objectives": [
+    "快速看出本模板适合承载哪些学习信息",
+    "点击概念卡查看背面补充信息",
+    "通过结构图理解内容之间的关系",
+    "用下一步卡片表达后续学习方向"
+  ],
+  "concepts": [
+    {
+      "term": "核心概念",
+      "definition": "放置当前主题最关键的定义、直觉或判断标准。",
+      "back": "背面适合补充边界条件、常见误解、记忆钩子或一个更贴近日常语言的解释。",
+      "note": "适合短定义，不适合塞长段落。"
+    },
+    {
+      "term": "关键关系",
+      "definition": "说明几个概念之间如何连接，例如依赖、因果、转换或约束。",
+      "back": "如果关系本身比概念更重要，应优先在结构图里表达，再用概念卡解释节点含义。",
+      "note": "关系可以是流程、推导链、调用链或协议时序。"
+    },
+    {
+      "term": "学习动作",
+      "definition": "让用户做一个低成本动作，例如解释、选择、排序、标注或写出卡点。",
+      "back": "交互不应该为了热闹而存在；只有当它能帮助 CLI 判断下一步教学时，才需要回传。",
+      "note": "纯展示也是有效面板。"
+    }
+  ],
+  "structure": {
+    "diagram": "            [前提 P1] ──┐\n                         ├── 推出 ──> [结论 C]\n            [前提 P2] ──┘\n                           ▲\n                           │ 支持\n                      [证据 E]\n\n            [反例 X] ──反驳/限制──> [结论 C]\n\n            [边界 B] ──限定适用范围──> [结论 C]",
+    "nodes": [
+      {
+        "id": "context",
+        "label": "背景入口",
+        "kind": "prerequisite",
+        "detail": "用户已经知道或刚刚建立的前置语境"
+      },
+      {
+        "id": "concept",
+        "label": "当前主题",
+        "kind": "current",
+        "detail": "本轮解释真正要讲清楚的对象"
+      },
+      {
+        "id": "activity",
+        "label": "学习动作",
+        "kind": "support",
+        "detail": "题目、标注、排序、推导或对比"
+      },
+      {
+        "id": "signal",
+        "label": "用户信号",
+        "kind": "warning",
+        "detail": "答案、信心、卡点或下一步偏好"
+      },
+      {
+        "id": "next",
+        "label": "后续路径",
+        "kind": "next",
+        "detail": "CLI 根据用户信号决定继续讲、换例子或进入练习"
+      }
+    ],
+    "edges": [
+      {
+        "from": "context",
+        "to": "concept",
+        "label": "铺垫"
+      },
+      {
+        "from": "concept",
+        "to": "activity",
+        "label": "转成练习"
+      },
+      {
+        "from": "activity",
+        "to": "signal",
+        "label": "暴露理解"
+      },
+      {
+        "from": "signal",
+        "to": "next",
+        "label": "决定走向"
+      }
+    ]
+  },
+  "examples": [
+    {
+      "title": "适合的内容",
+      "type": "example",
+      "body": "概念解释、API 行为、代码执行路径、协议流程、证明结构、调试排查和方案对比，都可以使用这套结构做可视化学习面板。"
+    },
+    {
+      "title": "不适合硬套",
+      "type": "counterexample",
+      "body": "如果内容需要代码沙盒、密集图谱、长表格、时间轴或自由画布，就应该生成自定义 HTML panel，而不是硬套这个 lesson 模板。"
+    }
+  ],
+  "questions": [
+    {
+      "id": "fit",
+      "type": "choice",
+      "prompt": "这个学习内容更适合哪种展示方式？",
+      "options": [
+        {
+          "id": "concept",
+          "label": "概念卡 + 关系图"
+        },
+        {
+          "id": "timeline",
+          "label": "时间线 / 时序图"
+        },
+        {
+          "id": "custom",
+          "label": "完全自定义 panel"
+        }
+      ],
+      "hint": "先看内容的认知结构，而不是先选模板。"
+    },
+    {
+      "id": "missing",
+      "type": "short",
+      "prompt": "这个模板还缺哪一种学习交互？"
+    }
+  ],
+  "next": [
+    {
+      "id": "custom-panel",
+      "label": "改成自定义 panel",
+      "description": "当内容不适合 lesson 结构时，直接生成专用 HTML。"
+    },
+    {
+      "id": "more-blocks",
+      "label": "增加内容块",
+      "description": "加入推导链、代码路径、时间线、对比矩阵等 block。"
+    },
+    {
+      "id": "simplify",
+      "label": "压缩模板",
+      "description": "减少默认栏目，只保留本轮学习真正需要的信息。"
+    }
+  ]
+}

package/skills/stage-panel/submode/learn/schemas/lesson.schema.json

@@ -0,0 +1,184 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://localweb.dev/schemas/learn.lesson.schema.json",
+  "title": "LocalWeb Learn Lesson",
+  "type": "object",
+  "additionalProperties": true,
+  "required": ["title"],
+  "properties": {
+    "schema_version": {
+      "type": "integer",
+      "const": 1
+    },
+    "id": {
+      "type": "string",
+      "pattern": "^[A-Za-z0-9_-]+$"
+    },
+    "title": {
+      "type": "string",
+      "minLength": 1
+    },
+    "subtitle": {
+      "type": "string"
+    },
+    "stage": {
+      "type": "string"
+    },
+    "summary": {
+      "type": "string"
+    },
+    "objectives": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      }
+    },
+    "concepts": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["term", "definition"],
+        "additionalProperties": true,
+        "properties": {
+          "term": {
+            "type": "string"
+          },
+          "definition": {
+            "type": "string"
+          },
+          "note": {
+            "type": "string"
+          }
+        }
+      }
+    },
+    "structure": {
+      "type": "object",
+      "additionalProperties": true,
+      "properties": {
+        "nodes": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["id", "label"],
+            "additionalProperties": true,
+            "properties": {
+              "id": {
+                "type": "string"
+              },
+              "label": {
+                "type": "string"
+              },
+              "kind": {
+                "type": "string",
+                "enum": ["prerequisite", "current", "next", "support", "warning"]
+              },
+              "detail": {
+                "type": "string"
+              }
+            }
+          }
+        },
+        "edges": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["from", "to"],
+            "additionalProperties": true,
+            "properties": {
+              "from": {
+                "type": "string"
+              },
+              "to": {
+                "type": "string"
+              },
+              "label": {
+                "type": "string"
+              }
+            }
+          }
+        }
+      }
+    },
+    "examples": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["title", "body"],
+        "additionalProperties": true,
+        "properties": {
+          "title": {
+            "type": "string"
+          },
+          "body": {
+            "type": "string"
+          },
+          "type": {
+            "type": "string",
+            "enum": ["example", "nonexample", "counterexample", "worked"]
+          }
+        }
+      }
+    },
+    "questions": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["id", "prompt"],
+        "additionalProperties": true,
+        "properties": {
+          "id": {
+            "type": "string",
+            "pattern": "^[A-Za-z0-9_-]+$"
+          },
+          "type": {
+            "type": "string",
+            "enum": ["short", "explain", "choice"]
+          },
+          "prompt": {
+            "type": "string"
+          },
+          "hint": {
+            "type": "string"
+          },
+          "options": {
+            "type": "array",
+            "items": {
+              "type": "object",
+              "required": ["id", "label"],
+              "additionalProperties": true,
+              "properties": {
+                "id": {
+                  "type": "string"
+                },
+                "label": {
+                  "type": "string"
+                }
+              }
+            }
+          }
+        }
+      }
+    },
+    "next": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["id", "label"],
+        "additionalProperties": true,
+        "properties": {
+          "id": {
+            "type": "string"
+          },
+          "label": {
+            "type": "string"
+          },
+          "description": {
+            "type": "string"
+          }
+        }
+      }
+    }
+  }
+}
+