pulseed 0.5.3 → 0.6.0

package/dist/orchestrator/loop/core-loop/phase-specs.d.ts

@@ -142,6 +142,946 @@ export declare const ReplanningOptionsSchema: z.ZodObject<{
     }[] | undefined;
 }>;
 export type ReplanningOptions = z.infer<typeof ReplanningOptionsSchema>;
+export declare const PublicResearchSourceSchema: z.ZodObject<{
+    url: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    source_type: z.ZodDefault<z.ZodEnum<["official_docs", "maintainer", "paper", "issue_thread", "example", "writeup", "other"]>>;
+    provenance: z.ZodDefault<z.ZodEnum<["quoted", "paraphrased", "summarized"]>>;
+    relevance: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    url: string;
+    source_type: "other" | "official_docs" | "maintainer" | "paper" | "issue_thread" | "example" | "writeup";
+    provenance: "quoted" | "paraphrased" | "summarized";
+    title?: string | undefined;
+    relevance?: string | undefined;
+}, {
+    url: string;
+    title?: string | undefined;
+    source_type?: "other" | "official_docs" | "maintainer" | "paper" | "issue_thread" | "example" | "writeup" | undefined;
+    provenance?: "quoted" | "paraphrased" | "summarized" | undefined;
+    relevance?: string | undefined;
+}>;
+export type PublicResearchSource = z.infer<typeof PublicResearchSourceSchema>;
+export declare const PublicResearchFindingSchema: z.ZodObject<{
+    finding: z.ZodString;
+    source_urls: z.ZodArray<z.ZodString, "many">;
+    applicability: z.ZodString;
+    risks_constraints: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    proposed_experiment: z.ZodString;
+    expected_metric_impact: z.ZodString;
+    fact_vs_adaptation: z.ZodObject<{
+        facts: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        adaptation: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        facts: string[];
+        adaptation: string;
+    }, {
+        adaptation: string;
+        facts?: string[] | undefined;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    applicability: string;
+    finding: string;
+    source_urls: string[];
+    risks_constraints: string[];
+    proposed_experiment: string;
+    expected_metric_impact: string;
+    fact_vs_adaptation: {
+        facts: string[];
+        adaptation: string;
+    };
+}, {
+    applicability: string;
+    finding: string;
+    source_urls: string[];
+    proposed_experiment: string;
+    expected_metric_impact: string;
+    fact_vs_adaptation: {
+        adaptation: string;
+        facts?: string[] | undefined;
+    };
+    risks_constraints?: string[] | undefined;
+}>;
+export type PublicResearchFinding = z.infer<typeof PublicResearchFindingSchema>;
+export declare const PublicResearchExternalActionSchema: z.ZodObject<{
+    label: z.ZodString;
+    reason: z.ZodString;
+    approval_required: z.ZodDefault<z.ZodLiteral<true>>;
+}, "strict", z.ZodTypeAny, {
+    label: string;
+    approval_required: true;
+    reason: string;
+}, {
+    label: string;
+    reason: string;
+    approval_required?: true | undefined;
+}>;
+export type PublicResearchExternalAction = z.infer<typeof PublicResearchExternalActionSchema>;
+export declare const PublicResearchEvidenceSchema: z.ZodObject<{
+    summary: z.ZodString;
+    trigger: z.ZodEnum<["plateau", "uncertainty", "knowledge_gap"]>;
+    query: z.ZodString;
+    sources: z.ZodArray<z.ZodObject<{
+        url: z.ZodString;
+        title: z.ZodOptional<z.ZodString>;
+        source_type: z.ZodDefault<z.ZodEnum<["official_docs", "maintainer", "paper", "issue_thread", "example", "writeup", "other"]>>;
+        provenance: z.ZodDefault<z.ZodEnum<["quoted", "paraphrased", "summarized"]>>;
+        relevance: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        url: string;
+        source_type: "other" | "official_docs" | "maintainer" | "paper" | "issue_thread" | "example" | "writeup";
+        provenance: "quoted" | "paraphrased" | "summarized";
+        title?: string | undefined;
+        relevance?: string | undefined;
+    }, {
+        url: string;
+        title?: string | undefined;
+        source_type?: "other" | "official_docs" | "maintainer" | "paper" | "issue_thread" | "example" | "writeup" | undefined;
+        provenance?: "quoted" | "paraphrased" | "summarized" | undefined;
+        relevance?: string | undefined;
+    }>, "many">;
+    findings: z.ZodArray<z.ZodObject<{
+        finding: z.ZodString;
+        source_urls: z.ZodArray<z.ZodString, "many">;
+        applicability: z.ZodString;
+        risks_constraints: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        proposed_experiment: z.ZodString;
+        expected_metric_impact: z.ZodString;
+        fact_vs_adaptation: z.ZodObject<{
+            facts: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            adaptation: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            facts: string[];
+            adaptation: string;
+        }, {
+            adaptation: string;
+            facts?: string[] | undefined;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        applicability: string;
+        finding: string;
+        source_urls: string[];
+        risks_constraints: string[];
+        proposed_experiment: string;
+        expected_metric_impact: string;
+        fact_vs_adaptation: {
+            facts: string[];
+            adaptation: string;
+        };
+    }, {
+        applicability: string;
+        finding: string;
+        source_urls: string[];
+        proposed_experiment: string;
+        expected_metric_impact: string;
+        fact_vs_adaptation: {
+            adaptation: string;
+            facts?: string[] | undefined;
+        };
+        risks_constraints?: string[] | undefined;
+    }>, "many">;
+    candidate_playbook: z.ZodOptional<z.ZodObject<{
+        title: z.ZodString;
+        steps: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        source_urls: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        title: string;
+        steps: string[];
+        source_urls: string[];
+    }, {
+        title: string;
+        steps?: string[] | undefined;
+        source_urls?: string[] | undefined;
+    }>>;
+    untrusted_content_policy: z.ZodDefault<z.ZodLiteral<"webpage_instructions_are_untrusted">>;
+    external_actions: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        label: z.ZodString;
+        reason: z.ZodString;
+        approval_required: z.ZodDefault<z.ZodLiteral<true>>;
+    }, "strict", z.ZodTypeAny, {
+        label: string;
+        approval_required: true;
+        reason: string;
+    }, {
+        label: string;
+        reason: string;
+        approval_required?: true | undefined;
+    }>, "many">>;
+    confidence: z.ZodDefault<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    confidence: number;
+    external_actions: {
+        label: string;
+        approval_required: true;
+        reason: string;
+    }[];
+    trigger: "plateau" | "uncertainty" | "knowledge_gap";
+    sources: {
+        url: string;
+        source_type: "other" | "official_docs" | "maintainer" | "paper" | "issue_thread" | "example" | "writeup";
+        provenance: "quoted" | "paraphrased" | "summarized";
+        title?: string | undefined;
+        relevance?: string | undefined;
+    }[];
+    summary: string;
+    query: string;
+    findings: {
+        applicability: string;
+        finding: string;
+        source_urls: string[];
+        risks_constraints: string[];
+        proposed_experiment: string;
+        expected_metric_impact: string;
+        fact_vs_adaptation: {
+            facts: string[];
+            adaptation: string;
+        };
+    }[];
+    untrusted_content_policy: "webpage_instructions_are_untrusted";
+    candidate_playbook?: {
+        title: string;
+        steps: string[];
+        source_urls: string[];
+    } | undefined;
+}, {
+    trigger: "plateau" | "uncertainty" | "knowledge_gap";
+    sources: {
+        url: string;
+        title?: string | undefined;
+        source_type?: "other" | "official_docs" | "maintainer" | "paper" | "issue_thread" | "example" | "writeup" | undefined;
+        provenance?: "quoted" | "paraphrased" | "summarized" | undefined;
+        relevance?: string | undefined;
+    }[];
+    summary: string;
+    query: string;
+    findings: {
+        applicability: string;
+        finding: string;
+        source_urls: string[];
+        proposed_experiment: string;
+        expected_metric_impact: string;
+        fact_vs_adaptation: {
+            adaptation: string;
+            facts?: string[] | undefined;
+        };
+        risks_constraints?: string[] | undefined;
+    }[];
+    confidence?: number | undefined;
+    external_actions?: {
+        label: string;
+        reason: string;
+        approval_required?: true | undefined;
+    }[] | undefined;
+    candidate_playbook?: {
+        title: string;
+        steps?: string[] | undefined;
+        source_urls?: string[] | undefined;
+    } | undefined;
+    untrusted_content_policy?: "webpage_instructions_are_untrusted" | undefined;
+}>;
+export type PublicResearchEvidence = z.infer<typeof PublicResearchEvidenceSchema>;
+export declare const DreamReviewCheckpointTriggerSchema: z.ZodEnum<["iteration", "plateau", "breakthrough", "pre_finalization"]>;
+export type DreamReviewCheckpointTrigger = z.infer<typeof DreamReviewCheckpointTriggerSchema>;
+export declare const DreamReviewMemoryRefSchema: z.ZodObject<{
+    source_type: z.ZodEnum<["soil", "playbook", "runtime_evidence", "other"]>;
+    ref: z.ZodOptional<z.ZodString>;
+    summary: z.ZodString;
+    authority: z.ZodDefault<z.ZodLiteral<"advisory_only">>;
+    relevance_score: z.ZodOptional<z.ZodNumber>;
+    source_reliability: z.ZodOptional<z.ZodNumber>;
+    recency_score: z.ZodOptional<z.ZodNumber>;
+    prior_success_contribution: z.ZodOptional<z.ZodNumber>;
+    retrieval: z.ZodOptional<z.ZodObject<{
+        kind: z.ZodDefault<z.ZodEnum<["route_hit", "fallback_hit", "checkpoint", "manual", "unknown"]>>;
+        score: z.ZodOptional<z.ZodNumber>;
+        confidence: z.ZodOptional<z.ZodNumber>;
+    }, "strict", z.ZodTypeAny, {
+        kind: "unknown" | "manual" | "checkpoint" | "route_hit" | "fallback_hit";
+        confidence?: number | undefined;
+        score?: number | undefined;
+    }, {
+        confidence?: number | undefined;
+        score?: number | undefined;
+        kind?: "unknown" | "manual" | "checkpoint" | "route_hit" | "fallback_hit" | undefined;
+    }>>;
+    ranking_trace: z.ZodOptional<z.ZodObject<{
+        score: z.ZodNumber;
+        decision: z.ZodEnum<["admitted", "rejected"]>;
+        reason: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        reason: string;
+        score: number;
+        decision: "rejected" | "admitted";
+    }, {
+        reason: string;
+        score: number;
+        decision: "rejected" | "admitted";
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    summary: string;
+    source_type: "other" | "soil" | "playbook" | "runtime_evidence";
+    authority: "advisory_only";
+    recency_score?: number | undefined;
+    ref?: string | undefined;
+    relevance_score?: number | undefined;
+    source_reliability?: number | undefined;
+    prior_success_contribution?: number | undefined;
+    retrieval?: {
+        kind: "unknown" | "manual" | "checkpoint" | "route_hit" | "fallback_hit";
+        confidence?: number | undefined;
+        score?: number | undefined;
+    } | undefined;
+    ranking_trace?: {
+        reason: string;
+        score: number;
+        decision: "rejected" | "admitted";
+    } | undefined;
+}, {
+    summary: string;
+    source_type: "other" | "soil" | "playbook" | "runtime_evidence";
+    recency_score?: number | undefined;
+    ref?: string | undefined;
+    authority?: "advisory_only" | undefined;
+    relevance_score?: number | undefined;
+    source_reliability?: number | undefined;
+    prior_success_contribution?: number | undefined;
+    retrieval?: {
+        confidence?: number | undefined;
+        score?: number | undefined;
+        kind?: "unknown" | "manual" | "checkpoint" | "route_hit" | "fallback_hit" | undefined;
+    } | undefined;
+    ranking_trace?: {
+        reason: string;
+        score: number;
+        decision: "rejected" | "admitted";
+    } | undefined;
+}>;
+export type DreamReviewMemoryRef = z.infer<typeof DreamReviewMemoryRefSchema>;
+export declare const DreamReviewStrategyCandidateSchema: z.ZodObject<{
+    title: z.ZodString;
+    rationale: z.ZodString;
+    target_dimensions: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    expected_evidence_gain: z.ZodOptional<z.ZodString>;
+    retry_reason: z.ZodOptional<z.ZodString>;
+    failed_lineage_warning: z.ZodOptional<z.ZodObject<{
+        fingerprint: z.ZodString;
+        count: z.ZodNumber;
+        reason: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        reason: string;
+        count: number;
+        fingerprint: string;
+    }, {
+        reason: string;
+        count: number;
+        fingerprint: string;
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    title: string;
+    target_dimensions: string[];
+    rationale: string;
+    expected_evidence_gain?: string | undefined;
+    retry_reason?: string | undefined;
+    failed_lineage_warning?: {
+        reason: string;
+        count: number;
+        fingerprint: string;
+    } | undefined;
+}, {
+    title: string;
+    rationale: string;
+    target_dimensions?: string[] | undefined;
+    expected_evidence_gain?: string | undefined;
+    retry_reason?: string | undefined;
+    failed_lineage_warning?: {
+        reason: string;
+        count: number;
+        fingerprint: string;
+    } | undefined;
+}>;
+export type DreamReviewStrategyCandidate = z.infer<typeof DreamReviewStrategyCandidateSchema>;
+export declare const DreamReviewFailedLineageSchema: z.ZodObject<{
+    fingerprint: z.ZodString;
+    count: z.ZodNumber;
+    last_seen_at: z.ZodString;
+    strategy_family: z.ZodOptional<z.ZodString>;
+    hypothesis: z.ZodOptional<z.ZodString>;
+    primary_dimension: z.ZodOptional<z.ZodString>;
+    task_action: z.ZodOptional<z.ZodString>;
+    failure_reason: z.ZodOptional<z.ZodString>;
+    representative_entry_id: z.ZodString;
+    representative_summary: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    count: number;
+    fingerprint: string;
+    last_seen_at: string;
+    representative_entry_id: string;
+    representative_summary: string;
+    primary_dimension?: string | undefined;
+    strategy_family?: string | undefined;
+    hypothesis?: string | undefined;
+    task_action?: string | undefined;
+    failure_reason?: string | undefined;
+}, {
+    count: number;
+    fingerprint: string;
+    last_seen_at: string;
+    representative_entry_id: string;
+    representative_summary: string;
+    primary_dimension?: string | undefined;
+    strategy_family?: string | undefined;
+    hypothesis?: string | undefined;
+    task_action?: string | undefined;
+    failure_reason?: string | undefined;
+}>;
+export type DreamReviewFailedLineage = z.infer<typeof DreamReviewFailedLineageSchema>;
+export declare const DreamReviewActiveHypothesisSchema: z.ZodObject<{
+    hypothesis: z.ZodString;
+    supporting_evidence_ref: z.ZodOptional<z.ZodString>;
+    target_metric_or_dimension: z.ZodString;
+    expected_next_observation: z.ZodString;
+    status: z.ZodDefault<z.ZodEnum<["active", "testing", "supported", "weakened"]>>;
+}, "strict", z.ZodTypeAny, {
+    status: "active" | "testing" | "supported" | "weakened";
+    hypothesis: string;
+    target_metric_or_dimension: string;
+    expected_next_observation: string;
+    supporting_evidence_ref?: string | undefined;
+}, {
+    hypothesis: string;
+    target_metric_or_dimension: string;
+    expected_next_observation: string;
+    status?: "active" | "testing" | "supported" | "weakened" | undefined;
+    supporting_evidence_ref?: string | undefined;
+}>;
+export type DreamReviewActiveHypothesis = z.infer<typeof DreamReviewActiveHypothesisSchema>;
+export declare const DreamReviewRejectedApproachSchema: z.ZodObject<{
+    approach: z.ZodString;
+    rejection_reason: z.ZodString;
+    evidence_ref: z.ZodOptional<z.ZodString>;
+    revisit_condition: z.ZodOptional<z.ZodString>;
+    confidence: z.ZodDefault<z.ZodNumber>;
+}, "strict", z.ZodTypeAny, {
+    confidence: number;
+    approach: string;
+    rejection_reason: string;
+    evidence_ref?: string | undefined;
+    revisit_condition?: string | undefined;
+}, {
+    approach: string;
+    rejection_reason: string;
+    confidence?: number | undefined;
+    evidence_ref?: string | undefined;
+    revisit_condition?: string | undefined;
+}>;
+export type DreamReviewRejectedApproach = z.infer<typeof DreamReviewRejectedApproachSchema>;
+export declare const DreamRunControlRecommendationActionSchema: z.ZodEnum<["stay_current_mode", "widen_exploration", "consolidate_candidates", "freeze_experiment_queue", "enter_finalization", "preserve_near_miss_candidates", "retire_low_value_lineage", "request_operator_approval"]>;
+export type DreamRunControlRecommendationAction = z.infer<typeof DreamRunControlRecommendationActionSchema>;
+export declare const DreamRunControlEvidenceRefSchema: z.ZodObject<{
+    kind: z.ZodEnum<["metric", "artifact", "lineage", "task_history", "deadline", "external_feedback", "memory", "runtime_state"]>;
+    ref: z.ZodOptional<z.ZodString>;
+    summary: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    kind: "deadline" | "metric" | "memory" | "artifact" | "lineage" | "task_history" | "external_feedback" | "runtime_state";
+    summary: string;
+    ref?: string | undefined;
+}, {
+    kind: "deadline" | "metric" | "memory" | "artifact" | "lineage" | "task_history" | "external_feedback" | "runtime_state";
+    summary: string;
+    ref?: string | undefined;
+}>;
+export type DreamRunControlEvidenceRef = z.infer<typeof DreamRunControlEvidenceRefSchema>;
+export declare const DreamRunControlPolicyDecisionSchema: z.ZodObject<{
+    disposition: z.ZodEnum<["auto_apply", "approval_required", "advisory_only"]>;
+    reason: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    reason: string;
+    disposition: "approval_required" | "advisory_only" | "auto_apply";
+}, {
+    reason: string;
+    disposition: "approval_required" | "advisory_only" | "auto_apply";
+}>;
+export type DreamRunControlPolicyDecision = z.infer<typeof DreamRunControlPolicyDecisionSchema>;
+export declare const DreamRunControlRecommendationSchema: z.ZodObject<{
+    id: z.ZodOptional<z.ZodString>;
+    action: z.ZodEnum<["stay_current_mode", "widen_exploration", "consolidate_candidates", "freeze_experiment_queue", "enter_finalization", "preserve_near_miss_candidates", "retire_low_value_lineage", "request_operator_approval"]>;
+    rationale: z.ZodString;
+    evidence: z.ZodArray<z.ZodObject<{
+        kind: z.ZodEnum<["metric", "artifact", "lineage", "task_history", "deadline", "external_feedback", "memory", "runtime_state"]>;
+        ref: z.ZodOptional<z.ZodString>;
+        summary: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        kind: "deadline" | "metric" | "memory" | "artifact" | "lineage" | "task_history" | "external_feedback" | "runtime_state";
+        summary: string;
+        ref?: string | undefined;
+    }, {
+        kind: "deadline" | "metric" | "memory" | "artifact" | "lineage" | "task_history" | "external_feedback" | "runtime_state";
+        summary: string;
+        ref?: string | undefined;
+    }>, "many">;
+    target_mode: z.ZodOptional<z.ZodEnum<["exploration", "consolidation", "finalization"]>>;
+    target_strategy_family: z.ZodOptional<z.ZodString>;
+    candidate_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    lineage_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    approval_required: z.ZodDefault<z.ZodBoolean>;
+    risk: z.ZodDefault<z.ZodEnum<["low", "medium", "high"]>>;
+    confidence: z.ZodDefault<z.ZodNumber>;
+    policy_decision: z.ZodOptional<z.ZodObject<{
+        disposition: z.ZodEnum<["auto_apply", "approval_required", "advisory_only"]>;
+        reason: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        reason: string;
+        disposition: "approval_required" | "advisory_only" | "auto_apply";
+    }, {
+        reason: string;
+        disposition: "approval_required" | "advisory_only" | "auto_apply";
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    confidence: number;
+    approval_required: boolean;
+    rationale: string;
+    evidence: {
+        kind: "deadline" | "metric" | "memory" | "artifact" | "lineage" | "task_history" | "external_feedback" | "runtime_state";
+        summary: string;
+        ref?: string | undefined;
+    }[];
+    action: "stay_current_mode" | "widen_exploration" | "consolidate_candidates" | "freeze_experiment_queue" | "enter_finalization" | "preserve_near_miss_candidates" | "retire_low_value_lineage" | "request_operator_approval";
+    candidate_refs: string[];
+    lineage_refs: string[];
+    risk: "low" | "high" | "medium";
+    id?: string | undefined;
+    target_mode?: "exploration" | "consolidation" | "finalization" | undefined;
+    target_strategy_family?: string | undefined;
+    policy_decision?: {
+        reason: string;
+        disposition: "approval_required" | "advisory_only" | "auto_apply";
+    } | undefined;
+}, {
+    rationale: string;
+    evidence: {
+        kind: "deadline" | "metric" | "memory" | "artifact" | "lineage" | "task_history" | "external_feedback" | "runtime_state";
+        summary: string;
+        ref?: string | undefined;
+    }[];
+    action: "stay_current_mode" | "widen_exploration" | "consolidate_candidates" | "freeze_experiment_queue" | "enter_finalization" | "preserve_near_miss_candidates" | "retire_low_value_lineage" | "request_operator_approval";
+    confidence?: number | undefined;
+    id?: string | undefined;
+    approval_required?: boolean | undefined;
+    target_mode?: "exploration" | "consolidation" | "finalization" | undefined;
+    target_strategy_family?: string | undefined;
+    candidate_refs?: string[] | undefined;
+    lineage_refs?: string[] | undefined;
+    risk?: "low" | "high" | "medium" | undefined;
+    policy_decision?: {
+        reason: string;
+        disposition: "approval_required" | "advisory_only" | "auto_apply";
+    } | undefined;
+}>;
+export type DreamRunControlRecommendation = z.infer<typeof DreamRunControlRecommendationSchema>;
+export declare const DreamReviewCheckpointEvidenceSchema: z.ZodObject<{
+    summary: z.ZodString;
+    trigger: z.ZodEnum<["iteration", "plateau", "breakthrough", "pre_finalization"]>;
+    current_goal: z.ZodString;
+    active_dimensions: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    best_evidence_so_far: z.ZodOptional<z.ZodString>;
+    recent_strategy_families: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    exhausted: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    promising: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    relevant_memories: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        source_type: z.ZodEnum<["soil", "playbook", "runtime_evidence", "other"]>;
+        ref: z.ZodOptional<z.ZodString>;
+        summary: z.ZodString;
+        authority: z.ZodDefault<z.ZodLiteral<"advisory_only">>;
+        relevance_score: z.ZodOptional<z.ZodNumber>;
+        source_reliability: z.ZodOptional<z.ZodNumber>;
+        recency_score: z.ZodOptional<z.ZodNumber>;
+        prior_success_contribution: z.ZodOptional<z.ZodNumber>;
+        retrieval: z.ZodOptional<z.ZodObject<{
+            kind: z.ZodDefault<z.ZodEnum<["route_hit", "fallback_hit", "checkpoint", "manual", "unknown"]>>;
+            score: z.ZodOptional<z.ZodNumber>;
+            confidence: z.ZodOptional<z.ZodNumber>;
+        }, "strict", z.ZodTypeAny, {
+            kind: "unknown" | "manual" | "checkpoint" | "route_hit" | "fallback_hit";
+            confidence?: number | undefined;
+            score?: number | undefined;
+        }, {
+            confidence?: number | undefined;
+            score?: number | undefined;
+            kind?: "unknown" | "manual" | "checkpoint" | "route_hit" | "fallback_hit" | undefined;
+        }>>;
+        ranking_trace: z.ZodOptional<z.ZodObject<{
+            score: z.ZodNumber;
+            decision: z.ZodEnum<["admitted", "rejected"]>;
+            reason: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            reason: string;
+            score: number;
+            decision: "rejected" | "admitted";
+        }, {
+            reason: string;
+            score: number;
+            decision: "rejected" | "admitted";
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        summary: string;
+        source_type: "other" | "soil" | "playbook" | "runtime_evidence";
+        authority: "advisory_only";
+        recency_score?: number | undefined;
+        ref?: string | undefined;
+        relevance_score?: number | undefined;
+        source_reliability?: number | undefined;
+        prior_success_contribution?: number | undefined;
+        retrieval?: {
+            kind: "unknown" | "manual" | "checkpoint" | "route_hit" | "fallback_hit";
+            confidence?: number | undefined;
+            score?: number | undefined;
+        } | undefined;
+        ranking_trace?: {
+            reason: string;
+            score: number;
+            decision: "rejected" | "admitted";
+        } | undefined;
+    }, {
+        summary: string;
+        source_type: "other" | "soil" | "playbook" | "runtime_evidence";
+        recency_score?: number | undefined;
+        ref?: string | undefined;
+        authority?: "advisory_only" | undefined;
+        relevance_score?: number | undefined;
+        source_reliability?: number | undefined;
+        prior_success_contribution?: number | undefined;
+        retrieval?: {
+            confidence?: number | undefined;
+            score?: number | undefined;
+            kind?: "unknown" | "manual" | "checkpoint" | "route_hit" | "fallback_hit" | undefined;
+        } | undefined;
+        ranking_trace?: {
+            reason: string;
+            score: number;
+            decision: "rejected" | "admitted";
+        } | undefined;
+    }>, "many">>;
+    active_hypotheses: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        hypothesis: z.ZodString;
+        supporting_evidence_ref: z.ZodOptional<z.ZodString>;
+        target_metric_or_dimension: z.ZodString;
+        expected_next_observation: z.ZodString;
+        status: z.ZodDefault<z.ZodEnum<["active", "testing", "supported", "weakened"]>>;
+    }, "strict", z.ZodTypeAny, {
+        status: "active" | "testing" | "supported" | "weakened";
+        hypothesis: string;
+        target_metric_or_dimension: string;
+        expected_next_observation: string;
+        supporting_evidence_ref?: string | undefined;
+    }, {
+        hypothesis: string;
+        target_metric_or_dimension: string;
+        expected_next_observation: string;
+        status?: "active" | "testing" | "supported" | "weakened" | undefined;
+        supporting_evidence_ref?: string | undefined;
+    }>, "many">>;
+    rejected_approaches: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        approach: z.ZodString;
+        rejection_reason: z.ZodString;
+        evidence_ref: z.ZodOptional<z.ZodString>;
+        revisit_condition: z.ZodOptional<z.ZodString>;
+        confidence: z.ZodDefault<z.ZodNumber>;
+    }, "strict", z.ZodTypeAny, {
+        confidence: number;
+        approach: string;
+        rejection_reason: string;
+        evidence_ref?: string | undefined;
+        revisit_condition?: string | undefined;
+    }, {
+        approach: string;
+        rejection_reason: string;
+        confidence?: number | undefined;
+        evidence_ref?: string | undefined;
+        revisit_condition?: string | undefined;
+    }>, "many">>;
+    next_strategy_candidates: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        title: z.ZodString;
+        rationale: z.ZodString;
+        target_dimensions: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        expected_evidence_gain: z.ZodOptional<z.ZodString>;
+        retry_reason: z.ZodOptional<z.ZodString>;
+        failed_lineage_warning: z.ZodOptional<z.ZodObject<{
+            fingerprint: z.ZodString;
+            count: z.ZodNumber;
+            reason: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            reason: string;
+            count: number;
+            fingerprint: string;
+        }, {
+            reason: string;
+            count: number;
+            fingerprint: string;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        title: string;
+        target_dimensions: string[];
+        rationale: string;
+        expected_evidence_gain?: string | undefined;
+        retry_reason?: string | undefined;
+        failed_lineage_warning?: {
+            reason: string;
+            count: number;
+            fingerprint: string;
+        } | undefined;
+    }, {
+        title: string;
+        rationale: string;
+        target_dimensions?: string[] | undefined;
+        expected_evidence_gain?: string | undefined;
+        retry_reason?: string | undefined;
+        failed_lineage_warning?: {
+            reason: string;
+            count: number;
+            fingerprint: string;
+        } | undefined;
+    }>, "many">>;
+    run_control_recommendations: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        action: z.ZodEnum<["stay_current_mode", "widen_exploration", "consolidate_candidates", "freeze_experiment_queue", "enter_finalization", "preserve_near_miss_candidates", "retire_low_value_lineage", "request_operator_approval"]>;
+        rationale: z.ZodString;
+        evidence: z.ZodArray<z.ZodObject<{
+            kind: z.ZodEnum<["metric", "artifact", "lineage", "task_history", "deadline", "external_feedback", "memory", "runtime_state"]>;
+            ref: z.ZodOptional<z.ZodString>;
+            summary: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            kind: "deadline" | "metric" | "memory" | "artifact" | "lineage" | "task_history" | "external_feedback" | "runtime_state";
+            summary: string;
+            ref?: string | undefined;
+        }, {
+            kind: "deadline" | "metric" | "memory" | "artifact" | "lineage" | "task_history" | "external_feedback" | "runtime_state";
+            summary: string;
+            ref?: string | undefined;
+        }>, "many">;
+        target_mode: z.ZodOptional<z.ZodEnum<["exploration", "consolidation", "finalization"]>>;
+        target_strategy_family: z.ZodOptional<z.ZodString>;
+        candidate_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        lineage_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        approval_required: z.ZodDefault<z.ZodBoolean>;
+        risk: z.ZodDefault<z.ZodEnum<["low", "medium", "high"]>>;
+        confidence: z.ZodDefault<z.ZodNumber>;
+        policy_decision: z.ZodOptional<z.ZodObject<{
+            disposition: z.ZodEnum<["auto_apply", "approval_required", "advisory_only"]>;
+            reason: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            reason: string;
+            disposition: "approval_required" | "advisory_only" | "auto_apply";
+        }, {
+            reason: string;
+            disposition: "approval_required" | "advisory_only" | "auto_apply";
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        confidence: number;
+        approval_required: boolean;
+        rationale: string;
+        evidence: {
+            kind: "deadline" | "metric" | "memory" | "artifact" | "lineage" | "task_history" | "external_feedback" | "runtime_state";
+            summary: string;
+            ref?: string | undefined;
+        }[];
+        action: "stay_current_mode" | "widen_exploration" | "consolidate_candidates" | "freeze_experiment_queue" | "enter_finalization" | "preserve_near_miss_candidates" | "retire_low_value_lineage" | "request_operator_approval";
+        candidate_refs: string[];
+        lineage_refs: string[];
+        risk: "low" | "high" | "medium";
+        id?: string | undefined;
+        target_mode?: "exploration" | "consolidation" | "finalization" | undefined;
+        target_strategy_family?: string | undefined;
+        policy_decision?: {
+            reason: string;
+            disposition: "approval_required" | "advisory_only" | "auto_apply";
+        } | undefined;
+    }, {
+        rationale: string;
+        evidence: {
+            kind: "deadline" | "metric" | "memory" | "artifact" | "lineage" | "task_history" | "external_feedback" | "runtime_state";
+            summary: string;
+            ref?: string | undefined;
+        }[];
+        action: "stay_current_mode" | "widen_exploration" | "consolidate_candidates" | "freeze_experiment_queue" | "enter_finalization" | "preserve_near_miss_candidates" | "retire_low_value_lineage" | "request_operator_approval";
+        confidence?: number | undefined;
+        id?: string | undefined;
+        approval_required?: boolean | undefined;
+        target_mode?: "exploration" | "consolidation" | "finalization" | undefined;
+        target_strategy_family?: string | undefined;
+        candidate_refs?: string[] | undefined;
+        lineage_refs?: string[] | undefined;
+        risk?: "low" | "high" | "medium" | undefined;
+        policy_decision?: {
+            reason: string;
+            disposition: "approval_required" | "advisory_only" | "auto_apply";
+        } | undefined;
+    }>, "many">>;
+    guidance: z.ZodString;
+    uncertainty: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    context_authority: z.ZodDefault<z.ZodLiteral<"advisory_only">>;
+    confidence: z.ZodDefault<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    confidence: number;
+    trigger: "iteration" | "breakthrough" | "plateau" | "pre_finalization";
+    summary: string;
+    uncertainty: string[];
+    current_goal: string;
+    active_dimensions: string[];
+    recent_strategy_families: string[];
+    exhausted: string[];
+    promising: string[];
+    relevant_memories: {
+        summary: string;
+        source_type: "other" | "soil" | "playbook" | "runtime_evidence";
+        authority: "advisory_only";
+        recency_score?: number | undefined;
+        ref?: string | undefined;
+        relevance_score?: number | undefined;
+        source_reliability?: number | undefined;
+        prior_success_contribution?: number | undefined;
+        retrieval?: {
+            kind: "unknown" | "manual" | "checkpoint" | "route_hit" | "fallback_hit";
+            confidence?: number | undefined;
+            score?: number | undefined;
+        } | undefined;
+        ranking_trace?: {
+            reason: string;
+            score: number;
+            decision: "rejected" | "admitted";
+        } | undefined;
+    }[];
+    active_hypotheses: {
+        status: "active" | "testing" | "supported" | "weakened";
+        hypothesis: string;
+        target_metric_or_dimension: string;
+        expected_next_observation: string;
+        supporting_evidence_ref?: string | undefined;
+    }[];
+    rejected_approaches: {
+        confidence: number;
+        approach: string;
+        rejection_reason: string;
+        evidence_ref?: string | undefined;
+        revisit_condition?: string | undefined;
+    }[];
+    next_strategy_candidates: {
+        title: string;
+        target_dimensions: string[];
+        rationale: string;
+        expected_evidence_gain?: string | undefined;
+        retry_reason?: string | undefined;
+        failed_lineage_warning?: {
+            reason: string;
+            count: number;
+            fingerprint: string;
+        } | undefined;
+    }[];
+    run_control_recommendations: {
+        confidence: number;
+        approval_required: boolean;
+        rationale: string;
+        evidence: {
+            kind: "deadline" | "metric" | "memory" | "artifact" | "lineage" | "task_history" | "external_feedback" | "runtime_state";
+            summary: string;
+            ref?: string | undefined;
+        }[];
+        action: "stay_current_mode" | "widen_exploration" | "consolidate_candidates" | "freeze_experiment_queue" | "enter_finalization" | "preserve_near_miss_candidates" | "retire_low_value_lineage" | "request_operator_approval";
+        candidate_refs: string[];
+        lineage_refs: string[];
+        risk: "low" | "high" | "medium";
+        id?: string | undefined;
+        target_mode?: "exploration" | "consolidation" | "finalization" | undefined;
+        target_strategy_family?: string | undefined;
+        policy_decision?: {
+            reason: string;
+            disposition: "approval_required" | "advisory_only" | "auto_apply";
+        } | undefined;
+    }[];
+    guidance: string;
+    context_authority: "advisory_only";
+    best_evidence_so_far?: string | undefined;
+}, {
+    trigger: "iteration" | "breakthrough" | "plateau" | "pre_finalization";
+    summary: string;
+    current_goal: string;
+    guidance: string;
+    confidence?: number | undefined;
+    uncertainty?: string[] | undefined;
+    active_dimensions?: string[] | undefined;
+    best_evidence_so_far?: string | undefined;
+    recent_strategy_families?: string[] | undefined;
+    exhausted?: string[] | undefined;
+    promising?: string[] | undefined;
+    relevant_memories?: {
+        summary: string;
+        source_type: "other" | "soil" | "playbook" | "runtime_evidence";
+        recency_score?: number | undefined;
+        ref?: string | undefined;
+        authority?: "advisory_only" | undefined;
+        relevance_score?: number | undefined;
+        source_reliability?: number | undefined;
+        prior_success_contribution?: number | undefined;
+        retrieval?: {
+            confidence?: number | undefined;
+            score?: number | undefined;
+            kind?: "unknown" | "manual" | "checkpoint" | "route_hit" | "fallback_hit" | undefined;
+        } | undefined;
+        ranking_trace?: {
+            reason: string;
+            score: number;
+            decision: "rejected" | "admitted";
+        } | undefined;
+    }[] | undefined;
+    active_hypotheses?: {
+        hypothesis: string;
+        target_metric_or_dimension: string;
+        expected_next_observation: string;
+        status?: "active" | "testing" | "supported" | "weakened" | undefined;
+        supporting_evidence_ref?: string | undefined;
+    }[] | undefined;
+    rejected_approaches?: {
+        approach: string;
+        rejection_reason: string;
+        confidence?: number | undefined;
+        evidence_ref?: string | undefined;
+        revisit_condition?: string | undefined;
+    }[] | undefined;
+    next_strategy_candidates?: {
+        title: string;
+        rationale: string;
+        target_dimensions?: string[] | undefined;
+        expected_evidence_gain?: string | undefined;
+        retry_reason?: string | undefined;
+        failed_lineage_warning?: {
+            reason: string;
+            count: number;
+            fingerprint: string;
+        } | undefined;
+    }[] | undefined;
+    run_control_recommendations?: {
+        rationale: string;
+        evidence: {
+            kind: "deadline" | "metric" | "memory" | "artifact" | "lineage" | "task_history" | "external_feedback" | "runtime_state";
+            summary: string;
+            ref?: string | undefined;
+        }[];
+        action: "stay_current_mode" | "widen_exploration" | "consolidate_candidates" | "freeze_experiment_queue" | "enter_finalization" | "preserve_near_miss_candidates" | "retire_low_value_lineage" | "request_operator_approval";
+        confidence?: number | undefined;
+        id?: string | undefined;
+        approval_required?: boolean | undefined;
+        target_mode?: "exploration" | "consolidation" | "finalization" | undefined;
+        target_strategy_family?: string | undefined;
+        candidate_refs?: string[] | undefined;
+        lineage_refs?: string[] | undefined;
+        risk?: "low" | "high" | "medium" | undefined;
+        policy_decision?: {
+            reason: string;
+            disposition: "approval_required" | "advisory_only" | "auto_apply";
+        } | undefined;
+    }[] | undefined;
+    context_authority?: "advisory_only" | undefined;
+}>;
+export type DreamReviewCheckpointEvidence = z.infer<typeof DreamReviewCheckpointEvidenceSchema>;
 export declare const VerificationEvidenceSchema: z.ZodObject<{
     summary: z.ZodString;
     supported_claims: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
@@ -151,15 +1091,15 @@ export declare const VerificationEvidenceSchema: z.ZodObject<{
 }, "strip", z.ZodTypeAny, {
     confidence: number;
     summary: string;
-    blockers: string[];
     supported_claims: string[];
     unsupported_claims: string[];
+    blockers: string[];
 }, {
     summary: string;
     confidence?: number | undefined;
-    blockers?: string[] | undefined;
     supported_claims?: string[] | undefined;
     unsupported_claims?: string[] | undefined;
+    blockers?: string[] | undefined;
 }>;
 export type VerificationEvidence = z.infer<typeof VerificationEvidenceSchema>;
 declare function baseSpec<TInput, TOutput>(input: {
@@ -205,6 +1145,33 @@ export declare function buildReplanningOptionsSpec(): ReturnType<typeof baseSpec
     gapAggregate: number;
     currentApproach?: string;
 }, ReplanningOptions>>;
+export declare function buildDreamReviewCheckpointSpec(): ReturnType<typeof baseSpec<{
+    goalTitle: string;
+    trigger: DreamReviewCheckpointTrigger;
+    reason: string;
+    activeDimensions: string[];
+    bestEvidenceSummary?: string;
+    recentStrategyFamilies: string[];
+    activeHypotheses: DreamReviewActiveHypothesis[];
+    rejectedApproaches: DreamReviewRejectedApproach[];
+    failedLineages: DreamReviewFailedLineage[];
+    metricTrendSummary?: string;
+    finalizationReason?: string;
+    currentExecutionMode?: "exploration" | "consolidation" | "finalization";
+    runControlPolicy: "auto_apply_low_risk_require_approval_for_high_cost_or_irreversible";
+    memoryAuthorityPolicy: "soil_and_playbooks_are_advisory_only";
+    maxGuidanceItems: number;
+}, DreamReviewCheckpointEvidence>>;
+export declare function buildPublicResearchSpec(): ReturnType<typeof baseSpec<{
+    goalTitle: string;
+    trigger: "plateau" | "uncertainty" | "knowledge_gap";
+    question: string;
+    targetDimensions: string[];
+    sourcePreference: string[];
+    maxSources: number;
+    sensitiveContextPolicy: "do_not_send_secrets_or_private_artifacts";
+    untrustedContentPolicy: "webpage_instructions_are_untrusted";
+}, PublicResearchEvidence>>;
 export declare function buildVerificationEvidenceSpec(requiredTools?: readonly string[]): CorePhaseSpec<{
     taskId: string;
     taskDescription: string;