conatus 0.1.0

package/dist/types/memory-lifecycle.js

@@ -0,0 +1,159 @@
+import { z } from "zod";
+// Memory tier (hierarchical memory: core/recall/archival)
+export const MemoryTierSchema = z.enum(["core", "recall", "archival"]);
+// Tier budget allocation (fraction of context budget per tier)
+export const TierBudgetSchema = z.object({
+    core: z.number().min(0).max(1),
+    recall: z.number().min(0).max(1),
+    archival: z.number().min(0).max(1),
+});
+// Retention configuration
+export const RetentionConfigSchema = z.object({
+    default_retention_loops: z.number().int().positive().default(100),
+    goal_type_overrides: z.record(z.string(), z.number().int().positive()).default({
+        health_monitoring: 200,
+        business_metrics: 100,
+        long_term_project: 50,
+    }),
+    size_limits: z.object({
+        short_term_per_goal_mb: z.number().positive().default(10),
+        long_term_total_mb: z.number().positive().default(100),
+    }).default({}),
+});
+// Memory data types
+export const MemoryDataTypeSchema = z.enum([
+    "experience_log",
+    "observation",
+    "strategy",
+    "task",
+    "knowledge",
+]);
+// Short-term memory entry
+export const ShortTermEntrySchema = z.object({
+    id: z.string(),
+    goal_id: z.string(),
+    data_type: MemoryDataTypeSchema,
+    loop_number: z.number().int().nonnegative(),
+    timestamp: z.string().datetime(),
+    dimensions: z.array(z.string()).default([]),
+    tags: z.array(z.string()).default([]),
+    data: z.record(z.string(), z.unknown()),
+    embedding_id: z.string().nullable().default(null),
+    memory_tier: MemoryTierSchema.default("recall"),
+});
+// Lesson entry (Long-term)
+export const LessonTypeSchema = z.enum([
+    "strategy_outcome",
+    "success_pattern",
+    "failure_pattern",
+]);
+export const LessonEntrySchema = z.object({
+    lesson_id: z.string(),
+    type: LessonTypeSchema,
+    goal_id: z.string(),
+    context: z.string(),
+    action: z.string().optional(),
+    outcome: z.string().optional(),
+    lesson: z.string(),
+    source_loops: z.array(z.string()).default([]),
+    extracted_at: z.string().datetime(),
+    relevance_tags: z.array(z.string()).default([]),
+    // For failure patterns
+    failure_reason: z.string().optional(),
+    avoidance_hint: z.string().optional(),
+    // For success patterns
+    applicability: z.string().optional(),
+    // Status
+    status: z.enum(["active", "superseded", "archived"]).default("active"),
+    superseded_by: z.string().optional(),
+});
+// Statistical summary (Long-term)
+export const TaskStatisticsSchema = z.object({
+    task_category: z.string(),
+    goal_id: z.string(),
+    stats: z.object({
+        total_count: z.number().int().nonnegative(),
+        success_rate: z.number().min(0).max(1),
+        avg_duration_hours: z.number().nonnegative(),
+        common_failure_reason: z.string().optional(),
+    }),
+    period: z.string(),
+    updated_at: z.string().datetime(),
+});
+export const DimensionStatisticsSchema = z.object({
+    dimension_name: z.string(),
+    goal_id: z.string(),
+    stats: z.object({
+        avg_value: z.number(),
+        std_deviation: z.number().nonnegative(),
+        trend: z.enum(["rising", "falling", "stable"]),
+        anomaly_frequency: z.number().min(0).max(1),
+        observation_count: z.number().int().nonnegative(),
+    }),
+    period: z.string(),
+    updated_at: z.string().datetime(),
+});
+export const StatisticalSummarySchema = z.object({
+    goal_id: z.string(),
+    task_stats: z.array(TaskStatisticsSchema).default([]),
+    dimension_stats: z.array(DimensionStatisticsSchema).default([]),
+    overall: z.object({
+        total_loops: z.number().int().nonnegative(),
+        total_tasks: z.number().int().nonnegative(),
+        overall_success_rate: z.number().min(0).max(1),
+        active_period: z.string(),
+    }),
+    updated_at: z.string().datetime(),
+});
+// Index entries
+export const MemoryIndexEntrySchema = z.object({
+    id: z.string(),
+    goal_id: z.string(),
+    dimensions: z.array(z.string()).default([]),
+    tags: z.array(z.string()).default([]),
+    timestamp: z.string().datetime(),
+    data_file: z.string(),
+    entry_id: z.string(),
+    last_accessed: z.string().datetime(),
+    access_count: z.number().int().nonnegative().default(0),
+    embedding_id: z.string().nullable().default(null),
+    memory_tier: MemoryTierSchema.default("recall"),
+});
+export const MemoryIndexSchema = z.object({
+    version: z.number().int().positive().default(1),
+    last_updated: z.string().datetime(),
+    entries: z.array(MemoryIndexEntrySchema).default([]),
+});
+// Compression result
+export const CompressionResultSchema = z.object({
+    goal_id: z.string(),
+    data_type: MemoryDataTypeSchema,
+    entries_compressed: z.number().int().nonnegative(),
+    lessons_generated: z.number().int().nonnegative(),
+    statistics_updated: z.boolean(),
+    quality_check: z.object({
+        passed: z.boolean(),
+        failure_coverage_ratio: z.number().min(0).max(1),
+        contradictions_found: z.number().int().nonnegative(),
+    }),
+    compressed_at: z.string().datetime(),
+});
+// Phase 2: Relevance scoring for semantic working memory selection
+export const RelevanceScoreSchema = z.object({
+    entry_id: z.string(),
+    goal_id: z.string(),
+    dimensions: z.array(z.string()),
+    semantic_score: z.number().min(0).max(1),
+    recency_score: z.number().min(0).max(1),
+    drive_bonus: z.number().min(0).max(0.3),
+    combined_score: z.number().min(0),
+});
+// Phase 2: Compression policy driven by goal state
+export const CompressionPolicySchema = z.object({
+    goal_id: z.string(),
+    dimension: z.string(),
+    policy: z.enum(["normal", "delayed", "early_compression", "deadline_priority"]),
+    delay_factor: z.number().default(1.0),
+    updated_at: z.string(),
+});
+//# sourceMappingURL=memory-lifecycle.js.map

package/dist/types/memory-lifecycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory-lifecycle.js","sourceRoot":"","sources":["../../src/types/memory-lifecycle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,0DAA0D;AAC1D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;AAGvE,+DAA+D;AAC/D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CACnC,CAAC,CAAC;AAGH,0BAA0B;AAC1B,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,uBAAuB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC;IACjE,mBAAmB,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC;QAC7E,iBAAiB,EAAE,GAAG;QACtB,gBAAgB,EAAE,GAAG;QACrB,iBAAiB,EAAE,EAAE;KACtB,CAAC;IACF,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC;QACpB,sBAAsB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QACzD,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC;KACvD,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;CACf,CAAC,CAAC;AAGH,oBAAoB;AACpB,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,IAAI,CAAC;IACzC,gBAAgB;IAChB,aAAa;IACb,UAAU;IACV,MAAM;IACN,WAAW;CACZ,CAAC,CAAC;AAGH,0BAA0B;AAC1B,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,SAAS,EAAE,oBAAoB;IAC/B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC3C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC3C,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACrC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IACvC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;IACjD,WAAW,EAAE,gBAAgB,CAAC,OAAO,CAAC,QAAQ,CAAC;CAChD,CAAC,CAAC;AAGH,2BAA2B;AAC3B,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,IAAI,CAAC;IACrC,kBAAkB;IAClB,iBAAiB;IACjB,iBAAiB;CAClB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,IAAI,EAAE,gBAAgB;IACtB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC7C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC/C,uBAAuB;IACvB,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACrC,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACrC,uBAAuB;IACvB,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACpC,SAAS;IACT,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtE,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACrC,CAAC,CAAC;AAGH,kCAAkC;AAClC,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;QACd,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;QAC3C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE;QAC5C,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;KAC7C,CAAC;IACF,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAClC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE;IAC1B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;QACd,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;QACrB,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE;QACvC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC9C,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;KAClD,CAAC;IACF,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAClC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACrD,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC/D,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC;QAChB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;QAC3C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;QAC3C,oBAAoB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;KAC1B,CAAC;IACF,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAClC,CAAC,CAAC;AAGH,gBAAgB;AAChB,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC3C,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACrC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACpC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IACvD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;IACjD,WAAW,EAAE,gBAAgB,CAAC,OAAO,CAAC,QAAQ,CAAC;CAChD,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;CACrD,CAAC,CAAC;AAGH,qBAAqB;AACrB,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,SAAS,EAAE,oBAAoB;IAC/B,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAClD,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACjD,kBAAkB,EAAE,CAAC,CAAC,OAAO,EAAE;IAC/B,aAAa,EAAE,CAAC,CAAC,MAAM,CAAC;QACtB,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;QACnB,sBAAsB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,oBAAoB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;KACrD,CAAC;IACF,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACrC,CAAC,CAAC;AAGH,mEAAmE;AACnE,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC/B,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACxC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACvC,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAClC,CAAC,CAAC;AAGH,mDAAmD;AACnD,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;IAC/E,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC;IACrC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;CACvB,CAAC,CAAC"}

package/dist/types/negotiation.d.ts

@@ -0,0 +1,450 @@
+import { z } from "zod";
+export declare const NegotiationStepEnum: z.ZodEnum<["ethics_check", "goal_intake", "dimension_decomposition", "baseline_observation", "feasibility_evaluation", "response_generation"]>;
+export type NegotiationStep = z.infer<typeof NegotiationStepEnum>;
+export declare const FeasibilityPathEnum: z.ZodEnum<["quantitative", "qualitative", "hybrid"]>;
+export type FeasibilityPath = z.infer<typeof FeasibilityPathEnum>;
+export declare const DimensionDecompositionSchema: z.ZodObject<{
+    name: z.ZodString;
+    label: z.ZodString;
+    threshold_type: z.ZodEnum<["min", "max", "range", "present", "match"]>;
+    threshold_value: z.ZodNullable<z.ZodUnion<[z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodArray<z.ZodUnion<[z.ZodNumber, z.ZodString]>, "many">]>>;
+    observation_method_hint: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    name: string;
+    label: string;
+    threshold_value: string | number | boolean | (string | number)[] | null;
+    threshold_type: "match" | "min" | "max" | "range" | "present";
+    observation_method_hint: string;
+}, {
+    name: string;
+    label: string;
+    threshold_value: string | number | boolean | (string | number)[] | null;
+    threshold_type: "match" | "min" | "max" | "range" | "present";
+    observation_method_hint: string;
+}>;
+export type DimensionDecomposition = z.infer<typeof DimensionDecompositionSchema>;
+export declare const FeasibilityResultSchema: z.ZodObject<{
+    dimension: z.ZodString;
+    path: z.ZodEnum<["quantitative", "qualitative", "hybrid"]>;
+    feasibility_ratio: z.ZodNullable<z.ZodNumber>;
+    assessment: z.ZodEnum<["realistic", "ambitious", "infeasible"]>;
+    confidence: z.ZodEnum<["high", "medium", "low"]>;
+    reasoning: z.ZodString;
+    key_assumptions: z.ZodArray<z.ZodString, "many">;
+    main_risks: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    path: "quantitative" | "qualitative" | "hybrid";
+    confidence: "low" | "high" | "medium";
+    dimension: string;
+    reasoning: string;
+    feasibility_ratio: number | null;
+    assessment: "realistic" | "ambitious" | "infeasible";
+    key_assumptions: string[];
+    main_risks: string[];
+}, {
+    path: "quantitative" | "qualitative" | "hybrid";
+    confidence: "low" | "high" | "medium";
+    dimension: string;
+    reasoning: string;
+    feasibility_ratio: number | null;
+    assessment: "realistic" | "ambitious" | "infeasible";
+    key_assumptions: string[];
+    main_risks: string[];
+}>;
+export type FeasibilityResult = z.infer<typeof FeasibilityResultSchema>;
+export declare const CapabilityCheckLogSchema: z.ZodObject<{
+    capabilities_available: z.ZodArray<z.ZodString, "many">;
+    gaps_detected: z.ZodArray<z.ZodObject<{
+        dimension: z.ZodString;
+        required_capability: z.ZodString;
+        acquirable: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        dimension: string;
+        required_capability: string;
+        acquirable: boolean;
+    }, {
+        dimension: string;
+        required_capability: string;
+        acquirable: boolean;
+    }>, "many">;
+    infeasible_dimensions: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    capabilities_available: string[];
+    gaps_detected: {
+        dimension: string;
+        required_capability: string;
+        acquirable: boolean;
+    }[];
+    infeasible_dimensions: string[];
+}, {
+    capabilities_available: string[];
+    gaps_detected: {
+        dimension: string;
+        required_capability: string;
+        acquirable: boolean;
+    }[];
+    infeasible_dimensions: string[];
+}>;
+export type CapabilityCheckLog = z.infer<typeof CapabilityCheckLogSchema>;
+export declare const NegotiationLogSchema: z.ZodObject<{
+    goal_id: z.ZodString;
+    timestamp: z.ZodString;
+    is_renegotiation: z.ZodDefault<z.ZodBoolean>;
+    renegotiation_trigger: z.ZodDefault<z.ZodNullable<z.ZodEnum<["stall", "new_info", "user_request"]>>>;
+    step2_decomposition: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        dimensions: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            label: z.ZodString;
+            threshold_type: z.ZodEnum<["min", "max", "range", "present", "match"]>;
+            threshold_value: z.ZodNullable<z.ZodUnion<[z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodArray<z.ZodUnion<[z.ZodNumber, z.ZodString]>, "many">]>>;
+            observation_method_hint: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            name: string;
+            label: string;
+            threshold_value: string | number | boolean | (string | number)[] | null;
+            threshold_type: "match" | "min" | "max" | "range" | "present";
+            observation_method_hint: string;
+        }, {
+            name: string;
+            label: string;
+            threshold_value: string | number | boolean | (string | number)[] | null;
+            threshold_type: "match" | "min" | "max" | "range" | "present";
+            observation_method_hint: string;
+        }>, "many">;
+        method: z.ZodLiteral<"llm">;
+    }, "strip", z.ZodTypeAny, {
+        dimensions: {
+            name: string;
+            label: string;
+            threshold_value: string | number | boolean | (string | number)[] | null;
+            threshold_type: "match" | "min" | "max" | "range" | "present";
+            observation_method_hint: string;
+        }[];
+        method: "llm";
+    }, {
+        dimensions: {
+            name: string;
+            label: string;
+            threshold_value: string | number | boolean | (string | number)[] | null;
+            threshold_type: "match" | "min" | "max" | "range" | "present";
+            observation_method_hint: string;
+        }[];
+        method: "llm";
+    }>>>;
+    step3_baseline: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        observations: z.ZodArray<z.ZodObject<{
+            dimension: z.ZodString;
+            value: z.ZodUnion<[z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            confidence: z.ZodNumber;
+            method: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            value: string | number | boolean | null;
+            confidence: number;
+            method: string;
+            dimension: string;
+        }, {
+            value: string | number | boolean | null;
+            confidence: number;
+            method: string;
+            dimension: string;
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        observations: {
+            value: string | number | boolean | null;
+            confidence: number;
+            method: string;
+            dimension: string;
+        }[];
+    }, {
+        observations: {
+            value: string | number | boolean | null;
+            confidence: number;
+            method: string;
+            dimension: string;
+        }[];
+    }>>>;
+    step4_evaluation: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        path: z.ZodEnum<["quantitative", "qualitative", "hybrid"]>;
+        dimensions: z.ZodArray<z.ZodObject<{
+            dimension: z.ZodString;
+            path: z.ZodEnum<["quantitative", "qualitative", "hybrid"]>;
+            feasibility_ratio: z.ZodNullable<z.ZodNumber>;
+            assessment: z.ZodEnum<["realistic", "ambitious", "infeasible"]>;
+            confidence: z.ZodEnum<["high", "medium", "low"]>;
+            reasoning: z.ZodString;
+            key_assumptions: z.ZodArray<z.ZodString, "many">;
+            main_risks: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            path: "quantitative" | "qualitative" | "hybrid";
+            confidence: "low" | "high" | "medium";
+            dimension: string;
+            reasoning: string;
+            feasibility_ratio: number | null;
+            assessment: "realistic" | "ambitious" | "infeasible";
+            key_assumptions: string[];
+            main_risks: string[];
+        }, {
+            path: "quantitative" | "qualitative" | "hybrid";
+            confidence: "low" | "high" | "medium";
+            dimension: string;
+            reasoning: string;
+            feasibility_ratio: number | null;
+            assessment: "realistic" | "ambitious" | "infeasible";
+            key_assumptions: string[];
+            main_risks: string[];
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        path: "quantitative" | "qualitative" | "hybrid";
+        dimensions: {
+            path: "quantitative" | "qualitative" | "hybrid";
+            confidence: "low" | "high" | "medium";
+            dimension: string;
+            reasoning: string;
+            feasibility_ratio: number | null;
+            assessment: "realistic" | "ambitious" | "infeasible";
+            key_assumptions: string[];
+            main_risks: string[];
+        }[];
+    }, {
+        path: "quantitative" | "qualitative" | "hybrid";
+        dimensions: {
+            path: "quantitative" | "qualitative" | "hybrid";
+            confidence: "low" | "high" | "medium";
+            dimension: string;
+            reasoning: string;
+            feasibility_ratio: number | null;
+            assessment: "realistic" | "ambitious" | "infeasible";
+            key_assumptions: string[];
+            main_risks: string[];
+        }[];
+    }>>>;
+    step4_capability_check: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        capabilities_available: z.ZodArray<z.ZodString, "many">;
+        gaps_detected: z.ZodArray<z.ZodObject<{
+            dimension: z.ZodString;
+            required_capability: z.ZodString;
+            acquirable: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            dimension: string;
+            required_capability: string;
+            acquirable: boolean;
+        }, {
+            dimension: string;
+            required_capability: string;
+            acquirable: boolean;
+        }>, "many">;
+        infeasible_dimensions: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        capabilities_available: string[];
+        gaps_detected: {
+            dimension: string;
+            required_capability: string;
+            acquirable: boolean;
+        }[];
+        infeasible_dimensions: string[];
+    }, {
+        capabilities_available: string[];
+        gaps_detected: {
+            dimension: string;
+            required_capability: string;
+            acquirable: boolean;
+        }[];
+        infeasible_dimensions: string[];
+    }>>>;
+    step5_response: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        type: z.ZodEnum<["accept", "counter_propose", "flag_as_ambitious"]>;
+        accepted: z.ZodBoolean;
+        initial_confidence: z.ZodEnum<["high", "medium", "low"]>;
+        user_acknowledged: z.ZodDefault<z.ZodBoolean>;
+        counter_proposal: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            realistic_target: z.ZodNumber;
+            reasoning: z.ZodString;
+            alternatives: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            reasoning: string;
+            realistic_target: number;
+            alternatives: string[];
+        }, {
+            reasoning: string;
+            realistic_target: number;
+            alternatives: string[];
+        }>>>;
+    }, "strip", z.ZodTypeAny, {
+        type: "accept" | "counter_propose" | "flag_as_ambitious";
+        accepted: boolean;
+        initial_confidence: "low" | "high" | "medium";
+        user_acknowledged: boolean;
+        counter_proposal: {
+            reasoning: string;
+            realistic_target: number;
+            alternatives: string[];
+        } | null;
+    }, {
+        type: "accept" | "counter_propose" | "flag_as_ambitious";
+        accepted: boolean;
+        initial_confidence: "low" | "high" | "medium";
+        user_acknowledged?: boolean | undefined;
+        counter_proposal?: {
+            reasoning: string;
+            realistic_target: number;
+            alternatives: string[];
+        } | null | undefined;
+    }>>>;
+}, "strip", z.ZodTypeAny, {
+    timestamp: string;
+    goal_id: string;
+    is_renegotiation: boolean;
+    renegotiation_trigger: "stall" | "new_info" | "user_request" | null;
+    step2_decomposition: {
+        dimensions: {
+            name: string;
+            label: string;
+            threshold_value: string | number | boolean | (string | number)[] | null;
+            threshold_type: "match" | "min" | "max" | "range" | "present";
+            observation_method_hint: string;
+        }[];
+        method: "llm";
+    } | null;
+    step3_baseline: {
+        observations: {
+            value: string | number | boolean | null;
+            confidence: number;
+            method: string;
+            dimension: string;
+        }[];
+    } | null;
+    step4_evaluation: {
+        path: "quantitative" | "qualitative" | "hybrid";
+        dimensions: {
+            path: "quantitative" | "qualitative" | "hybrid";
+            confidence: "low" | "high" | "medium";
+            dimension: string;
+            reasoning: string;
+            feasibility_ratio: number | null;
+            assessment: "realistic" | "ambitious" | "infeasible";
+            key_assumptions: string[];
+            main_risks: string[];
+        }[];
+    } | null;
+    step4_capability_check: {
+        capabilities_available: string[];
+        gaps_detected: {
+            dimension: string;
+            required_capability: string;
+            acquirable: boolean;
+        }[];
+        infeasible_dimensions: string[];
+    } | null;
+    step5_response: {
+        type: "accept" | "counter_propose" | "flag_as_ambitious";
+        accepted: boolean;
+        initial_confidence: "low" | "high" | "medium";
+        user_acknowledged: boolean;
+        counter_proposal: {
+            reasoning: string;
+            realistic_target: number;
+            alternatives: string[];
+        } | null;
+    } | null;
+}, {
+    timestamp: string;
+    goal_id: string;
+    is_renegotiation?: boolean | undefined;
+    renegotiation_trigger?: "stall" | "new_info" | "user_request" | null | undefined;
+    step2_decomposition?: {
+        dimensions: {
+            name: string;
+            label: string;
+            threshold_value: string | number | boolean | (string | number)[] | null;
+            threshold_type: "match" | "min" | "max" | "range" | "present";
+            observation_method_hint: string;
+        }[];
+        method: "llm";
+    } | null | undefined;
+    step3_baseline?: {
+        observations: {
+            value: string | number | boolean | null;
+            confidence: number;
+            method: string;
+            dimension: string;
+        }[];
+    } | null | undefined;
+    step4_evaluation?: {
+        path: "quantitative" | "qualitative" | "hybrid";
+        dimensions: {
+            path: "quantitative" | "qualitative" | "hybrid";
+            confidence: "low" | "high" | "medium";
+            dimension: string;
+            reasoning: string;
+            feasibility_ratio: number | null;
+            assessment: "realistic" | "ambitious" | "infeasible";
+            key_assumptions: string[];
+            main_risks: string[];
+        }[];
+    } | null | undefined;
+    step4_capability_check?: {
+        capabilities_available: string[];
+        gaps_detected: {
+            dimension: string;
+            required_capability: string;
+            acquirable: boolean;
+        }[];
+        infeasible_dimensions: string[];
+    } | null | undefined;
+    step5_response?: {
+        type: "accept" | "counter_propose" | "flag_as_ambitious";
+        accepted: boolean;
+        initial_confidence: "low" | "high" | "medium";
+        user_acknowledged?: boolean | undefined;
+        counter_proposal?: {
+            reasoning: string;
+            realistic_target: number;
+            alternatives: string[];
+        } | null | undefined;
+    } | null | undefined;
+}>;
+export type NegotiationLog = z.infer<typeof NegotiationLogSchema>;
+export declare const NegotiationResponseSchema: z.ZodObject<{
+    type: z.ZodEnum<["accept", "counter_propose", "flag_as_ambitious"]>;
+    message: z.ZodString;
+    accepted: z.ZodBoolean;
+    initial_confidence: z.ZodEnum<["high", "medium", "low"]>;
+    counter_proposal: z.ZodOptional<z.ZodObject<{
+        realistic_target: z.ZodNumber;
+        reasoning: z.ZodString;
+        alternatives: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        reasoning: string;
+        realistic_target: number;
+        alternatives: string[];
+    }, {
+        reasoning: string;
+        realistic_target: number;
+        alternatives: string[];
+    }>>;
+    flags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    type: "accept" | "counter_propose" | "flag_as_ambitious";
+    message: string;
+    accepted: boolean;
+    initial_confidence: "low" | "high" | "medium";
+    flags?: string[] | undefined;
+    counter_proposal?: {
+        reasoning: string;
+        realistic_target: number;
+        alternatives: string[];
+    } | undefined;
+}, {
+    type: "accept" | "counter_propose" | "flag_as_ambitious";
+    message: string;
+    accepted: boolean;
+    initial_confidence: "low" | "high" | "medium";
+    flags?: string[] | undefined;
+    counter_proposal?: {
+        reasoning: string;
+        realistic_target: number;
+        alternatives: string[];
+    } | undefined;
+}>;
+export type NegotiationResponse = z.infer<typeof NegotiationResponseSchema>;
+//# sourceMappingURL=negotiation.d.ts.map

package/dist/types/negotiation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"negotiation.d.ts","sourceRoot":"","sources":["../../src/types/negotiation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,eAAO,MAAM,mBAAmB,gJAO9B,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAElE,eAAO,MAAM,mBAAmB,sDAAoD,CAAC;AACrF,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAElE,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;EAMvC,CAAC;AACH,MAAM,MAAM,sBAAsB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,4BAA4B,CAAC,CAAC;AAElF,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;EASlC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQ1B,CAAC;AACZ,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE1E,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsC/B,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWpC,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC"}