@xenonbyte/da-vinci-workflow 0.2.4 → 0.2.5

package/docs/dv-command-reference.md

@@ -66,9 +66,21 @@ These commands do not replace route selection, but they support design execution
 - `da-vinci generate-sidecars --project <path> [--change <id>] [--json]`
   - explicitly generates deterministic planning sidecars: `spec.index.json`, `tasks.index.json`, `page-map.index.json`, `bindings.index.json`
   - this is the only write surface for planning sidecars; lint/status/verify surfaces should not silently rewrite them
-- `da-vinci verify-bindings|verify-implementation|verify-structure|verify-coverage --project <path> [--change <id>] [--strict] [--json]`
-  - verifies code landings, planned-state implementation evidence, and structural consistency against bindings
-  - `verify-structure` reports whether checks used markup-backed analysis or heuristic fallback and exposes confidence
+- `da-vinci verify-bindings --project <path> [--change <id>] [--strict] [--json]`
+  - validates implementation landing resolution from `pencil-bindings.md`
+- `da-vinci verify-implementation --project <path> [--change <id>] [--changed-files <csv>] [--strict] [--json]`
+  - verifies planned-state/task-group implementation evidence with per-check `mode` + `confidence` metadata
+  - JS/TS checks are syntax-aware and do not count comment-only or string-literal-only matches as normal coverage
+  - when `--changed-files` is used, the run is explicit incremental scope (partial semantics) and reports selected/scanned/filtered file counts
+- `da-vinci verify-structure --project <path> [--change <id>] [--changed-files <csv>] [--strict] [--json]`
+  - verifies structural consistency against bindings and reports `markup` vs `heuristic` confidence surfaces
+  - when `--changed-files` is used, unmatched or irrelevant entries stay visible instead of silently widening to full scan
+- `da-vinci verify-coverage --project <path> [--change <id>] [--changed-files <csv>] [--strict] [--json]`
+  - aggregates upstream verification surfaces and marks incremental upstream results as partial freshness
+- `da-vinci scaffold --project <path> [--change <id>] [--output <path>] [--json]`
+  - generates reviewable TODO scaffold templates with framework-aware shape (`next`/`react`/`vue`/`svelte`/`html`)
+  - keeps known implementation landing extension/route shape when a concrete landing already exists
+  - unknown/ambiguous framework detection falls back to HTML with explicit warning; traversal/output-root safety remains enforced
 - `da-vinci task-execution --project <path> --change <id> --task-group <id> --status <DONE|DONE_WITH_CONCERNS|NEEDS_CONTEXT|BLOCKED> --summary <text> [--changed-files <csv>] [--test-evidence <csv>] [--concerns <csv>] [--blockers <csv>] [--json]`
   - persists normalized implementer-status envelopes into execution signals
   - use this to keep resume routing machine-readable when implementation is blocked or concerns remain

package/docs/prompt-entrypoints.md

@@ -71,6 +71,7 @@ Continuation precedence:
 - run `da-vinci scope-check --project <path> [--change <id>]` when page or state propagation across planning artifacts is uncertain
 - run `da-vinci lint-tasks --project <path> [--change <id>]` before routing into `build` when task metadata quality is uncertain
 - run `da-vinci verify-bindings --project <path> [--change <id>]` and `da-vinci verify-coverage --project <path> [--change <id>]` before terminal completion routing
+- if using `--changed-files` with `verify-implementation`/`verify-structure`/`verify-coverage`, treat results as explicit incremental partial evidence, not full-project freshness
 - run `da-vinci diff-spec --project <path> [--change <id>]` after planning edits when continuation must reason about changed requirement slices
 - determine routing from artifact and checkpoint truth first
 - use contextual checkpoint deltas only as auxiliary recovery context

package/docs/skill-contract-maintenance.md

@@ -0,0 +1,14 @@
+# SKILL Contract Maintenance
+
+Use this policy when editing workflow guidance:
+
+1. Keep invariant route/execution truth in `SKILL.md` only.
+2. Keep stage-specific procedure in one owned reference file.
+3. Ensure `SKILL.md` `Load References On Demand` map points to that owner.
+4. Avoid duplicate prose across `SKILL.md`, `references/`, and generated command assets unless tests explicitly require duplication.
+5. Update `references/skill-workflow-detail.md` move map when relocating sections.
+
+Boundary rule:
+
+- If a rule changes workflow truth, route semantics, or execution policy, edit core.
+- If a rule is tactical for one stage (design/build/review/scaffold), edit reference docs.

package/docs/zh-CN/dv-command-reference.md

@@ -68,9 +68,21 @@ Da Vinci 期望它们遵循工作流状态。
 - `da-vinci generate-sidecars --project <path> [--change <id>] [--json]`
   - 显式生成确定性的 planning sidecars：`spec.index.json`、`tasks.index.json`、`page-map.index.json`、`bindings.index.json`
   - sidecar 只允许通过这个命令写入；lint/status/verify 不应静默重写
-- `da-vinci verify-bindings|verify-implementation|verify-structure|verify-coverage --project <path> [--change <id>] [--strict] [--json]`
-  - 校验代码落点、计划状态实现证据、以及绑定驱动的结构一致性
-  - `verify-structure` 会明确报告是 markup-backed 还是 heuristic fallback，并给出置信度
+- `da-vinci verify-bindings --project <path> [--change <id>] [--strict] [--json]`
+  - 校验 `pencil-bindings.md` 的实现落点能否被正确解析
+- `da-vinci verify-implementation --project <path> [--change <id>] [--changed-files <csv>] [--strict] [--json]`
+  - 以每个检查项的 `mode` + `confidence` 证据模型校验状态/任务组实现覆盖
+  - JS/TS 会走语法感知检查，不把“仅注释命中”或“仅字符串字面量命中”当作正常覆盖
+  - 使用 `--changed-files` 时会进入显式增量模式（partial 语义），并输出 selected/scanned/filtered 统计
+- `da-vinci verify-structure --project <path> [--change <id>] [--changed-files <csv>] [--strict] [--json]`
+  - 校验 bindings 驱动的结构一致性，并显式报告 `markup`/`heuristic` 置信度
+  - 使用 `--changed-files` 时，不相关条目会被显式报告，不会静默扩展成全量扫描
+- `da-vinci verify-coverage --project <path> [--change <id>] [--changed-files <csv>] [--strict] [--json]`
+  - 聚合上游 verify surface，并在上游是增量验证时明确标记 partial freshness
+- `da-vinci scaffold --project <path> [--change <id>] [--output <path>] [--json]`
+  - 生成 framework-aware 的 TODO 可审查骨架（`next`/`react`/`vue`/`svelte`/`html`）
+  - 若已存在明确实现落点，会优先保留该落点的扩展名与路由形状
+  - 框架未知或冲突时显式告警并回退 HTML；同时继续严格执行 traversal/output-root 安全约束
 - `da-vinci task-execution --project <path> --change <id> --task-group <id> --status <DONE|DONE_WITH_CONCERNS|NEEDS_CONTEXT|BLOCKED> --summary <text> [--changed-files <csv>] [--test-evidence <csv>] [--concerns <csv>] [--blockers <csv>] [--json]`
   - 持久化结构化 implementer 执行结果包，作为 task 级执行证据
 - `da-vinci task-review --project <path> --change <id> --task-group <id> --stage <spec|quality> --status <PASS|WARN|BLOCK> --summary <text> [--issues <csv>] [--reviewer <name>] [--write-verification] [--json]`

package/docs/zh-CN/prompt-entrypoints.md

@@ -72,6 +72,7 @@
 - 如果页面或状态在规划工件中的传播关系不确定，进入 `build` 前先运行 `da-vinci scope-check --project <path> [--change <id>]`
 - 如果任务拆解质量不确定，进入 `build` 前先运行 `da-vinci lint-tasks --project <path> [--change <id>]`
 - 进入终态前先运行 `da-vinci verify-bindings --project <path> [--change <id>]` 与 `da-vinci verify-coverage --project <path> [--change <id>]`
+- 若在 `verify-implementation`/`verify-structure`/`verify-coverage` 使用 `--changed-files`，要把结果视为显式增量 partial 证据，而不是全量 fresh 验证
 - 当规划切片有改动且需要恢复判断时，运行 `da-vinci diff-spec --project <path> [--change <id>]`
 - 先根据工件和 checkpoint 真相决定路由
 - Context Delta 只用于恢复和解释，不用于覆盖选路

package/lib/cli/helpers.js

@@ -0,0 +1,43 @@
+const { writeExecutionSignal } = require("../execution-signals");
+
+function emitOrThrowOnStatus(status, blockedStatuses, output, continueOnError) {
+  if (!Array.isArray(blockedStatuses) || !blockedStatuses.includes(status)) {
+    return false;
+  }
+  if (continueOnError) {
+    console.log(output);
+    return true;
+  }
+  throw new Error(output);
+}
+
+function persistExecutionSignal(projectPath, changeId, surface, result, strict = false) {
+  try {
+    writeExecutionSignal(projectPath, {
+      changeId: changeId || "global",
+      surface,
+      status: result.status,
+      advisory: strict ? false : true,
+      strict,
+      failures: result.failures || [],
+      warnings: result.warnings || [],
+      notes: result.notes || []
+    });
+  } catch (error) {
+    // Signals are advisory metadata and should not break command execution.
+    const code = error && error.code ? String(error.code).toUpperCase() : "";
+    if (code === "EACCES" || code === "ENOSPC") {
+      return;
+    }
+
+    const message = error && error.message ? error.message : String(error);
+    console.error(
+      `Warning: failed to persist execution signal (${surface}) for change ${changeId || "global"}: ${message}`
+    );
+  }
+}
+
+module.exports = {
+  emitOrThrowOnStatus,
+  persistExecutionSignal
+};

package/lib/cli/lint-family.js

@@ -0,0 +1,56 @@
+function handleLintFamilyCommand(command, context) {
+  const lintCommands = new Set(["lint-spec", "scope-check", "lint-tasks", "lint-bindings"]);
+  if (!lintCommands.has(command)) {
+    return false;
+  }
+
+  const {
+    argv,
+    positionalArgs,
+    continueOnError,
+    getOption,
+    lintRuntimeSpecs,
+    formatLintSpecReport,
+    runScopeCheck,
+    formatScopeCheckReport,
+    lintTasks,
+    formatLintTasksReport,
+    lintBindings,
+    formatLintBindingsReport,
+    emitOrThrowOnStatus,
+    persistExecutionSignal
+  } = context;
+
+  const projectPath = getOption(argv, "--project") || positionalArgs[0] || process.cwd();
+  const changeId = getOption(argv, "--change");
+  const strict = argv.includes("--strict");
+  const useJson = argv.includes("--json");
+
+  let result;
+  let output = "";
+  let surface = command;
+  if (command === "lint-spec") {
+    result = lintRuntimeSpecs(projectPath, { changeId, strict });
+    output = useJson ? JSON.stringify(result, null, 2) : formatLintSpecReport(result);
+  } else if (command === "scope-check") {
+    result = runScopeCheck(projectPath, { changeId, strict });
+    output = useJson ? JSON.stringify(result, null, 2) : formatScopeCheckReport(result);
+  } else if (command === "lint-tasks") {
+    result = lintTasks(projectPath, { changeId, strict });
+    output = useJson ? JSON.stringify(result, null, 2) : formatLintTasksReport(result);
+  } else {
+    result = lintBindings(projectPath, { changeId, strict });
+    output = useJson ? JSON.stringify(result, null, 2) : formatLintBindingsReport(result);
+  }
+
+  persistExecutionSignal(projectPath, result.changeId || changeId, surface, result, strict);
+  if (emitOrThrowOnStatus(result.status, ["BLOCK"], output, continueOnError)) {
+    return true;
+  }
+  console.log(output);
+  return true;
+}
+
+module.exports = {
+  handleLintFamilyCommand
+};

package/lib/cli/verify-family.js

@@ -0,0 +1,79 @@
+function handleVerifyFamilyCommand(command, context) {
+  const verifyCommands = new Set([
+    "verify-bindings",
+    "verify-implementation",
+    "verify-structure",
+    "verify-coverage"
+  ]);
+  if (!verifyCommands.has(command)) {
+    return false;
+  }
+
+  const {
+    argv,
+    positionalArgs,
+    continueOnError,
+    getOption,
+    getCommaSeparatedOptionValues,
+    collectOptionEntries,
+    verifyBindings,
+    verifyImplementation,
+    verifyStructure,
+    verifyCoverage,
+    formatVerifyReport,
+    emitOrThrowOnStatus,
+    persistExecutionSignal
+  } = context;
+
+  const projectPath = getOption(argv, "--project") || positionalArgs[0] || process.cwd();
+  const changeId = getOption(argv, "--change");
+  const strict = argv.includes("--strict");
+  const useJson = argv.includes("--json");
+  const changedFilesProvided = collectOptionEntries(argv, "--changed-files").length > 0;
+  const changedFiles = changedFilesProvided
+    ? getCommaSeparatedOptionValues(argv, "--changed-files")
+    : undefined;
+
+  let result;
+  let title = "Da Vinci verify";
+  if (command === "verify-bindings") {
+    result = verifyBindings(projectPath, { changeId, strict });
+    title = "Da Vinci verify-bindings";
+  } else if (command === "verify-implementation") {
+    result = verifyImplementation(projectPath, {
+      changeId,
+      strict,
+      changedFiles,
+      changedFilesProvided
+    });
+    title = "Da Vinci verify-implementation";
+  } else if (command === "verify-structure") {
+    result = verifyStructure(projectPath, {
+      changeId,
+      strict,
+      changedFiles,
+      changedFilesProvided
+    });
+    title = "Da Vinci verify-structure";
+  } else {
+    result = verifyCoverage(projectPath, {
+      changeId,
+      strict,
+      changedFiles,
+      changedFilesProvided
+    });
+    title = "Da Vinci verify-coverage";
+  }
+
+  persistExecutionSignal(projectPath, result.changeId || changeId, command, result, strict);
+  const output = useJson ? JSON.stringify(result, null, 2) : formatVerifyReport(result, title);
+  if (emitOrThrowOnStatus(result.status, ["BLOCK"], output, continueOnError)) {
+    return true;
+  }
+  console.log(output);
+  return true;
+}
+
+module.exports = {
+  handleVerifyFamilyCommand
+};

package/lib/cli.js

@@ -78,7 +78,9 @@ const {
 } = require("./verify");
 const { diffSpec, formatDiffSpecReport } = require("./diff-spec");
 const { scaffoldFromBindings, formatScaffoldReport } = require("./scaffold");
-const { writeExecutionSignal } = require("./execution-signals");
+const { emitOrThrowOnStatus, persistExecutionSignal } = require("./cli/helpers");
+const { handleVerifyFamilyCommand } = require("./cli/verify-family");
+const { handleLintFamilyCommand } = require("./cli/lint-family");
 const {
   writeTaskExecutionEnvelope,
   formatTaskExecutionReport
@@ -187,7 +189,10 @@ const HELP_OPTION_SPECS = [
   { flag: "--stage <value>", description: "task-review stage: spec or quality" },
   { flag: "--summary <text>", description: "task-execution/task-review summary text" },
   { flag: "--task-group <id>", description: "task group identifier for task-execution/task-review" },
-  { flag: "--changed-files <csv>", description: "comma-separated changed files for task-execution" },
+  {
+    flag: "--changed-files <csv>",
+    description: "comma-separated changed files for verify-implementation/verify-structure/verify-coverage/task-execution"
+  },
   { flag: "--test-evidence <csv>", description: "comma-separated test evidence commands for task-execution" },
   { flag: "--concerns <csv>", description: "comma-separated concern text for task-execution" },
   { flag: "--blockers <csv>", description: "comma-separated blocker text for task-execution" },
@@ -379,17 +384,6 @@ function shouldContinueOnError(args) {
   return Array.isArray(args) && args.includes("--continue-on-error");
 }
 
-function emitOrThrowOnStatus(status, blockedStatuses, output, continueOnError) {
-  if (!Array.isArray(blockedStatuses) || !blockedStatuses.includes(status)) {
-    return false;
-  }
-  if (continueOnError) {
-    console.log(output);
-    return true;
-  }
-  throw new Error(output);
-}
-
 function getIntegerOption(args, name, options = {}) {
   const raw = getOption(args, name);
   if (raw === undefined) {
@@ -477,32 +471,6 @@ function appendStatusIssues(lines, label, missing = [], mismatched = [], unreada
   }
 }
 
-function persistExecutionSignal(projectPath, changeId, surface, result, strict = false) {
-  try {
-    writeExecutionSignal(projectPath, {
-      changeId: changeId || "global",
-      surface,
-      status: result.status,
-      advisory: strict ? false : true,
-      strict,
-      failures: result.failures || [],
-      warnings: result.warnings || [],
-      notes: result.notes || []
-    });
-  } catch (error) {
-    // Signals are advisory metadata and should not break command execution.
-    const code = error && error.code ? String(error.code).toUpperCase() : "";
-    if (code === "EACCES" || code === "ENOSPC") {
-      return;
-    }
-
-    const message = error && error.message ? error.message : String(error);
-    console.error(
-      `Warning: failed to persist execution signal (${surface}) for change ${changeId || "global"}: ${message}`
-    );
-  }
-}
-
 function printHelp() {
   const optionLines = HELP_OPTION_SPECS.map((optionSpec) => {
     const paddedFlag = optionSpec.flag.padEnd(30, " ");
@@ -526,9 +494,9 @@ function printHelp() {
       "  da-vinci lint-bindings [--project <path>] [--change <id>] [--strict] [--json]",
       "  da-vinci generate-sidecars [--project <path>] [--change <id>] [--json]",
       "  da-vinci verify-bindings [--project <path>] [--change <id>] [--strict] [--json]",
-      "  da-vinci verify-implementation [--project <path>] [--change <id>] [--strict] [--json]",
-      "  da-vinci verify-structure [--project <path>] [--change <id>] [--strict] [--json]",
-      "  da-vinci verify-coverage [--project <path>] [--change <id>] [--strict] [--json]",
+      "  da-vinci verify-implementation [--project <path>] [--change <id>] [--changed-files <csv>] [--strict] [--json]",
+      "  da-vinci verify-structure [--project <path>] [--change <id>] [--changed-files <csv>] [--strict] [--json]",
+      "  da-vinci verify-coverage [--project <path>] [--change <id>] [--changed-files <csv>] [--strict] [--json]",
       "  da-vinci task-execution --project <path> --change <id> --task-group <id> --status <DONE|DONE_WITH_CONCERNS|NEEDS_CONTEXT|BLOCKED> --summary <text> [--changed-files <csv>] [--test-evidence <csv>] [--concerns <csv>] [--blockers <csv>] [--json]",
       "  da-vinci task-review --project <path> --change <id> --task-group <id> --stage <spec|quality> --status <PASS|WARN|BLOCK> --summary <text> [--issues <csv>] [--reviewer <name>] [--write-verification] [--json]",
       "  da-vinci worktree-preflight --project <path> [--change <id>] [--json]",
@@ -1056,71 +1024,24 @@ async function runCli(argv) {
     return;
   }
 
-  if (command === "lint-spec") {
-    const projectPath = getOption(argv, "--project") || positionalArgs[0] || process.cwd();
-    const changeId = getOption(argv, "--change");
-    const strict = argv.includes("--strict");
-    const result = lintRuntimeSpecs(projectPath, { changeId, strict });
-    persistExecutionSignal(projectPath, result.changeId || changeId, "lint-spec", result, strict);
-    const useJson = argv.includes("--json");
-    const output = useJson ? JSON.stringify(result, null, 2) : formatLintSpecReport(result);
-
-    if (emitOrThrowOnStatus(result.status, ["BLOCK"], output, continueOnError)) {
-      return;
-    }
-
-    console.log(output);
-    return;
-  }
-
-  if (command === "scope-check") {
-    const projectPath = getOption(argv, "--project") || positionalArgs[0] || process.cwd();
-    const changeId = getOption(argv, "--change");
-    const strict = argv.includes("--strict");
-    const result = runScopeCheck(projectPath, { changeId, strict });
-    persistExecutionSignal(projectPath, result.changeId || changeId, "scope-check", result, strict);
-    const useJson = argv.includes("--json");
-    const output = useJson ? JSON.stringify(result, null, 2) : formatScopeCheckReport(result);
-
-    if (emitOrThrowOnStatus(result.status, ["BLOCK"], output, continueOnError)) {
-      return;
-    }
-
-    console.log(output);
-    return;
-  }
-
-  if (command === "lint-tasks") {
-    const projectPath = getOption(argv, "--project") || positionalArgs[0] || process.cwd();
-    const changeId = getOption(argv, "--change");
-    const strict = argv.includes("--strict");
-    const result = lintTasks(projectPath, { changeId, strict });
-    persistExecutionSignal(projectPath, result.changeId || changeId, "lint-tasks", result, strict);
-    const useJson = argv.includes("--json");
-    const output = useJson ? JSON.stringify(result, null, 2) : formatLintTasksReport(result);
-
-    if (emitOrThrowOnStatus(result.status, ["BLOCK"], output, continueOnError)) {
-      return;
-    }
-
-    console.log(output);
-    return;
-  }
-
-  if (command === "lint-bindings") {
-    const projectPath = getOption(argv, "--project") || positionalArgs[0] || process.cwd();
-    const changeId = getOption(argv, "--change");
-    const strict = argv.includes("--strict");
-    const result = lintBindings(projectPath, { changeId, strict });
-    persistExecutionSignal(projectPath, result.changeId || changeId, "lint-bindings", result, strict);
-    const useJson = argv.includes("--json");
-    const output = useJson ? JSON.stringify(result, null, 2) : formatLintBindingsReport(result);
-
-    if (emitOrThrowOnStatus(result.status, ["BLOCK"], output, continueOnError)) {
-      return;
-    }
-
-    console.log(output);
+  if (
+    handleLintFamilyCommand(command, {
+      argv,
+      positionalArgs,
+      continueOnError,
+      getOption,
+      lintRuntimeSpecs,
+      formatLintSpecReport,
+      runScopeCheck,
+      formatScopeCheckReport,
+      lintTasks,
+      formatLintTasksReport,
+      lintBindings,
+      formatLintBindingsReport,
+      emitOrThrowOnStatus,
+      persistExecutionSignal
+    })
+  ) {
     return;
   }
 
@@ -1140,71 +1061,23 @@ async function runCli(argv) {
     return;
   }
 
-  if (command === "verify-bindings") {
-    const projectPath = getOption(argv, "--project") || positionalArgs[0] || process.cwd();
-    const changeId = getOption(argv, "--change");
-    const strict = argv.includes("--strict");
-    const result = verifyBindings(projectPath, { changeId, strict });
-    persistExecutionSignal(projectPath, result.changeId || changeId, "verify-bindings", result, strict);
-    const useJson = argv.includes("--json");
-    const output = useJson
-      ? JSON.stringify(result, null, 2)
-      : formatVerifyReport(result, "Da Vinci verify-bindings");
-    if (emitOrThrowOnStatus(result.status, ["BLOCK"], output, continueOnError)) {
-      return;
-    }
-    console.log(output);
-    return;
-  }
-
-  if (command === "verify-implementation") {
-    const projectPath = getOption(argv, "--project") || positionalArgs[0] || process.cwd();
-    const changeId = getOption(argv, "--change");
-    const strict = argv.includes("--strict");
-    const result = verifyImplementation(projectPath, { changeId, strict });
-    persistExecutionSignal(projectPath, result.changeId || changeId, "verify-implementation", result, strict);
-    const useJson = argv.includes("--json");
-    const output = useJson
-      ? JSON.stringify(result, null, 2)
-      : formatVerifyReport(result, "Da Vinci verify-implementation");
-    if (emitOrThrowOnStatus(result.status, ["BLOCK"], output, continueOnError)) {
-      return;
-    }
-    console.log(output);
-    return;
-  }
-
-  if (command === "verify-structure") {
-    const projectPath = getOption(argv, "--project") || positionalArgs[0] || process.cwd();
-    const changeId = getOption(argv, "--change");
-    const strict = argv.includes("--strict");
-    const result = verifyStructure(projectPath, { changeId, strict });
-    persistExecutionSignal(projectPath, result.changeId || changeId, "verify-structure", result, strict);
-    const useJson = argv.includes("--json");
-    const output = useJson
-      ? JSON.stringify(result, null, 2)
-      : formatVerifyReport(result, "Da Vinci verify-structure");
-    if (emitOrThrowOnStatus(result.status, ["BLOCK"], output, continueOnError)) {
-      return;
-    }
-    console.log(output);
-    return;
-  }
-
-  if (command === "verify-coverage") {
-    const projectPath = getOption(argv, "--project") || positionalArgs[0] || process.cwd();
-    const changeId = getOption(argv, "--change");
-    const strict = argv.includes("--strict");
-    const result = verifyCoverage(projectPath, { changeId, strict });
-    persistExecutionSignal(projectPath, result.changeId || changeId, "verify-coverage", result, strict);
-    const useJson = argv.includes("--json");
-    const output = useJson
-      ? JSON.stringify(result, null, 2)
-      : formatVerifyReport(result, "Da Vinci verify-coverage");
-    if (emitOrThrowOnStatus(result.status, ["BLOCK"], output, continueOnError)) {
-      return;
-    }
-    console.log(output);
+  if (
+    handleVerifyFamilyCommand(command, {
+      argv,
+      positionalArgs,
+      continueOnError,
+      getOption,
+      getCommaSeparatedOptionValues,
+      collectOptionEntries,
+      verifyBindings,
+      verifyImplementation,
+      verifyStructure,
+      verifyCoverage,
+      formatVerifyReport,
+      emitOrThrowOnStatus,
+      persistExecutionSignal
+    })
+  ) {
     return;
   }
 

package/lib/planning-parsers.js

@@ -66,7 +66,7 @@ function unique(values) {
 }
 
 function resolveImplementationLanding(projectRoot, implementationToken) {
-  const knownExtensions = [".html", ".tsx", ".jsx", ".ts", ".js"];
+  const knownExtensions = [".html", ".tsx", ".jsx", ".ts", ".js", ".vue", ".svelte"];
   const seen = new Set();
   const candidates = [];
   const addCandidate = (relativePath) => {
@@ -93,6 +93,9 @@ function resolveImplementationLanding(projectRoot, implementationToken) {
       addCandidate(path.join(dirPath, `page${extension}`));
     }
   };
+  const addSvelteRoutePageCandidate = (dirPath) => {
+    addCandidate(path.join(dirPath, "+page.svelte"));
+  };
   const resolveFileCandidate = (relativePath) => {
     const absolutePath = path.join(projectRoot, relativePath);
     try {
@@ -118,6 +121,8 @@ function resolveImplementationLanding(projectRoot, implementationToken) {
     addPageCandidates("app");
     addFileCandidates(path.join("src", "app", "page"));
     addPageCandidates(path.join("src", "app"));
+    addSvelteRoutePageCandidate(path.join("src", "routes"));
+    addSvelteRoutePageCandidate("routes");
   } else {
     const routePath = normalized.replace(/^\//, "").replace(/\/+$/, "");
     addFileCandidates(routePath);
@@ -135,6 +140,8 @@ function resolveImplementationLanding(projectRoot, implementationToken) {
     addPageCandidates(path.join("app", routePath));
     addFileCandidates(path.join("src", "app", routePath, "page"));
     addPageCandidates(path.join("src", "app", routePath));
+    addSvelteRoutePageCandidate(path.join("src", "routes", routePath));
+    addSvelteRoutePageCandidate(path.join("routes", routePath));
   }
 
   for (const candidate of candidates) {