devworkspace 0.3.1 → 0.3.2

package/dist/services/graph.js

@@ -0,0 +1,342 @@
+import { promises as fs } from 'node:fs';
+import path from 'node:path';
+import { pathExists, readTextBounded } from '../utils/fs.js';
+import { findSymbolInText } from '../features/validate.js';
+import { requireWorkspace } from '../core/workspace.js';
+import { DevWorkspaceError } from '../errors/index.js';
+/**
+ * Resolves the location of Graphify's output graph in the repository.
+ */
+export function getGraphPath(root) {
+    return path.join(root, 'graphify-out', 'graph.json');
+}
+/**
+ * Loads and validates Graphify graph JSON data safely.
+ */
+export async function loadGraphData(root) {
+    const gPath = getGraphPath(root);
+    if (!(await pathExists(gPath))) {
+        return { exists: false, path: gPath };
+    }
+    let raw;
+    try {
+        raw = await fs.readFile(gPath, 'utf8');
+    }
+    catch (e) {
+        throw new DevWorkspaceError('IO', `Failed to read Graphify output at "${gPath}": ${e.message}`, {
+            hint: 'Ensure graphify-out/graph.json is readable or regenerate with "graphify update .".',
+        });
+    }
+    let parsed;
+    try {
+        parsed = JSON.parse(raw);
+    }
+    catch {
+        throw new DevWorkspaceError('SCHEMA', `Graphify output at "${gPath}" is not valid JSON.`, {
+            hint: 'Regenerate the graph using "graphify update ." or "/graphify ." in Claude Code.',
+        });
+    }
+    if (typeof parsed !== 'object' || parsed === null || Array.isArray(parsed)) {
+        throw new DevWorkspaceError('SCHEMA', `Graphify output at "${gPath}" must be a JSON object with nodes and edges.`, {
+            hint: 'Regenerate the graph using "graphify update .".',
+        });
+    }
+    const obj = parsed;
+    const nodes = Array.isArray(obj.nodes) ? obj.nodes : [];
+    const edges = Array.isArray(obj.edges) ? obj.edges : Array.isArray(obj.links) ? obj.links : [];
+    return {
+        exists: true,
+        path: gPath,
+        data: { nodes, edges },
+    };
+}
+/**
+ * Reports the presence, size, and basic schema health of the Graphify graph.
+ */
+export async function getGraphStatusService(o) {
+    const ws = await requireWorkspace(o.cwd);
+    const loaded = await loadGraphData(ws.root);
+    if (!loaded.exists || !loaded.data) {
+        return {
+            available: false,
+            graphPath: loaded.path,
+            nodesCount: 0,
+            edgesCount: 0,
+            nodeTypes: {},
+            message: 'No Graphify knowledge graph found at graphify-out/graph.json.',
+            hint: 'In Claude Code run "/graphify ." to build the graph, or run "graphify update ." if already initialized.',
+        };
+    }
+    const { nodes, edges } = loaded.data;
+    const nodeTypes = {};
+    for (const n of nodes) {
+        const t = n.type || 'unknown';
+        nodeTypes[t] = (nodeTypes[t] || 0) + 1;
+    }
+    return {
+        available: true,
+        graphPath: loaded.path,
+        nodesCount: nodes.length,
+        edgesCount: edges.length,
+        nodeTypes,
+        message: `Graphify graph loaded: ${nodes.length} nodes, ${edges.length} edges.`,
+    };
+}
+/**
+ * Extracts a candidate file path and symbol from a node definition.
+ */
+function extractPathAndSymbol(node) {
+    // If explicitly declared:
+    const rawPath = typeof node.path === 'string' ? node.path : typeof node.file === 'string' ? node.file : null;
+    let relPath = rawPath ? rawPath.replace(/\\/g, '/').replace(/^\/+/, '') : null;
+    let symbol = null;
+    if (node.id.includes('::')) {
+        const parts = node.id.split('::');
+        if (!relPath && parts[0] && (parts[0].includes('/') || parts[0].includes('.'))) {
+            relPath = parts[0].replace(/\\/g, '/').replace(/^\/+/, '');
+        }
+        symbol = parts[1] || null;
+    }
+    else if (!relPath && (node.id.includes('/') || node.id.includes('.'))) {
+        relPath = node.id.replace(/\\/g, '/').replace(/^\/+/, '');
+    }
+    if (!symbol && typeof node.name === 'string' && node.name !== relPath) {
+        symbol = node.name;
+    }
+    return { relPath, symbol };
+}
+/**
+ * Verifies whether a node's physical path and symbol exist on disk.
+ */
+async function verifyNode(root, node, depth) {
+    const { relPath, symbol } = extractPathAndSymbol(node);
+    const name = typeof node.name === 'string' ? node.name : typeof node.label === 'string' ? node.label : node.id;
+    const type = typeof node.type === 'string' ? node.type : 'symbol';
+    if (!relPath) {
+        return {
+            id: node.id,
+            name,
+            type,
+            path: null,
+            symbol,
+            depth,
+            status: 'hypothesis',
+            fileExists: false,
+            symbolFound: null,
+            reason: 'No source file associated with node',
+        };
+    }
+    const fullPath = path.join(root, ...relPath.split('/'));
+    const exists = await pathExists(fullPath);
+    if (!exists) {
+        return {
+            id: node.id,
+            name,
+            type,
+            path: relPath,
+            symbol,
+            depth,
+            status: 'hypothesis',
+            fileExists: false,
+            symbolFound: null,
+            reason: `File "${relPath}" not found on disk`,
+        };
+    }
+    let symbolFound = null;
+    let status = 'verified';
+    let reason;
+    if (symbol) {
+        try {
+            const text = await readTextBounded(fullPath, 500_000);
+            if (text) {
+                symbolFound = findSymbolInText(text, symbol);
+                if (!symbolFound) {
+                    status = 'hypothesis';
+                    reason = `Symbol "${symbol}" not found in "${relPath}"`;
+                }
+            }
+        }
+        catch {
+            status = 'hypothesis';
+            reason = `Could not inspect symbols in "${relPath}"`;
+        }
+    }
+    return {
+        id: node.id,
+        name,
+        type,
+        path: relPath,
+        symbol,
+        depth,
+        status,
+        fileExists: true,
+        symbolFound,
+        ...(reason ? { reason } : {}),
+    };
+}
+/**
+ * Finds the starting node in a graph that matches the user's query.
+ */
+export function findMatchingStartNode(nodes, query) {
+    const q = query.trim().toLowerCase();
+    const qNorm = q.replace(/\\/g, '/');
+    // 1. Exact match on ID
+    const exactId = nodes.find((n) => n.id.toLowerCase() === q || n.id.toLowerCase().replace(/\\/g, '/') === qNorm);
+    if (exactId)
+        return exactId;
+    // 2. Exact match on path or file
+    const exactPath = nodes.find((n) => {
+        const p = (n.path || n.file || '').toLowerCase().replace(/\\/g, '/');
+        return p === qNorm;
+    });
+    if (exactPath)
+        return exactPath;
+    // 3. Exact match on name or symbol
+    const exactName = nodes.find((n) => {
+        const name = (n.name || n.label || '').toLowerCase();
+        return name === q;
+    });
+    if (exactName)
+        return exactName;
+    // 4. Substring match on ID or path
+    const subMatch = nodes.find((n) => {
+        const id = n.id.toLowerCase().replace(/\\/g, '/');
+        const p = (n.path || n.file || '').toLowerCase().replace(/\\/g, '/');
+        return id.includes(qNorm) || p.includes(qNorm);
+    });
+    if (subMatch)
+        return subMatch;
+    return null;
+}
+/**
+ * Performs a bounded graph trace starting from a specified file or symbol node up to maxDepth.
+ * Verifies every traversed node against the repository filesystem, marking unverified nodes
+ * and edges as hypotheses.
+ */
+export async function traceGraphService(o, query, options = {}) {
+    const ws = await requireWorkspace(o.cwd);
+    const loaded = await loadGraphData(ws.root);
+    const depthLimit = Math.min(Math.max(options.depth ?? 2, 1), 10);
+    const maxNodes = Math.min(options.maxNodes ?? 150, 500);
+    if (!loaded.exists || !loaded.data) {
+        return {
+            available: false,
+            query,
+            depth: depthLimit,
+            matchedNode: null,
+            totalNodes: 0,
+            verifiedNodes: 0,
+            hypothesisNodes: 0,
+            nodes: [],
+            edges: [],
+            warnings: ['No Graphify graph found at graphify-out/graph.json. Run "/graphify ." in Claude Code.'],
+        };
+    }
+    const { nodes, edges } = loaded.data;
+    const startNode = findMatchingStartNode(nodes, query);
+    if (!startNode) {
+        return {
+            available: true,
+            query,
+            depth: depthLimit,
+            matchedNode: null,
+            totalNodes: 0,
+            verifiedNodes: 0,
+            hypothesisNodes: 0,
+            nodes: [],
+            edges: [],
+            warnings: [`No graph node found matching "${query}". Check node IDs with "devworkspace graph status".`],
+        };
+    }
+    // Build adjacency index
+    const outgoing = new Map();
+    const incoming = new Map();
+    for (const e of edges) {
+        if (!outgoing.has(e.source))
+            outgoing.set(e.source, []);
+        outgoing.get(e.source).push(e);
+        if (!incoming.has(e.target))
+            incoming.set(e.target, []);
+        incoming.get(e.target).push(e);
+    }
+    const nodeMap = new Map(nodes.map((n) => [n.id, n]));
+    // Breadth-first search bounded by depthLimit
+    const visitedDepths = new Map();
+    const queue = [{ id: startNode.id, depth: 0 }];
+    visitedDepths.set(startNode.id, 0);
+    const collectedEdges = [];
+    while (queue.length > 0 && visitedDepths.size < maxNodes) {
+        const current = queue.shift();
+        if (current.depth >= depthLimit)
+            continue;
+        // Explore outgoing edges
+        const outEdges = outgoing.get(current.id) || [];
+        for (const edge of outEdges) {
+            collectedEdges.push(edge);
+            if (!visitedDepths.has(edge.target)) {
+                visitedDepths.set(edge.target, current.depth + 1);
+                queue.push({ id: edge.target, depth: current.depth + 1 });
+            }
+        }
+        // Explore incoming edges
+        const inEdges = incoming.get(current.id) || [];
+        for (const edge of inEdges) {
+            collectedEdges.push(edge);
+            if (!visitedDepths.has(edge.source)) {
+                visitedDepths.set(edge.source, current.depth + 1);
+                queue.push({ id: edge.source, depth: current.depth + 1 });
+            }
+        }
+    }
+    // Verify all traversed nodes against disk
+    const tracedNodes = [];
+    const nodeStatusMap = new Map();
+    for (const [nodeId, depth] of visitedDepths.entries()) {
+        const rawNode = nodeMap.get(nodeId) || { id: nodeId };
+        const verified = await verifyNode(ws.root, rawNode, depth);
+        tracedNodes.push(verified);
+        nodeStatusMap.set(nodeId, verified.status);
+    }
+    // Deduplicate and verify collected edges
+    const edgeKeys = new Set();
+    const tracedEdges = [];
+    for (const e of collectedEdges) {
+        if (!visitedDepths.has(e.source) || !visitedDepths.has(e.target))
+            continue;
+        const key = `${e.source}->${e.target}::${e.relation || e.type || ''}`;
+        if (edgeKeys.has(key))
+            continue;
+        edgeKeys.add(key);
+        const srcStatus = nodeStatusMap.get(e.source);
+        const tgtStatus = nodeStatusMap.get(e.target);
+        const edgeStatus = srcStatus === 'verified' && tgtStatus === 'verified' ? 'verified' : 'hypothesis';
+        tracedEdges.push({
+            source: e.source,
+            target: e.target,
+            relation: typeof e.relation === 'string' ? e.relation : typeof e.type === 'string' ? e.type : 'relates_to',
+            status: edgeStatus,
+        });
+    }
+    // Sort nodes by depth, then by path/name
+    tracedNodes.sort((a, b) => a.depth - b.depth || (a.path || a.id).localeCompare(b.path || b.id));
+    const matched = tracedNodes.find((n) => n.id === startNode.id) || null;
+    const verifiedCount = tracedNodes.filter((n) => n.status === 'verified').length;
+    const hypothesisCount = tracedNodes.filter((n) => n.status === 'hypothesis').length;
+    const warnings = [];
+    if (hypothesisCount > 0) {
+        warnings.push(`${hypothesisCount} node(s) or connected dependencies are unverified hypotheses (files or symbols missing on disk).`);
+    }
+    return {
+        available: true,
+        query,
+        depth: depthLimit,
+        matchedNode: matched,
+        totalNodes: tracedNodes.length,
+        verifiedNodes: verifiedCount,
+        hypothesisNodes: hypothesisCount,
+        nodes: tracedNodes,
+        edges: tracedEdges,
+        warnings,
+    };
+}
+//# sourceMappingURL=graph.js.map

package/dist/services/graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.js","sourceRoot":"","sources":["../../src/services/graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAExD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AA0EvD;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC;AACvD,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAAY;IAC9C,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC,MAAM,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACxC,CAAC;IAED,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACzC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,iBAAiB,CAAC,IAAI,EAAE,sCAAsC,KAAK,MAAO,CAAW,CAAC,OAAO,EAAE,EAAE;YACzG,IAAI,EAAE,oFAAoF;SAC3F,CAAC,CAAC;IACL,CAAC;IAED,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,iBAAiB,CAAC,QAAQ,EAAE,uBAAuB,KAAK,sBAAsB,EAAE;YACxF,IAAI,EAAE,iFAAiF;SACxF,CAAC,CAAC;IACL,CAAC;IAED,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3E,MAAM,IAAI,iBAAiB,CAAC,QAAQ,EAAE,uBAAuB,KAAK,+CAA+C,EAAE;YACjH,IAAI,EAAE,iDAAiD;SACxD,CAAC,CAAC;IACL,CAAC;IAED,MAAM,GAAG,GAAG,MAAsB,CAAC;IACnC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAE/F,OAAO;QACL,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE;KACvB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,CAAiB;IAC3D,MAAM,EAAE,GAAG,MAAM,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAE5C,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACnC,OAAO;YACL,SAAS,EAAE,KAAK;YAChB,SAAS,EAAE,MAAM,CAAC,IAAI;YACtB,UAAU,EAAE,CAAC;YACb,UAAU,EAAE,CAAC;YACb,SAAS,EAAE,EAAE;YACb,OAAO,EAAE,+DAA+D;YACxE,IAAI,EAAE,yGAAyG;SAChH,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC;IACrC,MAAM,SAAS,GAA2B,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,SAAS,CAAC;QAC9B,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC;IAED,OAAO;QACL,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,MAAM,CAAC,IAAI;QACtB,UAAU,EAAE,KAAK,CAAC,MAAM;QACxB,UAAU,EAAE,KAAK,CAAC,MAAM;QACxB,SAAS;QACT,OAAO,EAAE,0BAA0B,KAAK,CAAC,MAAM,WAAW,KAAK,CAAC,MAAM,SAAS;KAChF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,IAAkB;IAC9C,0BAA0B;IAC1B,MAAM,OAAO,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7G,IAAI,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/E,IAAI,MAAM,GAAkB,IAAI,CAAC;IAEjC,IAAI,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC/E,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC7D,CAAC;QACD,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IAC5B,CAAC;SAAM,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACxE,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,CAAC,MAAM,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACtE,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;IACrB,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC7B,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,UAAU,CAAC,IAAY,EAAE,IAAkB,EAAE,KAAa;IACvE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IAC/G,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;IAElE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI;YACJ,IAAI;YACJ,IAAI,EAAE,IAAI;YACV,MAAM;YACN,KAAK;YACL,MAAM,EAAE,YAAY;YACpB,UAAU,EAAE,KAAK;YACjB,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,qCAAqC;SAC9C,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,QAAQ,CAAC,CAAC;IAE1C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI;YACJ,IAAI;YACJ,IAAI,EAAE,OAAO;YACb,MAAM;YACN,KAAK;YACL,MAAM,EAAE,YAAY;YACpB,UAAU,EAAE,KAAK;YACjB,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,SAAS,OAAO,qBAAqB;SAC9C,CAAC;IACJ,CAAC;IAED,IAAI,WAAW,GAAmB,IAAI,CAAC;IACvC,IAAI,MAAM,GAA2B,UAAU,CAAC;IAChD,IAAI,MAA0B,CAAC;IAE/B,IAAI,MAAM,EAAE,CAAC;QACX,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACtD,IAAI,IAAI,EAAE,CAAC;gBACT,WAAW,GAAG,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC7C,IAAI,CAAC,WAAW,EAAE,CAAC;oBACjB,MAAM,GAAG,YAAY,CAAC;oBACtB,MAAM,GAAG,WAAW,MAAM,mBAAmB,OAAO,GAAG,CAAC;gBAC1D,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,GAAG,YAAY,CAAC;YACtB,MAAM,GAAG,iCAAiC,OAAO,GAAG,CAAC;QACvD,CAAC;IACH,CAAC;IAED,OAAO;QACL,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,IAAI;QACJ,IAAI;QACJ,IAAI,EAAE,OAAO;QACb,MAAM;QACN,KAAK;QACL,MAAM;QACN,UAAU,EAAE,IAAI;QAChB,WAAW;QACX,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9B,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAqB,EAAE,KAAa;IACxE,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAEpC,uBAAuB;IACvB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,KAAK,CAAC,CAAC;IAChH,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC;IAE5B,iCAAiC;IACjC,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QACjC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACrE,OAAO,CAAC,KAAK,KAAK,CAAC;IACrB,CAAC,CAAC,CAAC;IACH,IAAI,SAAS;QAAE,OAAO,SAAS,CAAC;IAEhC,mCAAmC;IACnC,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QACjC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACrD,OAAO,IAAI,KAAK,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IACH,IAAI,SAAS;QAAE,OAAO,SAAS,CAAC;IAEhC,mCAAmC;IACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QAChC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACrE,OAAO,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IACH,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAE9B,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,CAAiB,EACjB,KAAa,EACb,UAAiD,EAAE;IAEnD,MAAM,EAAE,GAAG,MAAM,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAE5C,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,GAAG,EAAE,GAAG,CAAC,CAAC;IAExD,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACnC,OAAO;YACL,SAAS,EAAE,KAAK;YAChB,KAAK;YACL,KAAK,EAAE,UAAU;YACjB,WAAW,EAAE,IAAI;YACjB,UAAU,EAAE,CAAC;YACb,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,CAAC;YAClB,KAAK,EAAE,EAAE;YACT,KAAK,EAAE,EAAE;YACT,QAAQ,EAAE,CAAC,uFAAuF,CAAC;SACpG,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC;IACrC,MAAM,SAAS,GAAG,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAEtD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO;YACL,SAAS,EAAE,IAAI;YACf,KAAK;YACL,KAAK,EAAE,UAAU;YACjB,WAAW,EAAE,IAAI;YACjB,UAAU,EAAE,CAAC;YACb,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,CAAC;YAClB,KAAK,EAAE,EAAE;YACT,KAAK,EAAE,EAAE;YACT,QAAQ,EAAE,CAAC,iCAAiC,KAAK,qDAAqD,CAAC;SACxG,CAAC;IACJ,CAAC;IAED,wBAAwB;IACxB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0B,CAAC;IACnD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0B,CAAC;IAEnD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACxD,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEhC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACxD,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,CAAuB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAE3E,6CAA6C;IAC7C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,MAAM,KAAK,GAAoC,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAChF,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAEnC,MAAM,cAAc,GAAmB,EAAE,CAAC;IAE1C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,IAAI,GAAG,QAAQ,EAAE,CAAC;QACzD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/B,IAAI,OAAO,CAAC,KAAK,IAAI,UAAU;YAAE,SAAS;QAE1C,yBAAyB;QACzB,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAChD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;gBAClD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;QAED,yBAAyB;QACzB,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAC/C,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YAC3B,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;gBAClD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;IACH,CAAC;IAED,0CAA0C;IAC1C,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkC,CAAC;IAEhE,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC;QACtD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;QACtD,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC3D,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC;IAED,yCAAyC;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,SAAS;QAC3E,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;QACtE,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAChC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAElB,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,UAAU,GAA2B,SAAS,KAAK,UAAU,IAAI,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC;QAE5H,WAAW,CAAC,IAAI,CAAC;YACf,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY;YAC1G,MAAM,EAAE,UAAU;SACnB,CAAC,CAAC;IACL,CAAC;IAED,yCAAyC;IACzC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEhG,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC;IACvE,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IAChF,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,MAAM,CAAC;IAEpF,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,eAAe,GAAG,CAAC,EAAE,CAAC;QACxB,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,kGAAkG,CAAC,CAAC;IACtI,CAAC;IAED,OAAO;QACL,SAAS,EAAE,IAAI;QACf,KAAK;QACL,KAAK,EAAE,UAAU;QACjB,WAAW,EAAE,OAAO;QACpB,UAAU,EAAE,WAAW,CAAC,MAAM;QAC9B,aAAa,EAAE,aAAa;QAC5B,eAAe,EAAE,eAAe;QAChC,KAAK,EAAE,WAAW;QAClB,KAAK,EAAE,WAAW;QAClB,QAAQ;KACT,CAAC;AACJ,CAAC","sourcesContent":["import { promises as fs } from 'node:fs';\nimport path from 'node:path';\nimport { pathExists, readTextBounded } from '../utils/fs.js';\nimport { findSymbolInText } from '../features/validate.js';\nimport { requireWorkspace } from '../core/workspace.js';\nimport type { ServiceOptions } from './common.js';\nimport { DevWorkspaceError } from '../errors/index.js';\n\nexport type NodeVerificationStatus = 'verified' | 'hypothesis';\n\nexport interface RawGraphNode {\n  id: string;\n  name?: string;\n  label?: string;\n  type?: string;\n  path?: string;\n  file?: string;\n  [key: string]: unknown;\n}\n\nexport interface RawGraphEdge {\n  source: string;\n  target: string;\n  relation?: string;\n  type?: string;\n  label?: string;\n  weight?: number;\n  [key: string]: unknown;\n}\n\nexport interface RawGraphData {\n  nodes?: RawGraphNode[];\n  edges?: RawGraphEdge[];\n  links?: RawGraphEdge[];\n  [key: string]: unknown;\n}\n\nexport interface TracedNode {\n  id: string;\n  name: string;\n  type: string;\n  path: string | null;\n  symbol: string | null;\n  depth: number;\n  status: NodeVerificationStatus;\n  fileExists: boolean;\n  symbolFound: boolean | null;\n  reason?: string;\n}\n\nexport interface TracedEdge {\n  source: string;\n  target: string;\n  relation: string;\n  status: NodeVerificationStatus;\n}\n\nexport interface GraphStatusResult {\n  available: boolean;\n  graphPath: string;\n  nodesCount: number;\n  edgesCount: number;\n  nodeTypes: Record<string, number>;\n  message: string;\n  hint?: string;\n}\n\nexport interface GraphTraceResult {\n  available: boolean;\n  query: string;\n  depth: number;\n  matchedNode: TracedNode | null;\n  totalNodes: number;\n  verifiedNodes: number;\n  hypothesisNodes: number;\n  nodes: TracedNode[];\n  edges: TracedEdge[];\n  warnings: string[];\n}\n\n/**\n * Resolves the location of Graphify's output graph in the repository.\n */\nexport function getGraphPath(root: string): string {\n  return path.join(root, 'graphify-out', 'graph.json');\n}\n\n/**\n * Loads and validates Graphify graph JSON data safely.\n */\nexport async function loadGraphData(root: string): Promise<{ exists: boolean; path: string; data?: { nodes: RawGraphNode[]; edges: RawGraphEdge[] } }> {\n  const gPath = getGraphPath(root);\n  if (!(await pathExists(gPath))) {\n    return { exists: false, path: gPath };\n  }\n\n  let raw: string;\n  try {\n    raw = await fs.readFile(gPath, 'utf8');\n  } catch (e) {\n    throw new DevWorkspaceError('IO', `Failed to read Graphify output at \"${gPath}\": ${(e as Error).message}`, {\n      hint: 'Ensure graphify-out/graph.json is readable or regenerate with \"graphify update .\".',\n    });\n  }\n\n  let parsed: unknown;\n  try {\n    parsed = JSON.parse(raw);\n  } catch {\n    throw new DevWorkspaceError('SCHEMA', `Graphify output at \"${gPath}\" is not valid JSON.`, {\n      hint: 'Regenerate the graph using \"graphify update .\" or \"/graphify .\" in Claude Code.',\n    });\n  }\n\n  if (typeof parsed !== 'object' || parsed === null || Array.isArray(parsed)) {\n    throw new DevWorkspaceError('SCHEMA', `Graphify output at \"${gPath}\" must be a JSON object with nodes and edges.`, {\n      hint: 'Regenerate the graph using \"graphify update .\".',\n    });\n  }\n\n  const obj = parsed as RawGraphData;\n  const nodes = Array.isArray(obj.nodes) ? obj.nodes : [];\n  const edges = Array.isArray(obj.edges) ? obj.edges : Array.isArray(obj.links) ? obj.links : [];\n\n  return {\n    exists: true,\n    path: gPath,\n    data: { nodes, edges },\n  };\n}\n\n/**\n * Reports the presence, size, and basic schema health of the Graphify graph.\n */\nexport async function getGraphStatusService(o: ServiceOptions): Promise<GraphStatusResult> {\n  const ws = await requireWorkspace(o.cwd);\n  const loaded = await loadGraphData(ws.root);\n\n  if (!loaded.exists || !loaded.data) {\n    return {\n      available: false,\n      graphPath: loaded.path,\n      nodesCount: 0,\n      edgesCount: 0,\n      nodeTypes: {},\n      message: 'No Graphify knowledge graph found at graphify-out/graph.json.',\n      hint: 'In Claude Code run \"/graphify .\" to build the graph, or run \"graphify update .\" if already initialized.',\n    };\n  }\n\n  const { nodes, edges } = loaded.data;\n  const nodeTypes: Record<string, number> = {};\n  for (const n of nodes) {\n    const t = n.type || 'unknown';\n    nodeTypes[t] = (nodeTypes[t] || 0) + 1;\n  }\n\n  return {\n    available: true,\n    graphPath: loaded.path,\n    nodesCount: nodes.length,\n    edgesCount: edges.length,\n    nodeTypes,\n    message: `Graphify graph loaded: ${nodes.length} nodes, ${edges.length} edges.`,\n  };\n}\n\n/**\n * Extracts a candidate file path and symbol from a node definition.\n */\nfunction extractPathAndSymbol(node: RawGraphNode): { relPath: string | null; symbol: string | null } {\n  // If explicitly declared:\n  const rawPath = typeof node.path === 'string' ? node.path : typeof node.file === 'string' ? node.file : null;\n  let relPath = rawPath ? rawPath.replace(/\\\\/g, '/').replace(/^\\/+/, '') : null;\n  let symbol: string | null = null;\n\n  if (node.id.includes('::')) {\n    const parts = node.id.split('::');\n    if (!relPath && parts[0] && (parts[0].includes('/') || parts[0].includes('.'))) {\n      relPath = parts[0].replace(/\\\\/g, '/').replace(/^\\/+/, '');\n    }\n    symbol = parts[1] || null;\n  } else if (!relPath && (node.id.includes('/') || node.id.includes('.'))) {\n    relPath = node.id.replace(/\\\\/g, '/').replace(/^\\/+/, '');\n  }\n\n  if (!symbol && typeof node.name === 'string' && node.name !== relPath) {\n    symbol = node.name;\n  }\n\n  return { relPath, symbol };\n}\n\n/**\n * Verifies whether a node's physical path and symbol exist on disk.\n */\nasync function verifyNode(root: string, node: RawGraphNode, depth: number): Promise<TracedNode> {\n  const { relPath, symbol } = extractPathAndSymbol(node);\n  const name = typeof node.name === 'string' ? node.name : typeof node.label === 'string' ? node.label : node.id;\n  const type = typeof node.type === 'string' ? node.type : 'symbol';\n\n  if (!relPath) {\n    return {\n      id: node.id,\n      name,\n      type,\n      path: null,\n      symbol,\n      depth,\n      status: 'hypothesis',\n      fileExists: false,\n      symbolFound: null,\n      reason: 'No source file associated with node',\n    };\n  }\n\n  const fullPath = path.join(root, ...relPath.split('/'));\n  const exists = await pathExists(fullPath);\n\n  if (!exists) {\n    return {\n      id: node.id,\n      name,\n      type,\n      path: relPath,\n      symbol,\n      depth,\n      status: 'hypothesis',\n      fileExists: false,\n      symbolFound: null,\n      reason: `File \"${relPath}\" not found on disk`,\n    };\n  }\n\n  let symbolFound: boolean | null = null;\n  let status: NodeVerificationStatus = 'verified';\n  let reason: string | undefined;\n\n  if (symbol) {\n    try {\n      const text = await readTextBounded(fullPath, 500_000);\n      if (text) {\n        symbolFound = findSymbolInText(text, symbol);\n        if (!symbolFound) {\n          status = 'hypothesis';\n          reason = `Symbol \"${symbol}\" not found in \"${relPath}\"`;\n        }\n      }\n    } catch {\n      status = 'hypothesis';\n      reason = `Could not inspect symbols in \"${relPath}\"`;\n    }\n  }\n\n  return {\n    id: node.id,\n    name,\n    type,\n    path: relPath,\n    symbol,\n    depth,\n    status,\n    fileExists: true,\n    symbolFound,\n    ...(reason ? { reason } : {}),\n  };\n}\n\n/**\n * Finds the starting node in a graph that matches the user's query.\n */\nexport function findMatchingStartNode(nodes: RawGraphNode[], query: string): RawGraphNode | null {\n  const q = query.trim().toLowerCase();\n  const qNorm = q.replace(/\\\\/g, '/');\n\n  // 1. Exact match on ID\n  const exactId = nodes.find((n) => n.id.toLowerCase() === q || n.id.toLowerCase().replace(/\\\\/g, '/') === qNorm);\n  if (exactId) return exactId;\n\n  // 2. Exact match on path or file\n  const exactPath = nodes.find((n) => {\n    const p = (n.path || n.file || '').toLowerCase().replace(/\\\\/g, '/');\n    return p === qNorm;\n  });\n  if (exactPath) return exactPath;\n\n  // 3. Exact match on name or symbol\n  const exactName = nodes.find((n) => {\n    const name = (n.name || n.label || '').toLowerCase();\n    return name === q;\n  });\n  if (exactName) return exactName;\n\n  // 4. Substring match on ID or path\n  const subMatch = nodes.find((n) => {\n    const id = n.id.toLowerCase().replace(/\\\\/g, '/');\n    const p = (n.path || n.file || '').toLowerCase().replace(/\\\\/g, '/');\n    return id.includes(qNorm) || p.includes(qNorm);\n  });\n  if (subMatch) return subMatch;\n\n  return null;\n}\n\n/**\n * Performs a bounded graph trace starting from a specified file or symbol node up to maxDepth.\n * Verifies every traversed node against the repository filesystem, marking unverified nodes\n * and edges as hypotheses.\n */\nexport async function traceGraphService(\n  o: ServiceOptions,\n  query: string,\n  options: { depth?: number; maxNodes?: number } = {},\n): Promise<GraphTraceResult> {\n  const ws = await requireWorkspace(o.cwd);\n  const loaded = await loadGraphData(ws.root);\n\n  const depthLimit = Math.min(Math.max(options.depth ?? 2, 1), 10);\n  const maxNodes = Math.min(options.maxNodes ?? 150, 500);\n\n  if (!loaded.exists || !loaded.data) {\n    return {\n      available: false,\n      query,\n      depth: depthLimit,\n      matchedNode: null,\n      totalNodes: 0,\n      verifiedNodes: 0,\n      hypothesisNodes: 0,\n      nodes: [],\n      edges: [],\n      warnings: ['No Graphify graph found at graphify-out/graph.json. Run \"/graphify .\" in Claude Code.'],\n    };\n  }\n\n  const { nodes, edges } = loaded.data;\n  const startNode = findMatchingStartNode(nodes, query);\n\n  if (!startNode) {\n    return {\n      available: true,\n      query,\n      depth: depthLimit,\n      matchedNode: null,\n      totalNodes: 0,\n      verifiedNodes: 0,\n      hypothesisNodes: 0,\n      nodes: [],\n      edges: [],\n      warnings: [`No graph node found matching \"${query}\". Check node IDs with \"devworkspace graph status\".`],\n    };\n  }\n\n  // Build adjacency index\n  const outgoing = new Map<string, RawGraphEdge[]>();\n  const incoming = new Map<string, RawGraphEdge[]>();\n\n  for (const e of edges) {\n    if (!outgoing.has(e.source)) outgoing.set(e.source, []);\n    outgoing.get(e.source)!.push(e);\n\n    if (!incoming.has(e.target)) incoming.set(e.target, []);\n    incoming.get(e.target)!.push(e);\n  }\n\n  const nodeMap = new Map<string, RawGraphNode>(nodes.map((n) => [n.id, n]));\n\n  // Breadth-first search bounded by depthLimit\n  const visitedDepths = new Map<string, number>();\n  const queue: { id: string; depth: number }[] = [{ id: startNode.id, depth: 0 }];\n  visitedDepths.set(startNode.id, 0);\n\n  const collectedEdges: RawGraphEdge[] = [];\n\n  while (queue.length > 0 && visitedDepths.size < maxNodes) {\n    const current = queue.shift()!;\n    if (current.depth >= depthLimit) continue;\n\n    // Explore outgoing edges\n    const outEdges = outgoing.get(current.id) || [];\n    for (const edge of outEdges) {\n      collectedEdges.push(edge);\n      if (!visitedDepths.has(edge.target)) {\n        visitedDepths.set(edge.target, current.depth + 1);\n        queue.push({ id: edge.target, depth: current.depth + 1 });\n      }\n    }\n\n    // Explore incoming edges\n    const inEdges = incoming.get(current.id) || [];\n    for (const edge of inEdges) {\n      collectedEdges.push(edge);\n      if (!visitedDepths.has(edge.source)) {\n        visitedDepths.set(edge.source, current.depth + 1);\n        queue.push({ id: edge.source, depth: current.depth + 1 });\n      }\n    }\n  }\n\n  // Verify all traversed nodes against disk\n  const tracedNodes: TracedNode[] = [];\n  const nodeStatusMap = new Map<string, NodeVerificationStatus>();\n\n  for (const [nodeId, depth] of visitedDepths.entries()) {\n    const rawNode = nodeMap.get(nodeId) || { id: nodeId };\n    const verified = await verifyNode(ws.root, rawNode, depth);\n    tracedNodes.push(verified);\n    nodeStatusMap.set(nodeId, verified.status);\n  }\n\n  // Deduplicate and verify collected edges\n  const edgeKeys = new Set<string>();\n  const tracedEdges: TracedEdge[] = [];\n\n  for (const e of collectedEdges) {\n    if (!visitedDepths.has(e.source) || !visitedDepths.has(e.target)) continue;\n    const key = `${e.source}->${e.target}::${e.relation || e.type || ''}`;\n    if (edgeKeys.has(key)) continue;\n    edgeKeys.add(key);\n\n    const srcStatus = nodeStatusMap.get(e.source);\n    const tgtStatus = nodeStatusMap.get(e.target);\n    const edgeStatus: NodeVerificationStatus = srcStatus === 'verified' && tgtStatus === 'verified' ? 'verified' : 'hypothesis';\n\n    tracedEdges.push({\n      source: e.source,\n      target: e.target,\n      relation: typeof e.relation === 'string' ? e.relation : typeof e.type === 'string' ? e.type : 'relates_to',\n      status: edgeStatus,\n    });\n  }\n\n  // Sort nodes by depth, then by path/name\n  tracedNodes.sort((a, b) => a.depth - b.depth || (a.path || a.id).localeCompare(b.path || b.id));\n\n  const matched = tracedNodes.find((n) => n.id === startNode.id) || null;\n  const verifiedCount = tracedNodes.filter((n) => n.status === 'verified').length;\n  const hypothesisCount = tracedNodes.filter((n) => n.status === 'hypothesis').length;\n\n  const warnings: string[] = [];\n  if (hypothesisCount > 0) {\n    warnings.push(`${hypothesisCount} node(s) or connected dependencies are unverified hypotheses (files or symbols missing on disk).`);\n  }\n\n  return {\n    available: true,\n    query,\n    depth: depthLimit,\n    matchedNode: matched,\n    totalNodes: tracedNodes.length,\n    verifiedNodes: verifiedCount,\n    hypothesisNodes: hypothesisCount,\n    nodes: tracedNodes,\n    edges: tracedEdges,\n    warnings,\n  };\n}\n\n"]}

package/dist/services/refresh.js

@@ -4,6 +4,8 @@ import { loadProject } from '../core/workspace.js';
 import { readVersioned, writeVersioned } from '../core/versioned.js';
 import { packageVersion } from '../core/version.js';
 import { applyStaleness, evaluateStaleness, loadFacts, saveFacts } from '../knowledge/facts.js';
+import { loadFeatures, saveFeatures } from './features.js';
+import { validateFeature } from '../features/validate.js';
 import { buildRefreshPrompt } from '../prompts/refresh.js';
 import { pathExists, sha256Text, writeJsonIfChanged, writeTextIfChanged } from '../utils/fs.js';
 import { applyDetectorFacts, runDiscovery, writeCommands } from './analysis.js';
@@ -42,6 +44,19 @@ export async function refreshWorkspace(o) {
         const facts = await loadFacts(ws);
         const rep = await applyStaleness(ws.root, facts, now);
         await saveFacts(ws, facts);
+        if (await pathExists(ws.features)) {
+            try {
+                const featuresFile = await loadFeatures(ws);
+                for (const feat of featuresFile.features) {
+                    const checked = await validateFeature(ws.root, feat);
+                    feat.status = checked.status;
+                }
+                await saveFeatures(ws, featuresFile);
+            }
+            catch {
+                // preserve existing features on error
+            }
+        }
         const stale = facts.facts.filter((f) => f.status === 'STALE' && f.sourceType !== 'detector').map((f) => ({ key: f.key, value: f.value, reason: f.staleReason ?? 'evidence changed' }));
         let prompt = null;
         if (stale.length > 0 || rep.needsReview.length > 0) {

package/dist/services/refresh.js.map

@@ -1 +1 @@
-{"version":3,"file":"refresh.js","sourceRoot":"","sources":["../../src/services/refresh.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAsB,MAAM,sBAAsB,CAAC;AACjG,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAChG,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAChG,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAChF,OAAO,EAAE,MAAM,EAAE,MAAM,EAAuB,MAAM,aAAa,CAAC;AAYlE;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,CAAiB;IACtD,OAAO,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE;QAC5B,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,EAAE,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,GAAG,GAAG,MAAM,YAAY,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACvG,IAAI,QAAQ,GAAyB,IAAI,CAAC;QAC1C,IAAI,MAAM,UAAU,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC;YACvC,QAAQ,GAAG,CAAC,MAAM,aAAa,CAAC,EAAE,CAAC,aAAa,EAAE,UAAU,EAAE,cAAc,EAAE,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7G,CAAC;QACD,MAAM,WAAW,GAAG,CAAC,CAAC,QAAQ,IAAI,QAAQ,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO,CAAC;QAEnE,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC;YAClC,MAAM,IAAI,GAAG,MAAM,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;YAC7F,OAAO;gBACL,MAAM,EAAE,IAAI;gBACZ,WAAW;gBACX,aAAa,EAAE,EAAE;gBACjB,OAAO,EAAE,EAAE;gBACX,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACzF,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,MAAM,EAAE,IAAI;aACb,CAAC;QACJ,CAAC;QAED,MAAM,kBAAkB,CAAC,EAAE,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QACtD,MAAM,aAAa,CAAC,EAAE,EAAE,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;QAC7F,MAAM,GAAG,GAAG,MAAM,kBAAkB,CAAC,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAE7D,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,MAAM,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACtD,MAAM,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAE3B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,WAAW,IAAI,kBAAkB,EAAE,CAAC,CAAC,CAAC;QACvL,IAAI,MAAM,GAAkB,IAAI,CAAC;QACjC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnD,MAAM,kBAAkB,CACtB,EAAE,CAAC,aAAa,EAChB,kBAAkB,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,aAAa,EAAE,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,CAAC,CACjJ,CAAC;YACF,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACxE,CAAC;QAED,MAAM,KAAK,GAAkB;YAC3B,aAAa,EAAE,cAAc;YAC7B,UAAU,EAAE,QAAQ,EAAE,UAAU,IAAI,GAAG;YACvC,WAAW,EAAE,GAAG;YAChB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS;YACvC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS;YACvC,aAAa,EAAE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;SACzD,CAAC;QACF,MAAM,cAAc,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;QAClD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC;IACvI,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["import path from 'node:path';\nimport { SCHEMA_VERSION, validateAnalysisState, type AnalysisState } from '../config/schemas.js';\nimport { loadProject } from '../core/workspace.js';\nimport { readVersioned, writeVersioned } from '../core/versioned.js';\nimport { packageVersion } from '../core/version.js';\nimport { applyStaleness, evaluateStaleness, loadFacts, saveFacts } from '../knowledge/facts.js';\nimport { buildRefreshPrompt } from '../prompts/refresh.js';\nimport { pathExists, sha256Text, writeJsonIfChanged, writeTextIfChanged } from '../utils/fs.js';\nimport { applyDetectorFacts, runDiscovery, writeCommands } from './analysis.js';\nimport { isoNow, mutate, type ServiceOptions } from './common.js';\n\nexport interface RefreshResult {\n  dryRun: boolean;\n  headChanged: boolean;\n  autoRefreshed: string[];\n  retired: string[];\n  stale: { key: string; value: string; reason: string }[];\n  needsReview: { key: string; reason: string }[];\n  prompt: string | null;\n}\n\n/**\n * Incremental refresh. Deterministic facts are re-derived on the spot; everything else is re-hashed against its cited\n * sources and only the facts whose evidence changed become STALE and enter the (optional) agent refresh prompt.\n */\nexport async function refreshWorkspace(o: ServiceOptions): Promise<RefreshResult> {\n  return mutate(o, async (ws) => {\n    const project = await loadProject(ws);\n    const now = isoNow(o);\n    const run = await runDiscovery(ws, project.name, project.settings.maxFiles, { writeCache: !o.dryRun });\n    let previous: AnalysisState | null = null;\n    if (await pathExists(ws.analysisState)) {\n      previous = (await readVersioned(ws.analysisState, 'analysis', SCHEMA_VERSION, validateAnalysisState)).data;\n    }\n    const headChanged = !!previous && previous.gitHead !== run.gitHead;\n\n    if (o.dryRun) {\n      const facts = await loadFacts(ws);\n      const view = await evaluateStaleness(ws.root, facts, now);\n      const valueOf = (key: string): string => facts.facts.find((f) => f.key === key)?.value ?? '';\n      return {\n        dryRun: true,\n        headChanged,\n        autoRefreshed: [],\n        retired: [],\n        stale: [...view.recorded, ...view.detected].map((s) => ({ ...s, value: valueOf(s.key) })),\n        needsReview: view.needsReview,\n        prompt: null,\n      };\n    }\n\n    await writeJsonIfChanged(ws.discovery, run.discovery);\n    await writeCommands(ws, run.discovery.commands, { truncated: run.discovery.scan.truncated });\n    const det = await applyDetectorFacts(ws, run.discovery, now);\n\n    const facts = await loadFacts(ws);\n    const rep = await applyStaleness(ws.root, facts, now);\n    await saveFacts(ws, facts);\n\n    const stale = facts.facts.filter((f) => f.status === 'STALE' && f.sourceType !== 'detector').map((f) => ({ key: f.key, value: f.value, reason: f.staleReason ?? 'evidence changed' }));\n    let prompt: string | null = null;\n    if (stale.length > 0 || rep.needsReview.length > 0) {\n      await writeTextIfChanged(\n        ws.refreshPrompt,\n        buildRefreshPrompt({ projectName: project.name, stale, needsReview: rep.needsReview, autoRefreshed: det.written, cliVersion: packageVersion() }),\n      );\n      prompt = path.relative(ws.root, ws.refreshPrompt).replace(/\\\\/g, '/');\n    }\n\n    const state: AnalysisState = {\n      schemaVersion: SCHEMA_VERSION,\n      analyzedAt: previous?.analyzedAt ?? now,\n      refreshedAt: now,\n      gitHead: run.gitHead,\n      fileCount: run.discovery.scan.fileCount,\n      truncated: run.discovery.scan.truncated,\n      discoveryHash: sha256Text(JSON.stringify(run.discovery)),\n    };\n    await writeVersioned(ws, ws.analysisState, state);\n    return { dryRun: false, headChanged, autoRefreshed: det.written, retired: det.retired, stale, needsReview: rep.needsReview, prompt };\n  });\n}\n"]}
+{"version":3,"file":"refresh.js","sourceRoot":"","sources":["../../src/services/refresh.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAsB,MAAM,sBAAsB,CAAC;AACjG,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAChG,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAChG,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAChF,OAAO,EAAE,MAAM,EAAE,MAAM,EAAuB,MAAM,aAAa,CAAC;AAYlE;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,CAAiB;IACtD,OAAO,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE;QAC5B,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,EAAE,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,GAAG,GAAG,MAAM,YAAY,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACvG,IAAI,QAAQ,GAAyB,IAAI,CAAC;QAC1C,IAAI,MAAM,UAAU,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC;YACvC,QAAQ,GAAG,CAAC,MAAM,aAAa,CAAC,EAAE,CAAC,aAAa,EAAE,UAAU,EAAE,cAAc,EAAE,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7G,CAAC;QACD,MAAM,WAAW,GAAG,CAAC,CAAC,QAAQ,IAAI,QAAQ,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO,CAAC;QAEnE,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC;YAClC,MAAM,IAAI,GAAG,MAAM,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;YAC7F,OAAO;gBACL,MAAM,EAAE,IAAI;gBACZ,WAAW;gBACX,aAAa,EAAE,EAAE;gBACjB,OAAO,EAAE,EAAE;gBACX,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACzF,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,MAAM,EAAE,IAAI;aACb,CAAC;QACJ,CAAC;QAED,MAAM,kBAAkB,CAAC,EAAE,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QACtD,MAAM,aAAa,CAAC,EAAE,EAAE,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;QAC7F,MAAM,GAAG,GAAG,MAAM,kBAAkB,CAAC,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAE7D,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,MAAM,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACtD,MAAM,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAE3B,IAAI,MAAM,UAAU,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,IAAI,CAAC;gBACH,MAAM,YAAY,GAAG,MAAM,YAAY,CAAC,EAAE,CAAC,CAAC;gBAC5C,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;oBACzC,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;oBACrD,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;gBAC/B,CAAC;gBACD,MAAM,YAAY,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;YACvC,CAAC;YAAC,MAAM,CAAC;gBACP,sCAAsC;YACxC,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,WAAW,IAAI,kBAAkB,EAAE,CAAC,CAAC,CAAC;QACvL,IAAI,MAAM,GAAkB,IAAI,CAAC;QACjC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnD,MAAM,kBAAkB,CACtB,EAAE,CAAC,aAAa,EAChB,kBAAkB,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,aAAa,EAAE,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,CAAC,CACjJ,CAAC;YACF,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACxE,CAAC;QAED,MAAM,KAAK,GAAkB;YAC3B,aAAa,EAAE,cAAc;YAC7B,UAAU,EAAE,QAAQ,EAAE,UAAU,IAAI,GAAG;YACvC,WAAW,EAAE,GAAG;YAChB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS;YACvC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS;YACvC,aAAa,EAAE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;SACzD,CAAC;QACF,MAAM,cAAc,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;QAClD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC;IACvI,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["import path from 'node:path';\nimport { SCHEMA_VERSION, validateAnalysisState, type AnalysisState } from '../config/schemas.js';\nimport { loadProject } from '../core/workspace.js';\nimport { readVersioned, writeVersioned } from '../core/versioned.js';\nimport { packageVersion } from '../core/version.js';\nimport { applyStaleness, evaluateStaleness, loadFacts, saveFacts } from '../knowledge/facts.js';\nimport { loadFeatures, saveFeatures } from './features.js';\nimport { validateFeature } from '../features/validate.js';\nimport { buildRefreshPrompt } from '../prompts/refresh.js';\nimport { pathExists, sha256Text, writeJsonIfChanged, writeTextIfChanged } from '../utils/fs.js';\nimport { applyDetectorFacts, runDiscovery, writeCommands } from './analysis.js';\nimport { isoNow, mutate, type ServiceOptions } from './common.js';\n\nexport interface RefreshResult {\n  dryRun: boolean;\n  headChanged: boolean;\n  autoRefreshed: string[];\n  retired: string[];\n  stale: { key: string; value: string; reason: string }[];\n  needsReview: { key: string; reason: string }[];\n  prompt: string | null;\n}\n\n/**\n * Incremental refresh. Deterministic facts are re-derived on the spot; everything else is re-hashed against its cited\n * sources and only the facts whose evidence changed become STALE and enter the (optional) agent refresh prompt.\n */\nexport async function refreshWorkspace(o: ServiceOptions): Promise<RefreshResult> {\n  return mutate(o, async (ws) => {\n    const project = await loadProject(ws);\n    const now = isoNow(o);\n    const run = await runDiscovery(ws, project.name, project.settings.maxFiles, { writeCache: !o.dryRun });\n    let previous: AnalysisState | null = null;\n    if (await pathExists(ws.analysisState)) {\n      previous = (await readVersioned(ws.analysisState, 'analysis', SCHEMA_VERSION, validateAnalysisState)).data;\n    }\n    const headChanged = !!previous && previous.gitHead !== run.gitHead;\n\n    if (o.dryRun) {\n      const facts = await loadFacts(ws);\n      const view = await evaluateStaleness(ws.root, facts, now);\n      const valueOf = (key: string): string => facts.facts.find((f) => f.key === key)?.value ?? '';\n      return {\n        dryRun: true,\n        headChanged,\n        autoRefreshed: [],\n        retired: [],\n        stale: [...view.recorded, ...view.detected].map((s) => ({ ...s, value: valueOf(s.key) })),\n        needsReview: view.needsReview,\n        prompt: null,\n      };\n    }\n\n    await writeJsonIfChanged(ws.discovery, run.discovery);\n    await writeCommands(ws, run.discovery.commands, { truncated: run.discovery.scan.truncated });\n    const det = await applyDetectorFacts(ws, run.discovery, now);\n\n    const facts = await loadFacts(ws);\n    const rep = await applyStaleness(ws.root, facts, now);\n    await saveFacts(ws, facts);\n\n    if (await pathExists(ws.features)) {\n      try {\n        const featuresFile = await loadFeatures(ws);\n        for (const feat of featuresFile.features) {\n          const checked = await validateFeature(ws.root, feat);\n          feat.status = checked.status;\n        }\n        await saveFeatures(ws, featuresFile);\n      } catch {\n        // preserve existing features on error\n      }\n    }\n\n    const stale = facts.facts.filter((f) => f.status === 'STALE' && f.sourceType !== 'detector').map((f) => ({ key: f.key, value: f.value, reason: f.staleReason ?? 'evidence changed' }));\n    let prompt: string | null = null;\n    if (stale.length > 0 || rep.needsReview.length > 0) {\n      await writeTextIfChanged(\n        ws.refreshPrompt,\n        buildRefreshPrompt({ projectName: project.name, stale, needsReview: rep.needsReview, autoRefreshed: det.written, cliVersion: packageVersion() }),\n      );\n      prompt = path.relative(ws.root, ws.refreshPrompt).replace(/\\\\/g, '/');\n    }\n\n    const state: AnalysisState = {\n      schemaVersion: SCHEMA_VERSION,\n      analyzedAt: previous?.analyzedAt ?? now,\n      refreshedAt: now,\n      gitHead: run.gitHead,\n      fileCount: run.discovery.scan.fileCount,\n      truncated: run.discovery.scan.truncated,\n      discoveryHash: sha256Text(JSON.stringify(run.discovery)),\n    };\n    await writeVersioned(ws, ws.analysisState, state);\n    return { dryRun: false, headChanged, autoRefreshed: det.written, retired: det.retired, stale, needsReview: rep.needsReview, prompt };\n  });\n}\n"]}

package/dist/services/setup.d.ts

@@ -0,0 +1,56 @@
+import { type ServiceOptions } from './common.js';
+import type { ContractDriftItem } from '../discovery/commands.js';
+export type CliExecutionMode = 'source-checkout' | 'installed-package' | 'npx-cache';
+export interface CliProvenance {
+    version: string;
+    path: string;
+    mode: CliExecutionMode;
+}
+export declare function detectCliProvenance(): CliProvenance;
+export interface ProjectSetupResult {
+    root: string;
+    os: string;
+    nodeVersion: string;
+    cli: CliProvenance;
+    initialized: boolean;
+    isFirstRun: boolean;
+    projectName: string;
+    packages: {
+        path: string;
+        ecosystem: string;
+        packageManager?: string;
+    }[];
+    frameworks: string[];
+    verification: {
+        total: number;
+        available: number;
+        checks: string[];
+        drift: ContractDriftItem[];
+    };
+    features: {
+        present: boolean;
+        total: number;
+        verified: number;
+        unknown: number;
+    } | null;
+    integrations: {
+        id: string;
+        name: string;
+        status: string;
+        required: boolean;
+    }[];
+    doctor: {
+        healthy: boolean;
+        passed: number;
+        warnings: number;
+        failures: number;
+    };
+    nextSteps: string[];
+}
+/**
+ * Single-command setup workflow.
+ * Idempotently inspects repository, initializes or safely updates .devworkspace/,
+ * discovers packages & commands, checks for drift, validates feature map if present,
+ * observes optional integrations, and runs safe diagnostics.
+ */
+export declare function setupProject(o: ServiceOptions): Promise<ProjectSetupResult>;

package/dist/services/setup.js

@@ -0,0 +1,116 @@
+import os from 'node:os';
+import path from 'node:path';
+import { packageVersion } from '../core/version.js';
+import { findWorkspaceRoot, loadProject, wsPaths } from '../core/workspace.js';
+import { detectContractDrift } from '../discovery/commands.js';
+import { inspectAll } from '../integrations/index.js';
+import { pathExists } from '../utils/fs.js';
+import { analyzeWorkspace } from './analysis.js';
+import { managerEnv } from './common.js';
+import { runDoctor } from './doctor.js';
+import { loadFeatures } from './features.js';
+import { initWorkspace } from './init.js';
+import { validateFeatureMap } from '../features/validate.js';
+export function detectCliProvenance() {
+    const cliPath = process.argv[1] ? path.resolve(process.argv[1]) : 'unknown';
+    const norm = cliPath.replace(/\\/g, '/');
+    let mode = 'installed-package';
+    if (norm.includes('/_npx/') || norm.includes('\\_npx\\')) {
+        mode = 'npx-cache';
+    }
+    else if (norm.includes('/devworkspace/dist/') || norm.endsWith('/dist/cli/main.js') || norm.endsWith('/src/cli/main.ts')) {
+        mode = 'source-checkout';
+    }
+    return { version: packageVersion(), path: cliPath, mode };
+}
+/**
+ * Single-command setup workflow.
+ * Idempotently inspects repository, initializes or safely updates .devworkspace/,
+ * discovers packages & commands, checks for drift, validates feature map if present,
+ * observes optional integrations, and runs safe diagnostics.
+ */
+export async function setupProject(o) {
+    const startDir = o.cwd ? path.resolve(o.cwd) : process.cwd();
+    const existingRoot = await findWorkspaceRoot(startDir);
+    const root = existingRoot ?? startDir;
+    const isFirstRun = !existingRoot;
+    const cli = detectCliProvenance();
+    // 1. Initialize workspace non-destructively
+    await initWorkspace({ ...o, cwd: root, root });
+    // 2. Discover packages, commands, frameworks, entrypoints, and derive detector facts
+    const ws = wsPaths(root);
+    const analysis = await analyzeWorkspace(ws, { ...o, cwd: root });
+    // 3. Inspect configured verification commands and detect contract drift
+    const driftReport = await detectContractDrift(ws.root, analysis.discovery.commands);
+    const availableChecks = analysis.discovery.commands.filter((c) => c.available);
+    // 4. Validate feature map if present
+    let featuresSummary = null;
+    if (await pathExists(ws.features)) {
+        try {
+            const f = await loadFeatures(ws);
+            const rep = await validateFeatureMap(ws.root, f.features);
+            featuresSummary = {
+                present: true,
+                total: rep.total,
+                verified: rep.verified,
+                unknown: rep.unknown,
+            };
+        }
+        catch {
+            featuresSummary = { present: true, total: 0, verified: 0, unknown: 0 };
+        }
+    }
+    // 5. Shallowly observe optional integrations (Graphify, Agent Skills, Ponytail, OmniRoute)
+    const integrationsReports = await inspectAll(ws, managerEnv(o, root), { deep: false });
+    const integrations = integrationsReports.map((r) => ({
+        id: r.id,
+        name: r.name,
+        status: r.status,
+        required: r.required,
+    }));
+    // 6. Run doctor diagnostics
+    const doctorResult = await runDoctor({ ...o, cwd: root });
+    // 7. Compile next steps
+    const nextSteps = [];
+    if (driftReport.hasDrift) {
+        nextSteps.push('Review verification contract drift: run "devworkspace refresh" or edit .devworkspace/context/commands.json.');
+    }
+    const missingRequired = integrationsReports.filter((r) => r.required && r.status === 'NOT_INSTALLED');
+    if (missingRequired.length > 0) {
+        nextSteps.push(`Optional integrations: run "devworkspace setup --integrations --yes" to install ${missingRequired.map((m) => m.name).join(', ')}.`);
+    }
+    nextSteps.push('Check overall workspace health: run "devworkspace status".');
+    nextSteps.push('Start your first engineering task: run "devworkspace task new <request>".');
+    const project = await loadProject(ws);
+    return {
+        root,
+        os: `${os.type()} ${os.release()} (${process.platform})`,
+        nodeVersion: process.versions.node,
+        cli,
+        initialized: true,
+        isFirstRun,
+        projectName: project.name,
+        packages: analysis.discovery.monorepo.packages.map((p) => ({
+            path: p.path,
+            ecosystem: p.ecosystem,
+            packageManager: p.packageManager,
+        })),
+        frameworks: analysis.discovery.frameworks.map((f) => f.name),
+        verification: {
+            total: analysis.discovery.commands.length,
+            available: availableChecks.length,
+            checks: [...new Set(availableChecks.map((c) => c.id))],
+            drift: driftReport.issues,
+        },
+        features: featuresSummary,
+        integrations,
+        doctor: {
+            healthy: doctorResult.healthy,
+            passed: doctorResult.counts.pass,
+            warnings: doctorResult.counts.warn,
+            failures: doctorResult.counts.fail,
+        },
+        nextSteps,
+    };
+}
+//# sourceMappingURL=setup.js.map