duaer-spec 0.26.0 → 0.27.0

package/bin/duaer-live.mjs

@@ -48,6 +48,12 @@ import {
 } from "./live-archify.mjs";
 import { enrichChatOptions } from "../web/live-dev/choice-options.mjs";
 import { extractArchitectureIr } from "../web/live-dev/architecture-ir.mjs";
+import {
+  baselineIsValid,
+  clipBaseline,
+} from "../web/live-dev/baseline.mjs";
+import { apiContractIsFilled, apiContractDeclaresNoHttp } from "../web/live-dev/api-contract.mjs";
+import { missingUatCases, uatMentionsErrorCode } from "../web/live-dev/uat-pack.mjs";
 import { allocateUniqueBranch } from "./live-worktree-name.mjs";
 import {
   ensureGitInstalled,
@@ -82,6 +88,7 @@ import {
   writeDeliverablesHtmlFile,
 } from "./live-deliverables.mjs";
 import {
+  clipCard,
   clipModules,
   clipActiveModuleId,
   modulesAllConfirmed,
@@ -729,18 +736,23 @@ const SYSTEM_PROMPT = `你是「Duaer-spec FDE」需求助手。通过多轮对
 
 规则：
 1. 缺关键可执行信息时，每次只问 1 个卡点问题；信息够时不要用「请从多种风格/方向里选一个」代替可执行的验收标准。
-2. 系统可能很大：边聊边发现模块清单 modules（id/title/status）。对话可以乱跳模块；把内容写进对应模块的四块，不要强迫用户按顺序说完。
-3. 每个模块维护四块：goal、outOfScope、acceptance、assumptions。小项目可只有一个模块（id=main）。
+2. 系统可能很大：边聊边发现模块清单 modules（id/title/status）。对话可以乱跳模块；把内容写进对应模块的确认卡字段，不要强迫用户按顺序说完。
+3. 每个功能模块维护确认卡字段：goal、outOfScope、acceptance、assumptions，以及 FDE-01 基线三块与 FDE-02 契约：
+   - deviceMatrix = 浏览器/设备矩阵（具体版本，如「Chrome 最近两版、手机 Safari」；禁止只写「主流浏览器」）
+   - criticalPaths = 联调必须覆盖的主路径（短列表）
+   - exceptionCases = UAT 包，必须同时覆盖空态、失败、权限不足、超时、重试；有接口契约时写出对应错误码或 HTTP status（禁止只写一类）
+   - apiContract = 接口契约路径（如 openapi/openapi.yaml 或 src/types/api.ts），或明确写「本模块无 HTTP API」
+   用户没提时：先根据产品形态填合理默认并写进 JSON，再在正文用一句话请用户改；不要长期留空。小项目可只有一个模块（id=main）。
 4. acceptance 必须可客观检查（打开何处、看到什么、哪条命令通过）；禁止只写「更好用/更好看」。
-5. ready=true 只表示**当前 active 模块**可确认，不是整系统开工。不要催用户立刻派工。
+5. ready=true 只表示**当前 active 模块**可确认，且上述字段都已非空、验收可检查。不是整系统开工。不要催用户立刻派工。
 6. 不要写代码。不要假设用户仓库路径。
-7. 只要问题是让用户做选择，必须在 JSON 的 options 填 2～5 个短选项（每个≤20字）。禁止只在正文列选项却把 options 留空。
+7. 只要问题是让用户做选择，必须在 JSON 的 options 填 2～5 个短选项（每个≤20字）。禁止只在正文列选项却把 options 留空。缺基线/契约字段时，可用 options 让用户点选，点选后立刻写入对应字段。
 8. 输出格式（严格）：
    - 先写对用户说的纯文本（可多行，不要 JSON；正文里不要再列一遍选项清单）
    - 然后单独一行：<<<JSON>>>
    - 再输出一个 JSON 对象（不要 markdown 围栏）：
-{"modules":[{"id":"auth","title":"登录","status":"draft","goal":"...","outOfScope":"...","acceptance":"...","assumptions":"..."}],"activeModuleId":"auth","goal":"...","outOfScope":"...","acceptance":"...","assumptions":"...","ready":false,"options":["可选A","可选B"]}
-说明：顶层 goal/outOfScope/acceptance/assumptions/ready 对应 activeModuleId 那一模块；modules 为完整清单（可增删改名）。`;
+{"modules":[{"id":"auth","title":"登录","status":"draft","goal":"...","outOfScope":"...","acceptance":"...","assumptions":"...","deviceMatrix":"...","criticalPaths":"...","exceptionCases":"...","apiContract":"..."}],"activeModuleId":"auth","goal":"...","outOfScope":"...","acceptance":"...","assumptions":"...","deviceMatrix":"...","criticalPaths":"...","exceptionCases":"...","apiContract":"...","ready":false,"options":["可选A","可选B"]}
+说明：顶层字段与 ready 对应 activeModuleId 那一模块；modules 为完整清单（可增删改名）。`;
 
 const BUG_CHAT_PROMPT = `你是「Duaer-spec FDE」缺陷助手。用户要修 bug，不是做新功能。通过多轮对话整理成一张可派工的缺陷卡，使数字员工能复现、修复并回归。
 
@@ -766,20 +778,22 @@ const CHAT_JSON_MARKER = "<<<JSON>>>";
 const REVISE_CHAT_PROMPT = `你是「Duaer-spec FDE」改进对话助手。用户已看过成品但不满意。通过多轮对话弄清：为什么不满意、要改成什么样、什么不要动。目标是改完后用户能满意。
 
 规则：
-1. 缺关键信息时每次只问 1 个问题；信息够时直接填可执行的四块并 ready=true，不要用「请从 A/B/C/D 风格里选」代替验收标准。
-2. 维护四块（仍用确认卡字段名，便于前端复用）：
+1. 缺关键信息时每次只问 1 个问题；信息够时直接填可执行的确认卡字段并 ready=true，不要用「请从 A/B/C/D 风格里选」代替验收标准。
+2. 维护确认卡字段（仍用确认卡字段名，便于前端复用）：
    - goal = 本轮要改什么（具体可执行）
    - outOfScope = 本轮不要动什么
    - acceptance = 怎么算改好了（可检查：打开/看到/命令通过）
    - assumptions = 用户不满意的原因 / 背景摘要
-3. 四块够清楚且可执行时 ready=true（确认前系统会自动校验）。
+   - deviceMatrix / criticalPaths / exceptionCases = 若本轮改动触及联调范围则更新；否则可沿用或写「同基线」
+   - apiContract = 若触及接口则更新路径，或写「本模块无 HTTP API」/「同基线」
+3. 字段够清楚且可执行时 ready=true（确认前系统会自动校验）。缺基线/契约字段时先填合理默认或用 options 点选。
 4. 不要写代码。不要立刻派工。不要假设仓库路径。
 5. 只要问题是让用户做选择，必须在 options 填 2～5 个短选项（≤20字）；界面可点选发送。禁止只让用户手打或「请回复数字」。
 6. 输出格式（严格）：
    - 先写对用户说的纯文本（正文不要再列选项清单）
    - 然后单独一行：<<<JSON>>>
    - 再输出 JSON（不要 markdown 围栏）：
-{"goal":"...","outOfScope":"...","acceptance":"...","assumptions":"...","ready":false,"options":["可选A","可选B"]}`;
+{"goal":"...","outOfScope":"...","acceptance":"...","assumptions":"...","deviceMatrix":"...","criticalPaths":"...","exceptionCases":"...","apiContract":"...","ready":false,"options":["可选A","可选B"]}`;
 
 const ARCHITECTURE_CHAT_PROMPT = `你是「Duaer-spec FDE」架构助手。需求已确认。通过多轮对话设计系统架构图，供数字员工按图开发。系统会把 JSON 自动渲染成图，用户看不到原始 JSON。
 
@@ -805,23 +819,25 @@ const ACCEPT_PROMPT = `你是「Duaer-spec FDE」需求验收官。用户即将
 2. acceptance 是否可客观检查：必须写清「打开/看到/点击/返回/命令通过/接口返回」等可核对结果；禁止仅「更好用 / 更好看 / nicer / looks better」这类空话
 3. outOfScope 是否划清边界（可简短）
 4. assumptions 是否合理、不偷换目标
-5. 按该验收标准做完后，用户是否有理由满意（成品可核对，而非过程叙事）
+5. deviceMatrix / criticalPaths / exceptionCases 是否已填且具体（禁止空；deviceMatrix 禁止只写「主流浏览器」；exceptionCases 必须覆盖空态、失败、权限不足、超时、重试；有接口时还要错误码或 HTTP status）
+6. apiContract 是否已填：OpenAPI/类型等路径，或明确「本模块无 HTTP API」（禁止空）
+7. 按该验收标准做完后，用户是否有理由满意（成品可核对，而非过程叙事）
 
 规则：
-- 若小改即可通过：修订四块（尤其把 acceptance 改成可检查句子），passed=true
+- 若小改即可通过：修订确认卡字段（尤其把 acceptance 改成可检查句子，并补全基线与契约），passed=true
 - 若缺关键信息：passed=false，issues 列出缺什么（中文，短句）
 - 不要写代码。不要假设仓库路径。不要催派工。
 - 只输出一个 JSON，不要 markdown 围栏：
-{"passed":false,"summary":"一句话结论","issues":["问题1"],"goal":"...","outOfScope":"...","acceptance":"...","assumptions":"..."}`;
+{"passed":false,"summary":"一句话结论","issues":["问题1"],"goal":"...","outOfScope":"...","acceptance":"...","assumptions":"...","deviceMatrix":"...","criticalPaths":"...","exceptionCases":"...","apiContract":"..."}`;
 
-const FIX_ACCEPT_PROMPT = `你是「Duaer-spec FDE」需求修正助手。自动验收未通过，请根据 issues 修订确认卡四块。优先把 acceptance 改成可客观检查的句子（打开何处、看到什么、哪条命令通过），不要编造用户没提过的大功能。
+const FIX_ACCEPT_PROMPT = `你是「Duaer-spec FDE」需求修正助手。自动验收未通过，请根据 issues 修订确认卡。优先把 acceptance 改成可客观检查的句子（打开何处、看到什么、哪条命令通过），并补全 deviceMatrix / criticalPaths / exceptionCases / apiContract；不要编造用户没提过的大功能。
 
 规则：
-1. 针对每条 issue 修改 goal / outOfScope / acceptance / assumptions
-2. 保持用户原意；缺信息时写合理、可检查的默认假设，并写进 assumptions
+1. 针对每条 issue 修改 goal / outOfScope / acceptance / assumptions / deviceMatrix / criticalPaths / exceptionCases / apiContract
+2. 保持用户原意；缺信息时写合理、可检查的默认（如 Chrome 最近两版；主路径对齐 goal；异常态须同时写上空态、失败、权限不足、超时、重试，有接口则补错误码；无接口则写「本模块无 HTTP API」），并写进 assumptions
 3. 不要写代码。不要假设仓库路径。
 4. 只输出一个 JSON，不要 markdown 围栏：
-{"summary":"一句话说明改了什么","goal":"...","outOfScope":"...","acceptance":"...","assumptions":"..."}`;
+{"summary":"一句话说明改了什么","goal":"...","outOfScope":"...","acceptance":"...","assumptions":"...","deviceMatrix":"...","criticalPaths":"...","exceptionCases":"...","apiContract":"..."}`;
 
 const BUG_ACCEPT_PROMPT = `你是「Duaer-spec FDE」缺陷验收官。用户即将锁定缺陷卡（尚未派工）。目标是：规范缺陷描述，使数字员工能复现、修复并回归。
 
@@ -1093,6 +1109,10 @@ function parseChatResult(content) {
               outOfScope: flat(m.outOfScope ?? m.card?.outOfScope),
               acceptance: flat(m.acceptance ?? m.card?.acceptance),
               assumptions: flat(m.assumptions ?? m.card?.assumptions),
+              deviceMatrix: flat(m.deviceMatrix ?? m.card?.deviceMatrix),
+              criticalPaths: flat(m.criticalPaths ?? m.card?.criticalPaths),
+              exceptionCases: flat(m.exceptionCases ?? m.card?.exceptionCases),
+              apiContract: flat(m.apiContract ?? m.card?.apiContract),
               dependsOn: Array.isArray(m.dependsOn)
                 ? m.dependsOn.map((x) => flat(x)).filter(Boolean).slice(0, 20)
                 : [],
@@ -1107,6 +1127,10 @@ function parseChatResult(content) {
       outOfScope: flat(obj.outOfScope),
       acceptance: flat(obj.acceptance),
       assumptions: flat(obj.assumptions),
+      deviceMatrix: flat(obj.deviceMatrix),
+      criticalPaths: flat(obj.criticalPaths),
+      exceptionCases: flat(obj.exceptionCases),
+      apiContract: flat(obj.apiContract),
       ready: Boolean(obj.ready),
       activeModuleId: flat(obj.activeModuleId) || undefined,
       modules,
@@ -1125,6 +1149,10 @@ function parseChatResult(content) {
       outOfScope: "",
       acceptance: "",
       assumptions: "",
+      deviceMatrix: "",
+      criticalPaths: "",
+      exceptionCases: "",
+      apiContract: "",
       ready: false,
       options: [],
     };
@@ -1140,6 +1168,10 @@ function chatDoneSsePayload(parsed, { includeJsonBlock = true } = {}) {
     outOfScope: String(parsed?.outOfScope || ""),
     acceptance: String(parsed?.acceptance || ""),
     assumptions: String(parsed?.assumptions || ""),
+    deviceMatrix: String(parsed?.deviceMatrix || ""),
+    criticalPaths: String(parsed?.criticalPaths || ""),
+    exceptionCases: String(parsed?.exceptionCases || ""),
+    apiContract: String(parsed?.apiContract || ""),
     ready: Boolean(parsed?.ready),
     activeModuleId: parsed?.activeModuleId
       ? String(parsed.activeModuleId).slice(0, 80)
@@ -1153,6 +1185,10 @@ function chatDoneSsePayload(parsed, { includeJsonBlock = true } = {}) {
           outOfScope: String(m.outOfScope || "").slice(0, 4000),
           acceptance: String(m.acceptance || "").slice(0, 4000),
           assumptions: String(m.assumptions || "").slice(0, 4000),
+          deviceMatrix: String(m.deviceMatrix || "").slice(0, 4000),
+          criticalPaths: String(m.criticalPaths || "").slice(0, 4000),
+          exceptionCases: String(m.exceptionCases || "").slice(0, 4000),
+          apiContract: String(m.apiContract || "").slice(0, 4000),
           dependsOn: Array.isArray(m.dependsOn)
             ? m.dependsOn.map(String).slice(0, 20)
             : [],
@@ -1312,6 +1348,10 @@ function parseAcceptResult(content, fallback) {
     outOfScope: pick("outOfScope"),
     acceptance: pick("acceptance"),
     assumptions: pick("assumptions"),
+    deviceMatrix: pick("deviceMatrix"),
+    criticalPaths: pick("criticalPaths"),
+    exceptionCases: pick("exceptionCases"),
+    apiContract: pick("apiContract"),
   };
 }
 
@@ -1352,6 +1392,38 @@ function localAcceptCheck(card, { kind = "feature" } = {}) {
       `${acceptLabel}须可客观检查（打开/看到/点击/命令通过等），避免无法核对的形容词`,
     );
   }
+  if (kind !== "bug") {
+    const deviceMatrix = String(card.deviceMatrix || "").trim();
+    const criticalPaths = String(card.criticalPaths || "").trim();
+    const exceptionCases = String(card.exceptionCases || "").trim();
+    if (deviceMatrix.length < 4) {
+      issues.push("「浏览器/设备矩阵」必填（如 Chrome 最近两版 / 手机 Safari）");
+    }
+    if (criticalPaths.length < 4) {
+      issues.push("「关键路径」必填（联调必须覆盖的主路径）");
+    }
+    if (exceptionCases.length < 4 || missingUatCases(exceptionCases).length) {
+      const missing = missingUatCases(exceptionCases);
+      issues.push(
+        missing.length
+          ? `「异常态」未覆盖 UAT：${missing.join("、")}（须含空态、失败、权限不足、超时、重试）`
+          : "「异常态」必填，须覆盖空态、失败、权限不足、超时、重试",
+      );
+    } else if (
+      apiContractIsFilled(card.apiContract) &&
+      !apiContractDeclaresNoHttp(card.apiContract) &&
+      !uatMentionsErrorCode(exceptionCases)
+    ) {
+      issues.push(
+        "「异常态」须与接口契约错误码对齐（写出错误码或 HTTP status）",
+      );
+    }
+    if (!apiContractIsFilled(card.apiContract)) {
+      issues.push(
+        "「接口契约」必填（OpenAPI/类型路径，或写「本模块无 HTTP API」）",
+      );
+    }
+  }
   return issues;
 }
 
@@ -1366,6 +1438,10 @@ async function autoAcceptCard(cfg, card, { kind = "feature", projectContext = nu
       outOfScope: card.outOfScope,
       acceptance: card.acceptance,
       assumptions: card.assumptions,
+      deviceMatrix: card.deviceMatrix,
+      criticalPaths: card.criticalPaths,
+      exceptionCases: card.exceptionCases,
+      apiContract: card.apiContract,
     };
   }
   const ctxNote =
@@ -1392,6 +1468,10 @@ async function validateCardOnly(cfg, card, { kind = "feature", projectContext =
     outOfScope: String(card.outOfScope || "").trim(),
     acceptance: String(card.acceptance || "").trim(),
     assumptions: String(card.assumptions || "").trim(),
+    deviceMatrix: String(card.deviceMatrix || "").trim(),
+    criticalPaths: String(card.criticalPaths || "").trim(),
+    exceptionCases: String(card.exceptionCases || "").trim(),
+    apiContract: String(card.apiContract || "").trim(),
   };
   if (kind === "bug" && projectContext) {
     normalized = {
@@ -1446,6 +1526,10 @@ async function validateCardOnly(cfg, card, { kind = "feature", projectContext =
     outOfScope: review.outOfScope || normalized.outOfScope,
     acceptance: review.acceptance || normalized.acceptance,
     assumptions,
+    deviceMatrix: review.deviceMatrix || normalized.deviceMatrix,
+    criticalPaths: review.criticalPaths || normalized.criticalPaths,
+    exceptionCases: review.exceptionCases || normalized.exceptionCases,
+    apiContract: review.apiContract || normalized.apiContract,
   };
 }
 
@@ -1489,6 +1573,10 @@ async function autoFixConfirmCard(cfg, card, issues, { kind = "feature", project
     outOfScope: String(obj.outOfScope || card.outOfScope || "").trim(),
     acceptance: String(obj.acceptance || card.acceptance || "").trim(),
     assumptions,
+    deviceMatrix: String(obj.deviceMatrix || card.deviceMatrix || "").trim(),
+    criticalPaths: String(obj.criticalPaths || card.criticalPaths || "").trim(),
+    exceptionCases: String(obj.exceptionCases || card.exceptionCases || "").trim(),
+    apiContract: String(obj.apiContract || card.apiContract || "").trim(),
   };
 }
 
@@ -6292,12 +6380,16 @@ async function handleApi(req, res) {
     }
     try {
       const body = await readJson(req);
-      const card = {
-        goal: String(body.goal || body.change || "").trim(),
-        outOfScope: String(body.outOfScope || body.keep || "").trim(),
-        acceptance: String(body.acceptance || "").trim(),
-        assumptions: String(body.assumptions || body.reason || "").trim(),
-      };
+      const card = clipCard({
+        goal: body.goal || body.change,
+        outOfScope: body.outOfScope || body.keep,
+        acceptance: body.acceptance,
+        assumptions: body.assumptions || body.reason,
+        deviceMatrix: body.deviceMatrix,
+        criticalPaths: body.criticalPaths,
+        exceptionCases: body.exceptionCases,
+        apiContract: body.apiContract,
+      });
       const deskKind =
         String(body.deskKind || body.kind || "").trim() === "bug"
           ? "bug"
@@ -6319,12 +6411,7 @@ async function handleApi(req, res) {
         passed: review.passed,
         summary: review.summary,
         issues: review.issues,
-        card: {
-          goal: review.goal,
-          outOfScope: review.outOfScope,
-          acceptance: review.acceptance,
-          assumptions: review.assumptions,
-        },
+        card: clipCard(review),
         error: review.passed ? undefined : review.summary || "自动验收未通过",
       });
     } catch (err) {
@@ -6346,12 +6433,16 @@ async function handleApi(req, res) {
     }
     try {
       const body = await readJson(req);
-      const card = {
-        goal: String(body.goal || body.change || "").trim(),
-        outOfScope: String(body.outOfScope || body.keep || "").trim(),
-        acceptance: String(body.acceptance || "").trim(),
-        assumptions: String(body.assumptions || body.reason || "").trim(),
-      };
+      const card = clipCard({
+        goal: body.goal || body.change,
+        outOfScope: body.outOfScope || body.keep,
+        acceptance: body.acceptance,
+        assumptions: body.assumptions || body.reason,
+        deviceMatrix: body.deviceMatrix,
+        criticalPaths: body.criticalPaths,
+        exceptionCases: body.exceptionCases,
+        apiContract: body.apiContract,
+      });
       const issues = Array.isArray(body.issues) ? body.issues : [];
       const deskKind =
         String(body.deskKind || body.kind || "").trim() === "bug"
@@ -6381,12 +6472,7 @@ async function handleApi(req, res) {
         fixSummary: fixed.summary,
         summary: review.summary,
         issues: review.issues,
-        card: {
-          goal: review.goal,
-          outOfScope: review.outOfScope,
-          acceptance: review.acceptance,
-          assumptions: review.assumptions,
-        },
+        card: clipCard(review),
         error: review.passed ? undefined : review.summary || "自动验收未通过",
       });
     } catch (err) {
@@ -6408,12 +6494,16 @@ async function handleApi(req, res) {
     }
     try {
       const body = await readJson(req);
-      const card = {
-        goal: String(body.goal || "").trim(),
-        outOfScope: String(body.outOfScope || "").trim(),
-        acceptance: String(body.acceptance || "").trim(),
-        assumptions: String(body.assumptions || "").trim(),
-      };
+      const card = clipCard({
+        goal: body.goal,
+        outOfScope: body.outOfScope,
+        acceptance: body.acceptance,
+        assumptions: body.assumptions,
+        deviceMatrix: body.deviceMatrix,
+        criticalPaths: body.criticalPaths,
+        exceptionCases: body.exceptionCases,
+        apiContract: body.apiContract,
+      });
       if (!card.goal || !card.acceptance) {
         send(res, 400, { error: "goal and acceptance are required" });
         return;
@@ -6441,21 +6531,11 @@ async function handleApi(req, res) {
           error: review.summary || "自动验收未通过",
           summary: review.summary,
           issues: review.issues,
-          card: {
-            goal: review.goal,
-            outOfScope: review.outOfScope,
-            acceptance: review.acceptance,
-            assumptions: review.assumptions,
-          },
+          card: clipCard(review),
         });
         return;
       }
-      const acceptedCard = {
-        goal: review.goal,
-        outOfScope: review.outOfScope,
-        acceptance: review.acceptance,
-        assumptions: review.assumptions,
-      };
+      const acceptedCard = clipCard(review);
       const incomingModules = Array.isArray(body.modules) ? body.modules : [];
       const moduleId =
         deskKind === "bug"
@@ -6523,12 +6603,16 @@ async function handleApi(req, res) {
     }
     try {
       const body = await readJson(req);
-      const card = {
-        goal: String(body.goal || "").trim(),
-        outOfScope: String(body.outOfScope || "").trim(),
-        acceptance: String(body.acceptance || "").trim(),
-        assumptions: String(body.assumptions || "").trim(),
-      };
+      const card = clipCard({
+        goal: body.goal,
+        outOfScope: body.outOfScope,
+        acceptance: body.acceptance,
+        assumptions: body.assumptions,
+        deviceMatrix: body.deviceMatrix,
+        criticalPaths: body.criticalPaths,
+        exceptionCases: body.exceptionCases,
+        apiContract: body.apiContract,
+      });
       const issues = Array.isArray(body.issues) ? body.issues : [];
       if (!card.goal && !card.acceptance) {
         send(res, 400, { error: "确认卡为空，无法修正" });
@@ -6565,21 +6649,11 @@ async function handleApi(req, res) {
           summary: review.summary,
           fixSummary: fixed.summary,
           issues: review.issues,
-          card: {
-            goal: review.goal,
-            outOfScope: review.outOfScope,
-            acceptance: review.acceptance,
-            assumptions: review.assumptions,
-          },
+          card: clipCard(review),
         });
         return;
       }
-      const acceptedCard = {
-        goal: review.goal,
-        outOfScope: review.outOfScope,
-        acceptance: review.acceptance,
-        assumptions: review.assumptions,
-      };
+      const acceptedCard = clipCard(review);
       const incomingModules = Array.isArray(body.modules) ? body.modules : [];
       const moduleId =
         deskKind === "bug"
@@ -6778,6 +6852,16 @@ async function handleApi(req, res) {
   if (req.method === "POST" && url.pathname === "/api/dispatch") {
     try {
       const body = await readJson(req);
+      const modules = Array.isArray(body.modules) ? body.modules : [];
+      const baseline = clipBaseline(body.baseline);
+      if (!baselineIsValid(baseline, modules)) {
+        send(res, 422, {
+          error:
+            "范围+验收基线未签署或已过期；签署后才能写入 Brief 并启动（FDE-01）",
+          code: "BASELINE_REQUIRED",
+        });
+        return;
+      }
       const result = dispatchToRepo({
         jobId: body.jobId,
         repoPath: body.repoPath,

package/bin/live-archify.mjs

@@ -363,6 +363,79 @@ export function repairArchitectureGeometry(ir) {
   return ir;
 }
 
+/**
+ * Detour long same-row edges that would pass through unrelated components.
+ * Archify clean-flow rejects those as edge-through-node.
+ * @param {object} ir
+ */
+export function routeCrossingEdges(ir) {
+  if (!ir || typeof ir !== "object") return ir;
+  const components = Array.isArray(ir.components) ? ir.components : [];
+  const connections = Array.isArray(ir.connections) ? ir.connections : [];
+  if (components.length < 3 || !connections.length) return ir;
+
+  const byId = new Map();
+  for (const c of components) {
+    if (!c?.id || !hasFinitePos(c)) continue;
+    const w = hasFiniteSize(c) ? c.size[0] : 140;
+    const h = hasFiniteSize(c) ? c.size[1] : 64;
+    byId.set(c.id, {
+      id: c.id,
+      x: c.pos[0],
+      y: c.pos[1],
+      w,
+      h,
+      cx: c.pos[0] + w / 2,
+      cy: c.pos[1] + h / 2,
+      bottom: c.pos[1] + h,
+      top: c.pos[1],
+    });
+  }
+  if (byId.size < 3) return ir;
+
+  let floorY = 0;
+  for (const b of byId.values()) floorY = Math.max(floorY, b.bottom);
+  let detourIndex = 0;
+
+  for (const e of connections) {
+    if (!e || typeof e !== "object") continue;
+    if (Array.isArray(e.via) && e.via.length) continue;
+    const a = byId.get(e.from);
+    const b = byId.get(e.to);
+    if (!a || !b) continue;
+    const span = Math.abs(a.cx - b.cx);
+    if (span < 160) continue;
+
+    const minX = Math.min(a.cx, b.cx);
+    const maxX = Math.max(a.cx, b.cx);
+    const bandTop = Math.min(a.top, b.top) - 12;
+    const bandBot = Math.max(a.bottom, b.bottom) + 12;
+    let blocked = false;
+    for (const other of byId.values()) {
+      if (other.id === a.id || other.id === b.id) continue;
+      if (other.x + other.w <= minX + 12 || other.x >= maxX - 12) continue;
+      if (other.y < bandBot && other.y + other.h > bandTop) {
+        blocked = true;
+        break;
+      }
+    }
+    if (!blocked) continue;
+
+    const viaY = floorY + 48 + detourIndex * 28;
+    detourIndex += 1;
+    e.fromSide = "bottom";
+    e.toSide = "bottom";
+    e.via = [
+      [Math.round(a.cx), Math.round(viaY)],
+      [Math.round(b.cx), Math.round(viaY)],
+    ];
+    if (e.label && e.labelAt == null && e.labelDy == null) {
+      e.labelDy = -28;
+    }
+  }
+  return ir;
+}
+
 function recomputeViewBox(ir) {
   const components = ir.components || [];
   let maxX = 320;
@@ -374,6 +447,15 @@ function recomputeViewBox(ir) {
     maxX = Math.max(maxX, c.pos[0] + w + 48);
     maxY = Math.max(maxY, c.pos[1] + h + 160);
   }
+  for (const e of ir.connections || []) {
+    if (!Array.isArray(e?.via)) continue;
+    for (const pt of e.via) {
+      if (!Array.isArray(pt) || pt.length < 2) continue;
+      if (!Number.isFinite(pt[0]) || !Number.isFinite(pt[1])) continue;
+      maxX = Math.max(maxX, pt[0] + 48);
+      maxY = Math.max(maxY, pt[1] + 80);
+    }
+  }
   ir.meta.viewBox = [maxX, maxY];
 }
 
@@ -394,6 +476,7 @@ export function layoutArchitectureIr(raw) {
       if (!hasFiniteSize(c)) c.size = [140, 64];
     }
     repairArchitectureGeometry(ir);
+    routeCrossingEdges(ir);
     recomputeViewBox(ir);
     return ir;
   }
@@ -462,11 +545,13 @@ export function layoutArchitectureIr(raw) {
     });
   }
   repairArchitectureGeometry(ir);
+  routeCrossingEdges(ir);
   const maxX = originX + (layers.length || 1) * colW + 80;
   ir.meta.viewBox = [
     Math.max(320, maxX),
     Math.max(240, maxY + 160),
   ];
+  recomputeViewBox(ir);
   return ir;
 }
 

package/bin/live-deliverables.mjs

@@ -214,6 +214,10 @@ function cardBlock(card, labels) {
     [labels.out, c.outOfScope, "chips"],
     [labels.accept, c.acceptance, "list"],
     [labels.assume, c.assumptions, "list"],
+    [labels.device, c.deviceMatrix, "list"],
+    [labels.paths, c.criticalPaths, "list"],
+    [labels.exceptions, c.exceptionCases, "list"],
+    [labels.apiContract, c.apiContract, "list"],
   ].filter(([, v]) => String(v || "").trim());
   if (!rows.length) return `<p class="empty">${esc(labels.emptyCard)}</p>`;
   return `<dl class="card-dl">${rows
@@ -386,6 +390,17 @@ export function buildDeliverablesModel(session, opts = {}) {
             card: m.card || {},
           })),
         },
+        {
+          id: "req-baseline",
+          title: pickLang(lang, {
+            en: "Scope + acceptance baseline",
+            ja: "範囲・受入ベースライン",
+            zh: "范围+验收基线",
+          }),
+          kind: "baseline",
+          ready: Boolean(s.baseline?.signedAt && s.baseline?.signer),
+          baseline: s.baseline || null,
+        },
       ],
     },
     {
@@ -559,6 +574,11 @@ function labelsFor(lang) {
       out: "Out of scope",
       accept: "Acceptance",
       assume: "Assumptions",
+      device: "Browser / device matrix",
+      paths: "Critical paths",
+      exceptions: "Exception cases",
+      apiContract: "API contract",
+      baseline: "Baseline sign-off",
       statusDone: "Ready",
       statusPartial: "In progress",
       statusEmpty: "Pending",
@@ -590,6 +610,11 @@ function labelsFor(lang) {
       out: "対象外",
       accept: "受入基準",
       assume: "前提",
+      device: "ブラウザ/端末",
+      paths: "重要パス",
+      exceptions: "異常系",
+      apiContract: "API契約",
+      baseline: "ベースライン署名",
       statusDone: "完了",
       statusPartial: "進行中",
       statusEmpty: "未着手",
@@ -620,6 +645,11 @@ function labelsFor(lang) {
     out: "不做",
     accept: "验收标准",
     assume: "假设",
+    device: "浏览器/设备矩阵",
+    paths: "关键路径",
+    exceptions: "异常态",
+    apiContract: "接口契约",
+    baseline: "基线签署",
     statusDone: "已产出",
     statusPartial: "进行中",
     statusEmpty: "未开始",
@@ -691,6 +721,29 @@ function renderArtifact(art, L, lang) {
     <thead><tr><th>#</th><th>${esc(L.module)}</th><th></th><th></th></tr></thead>
     <tbody>${rows}</tbody>
   </table>
+</article>`;
+  }
+  if (art.kind === "baseline") {
+    const b = art.baseline && typeof art.baseline === "object" ? art.baseline : {};
+    if (!b.signedAt || !b.signer) {
+      return `<article class="artifact" id="${artId}"><h3>${esc(art.title)}</h3><p class="empty">${esc(L.emptyCard)}</p></article>`;
+    }
+    const changes = Array.isArray(b.changes) ? b.changes : [];
+    const changeHtml = changes.length
+      ? `<ul class="baseline-changes">${changes
+          .map(
+            (c) =>
+              `<li><time>${esc(fmtAt(c.at, lang))}</time> — ${esc(c.reason || "")}${c.signer ? ` (${esc(c.signer)})` : ""}</li>`,
+          )
+          .join("")}</ul>`
+      : "";
+    return `<article class="artifact" id="${artId}">
+  <h3>${esc(art.title)}</h3>
+  <p class="eyebrow">${esc(L.baseline)}</p>
+  <dl class="card-dl">
+    <div class="card-row"><dt>${esc(L.baseline)}</dt><dd><p class="struct-p">${esc(b.signer)} · ${esc(fmtAt(b.signedAt, lang))}</p></dd></div>
+  </dl>
+  ${changeHtml}
 </article>`;
   }
   if (art.kind === "architecture") {