@lingxiao-office/sdk 1.0.0

package/dist/core/blackboard/GraphStore.js

@@ -0,0 +1,237 @@
+/**
+ * GraphStore — 黑板图的 SQLite 持久化层
+ *
+ * 职责：节点/边的 CRUD 操作，所有 SQL 均使用 prepared statements。
+ * 不做业务逻辑，不做事件发射 — 那是 BlackboardGraph 的职责。
+ */
+import { runTransaction } from '../Database.js';
+// ═══════════════════════════════════════════════════════════════
+// 行 ↔ 类型转换
+// ═══════════════════════════════════════════════════════════════
+function rowToNode(row) {
+    return {
+        id: row.id,
+        kind: row.kind,
+        sessionId: row.session_id,
+        title: row.title,
+        content: row.content,
+        tags: JSON.parse(row.tags),
+        createdBy: row.created_by,
+        createdAt: row.created_at,
+        supersededBy: row.superseded_by ?? undefined,
+        confidence: row.confidence ?? undefined,
+        intentStatus: row.intent_status ?? undefined,
+        priority: row.priority ?? undefined,
+        evidence: row.evidence ? JSON.parse(row.evidence) : undefined,
+        intentFrom: row.intent_from ? JSON.parse(row.intent_from) : undefined,
+        intentTo: row.intent_to ?? undefined,
+        contractAllowedScope: row.contract_allowed_scope
+            ? JSON.parse(row.contract_allowed_scope)
+            : undefined,
+    };
+}
+function rowToEdge(row) {
+    return {
+        id: row.id,
+        sessionId: row.session_id,
+        fromNodeId: row.from_node_id,
+        toNodeId: row.to_node_id,
+        edgeType: row.edge_type,
+        createdAt: row.created_at,
+        createdBy: row.created_by,
+        metadata: row.metadata ? JSON.parse(row.metadata) : undefined,
+    };
+}
+// ═══════════════════════════════════════════════════════════════
+// GraphStore
+// ═══════════════════════════════════════════════════════════════
+export class GraphStore {
+    db;
+    constructor(db) {
+        this.db = db;
+    }
+    // ─────────────────────────────────────────────────────────────
+    // 节点操作
+    // ─────────────────────────────────────────────────────────────
+    insertNode(node) {
+        this.db.prepare(`
+      INSERT INTO graph_nodes
+        (id, session_id, kind, title, content, tags, created_by, created_at,
+         superseded_by, confidence, intent_status, priority, evidence, intent_from, intent_to,
+         contract_allowed_scope)
+      VALUES
+        (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)
+    `).run(node.id, node.sessionId, node.kind, node.title, node.content, JSON.stringify(node.tags), node.createdBy, node.createdAt, node.supersededBy ?? null, node.confidence ?? null, node.intentStatus ?? null, node.priority ?? null, node.evidence ? JSON.stringify(node.evidence) : null, node.intentFrom ? JSON.stringify(node.intentFrom) : null, node.intentTo ?? null, node.contractAllowedScope ? JSON.stringify(node.contractAllowedScope) : null);
+    }
+    getNode(id, sessionId) {
+        const row = this.db.prepare('SELECT * FROM graph_nodes WHERE id = ? AND session_id = ?').get(id, sessionId);
+        return row ? rowToNode(row) : null;
+    }
+    updateNode(id, sessionId, updates) {
+        const sets = [];
+        const values = [];
+        if (updates.title !== undefined) {
+            sets.push('title = ?');
+            values.push(updates.title);
+        }
+        if (updates.content !== undefined) {
+            sets.push('content = ?');
+            values.push(updates.content);
+        }
+        if (updates.tags !== undefined) {
+            sets.push('tags = ?');
+            values.push(JSON.stringify(updates.tags));
+        }
+        if (updates.supersededBy !== undefined) {
+            sets.push('superseded_by = ?');
+            values.push(updates.supersededBy);
+        }
+        if (updates.confidence !== undefined) {
+            sets.push('confidence = ?');
+            values.push(updates.confidence);
+        }
+        if (updates.intentStatus !== undefined) {
+            sets.push('intent_status = ?');
+            values.push(updates.intentStatus);
+        }
+        if (updates.priority !== undefined) {
+            sets.push('priority = ?');
+            values.push(updates.priority);
+        }
+        if (updates.evidence !== undefined) {
+            sets.push('evidence = ?');
+            values.push(JSON.stringify(updates.evidence));
+        }
+        if (updates.intentFrom !== undefined) {
+            sets.push('intent_from = ?');
+            values.push(JSON.stringify(updates.intentFrom));
+        }
+        if (updates.intentTo !== undefined) {
+            sets.push('intent_to = ?');
+            values.push(updates.intentTo);
+        }
+        if (updates.contractAllowedScope !== undefined) {
+            sets.push('contract_allowed_scope = ?');
+            values.push(updates.contractAllowedScope ? JSON.stringify(updates.contractAllowedScope) : null);
+        }
+        if (sets.length === 0)
+            return;
+        values.push(id, sessionId);
+        this.db.prepare(`UPDATE graph_nodes SET ${sets.join(', ')} WHERE id = ? AND session_id = ?`).run(...values);
+    }
+    getNodesBySession(sessionId) {
+        const rows = this.db.prepare('SELECT * FROM graph_nodes WHERE session_id = ? ORDER BY created_at ASC').all(sessionId);
+        return rows.map(rowToNode);
+    }
+    getNodesByKind(sessionId, kind) {
+        const rows = this.db.prepare('SELECT * FROM graph_nodes WHERE session_id = ? AND kind = ? ORDER BY created_at ASC').all(sessionId, kind);
+        return rows.map(rowToNode);
+    }
+    getNodesByTag(sessionId, tag) {
+        // SQLite JSON: tags 列是 JSON 数组，用 LIKE 做简单匹配
+        const rows = this.db.prepare("SELECT * FROM graph_nodes WHERE session_id = ? AND tags LIKE ? ORDER BY created_at ASC").all(sessionId, `%"${tag}"%`);
+        return rows.map(rowToNode);
+    }
+    // ─────────────────────────────────────────────────────────────
+    // 边操作
+    // ─────────────────────────────────────────────────────────────
+    insertEdge(edge) {
+        this.db.prepare(`
+      INSERT INTO graph_edges
+        (id, session_id, from_node_id, to_node_id, edge_type, created_at, created_by, metadata)
+      VALUES (?, ?, ?, ?, ?, ?, ?, ?)
+    `).run(edge.id, edge.sessionId, edge.fromNodeId, edge.toNodeId, edge.edgeType, edge.createdAt, edge.createdBy, edge.metadata ? JSON.stringify(edge.metadata) : null);
+    }
+    getEdgesFrom(sessionId, nodeId) {
+        const rows = this.db.prepare('SELECT * FROM graph_edges WHERE session_id = ? AND from_node_id = ?').all(sessionId, nodeId);
+        return rows.map(rowToEdge);
+    }
+    getEdgesTo(sessionId, nodeId) {
+        const rows = this.db.prepare('SELECT * FROM graph_edges WHERE session_id = ? AND to_node_id = ?').all(sessionId, nodeId);
+        return rows.map(rowToEdge);
+    }
+    getEdgesByType(sessionId, edgeType) {
+        const rows = this.db.prepare('SELECT * FROM graph_edges WHERE session_id = ? AND edge_type = ?').all(sessionId, edgeType);
+        return rows.map(rowToEdge);
+    }
+    getAllEdges(sessionId) {
+        const rows = this.db.prepare('SELECT * FROM graph_edges WHERE session_id = ?').all(sessionId);
+        return rows.map(rowToEdge);
+    }
+    // ─────────────────────────────────────────────────────────────
+    // Intent 认领/释放
+    // ─────────────────────────────────────────────────────────────
+    claimIntent(intentId, sessionId, workerId) {
+        const result = this.db.prepare(`UPDATE graph_nodes
+       SET intent_status = 'claimed', created_by = ?
+       WHERE id = ? AND session_id = ? AND intent_status = 'open'`).run(workerId, intentId, sessionId);
+        return Number(result.changes) > 0;
+    }
+    releaseIntent(intentId, sessionId) {
+        this.db.prepare(`UPDATE graph_nodes
+       SET intent_status = 'open'
+       WHERE id = ? AND session_id = ? AND intent_status = 'claimed'`).run(intentId, sessionId);
+    }
+    // ─────────────────────────────────────────────────────────────
+    // 计数 & 删除
+    // ─────────────────────────────────────────────────────────────
+    getNodeCount(sessionId) {
+        const row = this.db.prepare('SELECT COUNT(*) as cnt FROM graph_nodes WHERE session_id = ?').get(sessionId);
+        return row.cnt;
+    }
+    getEdgeCount(sessionId) {
+        const row = this.db.prepare('SELECT COUNT(*) as cnt FROM graph_edges WHERE session_id = ?').get(sessionId);
+        return row.cnt;
+    }
+    deleteNode(id, sessionId) {
+        // 两条 DELETE 必须同事务（immediate 抢写锁 + BUSY 重试），否则中途崩溃/争用
+        // 会留下孤立边或孤立节点。
+        runTransaction(this.db, () => {
+            this.db.prepare('DELETE FROM graph_edges WHERE session_id = ? AND (from_node_id = ? OR to_node_id = ?)').run(sessionId, id, id);
+            this.db.prepare('DELETE FROM graph_nodes WHERE id = ? AND session_id = ?').run(id, sessionId);
+        }, { immediate: true });
+    }
+    /**
+     * 删除节点及其关联边(无独立事务)——供已在事务内的调用方(prune)使用。
+     * deleteNode 自带 runTransaction,在 prune 的外层事务内调用会触发"嵌套事务"错误(SQLite 不支持);
+     * prune 用此 raw 版本,原子性由外层 prune 事务保证(顺带修 latent bug:历史上 prune 的 superseded/
+     * resolved 兜底其实从未真正执行过,persistNodeAndBound 的 try/catch 把嵌套事务错误吞成了 warn,#9/#25)。
+     */
+    deleteNodeUnchecked(id, sessionId) {
+        this.db.prepare('DELETE FROM graph_edges WHERE session_id = ? AND (from_node_id = ? OR to_node_id = ?)').run(sessionId, id, id);
+        this.db.prepare('DELETE FROM graph_nodes WHERE id = ? AND session_id = ?').run(id, sessionId);
+    }
+    deleteEdge(id, sessionId) {
+        this.db.prepare('DELETE FROM graph_edges WHERE id = ? AND session_id = ?').run(id, sessionId);
+    }
+    getSupersededNodes(sessionId) {
+        const rows = this.db.prepare("SELECT * FROM graph_nodes WHERE session_id = ? AND superseded_by IS NOT NULL ORDER BY created_at ASC").all(sessionId);
+        return rows.map(rowToNode);
+    }
+    getResolvedIntents(sessionId) {
+        const rows = this.db.prepare("SELECT * FROM graph_nodes WHERE session_id = ? AND kind = 'intent' AND intent_status = 'resolved' ORDER BY created_at ASC").all(sessionId);
+        return rows.map(rowToNode);
+    }
+    /**
+     * 返回最旧的非必要节点(origin/goal 与 open/claimed intent 除外),供 prune 兜底层按 created_at 升序淘汰(#9/#25)。
+     * facts/reviews/verdicts/decision_logs/hints 及 resolved intent 都在此列——否则这些种类永远不合格,
+     * 图过 MAX_GRAPH_NODES 后每次 addX 跑无用全表 prune。
+     */
+    getOldestEvictableNodes(sessionId) {
+        const rows = this.db.prepare(`SELECT * FROM graph_nodes
+       WHERE session_id = ?
+         AND kind NOT IN ('origin','goal')
+         AND NOT (kind = 'intent' AND intent_status IN ('open','claimed'))
+       ORDER BY created_at ASC`).all(sessionId);
+        return rows.map(rowToNode);
+    }
+    // ─────────────────────────────────────────────────────────────
+    // 事务辅助
+    // ─────────────────────────────────────────────────────────────
+    transaction(fn) {
+        // immediate + BUSY 重试：黑板批量写（prune / worker 图谱输出）在多进程共享 DB 下
+        // 必须串行化，避免裸 BEGIN 在 SQLITE_BUSY_SNAPSHOT 下直接抛、丢失整批写。
+        return runTransaction(this.db, fn, { immediate: true });
+    }
+}
+//# sourceMappingURL=GraphStore.js.map

package/dist/core/blackboard/GraphStore.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"GraphStore.js","sourceRoot":"","sources":["../../../src/core/blackboard/GraphStore.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAYH,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAqChD,kEAAkE;AAClE,WAAW;AACX,kEAAkE;AAElE,SAAS,SAAS,CAAC,GAAY;IAC7B,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,IAAI,EAAE,GAAG,CAAC,IAAgB;QAC1B,SAAS,EAAE,GAAG,CAAC,UAAU;QACzB,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAa;QACtC,SAAS,EAAE,GAAG,CAAC,UAAU;QACzB,SAAS,EAAE,GAAG,CAAC,UAAU;QACzB,YAAY,EAAE,GAAG,CAAC,aAAa,IAAI,SAAS;QAC5C,UAAU,EAAG,GAAG,CAAC,UAAyB,IAAI,SAAS;QACvD,YAAY,EAAG,GAAG,CAAC,aAA8B,IAAI,SAAS;QAC9D,QAAQ,EAAE,GAAG,CAAC,QAAQ,IAAI,SAAS;QACnC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAoB,CAAC,CAAC,CAAC,SAAS;QACjF,UAAU,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAc,CAAC,CAAC,CAAC,SAAS;QACnF,QAAQ,EAAE,GAAG,CAAC,SAAS,IAAI,SAAS;QACpC,oBAAoB,EAAE,GAAG,CAAC,sBAAsB;YAC9C,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,sBAAsB,CAA0B;YAClE,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,GAAY;IAC7B,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,SAAS,EAAE,GAAG,CAAC,UAAU;QACzB,UAAU,EAAE,GAAG,CAAC,YAAY;QAC5B,QAAQ,EAAE,GAAG,CAAC,UAAU;QACxB,QAAQ,EAAE,GAAG,CAAC,SAAqB;QACnC,SAAS,EAAE,GAAG,CAAC,UAAU;QACzB,SAAS,EAAE,GAAG,CAAC,UAAU;QACzB,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAA4B,CAAC,CAAC,CAAC,SAAS;KAC1F,CAAC;AACJ,CAAC;AAED,kEAAkE;AAClE,aAAa;AACb,kEAAkE;AAElE,MAAM,OAAO,UAAU;IACb,EAAE,CAAe;IAEzB,YAAY,EAAgB;QAC1B,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;IACf,CAAC;IAED,gEAAgE;IAChE,OAAO;IACP,gEAAgE;IAEhE,UAAU,CAAC,IAAe;QACxB,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;;;;;KAOf,CAAC,CAAC,GAAG,CACJ,IAAI,CAAC,EAAE,EACP,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EACzB,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,YAAY,IAAI,IAAI,EACzB,IAAI,CAAC,UAAU,IAAI,IAAI,EACvB,IAAI,CAAC,YAAY,IAAI,IAAI,EACzB,IAAI,CAAC,QAAQ,IAAI,IAAI,EACrB,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EACpD,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EACxD,IAAI,CAAC,QAAQ,IAAI,IAAI,EACrB,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,IAAI,CAC7E,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,EAAU,EAAE,SAAiB;QACnC,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CACzB,2DAA2D,CAC5D,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAwB,CAAC;QAC5C,OAAO,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrC,CAAC;IAED,UAAU,CAAC,EAAU,EAAE,SAAiB,EAAE,OAExC;QACA,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAoB,EAAE,CAAC;QAEnC,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAAC,CAAC;QACxF,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAAC,CAAC;QAC9F,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAAC,CAAC;QACrG,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAAC,CAAC;QAC9G,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAAC,CAAC;QACvG,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAAC,CAAC;QAC9G,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAAC,CAAC;QACjG,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAC,CAAC;QACjH,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;QAAC,CAAC;QACxH,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAAC,CAAC;QAClG,IAAI,OAAO,CAAC,oBAAoB,KAAK,SAAS,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAAC,CAAC;QAE7L,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAE9B,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAC3B,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IAC9G,CAAC;IAED,iBAAiB,CAAC,SAAiB;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAC1B,wEAAwE,CACzE,CAAC,GAAG,CAAC,SAAS,CAAyB,CAAC;QACzC,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,cAAc,CAAC,SAAiB,EAAE,IAAc;QAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAC1B,qFAAqF,CACtF,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAyB,CAAC;QAC/C,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,aAAa,CAAC,SAAiB,EAAE,GAAW;QAC1C,4CAA4C;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAC1B,wFAAwF,CACzF,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,GAAG,IAAI,CAAyB,CAAC;QACvD,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,gEAAgE;IAChE,MAAM;IACN,gEAAgE;IAEhE,UAAU,CAAC,IAAe;QACxB,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;;KAIf,CAAC,CAAC,GAAG,CACJ,IAAI,CAAC,EAAE,EACP,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CACrD,CAAC;IACJ,CAAC;IAED,YAAY,CAAC,SAAiB,EAAE,MAAc;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAC1B,qEAAqE,CACtE,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAyB,CAAC;QACjD,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,UAAU,CAAC,SAAiB,EAAE,MAAc;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAC1B,mEAAmE,CACpE,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAyB,CAAC;QACjD,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,cAAc,CAAC,SAAiB,EAAE,QAAkB;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAC1B,kEAAkE,CACnE,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAyB,CAAC;QACnD,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,WAAW,CAAC,SAAiB;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAC1B,gDAAgD,CACjD,CAAC,GAAG,CAAC,SAAS,CAAyB,CAAC;QACzC,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,gEAAgE;IAChE,eAAe;IACf,gEAAgE;IAEhE,WAAW,CAAC,QAAgB,EAAE,SAAiB,EAAE,QAAgB;QAC/D,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAC5B;;kEAE4D,CAC7D,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACrC,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC;IAED,aAAa,CAAC,QAAgB,EAAE,SAAiB;QAC/C,IAAI,CAAC,EAAE,CAAC,OAAO,CACb;;qEAE+D,CAChE,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,gEAAgE;IAChE,UAAU;IACV,gEAAgE;IAEhE,YAAY,CAAC,SAAiB;QAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CACzB,8DAA8D,CAC/D,CAAC,GAAG,CAAC,SAAS,CAAoB,CAAC;QACpC,OAAO,GAAG,CAAC,GAAG,CAAC;IACjB,CAAC;IAED,YAAY,CAAC,SAAiB;QAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CACzB,8DAA8D,CAC/D,CAAC,GAAG,CAAC,SAAS,CAAoB,CAAC;QACpC,OAAO,GAAG,CAAC,GAAG,CAAC;IACjB,CAAC;IAED,UAAU,CAAC,EAAU,EAAE,SAAiB;QACtC,qDAAqD;QACrD,eAAe;QACf,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE;YAC3B,IAAI,CAAC,EAAE,CAAC,OAAO,CACb,uFAAuF,CACxF,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YACzB,IAAI,CAAC,EAAE,CAAC,OAAO,CACb,yDAAyD,CAC1D,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QACvB,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1B,CAAC;IAED;;;;;OAKG;IACH,mBAAmB,CAAC,EAAU,EAAE,SAAiB;QAC/C,IAAI,CAAC,EAAE,CAAC,OAAO,CACb,uFAAuF,CACxF,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACzB,IAAI,CAAC,EAAE,CAAC,OAAO,CACb,yDAAyD,CAC1D,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;IACvB,CAAC;IAED,UAAU,CAAC,EAAU,EAAE,SAAiB;QACtC,IAAI,CAAC,EAAE,CAAC,OAAO,CACb,yDAAyD,CAC1D,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;IACvB,CAAC;IAED,kBAAkB,CAAC,SAAiB;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAC1B,sGAAsG,CACvG,CAAC,GAAG,CAAC,SAAS,CAAyB,CAAC;QACzC,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,kBAAkB,CAAC,SAAiB;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAC1B,2HAA2H,CAC5H,CAAC,GAAG,CAAC,SAAS,CAAyB,CAAC;QACzC,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED;;;;OAIG;IACH,uBAAuB,CAAC,SAAiB;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAC1B;;;;+BAIyB,CAC1B,CAAC,GAAG,CAAC,SAAS,CAAyB,CAAC;QACzC,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,gEAAgE;IAChE,OAAO;IACP,gEAAgE;IAEhE,WAAW,CAAI,EAAW;QACxB,4DAA4D;QAC5D,qDAAqD;QACrD,OAAO,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1D,CAAC;CACF"}

package/dist/core/blackboard/WorkerOutputParser.d.ts

@@ -0,0 +1,25 @@
+/**
+ * WorkerOutputParser — 从 Worker 文本输出中提取图结构化数据
+ *
+ * 支持 6 种代码块格式：
+ *   ```graph_fact   — 写入 Fact 节点
+ *   ```graph_intent — 声明 Intent 节点
+ *   ```graph_contract — 写入跨 Agent 契约节点
+ *   ```graph_design_doc — 写入跨 Agent 设计文档节点
+ *   ```graph_edge   — 添加关系边
+ *   ```graph_supersede — 替代旧节点
+ *
+ * 每个块体经 schemas.ts 的 zod schema safeParse 校验:
+ *  - 成功:用 .data 构造结构化节点进图。
+ *  - 失败:把校验错误 push 进 errors,该块跳过,其他块继续(不 throw,保持"单块失败不影响其他块"契约)。
+ *  - confidence/priority 用 .catch 降级到合理默认;title/content/surface 等关键字段 required 失败则整块拒绝。
+ *
+ * 解析失败(JSON/YAML 都不可解析)的块同样静默跳过。
+ */
+import type { WorkerGraphOutput } from './types.js';
+export interface ParseResult {
+    output: WorkerGraphOutput;
+    errors: string[];
+}
+export declare function parseWorkerOutput(rawOutput: string, sessionId: string): ParseResult;
+//# sourceMappingURL=WorkerOutputParser.d.ts.map

package/dist/core/blackboard/WorkerOutputParser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"WorkerOutputParser.d.ts","sourceRoot":"","sources":["../../../src/core/blackboard/WorkerOutputParser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAoDpD,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,iBAAiB,CAAC;IAC1B,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAQD,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,WAAW,CA+GnF"}

package/dist/core/blackboard/WorkerOutputParser.js

@@ -0,0 +1,191 @@
+/**
+ * WorkerOutputParser — 从 Worker 文本输出中提取图结构化数据
+ *
+ * 支持 6 种代码块格式：
+ *   ```graph_fact   — 写入 Fact 节点
+ *   ```graph_intent — 声明 Intent 节点
+ *   ```graph_contract — 写入跨 Agent 契约节点
+ *   ```graph_design_doc — 写入跨 Agent 设计文档节点
+ *   ```graph_edge   — 添加关系边
+ *   ```graph_supersede — 替代旧节点
+ *
+ * 每个块体经 schemas.ts 的 zod schema safeParse 校验:
+ *  - 成功:用 .data 构造结构化节点进图。
+ *  - 失败:把校验错误 push 进 errors,该块跳过,其他块继续(不 throw,保持"单块失败不影响其他块"契约)。
+ *  - confidence/priority 用 .catch 降级到合理默认;title/content/surface 等关键字段 required 失败则整块拒绝。
+ *
+ * 解析失败(JSON/YAML 都不可解析)的块同样静默跳过。
+ */
+import { parse as parseYaml } from 'yaml';
+import { GraphFactBlockSchema, GraphIntentBlockSchema, GraphContractBlockSchema, GraphDesignDocBlockSchema, GraphEdgeBlockSchema, GraphSupersedeBlockSchema, } from './schemas.js';
+/**
+ * 容错解析 graph_* 代码块体。
+ *
+ * LLM 经常无视"必须是 JSON"的指令，改用 YAML 风格（如 `surface: POST /api/login`）。
+ * YAML 是 JSON 的超集，因此先尝试严格 JSON，失败再用 YAML 解析——后者同样能吃下合法 JSON，
+ * 也能吃下裸键值、单引号、未加引号的值等常见 LLM 变体。
+ *
+ * 两者都失败时抛出原始 JSON 错误，由调用方记录到 errors。
+ */
+function parseGraphBlockBody(jsonStr) {
+    try {
+        return JSON.parse(jsonStr);
+    }
+    catch (jsonErr) {
+        try {
+            const parsed = parseYaml(jsonStr);
+            // YAML 会把纯标量（如单行字符串）也解析成功，但 graph 块必须是对象
+            if (parsed && typeof parsed === 'object' && !Array.isArray(parsed)) {
+                return parsed;
+            }
+        }
+        catch {
+            // 落到下面抛 JSON 错误
+        }
+        throw jsonErr;
+    }
+}
+/** 把 zod 错误压成单行 message。 */
+function formatZodError(error) {
+    const issues = error.issues ?? [];
+    if (issues.length === 0)
+        return '校验失败';
+    return issues
+        .map((issue) => {
+        const path = issue.path && issue.path.length > 0 ? issue.path.join('.') : '(root)';
+        return `${path}: ${issue.message ?? 'invalid'}`;
+    })
+        .join('; ');
+}
+// ═══════════════════════════════════════════════════════════════
+// 解析器
+// ═══════════════════════════════════════════════════════════════
+const CODE_BLOCK_RE = /```(graph_fact|graph_intent|graph_contract|graph_design_doc|graph_edge|graph_supersede)\s*\n([\s\S]*?)```/g;
+export function parseWorkerOutput(rawOutput, sessionId) {
+    const result = {
+        newFacts: [],
+        newIntents: [],
+        newContracts: [],
+        newDesignDocs: [],
+        newEdges: [],
+        supersededNodeIds: [],
+        completionSummary: '',
+    };
+    const errors = [];
+    let match;
+    while ((match = CODE_BLOCK_RE.exec(rawOutput)) !== null) {
+        const blockType = match[1];
+        const jsonStr = match[2].trim();
+        let data;
+        try {
+            data = parseGraphBlockBody(jsonStr);
+        }
+        catch (err) {
+            errors.push(`${blockType}: 解析失败（JSON/YAML 均不可解析）— ${err instanceof Error ? err.message : String(err)}`);
+            continue;
+        }
+        switch (blockType) {
+            case 'graph_fact': {
+                const parsed = GraphFactBlockSchema.safeParse(data);
+                if (!parsed.success) {
+                    errors.push(`graph_fact: ${formatZodError(parsed.error)}`);
+                    break;
+                }
+                const d = parsed.data;
+                result.newFacts.push({
+                    sessionId, title: d.title, content: d.content, tags: d.tags,
+                    createdBy: 'worker', confidence: d.confidence, evidence: d.evidence,
+                });
+                break;
+            }
+            case 'graph_intent': {
+                const parsed = GraphIntentBlockSchema.safeParse(data);
+                if (!parsed.success) {
+                    errors.push(`graph_intent: ${formatZodError(parsed.error)}`);
+                    break;
+                }
+                const d = parsed.data;
+                result.newIntents.push({
+                    sessionId, title: d.title, content: d.content, tags: d.tags,
+                    createdBy: 'worker', intentStatus: 'open', priority: d.priority,
+                });
+                break;
+            }
+            case 'graph_contract': {
+                const parsed = GraphContractBlockSchema.safeParse(data);
+                if (!parsed.success) {
+                    errors.push(`graph_contract: ${formatZodError(parsed.error)}`);
+                    break;
+                }
+                const d = parsed.data;
+                const rawVersion = typeof d.version === 'number' || typeof d.version === 'string' ? Number(d.version) : undefined;
+                const versionTag = rawVersion !== undefined && Number.isFinite(rawVersion) && rawVersion > 0
+                    ? `contract-version:${Math.floor(rawVersion)}`
+                    : undefined;
+                result.newContracts ??= [];
+                result.newContracts.push({
+                    sessionId,
+                    title: d.title,
+                    content: d.content,
+                    tags: Array.from(new Set(['contract', `contract:${d.surface}`, ...(versionTag ? [versionTag] : []), ...d.tags])),
+                    createdBy: 'worker',
+                    confidence: d.confidence,
+                    evidence: d.evidence,
+                    // A3: 把 LLM 边界的 snake_case allowed_scope 映射为内部 camelCase contractAllowedScope。
+                    // 只在契约显式声明了非空 allow 时激活——空 allow(显式只读或 schema 降级)不映射,避免误锁。
+                    ...(d.allowed_scope && d.allowed_scope.allow.length > 0 ? {
+                        contractAllowedScope: {
+                            allow: d.allowed_scope.allow,
+                            ...(d.allowed_scope.forbid && d.allowed_scope.forbid.length > 0 ? { forbid: d.allowed_scope.forbid } : {}),
+                            ...(d.allowed_scope.allow_create !== undefined ? { allowCreate: d.allowed_scope.allow_create } : {}),
+                        },
+                    } : {}),
+                });
+                break;
+            }
+            case 'graph_design_doc': {
+                const parsed = GraphDesignDocBlockSchema.safeParse(data);
+                if (!parsed.success) {
+                    errors.push(`graph_design_doc: ${formatZodError(parsed.error)}`);
+                    break;
+                }
+                const d = parsed.data;
+                result.newDesignDocs ??= [];
+                result.newDesignDocs.push({
+                    sessionId,
+                    title: d.title,
+                    content: d.content,
+                    tags: Array.from(new Set(['design_doc', ...d.tags])),
+                    createdBy: 'worker',
+                    confidence: d.confidence,
+                    evidence: d.evidence,
+                });
+                break;
+            }
+            case 'graph_edge': {
+                const parsed = GraphEdgeBlockSchema.safeParse(data);
+                if (!parsed.success) {
+                    errors.push(`graph_edge: ${formatZodError(parsed.error)}`);
+                    break;
+                }
+                const d = parsed.data;
+                result.newEdges.push({
+                    sessionId, fromNodeId: d.from, toNodeId: d.to, edgeType: d.type,
+                    createdBy: 'worker', metadata: d.metadata,
+                });
+                break;
+            }
+            case 'graph_supersede': {
+                const parsed = GraphSupersedeBlockSchema.safeParse(data);
+                if (!parsed.success) {
+                    errors.push(`graph_supersede: ${formatZodError(parsed.error)}`);
+                    break;
+                }
+                result.supersededNodeIds.push(parsed.data.old_node_id);
+                break;
+            }
+        }
+    }
+    return { output: result, errors };
+}
+//# sourceMappingURL=WorkerOutputParser.js.map

package/dist/core/blackboard/WorkerOutputParser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"WorkerOutputParser.js","sourceRoot":"","sources":["../../../src/core/blackboard/WorkerOutputParser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAE1C,OAAO,EACL,oBAAoB,EACpB,sBAAsB,EACtB,wBAAwB,EACxB,yBAAyB,EACzB,oBAAoB,EACpB,yBAAyB,GAC1B,MAAM,cAAc,CAAC;AAEtB;;;;;;;;GAQG;AACH,SAAS,mBAAmB,CAAC,OAAe;IAC1C,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,OAAO,EAAE,CAAC;QACjB,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;YAClC,yCAAyC;YACzC,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnE,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,gBAAgB;QAClB,CAAC;QACD,MAAM,OAAO,CAAC;IAChB,CAAC;AACH,CAAC;AAED,4BAA4B;AAC5B,SAAS,cAAc,CAAC,KAAqE;IAC3F,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;IAClC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACvC,OAAO,MAAM;SACV,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACb,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QACnF,OAAO,GAAG,IAAI,KAAK,KAAK,CAAC,OAAO,IAAI,SAAS,EAAE,CAAC;IAClD,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAWD,kEAAkE;AAClE,MAAM;AACN,kEAAkE;AAElE,MAAM,aAAa,GAAG,4GAA4G,CAAC;AAEnI,MAAM,UAAU,iBAAiB,CAAC,SAAiB,EAAE,SAAiB;IACpE,MAAM,MAAM,GAAsB;QAChC,QAAQ,EAAE,EAAE;QACZ,UAAU,EAAE,EAAE;QACd,YAAY,EAAE,EAAE;QAChB,aAAa,EAAE,EAAE;QACjB,QAAQ,EAAE,EAAE;QACZ,iBAAiB,EAAE,EAAE;QACrB,iBAAiB,EAAE,EAAE;KACtB,CAAC;IACF,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,IAAI,KAA6B,CAAC;IAClC,OAAO,CAAC,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACxD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAEhC,IAAI,IAAa,CAAC;QAClB,IAAI,CAAC;YACH,IAAI,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;QACtC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CAAC,GAAG,SAAS,4BAA4B,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACxG,SAAS;QACX,CAAC;QAED,QAAQ,SAAS,EAAE,CAAC;YAClB,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,MAAM,GAAG,oBAAoB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBACpD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;oBAAC,MAAM,CAAC,IAAI,CAAC,eAAe,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBAAC,MAAM;gBAAC,CAAC;gBAC3F,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;gBACtB,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;oBACnB,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI;oBAC3D,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ;iBACpE,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBACtD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;oBAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBAAC,MAAM;gBAAC,CAAC;gBAC7F,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;gBACtB,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC;oBACrB,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI;oBAC3D,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ;iBAChE,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,MAAM,GAAG,wBAAwB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBACxD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;oBAAC,MAAM,CAAC,IAAI,CAAC,mBAAmB,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBAAC,MAAM;gBAAC,CAAC;gBAC/F,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;gBACtB,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAClH,MAAM,UAAU,GAAG,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC;oBAC1F,CAAC,CAAC,oBAAoB,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE;oBAC9C,CAAC,CAAC,SAAS,CAAC;gBACd,MAAM,CAAC,YAAY,KAAK,EAAE,CAAC;gBAC3B,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC;oBACvB,SAAS;oBACT,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,OAAO,EAAE,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;oBAChH,SAAS,EAAE,QAAQ;oBACnB,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,QAAQ,EAAE,CAAC,CAAC,QAAQ;oBACpB,+EAA+E;oBAC/E,2DAA2D;oBAC3D,GAAG,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;wBACxD,oBAAoB,EAAE;4BACpB,KAAK,EAAE,CAAC,CAAC,aAAa,CAAC,KAAK;4BAC5B,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;4BAC1G,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,aAAa,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBACrG;qBACF,CAAC,CAAC,CAAC,EAAE,CAAC;iBACR,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,MAAM,MAAM,GAAG,yBAAyB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBACzD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;oBAAC,MAAM,CAAC,IAAI,CAAC,qBAAqB,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBAAC,MAAM;gBAAC,CAAC;gBACjG,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;gBACtB,MAAM,CAAC,aAAa,KAAK,EAAE,CAAC;gBAC5B,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC;oBACxB,SAAS;oBACT,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;oBACpD,SAAS,EAAE,QAAQ;oBACnB,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,QAAQ,EAAE,CAAC,CAAC,QAAQ;iBACrB,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,MAAM,GAAG,oBAAoB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBACpD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;oBAAC,MAAM,CAAC,IAAI,CAAC,eAAe,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBAAC,MAAM;gBAAC,CAAC;gBAC3F,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;gBACtB,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;oBACnB,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI;oBAC/D,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ;iBAC1C,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBACvB,MAAM,MAAM,GAAG,yBAAyB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBACzD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;oBAAC,MAAM,CAAC,IAAI,CAAC,oBAAoB,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBAAC,MAAM;gBAAC,CAAC;gBAChG,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBACvD,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC"}

package/dist/core/blackboard/schemas.d.ts

@@ -0,0 +1,137 @@
+/**
+ * 黑板图摄入 zod schema — 以 types.ts 的 enum 为单一事实源。
+ *
+ * 消灭 WorkerOutputParser 旧实现的 `Record<string,unknown>` + `String()` 强转 +
+ * `as Confidence` 断言。所有 LLM 输出经 safeParse 校验,非法 confidence/evidence/edgeType
+ * 进 errors 不进图。
+ *
+ * 这里导出的 ConfidenceSchema / EdgeTypeSchema / EvidenceItemSchema 也是 LLM 工具
+ * (WriteFactTool/AddEdgeTool/SupersedeNodeTool)的单一事实源,根除工具与 types.ts 的 enum 漂移。
+ *
+ * 容错策略(对齐旧行为):
+ *  - confidence/priority 有合理默认 → 用 .catch 降级,保住主信息(title/content)。
+ *  - title/content/surface/from/to/old_node_id 这类无默认的关键字段 → required,失败整块拒绝。
+ *  - evidence 数组元素经 EvidenceItemSchema 校验(ref 必需);非法元素被过滤而非整块拒绝。
+ */
+import { z } from 'zod';
+export declare const ConfidenceSchema: z.ZodEnum<{
+    confirmed: "confirmed";
+    likely: "likely";
+    tentative: "tentative";
+}>;
+export declare const EdgeTypeSchema: z.ZodEnum<{
+    depends_on: "depends_on";
+    supports: "supports";
+    contradicts: "contradicts";
+    refines: "refines";
+    supersedes: "supersedes";
+    produces: "produces";
+    consumes: "consumes";
+}>;
+/** EvidenceItem.type 的 9 种(types.ts:65)。工具与 parser 共用,杜绝漂移。 */
+export declare const EvidenceTypeSchema: z.ZodEnum<{
+    file: "file";
+    tool_result: "tool_result";
+    url: "url";
+    task_result: "task_result";
+    test_result: "test_result";
+    log_output: "log_output";
+    observation: "observation";
+    artifact: "artifact";
+    blackboard_node: "blackboard_node";
+}>;
+export declare const EvidenceItemSchema: z.ZodObject<{
+    type: z.ZodEnum<{
+        file: "file";
+        tool_result: "tool_result";
+        url: "url";
+        task_result: "task_result";
+        test_result: "test_result";
+        log_output: "log_output";
+        observation: "observation";
+        artifact: "artifact";
+        blackboard_node: "blackboard_node";
+    }>;
+    ref: z.ZodString;
+    location: z.ZodOptional<z.ZodString>;
+    snippet: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export declare const GraphFactBlockSchema: z.ZodObject<{
+    title: z.ZodString;
+    content: z.ZodString;
+    tags: z.ZodCatch<z.ZodArray<z.ZodString>>;
+    confidence: z.ZodCatch<z.ZodEnum<{
+        confirmed: "confirmed";
+        likely: "likely";
+        tentative: "tentative";
+    }>>;
+    evidence: z.ZodCatch<z.ZodOptional<z.ZodPipe<z.ZodArray<z.ZodUnknown>, z.ZodTransform<{
+        type: "file" | "tool_result" | "url" | "task_result" | "test_result" | "log_output" | "observation" | "artifact" | "blackboard_node";
+        ref: string;
+        location?: string | undefined;
+        snippet?: string | undefined;
+    }[], unknown[]>>>>;
+}, z.core.$strip>;
+export declare const GraphIntentBlockSchema: z.ZodObject<{
+    title: z.ZodString;
+    content: z.ZodString;
+    tags: z.ZodCatch<z.ZodArray<z.ZodString>>;
+    priority: z.ZodCatch<z.ZodNumber>;
+}, z.core.$strip>;
+export declare const GraphContractBlockSchema: z.ZodObject<{
+    title: z.ZodString;
+    content: z.ZodString;
+    tags: z.ZodCatch<z.ZodArray<z.ZodString>>;
+    surface: z.ZodString;
+    version: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString]>>;
+    allowed_scope: z.ZodOptional<z.ZodObject<{
+        allow: z.ZodDefault<z.ZodCatch<z.ZodArray<z.ZodString>>>;
+        forbid: z.ZodOptional<z.ZodCatch<z.ZodArray<z.ZodString>>>;
+        allow_create: z.ZodOptional<z.ZodCatch<z.ZodBoolean>>;
+    }, z.core.$strip>>;
+    confidence: z.ZodCatch<z.ZodEnum<{
+        confirmed: "confirmed";
+        likely: "likely";
+        tentative: "tentative";
+    }>>;
+    evidence: z.ZodCatch<z.ZodOptional<z.ZodPipe<z.ZodArray<z.ZodUnknown>, z.ZodTransform<{
+        type: "file" | "tool_result" | "url" | "task_result" | "test_result" | "log_output" | "observation" | "artifact" | "blackboard_node";
+        ref: string;
+        location?: string | undefined;
+        snippet?: string | undefined;
+    }[], unknown[]>>>>;
+}, z.core.$strip>;
+export declare const GraphDesignDocBlockSchema: z.ZodObject<{
+    title: z.ZodString;
+    content: z.ZodString;
+    tags: z.ZodCatch<z.ZodArray<z.ZodString>>;
+    confidence: z.ZodCatch<z.ZodEnum<{
+        confirmed: "confirmed";
+        likely: "likely";
+        tentative: "tentative";
+    }>>;
+    evidence: z.ZodCatch<z.ZodOptional<z.ZodPipe<z.ZodArray<z.ZodUnknown>, z.ZodTransform<{
+        type: "file" | "tool_result" | "url" | "task_result" | "test_result" | "log_output" | "observation" | "artifact" | "blackboard_node";
+        ref: string;
+        location?: string | undefined;
+        snippet?: string | undefined;
+    }[], unknown[]>>>>;
+}, z.core.$strip>;
+export declare const GraphEdgeBlockSchema: z.ZodObject<{
+    from: z.ZodString;
+    to: z.ZodString;
+    type: z.ZodEnum<{
+        depends_on: "depends_on";
+        supports: "supports";
+        contradicts: "contradicts";
+        refines: "refines";
+        supersedes: "supersedes";
+        produces: "produces";
+        consumes: "consumes";
+    }>;
+    metadata: z.ZodCatch<z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>>;
+}, z.core.$strip>;
+export declare const GraphSupersedeBlockSchema: z.ZodObject<{
+    old_node_id: z.ZodString;
+}, z.core.$strip>;
+//# sourceMappingURL=schemas.d.ts.map

package/dist/core/blackboard/schemas.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemas.d.ts","sourceRoot":"","sources":["../../../src/core/blackboard/schemas.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,eAAO,MAAM,gBAAgB;;;;EAA+C,CAAC;AAC7E,eAAO,MAAM,cAAc;;;;;;;;EAEzB,CAAC;AACH,+DAA+D;AAC/D,eAAO,MAAM,kBAAkB;;;;;;;;;;EAG7B,CAAC;AAEH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;iBAK7B,CAAC;AAwBH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;iBAM/B,CAAC;AAEH,eAAO,MAAM,sBAAsB;;;;;iBAKjC,CAAC;AAgBH,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;iBASnC,CAAC;AAEH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;iBAMpC,CAAC;AAEH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;iBAK/B,CAAC;AAEH,eAAO,MAAM,yBAAyB;;iBAEpC,CAAC"}