@dawipong/opcflow 0.3.0 → 0.5.0

package/README.en.md

@@ -172,7 +172,9 @@ Generated by `init`, hand-edited afterwards — each project's coordinate system
 
 `opcflow serve` serves at `http://127.0.0.1:5620`: the artifact tree (colors update live), markdown /
 mermaid / HTML-prototype iframe / code rendering, the **review-queue diff** (approved version vs.
-current), an event timeline, and live SSE refresh. Approve, reject, and thumbs-up/down prototypes right
+current), the **artifact relation graph** (derived edges + manually declared edges: drag to connect,
+manual edges unbindable, derived edges reconciled by scan; manual edges join invalidation propagation),
+an event timeline, and live SSE refresh. Approve, reject, and thumbs-up/down prototypes right
 here.
 
 ## Scripts

package/README.md

@@ -159,8 +159,9 @@ flowchart LR
 ## 可视化工作台
 
 `opcflow serve` 起在 `http://127.0.0.1:5620`:artifact 树(状态实时变色)、markdown / mermaid / HTML 原型
-iframe / 代码渲染、**待审队列 diff**(approved 版本 vs 当前)、事件时间线、SSE 实时刷新。审批、打回、
-给原型 👍👎 都在这里点。
+iframe / 代码渲染、**待审队列 diff**(approved 版本 vs 当前)、**产出物关系图**(自动推导边 + 手动声明边:
+画布上拖线即声明、手动边可解绑、推导边由 scan 对账维护;手动边同样参与失效传播)、事件时间线、
+SSE 实时刷新。审批、打回、给原型 👍👎 都在这里点。
 
 ## 脚本
 

package/dist/cli.mjs

@@ -279,7 +279,14 @@ CREATE INDEX IF NOT EXISTS idx_events_event ON events(event);
         }
       },
       // 迁移 3:claim 时记录 git HEAD,供 hotfix 契约触碰检测与 trailer 交叉验证
-      { version: 3, up: (db) => db.exec("ALTER TABLE tasks ADD COLUMN claim_commit TEXT") }
+      { version: 3, up: (db) => db.exec("ALTER TABLE tasks ADD COLUMN claim_commit TEXT") },
+      // 迁移 4:边来源(derived=scan 按 parents×坐标推导,对账维护;manual=用户手动声明,可解绑、scan 永不动)
+      {
+        version: 4,
+        up: (db) => db.exec(
+          "ALTER TABLE artifact_edges ADD COLUMN source TEXT NOT NULL DEFAULT 'derived' CHECK (source IN ('derived','manual'))"
+        )
+      }
     ];
     CURRENT_SCHEMA_VERSION = MIGRATIONS[MIGRATIONS.length - 1].version;
   }
@@ -690,6 +697,7 @@ __export(kind_exports, {
   META_KINDS: () => META_KINDS,
   PM_KINDS: () => PM_KINDS,
   contractKinds: () => contractKinds,
+  expandPattern: () => expandPattern,
   getKindRegistry: () => getKindRegistry,
   inferKind: () => inferKind,
   kindSpec: () => kindSpec,
@@ -755,15 +763,15 @@ var init_kind = __esm({
       project: { level: "project", approval: "human", parents: [], drivesStale: true, hashMode: "text-normalize", retrieval: "summary", pathPatterns: ["{prd}/project.md"] },
       roles: { level: "project", approval: "human", parents: ["project"], drivesStale: true, hashMode: "text-normalize", retrieval: "full", pathPatterns: ["{prd}/roles.md"] },
       glossary: { level: "project", approval: "human", parents: ["project"], drivesStale: true, hashMode: "text-normalize", retrieval: "full", pathPatterns: ["{prd}/glossary.md"] },
-      flow: { level: "module", approval: "human", parents: ["project", "roles", "glossary"], drivesStale: true, hashMode: "text-normalize", retrieval: "full", pathPatterns: ["{prd}/flows/"] },
-      "module-prd": { level: "module", approval: "human", parents: ["flow"], drivesStale: true, hashMode: "text-normalize", retrieval: "full", pathPatterns: ["{prd}/modules/"] },
-      "page-prd": { level: "page", approval: "human", parents: ["module-prd"], drivesStale: true, hashMode: "text-normalize", retrieval: "full", pathPatterns: ["{prd}/pages/"] },
-      "db-doc": { level: "module", approval: "human", parents: ["module-prd"], drivesStale: true, hashMode: "text-normalize", retrieval: "full", pathPatterns: ["{architecture}/database/"] },
-      "api-doc": { level: "module", approval: "human", parents: ["module-prd", "db-doc"], drivesStale: true, hashMode: "text-normalize", retrieval: "full", pathPatterns: ["{architecture}/api/"] },
-      "design-system": { level: "endpoint", approval: "human", parents: ["baseline"], drivesStale: true, hashMode: "text-normalize", retrieval: "full", pathPatterns: ["{design}/systems/"] },
-      "design-prompt": { level: "page", approval: "none", parents: ["page-prd", "api-doc", "design-system"], drivesStale: false, hashMode: "text-normalize", retrieval: "summary", pathPatterns: ["{design}/prompts/"] },
-      prototype: { level: "page", approval: "thumbs", parents: ["design-prompt", "design-system"], drivesStale: true, hashMode: "text-normalize", retrieval: "summary", pathPatterns: ["{design}/prototypes/"] },
-      acceptance: { level: "page", approval: "human", parents: ["page-prd", "prototype"], drivesStale: true, hashMode: "text-normalize", retrieval: "full", pathPatterns: ["{acceptance}/"] },
+      flow: { level: "module", approval: "human", parents: ["project", "roles", "glossary"], drivesStale: true, hashMode: "text-normalize", retrieval: "full", pathPatterns: ["{prd}/flows/"], coords: "{module}", defaultEndpoint: "common" },
+      "module-prd": { level: "module", approval: "human", parents: ["flow"], drivesStale: true, hashMode: "text-normalize", retrieval: "full", pathPatterns: ["{prd}/modules/"], coords: "{module}", defaultEndpoint: "common" },
+      "page-prd": { level: "page", approval: "human", parents: ["module-prd"], drivesStale: true, hashMode: "text-normalize", retrieval: "full", pathPatterns: ["{prd}/pages/"], coords: "{endpoint}/{module}/{page}" },
+      "db-doc": { level: "module", approval: "human", parents: ["module-prd"], drivesStale: true, hashMode: "text-normalize", retrieval: "full", pathPatterns: ["{architecture}/database/"], coords: "{module}", defaultEndpoint: "common" },
+      "api-doc": { level: "module", approval: "human", parents: ["module-prd", "db-doc"], drivesStale: true, hashMode: "text-normalize", retrieval: "full", pathPatterns: ["{architecture}/api/"], coords: "{module}", defaultEndpoint: "service" },
+      "design-system": { level: "endpoint", approval: "human", parents: ["baseline"], drivesStale: true, hashMode: "text-normalize", retrieval: "full", pathPatterns: ["{design}/systems/"], coords: "{endpoint}" },
+      "design-prompt": { level: "page", approval: "none", parents: ["page-prd", "api-doc", "design-system"], drivesStale: false, hashMode: "text-normalize", retrieval: "summary", pathPatterns: ["{design}/prompts/"], coords: "{endpoint}/{module}/{page}" },
+      prototype: { level: "page", approval: "thumbs", parents: ["design-prompt", "design-system"], drivesStale: true, hashMode: "text-normalize", retrieval: "summary", pathPatterns: ["{design}/prototypes/"], coords: "{endpoint}/{module}/{page}" },
+      acceptance: { level: "page", approval: "human", parents: ["page-prd", "prototype"], drivesStale: true, hashMode: "text-normalize", retrieval: "full", pathPatterns: ["{acceptance}/"], coords: "{endpoint}/{module}/{page}" },
       code: { level: "module", approval: "machine", parents: ["baseline", "api-doc", "prototype"], drivesStale: false, hashMode: "directory", retrieval: "semantic" },
       doc: { level: "module", approval: "none", parents: [], drivesStale: false, hashMode: "text-normalize", retrieval: "summary" }
     };
@@ -2412,31 +2420,37 @@ import { existsSync as existsSync9, readdirSync as readdirSync4, statSync as sta
 import { join as join10 } from "node:path";
 function parseCoords(ctx, kind, relPath) {
   const none = { module: null, endpoint: null, page: null };
-  const base = (p) => p.split("/").pop().replace(/\.(md|html)$/i, "");
-  const seg = relPath.split("/");
+  const spec = getKindRegistry(ctx.config)[kind];
+  const grammar = spec?.coords;
+  if (!grammar) return none;
+  const prefix = spec.pathPatterns?.[0] ? expandPattern(spec.pathPatterns[0], ctx.config) : "";
+  const tail = relPath.startsWith(prefix) ? relPath.slice(prefix.length) : relPath;
+  const tailSegs = tail.split("/").filter(Boolean);
+  const gSegs = grammar.split("/");
+  const defEnd = spec.defaultEndpoint ?? null;
   const mod = (raw) => normalizeModule(raw, ctx.config);
-  switch (kind) {
-    case "flow":
-    case "module-prd":
-      return { module: mod(base(relPath)), endpoint: "common", page: null };
-    case "db-doc":
-      return { module: mod(base(relPath)), endpoint: "common", page: null };
-    case "api-doc":
-      return { module: mod(base(relPath)), endpoint: "service", page: null };
-    case "design-system":
-      return { module: null, endpoint: base(relPath), page: null };
-    case "page-prd":
-    case "design-prompt":
-    case "prototype":
-    case "acceptance": {
-      if (seg.length < 3) return none;
-      const endpoint = seg[seg.length - 3];
-      const module = mod(seg[seg.length - 2]);
-      return { module, endpoint, page: `${module}/${base(relPath)}` };
-    }
-    default:
-      return none;
-  }
+  if (gSegs.length === 1) {
+    if (tailSegs.length === 0) return null;
+    const leaf = stripExt(tailSegs[tailSegs.length - 1]);
+    if (gSegs[0] === "{module}") return { module: mod(leaf), endpoint: defEnd, page: null };
+    if (gSegs[0] === "{endpoint}") return { module: null, endpoint: leaf, page: null };
+    return none;
+  }
+  const hasPage = gSegs[gSegs.length - 1] === "{page}";
+  const fixed = hasPage ? gSegs.length - 1 : gSegs.length;
+  if (hasPage ? tailSegs.length < gSegs.length : tailSegs.length !== gSegs.length) return null;
+  const cap = {};
+  for (let i = 0; i < fixed; i++) cap[gSegs[i]] = stripExt(tailSegs[i]);
+  if (cap["{endpoint}"] !== void 0 && !ctx.config.endpoints.includes(cap["{endpoint}"])) return null;
+  const endpoint = cap["{endpoint}"] ?? defEnd;
+  const module = cap["{module}"] !== void 0 ? mod(cap["{module}"]) : null;
+  let page = null;
+  if (hasPage) {
+    const pageSegs = tailSegs.slice(fixed);
+    const pageTail = pageSegs.map((s, i) => i === pageSegs.length - 1 ? stripExt(s) : s).join("/");
+    page = module ? `${module}/${pageTail}` : pageTail;
+  }
+  return { module, endpoint, page };
 }
 function isMetaPath(ctx, relPath) {
   const registry = getKindRegistry(ctx.config);
@@ -2505,30 +2519,42 @@ function deriveEdges(ctx) {
     list.push(a);
     byKind.set(a.kind, list);
   }
-  const insert = ctx.db.prepare("INSERT OR IGNORE INTO artifact_edges (from_id, to_id) VALUES (?, ?)");
+  const expected = /* @__PURE__ */ new Set();
+  for (const child of nonMeta) {
+    const parents = registry[child.kind]?.parents ?? [];
+    for (const parentKind of parents) {
+      const level = registry[parentKind]?.level ?? "module";
+      const candidates = (byKind.get(parentKind) ?? []).filter((p) => {
+        if ((level === "module" || level === "page") && child.module && p.module !== child.module) return false;
+        if ((level === "endpoint" || level === "page") && child.endpoint && p.endpoint !== child.endpoint) return false;
+        if (level === "page" && child.page && p.page !== child.page) return false;
+        return true;
+      });
+      for (const parent of candidates) expected.add(`${parent.id}|${child.id}`);
+    }
+  }
+  const existing = ctx.db.prepare("SELECT id, from_id, to_id, source FROM artifact_edges").all();
+  const have = new Set(existing.map((e) => `${e.from_id}|${e.to_id}`));
+  const insert = ctx.db.prepare("INSERT OR IGNORE INTO artifact_edges (from_id, to_id, source) VALUES (?, ?, 'derived')");
+  const del = ctx.db.prepare("DELETE FROM artifact_edges WHERE id = ?");
   let created = 0;
+  let pruned = 0;
   const tx = ctx.db.transaction(() => {
-    for (const child of nonMeta) {
-      const parents = registry[child.kind]?.parents ?? [];
-      for (const parentKind of parents) {
-        const level = registry[parentKind]?.level ?? "module";
-        const candidates = (byKind.get(parentKind) ?? []).filter((p) => {
-          if ((level === "module" || level === "page") && child.module && p.module !== child.module) return false;
-          if ((level === "endpoint" || level === "page") && child.endpoint && p.endpoint !== child.endpoint) return false;
-          if (level === "page" && child.page && p.page !== child.page) return false;
-          return true;
-        });
-        for (const parent of candidates) {
-          created += insert.run(parent.id, child.id).changes;
-        }
-      }
+    for (const key of expected) {
+      if (have.has(key)) continue;
+      const [from, to] = key.split("|");
+      created += insert.run(Number(from), Number(to)).changes;
+    }
+    for (const e of existing) {
+      if (e.source !== "derived") continue;
+      if (!expected.has(`${e.from_id}|${e.to_id}`)) pruned += del.run(e.id).changes;
     }
   });
   tx();
-  return created;
+  return { created, pruned };
 }
 function scanArtifacts(ctx, actor = "system") {
-  const summary = { registered: 0, refreshed: 0, remapped: 0, edges: 0, skipped: [] };
+  const summary = { registered: 0, refreshed: 0, remapped: 0, edges: 0, edgesPruned: 0, moved: 0, skipped: [], unresolved: [] };
   const files = [];
   for (const dir of Object.values(ctx.config.docs)) {
     const abs = join10(ctx.root, dir);
@@ -2552,7 +2578,7 @@ function scanArtifacts(ctx, actor = "system") {
       const before = row.content_hash;
       const after = refreshArtifact(ctx, { id: row.id }, actor);
       if (after.content_hash !== before) summary.refreshed++;
-      if (row.kind !== kind || row.module !== coords.module || row.endpoint !== coords.endpoint || row.page !== coords.page) {
+      if (coords && (row.kind !== kind || row.module !== coords.module || row.endpoint !== coords.endpoint || row.page !== coords.page)) {
         const tx2 = ctx.db.transaction(() => {
           remap.run(kind, coords.module, coords.endpoint, coords.page, row.id);
           logEvent(ctx.db, {
@@ -2575,8 +2601,32 @@ function scanArtifacts(ctx, actor = "system") {
       }
       return;
     }
+    if (!coords) {
+      summary.unresolved.push(relPath);
+      return;
+    }
     const hash = hashPath(join10(ctx.root, relPath));
     if (hash === null) return;
+    const movedFrom = ctx.db.prepare("SELECT * FROM artifacts WHERE content_hash = ? AND kind = ?").all(hash, kind).filter((a) => !existsSync9(join10(ctx.root, a.path)));
+    if (movedFrom.length === 1) {
+      const old = movedFrom[0];
+      const tx2 = ctx.db.transaction(() => {
+        ctx.db.prepare("UPDATE artifacts SET path = ?, module = ?, endpoint = ?, page = ?, updated_at = CURRENT_TIMESTAMP WHERE id = ?").run(relPath, coords.module, coords.endpoint, coords.page, old.id);
+        logEvent(ctx.db, {
+          entityType: "artifact",
+          entityId: old.id,
+          event: "auto_moved",
+          actor,
+          payload: { from: old.path, to: relPath },
+          module: coords.module,
+          endpoint: coords.endpoint,
+          page: coords.page
+        });
+      });
+      tx2();
+      summary.moved++;
+      return;
+    }
     const tx = ctx.db.transaction(() => {
       const result = insert.run(kind, coords.module, coords.endpoint, coords.page, relPath, hash);
       logEvent(ctx.db, {
@@ -2604,9 +2654,36 @@ function scanArtifacts(ctx, actor = "system") {
   for (const code of expandCodeRoots(ctx)) {
     registerOne(code.dir, "code", { module: code.module, endpoint: code.endpoint, page: null });
   }
-  summary.edges = deriveEdges(ctx);
+  const edgeResult = deriveEdges(ctx);
+  summary.edges = edgeResult.created;
+  summary.edgesPruned = edgeResult.pruned;
   return summary;
 }
+function registerAdHocArtifact(ctx, relPathRaw, actor) {
+  const relPath = normalizeRelPath(ctx, relPathRaw);
+  const existing = ctx.db.prepare("SELECT * FROM artifacts WHERE path = ?").get(relPath);
+  if (existing) return existing;
+  const hash = hashPath(join10(ctx.root, relPath));
+  if (hash === null) throw new Error(`\u6587\u4EF6\u4E0D\u5B58\u5728: ${relPath}`);
+  const kind = inferKind(relPath, ctx.config);
+  const coords = parseCoords(ctx, kind, relPath) ?? { module: null, endpoint: null, page: null };
+  const tx = ctx.db.transaction(() => {
+    const r = ctx.db.prepare("INSERT INTO artifacts (kind, module, endpoint, page, path, content_hash) VALUES (?, ?, ?, ?, ?, ?)").run(kind, coords.module, coords.endpoint, coords.page, relPath, hash);
+    logEvent(ctx.db, {
+      entityType: "artifact",
+      entityId: r.lastInsertRowid,
+      event: "scan_registered",
+      actor,
+      payload: { path: relPath, kind, adHoc: true },
+      module: coords.module,
+      endpoint: coords.endpoint,
+      page: coords.page
+    });
+  });
+  tx();
+  return ctx.db.prepare("SELECT * FROM artifacts WHERE path = ?").get(relPath);
+}
+var stripExt;
 var init_scan_command = __esm({
   "core/commands/scan.command.ts"() {
     "use strict";
@@ -2614,6 +2691,7 @@ var init_scan_command = __esm({
     init_hash();
     init_kind();
     init_artifact_commands();
+    stripExt = (s) => s.replace(/\.(md|html)$/i, "");
   }
 });
 
@@ -3435,6 +3513,7 @@ __export(core_exports, {
   distillFeedback: () => distillFeedback,
   ensureSchema: () => ensureSchema,
   everApproved: () => everApproved,
+  expandPattern: () => expandPattern,
   exportEventLog: () => exportEventLog,
   feedbackArtifact: () => feedbackArtifact,
   findProjectRoot: () => findProjectRoot,
@@ -3473,6 +3552,7 @@ __export(core_exports, {
   recordNote: () => recordNote,
   recordQaResult: () => recordQaResult,
   refreshArtifact: () => refreshArtifact,
+  registerAdHocArtifact: () => registerAdHocArtifact,
   registerMetaArtifacts: () => registerMetaArtifacts,
   registerOutput: () => registerOutput,
   rejectArtifact: () => rejectArtifact,
@@ -3682,7 +3762,7 @@ __export(app_exports, {
 import fastifyCors from "@fastify/cors";
 import fastifyStatic from "@fastify/static";
 import Fastify from "fastify";
-import { existsSync as existsSync14, readFileSync as readFileSync8, readdirSync as readdirSync7, statSync as statSync6 } from "node:fs";
+import { existsSync as existsSync14, mkdirSync as mkdirSync8, readFileSync as readFileSync8, readdirSync as readdirSync7, statSync as statSync6 } from "node:fs";
 import { isAbsolute as isAbsolute2, join as join16, normalize, relative as relative2 } from "node:path";
 function getArtifact(ctx, id) {
   const row = ctx.db.prepare("SELECT * FROM artifacts WHERE id = ?").get(id);
@@ -3706,6 +3786,9 @@ async function createServer(ctx) {
   if (existsSync14(webDist)) {
     await app.register(fastifyStatic, { root: webDist });
   }
+  const protoRoot = join16(ctx.root, ctx.config.docs.design, "prototypes");
+  mkdirSync8(protoRoot, { recursive: true });
+  await app.register(fastifyStatic, { root: protoRoot, prefix: "/proto/", decorateReply: false });
   app.get("/api/meta", async () => ({
     root: ctx.root,
     language: ctx.config.language,
@@ -3747,15 +3830,6 @@ async function createServer(ctx) {
     }
     return { artifact, content, isDirectory, missing, feedback, events };
   });
-  app.get("/api/artifact/:id/raw", async (req, reply) => {
-    const artifact = getArtifact(ctx, parseInt(req.params.id));
-    const abs = guardedAbsPath(ctx, artifact);
-    if (!existsSync14(abs) || statSync6(abs).isDirectory()) {
-      return reply.code(404).send("not found");
-    }
-    reply.header("content-type", artifact.path.endsWith(".html") ? "text/html; charset=utf-8" : "text/plain; charset=utf-8");
-    return reply.send(readFileSync8(abs));
-  });
   app.get("/api/artifact/:id/files", async (req) => {
     const artifact = getArtifact(ctx, parseInt(req.params.id));
     const base = guardedAbsPath(ctx, artifact);
@@ -3817,6 +3891,117 @@ data: {"cursor":${cursor2}}
     }, 500);
     req.raw.on("close", () => clearInterval(timer));
   });
+  app.get("/api/graph", async () => {
+    const registry = getKindRegistry(ctx.config);
+    const rows = ctx.db.prepare("SELECT * FROM artifacts ORDER BY id").all().filter(
+      (a) => !registry[a.kind]?.meta
+    );
+    const ids = new Set(rows.map((a) => a.id));
+    const nodes = rows.map((a) => ({
+      id: a.id,
+      kind: a.kind,
+      path: a.path,
+      module: a.module,
+      endpoint: a.endpoint,
+      page: a.page,
+      review_status: reviewStatus(a),
+      missing: !existsSync14(join16(ctx.root, a.path))
+    }));
+    const edges = ctx.db.prepare("SELECT id, from_id, to_id, source FROM artifact_edges").all().filter((e) => ids.has(e.from_id) && ids.has(e.to_id));
+    return { nodes, edges };
+  });
+  app.get("/api/search", async (req) => {
+    const q = (req.query.q ?? "").trim().toLowerCase();
+    if (!q) return { artifacts: [], files: [] };
+    const like = `%${q.replace(/[%_\\]/g, (c) => "\\" + c)}%`;
+    const artifacts = ctx.db.prepare("SELECT * FROM artifacts WHERE path LIKE ? ESCAPE '\\' ORDER BY path LIMIT 30").all(like).map((a) => ({ id: a.id, kind: a.kind, path: a.path, module: a.module, endpoint: a.endpoint, review_status: reviewStatus(a) }));
+    const registered = new Set(ctx.db.prepare("SELECT path FROM artifacts").all().map((r) => r.path));
+    const files = [];
+    const walk = (dir, rel) => {
+      if (files.length >= 30) return;
+      for (const name of readdirSync7(dir).sort()) {
+        if (files.length >= 30) return;
+        if (name.startsWith(".") || name === "node_modules" || name === "dist" || name === "build") continue;
+        const full = join16(dir, name);
+        const relPath = rel ? `${rel}/${name}` : name;
+        if (statSync6(full).isDirectory()) walk(full, relPath);
+        else if (relPath.toLowerCase().includes(q) && !registered.has(relPath)) files.push(relPath);
+      }
+    };
+    walk(ctx.root, "");
+    return { artifacts, files };
+  });
+  app.post("/api/artifact/register", async (req) => {
+    return registerAdHocArtifact(ctx, req.body.path, req.body.actor || "user");
+  });
+  app.post("/api/edge", async (req, reply) => {
+    const { fromId, toId } = req.body;
+    const actor = req.body.actor || "user";
+    if (!fromId || !toId || fromId === toId) {
+      return reply.code(400).send({ error: "\u65E0\u6548\u7684\u8FB9:\u9700\u8981\u4E24\u4E2A\u4E0D\u540C\u7684\u4EA7\u7269" });
+    }
+    const has = (id) => ctx.db.prepare("SELECT COUNT(*) c FROM artifacts WHERE id = ?").get(id).c > 0;
+    if (!has(fromId) || !has(toId)) return reply.code(404).send({ error: "\u4EA7\u7269\u4E0D\u5B58\u5728" });
+    const seen = /* @__PURE__ */ new Set([toId]);
+    const queue = [toId];
+    const next = ctx.db.prepare("SELECT to_id FROM artifact_edges WHERE from_id = ?");
+    while (queue.length) {
+      const cur = queue.pop();
+      for (const row of next.all(cur)) {
+        if (row.to_id === fromId) return reply.code(400).send({ error: "\u4F1A\u5F62\u6210\u73AF,\u5DF2\u62D2\u7EDD" });
+        if (!seen.has(row.to_id)) {
+          seen.add(row.to_id);
+          queue.push(row.to_id);
+        }
+      }
+    }
+    const r = ctx.db.prepare("INSERT OR IGNORE INTO artifact_edges (from_id, to_id, source) VALUES (?, ?, 'manual')").run(fromId, toId);
+    if (r.changes === 0) return reply.code(409).send({ error: "\u8BE5\u5173\u7CFB\u5DF2\u5B58\u5728" });
+    logEvent(ctx.db, { entityType: "artifact", entityId: toId, event: "edge_added", actor, payload: { fromId, toId, source: "manual" } });
+    return { id: r.lastInsertRowid, fromId, toId, source: "manual" };
+  });
+  app.delete("/api/artifact/:id", async (req, reply) => {
+    const id = parseInt(req.params.id);
+    const row = ctx.db.prepare("SELECT * FROM artifacts WHERE id = ?").get(id);
+    if (!row) return reply.code(404).send({ error: "\u4EA7\u7269\u4E0D\u5B58\u5728" });
+    if (row.approved_hash !== null) return reply.code(403).send({ error: "\u8BE5\u4EA7\u7269\u6709\u5BA1\u6279\u5386\u53F2,\u4E0D\u53EF\u53D6\u6D88\u767B\u8BB0" });
+    const refs = ctx.db.prepare(
+      `SELECT (SELECT COUNT(*) FROM task_inputs WHERE artifact_id = ?) +
+                (SELECT COUNT(*) FROM task_outputs WHERE artifact_id = ?) +
+                (SELECT COUNT(*) FROM artifact_feedback WHERE artifact_id = ?) AS c`
+    ).get(id, id, id);
+    if (refs.c > 0) return reply.code(403).send({ error: "\u8BE5\u4EA7\u7269\u5DF2\u88AB\u4EFB\u52A1/\u53CD\u9988\u5F15\u7528,\u4E0D\u53EF\u53D6\u6D88\u767B\u8BB0" });
+    const tx = ctx.db.transaction(() => {
+      logEvent(ctx.db, {
+        entityType: "artifact",
+        entityId: id,
+        event: "unregistered",
+        actor: req.body?.actor || "user",
+        payload: { path: row.path, kind: row.kind },
+        module: row.module,
+        endpoint: row.endpoint,
+        page: row.page
+      });
+      ctx.db.prepare("DELETE FROM artifacts WHERE id = ?").run(id);
+    });
+    tx();
+    return { ok: true };
+  });
+  app.delete("/api/edge/:id", async (req, reply) => {
+    const id = parseInt(req.params.id);
+    const edge = ctx.db.prepare("SELECT * FROM artifact_edges WHERE id = ?").get(id);
+    if (!edge) return reply.code(404).send({ error: "\u8FB9\u4E0D\u5B58\u5728" });
+    if (edge.source !== "manual") return reply.code(403).send({ error: "\u81EA\u52A8\u63A8\u5BFC\u7684\u5173\u7CFB\u4E0D\u53EF\u89E3\u7ED1(\u7531 scan \u6309\u5750\u6807\u4E8B\u5B9E\u7EF4\u62A4)" });
+    ctx.db.prepare("DELETE FROM artifact_edges WHERE id = ?").run(id);
+    logEvent(ctx.db, {
+      entityType: "artifact",
+      entityId: edge.to_id,
+      event: "edge_removed",
+      actor: req.body?.actor || "user",
+      payload: { fromId: edge.from_id, toId: edge.to_id }
+    });
+    return { ok: true };
+  });
   app.get("/api/review-queue", async () => {
     return listArtifacts(ctx, {}).filter((r) => r.review_status === "pending" || r.review_status === "invalidated").map((r) => ({
       ...r,
@@ -3886,11 +4071,13 @@ var init_app = __esm({
     "use strict";
     init_artifact_commands();
     init_retro_command();
+    init_scan_command();
     init_sync_command();
     init_config();
     init_task_commands();
     init_derive();
     init_events();
+    init_kind();
     init_tree();
     MAX_INLINE_SIZE = 1024 * 1024;
   }
@@ -4439,7 +4626,11 @@ async function runCommand(ctx, command, a) {
     }
     case "scan": {
       const s = scanArtifacts(ctx, a.actor || "system");
-      console.log(chalk.green(`\u2705 \u626B\u63CF\u5B8C\u6210:\u65B0\u767B\u8BB0 ${s.registered},\u5185\u5BB9\u5237\u65B0 ${s.refreshed},\u91CD\u6302\u5750\u6807 ${s.remapped},\u65B0\u589E\u8FB9 ${s.edges},\u6392\u9664\u5143\u4EA7\u7269 ${s.skipped.length}`));
+      console.log(chalk.green(`\u2705 \u626B\u63CF\u5B8C\u6210:\u65B0\u767B\u8BB0 ${s.registered},\u5185\u5BB9\u5237\u65B0 ${s.refreshed},\u91CD\u6302\u5750\u6807 ${s.remapped},\u81EA\u52A8\u8DDF\u968F\u79FB\u52A8 ${s.moved},\u65B0\u589E\u8FB9 ${s.edges},\u6E05\u7406\u6B8B\u7559\u8FB9 ${s.edgesPruned},\u6392\u9664\u5143\u4EA7\u7269 ${s.skipped.length}`));
+      if (s.unresolved.length > 0) {
+        console.log(chalk.yellow(`\u26A0 ${s.unresolved.length} \u4E2A\u6587\u4EF6\u547D\u4E2D kind \u4F46\u8DEF\u5F84\u4E0D\u7B26 coords \u6587\u6CD5,\u672A\u767B\u8BB0(\u975E\u89C4\u8303/\u5E9F\u5F03\u7AEF?):`));
+        for (const p of s.unresolved) console.log(chalk.yellow(`    - ${p}`));
+      }
       break;
     }
     case "move": {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@dawipong/opcflow",
-  "version": "0.3.0",
+  "version": "0.5.0",
   "description": "Spec-anchored, drift-enforced execution layer for AI coding agents — artifact DAG, trust gates, multi-role pipeline; generates agents/MCP/hooks for Claude Code, Codex, OpenCode & Cursor.",
   "license": "MIT",
   "author": "Dawi",
@@ -59,6 +59,7 @@
   },
   "devDependencies": {
     "@ant-design/icons": "^6",
+    "@dagrejs/dagre": "^3.0.0",
     "@monaco-editor/react": "^4.7.0",
     "@semantic-release/changelog": "^6.0.3",
     "@semantic-release/git": "^10.0.1",
@@ -67,6 +68,7 @@
     "@types/react": "^18",
     "@types/react-dom": "^18",
     "@vitejs/plugin-react": "^6",
+    "@xyflow/react": "^12.11.2",
     "antd": "^6",
     "esbuild": "^0.28.1",
     "mermaid": "^11",

package/web/dist/assets/{abnfDiagram-VRR7QNED-B5Ymr02_.js → abnfDiagram-VRR7QNED-Cwj4KBKb.js}

@@ -1 +1 @@
-import{m as e}from"./src-W4W9ly-y.js";import{n as t}from"./chunk-Y2CYZVJY-DsF7k-Jl.js";import"./chunk-WYO6CB5R-BaRUDpDl.js";import"./index-D02utICb.js";import{m as n,t as r}from"./mermaid-parser.core-CAAH_OSq.js";import{n as i,r as a,t as o}from"./chunk-MOJQB5TN-BJQ2jnj0.js";import{t as s}from"./chunk-JWPE2WC7-DVXcaiue.js";var c=n().RailroadAbnf.parser.LangiumParser,l=t(e=>{let t=e.alternatives.map(u);return t.length===1?t[0]:{type:`choice`,alternatives:t}},`transformAlternation`),u=t(e=>{let t=e.elements.map(f);return t.length===1?t[0]:{type:`sequence`,elements:t}},`transformConcatenation`),d=t(e=>{if(e.includes(`*`)){let[t,n]=e.split(`*`);return{min:t?parseInt(t,10):0,max:n?parseInt(n,10):1/0}}let t=parseInt(e,10);return{min:t,max:t}},`parseRepeat`),f=t(e=>{let t=p(e.primary);if(!e.repeat)return t;let{min:n,max:r}=d(e.repeat);return n===0&&r===1?{type:`optional`,element:t}:{type:`repetition`,element:t,min:n,max:r}},`transformElement`),p=t(e=>{switch(e.$type){case`AbnfStringLiteral`:return{type:`terminal`,value:e.value};case`AbnfNumVal`:return{type:`terminal`,value:e.value};case`AbnfRuleName`:return{type:`nonterminal`,name:e.name};case`AbnfGroup`:return l(e.element);case`AbnfOptionalGroup`:return{type:`optional`,element:l(e.element)};default:throw Error(`Unsupported ABNF primary node: ${e.$type}`)}},`transformPrimary`),m=t(e=>({name:e.name,definition:l(e.definition)}),`transformRule`),h=t(e=>{s(e,o),e.title&&o.setTitle(e.title),e.rules.map(e=>o.addRule(m(e)))},`populateDb`),g={parser:{parse:t(t=>{o.clear(),e.debug(`[ABNF Parser] Starting Langium parse`);let n=c.parse(t);if(n.lexerErrors.length>0||n.parserErrors.length>0)throw new r(n);let i=n.value;e.debug(`[ABNF Parser] Parsed rules:`,i.rules.length),h(i),e.debug(`[ABNF Parser] Parse complete`)},`parse`),parser:{yy:o}},db:o,renderer:a,styles:i};export{g as diagram};
+import{E as e}from"./src-Bp5IDfvJ.js";import{n as t}from"./chunk-Y2CYZVJY-DsF7k-Jl.js";import"./chunk-WYO6CB5R-C0vPAP7X.js";import"./index-Cf-76g9P.js";import{m as n,t as r}from"./mermaid-parser.core-CICKlqAN.js";import{n as i,r as a,t as o}from"./chunk-MOJQB5TN-BrFLYoih.js";import{t as s}from"./chunk-JWPE2WC7-DVXcaiue.js";var c=n().RailroadAbnf.parser.LangiumParser,l=t(e=>{let t=e.alternatives.map(u);return t.length===1?t[0]:{type:`choice`,alternatives:t}},`transformAlternation`),u=t(e=>{let t=e.elements.map(f);return t.length===1?t[0]:{type:`sequence`,elements:t}},`transformConcatenation`),d=t(e=>{if(e.includes(`*`)){let[t,n]=e.split(`*`);return{min:t?parseInt(t,10):0,max:n?parseInt(n,10):1/0}}let t=parseInt(e,10);return{min:t,max:t}},`parseRepeat`),f=t(e=>{let t=p(e.primary);if(!e.repeat)return t;let{min:n,max:r}=d(e.repeat);return n===0&&r===1?{type:`optional`,element:t}:{type:`repetition`,element:t,min:n,max:r}},`transformElement`),p=t(e=>{switch(e.$type){case`AbnfStringLiteral`:return{type:`terminal`,value:e.value};case`AbnfNumVal`:return{type:`terminal`,value:e.value};case`AbnfRuleName`:return{type:`nonterminal`,name:e.name};case`AbnfGroup`:return l(e.element);case`AbnfOptionalGroup`:return{type:`optional`,element:l(e.element)};default:throw Error(`Unsupported ABNF primary node: ${e.$type}`)}},`transformPrimary`),m=t(e=>({name:e.name,definition:l(e.definition)}),`transformRule`),h=t(e=>{s(e,o),e.title&&o.setTitle(e.title),e.rules.map(e=>o.addRule(m(e)))},`populateDb`),g={parser:{parse:t(t=>{o.clear(),e.debug(`[ABNF Parser] Starting Langium parse`);let n=c.parse(t);if(n.lexerErrors.length>0||n.parserErrors.length>0)throw new r(n);let i=n.value;e.debug(`[ABNF Parser] Parsed rules:`,i.rules.length),h(i),e.debug(`[ABNF Parser] Parse complete`)},`parse`),parser:{yy:o}},db:o,renderer:a,styles:i};export{g as diagram};

package/web/dist/assets/{arc-DPoWLLje.js → arc-Ci--dbFA.js}

@@ -1 +1 @@
-import{n as e,t}from"./path-BWPyau1x.js";import{a as n,c as r,d as i,f as a,i as o,l as s,m as c,n as l,o as u,p as d,r as f,u as p}from"./dist-zlHGdC4Y.js";function m(e){return e.innerRadius}function h(e){return e.outerRadius}function g(e){return e.startAngle}function _(e){return e.endAngle}function v(e){return e&&e.padAngle}function y(e,t,n,r,i,a,o,s){var c=n-e,l=r-t,u=o-i,d=s-a,f=d*c-u*l;if(!(f*f<1e-12))return f=(u*(t-a)-d*(e-i))/f,[e+f*c,t+f*l]}function b(e,t,n,r,i,a,o){var c=e-n,l=t-r,u=(o?a:-a)/d(c*c+l*l),f=u*l,p=-u*c,m=e+f,h=t+p,g=n+f,_=r+p,v=(m+g)/2,y=(h+_)/2,b=g-m,x=_-h,S=b*b+x*x,C=i-a,w=m*_-g*h,T=(x<0?-1:1)*d(s(0,C*C*S-w*w)),E=(w*x-b*T)/S,D=(-w*b-x*T)/S,O=(w*x+b*T)/S,k=(-w*b+x*T)/S,A=E-v,j=D-y,M=O-v,N=k-y;return A*A+j*j>M*M+N*N&&(E=O,D=k),{cx:E,cy:D,x01:-f,y01:-p,x11:E*(i/C-1),y11:D*(i/C-1)}}function x(){var s=m,x=h,S=e(0),C=null,w=g,T=_,E=v,D=null,O=t(k);function k(){var e,t,m=+s.apply(this,arguments),h=+x.apply(this,arguments),g=w.apply(this,arguments)-r,_=T.apply(this,arguments)-r,v=l(_-g),k=_>g;if(D||=e=O(),h<m&&(t=h,h=m,m=t),!(h>1e-12))D.moveTo(0,0);else if(v>c-1e-12)D.moveTo(h*u(g),h*a(g)),D.arc(0,0,h,g,_,!k),m>1e-12&&(D.moveTo(m*u(_),m*a(_)),D.arc(0,0,m,_,g,k));else{var A=g,j=_,M=g,N=_,P=v,F=v,I=E.apply(this,arguments)/2,L=I>1e-12&&(C?+C.apply(this,arguments):d(m*m+h*h)),R=p(l(h-m)/2,+S.apply(this,arguments)),z=R,B=R,V,H;if(L>1e-12){var U=o(L/m*a(I)),W=o(L/h*a(I));(P-=U*2)>1e-12?(U*=k?1:-1,M+=U,N-=U):(P=0,M=N=(g+_)/2),(F-=W*2)>1e-12?(W*=k?1:-1,A+=W,j-=W):(F=0,A=j=(g+_)/2)}var G=h*u(A),K=h*a(A),q=m*u(N),J=m*a(N);if(R>1e-12){var Y=h*u(j),X=h*a(j),Z=m*u(M),Q=m*a(M),$;if(v<i)if($=y(G,K,Z,Q,Y,X,q,J)){var ee=G-$[0],te=K-$[1],ne=Y-$[0],re=X-$[1],ie=1/a(f((ee*ne+te*re)/(d(ee*ee+te*te)*d(ne*ne+re*re)))/2),ae=d($[0]*$[0]+$[1]*$[1]);z=p(R,(m-ae)/(ie-1)),B=p(R,(h-ae)/(ie+1))}else z=B=0}F>1e-12?B>1e-12?(V=b(Z,Q,G,K,h,B,k),H=b(Y,X,q,J,h,B,k),D.moveTo(V.cx+V.x01,V.cy+V.y01),B<R?D.arc(V.cx,V.cy,B,n(V.y01,V.x01),n(H.y01,H.x01),!k):(D.arc(V.cx,V.cy,B,n(V.y01,V.x01),n(V.y11,V.x11),!k),D.arc(0,0,h,n(V.cy+V.y11,V.cx+V.x11),n(H.cy+H.y11,H.cx+H.x11),!k),D.arc(H.cx,H.cy,B,n(H.y11,H.x11),n(H.y01,H.x01),!k))):(D.moveTo(G,K),D.arc(0,0,h,A,j,!k)):D.moveTo(G,K),!(m>1e-12)||!(P>1e-12)?D.lineTo(q,J):z>1e-12?(V=b(q,J,Y,X,m,-z,k),H=b(G,K,Z,Q,m,-z,k),D.lineTo(V.cx+V.x01,V.cy+V.y01),z<R?D.arc(V.cx,V.cy,z,n(V.y01,V.x01),n(H.y01,H.x01),!k):(D.arc(V.cx,V.cy,z,n(V.y01,V.x01),n(V.y11,V.x11),!k),D.arc(0,0,m,n(V.cy+V.y11,V.cx+V.x11),n(H.cy+H.y11,H.cx+H.x11),k),D.arc(H.cx,H.cy,z,n(H.y11,H.x11),n(H.y01,H.x01),!k))):D.arc(0,0,m,N,M,k)}if(D.closePath(),e)return D=null,e+``||null}return k.centroid=function(){var e=(+s.apply(this,arguments)+ +x.apply(this,arguments))/2,t=(+w.apply(this,arguments)+ +T.apply(this,arguments))/2-i/2;return[u(t)*e,a(t)*e]},k.innerRadius=function(t){return arguments.length?(s=typeof t==`function`?t:e(+t),k):s},k.outerRadius=function(t){return arguments.length?(x=typeof t==`function`?t:e(+t),k):x},k.cornerRadius=function(t){return arguments.length?(S=typeof t==`function`?t:e(+t),k):S},k.padRadius=function(t){return arguments.length?(C=t==null?null:typeof t==`function`?t:e(+t),k):C},k.startAngle=function(t){return arguments.length?(w=typeof t==`function`?t:e(+t),k):w},k.endAngle=function(t){return arguments.length?(T=typeof t==`function`?t:e(+t),k):T},k.padAngle=function(t){return arguments.length?(E=typeof t==`function`?t:e(+t),k):E},k.context=function(e){return arguments.length?(D=e??null,k):D},k}export{x as t};
+import{n as e,t}from"./path-BWPyau1x.js";import{a as n,c as r,d as i,f as a,i as o,l as s,m as c,n as l,o as u,p as d,r as f,u as p}from"./dist-DeM6hNwF.js";function m(e){return e.innerRadius}function h(e){return e.outerRadius}function g(e){return e.startAngle}function _(e){return e.endAngle}function v(e){return e&&e.padAngle}function y(e,t,n,r,i,a,o,s){var c=n-e,l=r-t,u=o-i,d=s-a,f=d*c-u*l;if(!(f*f<1e-12))return f=(u*(t-a)-d*(e-i))/f,[e+f*c,t+f*l]}function b(e,t,n,r,i,a,o){var c=e-n,l=t-r,u=(o?a:-a)/d(c*c+l*l),f=u*l,p=-u*c,m=e+f,h=t+p,g=n+f,_=r+p,v=(m+g)/2,y=(h+_)/2,b=g-m,x=_-h,S=b*b+x*x,C=i-a,w=m*_-g*h,T=(x<0?-1:1)*d(s(0,C*C*S-w*w)),E=(w*x-b*T)/S,D=(-w*b-x*T)/S,O=(w*x+b*T)/S,k=(-w*b+x*T)/S,A=E-v,j=D-y,M=O-v,N=k-y;return A*A+j*j>M*M+N*N&&(E=O,D=k),{cx:E,cy:D,x01:-f,y01:-p,x11:E*(i/C-1),y11:D*(i/C-1)}}function x(){var s=m,x=h,S=e(0),C=null,w=g,T=_,E=v,D=null,O=t(k);function k(){var e,t,m=+s.apply(this,arguments),h=+x.apply(this,arguments),g=w.apply(this,arguments)-r,_=T.apply(this,arguments)-r,v=l(_-g),k=_>g;if(D||=e=O(),h<m&&(t=h,h=m,m=t),!(h>1e-12))D.moveTo(0,0);else if(v>c-1e-12)D.moveTo(h*u(g),h*a(g)),D.arc(0,0,h,g,_,!k),m>1e-12&&(D.moveTo(m*u(_),m*a(_)),D.arc(0,0,m,_,g,k));else{var A=g,j=_,M=g,N=_,P=v,F=v,I=E.apply(this,arguments)/2,L=I>1e-12&&(C?+C.apply(this,arguments):d(m*m+h*h)),R=p(l(h-m)/2,+S.apply(this,arguments)),z=R,B=R,V,H;if(L>1e-12){var U=o(L/m*a(I)),W=o(L/h*a(I));(P-=U*2)>1e-12?(U*=k?1:-1,M+=U,N-=U):(P=0,M=N=(g+_)/2),(F-=W*2)>1e-12?(W*=k?1:-1,A+=W,j-=W):(F=0,A=j=(g+_)/2)}var G=h*u(A),K=h*a(A),q=m*u(N),J=m*a(N);if(R>1e-12){var Y=h*u(j),X=h*a(j),Z=m*u(M),Q=m*a(M),$;if(v<i)if($=y(G,K,Z,Q,Y,X,q,J)){var ee=G-$[0],te=K-$[1],ne=Y-$[0],re=X-$[1],ie=1/a(f((ee*ne+te*re)/(d(ee*ee+te*te)*d(ne*ne+re*re)))/2),ae=d($[0]*$[0]+$[1]*$[1]);z=p(R,(m-ae)/(ie-1)),B=p(R,(h-ae)/(ie+1))}else z=B=0}F>1e-12?B>1e-12?(V=b(Z,Q,G,K,h,B,k),H=b(Y,X,q,J,h,B,k),D.moveTo(V.cx+V.x01,V.cy+V.y01),B<R?D.arc(V.cx,V.cy,B,n(V.y01,V.x01),n(H.y01,H.x01),!k):(D.arc(V.cx,V.cy,B,n(V.y01,V.x01),n(V.y11,V.x11),!k),D.arc(0,0,h,n(V.cy+V.y11,V.cx+V.x11),n(H.cy+H.y11,H.cx+H.x11),!k),D.arc(H.cx,H.cy,B,n(H.y11,H.x11),n(H.y01,H.x01),!k))):(D.moveTo(G,K),D.arc(0,0,h,A,j,!k)):D.moveTo(G,K),!(m>1e-12)||!(P>1e-12)?D.lineTo(q,J):z>1e-12?(V=b(q,J,Y,X,m,-z,k),H=b(G,K,Z,Q,m,-z,k),D.lineTo(V.cx+V.x01,V.cy+V.y01),z<R?D.arc(V.cx,V.cy,z,n(V.y01,V.x01),n(H.y01,H.x01),!k):(D.arc(V.cx,V.cy,z,n(V.y01,V.x01),n(V.y11,V.x11),!k),D.arc(0,0,m,n(V.cy+V.y11,V.cx+V.x11),n(H.cy+H.y11,H.cx+H.x11),k),D.arc(H.cx,H.cy,z,n(H.y11,H.x11),n(H.y01,H.x01),!k))):D.arc(0,0,m,N,M,k)}if(D.closePath(),e)return D=null,e+``||null}return k.centroid=function(){var e=(+s.apply(this,arguments)+ +x.apply(this,arguments))/2,t=(+w.apply(this,arguments)+ +T.apply(this,arguments))/2-i/2;return[u(t)*e,a(t)*e]},k.innerRadius=function(t){return arguments.length?(s=typeof t==`function`?t:e(+t),k):s},k.outerRadius=function(t){return arguments.length?(x=typeof t==`function`?t:e(+t),k):x},k.cornerRadius=function(t){return arguments.length?(S=typeof t==`function`?t:e(+t),k):S},k.padRadius=function(t){return arguments.length?(C=t==null?null:typeof t==`function`?t:e(+t),k):C},k.startAngle=function(t){return arguments.length?(w=typeof t==`function`?t:e(+t),k):w},k.endAngle=function(t){return arguments.length?(T=typeof t==`function`?t:e(+t),k):T},k.padAngle=function(t){return arguments.length?(E=typeof t==`function`?t:e(+t),k):E},k.context=function(e){return arguments.length?(D=e??null,k):D},k}export{x as t};

package/web/dist/assets/architecture-TIHT7OUA-Dx_ZsFnL.js

@@ -0,0 +1 @@
+import"./chunk-KEIR6QF5-BfrZ3jm6.js";import{M as e}from"./mermaid-parser.core-CICKlqAN.js";export{e as createArchitectureServices};