pulseed 0.0.1 → 0.1.0

package/dist/loop/core-loop-phases.d.ts

@@ -0,0 +1,57 @@
+/**
+ * core-loop-phases.ts
+ *
+ * Phases 1–4 of CoreLoop.runOneIteration() as standalone functions.
+ * Each function accepts a PhaseCtx (deps + config + logger) plus phase-specific
+ * parameters. They mutate `result` by reference and return values as documented.
+ *
+ * Phases 5–7 are in core-loop-phases-b.ts.
+ */
+import type { Logger } from "../runtime/logger.js";
+import type { Goal } from "../types/goal.js";
+import type { GapVector } from "../types/gap.js";
+import type { DriveScore } from "../types/drive.js";
+import { type CoreLoopDeps, type ResolvedLoopConfig, type LoopIterationResult } from "./core-loop-types.js";
+/** Minimal context passed to every phase function. */
+export interface PhaseCtx {
+    deps: CoreLoopDeps;
+    config: ResolvedLoopConfig;
+    logger: Logger | undefined;
+}
+/** Load goal from state, apply tree aggregation if applicable.
+ * Returns the loaded Goal, or null if an error occurred (result is mutated). */
+export declare function loadGoalWithAggregation(ctx: PhaseCtx, goalId: string, result: LoopIterationResult, startTime: number): Promise<Goal | null>;
+/**
+ * Automatically decompose an abstract goal into sub-goals using
+ * TreeLoopOrchestrator.ensureGoalRefined(). Skipped when disabled,
+ * when the goal already has children, or when the goal is a leaf.
+ * Only root goals (decomposition_depth === 0) are auto-decomposed to
+ * prevent recursive decomposition of child nodes.
+ * Specificity checks are delegated to ensureGoalRefined internally.
+ *
+ * @param decomposedGoals - Set of goal IDs already decomposed this run.
+ *   When provided, goals already in the set are skipped and the goal ID is
+ *   added to the set after a successful decomposition attempt.
+ */
+export declare function phaseAutoDecompose(goalId: string, goal: Goal, deps: CoreLoopDeps, config: ResolvedLoopConfig, logger: Logger | undefined, decomposedGoals?: Set<string>): Promise<void>;
+/** Run observation engine, reload goal after observation.
+ * Observation failure is non-fatal — returns current goal state. */
+export declare function observeAndReload(ctx: PhaseCtx, goalId: string, goal: Goal, loopIndex: number): Promise<Goal>;
+/** Calculate gap vector and aggregate.
+ * Returns null on error.
+ * When gap === 0, returns the gap result with skipTaskGeneration=true so the
+ * caller continues to Phase 5 (SatisficingJudge) instead of short-circuiting.
+ */
+export declare function calculateGapOrComplete(ctx: PhaseCtx, goalId: string, goal: Goal, loopIndex: number, result: LoopIterationResult, startTime: number): Promise<{
+    gapVector: GapVector;
+    gapAggregate: number;
+    skipTaskGeneration?: boolean;
+} | null>;
+/** Score drives, update DriveScoreAdapter, check knowledge gap.
+ * Returns ranked DriveScores with highDissatisfactionDimensions, or null if the caller should
+ * return result early (knowledge gap task generated or drive scoring failed). */
+export declare function scoreDrivesAndCheckKnowledge(ctx: PhaseCtx, goalId: string, goal: Goal, gapVector: GapVector, loopIndex: number, result: LoopIterationResult, startTime: number, tryGenerateReport: (goalId: string, loopIndex: number, result: LoopIterationResult, goal: Goal) => void): Promise<{
+    driveScores: DriveScore[];
+    highDissatisfactionDimensions: string[];
+} | null>;
+//# sourceMappingURL=core-loop-phases.d.ts.map

package/dist/loop/core-loop-phases.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"core-loop-phases.d.ts","sourceRoot":"","sources":["../../src/loop/core-loop-phases.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,mBAAmB,EACzB,MAAM,sBAAsB,CAAC;AAG9B,sDAAsD;AACtD,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;CAC5B;AAID;gFACgF;AAChF,wBAAsB,uBAAuB,CAC3C,GAAG,EAAE,QAAQ,EACb,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,mBAAmB,EAC3B,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC,CA6BtB;AAID;;;;;;;;;;;GAWG;AACH,wBAAsB,kBAAkB,CACtC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,YAAY,EAClB,MAAM,EAAE,kBAAkB,EAC1B,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAC5B,OAAO,CAAC,IAAI,CAAC,CAuCf;AAID;oEACoE;AACpE,wBAAsB,gBAAgB,CACpC,GAAG,EAAE,QAAQ,EACb,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,IAAI,EACV,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,IAAI,CAAC,CAqBf;AAID;;;;GAIG;AACH,wBAAsB,sBAAsB,CAC1C,GAAG,EAAE,QAAQ,EACb,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,IAAI,EACV,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,mBAAmB,EAC3B,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC;IAAE,SAAS,EAAE,SAAS,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,kBAAkB,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,IAAI,CAAC,CAsD9F;AAID;;iFAEiF;AACjF,wBAAsB,4BAA4B,CAChD,GAAG,EAAE,QAAQ,EACb,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,IAAI,EACV,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,mBAAmB,EAC3B,SAAS,EAAE,MAAM,EACjB,iBAAiB,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,mBAAmB,EAAE,IAAI,EAAE,IAAI,KAAK,IAAI,GACtG,OAAO,CAAC;IAAE,WAAW,EAAE,UAAU,EAAE,CAAC;IAAC,6BAA6B,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CA8GxF"}

package/dist/loop/core-loop-phases.js

@@ -0,0 +1,279 @@
+/**
+ * core-loop-phases.ts
+ *
+ * Phases 1–4 of CoreLoop.runOneIteration() as standalone functions.
+ * Each function accepts a PhaseCtx (deps + config + logger) plus phase-specific
+ * parameters. They mutate `result` by reference and return values as documented.
+ *
+ * Phases 5–7 are in core-loop-phases-b.ts.
+ */
+import { buildDriveContext, } from "./core-loop-types.js";
+import { logRewardComputation } from "../drive/reward-log.js";
+// ─── Phase 1 ───
+/** Load goal from state, apply tree aggregation if applicable.
+ * Returns the loaded Goal, or null if an error occurred (result is mutated). */
+export async function loadGoalWithAggregation(ctx, goalId, result, startTime) {
+    let goal;
+    try {
+        const loaded = await ctx.deps.stateManager.loadGoal(goalId);
+        if (!loaded) {
+            result.error = `Goal "${goalId}" not found`;
+            result.elapsedMs = Date.now() - startTime;
+            return null;
+        }
+        goal = loaded;
+    }
+    catch (err) {
+        result.error = `Failed to load goal: ${err instanceof Error ? err.message : String(err)}`;
+        ctx.logger?.error(`CoreLoop: ${result.error}`, { goalId });
+        result.elapsedMs = Date.now() - startTime;
+        return null;
+    }
+    // Tree aggregation
+    if (ctx.deps.stateAggregator && goal.children_ids.length > 0) {
+        try {
+            await ctx.deps.stateAggregator.aggregateChildStates(goalId);
+            const reloaded = await ctx.deps.stateManager.loadGoal(goalId);
+            if (reloaded)
+                goal = reloaded;
+        }
+        catch {
+            // Tree aggregation failure is non-fatal
+        }
+    }
+    return goal;
+}
+// ─── Phase 1b: Auto-decompose ───
+/**
+ * Automatically decompose an abstract goal into sub-goals using
+ * TreeLoopOrchestrator.ensureGoalRefined(). Skipped when disabled,
+ * when the goal already has children, or when the goal is a leaf.
+ * Only root goals (decomposition_depth === 0) are auto-decomposed to
+ * prevent recursive decomposition of child nodes.
+ * Specificity checks are delegated to ensureGoalRefined internally.
+ *
+ * @param decomposedGoals - Set of goal IDs already decomposed this run.
+ *   When provided, goals already in the set are skipped and the goal ID is
+ *   added to the set after a successful decomposition attempt.
+ */
+export async function phaseAutoDecompose(goalId, goal, deps, config, logger, decomposedGoals) {
+    if (config.autoDecompose === false)
+        return;
+    if (!deps.treeLoopOrchestrator)
+        return;
+    if (goal.children_ids.length > 0) {
+        logger?.debug("[CoreLoop] phaseAutoDecompose: skipped — goal already has children", { goalId });
+        return;
+    }
+    if (goal.node_type === "leaf") {
+        logger?.debug("[CoreLoop] phaseAutoDecompose: skipped — goal is leaf", { goalId });
+        return;
+    }
+    // Only auto-decompose root goals — prevent recursive decomposition of children
+    if ((goal.decomposition_depth ?? 0) > 0) {
+        logger?.debug("[CoreLoop] phaseAutoDecompose: skipped — non-root goal (depth > 0)", { goalId, depth: goal.decomposition_depth });
+        return;
+    }
+    // Skip if already decomposed this run
+    if (decomposedGoals?.has(goalId)) {
+        logger?.debug("[CoreLoop] phaseAutoDecompose: skipped — already decomposed this run", { goalId });
+        return;
+    }
+    logger?.info("[CoreLoop] phaseAutoDecompose: decomposing abstract goal", { goalId });
+    decomposedGoals?.add(goalId);
+    try {
+        await deps.treeLoopOrchestrator.ensureGoalRefined(goalId);
+    }
+    catch (err) {
+        logger?.warn("[CoreLoop] phaseAutoDecompose: ensureGoalRefined failed (non-fatal)", {
+            goalId,
+            error: err instanceof Error ? err.message : String(err),
+        });
+        return;
+    }
+    logger?.info("[CoreLoop] phaseAutoDecompose: decomposition complete", { goalId });
+}
+// ─── Phase 2 ───
+/** Run observation engine, reload goal after observation.
+ * Observation failure is non-fatal — returns current goal state. */
+export async function observeAndReload(ctx, goalId, goal, loopIndex) {
+    ctx.deps.onProgress?.({
+        iteration: loopIndex + 1,
+        maxIterations: ctx.config.maxIterations,
+        phase: "Observing...",
+    });
+    try {
+        const engine = ctx.deps.observationEngine;
+        ctx.logger?.debug("CoreLoop: engine.getDataSources exists", { exists: true });
+        const dataSources = engine.getDataSources();
+        ctx.logger?.debug("CoreLoop: observation setup", { dataSourceCount: dataSources.length });
+        await engine.observe(goalId, []);
+        const reloaded = await ctx.deps.stateManager.loadGoal(goalId);
+        if (reloaded)
+            return reloaded;
+    }
+    catch (err) {
+        ctx.logger?.warn("CoreLoop: observation failed (non-fatal)", { error: err instanceof Error ? err.message : String(err) });
+    }
+    return goal;
+}
+// ─── Phase 3 ───
+/** Calculate gap vector and aggregate.
+ * Returns null on error.
+ * When gap === 0, returns the gap result with skipTaskGeneration=true so the
+ * caller continues to Phase 5 (SatisficingJudge) instead of short-circuiting.
+ */
+export async function calculateGapOrComplete(ctx, goalId, goal, loopIndex, result, startTime) {
+    let gapVector;
+    let gapAggregate;
+    try {
+        gapVector = ctx.deps.gapCalculator.calculateGapVector(goalId, goal.dimensions, goal.uncertainty_weight);
+        const gapValues = gapVector.gaps.map((g) => g.normalized_weighted_gap);
+        gapAggregate = ctx.deps.gapCalculator.aggregateGaps(gapValues, goal.gap_aggregation);
+        result.gapAggregate = gapAggregate;
+        await ctx.deps.stateManager.appendGapHistoryEntry(goalId, {
+            iteration: loopIndex,
+            timestamp: new Date().toISOString(),
+            gap_vector: gapVector.gaps.map((g) => ({
+                dimension_name: g.dimension_name,
+                normalized_weighted_gap: g.normalized_weighted_gap,
+            })),
+            confidence_vector: gapVector.gaps.map((g) => ({
+                dimension_name: g.dimension_name,
+                confidence: g.confidence,
+            })),
+        });
+    }
+    catch (err) {
+        result.error = `Gap calculation failed: ${err instanceof Error ? err.message : String(err)}`;
+        ctx.logger?.error(`CoreLoop: ${result.error}`, { goalId });
+        result.elapsedMs = Date.now() - startTime;
+        return null;
+    }
+    // Gap zero check — gap is satisfied; skip task generation but continue to
+    // Phase 5 so SatisficingJudge can enforce confidence and double-confirmation.
+    if (gapAggregate === 0) {
+        ctx.logger?.info(`[CoreLoop] gap=0 for goal ${goalId} — skipping task generation, deferring to SatisficingJudge`);
+        return { gapVector, gapAggregate, skipTaskGeneration: true };
+    }
+    const avgConf = gapVector.gaps.length > 0
+        ? gapVector.gaps.reduce((s, g) => s + g.confidence, 0) / gapVector.gaps.length
+        : undefined;
+    ctx.deps.onProgress?.({
+        iteration: loopIndex + 1,
+        maxIterations: ctx.config.maxIterations,
+        phase: "Generating task...",
+        gap: gapAggregate,
+        confidence: avgConf,
+    });
+    return { gapVector, gapAggregate };
+}
+// ─── Phase 4 ───
+/** Score drives, update DriveScoreAdapter, check knowledge gap.
+ * Returns ranked DriveScores with highDissatisfactionDimensions, or null if the caller should
+ * return result early (knowledge gap task generated or drive scoring failed). */
+export async function scoreDrivesAndCheckKnowledge(ctx, goalId, goal, gapVector, loopIndex, result, startTime, tryGenerateReport) {
+    let driveScores;
+    let highDissatisfactionDimensions = [];
+    try {
+        const driveContext = buildDriveContext(goal);
+        driveScores = ctx.deps.driveScorer.scoreAllDimensions(gapVector, driveContext);
+        const rankedScores = ctx.deps.driveScorer.rankDimensions(driveScores);
+        result.driveScores = rankedScores;
+        driveScores = rankedScores;
+        if (ctx.deps.driveScoreAdapter) {
+            ctx.deps.driveScoreAdapter.update(driveScores);
+        }
+        // Extract dimensions with high dissatisfaction (> 0.7) for memory tier promotion
+        highDissatisfactionDimensions = driveScores
+            .filter((s) => s.dissatisfaction > 0.7)
+            .map((s) => s.dimension_name);
+        // Consolidated reward computation log (PULSEED_REWARD_LOG=1 to enable)
+        const confidenceAvg = gapVector.gaps.reduce((sum, g) => sum + g.confidence, 0) /
+            Math.max(gapVector.gaps.length, 1);
+        let trustScore = null;
+        if (ctx.deps.trustManager) {
+            try {
+                const balance = await ctx.deps.trustManager.getBalance(ctx.config.adapterType);
+                trustScore = balance.balance;
+            }
+            catch {
+                // Non-fatal: trust score is diagnostic-only
+            }
+        }
+        logRewardComputation({
+            goalId,
+            iteration: loopIndex,
+            gapAggregate: result.gapAggregate ?? 0,
+            confidenceAvg,
+            trustScore,
+            driveScores,
+            completionJudgment: null,
+        });
+    }
+    catch (err) {
+        result.error = `Drive scoring failed: ${err instanceof Error ? err.message : String(err)}`;
+        ctx.logger?.error(`CoreLoop: ${result.error}`, { goalId });
+        result.elapsedMs = Date.now() - startTime;
+        return null;
+    }
+    // Knowledge gap check
+    if (ctx.deps.knowledgeManager) {
+        try {
+            let strategies = null;
+            try {
+                const portfolio = await ctx.deps.strategyManager.getPortfolio(goalId);
+                strategies = portfolio !== null ? portfolio.strategies : null;
+            }
+            catch {
+                // If strategy loading fails, leave as null
+            }
+            const observationContext = {
+                observations: goal.dimensions.map((d) => ({
+                    name: d.name,
+                    current_value: d.current_value,
+                    confidence: d.confidence,
+                })),
+                strategies,
+                confidence: gapVector.gaps.reduce((sum, g) => sum + g.confidence, 0) /
+                    Math.max(gapVector.gaps.length, 1),
+            };
+            // Skip knowledge gap detection when there's no observation data at all.
+            // confidence === 0 means no observation was performed yet; distinct from a real
+            // low-confidence observation (> 0 but < 0.3) where gap detection is useful.
+            const gapSignal = (observationContext.confidence === 0 || !Number.isFinite(observationContext.confidence))
+                ? null
+                : await ctx.deps.knowledgeManager.detectKnowledgeGap(observationContext);
+            if (gapSignal !== null) {
+                const acquisitionTask = await ctx.deps.knowledgeManager.generateAcquisitionTask(gapSignal, goalId);
+                const acquisitionVerification = {
+                    task_id: acquisitionTask.id,
+                    verdict: "pass",
+                    confidence: 0.9,
+                    evidence: [
+                        {
+                            layer: "mechanical",
+                            description: "Knowledge acquisition task generated for gap: " + gapSignal.signal_type,
+                            confidence: 0.9,
+                        },
+                    ],
+                    dimension_updates: [],
+                    timestamp: new Date().toISOString(),
+                };
+                result.taskResult = {
+                    task: acquisitionTask,
+                    verificationResult: acquisitionVerification,
+                    action: "completed",
+                };
+                tryGenerateReport(goalId, loopIndex, result, goal);
+                result.elapsedMs = Date.now() - startTime;
+                return null;
+            }
+        }
+        catch {
+            // Knowledge gap detection failure is non-fatal
+        }
+    }
+    return { driveScores, highDissatisfactionDimensions };
+}
+//# sourceMappingURL=core-loop-phases.js.map

package/dist/loop/core-loop-phases.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core-loop-phases.js","sourceRoot":"","sources":["../../src/loop/core-loop-phases.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAMH,OAAO,EACL,iBAAiB,GAIlB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAS9D,kBAAkB;AAElB;gFACgF;AAChF,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,GAAa,EACb,MAAc,EACd,MAA2B,EAC3B,SAAiB;IAEjB,IAAI,IAAU,CAAC;IACf,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC5D,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,CAAC,KAAK,GAAG,SAAS,MAAM,aAAa,CAAC;YAC5C,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;YAC1C,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,GAAG,MAAM,CAAC;IAChB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,KAAK,GAAG,wBAAwB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1F,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,aAAa,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3D,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,mBAAmB;IACnB,IAAI,GAAG,CAAC,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC;YACH,MAAM,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;YAC5D,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC9D,IAAI,QAAQ;gBAAE,IAAI,GAAG,QAAQ,CAAC;QAChC,CAAC;QAAC,MAAM,CAAC;YACP,wCAAwC;QAC1C,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,mCAAmC;AAEnC;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,MAAc,EACd,IAAU,EACV,IAAkB,EAClB,MAA0B,EAC1B,MAA0B,EAC1B,eAA6B;IAE7B,IAAI,MAAM,CAAC,aAAa,KAAK,KAAK;QAAE,OAAO;IAC3C,IAAI,CAAC,IAAI,CAAC,oBAAoB;QAAE,OAAO;IAEvC,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,EAAE,KAAK,CAAC,oEAAoE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAChG,OAAO;IACT,CAAC;IAED,IAAI,IAAI,CAAC,SAAS,KAAK,MAAM,EAAE,CAAC;QAC9B,MAAM,EAAE,KAAK,CAAC,uDAAuD,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QACnF,OAAO;IACT,CAAC;IAED,+EAA+E;IAC/E,IAAI,CAAC,IAAI,CAAC,mBAAmB,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACxC,MAAM,EAAE,KAAK,CAAC,oEAAoE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC;QACjI,OAAO;IACT,CAAC;IAED,sCAAsC;IACtC,IAAI,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,MAAM,EAAE,KAAK,CAAC,sEAAsE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAClG,OAAO;IACT,CAAC;IAED,MAAM,EAAE,IAAI,CAAC,0DAA0D,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IACrF,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,oBAAoB,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC5D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,EAAE,IAAI,CAAC,qEAAqE,EAAE;YAClF,MAAM;YACN,KAAK,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;SACxD,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,MAAM,EAAE,IAAI,CAAC,uDAAuD,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;AACpF,CAAC;AAED,kBAAkB;AAElB;oEACoE;AACpE,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,GAAa,EACb,MAAc,EACd,IAAU,EACV,SAAiB;IAEjB,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,SAAS,EAAE,SAAS,GAAG,CAAC;QACxB,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,aAAa;QACvC,KAAK,EAAE,cAAc;KACtB,CAAC,CAAC;IACH,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC;QAE1C,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,wCAAwC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9E,MAAM,WAAW,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;QAC5C,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,6BAA6B,EAAE,EAAE,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;QAE1F,MAAM,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAEjC,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC9D,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;IAChC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,0CAA0C,EAAE,EAAE,KAAK,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5H,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,kBAAkB;AAElB;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,GAAa,EACb,MAAc,EACd,IAAU,EACV,SAAiB,EACjB,MAA2B,EAC3B,SAAiB;IAEjB,IAAI,SAAoB,CAAC;IACzB,IAAI,YAAoB,CAAC;IACzB,IAAI,CAAC;QACH,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,kBAAkB,CACnD,MAAM,EACN,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,kBAAkB,CACxB,CAAC;QACF,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;QACvE,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,aAAa,CACjD,SAAS,EACT,IAAI,CAAC,eAAe,CACrB,CAAC;QACF,MAAM,CAAC,YAAY,GAAG,YAAY,CAAC;QAEnC,MAAM,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,qBAAqB,CAAC,MAAM,EAAE;YACxD,SAAS,EAAE,SAAS;YACpB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACrC,cAAc,EAAE,CAAC,CAAC,cAAc;gBAChC,uBAAuB,EAAE,CAAC,CAAC,uBAAuB;aACnD,CAAC,CAAC;YACH,iBAAiB,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC5C,cAAc,EAAE,CAAC,CAAC,cAAc;gBAChC,UAAU,EAAE,CAAC,CAAC,UAAU;aACzB,CAAC,CAAC;SACJ,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,KAAK,GAAG,2BAA2B,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7F,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,aAAa,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3D,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,0EAA0E;IAC1E,8EAA8E;IAC9E,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;QACvB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,6BAA6B,MAAM,4DAA4D,CAAC,CAAC;QAClH,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;IAC/D,CAAC;IAED,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QACvC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM;QAC9E,CAAC,CAAC,SAAS,CAAC;IACd,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,SAAS,EAAE,SAAS,GAAG,CAAC;QACxB,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,aAAa;QACvC,KAAK,EAAE,oBAAoB;QAC3B,GAAG,EAAE,YAAY;QACjB,UAAU,EAAE,OAAO;KACpB,CAAC,CAAC;IAEH,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC;AACrC,CAAC;AAED,kBAAkB;AAElB;;iFAEiF;AACjF,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,GAAa,EACb,MAAc,EACd,IAAU,EACV,SAAoB,EACpB,SAAiB,EACjB,MAA2B,EAC3B,SAAiB,EACjB,iBAAuG;IAEvG,IAAI,WAAyB,CAAC;IAC9B,IAAI,6BAA6B,GAAa,EAAE,CAAC;IACjD,IAAI,CAAC;QACH,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAC7C,WAAW,GAAG,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QAC/E,MAAM,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC;QACtE,MAAM,CAAC,WAAW,GAAG,YAAY,CAAC;QAClC,WAAW,GAAG,YAAY,CAAC;QAE3B,IAAI,GAAG,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC/B,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACjD,CAAC;QAED,iFAAiF;QACjF,6BAA6B,GAAG,WAAW;aACxC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,GAAG,GAAG,CAAC;aACtC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QAEhC,uEAAuE;QACvE,MAAM,aAAa,GACjB,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;YACxD,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACrC,IAAI,UAAU,GAAkB,IAAI,CAAC;QACrC,IAAI,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;YAC1B,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;gBAC/E,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC;YAC/B,CAAC;YAAC,MAAM,CAAC;gBACP,4CAA4C;YAC9C,CAAC;QACH,CAAC;QACD,oBAAoB,CAAC;YACnB,MAAM;YACN,SAAS,EAAE,SAAS;YACpB,YAAY,EAAE,MAAM,CAAC,YAAY,IAAI,CAAC;YACtC,aAAa;YACb,UAAU;YACV,WAAW;YACX,kBAAkB,EAAE,IAAI;SACzB,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,KAAK,GAAG,yBAAyB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3F,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,aAAa,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3D,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,sBAAsB;IACtB,IAAI,GAAG,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC9B,IAAI,CAAC;YACH,IAAI,UAAU,GAAqB,IAAI,CAAC;YACxC,IAAI,CAAC;gBACH,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;gBACtE,UAAU,GAAG,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;YAChE,CAAC;YAAC,MAAM,CAAC;gBACP,2CAA2C;YAC7C,CAAC;YAED,MAAM,kBAAkB,GAAG;gBACzB,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACxC,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,aAAa,EAAE,CAAC,CAAC,aAAa;oBAC9B,UAAU,EAAE,CAAC,CAAC,UAAU;iBACzB,CAAC,CAAC;gBACH,UAAU;gBACV,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;oBAClE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;aACrC,CAAC;YAEF,wEAAwE;YACxE,gFAAgF;YAChF,4EAA4E;YAC5E,MAAM,SAAS,GAAG,CAAC,kBAAkB,CAAC,UAAU,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;gBACxG,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,CAAC;YAC3E,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACvB,MAAM,eAAe,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,uBAAuB,CAC7E,SAAS,EACT,MAAM,CACP,CAAC;gBACF,MAAM,uBAAuB,GAAG;oBAC9B,OAAO,EAAE,eAAe,CAAC,EAAE;oBAC3B,OAAO,EAAE,MAAe;oBACxB,UAAU,EAAE,GAAG;oBACf,QAAQ,EAAE;wBACR;4BACE,KAAK,EAAE,YAAqB;4BAC5B,WAAW,EAAE,gDAAgD,GAAG,SAAS,CAAC,WAAW;4BACrF,UAAU,EAAE,GAAG;yBAChB;qBACF;oBACD,iBAAiB,EAAE,EAAE;oBACrB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;iBACpC,CAAC;gBACF,MAAM,CAAC,UAAU,GAAG;oBAClB,IAAI,EAAE,eAAe;oBACrB,kBAAkB,EAAE,uBAAuB;oBAC3C,MAAM,EAAE,WAAW;iBACpB,CAAC;gBACF,iBAAiB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBACnD,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;gBAC1C,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,+CAA+C;QACjD,CAAC;IACH,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,6BAA6B,EAAE,CAAC;AACxD,CAAC"}

package/dist/loop/core-loop-types.d.ts

@@ -0,0 +1,275 @@
+import { CuriosityEngine } from "../traits/curiosity-engine.js";
+import type { IterationBudget } from "./iteration-budget.js";
+import type { Logger } from "../runtime/logger.js";
+import type { StrategyTemplateRegistry } from "../strategy/strategy-template-registry.js";
+import type { TrustManager } from "../traits/trust-manager.js";
+import type { KnowledgeTransfer } from "../knowledge/knowledge-transfer.js";
+import type { TransferCandidate } from "../types/cross-portfolio.js";
+import type { CrossGoalPortfolio } from "../strategy/cross-goal-portfolio.js";
+import type { GoalTreeManager } from "../goal/goal-tree-manager.js";
+import type { StateAggregator } from "../goal/state-aggregator.js";
+import type { TreeLoopOrchestrator } from "../goal/tree-loop-orchestrator.js";
+import type { StateManager } from "../state-manager.js";
+import type { ObservationEngine } from "../observation/observation-engine.js";
+import type { TaskLifecycle, TaskCycleResult } from "../execution/task-lifecycle.js";
+import type { SatisficingJudge } from "../drive/satisficing-judge.js";
+import type { StallDetector } from "../drive/stall-detector.js";
+import type { StrategyManager } from "../strategy/strategy-manager.js";
+import type { DriveSystem } from "../drive/drive-system.js";
+import type { AdapterRegistry } from "../execution/adapter-layer.js";
+import type { KnowledgeManager } from "../knowledge/knowledge-manager.js";
+import type { CapabilityDetector } from "../observation/capability-detector.js";
+import type { PortfolioManager } from "../portfolio-manager.js";
+import type { GoalDependencyGraph } from "../goal/goal-dependency-graph.js";
+import type { LearningPipeline } from "../knowledge/learning-pipeline.js";
+import { DriveScoreAdapter } from "../knowledge/memory-lifecycle.js";
+import type { MemoryLifecycleManager } from "../knowledge/memory-lifecycle.js";
+import type { ParallelExecutor } from "../execution/parallel-executor.js";
+import type { GoalRefiner } from "../goal/goal-refiner.js";
+import type { Goal } from "../types/goal.js";
+import type { GapVector } from "../types/gap.js";
+import type { DriveContext, DriveScore } from "../types/drive.js";
+import type { CompletionJudgment } from "../types/satisficing.js";
+import type { StallReport, StallAnalysis } from "../types/stall.js";
+export interface GapCalculatorModule {
+    calculateGapVector: (goalId: string, dimensions: Goal["dimensions"], globalUncertaintyWeight?: number) => GapVector;
+    aggregateGaps: (childGaps: number[], method?: "max" | "weighted_avg" | "sum", weights?: number[]) => number;
+}
+export interface DriveScorerModule {
+    scoreAllDimensions: (gapVector: GapVector, context: DriveContext, config?: unknown) => DriveScore[];
+    rankDimensions: (scores: DriveScore[]) => DriveScore[];
+}
+export interface ExecutionSummaryParams {
+    goalId: string;
+    loopIndex: number;
+    observation: {
+        dimensionName: string;
+        progress: number;
+        confidence: number;
+    }[];
+    gapAggregate: number;
+    taskResult: {
+        taskId: string;
+        action: string;
+        dimension: string;
+    } | null;
+    stallDetected: boolean;
+    pivotOccurred: boolean;
+    elapsedMs: number;
+}
+export interface ReportingEngine {
+    generateExecutionSummary(params: ExecutionSummaryParams): unknown;
+    saveReport(report: unknown): void;
+}
+/**
+ * LoopConfig with all required fields resolved (except iterationBudget which remains optional).
+ * Used as the internal config type throughout CoreLoop and its sub-modules.
+ */
+export type ResolvedLoopConfig = Required<Omit<LoopConfig, "iterationBudget">> & Pick<LoopConfig, "iterationBudget">;
+export interface LoopConfig {
+    maxIterations?: number;
+    maxConsecutiveErrors?: number;
+    delayBetweenLoopsMs?: number;
+    adapterType?: string;
+    treeMode?: boolean;
+    multiGoalMode?: boolean;
+    goalIds?: string[];
+    /**
+     * Minimum number of iterations to run before the loop can exit on completion.
+     * Default: 1 (at least one full task cycle always runs before declaring complete).
+     * Setting to 2 forces two full iterations even if the goal is already satisfied after iteration 1.
+     */
+    minIterations?: number;
+    /**
+     * Whether to automatically archive a completed goal at the end of run().
+     * Default: false — archiving is an irreversible action and should be triggered explicitly
+     * (e.g. via `pulseed goal archive <id>` CLI command or by setting this flag intentionally).
+     */
+    autoArchive?: boolean;
+    /**
+     * When true, suppress loop-level persistence side effects: checkpoint writes,
+     * final goal status updates, and archive operations.
+     */
+    dryRun?: boolean;
+    /**
+     * Maximum number of consecutive iterations that can be skipped due to no state change
+     * (Pillar 2: State Diff + Loop Skip). After this many consecutive skips, the full loop
+     * runs regardless so stall detection can fire. Default: 5.
+     */
+    maxConsecutiveSkips?: number;
+    /**
+     * When true (default), automatically decompose an abstract goal into sub-goals
+     * using TreeLoopOrchestrator.ensureGoalRefined() before the first iteration.
+     * Set to false to disable auto-decomposition.
+     */
+    autoDecompose?: boolean;
+    /**
+     * Shared iteration budget for parent-child agent trees.
+     * When set, all iterations (including child node iterations in tree mode) consume
+     * from this budget. Prevents runaway recursion across hierarchical agent invocations.
+     * If not set, maxIterations acts as the sole upper bound.
+     */
+    iterationBudget?: IterationBudget;
+}
+export interface LoopIterationResult {
+    loopIndex: number;
+    goalId: string;
+    gapAggregate: number;
+    driveScores: DriveScore[];
+    taskResult: TaskCycleResult | null;
+    stallDetected: boolean;
+    stallReport: StallReport | null;
+    /** M14-S2: cause analysis result when a stall is detected */
+    stallAnalysis?: StallAnalysis;
+    pivotOccurred: boolean;
+    completionJudgment: CompletionJudgment;
+    elapsedMs: number;
+    error: string | null;
+    /** Alerts for milestones that are at_risk or behind (optional) */
+    milestoneAlerts?: Array<{
+        goalId: string;
+        status: string;
+        pace_ratio: number;
+    }>;
+    /** Transfer candidates detected from cross-goal knowledge (suggestion-only, Phase 1) */
+    transfer_candidates?: TransferCandidate[];
+    /**
+     * When true, this iteration was skipped because no meaningful state change was
+     * detected (Pillar 2: State Diff + Loop Skip). Only observation ran; gap
+     * calculation, task generation, execution, and verification were bypassed.
+     */
+    skipped?: boolean;
+    /** Reason for the skip, when skipped=true. */
+    skipReason?: string;
+}
+/**
+ * Factory that returns a zeroed-out LoopIterationResult for the given goalId
+ * and loopIndex. Accepts optional overrides for fields that vary per call-site.
+ */
+export declare function makeEmptyIterationResult(goalId: string, loopIndex: number, overrides?: Partial<LoopIterationResult>): LoopIterationResult;
+export interface LoopResult {
+    goalId: string;
+    totalIterations: number;
+    finalStatus: "completed" | "stalled" | "max_iterations" | "error" | "stopped";
+    iterations: LoopIterationResult[];
+    startedAt: string;
+    completedAt: string;
+    /** Human-readable explanation when finalStatus is "error" */
+    errorMessage?: string;
+}
+/** Deps needed for observation phase */
+export interface ObservationDeps {
+    observationEngine: ObservationEngine;
+    stateManager: StateManager;
+}
+/** Deps needed for tree iteration */
+export interface TreeDeps {
+    stateManager: StateManager;
+    treeLoopOrchestrator?: TreeLoopOrchestrator;
+    satisficingJudge: SatisficingJudge;
+    goalRefiner?: GoalRefiner;
+    goalTreeManager?: GoalTreeManager;
+    stateAggregator?: StateAggregator;
+}
+/** Deps needed for stall detection and recovery */
+export interface StallDeps {
+    stallDetector: StallDetector;
+    strategyManager: StrategyManager;
+    knowledgeManager?: KnowledgeManager;
+    learningPipeline?: LearningPipeline;
+    goalRefiner?: GoalRefiner;
+}
+/** Deps needed for task execution cycle */
+export interface TaskCycleDeps {
+    taskLifecycle: TaskLifecycle;
+    adapterRegistry: AdapterRegistry;
+    portfolioManager?: PortfolioManager;
+    knowledgeManager?: KnowledgeManager;
+    contextProvider?: (goalId: string, dimensionName: string) => Promise<string>;
+}
+export interface CoreLoopDeps extends ObservationDeps, TreeDeps, StallDeps, TaskCycleDeps {
+    gapCalculator: GapCalculatorModule;
+    driveScorer: DriveScorerModule;
+    reportingEngine: ReportingEngine;
+    driveSystem: DriveSystem;
+    capabilityDetector?: CapabilityDetector;
+    curiosityEngine?: CuriosityEngine;
+    goalDependencyGraph?: GoalDependencyGraph;
+    crossGoalPortfolio?: CrossGoalPortfolio;
+    knowledgeTransfer?: KnowledgeTransfer;
+    memoryLifecycleManager?: MemoryLifecycleManager;
+    /**
+     * Optional adapter that bridges DriveScorer output to MemoryLifecycleManager.
+     * When provided, CoreLoop calls adapter.update(driveScores) after each drive
+     * scoring step so MemoryLifecycleManager can use live dissatisfaction values
+     * for compression delay and relevance scoring.
+     *
+     * Typical setup (in CLIRunner):
+     *   const adapter = new DriveScoreAdapter();
+     *   const mlm = new MemoryLifecycleManager(baseDir, llm, config, emb, vec, adapter);
+     *   const loop = new CoreLoop({ ..., memoryLifecycleManager: mlm, driveScoreAdapter: adapter });
+     */
+    driveScoreAdapter?: DriveScoreAdapter;
+    /**
+     * Optional TrustManager for including per-adapter trust balance in reward logs.
+     * When provided, CoreLoop reads the balance for the configured adapterType and
+     * includes it in logRewardComputation calls (PULSEED_REWARD_LOG=1).
+     */
+    trustManager?: TrustManager;
+    /**
+     * Optional ParallelExecutor for TaskGroup execution (M15 Phase 2).
+     * When provided, tasks evaluated as "large" complexity will be decomposed
+     * into a TaskGroup and executed in parallel waves.
+     * If not provided, all tasks fall through to the normal single-task flow.
+     */
+    parallelExecutor?: ParallelExecutor;
+    /**
+     * Optional factory function to generate a TaskGroup for a large task.
+     * Provided as a callback so the caller owns the llmClient dependency.
+     * If not provided (or returns null), the normal single-task flow is used.
+     */
+    generateTaskGroupFn?: (context: {
+        goalDescription: string;
+        targetDimension: string;
+        currentState: string;
+        gap: number;
+        availableAdapters: string[];
+        contextBlock?: string;
+    }) => Promise<import("../types/index.js").TaskGroup | null>;
+    logger?: Logger;
+    /**
+     * Optional progress callback. Called at key phases during each iteration so
+     * callers (e.g. CLIRunner) can print user-friendly progress lines.
+     */
+    onProgress?: (event: ProgressEvent) => void;
+    /**
+     * Optional StrategyTemplateRegistry. When provided, CoreLoop wires it into
+     * StrategyManager so that strategies completing with effectiveness_score >= 0.5
+     * are automatically registered as reusable templates.
+     */
+    strategyTemplateRegistry?: StrategyTemplateRegistry;
+}
+export type ProgressPhase = "Observing..." | "Generating task..." | "Executing task..." | "Verifying result..." | "Skipped" | "Skipped (no state change)";
+export interface ProgressEvent {
+    /** 1-based iteration number */
+    iteration: number;
+    /** Maximum iterations configured */
+    maxIterations: number;
+    /** Current phase label */
+    phase: ProgressPhase;
+    /** Gap aggregate from latest gap calculation (undefined before first gap calc) */
+    gap?: number;
+    /** Average confidence across gap dimensions (undefined before first gap calc) */
+    confidence?: number;
+    /** Short description of the task being executed (undefined outside execute phase) */
+    taskDescription?: string;
+    /** Reason this iteration was skipped (undefined when not skipped) */
+    skipReason?: string;
+}
+/**
+ * Build DriveContext from goal state.
+ * For each dimension, compute hours since last update.
+ * Deadline comes from goal.deadline if set.
+ */
+export declare function buildDriveContext(goal: Goal): DriveContext;
+//# sourceMappingURL=core-loop-types.d.ts.map

package/dist/loop/core-loop-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"core-loop-types.d.ts","sourceRoot":"","sources":["../../src/loop/core-loop-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,2CAA2C,CAAC;AAC1F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,KAAK,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACrF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,EAAE,eAAe,EAAY,MAAM,+BAA+B,CAAC;AAC/E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uCAAuC,CAAC;AAEhF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AAC5E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAC;AAC/E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAIpE,MAAM,WAAW,mBAAmB;IAClC,kBAAkB,EAAE,CAClB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,IAAI,CAAC,YAAY,CAAC,EAC9B,uBAAuB,CAAC,EAAE,MAAM,KAC7B,SAAS,CAAC;IACf,aAAa,EAAE,CACb,SAAS,EAAE,MAAM,EAAE,EACnB,MAAM,CAAC,EAAE,KAAK,GAAG,cAAc,GAAG,KAAK,EACvC,OAAO,CAAC,EAAE,MAAM,EAAE,KACf,MAAM,CAAC;CACb;AAID,MAAM,WAAW,iBAAiB;IAChC,kBAAkB,EAAE,CAClB,SAAS,EAAE,SAAS,EACpB,OAAO,EAAE,YAAY,EACrB,MAAM,CAAC,EAAE,OAAO,KACb,UAAU,EAAE,CAAC;IAClB,cAAc,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,UAAU,EAAE,CAAC;CACxD;AAID,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE;QAAE,aAAa,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC/E,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACzE,aAAa,EAAE,OAAO,CAAC;IACvB,aAAa,EAAE,OAAO,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAC9B,wBAAwB,CAAC,MAAM,EAAE,sBAAsB,GAAG,OAAO,CAAC;IAClE,UAAU,CAAC,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC;CACnC;AAID;;;GAGG;AACH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;AAErH,MAAM,WAAW,UAAU;IACzB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;;;;OAIG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB;;;;OAIG;IACH,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB;;;OAGG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;OAIG;IACH,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B;;;;OAIG;IACH,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB;;;;;OAKG;IACH,eAAe,CAAC,EAAE,eAAe,CAAC;CACnC;AAID,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,UAAU,EAAE,eAAe,GAAG,IAAI,CAAC;IACnC,aAAa,EAAE,OAAO,CAAC;IACvB,WAAW,EAAE,WAAW,GAAG,IAAI,CAAC;IAChC,6DAA6D;IAC7D,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,aAAa,EAAE,OAAO,CAAC;IACvB,kBAAkB,EAAE,kBAAkB,CAAC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,kEAAkE;IAClE,eAAe,CAAC,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAChF,wFAAwF;IACxF,mBAAmB,CAAC,EAAE,iBAAiB,EAAE,CAAC;IAC1C;;;;OAIG;IACH,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,8CAA8C;IAC9C,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;GAGG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,SAAS,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACvC,mBAAmB,CAqBrB;AAED,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,WAAW,GAAG,SAAS,GAAG,gBAAgB,GAAG,OAAO,GAAG,SAAS,CAAC;IAC9E,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,6DAA6D;IAC7D,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAID,wCAAwC;AACxC,MAAM,WAAW,eAAe;IAC9B,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,YAAY,EAAE,YAAY,CAAC;CAC5B;AAED,qCAAqC;AACrC,MAAM,WAAW,QAAQ;IACvB,YAAY,EAAE,YAAY,CAAC;IAC3B,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;IAC5C,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,eAAe,CAAC,EAAE,eAAe,CAAC;CACnC;AAED,mDAAmD;AACnD,MAAM,WAAW,SAAS;IACxB,aAAa,EAAE,aAAa,CAAC;IAC7B,eAAe,EAAE,eAAe,CAAC;IACjC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC,WAAW,CAAC,EAAE,WAAW,CAAC;CAC3B;AAED,2CAA2C;AAC3C,MAAM,WAAW,aAAa;IAC5B,aAAa,EAAE,aAAa,CAAC;IAC7B,eAAe,EAAE,eAAe,CAAC;IACjC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC,eAAe,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;CAC9E;AAED,MAAM,WAAW,YAAa,SAAQ,eAAe,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa;IACvF,aAAa,EAAE,mBAAmB,CAAC;IACnC,WAAW,EAAE,iBAAiB,CAAC;IAC/B,eAAe,EAAE,eAAe,CAAC;IACjC,WAAW,EAAE,WAAW,CAAC;IACzB,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACxC,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,mBAAmB,CAAC,EAAE,mBAAmB,CAAC;IAC1C,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACxC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IACtC,sBAAsB,CAAC,EAAE,sBAAsB,CAAC;IAChD;;;;;;;;;;OAUG;IACH,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IACtC;;;;OAIG;IACH,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC;;;;OAIG;IACH,mBAAmB,CAAC,EAAE,CAAC,OAAO,EAAE;QAC9B,eAAe,EAAE,MAAM,CAAC;QACxB,eAAe,EAAE,MAAM,CAAC;QACxB,YAAY,EAAE,MAAM,CAAC;QACrB,GAAG,EAAE,MAAM,CAAC;QACZ,iBAAiB,EAAE,MAAM,EAAE,CAAC;QAC5B,YAAY,CAAC,EAAE,MAAM,CAAC;KACvB,KAAK,OAAO,CAAC,OAAO,mBAAmB,EAAE,SAAS,GAAG,IAAI,CAAC,CAAC;IAC5D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,aAAa,KAAK,IAAI,CAAC;IAC5C;;;;OAIG;IACH,wBAAwB,CAAC,EAAE,wBAAwB,CAAC;CACrD;AAED,MAAM,MAAM,aAAa,GACrB,cAAc,GACd,oBAAoB,GACpB,mBAAmB,GACnB,qBAAqB,GACrB,SAAS,GACT,2BAA2B,CAAC;AAEhC,MAAM,WAAW,aAAa;IAC5B,+BAA+B;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,oCAAoC;IACpC,aAAa,EAAE,MAAM,CAAC;IACtB,0BAA0B;IAC1B,KAAK,EAAE,aAAa,CAAC;IACrB,kFAAkF;IAClF,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,iFAAiF;IACjF,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,qFAAqF;IACrF,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,qEAAqE;IACrE,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAID;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,YAAY,CAgC1D"}