@aipper/aiws 0.0.44 → 0.0.46

package/dist/commands/goal-validate-state.js

@@ -0,0 +1,371 @@
+import fs from "node:fs/promises";
+import path from "node:path";
+import crypto from "node:crypto";
+import { pathExists } from "../fs.js";
+/**
+ * Valid phase sequence for goal state machine.
+ * Phases must be completed in order; no gaps allowed.
+ */
+export const VALID_PHASES = [
+    "intake",
+    "goal_def",
+    "dep_check",
+    "ws_analysis",
+    "plan",
+    "dev",
+    "review",
+    "finish",
+];
+/**
+ * Validate a goal state's structural integrity.
+ *
+ * Checks performed:
+ * a) All required phase checkpoints exist
+ * b) Phase sequence: no completed phase with a prior pending phase (no gaps)
+ * c) Completed phases must have completed_at set
+ * d) Group DAG has no cycles and all dependencies resolve to known groups
+ * e) Group statuses are valid (pending/in_progress/complete)
+ * f) Groups with a `phase` set must have that parent phase complete
+ */
+export function validateGoalState(state) {
+    const errors = [];
+    const warnings = [];
+    // a) All required phase checkpoints exist
+    for (const phase of VALID_PHASES) {
+        const cp = state.checkpoints[phase];
+        if (!cp) {
+            errors.push(`Missing required phase checkpoint: ${phase}`);
+            continue;
+        }
+        const validStatuses = new Set(["pending", "in_progress", "complete"]);
+        if (!validStatuses.has(cp.status)) {
+            errors.push(`Phase ${phase} has invalid status: ${cp.status}`);
+        }
+        if (typeof cp.attempts !== "number") {
+            errors.push(`Phase ${phase} is missing numeric attempts field`);
+        }
+    }
+    // b) Phase sequence: no completed phase if a prior phase is still pending
+    let foundPending = false;
+    for (const phase of VALID_PHASES) {
+        const cp = state.checkpoints[phase];
+        if (!cp)
+            continue;
+        if (foundPending && cp.status === "complete") {
+            errors.push(`Phase ${phase} is complete but prior phase(s) are not yet complete (gap in sequence)`);
+        }
+        if (cp.status === "pending") {
+            foundPending = true;
+        }
+        // in_progress also counts as "not done" for gap detection
+        if (cp.status === "in_progress") {
+            foundPending = true;
+        }
+    }
+    // c) Completed phases must have completed_at
+    for (const phase of VALID_PHASES) {
+        const cp = state.checkpoints[phase];
+        if (!cp)
+            continue;
+        if (cp.status === "complete" && !cp.completed_at) {
+            errors.push(`Phase ${phase} is complete but missing completed_at`);
+        }
+    }
+    // d) Group DAG validation
+    const groups = state.groups;
+    if (groups && Object.keys(groups).length > 0) {
+        const groupIds = new Set(Object.keys(groups));
+        // All dependencies must resolve to known groups
+        for (const [gid, group] of Object.entries(groups)) {
+            const deps = group.dependencies;
+            if (deps && Array.isArray(deps)) {
+                for (const dep of deps) {
+                    if (!groupIds.has(dep)) {
+                        errors.push(`Group ${gid} depends on unknown group: ${dep}`);
+                    }
+                }
+            }
+        }
+        // Cycle detection via DFS
+        const visited = new Set();
+        const inStack = new Set();
+        function hasCycle(node) {
+            if (inStack.has(node))
+                return true;
+            if (visited.has(node))
+                return false;
+            visited.add(node);
+            inStack.add(node);
+            const g = groups[node];
+            if (g) {
+                const deps = g.dependencies;
+                if (deps && Array.isArray(deps)) {
+                    for (const dep of deps) {
+                        if (hasCycle(dep))
+                            return true;
+                    }
+                }
+            }
+            inStack.delete(node);
+            return false;
+        }
+        for (const gid of groupIds) {
+            if (hasCycle(gid)) {
+                errors.push(`Group dependency cycle detected involving group: ${gid}`);
+                break;
+            }
+        }
+        // e) Group statuses must be valid
+        const validGroupStatuses = new Set(["pending", "in_progress", "complete"]);
+        for (const [gid, group] of Object.entries(groups)) {
+            if (!validGroupStatuses.has(group.status)) {
+                errors.push(`Group ${gid} has invalid status: ${group.status}`);
+            }
+        }
+        // f) Groups with a phase set must have that parent phase complete
+        for (const [gid, group] of Object.entries(groups)) {
+            const groupPhase = group.phase;
+            if (groupPhase) {
+                const parentCp = state.checkpoints[groupPhase];
+                if (!parentCp) {
+                    errors.push(`Group ${gid} references unknown phase: ${groupPhase}`);
+                }
+                else if (parentCp.status !== "complete") {
+                    errors.push(`Group ${gid} has phase ${groupPhase} but that phase is not yet complete`);
+                }
+            }
+        }
+    }
+    // Validate current_phase if set
+    if (state.current_phase &&
+        state.current_phase !== "complete" &&
+        !VALID_PHASES.includes(state.current_phase)) {
+        warnings.push(`current_phase "${state.current_phase}" is not in the standard phase sequence`);
+    }
+    return { valid: errors.length === 0, errors, warnings };
+}
+/**
+ * Read and parse a goal state JSON file.
+ * @param statePath - Full path to the state file (e.g., `.aiws/goals/G-014.state.json`)
+ */
+export async function readGoalState(statePath) {
+    const content = await fs.readFile(statePath, "utf8");
+    return JSON.parse(content);
+}
+/**
+ * Atomically write a goal state to disk using tmp-file-then-rename.
+ * @param statePath - Full path to the state file to write
+ * @param state - The goal state to persist
+ */
+export async function writeGoalState(statePath, state) {
+    const dir = path.dirname(statePath);
+    const tmpId = crypto.randomBytes(4).toString("hex");
+    const tmpPath = path.join(dir, `.tmp-${tmpId}.json`);
+    const updated = {
+        ...state,
+        updated_at: new Date().toISOString(),
+    };
+    await fs.writeFile(tmpPath, JSON.stringify(updated, null, 2), "utf8");
+    await fs.rename(tmpPath, statePath);
+}
+/**
+ * Determine the next phase in the goal state machine.
+ *
+ * Logic:
+ * 1. If current phase checkpoint is not `complete` → stay on that phase
+ * 2. If groups exist: walk groups in topological order; find first pending group
+ *    and its first pending phase
+ * 3. If no groups: advance through the flat VALID_PHASES sequence
+ * 4. If all phases (and groups) are complete → signal done
+ */
+export function computeNextPhase(state) {
+    const currentPhase = state.current_phase ?? VALID_PHASES[0];
+    // Special case: "complete" current_phase means everything is done,
+    // or we treat it as all phases completed
+    if (currentPhase === "complete") {
+        // Check if there are still pending phases
+        for (const phase of VALID_PHASES) {
+            const cp = state.checkpoints[phase];
+            if (cp && cp.status !== "complete") {
+                return {
+                    phase,
+                    groupId: null,
+                    done: false,
+                    reason: `Current phase marked complete but phase ${phase} is still ${cp.status}`,
+                };
+            }
+        }
+        return { phase: "finish", groupId: null, done: true, reason: "All phases complete" };
+    }
+    // If current phase checkpoint is not complete, stay on it
+    const currentCp = state.checkpoints[currentPhase];
+    if (currentCp && currentCp.status !== "complete") {
+        return {
+            phase: currentPhase,
+            groupId: null,
+            done: false,
+            reason: "Current phase not yet complete",
+        };
+    }
+    // If current phase is at index < last and we have no groups,
+    // return the next sequential phase
+    const groups = state.groups;
+    if (!groups || Object.keys(groups).length === 0) {
+        const currentIdx = VALID_PHASES.indexOf(currentPhase);
+        if (currentIdx < VALID_PHASES.length - 1) {
+            const nextPhase = VALID_PHASES[currentIdx + 1];
+            return {
+                phase: nextPhase,
+                groupId: null,
+                done: false,
+                reason: `Advancing to next phase: ${nextPhase}`,
+            };
+        }
+        // All flat phases complete
+        return { phase: currentPhase, groupId: null, done: true, reason: "All phases complete" };
+    }
+    // Groups exist: walk in topological order, find first pending group
+    const sorted = topologicalSort(groups);
+    for (const gid of sorted) {
+        const group = groups[gid];
+        if (!group)
+            continue;
+        if (group.status !== "complete") {
+            // Group is not complete — find its first pending phase
+            // Groups use the plan/dev/review/finish sub-sequence
+            const groupPhases = ["plan", "dev", "review", "finish"];
+            for (const phase of groupPhases) {
+                const cp = state.checkpoints[phase];
+                if (!cp || cp.status !== "complete") {
+                    return {
+                        phase,
+                        groupId: gid,
+                        done: false,
+                        reason: `Group ${gid} needs phase ${phase}`,
+                    };
+                }
+            }
+            // All group phases done but group not marked complete
+            return {
+                phase: "finish",
+                groupId: gid,
+                done: false,
+                reason: `Group ${gid} phases done but group not marked complete`,
+            };
+        }
+    }
+    // All groups complete
+    return { phase: currentPhase, groupId: null, done: true, reason: "All groups complete" };
+}
+/**
+ * Topological sort of groups by dependency DAG.
+ * Returns group IDs in dependency order (dependencies first).
+ */
+function topologicalSort(groups) {
+    const sorted = [];
+    const visited = new Set();
+    const visiting = new Set();
+    function visit(node) {
+        if (visited.has(node))
+            return;
+        if (visiting.has(node))
+            return; // cycle protection
+        visiting.add(node);
+        const g = groups[node];
+        if (g) {
+            const deps = g.dependencies;
+            if (deps && Array.isArray(deps)) {
+                for (const dep of deps) {
+                    visit(dep);
+                }
+            }
+        }
+        visiting.delete(node);
+        visited.add(node);
+        sorted.push(node);
+    }
+    for (const id of Object.keys(groups)) {
+        visit(id);
+    }
+    return sorted;
+}
+/**
+ * Collect pending (non-complete) phases from checkpoints.
+ */
+export function listPendingPhases(state) {
+    const pending = [];
+    for (const phase of VALID_PHASES) {
+        const cp = state.checkpoints[phase];
+        if (!cp || cp.status !== "complete") {
+            pending.push(phase);
+        }
+    }
+    return pending;
+}
+/**
+ * Find all goal state files in a directory.
+ * Scans for `*.state.json` files.
+ */
+export async function scanGoalStateFiles(goalDir) {
+    let entries;
+    try {
+        entries = await fs.readdir(goalDir);
+    }
+    catch {
+        return [];
+    }
+    const files = [];
+    for (const entry of entries) {
+        if (entry.endsWith(".state.json") && !entry.startsWith(".tmp-")) {
+            files.push(path.join(goalDir, entry));
+        }
+    }
+    return files.sort();
+}
+/**
+ * Resolve a goal state file path from a directory and optional goal ID.
+ * If goalId is provided, returns the path to `<goalId>.state.json`.
+ * If not provided and exactly one `.state.json` exists, returns that path.
+ */
+export async function resolveGoalStatePath(goalDir, goalId) {
+    if (goalId) {
+        const p = path.join(goalDir, `${goalId}.state.json`);
+        if (await pathExists(p)) {
+            return p;
+        }
+        return null;
+    }
+    // No goalId: find active goal (status=active) or the newest state file
+    const files = await scanGoalStateFiles(goalDir);
+    if (files.length === 0)
+        return null;
+    // Prefer a goal with active status
+    for (const f of files) {
+        try {
+            const state = await readGoalState(f);
+            if (state.status === "active") {
+                return f;
+            }
+        }
+        catch {
+            // skip unreadable files
+        }
+    }
+    // Fall back to the most recently modified file
+    let best = files[0];
+    let bestMtime = 0;
+    for (const f of files) {
+        try {
+            const st = await fs.stat(f);
+            if (st.mtimeMs > bestMtime) {
+                bestMtime = st.mtimeMs;
+                best = f;
+            }
+        }
+        catch {
+            // skip
+        }
+    }
+    return best;
+}
+//# sourceMappingURL=goal-validate-state.js.map

package/dist/commands/goal-validate-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal-validate-state.js","sourceRoot":"","sources":["../../src/commands/goal-validate-state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAEtC;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAsB;IAC7C,QAAQ;IACR,UAAU;IACV,WAAW;IACX,aAAa;IACb,MAAM;IACN,KAAK;IACL,QAAQ;IACR,QAAQ;CACT,CAAC;AAkCF;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAgB;IAKhD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,0CAA0C;IAC1C,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,MAAM,CAAC,IAAI,CAAC,sCAAsC,KAAK,EAAE,CAAC,CAAC;YAC3D,SAAS;QACX,CAAC;QACD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC,CAAC;QACtE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,SAAS,KAAK,wBAAwB,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC,SAAS,KAAK,oCAAoC,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,CAAC,EAAE;YAAE,SAAS;QAClB,IAAI,YAAY,IAAI,EAAE,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC7C,MAAM,CAAC,IAAI,CACT,SAAS,KAAK,wEAAwE,CACvF,CAAC;QACJ,CAAC;QACD,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC5B,YAAY,GAAG,IAAI,CAAC;QACtB,CAAC;QACD,0DAA0D;QAC1D,IAAI,EAAE,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;YAChC,YAAY,GAAG,IAAI,CAAC;QACtB,CAAC;IACH,CAAC;IAED,6CAA6C;IAC7C,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,CAAC,EAAE;YAAE,SAAS;QAClB,IAAI,EAAE,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,EAAE,CAAC,YAAY,EAAE,CAAC;YACjD,MAAM,CAAC,IAAI,CAAC,SAAS,KAAK,uCAAuC,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IAED,0BAA0B;IAC1B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAE9C,gDAAgD;QAChD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,GAAG,KAAK,CAAC,YAAY,CAAC;YAChC,IAAI,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBACvB,MAAM,CAAC,IAAI,CAAC,SAAS,GAAG,8BAA8B,GAAG,EAAE,CAAC,CAAC;oBAC/D,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,SAAS,QAAQ,CAAC,IAAY;YAC5B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACnC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;YACpC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,CAAC,GAAG,MAAO,CAAC,IAAI,CAAC,CAAC;YACxB,IAAI,CAAC,EAAE,CAAC;gBACN,MAAM,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC;gBAC5B,IAAI,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oBAChC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;wBACvB,IAAI,QAAQ,CAAC,GAAG,CAAC;4BAAE,OAAO,IAAI,CAAC;oBACjC,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACrB,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAClB,MAAM,CAAC,IAAI,CAAC,oDAAoD,GAAG,EAAE,CAAC,CAAC;gBACvE,MAAM;YACR,CAAC;QACH,CAAC;QAED,kCAAkC;QAClC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC,CAAC;QAC3E,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1C,MAAM,CAAC,IAAI,CAAC,SAAS,GAAG,wBAAwB,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;QAED,kEAAkE;QAClE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAClD,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC;YAC/B,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;gBAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,MAAM,CAAC,IAAI,CAAC,SAAS,GAAG,8BAA8B,UAAU,EAAE,CAAC,CAAC;gBACtE,CAAC;qBAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;oBAC1C,MAAM,CAAC,IAAI,CACT,SAAS,GAAG,cAAc,UAAU,qCAAqC,CAC1E,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,gCAAgC;IAChC,IACE,KAAK,CAAC,aAAa;QACnB,KAAK,CAAC,aAAa,KAAK,UAAU;QAClC,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,EAC3C,CAAC;QACD,QAAQ,CAAC,IAAI,CACX,kBAAkB,KAAK,CAAC,aAAa,yCAAyC,CAC/E,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC1D,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,SAAiB;IACnD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IACrD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAc,CAAC;AAC1C,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,SAAiB,EACjB,KAAgB;IAEhB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,KAAK,OAAO,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG;QACd,GAAG,KAAK;QACR,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACrC,CAAC;IACF,MAAM,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACtE,MAAM,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;AACtC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAgB;IAM/C,MAAM,YAAY,GAAG,KAAK,CAAC,aAAa,IAAI,YAAY,CAAC,CAAC,CAAE,CAAC;IAE7D,mEAAmE;IACnE,yCAAyC;IACzC,IAAI,YAAY,KAAK,UAAU,EAAE,CAAC;QAChC,0CAA0C;QAC1C,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;YACjC,MAAM,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YACpC,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBACnC,OAAO;oBACL,KAAK;oBACL,OAAO,EAAE,IAAI;oBACb,IAAI,EAAE,KAAK;oBACX,MAAM,EAAE,2CAA2C,KAAK,aAAa,EAAE,CAAC,MAAM,EAAE;iBACjF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC;IACvF,CAAC;IAED,0DAA0D;IAC1D,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;IAClD,IAAI,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACjD,OAAO;YACL,KAAK,EAAE,YAAY;YACnB,OAAO,EAAE,IAAI;YACb,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,gCAAgC;SACzC,CAAC;IACJ,CAAC;IAED,6DAA6D;IAC7D,mCAAmC;IACnC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,UAAU,GAAG,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACtD,IAAI,UAAU,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzC,MAAM,SAAS,GAAG,YAAY,CAAC,UAAU,GAAG,CAAC,CAAE,CAAC;YAChD,OAAO;gBACL,KAAK,EAAE,SAAS;gBAChB,OAAO,EAAE,IAAI;gBACb,IAAI,EAAE,KAAK;gBACX,MAAM,EAAE,4BAA4B,SAAS,EAAE;aAChD,CAAC;QACJ,CAAC;QACD,2BAA2B;QAC3B,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC;IAC3F,CAAC;IAED,oEAAoE;IACpE,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACvC,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAChC,uDAAuD;YACvD,qDAAqD;YACrD,MAAM,WAAW,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACxD,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;gBAChC,MAAM,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;gBACpC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;oBACpC,OAAO;wBACL,KAAK;wBACL,OAAO,EAAE,GAAG;wBACZ,IAAI,EAAE,KAAK;wBACX,MAAM,EAAE,SAAS,GAAG,gBAAgB,KAAK,EAAE;qBAC5C,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,sDAAsD;YACtD,OAAO;gBACL,KAAK,EAAE,QAAQ;gBACf,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,KAAK;gBACX,MAAM,EAAE,SAAS,GAAG,4CAA4C;aACjE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,sBAAsB;IACtB,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC;AAC3F,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CACtB,MAAiC;IAEjC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAEnC,SAAS,KAAK,CAAC,IAAY;QACzB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC9B,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,mBAAmB;QACnD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QACvB,IAAI,CAAC,EAAE,CAAC;YACN,MAAM,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC;YAC5B,IAAI,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,KAAK,CAAC,GAAG,CAAC,CAAC;gBACb,CAAC;YACH,CAAC;QACH,CAAC;QACD,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAED,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACrC,KAAK,CAAC,EAAE,CAAC,CAAC;IACZ,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAgB;IAChD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,OAAe;IAEf,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YAChE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;AACtB,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,OAAe,EACf,MAAe;IAEf,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,MAAM,aAAa,CAAC,CAAC;QACrD,IAAI,MAAM,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,CAAC;QACX,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,uEAAuE;IACvE,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAChD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEpC,mCAAmC;IACnC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,aAAa,CAAC,CAAC,CAAC,CAAC;YACrC,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC9B,OAAO,CAAC,CAAC;YACX,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,wBAAwB;QAC1B,CAAC;IACH,CAAC;IAED,+CAA+C;IAC/C,IAAI,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;IACrB,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC;YACH,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAI,EAAE,CAAC,OAAO,GAAG,SAAS,EAAE,CAAC;gBAC3B,SAAS,GAAG,EAAE,CAAC,OAAO,CAAC;gBACvB,IAAI,GAAG,CAAC,CAAC;YACX,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;QACT,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/commands/goal-validate.d.ts

@@ -0,0 +1,16 @@
+export interface GoalValidateStateOptions {
+    /** Directory containing goal state files (e.g., `.aiws/goals/`) */
+    goalDir: string;
+    /** Optional goal ID. If omitted, validate all goals */
+    goalId?: string;
+}
+/**
+ * `aiws goal validate-state` command handler.
+ *
+ * Validates one or all goal state files and reports errors/warnings.
+ * Exit code 0 if all valid, 1 if any errors found.
+ */
+export declare function goalValidateStateCommand(options: GoalValidateStateOptions): Promise<{
+    ok: boolean;
+    output: string;
+}>;

package/dist/commands/goal-validate.js

@@ -0,0 +1,100 @@
+import { readGoalState, validateGoalState, scanGoalStateFiles, resolveGoalStatePath, } from "./goal-validate-state.js";
+/**
+ * `aiws goal validate-state` command handler.
+ *
+ * Validates one or all goal state files and reports errors/warnings.
+ * Exit code 0 if all valid, 1 if any errors found.
+ */
+export async function goalValidateStateCommand(options) {
+    if (options.goalId) {
+        return validateSingleGoal(options.goalDir, options.goalId);
+    }
+    return validateAllGoals(options.goalDir);
+}
+async function validateSingleGoal(goalDir, goalId) {
+    const statePath = await resolveGoalStatePath(goalDir, goalId);
+    if (!statePath) {
+        return {
+            ok: false,
+            output: `Goal state file not found for "${goalId}" in ${goalDir}`,
+        };
+    }
+    let state;
+    try {
+        state = await readGoalState(statePath);
+    }
+    catch (err) {
+        return {
+            ok: false,
+            output: `Failed to read ${statePath}: ${String(err)}`,
+        };
+    }
+    const result = validateGoalState(state);
+    const lines = [];
+    lines.push(`Goal: ${state.goal_id || goalId}`);
+    lines.push(`  File: ${statePath}`);
+    lines.push(`  Status: ${result.valid ? "PASS" : "FAIL"}`);
+    if (result.errors.length > 0) {
+        lines.push(`  Errors (${result.errors.length}):`);
+        for (const err of result.errors) {
+            lines.push(`    - ${err}`);
+        }
+    }
+    if (result.warnings.length > 0) {
+        lines.push(`  Warnings (${result.warnings.length}):`);
+        for (const warn of result.warnings) {
+            lines.push(`    - ${warn}`);
+        }
+    }
+    return {
+        ok: result.valid,
+        output: lines.join("\n"),
+    };
+}
+async function validateAllGoals(goalDir) {
+    const files = await scanGoalStateFiles(goalDir);
+    if (files.length === 0) {
+        return {
+            ok: true,
+            output: `No goal state files found in ${goalDir}`,
+        };
+    }
+    const lines = [];
+    let hasErrors = false;
+    let totalGoals = 0;
+    let passed = 0;
+    let failed = 0;
+    for (const file of files) {
+        totalGoals++;
+        let state;
+        try {
+            state = await readGoalState(file);
+        }
+        catch (err) {
+            lines.push(`[FAIL] ${file}: Failed to read: ${String(err)}`);
+            failed++;
+            hasErrors = true;
+            continue;
+        }
+        const result = validateGoalState(state);
+        const goalLabel = state.goal_id || file;
+        if (result.valid) {
+            lines.push(`[PASS] ${goalLabel}${result.warnings.length > 0 ? ` (${result.warnings.length} warnings)` : ""}`);
+            passed++;
+        }
+        else {
+            lines.push(`[FAIL] ${goalLabel}: ${result.errors.length} error(s)`);
+            for (const err of result.errors) {
+                lines.push(`       - ${err}`);
+            }
+            failed++;
+            hasErrors = true;
+        }
+    }
+    lines.push(`\nSummary: ${totalGoals} goal(s) — ${passed} passed, ${failed} failed`);
+    return {
+        ok: !hasErrors,
+        output: lines.join("\n"),
+    };
+}
+//# sourceMappingURL=goal-validate.js.map

package/dist/commands/goal-validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal-validate.js","sourceRoot":"","sources":["../../src/commands/goal-validate.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,0BAA0B,CAAC;AASlC;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,OAAiC;IAEjC,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,OAAO,kBAAkB,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,OAAe,EACf,MAAc;IAEd,MAAM,SAAS,GAAG,MAAM,oBAAoB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC9D,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,kCAAkC,MAAM,QAAQ,OAAO,EAAE;SAClE,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC;IACV,IAAI,CAAC;QACH,KAAK,GAAG,MAAM,aAAa,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,kBAAkB,SAAS,KAAK,MAAM,CAAC,GAAG,CAAC,EAAE;SACtD,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,OAAO,IAAI,MAAM,EAAE,CAAC,CAAC;IAC/C,KAAK,CAAC,IAAI,CAAC,WAAW,SAAS,EAAE,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAE1D,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;QAClD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC;QACtD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,KAAK;QAChB,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;KACzB,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,OAAe;IAEf,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAEhD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,EAAE,EAAE,IAAI;YACR,MAAM,EAAE,gCAAgC,OAAO,EAAE;SAClD,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,UAAU,EAAE,CAAC;QACb,IAAI,KAAK,CAAC;QACV,IAAI,CAAC;YACH,KAAK,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,CAAC;QACpC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,KAAK,CAAC,IAAI,CAAC,UAAU,IAAI,qBAAqB,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7D,MAAM,EAAE,CAAC;YACT,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC;QAExC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACjB,KAAK,CAAC,IAAI,CACR,UAAU,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,QAAQ,CAAC,MAAM,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAClG,CAAC;YACF,MAAM,EAAE,CAAC;QACX,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CACR,UAAU,SAAS,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,WAAW,CACxD,CAAC;YACF,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBAChC,KAAK,CAAC,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC,CAAC;YAChC,CAAC;YACD,MAAM,EAAE,CAAC;YACT,SAAS,GAAG,IAAI,CAAC;QACnB,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CACR,cAAc,UAAU,cAAc,MAAM,YAAY,MAAM,SAAS,CACxE,CAAC;IAEF,OAAO;QACL,EAAE,EAAE,CAAC,SAAS;QACd,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;KACzB,CAAC;AACJ,CAAC"}

package/dist/commands/memory.d.ts

@@ -0,0 +1,35 @@
+/**
+ * aiws memory read <uri>
+ */
+export declare function memoryReadCommand(args: Record<string, unknown>): Promise<void>;
+/**
+ * aiws memory write <uri> <text> [--title <title>] [--tags <tags>] [--disclosure <level>]
+ */
+export declare function memoryWriteCommand(args: Record<string, unknown>): Promise<void>;
+/**
+ * aiws memory search <query>
+ */
+export declare function memorySearchCommand(args: Record<string, unknown>): Promise<void>;
+/**
+ * aiws memory list [domain]
+ */
+export declare function memoryListCommand(args: Record<string, unknown>): Promise<void>;
+/**
+ * aiws memory link add|list|rm
+ */
+export declare function memoryLinkCommand(args: Record<string, unknown>): Promise<void>;
+/**
+ * aiws memory boot
+ * Lists memories marked with disclosure: boot (or always).
+ * Scans index only — reads files only for snippet.
+ */
+export declare function memoryBootCommand(_args: Record<string, unknown>): Promise<void>;
+/**
+ * aiws memory seed [--dry-run] [--force]
+ * Seeds memory entries from project truth files and artifacts.
+ */
+export declare function memorySeedCommand(args: Record<string, unknown>): Promise<void>;
+/**
+ * aiws memory rebuild-index
+ */
+export declare function memoryRebuildIndexCommand(_args: Record<string, unknown>): Promise<void>;