pulseed 0.0.1 → 0.1.1

package/dist/execution/result-reconciler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-reconciler.js","sourceRoot":"","sources":["../../src/execution/result-reconciler.ts"],"names":[],"mappings":"AAAA,2BAA2B;AAC3B,EAAE;AACF,8EAA8E;AAC9E,6EAA6E;AAE7E,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AA6BxB,yBAAyB;AAEzB,MAAM,UAAU,yBAAyB,CACvC,OAAsB,EACtB,OAAsB;IAEtB,OAAO;;;;;cAKK,OAAO,CAAC,OAAO,cAAc,OAAO,CAAC,OAAO;EACxD,OAAO,CAAC,MAAM,IAAI,aAAa;;cAEnB,OAAO,CAAC,OAAO,cAAc,OAAO,CAAC,OAAO;EACxD,OAAO,CAAC,MAAM,IAAI,aAAa;;;;;;;;;;;;iEAYgC,CAAC;AAClE,CAAC;AASD,MAAM,4BAA4B,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QAC/B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;QACvB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;KACrB,CAAC,CAAC;CACJ,CAAC,CAAC;AAEH,KAAK,UAAU,SAAS,CACtB,IAAoB,EACpB,OAAsB,EACtB,OAAsB;IAEtB,MAAM,MAAM,GAAG,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAE3D,IAAI,MAAkD,CAAC;IACvD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;gBAClC,OAAO,EAAE,uBAAuB;gBAChC,iBAAiB,EAAE,EAAE,qBAAqB,EAAE,MAAM,EAAE;gBACpD,cAAc,EAAE,4BAA4B;gBAC5C,SAAS,EAAE,GAAG;gBACd,WAAW,EAAE,CAAC;aACf,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,wCAAwC,EAAE;gBAC1D,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,OAAO,EAAE,OAAO,CAAC,OAAO;aACzB,CAAC,CAAC;YACH,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,WAAW,CAC/C,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EACnC,EAAE,UAAU,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC,EAAE,CACpC,CAAC;QAEF,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACxC,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,yDAAyD,EAAE;gBAC3E,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,OAAO,EAAE,OAAO,CAAC,OAAO;aACzB,CAAC,CAAC;YACH,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAA2B,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,cAAc,CAAC;QACzE,CAAC,CAAC,MAAM,CAAC,cAAc;QACvB,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IAEjE,OAAO,KAAK;SACT,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;SAC/D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,SAAS,EAAE,OAAO,CAAC,OAAO;QAC1B,SAAS,EAAE,OAAO,CAAC,OAAO;QAC1B,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,QAAQ,EAAE,CAAC,CAAC,QAAqC;KAClD,CAAC,CAAC,CAAC;AACR,CAAC;AAED,sBAAsB;AAEtB,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,IAAoB,EACpB,OAAwB;IAExB,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;IAC5E,CAAC;IAED,MAAM,iBAAiB,GAAoB,EAAE,CAAC;IAE9C,IAAI,CAAC;QACH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5C,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5D,iBAAiB,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC/D,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,kDAAkD,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QACjF,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;IAC5E,CAAC;IAED,OAAO;QACL,kBAAkB,EAAE,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAChD,cAAc,EAAE,iBAAiB;QACjC,UAAU,EAAE,GAAG;KAChB,CAAC;AACJ,CAAC"}

package/dist/execution/session-manager.d.ts

@@ -0,0 +1,153 @@
+import type { Session, SessionType, ContextSlot } from "../types/session.js";
+import type { StateManager } from "../state-manager.js";
+import type { KnowledgeEntry } from "../types/knowledge.js";
+import type { VectorIndex } from "../knowledge/vector-index.js";
+import type { GoalDependencyGraph } from "../goal/goal-dependency-graph.js";
+import { CheckpointManager } from './checkpoint-manager.js';
+import type { Checkpoint } from '../types/checkpoint.js';
+import { DEFAULT_CONTEXT_BUDGET } from './context-builder.js';
+export interface ContextBudget {
+    totalTokens: number;
+    usedTokens: number;
+    remaining: number;
+}
+export { DEFAULT_CONTEXT_BUDGET };
+/**
+ * SessionManager creates and manages the 4 session types
+ * (task_execution, observation, task_review, goal_review).
+ *
+ * MVP: Fixed priority-1–4 context templates per session type.
+ * Context isolation is enforced: each session type receives only
+ * what it needs to prevent bias (e.g., observation sessions never
+ * receive task execution details; task review sessions never receive
+ * the executor's self-report).
+ *
+ * Persistence: sessions/<session_id>.json via StateManager readRaw/writeRaw.
+ */
+export declare class SessionManager {
+    private readonly stateManager;
+    private readonly dependencyGraph?;
+    private checkpointManager?;
+    constructor(stateManager: StateManager, dependencyGraph?: GoalDependencyGraph);
+    setCheckpointManager(cm: CheckpointManager): void;
+    /** Estimates token count for a string. */
+    estimateTokens(text: string): number;
+    /** Compresses a context slot to fit within maxTokens. */
+    compressSlot(slot: ContextSlot, maxTokens: number): ContextSlot;
+    /**
+     * Creates a new session of the given type for goalId/taskId.
+     * Context slots are built based on session type using fixed MVP templates.
+     */
+    createSession(sessionType: SessionType, goalId: string, taskId: string | null, contextBudget?: number): Promise<Session>;
+    /**
+     * Marks a session as completed and records the result summary.
+     */
+    endSession(sessionId: string, resultSummary: string): Promise<void>;
+    /**
+     * Returns a session by ID, or null if not found.
+     */
+    getSession(sessionId: string): Promise<Session | null>;
+    /**
+     * Returns all active (not yet ended) sessions for a given goal.
+     * Note: MVP scans all sessions matching goalId with status="active".
+     * This reads the session index; sessions without ended_at are active.
+     */
+    getActiveSessions(goalId: string): Promise<Session[]>;
+    /**
+     * Builds context slots for task execution sessions.
+     *
+     * Priority assignments:
+     *   p1 — task definition and success criteria
+     *   p2 — target dimension current state
+     *   p3 — recent observation summary
+     *   p4 — constraints
+     *
+     * Excluded: goal history, other goals, strategic background
+     */
+    buildTaskExecutionContext(goalId: string, taskId: string, isRetry?: boolean): ContextSlot[];
+    /**
+     * Builds context slots for observation sessions.
+     *
+     * Priority assignments:
+     *   p1 — goal definition and dimension definitions
+     *   p2 — observation methods
+     *   p3 — previous observation results
+     *   p4 — constraints
+     *
+     * Excluded: task details, execution session content (bias prevention)
+     */
+    buildObservationContext(goalId: string, dimensionNames: string[]): ContextSlot[];
+    /**
+     * Builds context slots for task review sessions.
+     *
+     * Priority assignments:
+     *   p1 — task definition and success criteria
+     *   p2 — artifact access information
+     *
+     * Excluded: goal-level context, task generation background,
+     *           executor's self-report (independent judgment must be preserved)
+     */
+    buildTaskReviewContext(goalId: string, taskId: string): ContextSlot[];
+    /**
+     * Builds context slots for goal review sessions.
+     *
+     * Priority assignments:
+     *   p1 — goal definition (full)
+     *   p2 — state vector and recent changes
+     *   p3 — achievement thresholds
+     *   p4 — (reserved; not used in MVP but slot reserved for consistency)
+     *
+     * Excluded: individual task execution details, full execution history
+     */
+    buildGoalReviewContext(goalId: string): ContextSlot[];
+    /** Inject relevant KnowledgeEntry items into an existing set of context slots. */
+    injectKnowledgeContext(slots: ContextSlot[], entries: KnowledgeEntry[]): ContextSlot[];
+    /** Phase 2: Inject knowledge context using semantic search. */
+    injectSemanticKnowledgeContext(slots: ContextSlot[], query: string, vectorIndex: VectorIndex | undefined, contextBudget?: number): Promise<ContextSlot[]>;
+    /** Inject learning feedback into context slots. */
+    injectLearningFeedback(slots: ContextSlot[], feedback: string[]): ContextSlot[];
+    /** Filters context slots to fit within a token budget. */
+    filterSlotsByBudget(slots: ContextSlot[], budget: number): ContextSlot[];
+    /**
+     * Reads resource_conflict edges from the dependency graph for goalId.
+     * Returns list of conflicting goals and their shared resources (affected_dimensions).
+     */
+    checkResourceConflicts(goalId: string): {
+        conflictingGoalId: string;
+        sharedResources: string[];
+    }[];
+    /**
+     * Builds context slots for a given goalId/sessionType, then if a dependency graph
+     * is available, inserts a conflict-awareness slot (priority 4.5) describing
+     * active resource conflicts and instructing the session to avoid concurrent
+     * operations on shared resources.
+     *
+     * The conflict-awareness slot sits between constraints (p4) and previous session
+     * results (p5).
+     */
+    buildContextWithConflictAwareness(goalId: string, sessionType: SessionType, options?: {
+        tokenBudget?: number;
+        taskId?: string | null;
+    }): ContextSlot[];
+    saveCheckpoint(params: {
+        goalId: string;
+        taskId: string;
+        agentId: string;
+        sessionContextSnapshot: string;
+        intermediateResults?: string[];
+        metadata?: Record<string, unknown>;
+    }): Promise<Checkpoint | null>;
+    loadCheckpoint(goalId: string, currentAgentId: string, taskId?: string): Promise<{
+        checkpoint: Checkpoint;
+        adaptedContext: string;
+        wasAdapted: boolean;
+    } | null>;
+    gcCheckpoints(goalId: string, maxAgeDays?: number): Promise<number>;
+    private buildContextForType;
+    private persistSession;
+    /** Loads the session index (list of all session IDs). */
+    private loadSessionIndex;
+    /** Adds a session ID to the index if not already present. */
+    private updateSessionIndex;
+}
+//# sourceMappingURL=session-manager.d.ts.map

package/dist/execution/session-manager.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"session-manager.d.ts","sourceRoot":"","sources":["../../src/execution/session-manager.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAC7E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAOL,sBAAsB,EACvB,MAAM,sBAAsB,CAAC;AAI9B,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,OAAO,EAAE,sBAAsB,EAAE,CAAC;AAIlC;;;;;;;;;;;GAWG;AACH,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAe;IAC5C,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAsB;IACvD,OAAO,CAAC,iBAAiB,CAAC,CAAoB;gBAElC,YAAY,EAAE,YAAY,EAAE,eAAe,CAAC,EAAE,mBAAmB;IAK7E,oBAAoB,CAAC,EAAE,EAAE,iBAAiB,GAAG,IAAI;IAMjD,0CAA0C;IAC1C,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAIpC,yDAAyD;IACzD,YAAY,CAAC,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,GAAG,WAAW;IAM/D;;;OAGG;IACG,aAAa,CACjB,WAAW,EAAE,WAAW,EACxB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,aAAa,GAAE,MAA+B,GAC7C,OAAO,CAAC,OAAO,CAAC;IA2BnB;;OAEG;IACG,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAezE;;OAEG;IACG,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;IAM5D;;;;OAIG;IACG,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC;IAoB3D;;;;;;;;;;OAUG;IACH,yBAAyB,CACvB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,OAAe,GACvB,WAAW,EAAE;IAwChB;;;;;;;;;;OAUG;IACH,uBAAuB,CACrB,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,MAAM,EAAE,GACvB,WAAW,EAAE;IA6BhB;;;;;;;;;OASG;IACH,sBAAsB,CACpB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,GACb,WAAW,EAAE;IAiBhB;;;;;;;;;;OAUG;IACH,sBAAsB,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,EAAE;IAyBrD,kFAAkF;IAClF,sBAAsB,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,WAAW,EAAE;IAItF,+DAA+D;IACzD,8BAA8B,CAClC,KAAK,EAAE,WAAW,EAAE,EACpB,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,WAAW,GAAG,SAAS,EACpC,aAAa,GAAE,MAA+B,GAC7C,OAAO,CAAC,WAAW,EAAE,CAAC;IAIzB,mDAAmD;IACnD,sBAAsB,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,WAAW,EAAE;IAM/E,0DAA0D;IAC1D,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,WAAW,EAAE;IAMxE;;;OAGG;IACH,sBAAsB,CAAC,MAAM,EAAE,MAAM,GAAG;QAAE,iBAAiB,EAAE,MAAM,CAAC;QAAC,eAAe,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE;IAWlG;;;;;;;;OAQG;IACH,iCAAiC,CAC/B,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,WAAW,EACxB,OAAO,CAAC,EAAE;QAAE,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,GACzD,WAAW,EAAE;IA4CV,cAAc,CAAC,MAAM,EAAE;QAC3B,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;QACf,OAAO,EAAE,MAAM,CAAC;QAChB,sBAAsB,EAAE,MAAM,CAAC;QAC/B,mBAAmB,CAAC,EAAE,MAAM,EAAE,CAAC;QAC/B,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KACpC,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAKxB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;QACrF,UAAU,EAAE,UAAU,CAAC;QACvB,cAAc,EAAE,MAAM,CAAC;QACvB,UAAU,EAAE,OAAO,CAAC;KACrB,GAAG,IAAI,CAAC;IAKH,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAOzE,OAAO,CAAC,mBAAmB;YA4Bb,cAAc;IAK5B,yDAAyD;YAC3C,gBAAgB;IAO9B,6DAA6D;YAC/C,kBAAkB;CAOjC"}

package/dist/execution/session-manager.js

@@ -0,0 +1,390 @@
+import { randomUUID } from "node:crypto";
+import { SessionSchema } from "../types/session.js";
+import { estimateTokens as _estimateTokens, compressSlot as _compressSlot, filterSlotsByBudget as _filterSlotsByBudget, injectKnowledgeContext as _injectKnowledgeContext, injectSemanticKnowledgeContext as _injectSemanticKnowledgeContext, injectLearningFeedback as _injectLearningFeedback, DEFAULT_CONTEXT_BUDGET, } from './context-builder.js';
+export { DEFAULT_CONTEXT_BUDGET };
+// ─── SessionManager ───
+/**
+ * SessionManager creates and manages the 4 session types
+ * (task_execution, observation, task_review, goal_review).
+ *
+ * MVP: Fixed priority-1–4 context templates per session type.
+ * Context isolation is enforced: each session type receives only
+ * what it needs to prevent bias (e.g., observation sessions never
+ * receive task execution details; task review sessions never receive
+ * the executor's self-report).
+ *
+ * Persistence: sessions/<session_id>.json via StateManager readRaw/writeRaw.
+ */
+export class SessionManager {
+    stateManager;
+    dependencyGraph;
+    checkpointManager;
+    constructor(stateManager, dependencyGraph) {
+        this.stateManager = stateManager;
+        this.dependencyGraph = dependencyGraph;
+    }
+    setCheckpointManager(cm) {
+        this.checkpointManager = cm;
+    }
+    // ─── Token Estimation ───
+    /** Estimates token count for a string. */
+    estimateTokens(text) {
+        return _estimateTokens(text);
+    }
+    /** Compresses a context slot to fit within maxTokens. */
+    compressSlot(slot, maxTokens) {
+        return _compressSlot(slot, maxTokens);
+    }
+    // ─── Session Lifecycle ───
+    /**
+     * Creates a new session of the given type for goalId/taskId.
+     * Context slots are built based on session type using fixed MVP templates.
+     */
+    async createSession(sessionType, goalId, taskId, contextBudget = DEFAULT_CONTEXT_BUDGET) {
+        const sessionId = randomUUID();
+        const now = new Date().toISOString();
+        const contextSlots = this.dependencyGraph
+            ? this.buildContextWithConflictAwareness(goalId, sessionType, {
+                tokenBudget: contextBudget,
+                taskId,
+            })
+            : this.buildContextForType(sessionType, goalId, taskId, contextBudget);
+        const session = SessionSchema.parse({
+            id: sessionId,
+            session_type: sessionType,
+            goal_id: goalId,
+            task_id: taskId,
+            context_slots: contextSlots,
+            context_budget: contextBudget,
+            started_at: now,
+            ended_at: null,
+            result_summary: null,
+        });
+        await this.persistSession(session);
+        return session;
+    }
+    /**
+     * Marks a session as completed and records the result summary.
+     */
+    async endSession(sessionId, resultSummary) {
+        const session = await this.getSession(sessionId);
+        if (session === null) {
+            throw new Error(`SessionManager.endSession: session "${sessionId}" not found`);
+        }
+        const updated = SessionSchema.parse({
+            ...session,
+            ended_at: new Date().toISOString(),
+            result_summary: resultSummary,
+        });
+        await this.persistSession(updated);
+    }
+    /**
+     * Returns a session by ID, or null if not found.
+     */
+    async getSession(sessionId) {
+        const raw = await this.stateManager.readRaw(`sessions/${sessionId}.json`);
+        if (raw === null)
+            return null;
+        return SessionSchema.parse(raw);
+    }
+    /**
+     * Returns all active (not yet ended) sessions for a given goal.
+     * Note: MVP scans all sessions matching goalId with status="active".
+     * This reads the session index; sessions without ended_at are active.
+     */
+    async getActiveSessions(goalId) {
+        const index = await this.loadSessionIndex();
+        const sessions = [];
+        for (const sessionId of index) {
+            const session = await this.getSession(sessionId);
+            if (session !== null &&
+                session.goal_id === goalId &&
+                session.ended_at === null) {
+                sessions.push(session);
+            }
+        }
+        return sessions;
+    }
+    // ─── Context Building ───
+    /**
+     * Builds context slots for task execution sessions.
+     *
+     * Priority assignments:
+     *   p1 — task definition and success criteria
+     *   p2 — target dimension current state
+     *   p3 — recent observation summary
+     *   p4 — constraints
+     *
+     * Excluded: goal history, other goals, strategic background
+     */
+    buildTaskExecutionContext(goalId, taskId, isRetry = false) {
+        const slots = [
+            {
+                priority: 1,
+                label: "task_definition_and_success_criteria",
+                content: `goal_id:${goalId} task_id:${taskId}`,
+                token_estimate: 0,
+            },
+            {
+                priority: 2,
+                label: "target_dimension_current_state",
+                content: `goal_id:${goalId}`,
+                token_estimate: 0,
+            },
+            {
+                priority: 3,
+                label: "recent_observation_summary",
+                content: `goal_id:${goalId}`,
+                token_estimate: 0,
+            },
+            {
+                priority: 4,
+                label: "constraints",
+                content: `goal_id:${goalId}`,
+                token_estimate: 0,
+            },
+        ];
+        if (isRetry) {
+            slots.push({
+                priority: 5,
+                label: "previous_attempt_result",
+                content: `goal_id:${goalId} task_id:${taskId} retry:true`,
+                token_estimate: 0,
+            });
+        }
+        return slots;
+    }
+    /**
+     * Builds context slots for observation sessions.
+     *
+     * Priority assignments:
+     *   p1 — goal definition and dimension definitions
+     *   p2 — observation methods
+     *   p3 — previous observation results
+     *   p4 — constraints
+     *
+     * Excluded: task details, execution session content (bias prevention)
+     */
+    buildObservationContext(goalId, dimensionNames) {
+        return [
+            {
+                priority: 1,
+                label: "goal_and_dimension_definitions",
+                content: `goal_id:${goalId} dimensions:${dimensionNames.join(",")}`,
+                token_estimate: 0,
+            },
+            {
+                priority: 2,
+                label: "observation_methods",
+                content: `goal_id:${goalId} dimensions:${dimensionNames.join(",")}`,
+                token_estimate: 0,
+            },
+            {
+                priority: 3,
+                label: "previous_observation_results",
+                content: `goal_id:${goalId} dimensions:${dimensionNames.join(",")}`,
+                token_estimate: 0,
+            },
+            {
+                priority: 4,
+                label: "constraints",
+                content: `goal_id:${goalId}`,
+                token_estimate: 0,
+            },
+        ];
+    }
+    /**
+     * Builds context slots for task review sessions.
+     *
+     * Priority assignments:
+     *   p1 — task definition and success criteria
+     *   p2 — artifact access information
+     *
+     * Excluded: goal-level context, task generation background,
+     *           executor's self-report (independent judgment must be preserved)
+     */
+    buildTaskReviewContext(goalId, taskId) {
+        return [
+            {
+                priority: 1,
+                label: "task_definition_and_success_criteria",
+                content: `goal_id:${goalId} task_id:${taskId}`,
+                token_estimate: 0,
+            },
+            {
+                priority: 2,
+                label: "artifact_access_information",
+                content: `goal_id:${goalId} task_id:${taskId}`,
+                token_estimate: 0,
+            },
+        ];
+    }
+    /**
+     * Builds context slots for goal review sessions.
+     *
+     * Priority assignments:
+     *   p1 — goal definition (full)
+     *   p2 — state vector and recent changes
+     *   p3 — achievement thresholds
+     *   p4 — (reserved; not used in MVP but slot reserved for consistency)
+     *
+     * Excluded: individual task execution details, full execution history
+     */
+    buildGoalReviewContext(goalId) {
+        return [
+            {
+                priority: 1,
+                label: "goal_definition",
+                content: `goal_id:${goalId}`,
+                token_estimate: 0,
+            },
+            {
+                priority: 2,
+                label: "state_vector_and_recent_changes",
+                content: `goal_id:${goalId}`,
+                token_estimate: 0,
+            },
+            {
+                priority: 3,
+                label: "achievement_thresholds",
+                content: `goal_id:${goalId}`,
+                token_estimate: 0,
+            },
+        ];
+    }
+    // ─── Knowledge Context Injection ───
+    /** Inject relevant KnowledgeEntry items into an existing set of context slots. */
+    injectKnowledgeContext(slots, entries) {
+        return _injectKnowledgeContext(slots, entries);
+    }
+    /** Phase 2: Inject knowledge context using semantic search. */
+    async injectSemanticKnowledgeContext(slots, query, vectorIndex, contextBudget = DEFAULT_CONTEXT_BUDGET) {
+        return _injectSemanticKnowledgeContext(slots, query, vectorIndex, contextBudget);
+    }
+    /** Inject learning feedback into context slots. */
+    injectLearningFeedback(slots, feedback) {
+        return _injectLearningFeedback(slots, feedback);
+    }
+    // ─── Dynamic Budget Filtering ───
+    /** Filters context slots to fit within a token budget. */
+    filterSlotsByBudget(slots, budget) {
+        return _filterSlotsByBudget(slots, budget);
+    }
+    // ─── Resource Conflict Awareness ───
+    /**
+     * Reads resource_conflict edges from the dependency graph for goalId.
+     * Returns list of conflicting goals and their shared resources (affected_dimensions).
+     */
+    checkResourceConflicts(goalId) {
+        if (!this.dependencyGraph)
+            return [];
+        const conflictEdges = this.dependencyGraph.getResourceConflicts(goalId);
+        return conflictEdges.map((edge) => ({
+            conflictingGoalId: edge.from_goal_id === goalId ? edge.to_goal_id : edge.from_goal_id,
+            sharedResources: edge.affected_dimensions,
+        }));
+    }
+    /**
+     * Builds context slots for a given goalId/sessionType, then if a dependency graph
+     * is available, inserts a conflict-awareness slot (priority 4.5) describing
+     * active resource conflicts and instructing the session to avoid concurrent
+     * operations on shared resources.
+     *
+     * The conflict-awareness slot sits between constraints (p4) and previous session
+     * results (p5).
+     */
+    buildContextWithConflictAwareness(goalId, sessionType, options) {
+        const slots = this.buildContextForType(sessionType, goalId, options?.taskId ?? null);
+        const conflicts = this.checkResourceConflicts(goalId);
+        if (conflicts.length > 0) {
+            const conflictLines = conflicts.map((c) => {
+                const resources = c.sharedResources.length > 0
+                    ? c.sharedResources.join(", ")
+                    : "(unspecified resources)";
+                return `- Conflicting goal: ${c.conflictingGoalId} | Shared resources: ${resources}`;
+            });
+            const conflictContent = [
+                "RESOURCE CONFLICT AWARENESS:",
+                "The following goals are competing for shared resources with this goal.",
+                "Avoid concurrent operations on these shared resources.",
+                "",
+                ...conflictLines,
+            ].join("\n");
+            const conflictSlot = {
+                priority: 4.5,
+                label: "resource_conflict_awareness",
+                content: conflictContent,
+                token_estimate: this.estimateTokens(conflictContent),
+            };
+            const withConflict = [...slots, conflictSlot];
+            if (options?.tokenBudget !== undefined) {
+                return this.filterSlotsByBudget(withConflict, options.tokenBudget);
+            }
+            return withConflict;
+        }
+        if (options?.tokenBudget !== undefined) {
+            return this.filterSlotsByBudget(slots, options.tokenBudget);
+        }
+        return slots;
+    }
+    // ─── Checkpoint Delegation ───
+    async saveCheckpoint(params) {
+        if (!this.checkpointManager)
+            return null;
+        return this.checkpointManager.saveCheckpoint(params);
+    }
+    async loadCheckpoint(goalId, currentAgentId, taskId) {
+        if (!this.checkpointManager)
+            return null;
+        return this.checkpointManager.loadAndAdaptCheckpoint(goalId, currentAgentId, taskId);
+    }
+    async gcCheckpoints(goalId, maxAgeDays) {
+        if (!this.checkpointManager)
+            return 0;
+        return this.checkpointManager.garbageCollect(goalId, maxAgeDays);
+    }
+    // ─── Private Helpers ───
+    buildContextForType(sessionType, goalId, taskId, tokenBudget) {
+        let slots;
+        switch (sessionType) {
+            case "task_execution":
+                slots = this.buildTaskExecutionContext(goalId, taskId ?? "");
+                break;
+            case "observation":
+                slots = this.buildObservationContext(goalId, []);
+                break;
+            case "task_review":
+                slots = this.buildTaskReviewContext(goalId, taskId ?? "");
+                break;
+            case "goal_review":
+                slots = this.buildGoalReviewContext(goalId);
+                break;
+        }
+        if (tokenBudget !== undefined) {
+            return this.filterSlotsByBudget(slots, tokenBudget);
+        }
+        return slots;
+    }
+    async persistSession(session) {
+        await this.stateManager.writeRaw(`sessions/${session.id}.json`, session);
+        await this.updateSessionIndex(session.id);
+    }
+    /** Loads the session index (list of all session IDs). */
+    async loadSessionIndex() {
+        const raw = await this.stateManager.readRaw("sessions/index.json");
+        if (raw === null)
+            return [];
+        if (!Array.isArray(raw))
+            return [];
+        return raw.filter((item) => typeof item === "string");
+    }
+    /** Adds a session ID to the index if not already present. */
+    async updateSessionIndex(sessionId) {
+        const index = await this.loadSessionIndex();
+        if (!index.includes(sessionId)) {
+            index.push(sessionId);
+            await this.stateManager.writeRaw("sessions/index.json", index);
+        }
+    }
+}
+//# sourceMappingURL=session-manager.js.map

package/dist/execution/session-manager.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"session-manager.js","sourceRoot":"","sources":["../../src/execution/session-manager.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAQpD,OAAO,EACL,cAAc,IAAI,eAAe,EACjC,YAAY,IAAI,aAAa,EAC7B,mBAAmB,IAAI,oBAAoB,EAC3C,sBAAsB,IAAI,uBAAuB,EACjD,8BAA8B,IAAI,+BAA+B,EACjE,sBAAsB,IAAI,uBAAuB,EACjD,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAU9B,OAAO,EAAE,sBAAsB,EAAE,CAAC;AAElC,yBAAyB;AAEzB;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,cAAc;IACR,YAAY,CAAe;IAC3B,eAAe,CAAuB;IAC/C,iBAAiB,CAAqB;IAE9C,YAAY,YAA0B,EAAE,eAAqC;QAC3E,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;QACjC,IAAI,CAAC,eAAe,GAAG,eAAe,CAAC;IACzC,CAAC;IAED,oBAAoB,CAAC,EAAqB;QACxC,IAAI,CAAC,iBAAiB,GAAG,EAAE,CAAC;IAC9B,CAAC;IAED,2BAA2B;IAE3B,0CAA0C;IAC1C,cAAc,CAAC,IAAY;QACzB,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,yDAAyD;IACzD,YAAY,CAAC,IAAiB,EAAE,SAAiB;QAC/C,OAAO,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACxC,CAAC;IAED,4BAA4B;IAE5B;;;OAGG;IACH,KAAK,CAAC,aAAa,CACjB,WAAwB,EACxB,MAAc,EACd,MAAqB,EACrB,gBAAwB,sBAAsB;QAE9C,MAAM,SAAS,GAAG,UAAU,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAErC,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe;YACvC,CAAC,CAAC,IAAI,CAAC,iCAAiC,CAAC,MAAM,EAAE,WAAW,EAAE;gBAC1D,WAAW,EAAE,aAAa;gBAC1B,MAAM;aACP,CAAC;YACJ,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC;QAEzE,MAAM,OAAO,GAAY,aAAa,CAAC,KAAK,CAAC;YAC3C,EAAE,EAAE,SAAS;YACb,YAAY,EAAE,WAAW;YACzB,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,MAAM;YACf,aAAa,EAAE,YAAY;YAC3B,cAAc,EAAE,aAAa;YAC7B,UAAU,EAAE,GAAG;YACf,QAAQ,EAAE,IAAI;YACd,cAAc,EAAE,IAAI;SACrB,CAAC,CAAC;QAEH,MAAM,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;QACnC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,UAAU,CAAC,SAAiB,EAAE,aAAqB;QACvD,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACjD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,uCAAuC,SAAS,aAAa,CAAC,CAAC;QACjF,CAAC;QAED,MAAM,OAAO,GAAY,aAAa,CAAC,KAAK,CAAC;YAC3C,GAAG,OAAO;YACV,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YAClC,cAAc,EAAE,aAAa;SAC9B,CAAC,CAAC;QAEH,MAAM,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,UAAU,CAAC,SAAiB;QAChC,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,YAAY,SAAS,OAAO,CAAC,CAAC;QAC1E,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC9B,OAAO,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,iBAAiB,CAAC,MAAc;QACpC,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAc,EAAE,CAAC;QAE/B,KAAK,MAAM,SAAS,IAAI,KAAK,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;YACjD,IACE,OAAO,KAAK,IAAI;gBAChB,OAAO,CAAC,OAAO,KAAK,MAAM;gBAC1B,OAAO,CAAC,QAAQ,KAAK,IAAI,EACzB,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,2BAA2B;IAE3B;;;;;;;;;;OAUG;IACH,yBAAyB,CACvB,MAAc,EACd,MAAc,EACd,UAAmB,KAAK;QAExB,MAAM,KAAK,GAAkB;YAC3B;gBACE,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,sCAAsC;gBAC7C,OAAO,EAAE,WAAW,MAAM,YAAY,MAAM,EAAE;gBAC9C,cAAc,EAAE,CAAC;aAClB;YACD;gBACE,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,gCAAgC;gBACvC,OAAO,EAAE,WAAW,MAAM,EAAE;gBAC5B,cAAc,EAAE,CAAC;aAClB;YACD;gBACE,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,4BAA4B;gBACnC,OAAO,EAAE,WAAW,MAAM,EAAE;gBAC5B,cAAc,EAAE,CAAC;aAClB;YACD;gBACE,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,aAAa;gBACpB,OAAO,EAAE,WAAW,MAAM,EAAE;gBAC5B,cAAc,EAAE,CAAC;aAClB;SACF,CAAC;QAEF,IAAI,OAAO,EAAE,CAAC;YACZ,KAAK,CAAC,IAAI,CAAC;gBACT,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,yBAAyB;gBAChC,OAAO,EAAE,WAAW,MAAM,YAAY,MAAM,aAAa;gBACzD,cAAc,EAAE,CAAC;aAClB,CAAC,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;;;;;;;OAUG;IACH,uBAAuB,CACrB,MAAc,EACd,cAAwB;QAExB,OAAO;YACL;gBACE,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,gCAAgC;gBACvC,OAAO,EAAE,WAAW,MAAM,eAAe,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;gBACnE,cAAc,EAAE,CAAC;aAClB;YACD;gBACE,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,qBAAqB;gBAC5B,OAAO,EAAE,WAAW,MAAM,eAAe,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;gBACnE,cAAc,EAAE,CAAC;aAClB;YACD;gBACE,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,8BAA8B;gBACrC,OAAO,EAAE,WAAW,MAAM,eAAe,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;gBACnE,cAAc,EAAE,CAAC;aAClB;YACD;gBACE,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,aAAa;gBACpB,OAAO,EAAE,WAAW,MAAM,EAAE;gBAC5B,cAAc,EAAE,CAAC;aAClB;SACF,CAAC;IACJ,CAAC;IAED;;;;;;;;;OASG;IACH,sBAAsB,CACpB,MAAc,EACd,MAAc;QAEd,OAAO;YACL;gBACE,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,sCAAsC;gBAC7C,OAAO,EAAE,WAAW,MAAM,YAAY,MAAM,EAAE;gBAC9C,cAAc,EAAE,CAAC;aAClB;YACD;gBACE,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,6BAA6B;gBACpC,OAAO,EAAE,WAAW,MAAM,YAAY,MAAM,EAAE;gBAC9C,cAAc,EAAE,CAAC;aAClB;SACF,CAAC;IACJ,CAAC;IAED;;;;;;;;;;OAUG;IACH,sBAAsB,CAAC,MAAc;QACnC,OAAO;YACL;gBACE,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,iBAAiB;gBACxB,OAAO,EAAE,WAAW,MAAM,EAAE;gBAC5B,cAAc,EAAE,CAAC;aAClB;YACD;gBACE,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,iCAAiC;gBACxC,OAAO,EAAE,WAAW,MAAM,EAAE;gBAC5B,cAAc,EAAE,CAAC;aAClB;YACD;gBACE,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE,wBAAwB;gBAC/B,OAAO,EAAE,WAAW,MAAM,EAAE;gBAC5B,cAAc,EAAE,CAAC;aAClB;SACF,CAAC;IACJ,CAAC;IAED,sCAAsC;IAEtC,kFAAkF;IAClF,sBAAsB,CAAC,KAAoB,EAAE,OAAyB;QACpE,OAAO,uBAAuB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IAED,+DAA+D;IAC/D,KAAK,CAAC,8BAA8B,CAClC,KAAoB,EACpB,KAAa,EACb,WAAoC,EACpC,gBAAwB,sBAAsB;QAE9C,OAAO,+BAA+B,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;IACnF,CAAC;IAED,mDAAmD;IACnD,sBAAsB,CAAC,KAAoB,EAAE,QAAkB;QAC7D,OAAO,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAClD,CAAC;IAED,mCAAmC;IAEnC,0DAA0D;IAC1D,mBAAmB,CAAC,KAAoB,EAAE,MAAc;QACtD,OAAO,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;IAED,sCAAsC;IAEtC;;;OAGG;IACH,sBAAsB,CAAC,MAAc;QACnC,IAAI,CAAC,IAAI,CAAC,eAAe;YAAE,OAAO,EAAE,CAAC;QAErC,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACxE,OAAO,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAClC,iBAAiB,EACf,IAAI,CAAC,YAAY,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY;YACpE,eAAe,EAAE,IAAI,CAAC,mBAAmB;SAC1C,CAAC,CAAC,CAAC;IACN,CAAC;IAED;;;;;;;;OAQG;IACH,iCAAiC,CAC/B,MAAc,EACd,WAAwB,EACxB,OAA0D;QAE1D,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC;QACrF,MAAM,SAAS,GAAG,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;QAEtD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACxC,MAAM,SAAS,GACb,CAAC,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;oBAC1B,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC9B,CAAC,CAAC,yBAAyB,CAAC;gBAChC,OAAO,uBAAuB,CAAC,CAAC,iBAAiB,wBAAwB,SAAS,EAAE,CAAC;YACvF,CAAC,CAAC,CAAC;YAEH,MAAM,eAAe,GAAG;gBACtB,8BAA8B;gBAC9B,wEAAwE;gBACxE,wDAAwD;gBACxD,EAAE;gBACF,GAAG,aAAa;aACjB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEb,MAAM,YAAY,GAAgB;gBAChC,QAAQ,EAAE,GAAG;gBACb,KAAK,EAAE,6BAA6B;gBACpC,OAAO,EAAE,eAAe;gBACxB,cAAc,EAAE,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC;aACrD,CAAC;YAEF,MAAM,YAAY,GAAG,CAAC,GAAG,KAAK,EAAE,YAAY,CAAC,CAAC;YAE9C,IAAI,OAAO,EAAE,WAAW,KAAK,SAAS,EAAE,CAAC;gBACvC,OAAO,IAAI,CAAC,mBAAmB,CAAC,YAAY,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;YACrE,CAAC;YACD,OAAO,YAAY,CAAC;QACtB,CAAC;QAED,IAAI,OAAO,EAAE,WAAW,KAAK,SAAS,EAAE,CAAC;YACvC,OAAO,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;QAC9D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,gCAAgC;IAEhC,KAAK,CAAC,cAAc,CAAC,MAOpB;QACC,IAAI,CAAC,IAAI,CAAC,iBAAiB;YAAE,OAAO,IAAI,CAAC;QACzC,OAAO,IAAI,CAAC,iBAAiB,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IACvD,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,MAAc,EAAE,cAAsB,EAAE,MAAe;QAK1E,IAAI,CAAC,IAAI,CAAC,iBAAiB;YAAE,OAAO,IAAI,CAAC;QACzC,OAAO,IAAI,CAAC,iBAAiB,CAAC,sBAAsB,CAAC,MAAM,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC;IACvF,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,MAAc,EAAE,UAAmB;QACrD,IAAI,CAAC,IAAI,CAAC,iBAAiB;YAAE,OAAO,CAAC,CAAC;QACtC,OAAO,IAAI,CAAC,iBAAiB,CAAC,cAAc,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACnE,CAAC;IAED,0BAA0B;IAElB,mBAAmB,CACzB,WAAwB,EACxB,MAAc,EACd,MAAqB,EACrB,WAAoB;QAEpB,IAAI,KAAoB,CAAC;QACzB,QAAQ,WAAW,EAAE,CAAC;YACpB,KAAK,gBAAgB;gBACnB,KAAK,GAAG,IAAI,CAAC,yBAAyB,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC;gBAC7D,MAAM;YACR,KAAK,aAAa;gBAChB,KAAK,GAAG,IAAI,CAAC,uBAAuB,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBACjD,MAAM;YACR,KAAK,aAAa;gBAChB,KAAK,GAAG,IAAI,CAAC,sBAAsB,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC;gBAC1D,MAAM;YACR,KAAK,aAAa;gBAChB,KAAK,GAAG,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;gBAC5C,MAAM;QACV,CAAC;QAED,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QACtD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,KAAK,CAAC,cAAc,CAAC,OAAgB;QAC3C,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,YAAY,OAAO,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QACzE,MAAM,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,yDAAyD;IACjD,KAAK,CAAC,gBAAgB;QAC5B,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QACnE,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,CAAC;QACnC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC;IACxE,CAAC;IAED,6DAA6D;IACrD,KAAK,CAAC,kBAAkB,CAAC,SAAiB;QAChD,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC5C,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACtB,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;CACF"}

package/dist/execution/task-approval-check.d.ts

@@ -0,0 +1,9 @@
+import type { Task } from "../types/task.js";
+import type { TrustManager } from "../traits/trust-manager.js";
+/**
+ * Check whether the task requires human approval and, if so, request it.
+ *
+ * @returns true if approved or approval not needed; false if approval was denied
+ */
+export declare function checkIrreversibleApproval(trustManager: TrustManager, approvalFn: (task: Task) => Promise<boolean>, task: Task, confidence?: number): Promise<boolean>;
+//# sourceMappingURL=task-approval-check.d.ts.map

package/dist/execution/task-approval-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-approval-check.d.ts","sourceRoot":"","sources":["../../src/execution/task-approval-check.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE/D;;;;GAIG;AACH,wBAAsB,yBAAyB,CAC7C,YAAY,EAAE,YAAY,EAC1B,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,OAAO,CAAC,OAAO,CAAC,EAC5C,IAAI,EAAE,IAAI,EACV,UAAU,GAAE,MAAY,GACvB,OAAO,CAAC,OAAO,CAAC,CAclB"}

package/dist/execution/task-approval-check.js

@@ -0,0 +1,14 @@
+/**
+ * Check whether the task requires human approval and, if so, request it.
+ *
+ * @returns true if approved or approval not needed; false if approval was denied
+ */
+export async function checkIrreversibleApproval(trustManager, approvalFn, task, confidence = 0.5) {
+    const domain = task.task_category;
+    const needsApproval = await trustManager.requiresApproval(task.reversibility, domain, confidence, task.task_category);
+    if (!needsApproval) {
+        return true;
+    }
+    return approvalFn(task);
+}
+//# sourceMappingURL=task-approval-check.js.map

package/dist/execution/task-approval-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-approval-check.js","sourceRoot":"","sources":["../../src/execution/task-approval-check.ts"],"names":[],"mappings":"AAGA;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,YAA0B,EAC1B,UAA4C,EAC5C,IAAU,EACV,aAAqB,GAAG;IAExB,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC;IAClC,MAAM,aAAa,GAAG,MAAM,YAAY,CAAC,gBAAgB,CACvD,IAAI,CAAC,aAAa,EAClB,MAAM,EACN,UAAU,EACV,IAAI,CAAC,aAAa,CACnB,CAAC;IAEF,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/execution/task-approval.d.ts

@@ -0,0 +1,22 @@
+import type { Task } from "../types/task.js";
+import type { EthicsGate } from "../traits/ethics-gate.js";
+import type { CapabilityDetector } from "../observation/capability-detector.js";
+import type { TaskCycleResult } from "./task-execution-types.js";
+export interface PreExecutionCheckDeps {
+    ethicsGate?: EthicsGate;
+    capabilityDetector?: CapabilityDetector;
+    approvalFn: (task: Task) => Promise<boolean>;
+    checkIrreversibleApproval: (task: Task) => Promise<boolean>;
+}
+export type PreExecutionCheckResult = {
+    passed: true;
+} | {
+    passed: false;
+    result: TaskCycleResult;
+};
+/**
+ * Run all pre-execution checks: ethics, capability, irreversible approval.
+ * Returns null if all passed, or a TaskCycleResult to return early.
+ */
+export declare function runPreExecutionChecks(deps: PreExecutionCheckDeps, task: Task): Promise<TaskCycleResult | null>;
+//# sourceMappingURL=task-approval.d.ts.map

package/dist/execution/task-approval.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-approval.d.ts","sourceRoot":"","sources":["../../src/execution/task-approval.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAsB,MAAM,kBAAkB,CAAC;AACjE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uCAAuC,CAAC;AAEhF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAIjE,MAAM,WAAW,qBAAqB;IACpC,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACxC,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IAC7C,yBAAyB,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CAC7D;AAID,MAAM,MAAM,uBAAuB,GAC/B;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,GAChB;IAAE,MAAM,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,eAAe,CAAA;CAAE,CAAC;AAgK/C;;;GAGG;AACH,wBAAsB,qBAAqB,CACzC,IAAI,EAAE,qBAAqB,EAC3B,IAAI,EAAE,IAAI,GACT,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAkBjC"}