conatus 0.1.0

package/dist/types/goal.d.ts

@@ -0,0 +1,1233 @@
+import { z } from "zod";
+export declare const HistoryEntrySchema: z.ZodObject<{
+    value: z.ZodUnion<[z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    timestamp: z.ZodString;
+    confidence: z.ZodNumber;
+    source_observation_id: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    value: string | number | boolean | null;
+    timestamp: string;
+    confidence: number;
+    source_observation_id: string;
+}, {
+    value: string | number | boolean | null;
+    timestamp: string;
+    confidence: number;
+    source_observation_id: string;
+}>;
+export type HistoryEntry = z.infer<typeof HistoryEntrySchema>;
+/**
+ * SatisficingAggregation defines how multiple subgoal dimensions aggregate
+ * into a parent goal dimension during completion propagation.
+ *
+ * Note: This is distinct from AggregationTypeEnum (gap calculation) which includes "weighted_avg".
+ * Satisficing uses simple aggregation strategies: min, avg, max, all_required.
+ */
+export declare const SatisficingAggregationEnum: z.ZodEnum<["min", "avg", "max", "all_required"]>;
+export type SatisficingAggregation = z.infer<typeof SatisficingAggregationEnum>;
+export declare const DimensionSchema: z.ZodObject<{
+    name: z.ZodString;
+    label: z.ZodString;
+    current_value: z.ZodUnion<[z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    threshold: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
+        type: z.ZodLiteral<"min">;
+        value: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        type: "min";
+        value: number;
+    }, {
+        type: "min";
+        value: number;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"max">;
+        value: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        type: "max";
+        value: number;
+    }, {
+        type: "max";
+        value: number;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"range">;
+        low: z.ZodNumber;
+        high: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        type: "range";
+        low: number;
+        high: number;
+    }, {
+        type: "range";
+        low: number;
+        high: number;
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"present">;
+    }, "strip", z.ZodTypeAny, {
+        type: "present";
+    }, {
+        type: "present";
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"match">;
+        value: z.ZodUnion<[z.ZodString, z.ZodNumber, z.ZodBoolean]>;
+    }, "strip", z.ZodTypeAny, {
+        type: "match";
+        value: string | number | boolean;
+    }, {
+        type: "match";
+        value: string | number | boolean;
+    }>]>;
+    confidence: z.ZodNumber;
+    observation_method: z.ZodObject<{
+        type: z.ZodEnum<["mechanical", "llm_review", "api_query", "file_check", "manual"]>;
+        source: z.ZodString;
+        schedule: z.ZodNullable<z.ZodString>;
+        endpoint: z.ZodNullable<z.ZodString>;
+        confidence_tier: z.ZodEnum<["mechanical", "independent_review", "self_report"]>;
+    }, "strip", z.ZodTypeAny, {
+        type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+        schedule: string | null;
+        source: string;
+        endpoint: string | null;
+        confidence_tier: "mechanical" | "independent_review" | "self_report";
+    }, {
+        type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+        schedule: string | null;
+        source: string;
+        endpoint: string | null;
+        confidence_tier: "mechanical" | "independent_review" | "self_report";
+    }>;
+    last_updated: z.ZodNullable<z.ZodString>;
+    history: z.ZodArray<z.ZodObject<{
+        value: z.ZodUnion<[z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        timestamp: z.ZodString;
+        confidence: z.ZodNumber;
+        source_observation_id: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        value: string | number | boolean | null;
+        timestamp: string;
+        confidence: number;
+        source_observation_id: string;
+    }, {
+        value: string | number | boolean | null;
+        timestamp: string;
+        confidence: number;
+        source_observation_id: string;
+    }>, "many">;
+    /** Weight for gap aggregation (default 1.0) */
+    weight: z.ZodDefault<z.ZodNumber>;
+    /** Per-dimension uncertainty_weight override (null = use global) */
+    uncertainty_weight: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+    /**
+     * Integrity flag: set to "uncertain" when a revert fails so Conatus stops
+     * autonomous task selection for this dimension until a human resets it.
+     * See task-lifecycle.md §6.
+     */
+    state_integrity: z.ZodDefault<z.ZodEnum<["ok", "uncertain"]>>;
+    /**
+     * Maps this subgoal dimension to a parent goal dimension with an aggregation strategy.
+     * When set, propagateSubgoalCompletion uses parent_dimension (not name matching)
+     * and aggregates multiple subgoal dimensions mapped to the same parent dimension.
+     * See satisficing.md §7 Phase 2.
+     */
+    dimension_mapping: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        parent_dimension: z.ZodString;
+        aggregation: z.ZodEnum<["min", "avg", "max", "all_required"]>;
+    }, "strip", z.ZodTypeAny, {
+        parent_dimension: string;
+        aggregation: "min" | "max" | "all_required" | "avg";
+    }, {
+        parent_dimension: string;
+        aggregation: "min" | "max" | "all_required" | "avg";
+    }>>>;
+}, "strip", z.ZodTypeAny, {
+    confidence: number;
+    name: string;
+    label: string;
+    current_value: string | number | boolean | null;
+    threshold: {
+        type: "min";
+        value: number;
+    } | {
+        type: "max";
+        value: number;
+    } | {
+        type: "range";
+        low: number;
+        high: number;
+    } | {
+        type: "present";
+    } | {
+        type: "match";
+        value: string | number | boolean;
+    };
+    observation_method: {
+        type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+        schedule: string | null;
+        source: string;
+        endpoint: string | null;
+        confidence_tier: "mechanical" | "independent_review" | "self_report";
+    };
+    last_updated: string | null;
+    history: {
+        value: string | number | boolean | null;
+        timestamp: string;
+        confidence: number;
+        source_observation_id: string;
+    }[];
+    weight: number;
+    uncertainty_weight: number | null;
+    state_integrity: "ok" | "uncertain";
+    dimension_mapping: {
+        parent_dimension: string;
+        aggregation: "min" | "max" | "all_required" | "avg";
+    } | null;
+}, {
+    confidence: number;
+    name: string;
+    label: string;
+    current_value: string | number | boolean | null;
+    threshold: {
+        type: "min";
+        value: number;
+    } | {
+        type: "max";
+        value: number;
+    } | {
+        type: "range";
+        low: number;
+        high: number;
+    } | {
+        type: "present";
+    } | {
+        type: "match";
+        value: string | number | boolean;
+    };
+    observation_method: {
+        type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+        schedule: string | null;
+        source: string;
+        endpoint: string | null;
+        confidence_tier: "mechanical" | "independent_review" | "self_report";
+    };
+    last_updated: string | null;
+    history: {
+        value: string | number | boolean | null;
+        timestamp: string;
+        confidence: number;
+        source_observation_id: string;
+    }[];
+    weight?: number | undefined;
+    uncertainty_weight?: number | null | undefined;
+    state_integrity?: "ok" | "uncertain" | undefined;
+    dimension_mapping?: {
+        parent_dimension: string;
+        aggregation: "min" | "max" | "all_required" | "avg";
+    } | null | undefined;
+}>;
+export type Dimension = z.infer<typeof DimensionSchema>;
+export declare const DimensionMappingSchema: z.ZodObject<{
+    parent_dimension: z.ZodString;
+    aggregation: z.ZodEnum<["min", "weighted_avg", "max", "all_required"]>;
+}, "strip", z.ZodTypeAny, {
+    parent_dimension: string;
+    aggregation: "min" | "max" | "weighted_avg" | "all_required";
+}, {
+    parent_dimension: string;
+    aggregation: "min" | "max" | "weighted_avg" | "all_required";
+}>;
+export type DimensionMapping = z.infer<typeof DimensionMappingSchema>;
+export declare const PaceSnapshotSchema: z.ZodObject<{
+    elapsed_ratio: z.ZodNumber;
+    achievement_ratio: z.ZodNumber;
+    pace_ratio: z.ZodNumber;
+    status: z.ZodEnum<["on_track", "at_risk", "behind"]>;
+    evaluated_at: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    status: "on_track" | "at_risk" | "behind";
+    elapsed_ratio: number;
+    achievement_ratio: number;
+    pace_ratio: number;
+    evaluated_at: string;
+}, {
+    status: "on_track" | "at_risk" | "behind";
+    elapsed_ratio: number;
+    achievement_ratio: number;
+    pace_ratio: number;
+    evaluated_at: string;
+}>;
+export type PaceSnapshot = z.infer<typeof PaceSnapshotSchema>;
+export declare const GoalNodeTypeEnum: z.ZodEnum<["goal", "subgoal", "milestone", "leaf"]>;
+export type GoalNodeType = z.infer<typeof GoalNodeTypeEnum>;
+export declare const GoalStatusEnum: z.ZodEnum<["active", "completed", "cancelled", "waiting", "archived"]>;
+export type GoalStatus = z.infer<typeof GoalStatusEnum>;
+export declare const GoalSchema: z.ZodObject<{
+    id: z.ZodString;
+    parent_id: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    node_type: z.ZodDefault<z.ZodEnum<["goal", "subgoal", "milestone", "leaf"]>>;
+    title: z.ZodString;
+    description: z.ZodDefault<z.ZodString>;
+    status: z.ZodDefault<z.ZodEnum<["active", "completed", "cancelled", "waiting", "archived"]>>;
+    dimensions: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        label: z.ZodString;
+        current_value: z.ZodUnion<[z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        threshold: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
+            type: z.ZodLiteral<"min">;
+            value: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            type: "min";
+            value: number;
+        }, {
+            type: "min";
+            value: number;
+        }>, z.ZodObject<{
+            type: z.ZodLiteral<"max">;
+            value: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            type: "max";
+            value: number;
+        }, {
+            type: "max";
+            value: number;
+        }>, z.ZodObject<{
+            type: z.ZodLiteral<"range">;
+            low: z.ZodNumber;
+            high: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            type: "range";
+            low: number;
+            high: number;
+        }, {
+            type: "range";
+            low: number;
+            high: number;
+        }>, z.ZodObject<{
+            type: z.ZodLiteral<"present">;
+        }, "strip", z.ZodTypeAny, {
+            type: "present";
+        }, {
+            type: "present";
+        }>, z.ZodObject<{
+            type: z.ZodLiteral<"match">;
+            value: z.ZodUnion<[z.ZodString, z.ZodNumber, z.ZodBoolean]>;
+        }, "strip", z.ZodTypeAny, {
+            type: "match";
+            value: string | number | boolean;
+        }, {
+            type: "match";
+            value: string | number | boolean;
+        }>]>;
+        confidence: z.ZodNumber;
+        observation_method: z.ZodObject<{
+            type: z.ZodEnum<["mechanical", "llm_review", "api_query", "file_check", "manual"]>;
+            source: z.ZodString;
+            schedule: z.ZodNullable<z.ZodString>;
+            endpoint: z.ZodNullable<z.ZodString>;
+            confidence_tier: z.ZodEnum<["mechanical", "independent_review", "self_report"]>;
+        }, "strip", z.ZodTypeAny, {
+            type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+            schedule: string | null;
+            source: string;
+            endpoint: string | null;
+            confidence_tier: "mechanical" | "independent_review" | "self_report";
+        }, {
+            type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+            schedule: string | null;
+            source: string;
+            endpoint: string | null;
+            confidence_tier: "mechanical" | "independent_review" | "self_report";
+        }>;
+        last_updated: z.ZodNullable<z.ZodString>;
+        history: z.ZodArray<z.ZodObject<{
+            value: z.ZodUnion<[z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            timestamp: z.ZodString;
+            confidence: z.ZodNumber;
+            source_observation_id: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            value: string | number | boolean | null;
+            timestamp: string;
+            confidence: number;
+            source_observation_id: string;
+        }, {
+            value: string | number | boolean | null;
+            timestamp: string;
+            confidence: number;
+            source_observation_id: string;
+        }>, "many">;
+        /** Weight for gap aggregation (default 1.0) */
+        weight: z.ZodDefault<z.ZodNumber>;
+        /** Per-dimension uncertainty_weight override (null = use global) */
+        uncertainty_weight: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+        /**
+         * Integrity flag: set to "uncertain" when a revert fails so Conatus stops
+         * autonomous task selection for this dimension until a human resets it.
+         * See task-lifecycle.md §6.
+         */
+        state_integrity: z.ZodDefault<z.ZodEnum<["ok", "uncertain"]>>;
+        /**
+         * Maps this subgoal dimension to a parent goal dimension with an aggregation strategy.
+         * When set, propagateSubgoalCompletion uses parent_dimension (not name matching)
+         * and aggregates multiple subgoal dimensions mapped to the same parent dimension.
+         * See satisficing.md §7 Phase 2.
+         */
+        dimension_mapping: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            parent_dimension: z.ZodString;
+            aggregation: z.ZodEnum<["min", "avg", "max", "all_required"]>;
+        }, "strip", z.ZodTypeAny, {
+            parent_dimension: string;
+            aggregation: "min" | "max" | "all_required" | "avg";
+        }, {
+            parent_dimension: string;
+            aggregation: "min" | "max" | "all_required" | "avg";
+        }>>>;
+    }, "strip", z.ZodTypeAny, {
+        confidence: number;
+        name: string;
+        label: string;
+        current_value: string | number | boolean | null;
+        threshold: {
+            type: "min";
+            value: number;
+        } | {
+            type: "max";
+            value: number;
+        } | {
+            type: "range";
+            low: number;
+            high: number;
+        } | {
+            type: "present";
+        } | {
+            type: "match";
+            value: string | number | boolean;
+        };
+        observation_method: {
+            type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+            schedule: string | null;
+            source: string;
+            endpoint: string | null;
+            confidence_tier: "mechanical" | "independent_review" | "self_report";
+        };
+        last_updated: string | null;
+        history: {
+            value: string | number | boolean | null;
+            timestamp: string;
+            confidence: number;
+            source_observation_id: string;
+        }[];
+        weight: number;
+        uncertainty_weight: number | null;
+        state_integrity: "ok" | "uncertain";
+        dimension_mapping: {
+            parent_dimension: string;
+            aggregation: "min" | "max" | "all_required" | "avg";
+        } | null;
+    }, {
+        confidence: number;
+        name: string;
+        label: string;
+        current_value: string | number | boolean | null;
+        threshold: {
+            type: "min";
+            value: number;
+        } | {
+            type: "max";
+            value: number;
+        } | {
+            type: "range";
+            low: number;
+            high: number;
+        } | {
+            type: "present";
+        } | {
+            type: "match";
+            value: string | number | boolean;
+        };
+        observation_method: {
+            type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+            schedule: string | null;
+            source: string;
+            endpoint: string | null;
+            confidence_tier: "mechanical" | "independent_review" | "self_report";
+        };
+        last_updated: string | null;
+        history: {
+            value: string | number | boolean | null;
+            timestamp: string;
+            confidence: number;
+            source_observation_id: string;
+        }[];
+        weight?: number | undefined;
+        uncertainty_weight?: number | null | undefined;
+        state_integrity?: "ok" | "uncertain" | undefined;
+        dimension_mapping?: {
+            parent_dimension: string;
+            aggregation: "min" | "max" | "all_required" | "avg";
+        } | null | undefined;
+    }>, "many">;
+    /** Aggregation method for child goals (default: max = bottleneck) */
+    gap_aggregation: z.ZodDefault<z.ZodEnum<["max", "weighted_avg", "sum"]>>;
+    /** Dimension mapping for sub-goal to parent propagation */
+    dimension_mapping: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        parent_dimension: z.ZodString;
+        aggregation: z.ZodEnum<["min", "weighted_avg", "max", "all_required"]>;
+    }, "strip", z.ZodTypeAny, {
+        parent_dimension: string;
+        aggregation: "min" | "max" | "weighted_avg" | "all_required";
+    }, {
+        parent_dimension: string;
+        aggregation: "min" | "max" | "weighted_avg" | "all_required";
+    }>>>;
+    constraints: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    children_ids: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    target_date: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    origin: z.ZodDefault<z.ZodNullable<z.ZodEnum<["negotiation", "decomposition", "manual", "curiosity"]>>>;
+    pace_snapshot: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        elapsed_ratio: z.ZodNumber;
+        achievement_ratio: z.ZodNumber;
+        pace_ratio: z.ZodNumber;
+        status: z.ZodEnum<["on_track", "at_risk", "behind"]>;
+        evaluated_at: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        status: "on_track" | "at_risk" | "behind";
+        elapsed_ratio: number;
+        achievement_ratio: number;
+        pace_ratio: number;
+        evaluated_at: string;
+    }, {
+        status: "on_track" | "at_risk" | "behind";
+        elapsed_ratio: number;
+        achievement_ratio: number;
+        pace_ratio: number;
+        evaluated_at: string;
+    }>>>;
+    deadline: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    confidence_flag: z.ZodDefault<z.ZodNullable<z.ZodEnum<["high", "medium", "low"]>>>;
+    user_override: z.ZodDefault<z.ZodBoolean>;
+    feasibility_note: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    uncertainty_weight: z.ZodDefault<z.ZodNumber>;
+    decomposition_depth: z.ZodDefault<z.ZodNumber>;
+    specificity_score: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+    loop_status: z.ZodDefault<z.ZodEnum<["idle", "running", "paused"]>>;
+    created_at: z.ZodString;
+    updated_at: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    status: "completed" | "active" | "cancelled" | "waiting" | "archived";
+    uncertainty_weight: number;
+    dimension_mapping: {
+        parent_dimension: string;
+        aggregation: "min" | "max" | "weighted_avg" | "all_required";
+    } | null;
+    id: string;
+    parent_id: string | null;
+    node_type: "goal" | "subgoal" | "milestone" | "leaf";
+    title: string;
+    description: string;
+    dimensions: {
+        confidence: number;
+        name: string;
+        label: string;
+        current_value: string | number | boolean | null;
+        threshold: {
+            type: "min";
+            value: number;
+        } | {
+            type: "max";
+            value: number;
+        } | {
+            type: "range";
+            low: number;
+            high: number;
+        } | {
+            type: "present";
+        } | {
+            type: "match";
+            value: string | number | boolean;
+        };
+        observation_method: {
+            type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+            schedule: string | null;
+            source: string;
+            endpoint: string | null;
+            confidence_tier: "mechanical" | "independent_review" | "self_report";
+        };
+        last_updated: string | null;
+        history: {
+            value: string | number | boolean | null;
+            timestamp: string;
+            confidence: number;
+            source_observation_id: string;
+        }[];
+        weight: number;
+        uncertainty_weight: number | null;
+        state_integrity: "ok" | "uncertain";
+        dimension_mapping: {
+            parent_dimension: string;
+            aggregation: "min" | "max" | "all_required" | "avg";
+        } | null;
+    }[];
+    gap_aggregation: "max" | "weighted_avg" | "sum";
+    constraints: string[];
+    children_ids: string[];
+    target_date: string | null;
+    origin: "manual" | "negotiation" | "decomposition" | "curiosity" | null;
+    pace_snapshot: {
+        status: "on_track" | "at_risk" | "behind";
+        elapsed_ratio: number;
+        achievement_ratio: number;
+        pace_ratio: number;
+        evaluated_at: string;
+    } | null;
+    deadline: string | null;
+    confidence_flag: "low" | "high" | "medium" | null;
+    user_override: boolean;
+    feasibility_note: string | null;
+    decomposition_depth: number;
+    specificity_score: number | null;
+    loop_status: "running" | "idle" | "paused";
+    created_at: string;
+    updated_at: string;
+}, {
+    id: string;
+    title: string;
+    dimensions: {
+        confidence: number;
+        name: string;
+        label: string;
+        current_value: string | number | boolean | null;
+        threshold: {
+            type: "min";
+            value: number;
+        } | {
+            type: "max";
+            value: number;
+        } | {
+            type: "range";
+            low: number;
+            high: number;
+        } | {
+            type: "present";
+        } | {
+            type: "match";
+            value: string | number | boolean;
+        };
+        observation_method: {
+            type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+            schedule: string | null;
+            source: string;
+            endpoint: string | null;
+            confidence_tier: "mechanical" | "independent_review" | "self_report";
+        };
+        last_updated: string | null;
+        history: {
+            value: string | number | boolean | null;
+            timestamp: string;
+            confidence: number;
+            source_observation_id: string;
+        }[];
+        weight?: number | undefined;
+        uncertainty_weight?: number | null | undefined;
+        state_integrity?: "ok" | "uncertain" | undefined;
+        dimension_mapping?: {
+            parent_dimension: string;
+            aggregation: "min" | "max" | "all_required" | "avg";
+        } | null | undefined;
+    }[];
+    created_at: string;
+    updated_at: string;
+    status?: "completed" | "active" | "cancelled" | "waiting" | "archived" | undefined;
+    uncertainty_weight?: number | undefined;
+    dimension_mapping?: {
+        parent_dimension: string;
+        aggregation: "min" | "max" | "weighted_avg" | "all_required";
+    } | null | undefined;
+    parent_id?: string | null | undefined;
+    node_type?: "goal" | "subgoal" | "milestone" | "leaf" | undefined;
+    description?: string | undefined;
+    gap_aggregation?: "max" | "weighted_avg" | "sum" | undefined;
+    constraints?: string[] | undefined;
+    children_ids?: string[] | undefined;
+    target_date?: string | null | undefined;
+    origin?: "manual" | "negotiation" | "decomposition" | "curiosity" | null | undefined;
+    pace_snapshot?: {
+        status: "on_track" | "at_risk" | "behind";
+        elapsed_ratio: number;
+        achievement_ratio: number;
+        pace_ratio: number;
+        evaluated_at: string;
+    } | null | undefined;
+    deadline?: string | null | undefined;
+    confidence_flag?: "low" | "high" | "medium" | null | undefined;
+    user_override?: boolean | undefined;
+    feasibility_note?: string | null | undefined;
+    decomposition_depth?: number | undefined;
+    specificity_score?: number | null | undefined;
+    loop_status?: "running" | "idle" | "paused" | undefined;
+}>;
+export type Goal = z.infer<typeof GoalSchema>;
+export declare const GoalTreeSchema: z.ZodObject<{
+    root_id: z.ZodString;
+    goals: z.ZodRecord<z.ZodString, z.ZodObject<{
+        id: z.ZodString;
+        parent_id: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        node_type: z.ZodDefault<z.ZodEnum<["goal", "subgoal", "milestone", "leaf"]>>;
+        title: z.ZodString;
+        description: z.ZodDefault<z.ZodString>;
+        status: z.ZodDefault<z.ZodEnum<["active", "completed", "cancelled", "waiting", "archived"]>>;
+        dimensions: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            label: z.ZodString;
+            current_value: z.ZodUnion<[z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            threshold: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
+                type: z.ZodLiteral<"min">;
+                value: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                type: "min";
+                value: number;
+            }, {
+                type: "min";
+                value: number;
+            }>, z.ZodObject<{
+                type: z.ZodLiteral<"max">;
+                value: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                type: "max";
+                value: number;
+            }, {
+                type: "max";
+                value: number;
+            }>, z.ZodObject<{
+                type: z.ZodLiteral<"range">;
+                low: z.ZodNumber;
+                high: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                type: "range";
+                low: number;
+                high: number;
+            }, {
+                type: "range";
+                low: number;
+                high: number;
+            }>, z.ZodObject<{
+                type: z.ZodLiteral<"present">;
+            }, "strip", z.ZodTypeAny, {
+                type: "present";
+            }, {
+                type: "present";
+            }>, z.ZodObject<{
+                type: z.ZodLiteral<"match">;
+                value: z.ZodUnion<[z.ZodString, z.ZodNumber, z.ZodBoolean]>;
+            }, "strip", z.ZodTypeAny, {
+                type: "match";
+                value: string | number | boolean;
+            }, {
+                type: "match";
+                value: string | number | boolean;
+            }>]>;
+            confidence: z.ZodNumber;
+            observation_method: z.ZodObject<{
+                type: z.ZodEnum<["mechanical", "llm_review", "api_query", "file_check", "manual"]>;
+                source: z.ZodString;
+                schedule: z.ZodNullable<z.ZodString>;
+                endpoint: z.ZodNullable<z.ZodString>;
+                confidence_tier: z.ZodEnum<["mechanical", "independent_review", "self_report"]>;
+            }, "strip", z.ZodTypeAny, {
+                type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+                schedule: string | null;
+                source: string;
+                endpoint: string | null;
+                confidence_tier: "mechanical" | "independent_review" | "self_report";
+            }, {
+                type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+                schedule: string | null;
+                source: string;
+                endpoint: string | null;
+                confidence_tier: "mechanical" | "independent_review" | "self_report";
+            }>;
+            last_updated: z.ZodNullable<z.ZodString>;
+            history: z.ZodArray<z.ZodObject<{
+                value: z.ZodUnion<[z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+                timestamp: z.ZodString;
+                confidence: z.ZodNumber;
+                source_observation_id: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                value: string | number | boolean | null;
+                timestamp: string;
+                confidence: number;
+                source_observation_id: string;
+            }, {
+                value: string | number | boolean | null;
+                timestamp: string;
+                confidence: number;
+                source_observation_id: string;
+            }>, "many">;
+            /** Weight for gap aggregation (default 1.0) */
+            weight: z.ZodDefault<z.ZodNumber>;
+            /** Per-dimension uncertainty_weight override (null = use global) */
+            uncertainty_weight: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            /**
+             * Integrity flag: set to "uncertain" when a revert fails so Conatus stops
+             * autonomous task selection for this dimension until a human resets it.
+             * See task-lifecycle.md §6.
+             */
+            state_integrity: z.ZodDefault<z.ZodEnum<["ok", "uncertain"]>>;
+            /**
+             * Maps this subgoal dimension to a parent goal dimension with an aggregation strategy.
+             * When set, propagateSubgoalCompletion uses parent_dimension (not name matching)
+             * and aggregates multiple subgoal dimensions mapped to the same parent dimension.
+             * See satisficing.md §7 Phase 2.
+             */
+            dimension_mapping: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+                parent_dimension: z.ZodString;
+                aggregation: z.ZodEnum<["min", "avg", "max", "all_required"]>;
+            }, "strip", z.ZodTypeAny, {
+                parent_dimension: string;
+                aggregation: "min" | "max" | "all_required" | "avg";
+            }, {
+                parent_dimension: string;
+                aggregation: "min" | "max" | "all_required" | "avg";
+            }>>>;
+        }, "strip", z.ZodTypeAny, {
+            confidence: number;
+            name: string;
+            label: string;
+            current_value: string | number | boolean | null;
+            threshold: {
+                type: "min";
+                value: number;
+            } | {
+                type: "max";
+                value: number;
+            } | {
+                type: "range";
+                low: number;
+                high: number;
+            } | {
+                type: "present";
+            } | {
+                type: "match";
+                value: string | number | boolean;
+            };
+            observation_method: {
+                type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+                schedule: string | null;
+                source: string;
+                endpoint: string | null;
+                confidence_tier: "mechanical" | "independent_review" | "self_report";
+            };
+            last_updated: string | null;
+            history: {
+                value: string | number | boolean | null;
+                timestamp: string;
+                confidence: number;
+                source_observation_id: string;
+            }[];
+            weight: number;
+            uncertainty_weight: number | null;
+            state_integrity: "ok" | "uncertain";
+            dimension_mapping: {
+                parent_dimension: string;
+                aggregation: "min" | "max" | "all_required" | "avg";
+            } | null;
+        }, {
+            confidence: number;
+            name: string;
+            label: string;
+            current_value: string | number | boolean | null;
+            threshold: {
+                type: "min";
+                value: number;
+            } | {
+                type: "max";
+                value: number;
+            } | {
+                type: "range";
+                low: number;
+                high: number;
+            } | {
+                type: "present";
+            } | {
+                type: "match";
+                value: string | number | boolean;
+            };
+            observation_method: {
+                type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+                schedule: string | null;
+                source: string;
+                endpoint: string | null;
+                confidence_tier: "mechanical" | "independent_review" | "self_report";
+            };
+            last_updated: string | null;
+            history: {
+                value: string | number | boolean | null;
+                timestamp: string;
+                confidence: number;
+                source_observation_id: string;
+            }[];
+            weight?: number | undefined;
+            uncertainty_weight?: number | null | undefined;
+            state_integrity?: "ok" | "uncertain" | undefined;
+            dimension_mapping?: {
+                parent_dimension: string;
+                aggregation: "min" | "max" | "all_required" | "avg";
+            } | null | undefined;
+        }>, "many">;
+        /** Aggregation method for child goals (default: max = bottleneck) */
+        gap_aggregation: z.ZodDefault<z.ZodEnum<["max", "weighted_avg", "sum"]>>;
+        /** Dimension mapping for sub-goal to parent propagation */
+        dimension_mapping: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            parent_dimension: z.ZodString;
+            aggregation: z.ZodEnum<["min", "weighted_avg", "max", "all_required"]>;
+        }, "strip", z.ZodTypeAny, {
+            parent_dimension: string;
+            aggregation: "min" | "max" | "weighted_avg" | "all_required";
+        }, {
+            parent_dimension: string;
+            aggregation: "min" | "max" | "weighted_avg" | "all_required";
+        }>>>;
+        constraints: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        children_ids: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        target_date: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        origin: z.ZodDefault<z.ZodNullable<z.ZodEnum<["negotiation", "decomposition", "manual", "curiosity"]>>>;
+        pace_snapshot: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            elapsed_ratio: z.ZodNumber;
+            achievement_ratio: z.ZodNumber;
+            pace_ratio: z.ZodNumber;
+            status: z.ZodEnum<["on_track", "at_risk", "behind"]>;
+            evaluated_at: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            status: "on_track" | "at_risk" | "behind";
+            elapsed_ratio: number;
+            achievement_ratio: number;
+            pace_ratio: number;
+            evaluated_at: string;
+        }, {
+            status: "on_track" | "at_risk" | "behind";
+            elapsed_ratio: number;
+            achievement_ratio: number;
+            pace_ratio: number;
+            evaluated_at: string;
+        }>>>;
+        deadline: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        confidence_flag: z.ZodDefault<z.ZodNullable<z.ZodEnum<["high", "medium", "low"]>>>;
+        user_override: z.ZodDefault<z.ZodBoolean>;
+        feasibility_note: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        uncertainty_weight: z.ZodDefault<z.ZodNumber>;
+        decomposition_depth: z.ZodDefault<z.ZodNumber>;
+        specificity_score: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+        loop_status: z.ZodDefault<z.ZodEnum<["idle", "running", "paused"]>>;
+        created_at: z.ZodString;
+        updated_at: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        status: "completed" | "active" | "cancelled" | "waiting" | "archived";
+        uncertainty_weight: number;
+        dimension_mapping: {
+            parent_dimension: string;
+            aggregation: "min" | "max" | "weighted_avg" | "all_required";
+        } | null;
+        id: string;
+        parent_id: string | null;
+        node_type: "goal" | "subgoal" | "milestone" | "leaf";
+        title: string;
+        description: string;
+        dimensions: {
+            confidence: number;
+            name: string;
+            label: string;
+            current_value: string | number | boolean | null;
+            threshold: {
+                type: "min";
+                value: number;
+            } | {
+                type: "max";
+                value: number;
+            } | {
+                type: "range";
+                low: number;
+                high: number;
+            } | {
+                type: "present";
+            } | {
+                type: "match";
+                value: string | number | boolean;
+            };
+            observation_method: {
+                type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+                schedule: string | null;
+                source: string;
+                endpoint: string | null;
+                confidence_tier: "mechanical" | "independent_review" | "self_report";
+            };
+            last_updated: string | null;
+            history: {
+                value: string | number | boolean | null;
+                timestamp: string;
+                confidence: number;
+                source_observation_id: string;
+            }[];
+            weight: number;
+            uncertainty_weight: number | null;
+            state_integrity: "ok" | "uncertain";
+            dimension_mapping: {
+                parent_dimension: string;
+                aggregation: "min" | "max" | "all_required" | "avg";
+            } | null;
+        }[];
+        gap_aggregation: "max" | "weighted_avg" | "sum";
+        constraints: string[];
+        children_ids: string[];
+        target_date: string | null;
+        origin: "manual" | "negotiation" | "decomposition" | "curiosity" | null;
+        pace_snapshot: {
+            status: "on_track" | "at_risk" | "behind";
+            elapsed_ratio: number;
+            achievement_ratio: number;
+            pace_ratio: number;
+            evaluated_at: string;
+        } | null;
+        deadline: string | null;
+        confidence_flag: "low" | "high" | "medium" | null;
+        user_override: boolean;
+        feasibility_note: string | null;
+        decomposition_depth: number;
+        specificity_score: number | null;
+        loop_status: "running" | "idle" | "paused";
+        created_at: string;
+        updated_at: string;
+    }, {
+        id: string;
+        title: string;
+        dimensions: {
+            confidence: number;
+            name: string;
+            label: string;
+            current_value: string | number | boolean | null;
+            threshold: {
+                type: "min";
+                value: number;
+            } | {
+                type: "max";
+                value: number;
+            } | {
+                type: "range";
+                low: number;
+                high: number;
+            } | {
+                type: "present";
+            } | {
+                type: "match";
+                value: string | number | boolean;
+            };
+            observation_method: {
+                type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+                schedule: string | null;
+                source: string;
+                endpoint: string | null;
+                confidence_tier: "mechanical" | "independent_review" | "self_report";
+            };
+            last_updated: string | null;
+            history: {
+                value: string | number | boolean | null;
+                timestamp: string;
+                confidence: number;
+                source_observation_id: string;
+            }[];
+            weight?: number | undefined;
+            uncertainty_weight?: number | null | undefined;
+            state_integrity?: "ok" | "uncertain" | undefined;
+            dimension_mapping?: {
+                parent_dimension: string;
+                aggregation: "min" | "max" | "all_required" | "avg";
+            } | null | undefined;
+        }[];
+        created_at: string;
+        updated_at: string;
+        status?: "completed" | "active" | "cancelled" | "waiting" | "archived" | undefined;
+        uncertainty_weight?: number | undefined;
+        dimension_mapping?: {
+            parent_dimension: string;
+            aggregation: "min" | "max" | "weighted_avg" | "all_required";
+        } | null | undefined;
+        parent_id?: string | null | undefined;
+        node_type?: "goal" | "subgoal" | "milestone" | "leaf" | undefined;
+        description?: string | undefined;
+        gap_aggregation?: "max" | "weighted_avg" | "sum" | undefined;
+        constraints?: string[] | undefined;
+        children_ids?: string[] | undefined;
+        target_date?: string | null | undefined;
+        origin?: "manual" | "negotiation" | "decomposition" | "curiosity" | null | undefined;
+        pace_snapshot?: {
+            status: "on_track" | "at_risk" | "behind";
+            elapsed_ratio: number;
+            achievement_ratio: number;
+            pace_ratio: number;
+            evaluated_at: string;
+        } | null | undefined;
+        deadline?: string | null | undefined;
+        confidence_flag?: "low" | "high" | "medium" | null | undefined;
+        user_override?: boolean | undefined;
+        feasibility_note?: string | null | undefined;
+        decomposition_depth?: number | undefined;
+        specificity_score?: number | null | undefined;
+        loop_status?: "running" | "idle" | "paused" | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    goals: Record<string, {
+        status: "completed" | "active" | "cancelled" | "waiting" | "archived";
+        uncertainty_weight: number;
+        dimension_mapping: {
+            parent_dimension: string;
+            aggregation: "min" | "max" | "weighted_avg" | "all_required";
+        } | null;
+        id: string;
+        parent_id: string | null;
+        node_type: "goal" | "subgoal" | "milestone" | "leaf";
+        title: string;
+        description: string;
+        dimensions: {
+            confidence: number;
+            name: string;
+            label: string;
+            current_value: string | number | boolean | null;
+            threshold: {
+                type: "min";
+                value: number;
+            } | {
+                type: "max";
+                value: number;
+            } | {
+                type: "range";
+                low: number;
+                high: number;
+            } | {
+                type: "present";
+            } | {
+                type: "match";
+                value: string | number | boolean;
+            };
+            observation_method: {
+                type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+                schedule: string | null;
+                source: string;
+                endpoint: string | null;
+                confidence_tier: "mechanical" | "independent_review" | "self_report";
+            };
+            last_updated: string | null;
+            history: {
+                value: string | number | boolean | null;
+                timestamp: string;
+                confidence: number;
+                source_observation_id: string;
+            }[];
+            weight: number;
+            uncertainty_weight: number | null;
+            state_integrity: "ok" | "uncertain";
+            dimension_mapping: {
+                parent_dimension: string;
+                aggregation: "min" | "max" | "all_required" | "avg";
+            } | null;
+        }[];
+        gap_aggregation: "max" | "weighted_avg" | "sum";
+        constraints: string[];
+        children_ids: string[];
+        target_date: string | null;
+        origin: "manual" | "negotiation" | "decomposition" | "curiosity" | null;
+        pace_snapshot: {
+            status: "on_track" | "at_risk" | "behind";
+            elapsed_ratio: number;
+            achievement_ratio: number;
+            pace_ratio: number;
+            evaluated_at: string;
+        } | null;
+        deadline: string | null;
+        confidence_flag: "low" | "high" | "medium" | null;
+        user_override: boolean;
+        feasibility_note: string | null;
+        decomposition_depth: number;
+        specificity_score: number | null;
+        loop_status: "running" | "idle" | "paused";
+        created_at: string;
+        updated_at: string;
+    }>;
+    root_id: string;
+}, {
+    goals: Record<string, {
+        id: string;
+        title: string;
+        dimensions: {
+            confidence: number;
+            name: string;
+            label: string;
+            current_value: string | number | boolean | null;
+            threshold: {
+                type: "min";
+                value: number;
+            } | {
+                type: "max";
+                value: number;
+            } | {
+                type: "range";
+                low: number;
+                high: number;
+            } | {
+                type: "present";
+            } | {
+                type: "match";
+                value: string | number | boolean;
+            };
+            observation_method: {
+                type: "mechanical" | "llm_review" | "api_query" | "file_check" | "manual";
+                schedule: string | null;
+                source: string;
+                endpoint: string | null;
+                confidence_tier: "mechanical" | "independent_review" | "self_report";
+            };
+            last_updated: string | null;
+            history: {
+                value: string | number | boolean | null;
+                timestamp: string;
+                confidence: number;
+                source_observation_id: string;
+            }[];
+            weight?: number | undefined;
+            uncertainty_weight?: number | null | undefined;
+            state_integrity?: "ok" | "uncertain" | undefined;
+            dimension_mapping?: {
+                parent_dimension: string;
+                aggregation: "min" | "max" | "all_required" | "avg";
+            } | null | undefined;
+        }[];
+        created_at: string;
+        updated_at: string;
+        status?: "completed" | "active" | "cancelled" | "waiting" | "archived" | undefined;
+        uncertainty_weight?: number | undefined;
+        dimension_mapping?: {
+            parent_dimension: string;
+            aggregation: "min" | "max" | "weighted_avg" | "all_required";
+        } | null | undefined;
+        parent_id?: string | null | undefined;
+        node_type?: "goal" | "subgoal" | "milestone" | "leaf" | undefined;
+        description?: string | undefined;
+        gap_aggregation?: "max" | "weighted_avg" | "sum" | undefined;
+        constraints?: string[] | undefined;
+        children_ids?: string[] | undefined;
+        target_date?: string | null | undefined;
+        origin?: "manual" | "negotiation" | "decomposition" | "curiosity" | null | undefined;
+        pace_snapshot?: {
+            status: "on_track" | "at_risk" | "behind";
+            elapsed_ratio: number;
+            achievement_ratio: number;
+            pace_ratio: number;
+            evaluated_at: string;
+        } | null | undefined;
+        deadline?: string | null | undefined;
+        confidence_flag?: "low" | "high" | "medium" | null | undefined;
+        user_override?: boolean | undefined;
+        feasibility_note?: string | null | undefined;
+        decomposition_depth?: number | undefined;
+        specificity_score?: number | null | undefined;
+        loop_status?: "running" | "idle" | "paused" | undefined;
+    }>;
+    root_id: string;
+}>;
+export type GoalTree = z.infer<typeof GoalTreeSchema>;
+//# sourceMappingURL=goal.d.ts.map