@tienne/gestalt 0.1.0

package/dist/src/events/store.js

@@ -0,0 +1,130 @@
+import Database from 'better-sqlite3';
+import { randomUUID } from 'node:crypto';
+import { mkdirSync, existsSync } from 'node:fs';
+import { dirname } from 'node:path';
+import { EventStoreError } from '../core/errors.js';
+export class EventStore {
+    db;
+    constructor(dbPath) {
+        const dir = dirname(dbPath);
+        if (!existsSync(dir)) {
+            mkdirSync(dir, { recursive: true });
+        }
+        this.db = new Database(dbPath);
+        this.db.pragma('journal_mode = WAL');
+        this.db.pragma('foreign_keys = ON');
+        this.initialize();
+    }
+    initialize() {
+        this.db.exec(`
+      CREATE TABLE IF NOT EXISTS events (
+        id TEXT PRIMARY KEY,
+        aggregate_type TEXT NOT NULL,
+        aggregate_id TEXT NOT NULL,
+        event_type TEXT NOT NULL,
+        payload TEXT NOT NULL DEFAULT '{}',
+        timestamp TEXT NOT NULL,
+        created_at TEXT NOT NULL DEFAULT (datetime('now'))
+      );
+      CREATE INDEX IF NOT EXISTS idx_events_aggregate
+        ON events(aggregate_type, aggregate_id);
+      CREATE INDEX IF NOT EXISTS idx_events_type
+        ON events(event_type);
+      CREATE INDEX IF NOT EXISTS idx_events_timestamp
+        ON events(timestamp);
+    `);
+    }
+    append(aggregateType, aggregateId, eventType, payload) {
+        const event = {
+            id: randomUUID(),
+            aggregateType,
+            aggregateId,
+            eventType,
+            payload,
+            timestamp: new Date().toISOString(),
+            createdAt: new Date().toISOString(),
+        };
+        try {
+            const stmt = this.db.prepare(`
+        INSERT INTO events (id, aggregate_type, aggregate_id, event_type, payload, timestamp)
+        VALUES (?, ?, ?, ?, ?, ?)
+      `);
+            stmt.run(event.id, event.aggregateType, event.aggregateId, event.eventType, JSON.stringify(event.payload), event.timestamp);
+        }
+        catch (e) {
+            throw new EventStoreError(`Failed to append event: ${e instanceof Error ? e.message : String(e)}`);
+        }
+        return event;
+    }
+    getByAggregate(aggregateType, aggregateId) {
+        const stmt = this.db.prepare(`
+      SELECT * FROM events
+      WHERE aggregate_type = ? AND aggregate_id = ?
+      ORDER BY timestamp ASC
+    `);
+        const rows = stmt.all(aggregateType, aggregateId);
+        return rows.map(parseRow);
+    }
+    getByType(eventType, limit = 100) {
+        const stmt = this.db.prepare(`
+      SELECT * FROM events
+      WHERE event_type = ?
+      ORDER BY timestamp DESC
+      LIMIT ?
+    `);
+        const rows = stmt.all(eventType, limit);
+        return rows.map(parseRow);
+    }
+    getLatest(aggregateType, aggregateId, eventType) {
+        const stmt = this.db.prepare(`
+      SELECT * FROM events
+      WHERE aggregate_type = ? AND aggregate_id = ? AND event_type = ?
+      ORDER BY rowid DESC
+      LIMIT 1
+    `);
+        const row = stmt.get(aggregateType, aggregateId, eventType);
+        return row ? parseRow(row) : null;
+    }
+    /**
+     * Replay all events for a specific aggregate in chronological order.
+     * Semantic alias for getByAggregate — used by Repository pattern for session reconstruction.
+     */
+    replay(aggregateType, aggregateId) {
+        return this.getByAggregate(aggregateType, aggregateId);
+    }
+    /**
+     * List distinct aggregate IDs for a given type, ordered by earliest event timestamp.
+     */
+    listAggregates(aggregateType) {
+        const stmt = this.db.prepare(`
+      SELECT DISTINCT aggregate_id
+      FROM events
+      WHERE aggregate_type = ?
+      ORDER BY MIN(timestamp) OVER (PARTITION BY aggregate_id)
+    `);
+        const rows = stmt.all(aggregateType);
+        return rows.map((r) => r.aggregate_id);
+    }
+    getAll(limit = 100) {
+        const stmt = this.db.prepare(`
+      SELECT * FROM events ORDER BY timestamp DESC LIMIT ?
+    `);
+        const rows = stmt.all(limit);
+        return rows.map(parseRow);
+    }
+    close() {
+        this.db.close();
+    }
+}
+function parseRow(row) {
+    return {
+        id: row.id,
+        aggregateType: row.aggregate_type,
+        aggregateId: row.aggregate_id,
+        eventType: row.event_type,
+        payload: JSON.parse(row.payload),
+        timestamp: row.timestamp,
+        createdAt: row.created_at,
+    };
+}
+//# sourceMappingURL=store.js.map

package/dist/src/events/store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../../../src/events/store.ts"],"names":[],"mappings":"AAAA,OAAO,QAAQ,MAAM,gBAAgB,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAChD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,MAAM,OAAO,UAAU;IACb,EAAE,CAAoB;IAE9B,YAAY,MAAc;QACxB,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC5B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACtC,CAAC;QAED,IAAI,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;QACrC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;QACpC,IAAI,CAAC,UAAU,EAAE,CAAC;IACpB,CAAC;IAEO,UAAU;QAChB,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;KAgBZ,CAAC,CAAC;IACL,CAAC;IAED,MAAM,CACJ,aAAqB,EACrB,WAAmB,EACnB,SAAiB,EACjB,OAAU;QAEV,MAAM,KAAK,GAAmB;YAC5B,EAAE,EAAE,UAAU,EAAE;YAChB,aAAa;YACb,WAAW;YACX,SAAS;YACT,OAAO;YACP,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC;QAEF,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;OAG5B,CAAC,CAAC;YACH,IAAI,CAAC,GAAG,CACN,KAAK,CAAC,EAAE,EACR,KAAK,CAAC,aAAa,EACnB,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,SAAS,EACf,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,EAC7B,KAAK,CAAC,SAAS,CAChB,CAAC;QACJ,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,IAAI,eAAe,CACvB,2BAA2B,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACxE,CAAC;QACJ,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,cAAc,CAAC,aAAqB,EAAE,WAAmB;QACvD,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;;KAI5B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,WAAW,CAAkB,CAAC;QACnE,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,SAAS,CAAC,SAAiB,EAAE,KAAK,GAAG,GAAG;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;;;KAK5B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAkB,CAAC;QACzD,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,SAAS,CAAC,aAAqB,EAAE,WAAmB,EAAE,SAAiB;QACrE,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;;;KAK5B,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,WAAW,EAAE,SAAS,CAA4B,CAAC;QACvF,OAAO,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpC,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,aAAqB,EAAE,WAAmB;QAC/C,OAAO,IAAI,CAAC,cAAc,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;IACzD,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,aAAqB;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;;;KAK5B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,CAA+B,CAAC;QACnE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,CAAC,KAAK,GAAG,GAAG;QAChB,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;KAE5B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAkB,CAAC;QAC9C,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,KAAK;QACH,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;IAClB,CAAC;CACF;AAYD,SAAS,QAAQ,CAAC,GAAgB;IAChC,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,aAAa,EAAE,GAAG,CAAC,cAAc;QACjC,WAAW,EAAE,GAAG,CAAC,YAAY;QAC7B,SAAS,EAAE,GAAG,CAAC,UAAU;QACzB,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;QAChC,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,SAAS,EAAE,GAAG,CAAC,UAAU;KAC1B,CAAC;AACJ,CAAC"}

package/dist/src/events/types.d.ts

@@ -0,0 +1,33 @@
+export declare enum EventType {
+    INTERVIEW_SESSION_STARTED = "interview.session.started",
+    INTERVIEW_QUESTION_ASKED = "interview.question.asked",
+    INTERVIEW_RESPONSE_RECORDED = "interview.response.recorded",
+    INTERVIEW_AMBIGUITY_SCORED = "interview.ambiguity.scored",
+    INTERVIEW_SESSION_COMPLETED = "interview.session.completed",
+    GESTALT_PRINCIPLE_APPLIED = "gestalt.principle.applied",
+    SPEC_GENERATED = "spec.generated",
+    BROWNFIELD_DETECTED = "brownfield.detected",
+    EXECUTE_SESSION_STARTED = "execute.session.started",
+    EXECUTE_PLANNING_STEP_COMPLETED = "execute.planning.step.completed",
+    EXECUTE_PLAN_VALIDATED = "execute.plan.validated",
+    EXECUTE_PLAN_COMPLETED = "execute.plan.completed",
+    EXECUTE_SESSION_FAILED = "execute.session.failed",
+    EXECUTE_EXECUTION_STARTED = "execute.execution.started",
+    EXECUTE_TASK_COMPLETED = "execute.task.completed",
+    EXECUTE_EVALUATION_COMPLETED = "execute.evaluation.completed",
+    EXECUTE_SESSION_COMPLETED = "execute.session.completed",
+    EVALUATE_STRUCTURAL_STARTED = "evaluate.structural.started",
+    EVALUATE_STRUCTURAL_COMPLETED = "evaluate.structural.completed",
+    EVALUATE_CONTEXTUAL_STARTED = "evaluate.contextual.started",
+    EVALUATE_CONTEXTUAL_COMPLETED = "evaluate.contextual.completed",
+    EVALUATE_SHORT_CIRCUITED = "evaluate.short.circuited",
+    EXECUTE_DRIFT_MEASURED = "execute.drift.measured",
+    EXECUTE_DRIFT_RETROSPECTIVE = "execute.drift.retrospective",
+    EVOLVE_STRUCTURAL_FIX_STARTED = "evolve.structural.fix.started",
+    EVOLVE_STRUCTURAL_FIX_COMPLETED = "evolve.structural.fix.completed",
+    EVOLVE_SPEC_PATCHED = "evolve.spec.patched",
+    EVOLVE_RE_EXECUTION_STARTED = "evolve.re.execution.started",
+    EVOLVE_TASK_COMPLETED = "evolve.task.completed",
+    EVOLVE_TERMINATED = "evolve.terminated"
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/src/events/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/events/types.ts"],"names":[],"mappings":"AAAA,oBAAY,SAAS;IACnB,yBAAyB,8BAA8B;IACvD,wBAAwB,6BAA6B;IACrD,2BAA2B,gCAAgC;IAC3D,0BAA0B,+BAA+B;IACzD,2BAA2B,gCAAgC;IAC3D,yBAAyB,8BAA8B;IACvD,cAAc,mBAAmB;IACjC,mBAAmB,wBAAwB;IAC3C,uBAAuB,4BAA4B;IACnD,+BAA+B,oCAAoC;IACnE,sBAAsB,2BAA2B;IACjD,sBAAsB,2BAA2B;IACjD,sBAAsB,2BAA2B;IACjD,yBAAyB,8BAA8B;IACvD,sBAAsB,2BAA2B;IACjD,4BAA4B,iCAAiC;IAC7D,yBAAyB,8BAA8B;IACvD,2BAA2B,gCAAgC;IAC3D,6BAA6B,kCAAkC;IAC/D,2BAA2B,gCAAgC;IAC3D,6BAA6B,kCAAkC;IAC/D,wBAAwB,6BAA6B;IACrD,sBAAsB,2BAA2B;IACjD,2BAA2B,gCAAgC;IAE3D,6BAA6B,kCAAkC;IAC/D,+BAA+B,oCAAoC;IACnE,mBAAmB,wBAAwB;IAC3C,2BAA2B,gCAAgC;IAC3D,qBAAqB,0BAA0B;IAC/C,iBAAiB,sBAAsB;CACxC"}

package/dist/src/events/types.js

@@ -0,0 +1,35 @@
+export var EventType;
+(function (EventType) {
+    EventType["INTERVIEW_SESSION_STARTED"] = "interview.session.started";
+    EventType["INTERVIEW_QUESTION_ASKED"] = "interview.question.asked";
+    EventType["INTERVIEW_RESPONSE_RECORDED"] = "interview.response.recorded";
+    EventType["INTERVIEW_AMBIGUITY_SCORED"] = "interview.ambiguity.scored";
+    EventType["INTERVIEW_SESSION_COMPLETED"] = "interview.session.completed";
+    EventType["GESTALT_PRINCIPLE_APPLIED"] = "gestalt.principle.applied";
+    EventType["SPEC_GENERATED"] = "spec.generated";
+    EventType["BROWNFIELD_DETECTED"] = "brownfield.detected";
+    EventType["EXECUTE_SESSION_STARTED"] = "execute.session.started";
+    EventType["EXECUTE_PLANNING_STEP_COMPLETED"] = "execute.planning.step.completed";
+    EventType["EXECUTE_PLAN_VALIDATED"] = "execute.plan.validated";
+    EventType["EXECUTE_PLAN_COMPLETED"] = "execute.plan.completed";
+    EventType["EXECUTE_SESSION_FAILED"] = "execute.session.failed";
+    EventType["EXECUTE_EXECUTION_STARTED"] = "execute.execution.started";
+    EventType["EXECUTE_TASK_COMPLETED"] = "execute.task.completed";
+    EventType["EXECUTE_EVALUATION_COMPLETED"] = "execute.evaluation.completed";
+    EventType["EXECUTE_SESSION_COMPLETED"] = "execute.session.completed";
+    EventType["EVALUATE_STRUCTURAL_STARTED"] = "evaluate.structural.started";
+    EventType["EVALUATE_STRUCTURAL_COMPLETED"] = "evaluate.structural.completed";
+    EventType["EVALUATE_CONTEXTUAL_STARTED"] = "evaluate.contextual.started";
+    EventType["EVALUATE_CONTEXTUAL_COMPLETED"] = "evaluate.contextual.completed";
+    EventType["EVALUATE_SHORT_CIRCUITED"] = "evaluate.short.circuited";
+    EventType["EXECUTE_DRIFT_MEASURED"] = "execute.drift.measured";
+    EventType["EXECUTE_DRIFT_RETROSPECTIVE"] = "execute.drift.retrospective";
+    // Evolution Loop
+    EventType["EVOLVE_STRUCTURAL_FIX_STARTED"] = "evolve.structural.fix.started";
+    EventType["EVOLVE_STRUCTURAL_FIX_COMPLETED"] = "evolve.structural.fix.completed";
+    EventType["EVOLVE_SPEC_PATCHED"] = "evolve.spec.patched";
+    EventType["EVOLVE_RE_EXECUTION_STARTED"] = "evolve.re.execution.started";
+    EventType["EVOLVE_TASK_COMPLETED"] = "evolve.task.completed";
+    EventType["EVOLVE_TERMINATED"] = "evolve.terminated";
+})(EventType || (EventType = {}));
+//# sourceMappingURL=types.js.map

package/dist/src/events/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/events/types.ts"],"names":[],"mappings":"AAAA,MAAM,CAAN,IAAY,SAgCX;AAhCD,WAAY,SAAS;IACnB,oEAAuD,CAAA;IACvD,kEAAqD,CAAA;IACrD,wEAA2D,CAAA;IAC3D,sEAAyD,CAAA;IACzD,wEAA2D,CAAA;IAC3D,oEAAuD,CAAA;IACvD,8CAAiC,CAAA;IACjC,wDAA2C,CAAA;IAC3C,gEAAmD,CAAA;IACnD,gFAAmE,CAAA;IACnE,8DAAiD,CAAA;IACjD,8DAAiD,CAAA;IACjD,8DAAiD,CAAA;IACjD,oEAAuD,CAAA;IACvD,8DAAiD,CAAA;IACjD,0EAA6D,CAAA;IAC7D,oEAAuD,CAAA;IACvD,wEAA2D,CAAA;IAC3D,4EAA+D,CAAA;IAC/D,wEAA2D,CAAA;IAC3D,4EAA+D,CAAA;IAC/D,kEAAqD,CAAA;IACrD,8DAAiD,CAAA;IACjD,wEAA2D,CAAA;IAC3D,iBAAiB;IACjB,4EAA+D,CAAA;IAC/D,gFAAmE,CAAA;IACnE,wDAA2C,CAAA;IAC3C,wEAA2D,CAAA;IAC3D,4DAA+C,CAAA;IAC/C,oDAAuC,CAAA;AACzC,CAAC,EAhCW,SAAS,KAAT,SAAS,QAgCpB"}

package/dist/src/execute/dag-validator.d.ts

@@ -0,0 +1,7 @@
+import type { AtomicTask, TaskGroup, DAGValidation } from '../core/types.js';
+/**
+ * Validates the dependency DAG using Kahn's algorithm for topological sort,
+ * checks for group conflicts, and computes the critical path.
+ */
+export declare function validateDAG(tasks: AtomicTask[], groups: TaskGroup[]): DAGValidation;
+//# sourceMappingURL=dag-validator.d.ts.map

package/dist/src/execute/dag-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dag-validator.d.ts","sourceRoot":"","sources":["../../../src/execute/dag-validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAE7E;;;GAGG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,aAAa,CA4GnF"}

package/dist/src/execute/dag-validator.js

@@ -0,0 +1,141 @@
+/**
+ * Validates the dependency DAG using Kahn's algorithm for topological sort,
+ * checks for group conflicts, and computes the critical path.
+ */
+export function validateDAG(tasks, groups) {
+    if (tasks.length === 0) {
+        return {
+            isValid: true,
+            hasCycles: false,
+            hasConflicts: false,
+            topologicalOrder: [],
+            criticalPath: [],
+        };
+    }
+    const taskIds = new Set(tasks.map((t) => t.taskId));
+    const cycleDetails = [];
+    const conflictDetails = [];
+    // Check for invalid dependency references
+    for (const task of tasks) {
+        for (const dep of task.dependsOn) {
+            if (!taskIds.has(dep)) {
+                conflictDetails.push(`Task "${task.taskId}" depends on non-existent task "${dep}"`);
+            }
+            if (dep === task.taskId) {
+                cycleDetails.push(`Task "${task.taskId}" depends on itself`);
+            }
+        }
+    }
+    // Check group conflicts: duplicate task in multiple groups
+    const taskToGroup = new Map();
+    for (const group of groups) {
+        for (const tid of group.taskIds) {
+            if (!taskIds.has(tid)) {
+                conflictDetails.push(`Group "${group.groupId}" references non-existent task "${tid}"`);
+                continue;
+            }
+            const existing = taskToGroup.get(tid);
+            if (existing) {
+                conflictDetails.push(`Task "${tid}" belongs to multiple groups: "${existing}" and "${group.groupId}"`);
+            }
+            taskToGroup.set(tid, group.groupId);
+        }
+    }
+    // Check all tasks are in a group
+    for (const tid of taskIds) {
+        if (!taskToGroup.has(tid)) {
+            conflictDetails.push(`Task "${tid}" is not assigned to any group`);
+        }
+    }
+    // Kahn's algorithm for topological sort + cycle detection
+    const adj = new Map();
+    const inDegree = new Map();
+    for (const task of tasks) {
+        adj.set(task.taskId, []);
+        inDegree.set(task.taskId, 0);
+    }
+    for (const task of tasks) {
+        for (const dep of task.dependsOn) {
+            if (taskIds.has(dep) && dep !== task.taskId) {
+                adj.get(dep).push(task.taskId);
+                inDegree.set(task.taskId, (inDegree.get(task.taskId) ?? 0) + 1);
+            }
+        }
+    }
+    const queue = [];
+    for (const [id, deg] of inDegree.entries()) {
+        if (deg === 0)
+            queue.push(id);
+    }
+    const topologicalOrder = [];
+    while (queue.length > 0) {
+        const node = queue.shift();
+        topologicalOrder.push(node);
+        for (const neighbor of adj.get(node) ?? []) {
+            const newDeg = (inDegree.get(neighbor) ?? 1) - 1;
+            inDegree.set(neighbor, newDeg);
+            if (newDeg === 0)
+                queue.push(neighbor);
+        }
+    }
+    const hasCycles = topologicalOrder.length !== tasks.length;
+    if (hasCycles) {
+        const remainingNodes = tasks
+            .filter((t) => !topologicalOrder.includes(t.taskId))
+            .map((t) => t.taskId);
+        cycleDetails.push(`Cycle detected involving tasks: ${remainingNodes.join(' → ')}`);
+    }
+    // Compute critical path (longest path in DAG) — skip if any cycles detected
+    const anyCycles = hasCycles || cycleDetails.length > 0;
+    const criticalPath = anyCycles ? [] : computeCriticalPath(tasks, topologicalOrder);
+    const hasConflicts = conflictDetails.length > 0;
+    const isValid = !hasCycles && !hasConflicts && cycleDetails.length === 0;
+    return {
+        isValid,
+        hasCycles: hasCycles || cycleDetails.length > 0,
+        ...(cycleDetails.length > 0 ? { cycleDetails } : {}),
+        hasConflicts,
+        ...(conflictDetails.length > 0 ? { conflictDetails } : {}),
+        topologicalOrder: anyCycles ? [] : topologicalOrder,
+        criticalPath,
+    };
+}
+function computeCriticalPath(tasks, topologicalOrder) {
+    const dist = new Map();
+    const predecessor = new Map();
+    for (const id of topologicalOrder) {
+        dist.set(id, 0);
+        predecessor.set(id, null);
+    }
+    for (const id of topologicalOrder) {
+        const currentDist = dist.get(id);
+        // Look at tasks that depend on this one (skip self-references)
+        for (const otherTask of tasks) {
+            if (otherTask.taskId !== id && otherTask.dependsOn.includes(id)) {
+                const newDist = currentDist + 1;
+                if (newDist > (dist.get(otherTask.taskId) ?? 0)) {
+                    dist.set(otherTask.taskId, newDist);
+                    predecessor.set(otherTask.taskId, id);
+                }
+            }
+        }
+    }
+    // Find the task with the longest distance
+    let maxDist = 0;
+    let endNode = topologicalOrder[0] ?? '';
+    for (const [id, d] of dist.entries()) {
+        if (d >= maxDist) {
+            maxDist = d;
+            endNode = id;
+        }
+    }
+    // Trace back from endNode
+    const path = [];
+    let current = endNode;
+    while (current !== null) {
+        path.unshift(current);
+        current = predecessor.get(current) ?? null;
+    }
+    return path;
+}
+//# sourceMappingURL=dag-validator.js.map

package/dist/src/execute/dag-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dag-validator.js","sourceRoot":"","sources":["../../../src/execute/dag-validator.ts"],"names":[],"mappings":"AAEA;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,KAAmB,EAAE,MAAmB;IAClE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EAAE,IAAI;YACb,SAAS,EAAE,KAAK;YAChB,YAAY,EAAE,KAAK;YACnB,gBAAgB,EAAE,EAAE;YACpB,YAAY,EAAE,EAAE;SACjB,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACpD,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,MAAM,eAAe,GAAa,EAAE,CAAC;IAErC,0CAA0C;IAC1C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtB,eAAe,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,mCAAmC,GAAG,GAAG,CAAC,CAAC;YACtF,CAAC;YACD,IAAI,GAAG,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;gBACxB,YAAY,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,qBAAqB,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;IACH,CAAC;IAED,2DAA2D;IAC3D,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtB,eAAe,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,OAAO,mCAAmC,GAAG,GAAG,CAAC,CAAC;gBACvF,SAAS;YACX,CAAC;YACD,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACtC,IAAI,QAAQ,EAAE,CAAC;gBACb,eAAe,CAAC,IAAI,CAAC,SAAS,GAAG,kCAAkC,QAAQ,UAAU,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;YACzG,CAAC;YACD,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IAED,iCAAiC;IACjC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC,SAAS,GAAG,gCAAgC,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IAED,0DAA0D;IAC1D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE3C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACzB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC/B,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACjC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC5C,GAAG,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAChC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3C,IAAI,GAAG,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC5B,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACjD,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC/B,IAAI,MAAM,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC;IAC3D,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,cAAc,GAAG,KAAK;aACzB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;aACnD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACxB,YAAY,CAAC,IAAI,CAAC,mCAAmC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACrF,CAAC;IAED,4EAA4E;IAC5E,MAAM,SAAS,GAAG,SAAS,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;IAEnF,MAAM,YAAY,GAAG,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,CAAC,SAAS,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC;IAEzE,OAAO;QACL,OAAO;QACP,SAAS,EAAE,SAAS,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAC/C,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,YAAY;QACZ,GAAG,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,gBAAgB,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB;QACnD,YAAY;KACb,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAmB,EAAE,gBAA0B;IAC1E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;IAErD,KAAK,MAAM,EAAE,IAAI,gBAAgB,EAAE,CAAC;QAClC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAChB,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC5B,CAAC;IAED,KAAK,MAAM,EAAE,IAAI,gBAAgB,EAAE,CAAC;QAClC,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QAClC,+DAA+D;QAC/D,KAAK,MAAM,SAAS,IAAI,KAAK,EAAE,CAAC;YAC9B,IAAI,SAAS,CAAC,MAAM,KAAK,EAAE,IAAI,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBAChE,MAAM,OAAO,GAAG,WAAW,GAAG,CAAC,CAAC;gBAChC,IAAI,OAAO,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;oBAChD,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;oBACpC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBACxC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,0CAA0C;IAC1C,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;YACjB,OAAO,GAAG,CAAC,CAAC;YACZ,OAAO,GAAG,EAAE,CAAC;QACf,CAAC;IACH,CAAC;IAED,0BAA0B;IAC1B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,OAAO,GAAkB,OAAO,CAAC;IACrC,OAAO,OAAO,KAAK,IAAI,EAAE,CAAC;QACxB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACtB,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;IAC7C,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/execute/drift-detector.d.ts

@@ -0,0 +1,11 @@
+import type { Spec, TaskExecutionResult, DriftScore, AtomicTask } from '../core/types.js';
+/**
+ * Drift Detection — 태스크 실행 결과가 원래 Spec에서 얼마나 벗어났는지 측정.
+ *
+ * 3차원 가중합:
+ *   Goal Drift (Jaccard, 50%) — 태스크 output이 Spec goal의 핵심 키워드와 얼마나 일치하는지
+ *   Constraint Drift (violations×0.1, 30%) — 태스크 output이 constraint 위반 가능성
+ *   Ontology Drift (Jaccard, 20%) — 태스크가 ontology entity/relation을 참조하는지
+ */
+export declare function measureDrift(spec: Spec, _task: AtomicTask, taskResult: TaskExecutionResult, driftThreshold: number): DriftScore;
+//# sourceMappingURL=drift-detector.d.ts.map

package/dist/src/execute/drift-detector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"drift-detector.d.ts","sourceRoot":"","sources":["../../../src/execute/drift-detector.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,IAAI,EACJ,mBAAmB,EACnB,UAAU,EAEV,UAAU,EACX,MAAM,kBAAkB,CAAC;AAG1B;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,mBAAmB,EAC/B,cAAc,EAAE,MAAM,GACrB,UAAU,CAkBZ"}

package/dist/src/execute/drift-detector.js

@@ -0,0 +1,111 @@
+import { DRIFT_WEIGHTS } from '../core/constants.js';
+/**
+ * Drift Detection — 태스크 실행 결과가 원래 Spec에서 얼마나 벗어났는지 측정.
+ *
+ * 3차원 가중합:
+ *   Goal Drift (Jaccard, 50%) — 태스크 output이 Spec goal의 핵심 키워드와 얼마나 일치하는지
+ *   Constraint Drift (violations×0.1, 30%) — 태스크 output이 constraint 위반 가능성
+ *   Ontology Drift (Jaccard, 20%) — 태스크가 ontology entity/relation을 참조하는지
+ */
+export function measureDrift(spec, _task, taskResult, driftThreshold) {
+    const goalDimension = measureGoalDrift(spec, taskResult);
+    const constraintDimension = measureConstraintDrift(spec, taskResult);
+    const ontologyDimension = measureOntologyDrift(spec, taskResult);
+    const dimensions = [goalDimension, constraintDimension, ontologyDimension];
+    const overall = goalDimension.score * DRIFT_WEIGHTS.goal +
+        constraintDimension.score * DRIFT_WEIGHTS.constraint +
+        ontologyDimension.score * DRIFT_WEIGHTS.ontology;
+    return {
+        taskId: taskResult.taskId,
+        overall: Math.round(overall * 1000) / 1000,
+        dimensions,
+        thresholdExceeded: overall > driftThreshold,
+    };
+}
+/**
+ * Goal Drift: 1 - Jaccard(goalTokens, outputTokens)
+ * 높은 값 = 더 많은 drift
+ */
+function measureGoalDrift(spec, result) {
+    const goalTokens = tokenize(spec.goal);
+    const outputTokens = tokenize(result.output);
+    const jaccard = jaccardSimilarity(goalTokens, outputTokens);
+    const score = 1 - jaccard;
+    return {
+        name: 'goal',
+        score: Math.round(score * 1000) / 1000,
+        detail: `Goal-output Jaccard similarity: ${jaccard.toFixed(3)}`,
+    };
+}
+/**
+ * Constraint Drift: violations × 0.1 (capped at 1.0)
+ * 각 constraint의 키워드가 output에 전혀 없으면 violation 가능성으로 간주
+ */
+function measureConstraintDrift(spec, result) {
+    if (spec.constraints.length === 0) {
+        return { name: 'constraint', score: 0, detail: 'No constraints defined' };
+    }
+    const outputTokens = tokenize(result.output);
+    let violations = 0;
+    for (const constraint of spec.constraints) {
+        const constraintTokens = tokenize(constraint);
+        const overlap = jaccardSimilarity(constraintTokens, outputTokens);
+        if (overlap < 0.1) {
+            violations++;
+        }
+    }
+    const score = Math.min(violations * 0.1, 1.0);
+    return {
+        name: 'constraint',
+        score: Math.round(score * 1000) / 1000,
+        detail: `${violations}/${spec.constraints.length} constraints with low output overlap`,
+    };
+}
+/**
+ * Ontology Drift: 1 - Jaccard(ontologyTerms, outputTokens)
+ * 태스크가 ontology에 정의된 entity/relation 용어를 얼마나 참조하는지
+ */
+function measureOntologyDrift(spec, result) {
+    const ontologyTerms = new Set();
+    for (const entity of spec.ontologySchema.entities) {
+        ontologyTerms.add(entity.name.toLowerCase());
+        for (const attr of entity.attributes) {
+            ontologyTerms.add(attr.toLowerCase());
+        }
+    }
+    for (const rel of spec.ontologySchema.relations) {
+        ontologyTerms.add(rel.type.toLowerCase());
+    }
+    if (ontologyTerms.size === 0) {
+        return { name: 'ontology', score: 0, detail: 'No ontology terms defined' };
+    }
+    const outputTokens = tokenize(result.output);
+    const jaccard = jaccardSimilarity(ontologyTerms, outputTokens);
+    const score = 1 - jaccard;
+    return {
+        name: 'ontology',
+        score: Math.round(score * 1000) / 1000,
+        detail: `Ontology-output Jaccard similarity: ${jaccard.toFixed(3)}`,
+    };
+}
+function tokenize(text) {
+    return new Set(text
+        .toLowerCase()
+        .replace(/[^a-z0-9가-힣\s]/g, ' ')
+        .split(/\s+/)
+        .filter((t) => t.length > 1));
+}
+function jaccardSimilarity(setA, setB) {
+    if (setA.size === 0 && setB.size === 0)
+        return 1;
+    if (setA.size === 0 || setB.size === 0)
+        return 0;
+    let intersection = 0;
+    for (const item of setA) {
+        if (setB.has(item))
+            intersection++;
+    }
+    const union = setA.size + setB.size - intersection;
+    return union === 0 ? 0 : intersection / union;
+}
+//# sourceMappingURL=drift-detector.js.map

package/dist/src/execute/drift-detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"drift-detector.js","sourceRoot":"","sources":["../../../src/execute/drift-detector.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAErD;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAU,EACV,KAAiB,EACjB,UAA+B,EAC/B,cAAsB;IAEtB,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACzD,MAAM,mBAAmB,GAAG,sBAAsB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACrE,MAAM,iBAAiB,GAAG,oBAAoB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAEjE,MAAM,UAAU,GAAqB,CAAC,aAAa,EAAE,mBAAmB,EAAE,iBAAiB,CAAC,CAAC;IAE7F,MAAM,OAAO,GACX,aAAa,CAAC,KAAK,GAAG,aAAa,CAAC,IAAI;QACxC,mBAAmB,CAAC,KAAK,GAAG,aAAa,CAAC,UAAU;QACpD,iBAAiB,CAAC,KAAK,GAAG,aAAa,CAAC,QAAQ,CAAC;IAEnD,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,IAAI;QAC1C,UAAU;QACV,iBAAiB,EAAE,OAAO,GAAG,cAAc;KAC5C,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CAAC,IAAU,EAAE,MAA2B;IAC/D,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAE7C,MAAM,OAAO,GAAG,iBAAiB,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC;IAE1B,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,IAAI;QACtC,MAAM,EAAE,mCAAmC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;KAChE,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,sBAAsB,CAAC,IAAU,EAAE,MAA2B;IACrE,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,wBAAwB,EAAE,CAAC;IAC5E,CAAC;IAED,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QAC1C,MAAM,gBAAgB,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,iBAAiB,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;QAClE,IAAI,OAAO,GAAG,GAAG,EAAE,CAAC;YAClB,UAAU,EAAE,CAAC;QACf,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,GAAG,EAAE,GAAG,CAAC,CAAC;IAC9C,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,IAAI;QACtC,MAAM,EAAE,GAAG,UAAU,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,sCAAsC;KACvF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAAC,IAAU,EAAE,MAA2B;IACnE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC;QAClD,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACrC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,CAAC;QAChD,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;IAC7E,CAAC;IAED,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,iBAAiB,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC;IAE1B,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,IAAI;QACtC,MAAM,EAAE,uCAAuC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;KACpE,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,GAAG,CACZ,IAAI;SACD,WAAW,EAAE;SACb,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC;SAC/B,KAAK,CAAC,KAAK,CAAC;SACZ,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAiB,EAAE,IAAiB;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAEjD,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,YAAY,EAAE,CAAC;IACrC,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;IACnD,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,KAAK,CAAC;AAChD,CAAC"}

package/dist/src/execute/impact-identifier.d.ts

@@ -0,0 +1,12 @@
+import type { AtomicTask, DriftScore, SpecDelta } from '../core/types.js';
+/**
+ * Drift-based Impact Task Identifier
+ *
+ * Spec 패치 후 어떤 태스크를 재실행해야 하는지 식별한다.
+ * 두 가지 기준으로 impacted task를 선별:
+ *
+ * 1. Drift-based: 기존 실행 시 drift threshold를 초과한 태스크
+ * 2. Delta-based: 패치된 필드(AC, constraint 등)와 직접 연관된 태스크
+ */
+export declare function identifyImpactedTasks(atomicTasks: AtomicTask[], driftHistory: DriftScore[], delta: SpecDelta, driftThreshold: number): string[];
+//# sourceMappingURL=impact-identifier.d.ts.map

package/dist/src/execute/impact-identifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact-identifier.d.ts","sourceRoot":"","sources":["../../../src/execute/impact-identifier.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE1E;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CACnC,WAAW,EAAE,UAAU,EAAE,EACzB,YAAY,EAAE,UAAU,EAAE,EAC1B,KAAK,EAAE,SAAS,EAChB,cAAc,EAAE,MAAM,GACrB,MAAM,EAAE,CAoCV"}

package/dist/src/execute/impact-identifier.js

@@ -0,0 +1,60 @@
+/**
+ * Drift-based Impact Task Identifier
+ *
+ * Spec 패치 후 어떤 태스크를 재실행해야 하는지 식별한다.
+ * 두 가지 기준으로 impacted task를 선별:
+ *
+ * 1. Drift-based: 기존 실행 시 drift threshold를 초과한 태스크
+ * 2. Delta-based: 패치된 필드(AC, constraint 등)와 직접 연관된 태스크
+ */
+export function identifyImpactedTasks(atomicTasks, driftHistory, delta, driftThreshold) {
+    const impactedSet = new Set();
+    // 1. Drift-exceeded tasks: 기존 실행에서 이미 drift가 높았던 태스크
+    for (const drift of driftHistory) {
+        if (drift.thresholdExceeded || drift.overall > driftThreshold * 0.8) {
+            impactedSet.add(drift.taskId);
+        }
+    }
+    // 2. Delta-based: AC가 변경되었으면 해당 AC를 sourceAC로 가진 태스크 재실행
+    if (delta.fieldsChanged.includes('acceptanceCriteria')) {
+        for (const task of atomicTasks) {
+            // AC가 변경되었으므로 AC-linked 태스크는 재실행 대상
+            if (task.sourceAC.length > 0) {
+                impactedSet.add(task.taskId);
+            }
+        }
+    }
+    // 3. Ontology 변경 시 implicit 태스크 (ontology 기반 추론 태스크) 재실행
+    if (delta.fieldsChanged.includes('ontologySchema.entities') ||
+        delta.fieldsChanged.includes('ontologySchema.relations')) {
+        for (const task of atomicTasks) {
+            if (task.isImplicit) {
+                impactedSet.add(task.taskId);
+            }
+        }
+    }
+    // impacted task + 그에 의존하는 downstream 태스크도 포함
+    const withDependents = expandDependents(impactedSet, atomicTasks);
+    return Array.from(withDependents);
+}
+/**
+ * impacted 태스크에 의존하는 downstream 태스크를 재귀적으로 확장한다.
+ */
+function expandDependents(impacted, tasks) {
+    const result = new Set(impacted);
+    let changed = true;
+    while (changed) {
+        changed = false;
+        for (const task of tasks) {
+            if (result.has(task.taskId))
+                continue;
+            // 이 태스크의 dependency 중 하나라도 impacted면 이 태스크도 impacted
+            if (task.dependsOn.some((dep) => result.has(dep))) {
+                result.add(task.taskId);
+                changed = true;
+            }
+        }
+    }
+    return result;
+}
+//# sourceMappingURL=impact-identifier.js.map

package/dist/src/execute/impact-identifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact-identifier.js","sourceRoot":"","sources":["../../../src/execute/impact-identifier.ts"],"names":[],"mappings":"AAEA;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CACnC,WAAyB,EACzB,YAA0B,EAC1B,KAAgB,EAChB,cAAsB;IAEtB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IAEtC,qDAAqD;IACrD,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,OAAO,GAAG,cAAc,GAAG,GAAG,EAAE,CAAC;YACpE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,yDAAyD;IACzD,IAAI,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,CAAC;QACvD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,oCAAoC;YACpC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC7B,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;IACH,CAAC;IAED,yDAAyD;IACzD,IACE,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,yBAAyB,CAAC;QACvD,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EACxD,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;IACH,CAAC;IAED,6CAA6C;IAC7C,MAAM,cAAc,GAAG,gBAAgB,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IAElE,OAAO,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;AACpC,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,QAAqB,EAAE,KAAmB;IAClE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACjC,IAAI,OAAO,GAAG,IAAI,CAAC;IAEnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,SAAS;YACtC,qDAAqD;YACrD,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBAClD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACxB,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}