@modusensus/dsh-mneme 0.8.16 → 0.9.1

package/test/pipeline-command.test.js

@@ -0,0 +1,243 @@
+import test from "node:test";
+import assert from "node:assert/strict";
+import { parseMoRunInput, createMoRunHandler, registerMoRunCommand, MO_RUN_COMMAND } from "../src/pipeline-command.js";
+
+// 这组测试守的是 `/mo-run` 的回执质量。命令回执是这个功能**唯一的对外窗口**
+// （面板侧还没做），所以最要紧的性质是：**失败必须说清是哪种失败**，
+// 尤其「一条观察都没认出来」绝不能被含糊成「完成」。
+
+test("解析：三种子命令 + 默认看状态 + 不认识的词给用法", () => {
+  assert.deepEqual(parseMoRunInput("start dsh-mneme-release"), { action: "start", pipelineId: "dsh-mneme-release" });
+  assert.deepEqual(parseMoRunInput("stop"), { action: "stop" });
+  assert.deepEqual(parseMoRunInput("status"), { action: "status" });
+  // 不带参数 = 看状态：最安全的默认，不会误开窗
+  assert.deepEqual(parseMoRunInput(""), { action: "status" });
+  assert.deepEqual(parseMoRunInput("   "), { action: "status" });
+  assert.deepEqual(parseMoRunInput(null), { action: "status" });
+  assert.equal(parseMoRunInput("whatever").action, "help");
+  // 大小写不敏感，id 里带空格也能取全
+  assert.deepEqual(parseMoRunInput("START a b"), { action: "start", pipelineId: "a b" });
+});
+
+/** 造一个受控的假记录器，回执里只看它返回的东西怎么被翻译。 */
+function fakeRecorder({ start, stop, status, confirm } = {}) {
+  return {
+    start: start ?? (() => ({ ok: true, pipelineId: "demo", steps: 3 })),
+    stop: stop ?? (() => ({ ok: true, pipelineId: "demo", steps: 2 })),
+    // P2 起 stop 不再落盘，默认返回"待确认"
+    status: status ?? (() => ({ open: false })),
+    confirm: confirm ?? (() => ({ ok: true, pipelineId: "demo", steps: 1, notDone: [], unsure: [], unanswered: [] }))
+  };
+}
+
+const invocation = (rawInput) => ({ rawInput, agent: { session: { id: "s1" } } });
+
+test("start 成功：说清开了哪条、几步", () => {
+  const h = createMoRunHandler({ recorder: fakeRecorder(), language: () => "zh" });
+  const r = h(invocation("start demo"));
+  assert.equal(r.kind, "success");
+  assert.match(r.text, /已开窗/);
+  assert.match(r.text, /demo/);
+  assert.match(r.text, /3 步/);
+});
+
+test("start 已开着窗口：给的是「先 stop」，而不是静默顶掉", () => {
+  const h = createMoRunHandler({
+    recorder: fakeRecorder({ start: () => ({ ok: false, reason: "already-open", pipelineId: "old" }) }),
+    language: () => "zh"
+  });
+  const r = h(invocation("start demo"));
+  assert.match(r.text, /already|已经开着|旧|old|先/);
+});
+
+test("start 找不到工作流：把可用清单给出来（别让人猜）", () => {
+  const h = createMoRunHandler({
+    recorder: fakeRecorder({ start: () => ({ ok: false, reason: "pipeline-not-found", available: ["a", "b"] }) }),
+    language: () => "zh"
+  });
+  const r = h(invocation("start nope"));
+  assert.match(r.text, /a/);
+  assert.match(r.text, /b/);
+});
+
+test("start 读不出来与没有这条是两种话——不许合并成同一句", () => {
+  const unreadable = createMoRunHandler({
+    recorder: fakeRecorder({ start: () => ({ ok: false, reason: "pipeline-unreadable", detail: "坏 JSON" }) }),
+    language: () => "zh"
+  });
+  const notFound = createMoRunHandler({
+    recorder: fakeRecorder({ start: () => ({ ok: false, reason: "pipeline-not-found", available: [] }) }),
+    language: () => "zh"
+  });
+  assert.notEqual(unreadable(invocation("start demo")).text, notFound(invocation("start demo")).text);
+  assert.match(unreadable(invocation("start demo")).text, /坏 JSON/);
+});
+
+test("P2：stop 产出待确认清单，明说「还没有写账」并给出步骤表", () => {
+  const h = createMoRunHandler({
+    recorder: fakeRecorder({
+      stop: () => ({
+        ok: true, state: "awaiting-confirmation", notCommands: 5, truncated: false,
+        activities: [{ key: "npm test", count: 3, flags: [] }],
+        proposal: {
+          pipelineId: "demo",
+          steps: [
+            { id: "P6", title: "跑测试", declared: "npm test", hintCount: 2 },
+            { id: "V2", title: "推分支", declared: "git push", hintCount: 0 }
+          ]
+        }
+      })
+    }),
+    language: () => "zh"
+  });
+  const r = h(invocation("stop"));
+  assert.match(r.text, /还没有写账/, "必须明确说这一版不自动落盘");
+  assert.match(r.text, /P6/, "步骤表要给出来供人勾");
+  assert.match(r.text, /V2/);
+  assert.match(r.text, /confirm/, "要给出怎么写确认");
+  assert.match(r.text, /npm test ×3/, "观察到的动作清单也要给");
+});
+
+test("P2：confirm 成功 → 报步数，并把「没做」「不确定」「没提到」分开", () => {
+  const h = createMoRunHandler({
+    recorder: fakeRecorder({
+      confirm: () => ({ ok: true, pipelineId: "demo", steps: 1, notDone: ["V2"], unsure: [], unanswered: ["A3"] })
+    }),
+    language: () => "zh"
+  });
+  const r = h(invocation("confirm P6"));
+  assert.equal(r.kind, "success");
+  assert.match(r.text, /记入账本/);
+  assert.match(r.text, /V2/);
+  assert.match(r.text, /A3/);
+});
+
+test("P2：confirm 的关键一条——什么都没确认时明说没落盘，不许含糊成完成", () => {
+  const h = createMoRunHandler({
+    recorder: fakeRecorder({
+      confirm: () => ({ ok: false, reason: "no-answers", notDone: 0, unsure: 1, unanswered: 1 })
+    }),
+    language: () => "zh"
+  });
+  const r = h(invocation("confirm P6:?"));
+  assert.equal(r.kind, "error");
+  assert.match(r.text, /没有落盘/, "必须明确说没写账");
+});
+
+test("P2：confirm 解析——`P6` 表示做了，`V2:-` 没做，`A3:?` 不确定", () => {
+  const seen = [];
+  const h = createMoRunHandler({
+    recorder: fakeRecorder({ confirm: (arg) => { seen.push(arg.answers); return { ok: true, pipelineId: "d", steps: 1, notDone: [], unsure: [], unanswered: [] }; } }),
+    language: () => "zh"
+  });
+  h(invocation("confirm P6 V2:- A3:?"));
+  assert.deepEqual(seen[0], { P6: "done", V2: "notDone", A3: "unsure" });
+  // 非法标记不放进结果（不是「没做」，是「没答」）
+  h(invocation("confirm P6:xyz"));
+  assert.deepEqual(seen[1], {});
+  // 逗号也当分隔符
+  h(invocation("confirm P6,V2"));
+  assert.deepEqual(seen[2], { P6: "done", V2: "done" });
+});
+
+test("P2：没待确认清单时 confirm 说清先做什么", () => {
+  const h = createMoRunHandler({
+    recorder: fakeRecorder({ confirm: () => ({ ok: false, reason: "nothing-to-confirm" }) }),
+    language: () => "zh"
+  });
+  const r = h(invocation("confirm P6"));
+  assert.match(r.text, /没有待确认/);
+  assert.match(r.text, /mo-run start/);
+});
+
+test("P2：非法回答/未知步骤各自说清", () => {
+  const bad = createMoRunHandler({
+    recorder: fakeRecorder({ confirm: () => ({ ok: false, reason: "bad-answer-value", stepId: "P6", value: "yes" }) }),
+    language: () => "zh"
+  });
+  assert.match(bad(invocation("confirm P6:yes")).text, /不合法/);
+
+  const unknown = createMoRunHandler({
+    recorder: fakeRecorder({ confirm: () => ({ ok: false, reason: "unknown-step", stepId: "NOPE" }) }),
+    language: () => "zh"
+  });
+  assert.match(unknown(invocation("confirm NOPE")).text, /NOPE/);
+});
+
+test("stop 没有开着窗口 / 写盘失败：各自说清，不混为一谈", () => {
+  const none = createMoRunHandler({
+    recorder: fakeRecorder({ stop: () => ({ ok: false, reason: "no-open-window" }) }),
+    language: () => "zh"
+  });
+  const failed = createMoRunHandler({
+    recorder: fakeRecorder({ stop: () => ({ ok: false, reason: "write-failed", detail: "磁盘满" }) }),
+    language: () => "zh"
+  });
+  assert.match(none(invocation("stop")).text, /没有开着窗口/);
+  assert.match(failed(invocation("stop")).text, /磁盘满/);
+  assert.notEqual(none(invocation("stop")).text, failed(invocation("stop")).text);
+});
+
+test("status：要能分辨「关着」「开着」「等你确认」三种状态", () => {
+  const closed = createMoRunHandler({ recorder: fakeRecorder({ status: () => ({ open: false }) }), language: () => "zh" });
+  assert.match(closed(invocation("status")).text, /没有开着/);
+
+  const awaiting = createMoRunHandler({ recorder: fakeRecorder({ status: () => ({ open: false, awaitingConfirmation: true, pipelineId: "demo", steps: 3 }) }), language: () => "zh" });
+  assert.match(awaiting(invocation("status")).text, /等你在确认|确认/, "等待确认是一个独立状态");
+
+  const open = createMoRunHandler({
+    recorder: fakeRecorder({
+      status: () => ({ open: true, pipelineId: "demo", startedAt: "2026-10-16T12:00:00.000Z", bufferedEvents: 7, recorded: ["P6"], unattributed: 1, ambiguous: 0, truncated: false })
+    }),
+    language: () => "zh"
+  });
+  const r = open(invocation("status"));
+  assert.match(r.text, /demo/);
+  assert.match(r.text, /7 条事件/);
+  assert.match(r.text, /P6/);
+});
+
+test("英文实例：同一组结果翻成英文，不落回中文", () => {
+  const h = createMoRunHandler({
+    recorder: fakeRecorder({ confirm: () => ({ ok: false, reason: "no-answers", notDone: 0, unsure: 1, unanswered: 1 }) }),
+    language: () => "en"
+  });
+  const r = h(invocation("confirm P6:?"));
+  assert.match(r.text, /nothing was persisted/i);
+});
+
+test("注册默认关：旗标不是 true 时一个命令都不注册", () => {
+  const registered = [];
+  const ctx = { commands: { register: (c) => { registered.push(c); return () => {}; } } };
+  assert.equal(registerMoRunCommand({ ctx, recorder: fakeRecorder(), enabled: false }), null);
+  assert.equal(registerMoRunCommand({ ctx, recorder: fakeRecorder(), enabled: undefined }), null);
+  assert.equal(registered.length, 0, "默认关时不许注册");
+});
+
+test("注册打开：命令名走小写字母起头的约定，且带描述与用法提示", () => {
+  const registered = [];
+  const ctx = { commands: { register: (c) => { registered.push(c); return () => {}; } } };
+  const dispose = registerMoRunCommand({ ctx, recorder: fakeRecorder(), enabled: true, language: () => "zh" });
+  assert.equal(typeof dispose, "function");
+  assert.equal(registered.length, 1);
+  assert.equal(registered[0].name, MO_RUN_COMMAND);
+  assert.match(registered[0].name, /^[a-z][a-z0-9_-]*$/);
+  assert.ok(registered[0].description);
+  assert.ok(registered[0].input?.hint);
+  assert.equal(typeof registered[0].handler, "function");
+});
+
+test("没有命令注册表时不硬注册（返回 null，由装配方决定要不要降级）", () => {
+  assert.equal(registerMoRunCommand({ ctx: {}, recorder: fakeRecorder(), enabled: true }), null);
+  assert.equal(registerMoRunCommand({ ctx: null, recorder: fakeRecorder(), enabled: true }), null);
+});
+
+test("handler 抛异常也不许把异常抛进宿主：退化成用法提示", () => {
+  const h = createMoRunHandler({
+    recorder: { start: () => { throw new Error("炸了"); }, stop: () => {}, status: () => {} },
+    language: () => "zh"
+  });
+  const r = h(invocation("start demo"));
+  assert.equal(r.kind, "error");
+  assert.ok(r.text);
+});

package/test/pipeline-confirm.test.js

@@ -0,0 +1,148 @@
+import test from "node:test";
+import assert from "node:assert/strict";
+import { buildProposal, normalizeAnswers, runFromAnswers } from "../src/pipeline-confirm.js";
+import { validatePipeline } from "../src/pipeline.js";
+
+// 这组测试守的是 P2 的核心语义：**机器不猜，人确认才写账**。
+// 最要紧的三条：
+//   ① 提案不改动任何东西（纯函数）
+//   ② unsure / 没回答 ≠ notDone——前者什么都不写，后者记 skipped
+//   ③ 一步都没确认走过 → 不产 run（账本契约不许零步），而不是伪造一条空的
+
+function makePipeline() {
+  return validatePipeline({
+    id: "demo", name: "演示", project: "a/b", version: 0, status: "active", done: "走完",
+    trigger: [{ kind: "phrase", value: "走一遍" }],
+    steps: [
+      { id: "P6", phase: "p", title: "跑测试", when: "w", do: "d", who: "main", tool: "npm test", done: "dn", risk: "R0", needs: [], why: "y" },
+      { id: "V2", phase: "p", title: "推分支", when: "w", do: "d", who: "main", tool: "git push", done: "dn", risk: "R2", needs: ["P6"], why: "y" }
+    ]
+  }, "demo.json");
+}
+
+test("提案：列出流程步骤与观察到的动作，但**不预选任何一步**", () => {
+  const p = makePipeline();
+  const prop = buildProposal({
+    pipeline: p,
+    activities: [{ key: "npm test", count: 5, flags: [] }, { key: "git status", count: 3, flags: ["--porcelain"] }]
+  });
+  assert.equal(prop.ok, true);
+  assert.deepEqual(prop.steps.map((s) => s.id), ["P6", "V2"]);
+  // 步骤里带的是"作者写的 tool 原文"，给对照用；没有任何自动勾选
+  assert.equal(prop.steps[0].declared, "npm test");
+  assert.equal(prop.steps[0].hintCount, 0, "没给候选时次数是 0");
+  assert.deepEqual(prop.activities.map((a) => a.key), ["npm test", "git status"]);
+});
+
+test("提案：候选只作提示（一个次数），不预选、不带命令行原文", () => {
+  const p = makePipeline();
+  const prop = buildProposal({ pipeline: p, hints: { P6: 3 } });
+  assert.equal(prop.steps[0].hintCount, 3);
+  // 关键：hintCount 只说明"见到过相近命令"，没有任何字段表示"已经确认"
+  assert.equal("answer" in prop.steps[0], false);
+  assert.equal("selected" in prop.steps[0], false);
+  // 也不存命令行原文——原文含绝对路径（路径含本机用户名），而这条会进回执
+  assert.equal(JSON.stringify(prop).includes("command"), false);
+});
+
+test("提案：没有工作流时如实拒绝", () => {
+  assert.equal(buildProposal({ pipeline: null }).reason, "no-pipeline");
+  assert.equal(buildProposal({ pipeline: { id: "x" } }).reason, "no-pipeline");
+});
+
+test("校验回答：只认三类值，非法值一律拒（静默当「没发生」是编造）", () => {
+  const p = makePipeline();
+  assert.equal(normalizeAnswers({ P6: "done" }, p).ok, true);
+  const bad = normalizeAnswers({ P6: "yes" }, p);
+  assert.equal(bad.ok, false);
+  assert.equal(bad.reason, "bad-answer-value");
+  const unknown = normalizeAnswers({ NOPE: "done" }, p);
+  assert.equal(unknown.reason, "unknown-step");
+  assert.equal(normalizeAnswers(null, p).reason, "bad-answers");
+  assert.equal(normalizeAnswers([], p).reason, "bad-answers");
+});
+
+test("✅ 核心语义：done → uses；notDone → skipped；unsure/没答 → 什么都不写", () => {
+  const p = makePipeline();
+  const r = runFromAnswers({
+    pipeline: p,
+    answers: { P6: "done" },   // V2 没回答
+    now: () => new Date("2026-10-17T00:00:00.000Z")
+  });
+  assert.equal(r.kind, "run");
+  assert.deepEqual(r.run.steps.map((s) => s.id), ["P6"], "没回答的步骤不许进账");
+  assert.equal(r.run.steps[0].skipped, false);
+  assert.deepEqual(r.unanswered, ["V2"], "没答的要如实列出来");
+  assert.equal(r.run.by, "human", "人确认的账，by 应当是人");
+});
+
+test("✅ 核心语义：unsure 与 notDone 决不能混——前者不写，后者记 skipped", () => {
+  const p = makePipeline();
+  const unsure = runFromAnswers({ pipeline: p, answers: { P6: "done", V2: "unsure" } });
+  assert.deepEqual(unsure.run.steps.map((s) => s.id), ["P6"], "unsure 不进账");
+  assert.deepEqual(unsure.unsure, ["V2"]);
+
+  const notDone = runFromAnswers({ pipeline: p, answers: { P6: "done", V2: "notDone" } });
+  const v2 = notDone.run.steps.find((s) => s.id === "V2");
+  assert.equal(v2.skipped, true, "人明确说没做，才记 skipped");
+  assert.match(v2.note, /人确认/);
+  // 这条区分的意义：跳过计数正是 RETIRE_AFTER_SKIPS 提议删步的依据，
+  // 把"忘了勾"记成"被跳过"就会多出错误提议。
+  assert.notDeepEqual(unsure.run.steps.length, notDone.run.steps.length);
+});
+
+test("全部 notDone 仍是一条合法记录（人确认「这次一步都没做」是有信息的）", () => {
+  const p = makePipeline();
+  const r = runFromAnswers({ pipeline: p, answers: { P6: "notDone", V2: "notDone" } });
+  // 这不叫"零步"——它明确记录了"这两步这次都没做"，是一条完整的、全跳过的 run。
+  // 真正进 nothing 的是「什么都没确认」（见下一条）。
+  assert.equal(r.kind, "run");
+  assert.deepEqual(r.run.steps.map((s) => s.id), ["P6", "V2"]);
+  assert.equal(r.run.steps.every((s) => s.skipped === true), true);
+  assert.deepEqual(r.notDone, ["P6", "V2"]);
+});
+
+test("什么都没确认（全 unsure）：不产 run——这才是真正的「零步」", () => {
+  const p = makePipeline();
+  const r = runFromAnswers({ pipeline: p, answers: { P6: "unsure", V2: "unsure" } });
+  assert.equal(r.kind, "nothing");
+  assert.equal(r.reason, "no-steps-confirmed");
+  assert.equal("run" in r, false, "不许伪造一条空 run");
+  assert.deepEqual(r.unsure, ["P6", "V2"]);
+  assert.deepEqual(r.notDone, []);
+});
+
+test("空回答也是 nothing（没答 ≠ 都没做）", () => {
+  const p = makePipeline();
+  const r = runFromAnswers({ pipeline: p, answers: {} });
+  assert.equal(r.kind, "nothing");
+  assert.deepEqual(r.unanswered, ["P6", "V2"]);
+  assert.deepEqual(r.notDone, [], "没人说没做，就不该出现在 notDone 里");
+});
+
+test("非法回答进不来：runFromAnswers 会把它变成 error，而不是悄悄少记一步", () => {
+  const p = makePipeline();
+  const r = runFromAnswers({ pipeline: p, answers: { P6: "done", V2: "nope" } });
+  assert.equal(r.kind, "error");
+  assert.equal(r.reason, "bad-answer-value");
+  assert.equal("run" in r, false);
+});
+
+test("产出的 run 能过账本 normalizer（两个契约对得上）", async () => {
+  const { normalizeRun } = await import("../src/pipeline-runs.js");
+  const p = makePipeline();
+  const r = runFromAnswers({ pipeline: p, answers: { P6: "done", V2: "notDone" } });
+  const normalized = normalizeRun(r.run);
+  assert.equal(normalized.steps.length, 2);
+  assert.equal(normalized.steps[0].skipped, false);
+  assert.equal(normalized.steps[1].skipped, true);
+  assert.equal(normalized.by, "human");
+});
+
+test("坏输入不抛", () => {
+  const p = makePipeline();
+  for (const bad of [null, undefined, [], "x", 0]) {
+    assert.equal(runFromAnswers({ pipeline: p, answers: bad }).kind, "error");
+  }
+  assert.equal(runFromAnswers({ pipeline: null, answers: {} }).kind, "error");
+});

package/test/pipeline-exec.test.js

@@ -0,0 +1,172 @@
+import test from "node:test";
+import assert from "node:assert/strict";
+import { openRun, OBSERVED, UNATTRIBUTED, AMBIGUOUS } from "../src/pipeline-exec.js";
+import { validatePipeline } from "../src/pipeline.js";
+
+// 这组测试守的是 M.O. 的**执行窗口**：有人显式说「按 X 走一遍」，窗口才开；窗口内的
+// 工具调用才可能被记账；关窗产出一条 run。
+//
+// 最要紧的三条性质（都是「不许编造」的具体形态）：
+//   ① 窗口外发生的事一个字都不记——漏记可接受，编造不可
+//   ② 归属认不出来 → 进 unattributed，**不写进 run.steps**（不是「这步跳过了」）
+//   ③ 没观察到的步骤 → 进 unobserved，既不写 skipped 也不写 used（缺席 ≠ 跳过）
+
+function pipelineOf(steps) {
+  return validatePipeline({
+    id: "demo",
+    name: "演示",
+    project: "someone/repo",
+    version: 0,
+    status: "active",
+    done: "走完",
+    trigger: [{ kind: "phrase", value: "走一遍" }],
+    steps: steps.map((s) => ({
+      id: s.id,
+      phase: "准备",
+      title: `第 ${s.id} 步`,
+      when: "需要时",
+      do: "做事",
+      who: "main",
+      tool: s.tool ?? "",
+      done: "做完",
+      risk: "R0",
+      needs: s.needs ?? [],
+      why: "因为"
+    }))
+  }, "demo.json");
+}
+
+const clock = (() => {
+  let n = 0;
+  return () => new Date(Date.UTC(2026, 9, 16, 12, 0, n++));
+})();
+
+test("开窗需要一条工作流：没有 steps 直接拒，不静默建一个空窗口", () => {
+  assert.throws(() => openRun({ pipeline: null }), /需要一条工作流/);
+  assert.throws(() => openRun({ pipeline: { id: "x" } }), /需要一条工作流/);
+});
+
+test("显式点名归属：人说了算，不再走匹配", () => {
+  const p = pipelineOf([{ id: "A1", tool: "npm test" }]);
+  const run = openRun({ pipeline: p, by: "human", triggeredBy: "发版", now: clock });
+  const r = run.observe({ tool: "bash", command: "随便什么命令" }, { stepId: "A1" });
+  assert.equal(r.result, OBSERVED);
+  assert.equal(r.resolved, "explicit", "人给的归属不该被自动匹配覆盖");
+
+  const closed = run.close();
+  assert.equal(closed.run.steps.length, 1);
+  assert.equal(closed.run.steps[0].id, "A1");
+  assert.equal(closed.run.by, "human");
+  assert.equal(closed.run.triggeredBy, "发版");
+});
+
+test("自动归属只认唯一 exact：weak 与多候选走歧义桶，绝不自选一条", () => {
+  const p = pipelineOf([
+    { id: "P6", tool: "npm test" },
+    { id: "P5", tool: "npm run badge:sync" }
+  ]);
+  const run = openRun({ pipeline: p, now: clock });
+
+  // 唯一 exact → 自动记账
+  assert.equal(run.observe({ command: "npm test" }).result, OBSERVED);
+
+  // weak（词前缀但不相等）→ 歧义，不记账
+  const weak = run.observe({ command: "npm run badge:sync --all" });
+  assert.equal(weak.result, AMBIGUOUS, "弱匹配必须请人确认，不能自动写账");
+
+  // 认不出来 → unattributed
+  assert.equal(run.observe({ command: "docker ps" }).result, UNATTRIBUTED);
+
+  const closed = run.close();
+  assert.deepEqual(closed.run.steps.map((s) => s.id), ["P6"], "只有被确认的那步进账");
+  assert.equal(closed.ambiguous.length, 1);
+  assert.equal(closed.unattributed.length, 1);
+});
+
+test("同一步被观察到多次只计一次，次数进 note（tallyRuns 按 run 计数，重复会让 uses 虚高）", () => {
+  const p = pipelineOf([{ id: "P6", tool: "npm test" }]);
+  const run = openRun({ pipeline: p, now: clock });
+  run.observe({ command: "npm test" });
+  run.observe({ command: "npm test" });
+  run.observe({ command: "npm test" });
+  const closed = run.close();
+  assert.equal(closed.run.steps.length, 1, "三次观察仍是一步");
+  assert.match(closed.run.steps[0].note, /3 次/);
+});
+
+test("任一环节失败就永久标记 refuted：后来的成功不许抹掉跑砸过一次这件事", () => {
+  const p = pipelineOf([{ id: "P6", tool: "npm test" }]);
+  const run = openRun({ pipeline: p, now: clock });
+  run.observe({ command: "npm test", ok: false }); // 先失败
+  run.observe({ command: "npm test", ok: true });  // 再成功
+  const closed = run.close();
+  assert.equal(closed.run.steps[0].refuted, true, "失败过就是失败过，不该被后一次成功洗掉");
+});
+
+test("没被观察到的步骤进 unobserved：既不写 skipped 也不写 used——缺席不等于跳过", () => {
+  const p = pipelineOf([
+    { id: "A1", tool: "npm test" },
+    { id: "A2", tool: "git diff" },
+    { id: "A3", tool: "" }          // 空 tool：结构性地无法被归属
+  ]);
+  const run = openRun({ pipeline: p, now: clock });
+  run.observe({ command: "npm test" });
+  const closed = run.close();
+
+  assert.deepEqual(closed.run.steps.map((s) => s.id), ["A1"]);
+  assert.deepEqual(closed.unobserved, ["A2", "A3"]);
+  // 关键：没观察到的步骤不许出现在 steps 里被标成 skipped——那是编造「这步被跳过了」。
+  assert.equal(closed.run.steps.some((s) => s.skipped === true), false);
+  assert.equal(closed.run.steps.some((s) => s.detoured === true), false);
+});
+
+test("一步都没走成：如实返回 no-steps，不伪造一条空 run 去凑契约", () => {
+  const p = pipelineOf([{ id: "A1", tool: "npm test" }]);
+  const run = openRun({ pipeline: p, now: clock });
+  run.observe({ command: "完全无关的命令" });
+  const closed = run.close();
+
+  assert.equal(closed.run, null, "账本契约要求至少一步，所以这里不能有 run");
+  assert.equal(closed.reason, "no-steps");
+  assert.equal(closed.unattributed.length, 1, "但这次观察要留着，别丢");
+});
+
+test("窗口关掉之后不再接受观察：不悄悄记进一个已经结完的账", () => {
+  const p = pipelineOf([{ id: "A1", tool: "npm test" }]);
+  const run = openRun({ pipeline: p, now: clock });
+  run.observe({ command: "npm test" });
+  const first = run.close();
+  const after = run.observe({ command: "npm test" });
+
+  assert.equal(after.accepted, false);
+  assert.equal(after.result, "run-closed");
+  assert.equal(run.close(), first, "重复 close 返回同一份，不产生第二份账");
+});
+
+test("state() 只报状态不结账：窗口开着时也能回答「走到哪了」", () => {
+  const p = pipelineOf([{ id: "A1", tool: "npm test" }, { id: "A2", tool: "git diff" }]);
+  const run = openRun({ pipeline: p, now: clock });
+  run.observe({ command: "npm test" });
+  run.observe({ command: "乱七八糟" });
+  const s = run.state();
+
+  assert.equal(s.open, true);
+  assert.equal(s.observations, 2);
+  assert.deepEqual(s.recorded, ["A1"]);
+  assert.equal(s.unattributed, 1);
+  assert.equal(s.ambiguous, 0);
+});
+
+test("产出的 run 能过账本的 normalizer：窗口与账本两个契约对得上", async () => {
+  const { normalizeRun } = await import("../src/pipeline-runs.js");
+  const p = pipelineOf([{ id: "A1", tool: "npm test" }]);
+  const run = openRun({ pipeline: p, now: clock });
+  run.observe({ command: "npm test", ok: false });
+  const closed = run.close();
+
+  // 不传 expectedStepIds：这里验的是形状能被账本接受
+  const normalized = normalizeRun(closed.run);
+  assert.equal(normalized.steps[0].id, "A1");
+  assert.equal(normalized.steps[0].refuted, true);
+  assert.equal(normalized.by, "main");
+});