pulseed 0.4.18 → 0.4.20

package/dist/orchestrator/loop/state-diff.d.ts

@@ -0,0 +1,41 @@
+import type { Goal } from "../../base/types/goal.js";
+export interface StateDiffThresholds {
+    /** Absolute change in normalized value that counts as meaningful. Default: 0.05 */
+    value_delta: number;
+    /** Absolute change in confidence that counts as meaningful. Default: 0.10 */
+    confidence_delta: number;
+    /** Whether a change in observation layer counts as meaningful. Default: true */
+    layer_change: boolean;
+}
+export interface IterationSnapshot {
+    iteration: number;
+    timestamp: string;
+    dimensions: Record<string, {
+        current_value: number;
+        confidence: number;
+        observation_layer: string;
+    }>;
+}
+export interface StateDiffResult {
+    hasChange: boolean;
+    /** Names of dimensions that changed */
+    changedDimensions: string[];
+    /** Human-readable explanation */
+    reason?: string;
+}
+export declare class StateDiffCalculator {
+    private readonly thresholds;
+    constructor(thresholds?: Partial<StateDiffThresholds>);
+    /**
+     * Build a snapshot from the current goal state.
+     * current_value is coerced to a number (non-numeric values become 0).
+     */
+    buildSnapshot(goal: Goal, iteration: number): IterationSnapshot;
+    /**
+     * Compare two snapshots. Returns hasChange=true if any dimension changed
+     * meaningfully per the configured thresholds. When previous is null (first
+     * iteration) always returns hasChange=true.
+     */
+    compare(previous: IterationSnapshot | null, current: IterationSnapshot): StateDiffResult;
+}
+//# sourceMappingURL=state-diff.d.ts.map

package/dist/orchestrator/loop/state-diff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-diff.d.ts","sourceRoot":"","sources":["../../../src/orchestrator/loop/state-diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAC;AAIrD,MAAM,WAAW,mBAAmB;IAClC,mFAAmF;IACnF,WAAW,EAAE,MAAM,CAAC;IACpB,6EAA6E;IAC7E,gBAAgB,EAAE,MAAM,CAAC;IACzB,gFAAgF;IAChF,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAChB,MAAM,EACN;QACE,aAAa,EAAE,MAAM,CAAC;QACtB,UAAU,EAAE,MAAM,CAAC;QACnB,iBAAiB,EAAE,MAAM,CAAC;KAC3B,CACF,CAAC;CACH;AAED,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,OAAO,CAAC;IACnB,uCAAuC;IACvC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,iCAAiC;IACjC,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAYD,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAsB;gBAErC,UAAU,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC;IAIrD;;;OAGG;IACH,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,GAAG,iBAAiB;IA4B/D;;;;OAIG;IACH,OAAO,CACL,QAAQ,EAAE,iBAAiB,GAAG,IAAI,EAClC,OAAO,EAAE,iBAAiB,GACzB,eAAe;CAkDnB"}

package/dist/orchestrator/loop/state-diff.js

@@ -0,0 +1,86 @@
+// ─── Defaults ───
+const DEFAULT_THRESHOLDS = {
+    value_delta: 0.05,
+    confidence_delta: 0.10,
+    layer_change: true,
+};
+// ─── StateDiffCalculator ───
+export class StateDiffCalculator {
+    thresholds;
+    constructor(thresholds) {
+        this.thresholds = { ...DEFAULT_THRESHOLDS, ...thresholds };
+    }
+    /**
+     * Build a snapshot from the current goal state.
+     * current_value is coerced to a number (non-numeric values become 0).
+     */
+    buildSnapshot(goal, iteration) {
+        const dimensions = {};
+        for (const dim of goal.dimensions) {
+            const rawValue = dim.current_value;
+            const numericValue = typeof rawValue === "number"
+                ? rawValue
+                : typeof rawValue === "boolean"
+                    ? rawValue
+                        ? 1
+                        : 0
+                    : 0;
+            dimensions[dim.name] = {
+                current_value: numericValue,
+                confidence: dim.confidence,
+                observation_layer: dim.last_observed_layer ?? "self_report",
+            };
+        }
+        return {
+            iteration,
+            timestamp: new Date().toISOString(),
+            dimensions,
+        };
+    }
+    /**
+     * Compare two snapshots. Returns hasChange=true if any dimension changed
+     * meaningfully per the configured thresholds. When previous is null (first
+     * iteration) always returns hasChange=true.
+     */
+    compare(previous, current) {
+        if (previous === null) {
+            return { hasChange: true, changedDimensions: [], reason: "first iteration" };
+        }
+        const changedDimensions = [];
+        for (const [name, curr] of Object.entries(current.dimensions)) {
+            const prev = previous.dimensions[name];
+            // Dimension is new (not present in previous snapshot) — treat as changed
+            if (!prev) {
+                changedDimensions.push(name);
+                continue;
+            }
+            const valueDelta = Math.abs(curr.current_value - prev.current_value);
+            const confidenceDelta = Math.abs(curr.confidence - prev.confidence);
+            const layerChanged = curr.observation_layer !== prev.observation_layer;
+            if (valueDelta >= this.thresholds.value_delta ||
+                confidenceDelta >= this.thresholds.confidence_delta ||
+                (this.thresholds.layer_change && layerChanged)) {
+                changedDimensions.push(name);
+            }
+        }
+        // Reverse check: dimensions present in previous but absent in current
+        for (const name of Object.keys(previous.dimensions)) {
+            if (!(name in current.dimensions)) {
+                changedDimensions.push(name);
+            }
+        }
+        if (changedDimensions.length > 0) {
+            return {
+                hasChange: true,
+                changedDimensions,
+                reason: `changed dimensions: ${changedDimensions.join(", ")}`,
+            };
+        }
+        return {
+            hasChange: false,
+            changedDimensions: [],
+            reason: "no meaningful change across all dimensions",
+        };
+    }
+}
+//# sourceMappingURL=state-diff.js.map

package/dist/orchestrator/loop/state-diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-diff.js","sourceRoot":"","sources":["../../../src/orchestrator/loop/state-diff.ts"],"names":[],"mappings":"AAkCA,mBAAmB;AAEnB,MAAM,kBAAkB,GAAwB;IAC9C,WAAW,EAAE,IAAI;IACjB,gBAAgB,EAAE,IAAI;IACtB,YAAY,EAAE,IAAI;CACnB,CAAC;AAEF,8BAA8B;AAE9B,MAAM,OAAO,mBAAmB;IACb,UAAU,CAAsB;IAEjD,YAAY,UAAyC;QACnD,IAAI,CAAC,UAAU,GAAG,EAAE,GAAG,kBAAkB,EAAE,GAAG,UAAU,EAAE,CAAC;IAC7D,CAAC;IAED;;;OAGG;IACH,aAAa,CAAC,IAAU,EAAE,SAAiB;QACzC,MAAM,UAAU,GAAoC,EAAE,CAAC;QAEvD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,GAAG,CAAC,aAAa,CAAC;YACnC,MAAM,YAAY,GAChB,OAAO,QAAQ,KAAK,QAAQ;gBAC1B,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,OAAO,QAAQ,KAAK,SAAS;oBAC/B,CAAC,CAAC,QAAQ;wBACR,CAAC,CAAC,CAAC;wBACH,CAAC,CAAC,CAAC;oBACL,CAAC,CAAC,CAAC,CAAC;YAER,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG;gBACrB,aAAa,EAAE,YAAY;gBAC3B,UAAU,EAAE,GAAG,CAAC,UAAU;gBAC1B,iBAAiB,EAAE,GAAG,CAAC,mBAAmB,IAAI,aAAa;aAC5D,CAAC;QACJ,CAAC;QAED,OAAO;YACL,SAAS;YACT,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,UAAU;SACX,CAAC;IACJ,CAAC;IAED;;;;OAIG;IACH,OAAO,CACL,QAAkC,EAClC,OAA0B;QAE1B,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;QAC/E,CAAC;QAED,MAAM,iBAAiB,GAAa,EAAE,CAAC;QAEvC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9D,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAEvC,yEAAyE;YACzE,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7B,SAAS;YACX,CAAC;YAED,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC;YACrE,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;YACpE,MAAM,YAAY,GAAG,IAAI,CAAC,iBAAiB,KAAK,IAAI,CAAC,iBAAiB,CAAC;YAEvE,IACE,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW;gBACzC,eAAe,IAAI,IAAI,CAAC,UAAU,CAAC,gBAAgB;gBACnD,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,IAAI,YAAY,CAAC,EAC9C,CAAC;gBACD,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;QAED,sEAAsE;QACtE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YACpD,IAAI,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBAClC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;QAED,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,OAAO;gBACL,SAAS,EAAE,IAAI;gBACf,iBAAiB;gBACjB,MAAM,EAAE,uBAAuB,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aAC9D,CAAC;QACJ,CAAC;QAED,OAAO;YACL,SAAS,EAAE,KAAK;YAChB,iBAAiB,EAAE,EAAE;YACrB,MAAM,EAAE,4CAA4C;SACrD,CAAC;IACJ,CAAC;CACF"}

package/dist/orchestrator/loop/tree-loop-runner.d.ts

@@ -0,0 +1,28 @@
+import type { CoreLoopDeps, ResolvedLoopConfig, LoopIterationResult } from "./core-loop/contracts.js";
+import type { Logger } from "../../runtime/logger.js";
+import type { NextIterationDirective } from "./loop-result-types.js";
+export interface LoopSchedulerOptions {
+    getPendingDirective?: (goalId: string) => NextIterationDirective | undefined;
+}
+/**
+ * Standalone function extracted from CoreLoop.runTreeIteration.
+ *
+ * Tree-mode iteration: select one node via TreeLoopOrchestrator, run a
+ * normal observe→gap→score→task cycle on that node, then aggregate upward.
+ */
+export declare function runTreeIteration(rootId: string, loopIndex: number, deps: CoreLoopDeps, config: ResolvedLoopConfig, logger: Logger | undefined, runOneIteration: (goalId: string, loopIndex: number) => Promise<LoopIterationResult>, nodeConsumedMap: Map<string, number>, schedulerOptions?: LoopSchedulerOptions): Promise<LoopIterationResult>;
+/**
+ * Standalone function extracted from CoreLoop.runMultiGoalIteration.
+ *
+ * Run one iteration of the multi-goal loop.
+ *
+ * Uses CrossGoalPortfolio (if available) to determine goal allocations,
+ * then calls portfolioManager.selectNextStrategyAcrossGoals() to pick
+ * which goal gets the next iteration. Falls back to equal allocation if
+ * CrossGoalPortfolio is not injected.
+ *
+ * Requires config.multiGoalMode=true and config.goalIds to be set.
+ * Throws if CrossGoalPortfolio is not injected and multiGoalMode is enabled.
+ */
+export declare function runMultiGoalIteration(loopIndex: number, deps: CoreLoopDeps, config: ResolvedLoopConfig, runOneIteration: (goalId: string, loopIndex: number) => Promise<LoopIterationResult>, schedulerOptions?: LoopSchedulerOptions): Promise<LoopIterationResult>;
+//# sourceMappingURL=tree-loop-runner.d.ts.map

package/dist/orchestrator/loop/tree-loop-runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tree-loop-runner.d.ts","sourceRoot":"","sources":["../../../src/orchestrator/loop/tree-loop-runner.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAEtG,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAEtD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAErE,MAAM,WAAW,oBAAoB;IACnC,mBAAmB,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,sBAAsB,GAAG,SAAS,CAAC;CAC9E;AAiDD;;;;;GAKG;AACH,wBAAsB,gBAAgB,CACpC,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,YAAY,EAClB,MAAM,EAAE,kBAAkB,EAC1B,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,OAAO,CAAC,mBAAmB,CAAC,EACpF,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACpC,gBAAgB,CAAC,EAAE,oBAAoB,GACtC,OAAO,CAAC,mBAAmB,CAAC,CAmI9B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAsB,qBAAqB,CACzC,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,YAAY,EAClB,MAAM,EAAE,kBAAkB,EAC1B,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,OAAO,CAAC,mBAAmB,CAAC,EACpF,gBAAgB,CAAC,EAAE,oBAAoB,GACtC,OAAO,CAAC,mBAAmB,CAAC,CA6D9B"}

package/dist/orchestrator/loop/tree-loop-runner.js

@@ -0,0 +1,225 @@
+import { makeEmptyIterationResult } from "./core-loop/contracts.js";
+function prioritizeGoalIdsWithDirectives(goalIds, schedulerOptions) {
+    const getPendingDirective = schedulerOptions?.getPendingDirective;
+    if (!getPendingDirective)
+        return [...goalIds];
+    const scored = goalIds.map((goalId, index) => {
+        const directive = getPendingDirective(goalId);
+        const priority = directive
+            ? (directive.requestedPhase === "knowledge_refresh" ? 0 : 1)
+            : 2;
+        return { goalId, index, priority };
+    });
+    scored.sort((a, b) => a.priority - b.priority || a.index - b.index);
+    return scored.map((entry) => entry.goalId);
+}
+async function collectDirectivePreferredTreeNodeIds(rootId, deps, schedulerOptions) {
+    const getPendingDirective = schedulerOptions?.getPendingDirective;
+    if (!getPendingDirective)
+        return [];
+    const root = await deps.stateManager.loadGoal(rootId);
+    if (!root)
+        return [];
+    const collected = [];
+    const queue = [rootId];
+    while (queue.length > 0) {
+        const currentId = queue.shift();
+        const goal = currentId === rootId ? root : await deps.stateManager.loadGoal(currentId);
+        if (!goal)
+            continue;
+        if (getPendingDirective(currentId)) {
+            collected.push(currentId);
+        }
+        queue.push(...goal.children_ids);
+    }
+    return collected;
+}
+/**
+ * Standalone function extracted from CoreLoop.runTreeIteration.
+ *
+ * Tree-mode iteration: select one node via TreeLoopOrchestrator, run a
+ * normal observe→gap→score→task cycle on that node, then aggregate upward.
+ */
+export async function runTreeIteration(rootId, loopIndex, deps, config, logger, runOneIteration, nodeConsumedMap, schedulerOptions) {
+    const orchestrator = deps.treeLoopOrchestrator;
+    // 0. Auto-decompose (or refine) if root has no children yet.
+    // If root already has children (e.g. resumed session), reset all nodes to "idle"
+    // so that stale "running" statuses from a prior run do not block node selection.
+    const rootGoalForDecomp = await deps.stateManager.loadGoal(rootId);
+    // On the first iteration, if root already has children (resumed session), reset all
+    // nodes to "idle" so stale "running" statuses from a prior run do not block selection.
+    if (rootGoalForDecomp && rootGoalForDecomp.children_ids.length > 0 && loopIndex === 0) {
+        const defaultConfig = { min_specificity: 0.7, max_depth: 3, parallel_loop_limit: 3, auto_prune_threshold: 0.3 };
+        await deps.treeLoopOrchestrator?.startTreeExecution(rootId, defaultConfig);
+    }
+    let decomposed = false;
+    console.log(`  [TREE] rootGoal loaded: ${!!rootGoalForDecomp}, children: ${rootGoalForDecomp?.children_ids.length ?? "N/A"}, hasTLO: ${!!deps.treeLoopOrchestrator}, hasRefiner: ${!!deps.goalRefiner}`);
+    if (rootGoalForDecomp && rootGoalForDecomp.children_ids.length === 0) {
+        const defaultConfig = { min_specificity: 0.7, max_depth: 3, parallel_loop_limit: 3, auto_prune_threshold: 0.3 };
+        if (deps.treeLoopOrchestrator) {
+            try {
+                console.log("  [TREE] Calling ensureGoalRefined(force=true)...");
+                await deps.treeLoopOrchestrator.ensureGoalRefined(rootId, { force: true });
+                console.log("  [TREE] ensureGoalRefined complete. Starting tree execution...");
+                await deps.treeLoopOrchestrator.startTreeExecution(rootId, defaultConfig);
+                const rootAfterRefine = await deps.stateManager.loadGoal(rootId);
+                decomposed = (rootAfterRefine?.children_ids.length ?? 0) > 0;
+                console.log(`  [TREE] Refinement result: decomposed=${decomposed}, children=${rootAfterRefine?.children_ids.length ?? 0}`);
+            }
+            catch (err) {
+                logger?.warn("CoreLoop: refinement failed, falling back to flat iteration", { rootId, err });
+            }
+        }
+        else if (deps.goalTreeManager) {
+            try {
+                logger?.info("CoreLoop: auto-decomposing goal tree", { rootId });
+                const decompResult = await deps.goalTreeManager.decomposeGoal(rootId, defaultConfig);
+                logger?.info("CoreLoop: decomposition complete", { rootId, childCount: decompResult.children.length });
+                await orchestrator.startTreeExecution(rootId, defaultConfig);
+                decomposed = true;
+            }
+            catch (err) {
+                logger?.warn("CoreLoop: decomposition failed, falling back to flat iteration", { rootId, err });
+            }
+        }
+    }
+    // 0b. If goal still has no children after any decomposition attempt, fall back to
+    // flat iteration — tree mode cannot proceed without subgoals.
+    // We check this regardless of whether goalTreeManager was present, so that the
+    // no-goalTreeManager path (where decomposition was skipped) is also covered.
+    const rootGoalCheck = decomposed
+        ? await deps.stateManager.loadGoal(rootId)
+        : rootGoalForDecomp;
+    if (rootGoalCheck && rootGoalCheck.children_ids.length === 0) {
+        logger?.info("[TREE] Goal has no subgoals, falling back to flat iteration", { rootId });
+        return runOneIteration(rootId, loopIndex);
+    }
+    // 1. Select next node to iterate
+    let selectedNodeId;
+    const preferredNodeIds = await collectDirectivePreferredTreeNodeIds(rootId, deps, schedulerOptions);
+    if (preferredNodeIds.length > 0 && "selectPreferredNode" in orchestrator && typeof orchestrator.selectPreferredNode === "function") {
+        const preferredSelection = await orchestrator.selectPreferredNode(rootId, preferredNodeIds);
+        if (preferredSelection === undefined) {
+            selectedNodeId = await orchestrator.selectNextNode(rootId);
+        }
+        else {
+            selectedNodeId = preferredSelection;
+        }
+    }
+    else {
+        selectedNodeId = await orchestrator.selectNextNode(rootId);
+    }
+    // 2. If null, all nodes are completed/paused — check root completion
+    if (selectedNodeId === null) {
+        const rootGoal = await deps.stateManager.loadGoal(rootId);
+        const isComplete = rootGoal
+            ? (rootGoal.children_ids.length > 0
+                ? await deps.satisficingJudge.judgeTreeCompletion(rootId)
+                : deps.satisficingJudge.isGoalComplete(rootGoal))
+            : { is_complete: false, blocking_dimensions: [], low_confidence_dimensions: [], needs_verification_task: false, checked_at: new Date().toISOString() };
+        return makeEmptyIterationResult(rootId, loopIndex, { completionJudgment: isComplete });
+    }
+    // 3. Enforce per-node limit if a shared budget with per_node_limit is configured
+    const budget = config.iterationBudget;
+    if (budget && budget.perNodeLimit !== undefined) {
+        const nodeCount = nodeConsumedMap.get(selectedNodeId) ?? 0;
+        if (nodeCount >= budget.perNodeLimit) {
+            logger?.info(`[TREE] Node "${selectedNodeId}" has reached per-node limit (${budget.perNodeLimit}), skipping`, { selectedNodeId, nodeCount });
+            // Return a no-op result so the loop can continue with the next node
+            return makeEmptyIterationResult(rootId, loopIndex, {
+                skipped: true,
+                skipReason: "per_node_limit",
+            });
+        }
+        nodeConsumedMap.set(selectedNodeId, nodeCount + 1);
+    }
+    // 3. Run normal iteration on selected node
+    const result = await runOneIteration(selectedNodeId, loopIndex);
+    // 3b. After each iteration, propagate state upward through parent chain
+    if (deps.stateAggregator) {
+        const selectedGoal = await deps.stateManager.loadGoal(selectedNodeId);
+        let parentId = selectedGoal?.parent_id ?? null;
+        while (parentId !== null) {
+            try {
+                await deps.stateAggregator.aggregateChildStates(parentId);
+            }
+            catch {
+                break;
+            }
+            const parent = await deps.stateManager.loadGoal(parentId);
+            parentId = parent?.parent_id ?? null;
+        }
+    }
+    // 4. If the node's goal is now completed, call onNodeCompleted.
+    // Otherwise reset loop_status to "idle" so the node remains eligible for
+    // future iterations (the eligibility filter skips "running" nodes).
+    if (result.completionJudgment.is_complete) {
+        await orchestrator.onNodeCompleted(selectedNodeId);
+    }
+    else {
+        const nodeGoal = await deps.stateManager.loadGoal(selectedNodeId);
+        if (nodeGoal) {
+            await deps.stateManager.saveGoal({
+                ...nodeGoal,
+                loop_status: "idle",
+                updated_at: new Date().toISOString(),
+            });
+        }
+    }
+    return result;
+}
+/**
+ * Standalone function extracted from CoreLoop.runMultiGoalIteration.
+ *
+ * Run one iteration of the multi-goal loop.
+ *
+ * Uses CrossGoalPortfolio (if available) to determine goal allocations,
+ * then calls portfolioManager.selectNextStrategyAcrossGoals() to pick
+ * which goal gets the next iteration. Falls back to equal allocation if
+ * CrossGoalPortfolio is not injected.
+ *
+ * Requires config.multiGoalMode=true and config.goalIds to be set.
+ * Throws if CrossGoalPortfolio is not injected and multiGoalMode is enabled.
+ */
+export async function runMultiGoalIteration(loopIndex, deps, config, runOneIteration, schedulerOptions) {
+    if (!config.multiGoalMode || !config.goalIds || config.goalIds.length === 0) {
+        throw new Error("runMultiGoalIteration requires config.multiGoalMode=true and config.goalIds to be non-empty");
+    }
+    const goalIds = config.goalIds;
+    const prioritizedGoalIds = prioritizeGoalIdsWithDirectives(goalIds, schedulerOptions);
+    const directiveGoalIds = prioritizedGoalIds.filter((goalId) => schedulerOptions?.getPendingDirective?.(goalId));
+    // Build allocation map
+    let allocationMap;
+    if (deps.crossGoalPortfolio) {
+        allocationMap = await deps.crossGoalPortfolio.getAllocationMap(goalIds);
+    }
+    else {
+        // Fall back to equal allocation when CrossGoalPortfolio is not provided
+        const equalShare = 1.0 / goalIds.length;
+        allocationMap = new Map(goalIds.map((id) => [id, equalShare]));
+    }
+    // Select next goal + strategy using PortfolioManager
+    if (!deps.portfolioManager) {
+        // Without a portfolio manager, round-robin by loopIndex
+        const selectedGoalId = directiveGoalIds[0] ?? prioritizedGoalIds[loopIndex % prioritizedGoalIds.length];
+        return runOneIteration(selectedGoalId, loopIndex);
+    }
+    let selection = null;
+    if (directiveGoalIds.length > 0) {
+        selection = await deps.portfolioManager.selectNextStrategyAcrossGoals(directiveGoalIds, allocationMap);
+    }
+    if (selection === null) {
+        selection = await deps.portfolioManager.selectNextStrategyAcrossGoals(prioritizedGoalIds, allocationMap);
+    }
+    if (selection === null) {
+        // No strategies available — return a no-op result for the first goal
+        const fallbackGoalId = prioritizedGoalIds[0];
+        return runOneIteration(fallbackGoalId, loopIndex);
+    }
+    // Record that a task was dispatched for this goal
+    deps.portfolioManager.recordGoalTaskDispatched(selection.goal_id);
+    // Run normal iteration for the selected goal
+    const result = await runOneIteration(selection.goal_id, loopIndex);
+    return result;
+}
+//# sourceMappingURL=tree-loop-runner.js.map

package/dist/orchestrator/loop/tree-loop-runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tree-loop-runner.js","sourceRoot":"","sources":["../../../src/orchestrator/loop/tree-loop-runner.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AASpE,SAAS,+BAA+B,CACtC,OAAiB,EACjB,gBAAuC;IAEvC,MAAM,mBAAmB,GAAG,gBAAgB,EAAE,mBAAmB,CAAC;IAClE,IAAI,CAAC,mBAAmB;QAAE,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC;IAE9C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QAC3C,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,SAAS;YACxB,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,KAAK,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5D,CAAC,CAAC,CAAC,CAAC;QACN,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACpE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAC7C,CAAC;AAED,KAAK,UAAU,oCAAoC,CACjD,MAAc,EACd,IAAkB,EAClB,gBAAuC;IAEvC,MAAM,mBAAmB,GAAG,gBAAgB,EAAE,mBAAmB,CAAC;IAClE,IAAI,CAAC,mBAAmB;QAAE,OAAO,EAAE,CAAC;IAEpC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACtD,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IAErB,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;IACvB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QACjC,MAAM,IAAI,GAAG,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACvF,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,IAAI,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YACnC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC5B,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,MAAc,EACd,SAAiB,EACjB,IAAkB,EAClB,MAA0B,EAC1B,MAA0B,EAC1B,eAAoF,EACpF,eAAoC,EACpC,gBAAuC;IAEvC,MAAM,YAAY,GAAG,IAAI,CAAC,oBAAqB,CAAC;IAEhD,6DAA6D;IAC7D,iFAAiF;IACjF,iFAAiF;IACjF,MAAM,iBAAiB,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACnE,oFAAoF;IACpF,uFAAuF;IACvF,IAAI,iBAAiB,IAAI,iBAAiB,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;QACtF,MAAM,aAAa,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC;QAChH,MAAM,IAAI,CAAC,oBAAoB,EAAE,kBAAkB,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC,iBAAiB,eAAe,iBAAiB,EAAE,YAAY,CAAC,MAAM,IAAI,KAAK,aAAa,CAAC,CAAC,IAAI,CAAC,oBAAoB,iBAAiB,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACzM,IAAI,iBAAiB,IAAI,iBAAiB,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrE,MAAM,aAAa,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC;QAChH,IAAI,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC9B,IAAI,CAAC;gBACH,OAAO,CAAC,GAAG,CAAC,mDAAmD,CAAC,CAAC;gBACjE,MAAM,IAAI,CAAC,oBAAoB,CAAC,iBAAiB,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC3E,OAAO,CAAC,GAAG,CAAC,iEAAiE,CAAC,CAAC;gBAC/E,MAAM,IAAI,CAAC,oBAAoB,CAAC,kBAAkB,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;gBAC1E,MAAM,eAAe,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBACjE,UAAU,GAAG,CAAC,eAAe,EAAE,YAAY,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC7D,OAAO,CAAC,GAAG,CAAC,0CAA0C,UAAU,cAAc,eAAe,EAAE,YAAY,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC;YAC7H,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,EAAE,IAAI,CAAC,6DAA6D,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;YAC/F,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YAChC,IAAI,CAAC;gBACH,MAAM,EAAE,IAAI,CAAC,sCAAsC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;gBACjE,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,aAAa,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;gBACrF,MAAM,EAAE,IAAI,CAAC,kCAAkC,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;gBACvG,MAAM,YAAY,CAAC,kBAAkB,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;gBAC7D,UAAU,GAAG,IAAI,CAAC;YACpB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,EAAE,IAAI,CAAC,gEAAgE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;YAClG,CAAC;QACH,CAAC;IACH,CAAC;IAED,kFAAkF;IAClF,8DAA8D;IAC9D,+EAA+E;IAC/E,6EAA6E;IAC7E,MAAM,aAAa,GAAG,UAAU;QAC9B,CAAC,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC1C,CAAC,CAAC,iBAAiB,CAAC;IACtB,IAAI,aAAa,IAAI,aAAa,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7D,MAAM,EAAE,IAAI,CAAC,6DAA6D,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QACxF,OAAO,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC5C,CAAC;IAED,iCAAiC;IACjC,IAAI,cAA6B,CAAC;IAClC,MAAM,gBAAgB,GAAG,MAAM,oCAAoC,CAAC,MAAM,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACpG,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,qBAAqB,IAAI,YAAY,IAAI,OAAO,YAAY,CAAC,mBAAmB,KAAK,UAAU,EAAE,CAAC;QACnI,MAAM,kBAAkB,GAAG,MAAM,YAAY,CAAC,mBAAmB,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;QAC5F,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;YACrC,cAAc,GAAG,MAAM,YAAY,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAC7D,CAAC;aAAM,CAAC;YACN,cAAc,GAAG,kBAAkB,CAAC;QACtC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,cAAc,GAAG,MAAM,YAAY,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IAC7D,CAAC;IAED,qEAAqE;IACrE,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAG,QAAQ;YACzB,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;gBAC/B,CAAC,CAAC,MAAM,IAAI,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,MAAM,CAAC;gBACzD,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;YACrD,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,mBAAmB,EAAE,EAAE,EAAE,yBAAyB,EAAE,EAAE,EAAE,uBAAuB,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;QAEzJ,OAAO,wBAAwB,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,kBAAkB,EAAE,UAAU,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,iFAAiF;IACjF,MAAM,MAAM,GAAG,MAAM,CAAC,eAAe,CAAC;IACtC,IAAI,MAAM,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QAChD,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,SAAS,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YACrC,MAAM,EAAE,IAAI,CACV,gBAAgB,cAAc,iCAAiC,MAAM,CAAC,YAAY,aAAa,EAC/F,EAAE,cAAc,EAAE,SAAS,EAAE,CAC9B,CAAC;YACF,oEAAoE;YACpE,OAAO,wBAAwB,CAAC,MAAM,EAAE,SAAS,EAAE;gBACjD,OAAO,EAAE,IAAI;gBACb,UAAU,EAAE,gBAAgB;aAC7B,CAAC,CAAC;QACL,CAAC;QACD,eAAe,CAAC,GAAG,CAAC,cAAc,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,2CAA2C;IAC3C,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;IAEhE,wEAAwE;IACxE,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;QACzB,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QACtE,IAAI,QAAQ,GAAG,YAAY,EAAE,SAAS,IAAI,IAAI,CAAC;QAC/C,OAAO,QAAQ,KAAK,IAAI,EAAE,CAAC;YACzB,IAAI,CAAC;gBACH,MAAM,IAAI,CAAC,eAAe,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;YAC5D,CAAC;YAAC,MAAM,CAAC;gBAAC,MAAM;YAAC,CAAC;YAClB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAC1D,QAAQ,GAAG,MAAM,EAAE,SAAS,IAAI,IAAI,CAAC;QACvC,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,yEAAyE;IACzE,oEAAoE;IACpE,IAAI,MAAM,CAAC,kBAAkB,CAAC,WAAW,EAAE,CAAC;QAC1C,MAAM,YAAY,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;IACrD,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QAClE,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC;gBAC/B,GAAG,QAAQ;gBACX,WAAW,EAAE,MAAM;gBACnB,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACrC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,SAAiB,EACjB,IAAkB,EAClB,MAA0B,EAC1B,eAAoF,EACpF,gBAAuC;IAEvC,IAAI,CAAC,MAAM,CAAC,aAAa,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5E,MAAM,IAAI,KAAK,CACb,6FAA6F,CAC9F,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAC/B,MAAM,kBAAkB,GAAG,+BAA+B,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;IACtF,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,EAAE,mBAAmB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAEhH,uBAAuB;IACvB,IAAI,aAAkC,CAAC;IAEvC,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC5B,aAAa,GAAG,MAAM,IAAI,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC1E,CAAC;SAAM,CAAC;QACN,wEAAwE;QACxE,MAAM,UAAU,GAAG,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC;QACxC,aAAa,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,qDAAqD;IACrD,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC3B,wDAAwD;QACxD,MAAM,cAAc,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,kBAAkB,CAAC,SAAS,GAAG,kBAAkB,CAAC,MAAM,CAAE,CAAC;QACzG,OAAO,eAAe,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;IACpD,CAAC;IAED,IAAI,SAAS,GAIF,IAAI,CAAC;IAChB,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,SAAS,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,6BAA6B,CACnE,gBAAgB,EAChB,aAAa,CACd,CAAC;IACJ,CAAC;IAED,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,SAAS,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,6BAA6B,CACnE,kBAAkB,EAClB,aAAa,CACd,CAAC;IACJ,CAAC;IAED,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,qEAAqE;QACrE,MAAM,cAAc,GAAG,kBAAkB,CAAC,CAAC,CAAE,CAAC;QAC9C,OAAO,eAAe,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;IACpD,CAAC;IAED,kDAAkD;IAClD,IAAI,CAAC,gBAAgB,CAAC,wBAAwB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAElE,6CAA6C;IAC7C,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAEnE,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/orchestrator/loop/verification-layer1.d.ts

@@ -0,0 +1,38 @@
+import type { Criterion } from "../../orchestrator/execution/types/task.js";
+import type { ToolExecutor } from "../../tools/executor.js";
+import type { ToolCallContext, ToolResult } from "../../tools/types.js";
+/**
+ * Result of a single criterion verification via tool.
+ */
+export interface VerificationDetail {
+    criterion: Criterion;
+    toolName: string;
+    toolResult: ToolResult;
+    passed: boolean;
+}
+/**
+ * Outcome of Verification Layer 1 (mechanical, tool-based).
+ */
+export interface VerificationLayer1Result {
+    /**
+     * True when all blocking criteria passed (or no tool-verifiable criteria exist).
+     * False when at least one blocking criterion failed.
+     */
+    mechanicalPassed: boolean;
+    details: VerificationDetail[];
+}
+/**
+ * Verification Layer 1: tool-based mechanical verification.
+ *
+ * Maps each task success criterion to a tool call, runs them in parallel,
+ * and returns whether all blocking criteria passed.
+ *
+ * If no criteria can be verified mechanically, returns mechanicalPassed=true
+ * so the caller can proceed to Layer 2 (task reviewer).
+ *
+ * @param criteria   Task success criteria
+ * @param toolExecutor  Executor with registered tools (shell, glob, read, http_fetch)
+ * @param context       Tool call context (cwd, goalId, trust, approval)
+ */
+export declare function verifyWithTools(criteria: Criterion[], toolExecutor: ToolExecutor, context: ToolCallContext): Promise<VerificationLayer1Result>;
+//# sourceMappingURL=verification-layer1.d.ts.map

package/dist/orchestrator/loop/verification-layer1.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-layer1.d.ts","sourceRoot":"","sources":["../../../src/orchestrator/loop/verification-layer1.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4CAA4C,CAAC;AAC5E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAExE;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,SAAS,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,UAAU,CAAC;IACvB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC;;;OAGG;IACH,gBAAgB,EAAE,OAAO,CAAC;IAC1B,OAAO,EAAE,kBAAkB,EAAE,CAAC;CAC/B;AAkDD;;;;;;;;;;;;GAYG;AACH,wBAAsB,eAAe,CACnC,QAAQ,EAAE,SAAS,EAAE,EACrB,YAAY,EAAE,YAAY,EAC1B,OAAO,EAAE,eAAe,GACvB,OAAO,CAAC,wBAAwB,CAAC,CAsCnC"}

package/dist/orchestrator/loop/verification-layer1.js

@@ -0,0 +1,81 @@
+/** Allowed URL schemes for http_fetch verification. Only http/https are permitted. */
+const ALLOWED_URL_SCHEMES = ["http://", "https://"];
+/**
+ * Map a criterion's verification_method string to a tool call.
+ * Returns null when the method cannot be verified mechanically.
+ *
+ * Supported prefixes:
+ *   "run <cmd>" / "execute <cmd>"     -> shell tool
+ *   "check file <pat>" / "file exists <pat>"  -> glob tool
+ *   "read <path>" / "verify content <path>"   -> read tool
+ *   "fetch <url>" / "check endpoint <url>"    -> http_fetch tool
+ */
+function mapCriterionToToolCall(criterion) {
+    const method = criterion.verification_method;
+    if (method.startsWith("run ") || method.startsWith("execute ")) {
+        const command = method.replace(/^(run|execute)\s+/, "");
+        // Shell verification commands from LLM-generated criteria must go through approvalFn.
+        // preApproved is explicitly set to false at the call site to prevent bypassing the permission gate.
+        return { toolName: "shell", input: { command }, canVerify: true };
+    }
+    if (method.startsWith("check file ") || method.startsWith("file exists ")) {
+        const pattern = method.replace(/^(check file|file exists)\s+/, "");
+        return { toolName: "glob", input: { pattern }, canVerify: true };
+    }
+    if (method.startsWith("read ") || method.startsWith("verify content ")) {
+        const filePath = method.replace(/^(read|verify content)\s+/, "");
+        return { toolName: "read", input: { file_path: filePath }, canVerify: true };
+    }
+    if (method.startsWith("fetch ") || method.startsWith("check endpoint ")) {
+        const url = method.replace(/^(fetch|check endpoint)\s+/, "");
+        // SSRF protection: only allow http:// and https:// schemes.
+        // Reject file://, ftp://, data://, internal IPs, etc.
+        if (!ALLOWED_URL_SCHEMES.some((scheme) => url.startsWith(scheme))) {
+            return { toolName: "__skip__", input: null, canVerify: false };
+        }
+        return { toolName: "http_fetch", input: { url, method: "GET" }, canVerify: true };
+    }
+    return { toolName: "__skip__", input: null, canVerify: false };
+}
+/**
+ * Verification Layer 1: tool-based mechanical verification.
+ *
+ * Maps each task success criterion to a tool call, runs them in parallel,
+ * and returns whether all blocking criteria passed.
+ *
+ * If no criteria can be verified mechanically, returns mechanicalPassed=true
+ * so the caller can proceed to Layer 2 (task reviewer).
+ *
+ * @param criteria   Task success criteria
+ * @param toolExecutor  Executor with registered tools (shell, glob, read, http_fetch)
+ * @param context       Tool call context (cwd, goalId, trust, approval)
+ */
+export async function verifyWithTools(criteria, toolExecutor, context) {
+    if (criteria.length === 0) {
+        return { mechanicalPassed: true, details: [] };
+    }
+    const mappings = criteria.map((c) => ({ criterion: c, ...mapCriterionToToolCall(c) }));
+    const verifiable = mappings.filter((m) => m.canVerify);
+    if (verifiable.length === 0) {
+        // No tool-verifiable criteria; fall through to Layer 2
+        return { mechanicalPassed: true, details: [] };
+    }
+    // Shell verification commands come from LLM-generated criteria and must never bypass
+    // the normal permission gate. Override preApproved=false so approvalFn is always called.
+    const shellContext = { ...context, preApproved: false };
+    // Execute all verification tool calls (read-only, parallelize safely)
+    const toolResults = await Promise.all(verifiable.map((m) => {
+        const ctx = m.toolName === "shell" ? shellContext : context;
+        return toolExecutor.execute(m.toolName, m.input, ctx);
+    }));
+    const details = verifiable.map((m, i) => ({
+        criterion: m.criterion,
+        toolName: m.toolName,
+        toolResult: toolResults[i],
+        passed: toolResults[i].success,
+    }));
+    // All blocking criteria must pass
+    const blockingFailed = details.some((d) => d.criterion.is_blocking && !d.passed);
+    return { mechanicalPassed: !blockingFailed, details };
+}
+//# sourceMappingURL=verification-layer1.js.map

package/dist/orchestrator/loop/verification-layer1.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-layer1.js","sourceRoot":"","sources":["../../../src/orchestrator/loop/verification-layer1.ts"],"names":[],"mappings":"AA0BA,sFAAsF;AACtF,MAAM,mBAAmB,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;AAEpD;;;;;;;;;GASG;AACH,SAAS,sBAAsB,CAC7B,SAAoB;IAEpB,MAAM,MAAM,GAAG,SAAS,CAAC,mBAAmB,CAAC;IAE7C,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;QACxD,sFAAsF;QACtF,oGAAoG;QACpG,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACpE,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAC1E,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,8BAA8B,EAAE,EAAE,CAAC,CAAC;QACnE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACnE,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACvE,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC;QACjE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAC/E,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACxE,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,4BAA4B,EAAE,EAAE,CAAC,CAAC;QAC7D,4DAA4D;QAC5D,sDAAsD;QACtD,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAClE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;QACjE,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACpF,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AACjE,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,QAAqB,EACrB,YAA0B,EAC1B,OAAwB;IAExB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,gBAAgB,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACjD,CAAC;IAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,GAAG,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvF,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAEvD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,uDAAuD;QACvD,OAAO,EAAE,gBAAgB,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACjD,CAAC;IAED,qFAAqF;IACrF,yFAAyF;IACzF,MAAM,YAAY,GAAoB,EAAE,GAAG,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAEzE,sEAAsE;IACtE,MAAM,WAAW,GAAG,MAAM,OAAO,CAAC,GAAG,CACnC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACnB,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC;QAC5D,OAAO,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACxD,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,OAAO,GAAyB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9D,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;QAC1B,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO;KAC/B,CAAC,CAAC,CAAC;IAEJ,kCAAkC;IAClC,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC,MAAM,CAC5C,CAAC;IAEF,OAAO,EAAE,gBAAgB,EAAE,CAAC,cAAc,EAAE,OAAO,EAAE,CAAC;AACxD,CAAC"}

package/dist/orchestrator/observation/capability-detector.d.ts

@@ -0,0 +1,2 @@
+export { CapabilityDetector } from "../../platform/observation/capability-detector.js";
+//# sourceMappingURL=capability-detector.d.ts.map

package/dist/orchestrator/observation/capability-detector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capability-detector.d.ts","sourceRoot":"","sources":["../../../src/orchestrator/observation/capability-detector.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,mDAAmD,CAAC"}

package/dist/orchestrator/observation/capability-detector.js

@@ -0,0 +1,2 @@
+export { CapabilityDetector } from "../../platform/observation/capability-detector.js";
+//# sourceMappingURL=capability-detector.js.map

package/dist/orchestrator/observation/capability-detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capability-detector.js","sourceRoot":"","sources":["../../../src/orchestrator/observation/capability-detector.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,mDAAmD,CAAC"}