conatus 0.1.0

package/dist/goal/goal-negotiator.js

@@ -0,0 +1,260 @@
+import { randomUUID } from "node:crypto";
+import { GoalSchema } from "../types/goal.js";
+import { NegotiationLogSchema, FeasibilityResultSchema, } from "../types/negotiation.js";
+import { DEFAULT_CHARACTER_CONFIG } from "../types/character.js";
+import { decompositionToDimension } from "./goal-validation.js";
+import { decompose as decomposeImpl, decomposeIntoSubgoals as decomposeIntoSubgoalsImpl, } from "./goal-decomposer.js";
+import { suggestGoals as suggestGoalsImpl } from "./goal-suggest.js";
+import { EthicsRejectedError } from "./negotiator-context.js";
+export { gatherNegotiationContext, EthicsRejectedError } from "./negotiator-context.js";
+import { DEFAULT_TIME_HORIZON_DAYS, REALISTIC_TARGET_ACCELERATION_FACTOR, FEASIBILITY_RATIO_THRESHOLD_REALISTIC, getFeasibilityThreshold, runDecompositionStep, buildInitialBaseline, buildRenegotiationBaseline, evaluateQualitatively, runCapabilityCheckStep, determineResponseType, buildNegotiationResponse, estimateChangeRate, } from "./negotiator-steps.js";
+// ─── GoalNegotiator ───
+export class GoalNegotiator {
+    stateManager;
+    llmClient;
+    ethicsGate;
+    observationEngine;
+    characterConfig;
+    satisficingJudge;
+    goalTreeManager;
+    adapterCapabilities;
+    constructor(stateManager, llmClient, ethicsGate, observationEngine, characterConfig, satisficingJudge, goalTreeManager, adapterCapabilities) {
+        this.stateManager = stateManager;
+        this.llmClient = llmClient;
+        this.ethicsGate = ethicsGate;
+        this.observationEngine = observationEngine;
+        this.characterConfig = characterConfig ?? DEFAULT_CHARACTER_CONFIG;
+        this.satisficingJudge = satisficingJudge;
+        this.goalTreeManager = goalTreeManager;
+        this.adapterCapabilities = adapterCapabilities;
+    }
+    // ─── negotiate() ───
+    async negotiate(rawGoalDescription, options) {
+        const goalId = randomUUID();
+        const deadline = options?.deadline ?? null;
+        const constraints = options?.constraints ?? [];
+        const timeHorizonDays = options?.timeHorizonDays ?? DEFAULT_TIME_HORIZON_DAYS;
+        const now = new Date().toISOString();
+        const log = NegotiationLogSchema.parse({
+            goal_id: goalId,
+            timestamp: now,
+            is_renegotiation: false,
+            renegotiation_trigger: null,
+        });
+        // Step 0: Ethics Gate
+        const ethicsVerdict = await this.ethicsGate.check("goal", goalId, rawGoalDescription);
+        if (ethicsVerdict.verdict === "reject")
+            throw new EthicsRejectedError(ethicsVerdict);
+        const ethicsFlags = ethicsVerdict.verdict === "flag" ? ethicsVerdict.risks : undefined;
+        // Step 2: Dimension Decomposition
+        const { dimensions } = await runDecompositionStep(rawGoalDescription, constraints, this.observationEngine, this.llmClient, options?.workspaceContext);
+        log.step2_decomposition = { dimensions, method: "llm" };
+        // Step 3: Initial Baseline
+        const baselineObservations = buildInitialBaseline(dimensions);
+        log.step3_baseline = { observations: baselineObservations };
+        // Step 4: Feasibility Evaluation
+        const feasibilityResults = [];
+        for (const dim of dimensions) {
+            const baseline = baselineObservations.find((o) => o.dimension === dim.name);
+            const result = await evaluateQualitatively(this.llmClient, dim.name, rawGoalDescription, baseline?.value ?? null, dim.threshold_value, timeHorizonDays);
+            feasibilityResults.push(result);
+        }
+        log.step4_evaluation = { path: "qualitative", dimensions: feasibilityResults };
+        // Step 4b: Capability Check
+        if (this.adapterCapabilities && this.adapterCapabilities.length > 0) {
+            await runCapabilityCheckStep(this.llmClient, rawGoalDescription, dimensions, this.adapterCapabilities, feasibilityResults, log);
+        }
+        // Step 5: Response
+        const { responseType, counterProposal, initialConfidence } = determineResponseType(feasibilityResults, baselineObservations, timeHorizonDays);
+        const negotiationResponse = await buildNegotiationResponse(this.llmClient, rawGoalDescription, responseType, feasibilityResults, counterProposal, ethicsFlags, initialConfidence);
+        log.step5_response = {
+            type: responseType,
+            accepted: negotiationResponse.accepted,
+            initial_confidence: initialConfidence,
+            user_acknowledged: false,
+            counter_proposal: counterProposal
+                ? { realistic_target: counterProposal.realistic_target, reasoning: counterProposal.reasoning, alternatives: counterProposal.alternatives }
+                : null,
+        };
+        // Build & persist Goal
+        const goal = GoalSchema.parse({
+            id: goalId,
+            parent_id: null,
+            node_type: "goal",
+            title: rawGoalDescription,
+            description: rawGoalDescription,
+            status: "active",
+            dimensions: dimensions.map(decompositionToDimension),
+            gap_aggregation: "max",
+            dimension_mapping: null,
+            constraints,
+            children_ids: [],
+            target_date: null,
+            origin: "negotiation",
+            pace_snapshot: null,
+            deadline,
+            confidence_flag: initialConfidence === "low" ? "low" : initialConfidence === "medium" ? "medium" : "high",
+            user_override: false,
+            feasibility_note: responseType === "counter_propose"
+                ? `Counter-proposal: target=${counterProposal?.realistic_target}`
+                : null,
+            uncertainty_weight: 1.0,
+            created_at: now,
+            updated_at: now,
+        });
+        await this.stateManager.saveGoal(goal);
+        await this.saveNegotiationLog(goalId, log);
+        return { goal, response: negotiationResponse, log };
+    }
+    // ─── decompose() ───
+    async decompose(goalId, parentGoal) {
+        return decomposeImpl(goalId, parentGoal, {
+            stateManager: this.stateManager,
+            llmClient: this.llmClient,
+            ethicsGate: this.ethicsGate,
+            satisficingJudge: this.satisficingJudge,
+            goalTreeManager: this.goalTreeManager,
+        });
+    }
+    // ─── renegotiate() ───
+    async renegotiate(goalId, trigger, context) {
+        const existingGoal = await this.stateManager.loadGoal(goalId);
+        if (existingGoal === null)
+            throw new Error(`renegotiate: goal "${goalId}" not found`);
+        const now = new Date().toISOString();
+        const timeHorizonDays = DEFAULT_TIME_HORIZON_DAYS;
+        const log = NegotiationLogSchema.parse({
+            goal_id: goalId,
+            timestamp: now,
+            is_renegotiation: true,
+            renegotiation_trigger: trigger,
+        });
+        // Step 0: Ethics re-check
+        const ethicsVerdict = await this.ethicsGate.check("goal", goalId, existingGoal.description, context);
+        if (ethicsVerdict.verdict === "reject")
+            throw new EthicsRejectedError(ethicsVerdict);
+        const ethicsFlags = ethicsVerdict.verdict === "flag" ? ethicsVerdict.risks : undefined;
+        // Step 2: Re-decompose
+        const goalDesc = `${existingGoal.description}${context ? ` (Renegotiation context: ${context})` : ""}`;
+        const { dimensions } = await runDecompositionStep(goalDesc, existingGoal.constraints, this.observationEngine, this.llmClient);
+        log.step2_decomposition = { dimensions, method: "llm" };
+        // Step 3: Baseline from existing state
+        const baselineObservations = buildRenegotiationBaseline(dimensions, existingGoal.dimensions);
+        log.step3_baseline = { observations: baselineObservations };
+        // Step 4: Feasibility re-evaluation (quantitative when change rate available)
+        const feasibilityResults = [];
+        for (const dim of dimensions) {
+            const baseline = baselineObservations.find((o) => o.dimension === dim.name);
+            const baselineValue = baseline?.value ?? null;
+            const existingDim = existingGoal.dimensions.find((d) => d.name === dim.name);
+            const changeRate = existingDim ? estimateChangeRate(existingDim) : null;
+            if (typeof baselineValue === "number" &&
+                typeof dim.threshold_value === "number" &&
+                changeRate !== null &&
+                changeRate > 0) {
+                const necessaryChangeRate = Math.abs(dim.threshold_value - baselineValue) / timeHorizonDays;
+                const feasibilityRatio = necessaryChangeRate / changeRate;
+                let assessment;
+                if (feasibilityRatio <= FEASIBILITY_RATIO_THRESHOLD_REALISTIC) {
+                    assessment = "realistic";
+                }
+                else if (feasibilityRatio <= getFeasibilityThreshold(this.characterConfig)) {
+                    assessment = "ambitious";
+                }
+                else {
+                    assessment = "infeasible";
+                }
+                feasibilityResults.push(FeasibilityResultSchema.parse({
+                    dimension: dim.name,
+                    path: "quantitative",
+                    feasibility_ratio: feasibilityRatio,
+                    assessment,
+                    confidence: assessment === "realistic" ? "high" : assessment === "ambitious" ? "medium" : "low",
+                    reasoning: `Feasibility ratio: ${feasibilityRatio.toFixed(2)}`,
+                    key_assumptions: [`Change rate: ${changeRate.toFixed(4)}/day`],
+                    main_risks: assessment === "infeasible" ? ["Target may be unreachable in time horizon"] : [],
+                }));
+            }
+            else {
+                const result = await evaluateQualitatively(this.llmClient, dim.name, existingGoal.description, baselineValue, dim.threshold_value, timeHorizonDays);
+                feasibilityResults.push(result);
+            }
+        }
+        log.step4_evaluation = {
+            path: feasibilityResults.some((r) => r.path === "quantitative") ? "hybrid" : "qualitative",
+            dimensions: feasibilityResults,
+        };
+        // Step 4b: Capability Check
+        if (this.adapterCapabilities && this.adapterCapabilities.length > 0) {
+            await runCapabilityCheckStep(this.llmClient, existingGoal.description, dimensions, this.adapterCapabilities, feasibilityResults, log);
+        }
+        // Step 5: Response
+        const { responseType, counterProposal, initialConfidence } = determineResponseType(feasibilityResults, baselineObservations, timeHorizonDays);
+        const negotiationResponse = await buildNegotiationResponse(this.llmClient, existingGoal.description, responseType, feasibilityResults, counterProposal, ethicsFlags, initialConfidence);
+        log.step5_response = {
+            type: responseType,
+            accepted: negotiationResponse.accepted,
+            initial_confidence: initialConfidence,
+            user_acknowledged: false,
+            counter_proposal: counterProposal
+                ? { realistic_target: counterProposal.realistic_target, reasoning: counterProposal.reasoning, alternatives: counterProposal.alternatives }
+                : null,
+        };
+        // Update & persist Goal
+        const updatedGoal = GoalSchema.parse({
+            ...existingGoal,
+            dimensions: dimensions.map(decompositionToDimension),
+            confidence_flag: initialConfidence === "low" ? "low" : initialConfidence === "medium" ? "medium" : "high",
+            feasibility_note: responseType === "counter_propose"
+                ? `Renegotiation counter-proposal: target=${counterProposal?.realistic_target}`
+                : null,
+            updated_at: now,
+        });
+        await this.stateManager.saveGoal(updatedGoal);
+        await this.saveNegotiationLog(goalId, log);
+        return { goal: updatedGoal, response: negotiationResponse, log };
+    }
+    // ─── decomposeIntoSubgoals() ───
+    async decomposeIntoSubgoals(goalId, config) {
+        return decomposeIntoSubgoalsImpl(goalId, {
+            stateManager: this.stateManager,
+            llmClient: this.llmClient,
+            ethicsGate: this.ethicsGate,
+            satisficingJudge: this.satisficingJudge,
+            goalTreeManager: this.goalTreeManager,
+        }, config);
+    }
+    // ─── suggestGoals() ───
+    async suggestGoals(context, options) {
+        return suggestGoalsImpl(context, this.llmClient, this.ethicsGate, this.adapterCapabilities, options);
+    }
+    // ─── getNegotiationLog() ───
+    async getNegotiationLog(goalId) {
+        const raw = await this.stateManager.readRaw(`goals/${goalId}/negotiation-log.json`);
+        if (raw === null)
+            return null;
+        return NegotiationLogSchema.parse(raw);
+    }
+    // ─── Private helpers ───
+    // kept for tests that access these via `as unknown as` casting
+    determineResponseType(feasibilityResults, baselineObservations, timeHorizonDays) {
+        return determineResponseType(feasibilityResults, baselineObservations, timeHorizonDays);
+    }
+    estimateChangeRate(dimension) {
+        return estimateChangeRate(dimension);
+    }
+    async evaluateQualitatively(dimensionName, goalDescription, baselineValue, thresholdValue, timeHorizonDays) {
+        return evaluateQualitatively(this.llmClient, dimensionName, goalDescription, baselineValue, thresholdValue, timeHorizonDays);
+    }
+    async saveNegotiationLog(goalId, log) {
+        const parsed = NegotiationLogSchema.parse(log);
+        await this.stateManager.writeRaw(`goals/${goalId}/negotiation-log.json`, parsed);
+    }
+    /**
+     * Calculate counter-proposal target given baseline, change rate, and time horizon.
+     */
+    static calculateRealisticTarget(baseline, changeRate, timeHorizonDays) {
+        return baseline + changeRate * timeHorizonDays * REALISTIC_TARGET_ACCELERATION_FACTOR;
+    }
+}
+//# sourceMappingURL=goal-negotiator.js.map

package/dist/goal/goal-negotiator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal-negotiator.js","sourceRoot":"","sources":["../../src/goal/goal-negotiator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAKzC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EACL,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,yBAAyB,CAAC;AAOjC,OAAO,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAQjE,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAChE,OAAO,EACL,SAAS,IAAI,aAAa,EAC1B,qBAAqB,IAAI,yBAAyB,GACnD,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,YAAY,IAAI,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAExF,OAAO,EACL,yBAAyB,EACzB,oCAAoC,EACpC,qCAAqC,EACrC,uBAAuB,EACvB,oBAAoB,EACpB,oBAAoB,EACpB,0BAA0B,EAC1B,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,EACxB,kBAAkB,GACnB,MAAM,uBAAuB,CAAC;AAE/B,yBAAyB;AAEzB,MAAM,OAAO,cAAc;IACR,YAAY,CAAe;IAC3B,SAAS,CAAa;IACtB,UAAU,CAAa;IACvB,iBAAiB,CAAoB;IACrC,eAAe,CAAkB;IACjC,gBAAgB,CAAoB;IACpC,eAAe,CAAmB;IAClC,mBAAmB,CAA0D;IAE9F,YACE,YAA0B,EAC1B,SAAqB,EACrB,UAAsB,EACtB,iBAAoC,EACpC,eAAiC,EACjC,gBAAmC,EACnC,eAAiC,EACjC,mBAA4E;QAE5E,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;QACjC,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,iBAAiB,GAAG,iBAAiB,CAAC;QAC3C,IAAI,CAAC,eAAe,GAAG,eAAe,IAAI,wBAAwB,CAAC;QACnE,IAAI,CAAC,gBAAgB,GAAG,gBAAgB,CAAC;QACzC,IAAI,CAAC,eAAe,GAAG,eAAe,CAAC;QACvC,IAAI,CAAC,mBAAmB,GAAG,mBAAmB,CAAC;IACjD,CAAC;IAED,sBAAsB;IAEtB,KAAK,CAAC,SAAS,CACb,kBAA0B,EAC1B,OAKC;QAED,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,OAAO,EAAE,QAAQ,IAAI,IAAI,CAAC;QAC3C,MAAM,WAAW,GAAG,OAAO,EAAE,WAAW,IAAI,EAAE,CAAC;QAC/C,MAAM,eAAe,GAAG,OAAO,EAAE,eAAe,IAAI,yBAAyB,CAAC;QAC9E,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAErC,MAAM,GAAG,GAAmB,oBAAoB,CAAC,KAAK,CAAC;YACrD,OAAO,EAAE,MAAM;YACf,SAAS,EAAE,GAAG;YACd,gBAAgB,EAAE,KAAK;YACvB,qBAAqB,EAAE,IAAI;SAC5B,CAAC,CAAC;QAEH,sBAAsB;QACtB,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,kBAAkB,CAAC,CAAC;QACtF,IAAI,aAAa,CAAC,OAAO,KAAK,QAAQ;YAAE,MAAM,IAAI,mBAAmB,CAAC,aAAa,CAAC,CAAC;QACrF,MAAM,WAAW,GAAG,aAAa,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QAEvF,kCAAkC;QAClC,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,oBAAoB,CAC/C,kBAAkB,EAClB,WAAW,EACX,IAAI,CAAC,iBAAiB,EACtB,IAAI,CAAC,SAAS,EACd,OAAO,EAAE,gBAAgB,CAC1B,CAAC;QACF,GAAG,CAAC,mBAAmB,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QAExD,2BAA2B;QAC3B,MAAM,oBAAoB,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;QAC9D,GAAG,CAAC,cAAc,GAAG,EAAE,YAAY,EAAE,oBAAoB,EAAE,CAAC;QAE5D,iCAAiC;QACjC,MAAM,kBAAkB,GAAwB,EAAE,CAAC;QACnD,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;YAC5E,MAAM,MAAM,GAAG,MAAM,qBAAqB,CACxC,IAAI,CAAC,SAAS,EACd,GAAG,CAAC,IAAI,EACR,kBAAkB,EAClB,QAAQ,EAAE,KAAK,IAAI,IAAI,EACvB,GAAG,CAAC,eAAe,EACnB,eAAe,CAChB,CAAC;YACF,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,CAAC;QACD,GAAG,CAAC,gBAAgB,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,kBAAkB,EAAE,CAAC;QAE/E,4BAA4B;QAC5B,IAAI,IAAI,CAAC,mBAAmB,IAAI,IAAI,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpE,MAAM,sBAAsB,CAC1B,IAAI,CAAC,SAAS,EACd,kBAAkB,EAClB,UAAU,EACV,IAAI,CAAC,mBAAmB,EACxB,kBAAkB,EAClB,GAAG,CACJ,CAAC;QACJ,CAAC;QAED,mBAAmB;QACnB,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,iBAAiB,EAAE,GAAG,qBAAqB,CAChF,kBAAkB,EAClB,oBAAoB,EACpB,eAAe,CAChB,CAAC;QACF,MAAM,mBAAmB,GAAG,MAAM,wBAAwB,CACxD,IAAI,CAAC,SAAS,EACd,kBAAkB,EAClB,YAAY,EACZ,kBAAkB,EAClB,eAAe,EACf,WAAW,EACX,iBAAiB,CAClB,CAAC;QAEF,GAAG,CAAC,cAAc,GAAG;YACnB,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,mBAAmB,CAAC,QAAQ;YACtC,kBAAkB,EAAE,iBAAiB;YACrC,iBAAiB,EAAE,KAAK;YACxB,gBAAgB,EAAE,eAAe;gBAC/B,CAAC,CAAC,EAAE,gBAAgB,EAAE,eAAe,CAAC,gBAAgB,EAAE,SAAS,EAAE,eAAe,CAAC,SAAS,EAAE,YAAY,EAAE,eAAe,CAAC,YAAY,EAAE;gBAC1I,CAAC,CAAC,IAAI;SACT,CAAC;QAEF,uBAAuB;QACvB,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC;YAC5B,EAAE,EAAE,MAAM;YACV,SAAS,EAAE,IAAI;YACf,SAAS,EAAE,MAAM;YACjB,KAAK,EAAE,kBAAkB;YACzB,WAAW,EAAE,kBAAkB;YAC/B,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,wBAAwB,CAAC;YACpD,eAAe,EAAE,KAAK;YACtB,iBAAiB,EAAE,IAAI;YACvB,WAAW;YACX,YAAY,EAAE,EAAE;YAChB,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,aAAa;YACrB,aAAa,EAAE,IAAI;YACnB,QAAQ;YACR,eAAe,EAAE,iBAAiB,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM;YACzG,aAAa,EAAE,KAAK;YACpB,gBAAgB,EACd,YAAY,KAAK,iBAAiB;gBAChC,CAAC,CAAC,4BAA4B,eAAe,EAAE,gBAAgB,EAAE;gBACjE,CAAC,CAAC,IAAI;YACV,kBAAkB,EAAE,GAAG;YACvB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;SAChB,CAAC,CAAC;QAEH,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAE3C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,mBAAmB,EAAE,GAAG,EAAE,CAAC;IACtD,CAAC;IAED,sBAAsB;IAEtB,KAAK,CAAC,SAAS,CACb,MAAc,EACd,UAAgB;QAKhB,OAAO,aAAa,CAAC,MAAM,EAAE,UAAU,EAAE;YACvC,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,eAAe,EAAE,IAAI,CAAC,eAAe;SACtC,CAAC,CAAC;IACL,CAAC;IAED,wBAAwB;IAExB,KAAK,CAAC,WAAW,CACf,MAAc,EACd,OAA8C,EAC9C,OAAgB;QAEhB,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC9D,IAAI,YAAY,KAAK,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,MAAM,aAAa,CAAC,CAAC;QAEtF,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,eAAe,GAAG,yBAAyB,CAAC;QAElD,MAAM,GAAG,GAAmB,oBAAoB,CAAC,KAAK,CAAC;YACrD,OAAO,EAAE,MAAM;YACf,SAAS,EAAE,GAAG;YACd,gBAAgB,EAAE,IAAI;YACtB,qBAAqB,EAAE,OAAO;SAC/B,CAAC,CAAC;QAEH,0BAA0B;QAC1B,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACrG,IAAI,aAAa,CAAC,OAAO,KAAK,QAAQ;YAAE,MAAM,IAAI,mBAAmB,CAAC,aAAa,CAAC,CAAC;QACrF,MAAM,WAAW,GAAG,aAAa,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QAEvF,uBAAuB;QACvB,MAAM,QAAQ,GAAG,GAAG,YAAY,CAAC,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,4BAA4B,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACvG,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,oBAAoB,CAC/C,QAAQ,EACR,YAAY,CAAC,WAAW,EACxB,IAAI,CAAC,iBAAiB,EACtB,IAAI,CAAC,SAAS,CACf,CAAC;QACF,GAAG,CAAC,mBAAmB,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QAExD,uCAAuC;QACvC,MAAM,oBAAoB,GAAG,0BAA0B,CAAC,UAAU,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC;QAC7F,GAAG,CAAC,cAAc,GAAG,EAAE,YAAY,EAAE,oBAAoB,EAAE,CAAC;QAE5D,8EAA8E;QAC9E,MAAM,kBAAkB,GAAwB,EAAE,CAAC;QACnD,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;YAC5E,MAAM,aAAa,GAAG,QAAQ,EAAE,KAAK,IAAI,IAAI,CAAC;YAC9C,MAAM,WAAW,GAAG,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7E,MAAM,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,kBAAkB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAExE,IACE,OAAO,aAAa,KAAK,QAAQ;gBACjC,OAAO,GAAG,CAAC,eAAe,KAAK,QAAQ;gBACvC,UAAU,KAAK,IAAI;gBACnB,UAAU,GAAG,CAAC,EACd,CAAC;gBACD,MAAM,mBAAmB,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,eAAe,GAAG,aAAa,CAAC,GAAG,eAAe,CAAC;gBAC5F,MAAM,gBAAgB,GAAG,mBAAmB,GAAG,UAAU,CAAC;gBAE1D,IAAI,UAAoD,CAAC;gBACzD,IAAI,gBAAgB,IAAI,qCAAqC,EAAE,CAAC;oBAC9D,UAAU,GAAG,WAAW,CAAC;gBAC3B,CAAC;qBAAM,IAAI,gBAAgB,IAAI,uBAAuB,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;oBAC7E,UAAU,GAAG,WAAW,CAAC;gBAC3B,CAAC;qBAAM,CAAC;oBACN,UAAU,GAAG,YAAY,CAAC;gBAC5B,CAAC;gBAED,kBAAkB,CAAC,IAAI,CACrB,uBAAuB,CAAC,KAAK,CAAC;oBAC5B,SAAS,EAAE,GAAG,CAAC,IAAI;oBACnB,IAAI,EAAE,cAAc;oBACpB,iBAAiB,EAAE,gBAAgB;oBACnC,UAAU;oBACV,UAAU,EAAE,UAAU,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK;oBAC/F,SAAS,EAAE,sBAAsB,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;oBAC9D,eAAe,EAAE,CAAC,gBAAgB,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;oBAC9D,UAAU,EAAE,UAAU,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,2CAA2C,CAAC,CAAC,CAAC,CAAC,EAAE;iBAC7F,CAAC,CACH,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GAAG,MAAM,qBAAqB,CACxC,IAAI,CAAC,SAAS,EACd,GAAG,CAAC,IAAI,EACR,YAAY,CAAC,WAAW,EACxB,aAAa,EACb,GAAG,CAAC,eAAe,EACnB,eAAe,CAChB,CAAC;gBACF,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;QAED,GAAG,CAAC,gBAAgB,GAAG;YACrB,IAAI,EAAE,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa;YAC1F,UAAU,EAAE,kBAAkB;SAC/B,CAAC;QAEF,4BAA4B;QAC5B,IAAI,IAAI,CAAC,mBAAmB,IAAI,IAAI,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpE,MAAM,sBAAsB,CAC1B,IAAI,CAAC,SAAS,EACd,YAAY,CAAC,WAAW,EACxB,UAAU,EACV,IAAI,CAAC,mBAAmB,EACxB,kBAAkB,EAClB,GAAG,CACJ,CAAC;QACJ,CAAC;QAED,mBAAmB;QACnB,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,iBAAiB,EAAE,GAAG,qBAAqB,CAChF,kBAAkB,EAClB,oBAAoB,EACpB,eAAe,CAChB,CAAC;QACF,MAAM,mBAAmB,GAAG,MAAM,wBAAwB,CACxD,IAAI,CAAC,SAAS,EACd,YAAY,CAAC,WAAW,EACxB,YAAY,EACZ,kBAAkB,EAClB,eAAe,EACf,WAAW,EACX,iBAAiB,CAClB,CAAC;QAEF,GAAG,CAAC,cAAc,GAAG;YACnB,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,mBAAmB,CAAC,QAAQ;YACtC,kBAAkB,EAAE,iBAAiB;YACrC,iBAAiB,EAAE,KAAK;YACxB,gBAAgB,EAAE,eAAe;gBAC/B,CAAC,CAAC,EAAE,gBAAgB,EAAE,eAAe,CAAC,gBAAgB,EAAE,SAAS,EAAE,eAAe,CAAC,SAAS,EAAE,YAAY,EAAE,eAAe,CAAC,YAAY,EAAE;gBAC1I,CAAC,CAAC,IAAI;SACT,CAAC;QAEF,wBAAwB;QACxB,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC;YACnC,GAAG,YAAY;YACf,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,wBAAwB,CAAC;YACpD,eAAe,EAAE,iBAAiB,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM;YACzG,gBAAgB,EACd,YAAY,KAAK,iBAAiB;gBAChC,CAAC,CAAC,0CAA0C,eAAe,EAAE,gBAAgB,EAAE;gBAC/E,CAAC,CAAC,IAAI;YACV,UAAU,EAAE,GAAG;SAChB,CAAC,CAAC;QAEH,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QAC9C,MAAM,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAE3C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,mBAAmB,EAAE,GAAG,EAAE,CAAC;IACnE,CAAC;IAED,kCAAkC;IAElC,KAAK,CAAC,qBAAqB,CACzB,MAAc,EACd,MAAgC;QAEhC,OAAO,yBAAyB,CAC9B,MAAM,EACN;YACE,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,eAAe,EAAE,IAAI,CAAC,eAAe;SACtC,EACD,MAAM,CACP,CAAC;IACJ,CAAC;IAED,yBAAyB;IAEzB,KAAK,CAAC,YAAY,CAChB,OAAe,EACf,OAKC;QAED,OAAO,gBAAgB,CACrB,OAAO,EACP,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,mBAAmB,EACxB,OAAO,CACR,CAAC;IACJ,CAAC;IAED,8BAA8B;IAE9B,KAAK,CAAC,iBAAiB,CAAC,MAAc;QACpC,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,SAAS,MAAM,uBAAuB,CAAC,CAAC;QACpF,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC9B,OAAO,oBAAoB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC;IAED,0BAA0B;IAE1B,+DAA+D;IAEvD,qBAAqB,CAC3B,kBAAuC,EACvC,oBAA+H,EAC/H,eAAuB;QAEvB,OAAO,qBAAqB,CAAC,kBAAkB,EAAE,oBAAoB,EAAE,eAAe,CAAC,CAAC;IAC1F,CAAC;IAEO,kBAAkB,CAAC,SAA+C;QACxE,OAAO,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACvC,CAAC;IAEO,KAAK,CAAC,qBAAqB,CACjC,aAAqB,EACrB,eAAuB,EACvB,aAA+C,EAC/C,cAAsE,EACtE,eAAuB;QAEvB,OAAO,qBAAqB,CAC1B,IAAI,CAAC,SAAS,EACd,aAAa,EACb,eAAe,EACf,aAAa,EACb,cAAc,EACd,eAAe,CAChB,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,kBAAkB,CAAC,MAAc,EAAE,GAAmB;QAClE,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/C,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,MAAM,uBAAuB,EAAE,MAAM,CAAC,CAAC;IACnF,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,wBAAwB,CAC7B,QAAgB,EAChB,UAAkB,EAClB,eAAuB;QAEvB,OAAO,QAAQ,GAAG,UAAU,GAAG,eAAe,GAAG,oCAAoC,CAAC;IACxF,CAAC;CACF"}

package/dist/goal/goal-suggest.d.ts

@@ -0,0 +1,85 @@
+/**
+ * goal-suggest.ts — Goal suggestion, filtering, and project context gathering.
+ * Extracted from GoalNegotiator to keep the core class focused on negotiation.
+ */
+import { z } from "zod";
+import type { Logger } from "../runtime/logger.js";
+import type { ILLMClient } from "../llm/llm-client.js";
+import type { EthicsGate } from "../traits/ethics-gate.js";
+import type { CapabilityDetector } from "../observation/capability-detector.js";
+import type { IPromptGateway } from "../prompt/gateway.js";
+import type { DimensionDecomposition } from "../types/negotiation.js";
+declare const GoalSuggestionSchema: z.ZodObject<{
+    title: z.ZodString;
+    description: z.ZodString;
+    rationale: z.ZodString;
+    dimensions_hint: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    title: string;
+    description: string;
+    rationale: string;
+    dimensions_hint: string[];
+}, {
+    title: string;
+    description: string;
+    rationale: string;
+    dimensions_hint: string[];
+}>;
+export type GoalSuggestion = z.infer<typeof GoalSuggestionSchema>;
+export declare const CapabilityCheckResultSchema: z.ZodObject<{
+    gaps: z.ZodArray<z.ZodObject<{
+        dimension: z.ZodString;
+        required_capability: z.ZodString;
+        acquirable: z.ZodBoolean;
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        dimension: string;
+        reason: string;
+        required_capability: string;
+        acquirable: boolean;
+    }, {
+        dimension: string;
+        reason: string;
+        required_capability: string;
+        acquirable: boolean;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    gaps: {
+        dimension: string;
+        reason: string;
+        required_capability: string;
+        acquirable: boolean;
+    }[];
+}, {
+    gaps: {
+        dimension: string;
+        reason: string;
+        required_capability: string;
+        acquirable: boolean;
+    }[];
+}>;
+export declare function buildSuggestGoalsPrompt(context: string, maxSuggestions: number, existingGoals: string[]): string;
+export declare function buildCapabilityCheckPrompt(goalDescription: string, dimensions: DimensionDecomposition[], adapterCapabilities: Array<{
+    adapterType: string;
+    capabilities: string[];
+}>): string;
+/**
+ * Suggest measurable improvement goals based on the given context.
+ * Does NOT save goals — it only suggests. Use GoalNegotiator.negotiate() to register a suggestion.
+ */
+export declare function suggestGoals(context: string, llmClient: ILLMClient, ethicsGate: EthicsGate, adapterCapabilities: Array<{
+    adapterType: string;
+    capabilities: string[];
+}> | undefined, options?: {
+    maxSuggestions?: number;
+    existingGoals?: string[];
+    capabilityDetector?: CapabilityDetector;
+    logger?: Logger;
+    gateway?: IPromptGateway;
+}): Promise<GoalSuggestion[]>;
+export declare function filterSuggestions(suggestions: GoalSuggestion[], existingGoals: string[], adapterCapabilities: Array<{
+    adapterType: string;
+    capabilities: string[];
+}> | undefined, capabilityDetector?: CapabilityDetector, logger?: Logger): Promise<GoalSuggestion[]>;
+export {};
+//# sourceMappingURL=goal-suggest.d.ts.map

package/dist/goal/goal-suggest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal-suggest.d.ts","sourceRoot":"","sources":["../../src/goal/goal-suggest.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uCAAuC,CAAC;AAChF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AAItE,QAAA,MAAM,oBAAoB;;;;;;;;;;;;;;;EAKxB,CAAC;AAIH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAIlE,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOtC,CAAC;AAIH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,MAAM,EACf,cAAc,EAAE,MAAM,EACtB,aAAa,EAAE,MAAM,EAAE,GACtB,MAAM,CA4BR;AAED,wBAAgB,0BAA0B,CACxC,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,sBAAsB,EAAE,EACpC,mBAAmB,EAAE,KAAK,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,GAC1E,MAAM,CAoCR;AAID;;;GAGG;AACH,wBAAsB,YAAY,CAChC,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,UAAU,EACrB,UAAU,EAAE,UAAU,EACtB,mBAAmB,EAAE,KAAK,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,GAAG,SAAS,EACvF,OAAO,CAAC,EAAE;IACR,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACxC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,cAAc,CAAC;CAC1B,GACA,OAAO,CAAC,cAAc,EAAE,CAAC,CAmE3B;AAID,wBAAsB,iBAAiB,CACrC,WAAW,EAAE,cAAc,EAAE,EAC7B,aAAa,EAAE,MAAM,EAAE,EACvB,mBAAmB,EAAE,KAAK,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,GAAG,SAAS,EACvF,kBAAkB,CAAC,EAAE,kBAAkB,EACvC,MAAM,CAAC,EAAE,MAAM,GACd,OAAO,CAAC,cAAc,EAAE,CAAC,CAoC3B"}

package/dist/goal/goal-suggest.js

@@ -0,0 +1,178 @@
+/**
+ * goal-suggest.ts — Goal suggestion, filtering, and project context gathering.
+ * Extracted from GoalNegotiator to keep the core class focused on negotiation.
+ */
+import { randomUUID } from "node:crypto";
+import { z } from "zod";
+// ─── Goal Suggestion schemas ───
+const GoalSuggestionSchema = z.object({
+    title: z.string(),
+    description: z.string(),
+    rationale: z.string(),
+    dimensions_hint: z.array(z.string()),
+});
+const GoalSuggestionListSchema = z.array(GoalSuggestionSchema);
+// ─── Capability check schema for LLM parsing ───
+export const CapabilityCheckResultSchema = z.object({
+    gaps: z.array(z.object({
+        dimension: z.string(),
+        required_capability: z.string(),
+        acquirable: z.boolean(),
+        reason: z.string(),
+    })),
+});
+// ─── Prompts ───
+export function buildSuggestGoalsPrompt(context, maxSuggestions, existingGoals) {
+    const existingGoalsSection = existingGoals.length > 0
+        ? `\nExisting goals (do NOT suggest duplicates):\n${existingGoals.map((g) => `- ${g}`).join("\n")}`
+        : "";
+    return `You are a goal advisor for a software project. Given the project context below, suggest concrete, measurable improvement goals.
+
+Each goal should:
+1. Be specific and achievable (not vague like "improve code quality")
+2. Have clear success criteria that can be measured
+3. Include 2-4 dimension hints (what to measure)
+4. Be independent of other suggestions
+
+Context:
+${context}${existingGoalsSection}
+
+Return a JSON array of up to ${maxSuggestions} suggestions:
+[
+  {
+    "title": "Short descriptive title",
+    "description": "Detailed description suitable for goal negotiation",
+    "rationale": "Why this goal matters",
+    "dimensions_hint": ["dimension_name_1", "dimension_name_2"]
+  }
+]
+
+Return ONLY a JSON array, no other text.`;
+}
+export function buildCapabilityCheckPrompt(goalDescription, dimensions, adapterCapabilities) {
+    const dimensionsList = dimensions
+        .map((d) => `- ${d.name}: ${d.label} (threshold_type: ${d.threshold_type}, observation_hint: ${d.observation_method_hint})`)
+        .join("\n");
+    const capabilitiesList = adapterCapabilities
+        .map((ac) => `- ${ac.adapterType}: ${ac.capabilities.join(", ")}`)
+        .join("\n");
+    return `You are assessing whether an agent can achieve each dimension of a goal given its available capabilities.
+
+Goal: ${goalDescription}
+
+Dimensions to achieve:
+${dimensionsList}
+
+Available adapter capabilities:
+${capabilitiesList}
+
+For each dimension that requires a capability NOT available in the listed adapters, report it as a gap.
+Also indicate whether the missing capability is acquirable (i.e., can the agent learn or install it during execution).
+
+Return a JSON object:
+{
+  "gaps": [
+    {
+      "dimension": "dimension_name",
+      "required_capability": "capability_name",
+      "acquirable": false,
+      "reason": "brief explanation why this capability is missing and whether it can be acquired"
+    }
+  ]
+}
+
+If all dimensions can be achieved with the available capabilities, return { "gaps": [] }.
+Return ONLY a JSON object, no other text.`;
+}
+// ─── suggestGoals (standalone) ───
+/**
+ * Suggest measurable improvement goals based on the given context.
+ * Does NOT save goals — it only suggests. Use GoalNegotiator.negotiate() to register a suggestion.
+ */
+export async function suggestGoals(context, llmClient, ethicsGate, adapterCapabilities, options) {
+    const maxSuggestions = options?.maxSuggestions ?? 5;
+    const existingGoals = options?.existingGoals ?? [];
+    if (!context || context.trim().length === 0) {
+        return [];
+    }
+    const prompt = buildSuggestGoalsPrompt(context, maxSuggestions, existingGoals);
+    let suggestions;
+    if (options?.gateway) {
+        try {
+            suggestions = await options.gateway.execute({
+                purpose: "goal_suggestion",
+                additionalContext: { prompt },
+                responseSchema: GoalSuggestionListSchema,
+                temperature: 0.3,
+            });
+        }
+        catch {
+            return [];
+        }
+    }
+    else {
+        let rawContent;
+        try {
+            const response = await llmClient.sendMessage([{ role: "user", content: prompt }], { temperature: 0.3 });
+            rawContent = response.content;
+        }
+        catch {
+            return [];
+        }
+        try {
+            suggestions = llmClient.parseJSON(rawContent, GoalSuggestionListSchema);
+        }
+        catch {
+            return [];
+        }
+    }
+    // Apply ethics filtering — remove rejected suggestions
+    const ethicsFiltered = [];
+    for (const suggestion of suggestions) {
+        try {
+            const verdict = await ethicsGate.check("goal", randomUUID(), suggestion.description);
+            if (verdict.verdict === "reject") {
+                continue;
+            }
+            ethicsFiltered.push(suggestion);
+        }
+        catch {
+            // Non-critical: if ethics check fails, include the suggestion
+            ethicsFiltered.push(suggestion);
+        }
+    }
+    return filterSuggestions(ethicsFiltered, options?.existingGoals || [], adapterCapabilities, options?.capabilityDetector, options?.logger);
+}
+// ─── filterSuggestions (standalone) ───
+export async function filterSuggestions(suggestions, existingGoals, adapterCapabilities, capabilityDetector, logger) {
+    const filtered = [];
+    for (const suggestion of suggestions) {
+        // 1. Dedup: skip if similar to existing goal (case-insensitive substring match)
+        const isDuplicate = existingGoals.some(existing => {
+            const existingLower = existing.toLowerCase();
+            const titleLower = suggestion.title.toLowerCase();
+            return existingLower.includes(titleLower) || titleLower.includes(existingLower);
+        });
+        if (isDuplicate) {
+            logger?.info(`[GoalNegotiator] Filtered duplicate suggestion: "${suggestion.title}"`);
+            continue;
+        }
+        // 2. Feasibility check via CapabilityDetector (if available)
+        if (capabilityDetector) {
+            try {
+                const gap = await capabilityDetector.detectGoalCapabilityGap(suggestion.description, adapterCapabilities?.map(a => a.capabilities).flat() || []);
+                if (gap && !gap.acquirable) {
+                    logger?.info(`[GoalNegotiator] Filtered infeasible suggestion: "${suggestion.title}" — ${gap.gap.reason}`);
+                    continue;
+                }
+            }
+            catch (err) {
+                // Non-blocking: if capability check fails, keep the suggestion
+                logger?.warn(`[GoalNegotiator] Capability check failed for "${suggestion.title}": ${err}`);
+            }
+        }
+        filtered.push(suggestion);
+    }
+    return filtered;
+}
+//# sourceMappingURL=goal-suggest.js.map

package/dist/goal/goal-suggest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal-suggest.js","sourceRoot":"","sources":["../../src/goal/goal-suggest.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAQxB,kCAAkC;AAElC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CACrC,CAAC,CAAC;AAEH,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;AAI/D,kDAAkD;AAElD,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QACrB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;QACrB,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE;QAC/B,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE;QACvB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;KACnB,CAAC,CAAC;CACJ,CAAC,CAAC;AAEH,kBAAkB;AAElB,MAAM,UAAU,uBAAuB,CACrC,OAAe,EACf,cAAsB,EACtB,aAAuB;IAEvB,MAAM,oBAAoB,GACxB,aAAa,CAAC,MAAM,GAAG,CAAC;QACtB,CAAC,CAAC,kDAAkD,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACnG,CAAC,CAAC,EAAE,CAAC;IAET,OAAO;;;;;;;;;EASP,OAAO,GAAG,oBAAoB;;+BAED,cAAc;;;;;;;;;;yCAUJ,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,eAAuB,EACvB,UAAoC,EACpC,mBAA2E;IAE3E,MAAM,cAAc,GAAG,UAAU;SAC9B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,qBAAqB,CAAC,CAAC,cAAc,uBAAuB,CAAC,CAAC,uBAAuB,GAAG,CAAC;SAC3H,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,MAAM,gBAAgB,GAAG,mBAAmB;SACzC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,WAAW,KAAK,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;SACjE,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,OAAO;;QAED,eAAe;;;EAGrB,cAAc;;;EAGd,gBAAgB;;;;;;;;;;;;;;;;;;0CAkBwB,CAAC;AAC3C,CAAC;AAED,oCAAoC;AAEpC;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,OAAe,EACf,SAAqB,EACrB,UAAsB,EACtB,mBAAuF,EACvF,OAMC;IAED,MAAM,cAAc,GAAG,OAAO,EAAE,cAAc,IAAI,CAAC,CAAC;IACpD,MAAM,aAAa,GAAG,OAAO,EAAE,aAAa,IAAI,EAAE,CAAC;IAEnD,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,MAAM,GAAG,uBAAuB,CAAC,OAAO,EAAE,cAAc,EAAE,aAAa,CAAC,CAAC;IAE/E,IAAI,WAA6B,CAAC;IAClC,IAAI,OAAO,EAAE,OAAO,EAAE,CAAC;QACrB,IAAI,CAAC;YACH,WAAW,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC;gBAC1C,OAAO,EAAE,iBAAiB;gBAC1B,iBAAiB,EAAE,EAAE,MAAM,EAAE;gBAC7B,cAAc,EAAE,wBAAwB;gBACxC,WAAW,EAAE,GAAG;aACjB,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;SAAM,CAAC;QACN,IAAI,UAAkB,CAAC;QACvB,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,WAAW,CAC1C,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EACnC,EAAE,WAAW,EAAE,GAAG,EAAE,CACrB,CAAC;YACF,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC;QAChC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,IAAI,CAAC;YACH,WAAW,GAAG,SAAS,CAAC,SAAS,CAAC,UAAU,EAAE,wBAAwB,CAAC,CAAC;QAC1E,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IAED,uDAAuD;IACvD,MAAM,cAAc,GAAqB,EAAE,CAAC;IAC5C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,KAAK,CACpC,MAAM,EACN,UAAU,EAAE,EACZ,UAAU,CAAC,WAAW,CACvB,CAAC;YACF,IAAI,OAAO,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;gBACjC,SAAS;YACX,CAAC;YACD,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAClC,CAAC;QAAC,MAAM,CAAC;YACP,8DAA8D;YAC9D,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,OAAO,iBAAiB,CACtB,cAAc,EACd,OAAO,EAAE,aAAa,IAAI,EAAE,EAC5B,mBAAmB,EACnB,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,MAAM,CAChB,CAAC;AACJ,CAAC;AAED,yCAAyC;AAEzC,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,WAA6B,EAC7B,aAAuB,EACvB,mBAAuF,EACvF,kBAAuC,EACvC,MAAe;IAEf,MAAM,QAAQ,GAAqB,EAAE,CAAC;IAEtC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,gFAAgF;QAChF,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE;YAChD,MAAM,aAAa,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;YAC7C,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;YAClD,OAAO,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;QAClF,CAAC,CAAC,CAAC;QACH,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,EAAE,IAAI,CAAC,oDAAoD,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC;YACtF,SAAS;QACX,CAAC;QAED,6DAA6D;QAC7D,IAAI,kBAAkB,EAAE,CAAC;YACvB,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,MAAM,kBAAkB,CAAC,uBAAuB,CAC1D,UAAU,CAAC,WAAW,EACtB,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAC3D,CAAC;gBACF,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;oBAC3B,MAAM,EAAE,IAAI,CAAC,qDAAqD,UAAU,CAAC,KAAK,OAAO,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;oBAC3G,SAAS;gBACX,CAAC;YACH,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,+DAA+D;gBAC/D,MAAM,EAAE,IAAI,CAAC,iDAAiD,UAAU,CAAC,KAAK,MAAM,GAAG,EAAE,CAAC,CAAC;YAC7F,CAAC;QACH,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5B,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/goal/goal-tree-manager.d.ts

@@ -0,0 +1,71 @@
+import type { Logger } from "../runtime/logger.js";
+import type { StateManager } from "../state-manager.js";
+import type { ILLMClient } from "../llm/llm-client.js";
+import type { IPromptGateway } from "../prompt/gateway.js";
+import type { EthicsGate } from "../traits/ethics-gate.js";
+import type { GoalDependencyGraph } from "./goal-dependency-graph.js";
+import type { GoalNegotiator } from "./goal-negotiator.js";
+import type { GoalDecompositionConfig, DecompositionResult, GoalTreeState } from "../types/goal-tree.js";
+/**
+ * GoalTreeManager handles recursive goal decomposition and tree state queries.
+ *
+ * Responsibilities:
+ *   - Specificity evaluation (LLM)
+ *   - N-layer recursive decomposition
+ *   - Decomposition validation (coverage + cycle check)
+ *   - Tree state queries
+ */
+export interface GoalTreeManagerOptions {
+    concretenesThreshold?: number;
+    maxDepth?: number;
+    logger?: Logger;
+}
+export declare class GoalTreeManager {
+    private readonly stateManager;
+    private readonly llmClient;
+    private readonly ethicsGate;
+    private readonly goalDependencyGraph;
+    private readonly goalNegotiator?;
+    private readonly promptGateway?;
+    private readonly concretenesThreshold;
+    private readonly maxDepth;
+    private readonly logger?;
+    constructor(stateManager: StateManager, llmClient: ILLMClient, ethicsGate: EthicsGate, goalDependencyGraph: GoalDependencyGraph, goalNegotiator?: GoalNegotiator | undefined, options?: GoalTreeManagerOptions, promptGateway?: IPromptGateway | undefined);
+    private scoreConcreteness;
+    /**
+     * Evaluates the specificity of a goal using an LLM.
+     * Returns a score between 0 (very abstract) and 1 (very concrete).
+     * Falls back to 0.5 on parse failures.
+     */
+    private evaluateSpecificity;
+    /**
+     * Recursively decomposes a goal into subgoals until each subgoal either:
+     *   (a) has specificity_score >= config.min_specificity -> leaf node
+     *   (b) has decomposition_depth >= config.max_depth -> forced leaf
+     *   (c) concreteness score >= concretenesThreshold (auto-stop)
+     *   (d) current depth >= maxDepth (depth guard)
+     *
+     * Options override instance-level defaults when provided.
+     * Returns a DecompositionResult for the top-level call.
+     */
+    decomposeGoal(goalId: string, config: GoalDecompositionConfig, options?: {
+        concretenesThreshold?: number;
+        maxDepth?: number;
+    }): Promise<DecompositionResult>;
+    private _decomposeGoalInternal;
+    /**
+     * Validates a decomposition result by checking:
+     *   1. Coverage: subgoals cover all parent dimensions (LLM)
+     *   2. Cycle detection: no circular dependencies introduced
+     *
+     * Returns true only if both checks pass.
+     */
+    private validateDecomposition;
+    /**
+     * Computes the current GoalTreeState for the tree rooted at rootId.
+     * Traverses all descendants recursively.
+     */
+    getTreeState(rootId: string): Promise<GoalTreeState>;
+    private _collectAllDescendantIds;
+}
+//# sourceMappingURL=goal-tree-manager.d.ts.map

package/dist/goal/goal-tree-manager.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal-tree-manager.d.ts","sourceRoot":"","sources":["../../src/goal/goal-tree-manager.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAG3D,OAAO,KAAK,EACV,uBAAuB,EACvB,mBAAmB,EACnB,aAAa,EAEd,MAAM,uBAAuB,CAAC;AA2K/B;;;;;;;;GAQG;AACH,MAAM,WAAW,sBAAsB;IACrC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,qBAAa,eAAe;IAMxB,OAAO,CAAC,QAAQ,CAAC,YAAY;IAC7B,OAAO,CAAC,QAAQ,CAAC,SAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,mBAAmB;IACpC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC;IAEhC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC;IAXjC,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAgB;IACrD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAS;IAClC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAS;gBAGd,YAAY,EAAE,YAAY,EAC1B,SAAS,EAAE,UAAU,EACrB,UAAU,EAAE,UAAU,EACtB,mBAAmB,EAAE,mBAAmB,EACxC,cAAc,CAAC,EAAE,cAAc,YAAA,EAChD,OAAO,CAAC,EAAE,sBAAsB,EACf,aAAa,CAAC,EAAE,cAAc,YAAA;YAUnC,iBAAiB;IAM/B;;;;OAIG;YACW,mBAAmB;IAoCjC;;;;;;;;;OASG;IACG,aAAa,CACjB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,uBAAuB,EAC/B,OAAO,CAAC,EAAE;QAAE,oBAAoB,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,GAC7D,OAAO,CAAC,mBAAmB,CAAC;YAmCjB,sBAAsB;IA4QpC;;;;;;OAMG;YACW,qBAAqB;IAuDnC;;;OAGG;IACG,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC;YAqD5C,wBAAwB;CAUvC"}