@inflexa-ai/harness 0.1.1

package/dist/workflows/target-assessment/synthesis/index.d.ts

@@ -0,0 +1,560 @@
+/**
+ * Phase-5 synthesis functions for the harness DBOS workflow.
+ *
+ * Four functions:
+ *   - `liabilityBullets`        (per-section, parallel-safe)
+ *   - `safetyFlagsTrail`        (per-section, parallel-safe)
+ *   - `translationalCommentary` (per-section, parallel-safe)
+ *   - `dossierRecommendation`   (whole-dossier, sequential after the three above)
+ *
+ * Each function is a pure async `(input, deps) => Promise<EnvelopeWithDiagnostic>`.
+ * Every call is single-shot structured-output through `structuredLlmCall`.
+ *
+ * The `runSynthesisWithProbe` helper preserves the bounded-retry-on-probe-
+ * failure semantics: attempt 1 → probe → critique-driven retry → probe.
+ * Each attempt is its own attempt-numbered DBOS step so a resumed
+ * post-402 call lands a fresh cache slot.
+ */
+import { z } from "zod";
+import { type DossierV4Body } from "@inflexa-ai/harness/contracts/target-dossier.js";
+import type { AgentSession } from "../../../auth/types.js";
+import type { AgentChat } from "../../../providers/types.js";
+import { BUDGET_EXCEEDED_SENTINEL } from "../lib/llm-step.js";
+export declare const LiabilityBulletsOutputSchema: z.ZodObject<{
+    bullets: z.ZodArray<z.ZodObject<{
+        organ_or_axis: z.ZodString;
+        severity: z.ZodEnum<{
+            high: "high";
+            medium: "medium";
+            low: "low";
+        }>;
+        text: z.ZodString;
+        evidence_pointer: z.ZodString;
+        rationale: z.ZodString;
+        category: z.ZodEnum<{
+            other: "other";
+            fatal_post_market: "fatal_post_market";
+            class_liability: "class_liability";
+            off_target_safety: "off_target_safety";
+            high_safety_organ_expression: "high_safety_organ_expression";
+            broad_expression: "broad_expression";
+        }>;
+    }, z.core.$strip>>;
+    notes: z.ZodString;
+}, z.core.$strip>;
+export type LiabilityBulletsOutput = z.infer<typeof LiabilityBulletsOutputSchema>;
+export declare const SafetyFlagsTrailOutputSchema: z.ZodObject<{
+    flags: z.ZodArray<z.ZodObject<{
+        organ: z.ZodString;
+        trail: z.ZodString;
+        mechanism_hypothesis: z.ZodNullable<z.ZodString>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type SafetyFlagsTrailOutput = z.infer<typeof SafetyFlagsTrailOutputSchema>;
+export declare const TranslationalCommentaryOutputSchema: z.ZodObject<{
+    rows: z.ZodArray<z.ZodObject<{
+        topic: z.ZodEnum<{
+            ko_phenotype: "ko_phenotype";
+            expression_translation: "expression_translation";
+            organ_system_match: "organ_system_match";
+            family_context: "family_context";
+        }>;
+        predicate: z.ZodString;
+        commentary: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type TranslationalCommentaryOutput = z.infer<typeof TranslationalCommentaryOutputSchema>;
+export declare const ExternalCitationSchema: z.ZodObject<{
+    id: z.ZodString;
+    kind: z.ZodEnum<{
+        pubmed: "pubmed";
+        fda_anda: "fda_anda";
+        fda_nda: "fda_nda";
+        clinicaltrials: "clinicaltrials";
+        regulatory_guidance: "regulatory_guidance";
+    }>;
+    retrieved_via: z.ZodString;
+    fetched_at: z.ZodOptional<z.ZodString>;
+    excerpt: z.ZodString;
+}, z.core.$strip>;
+export type ExternalCitation = z.infer<typeof ExternalCitationSchema>;
+export declare const DossierRecommendationOutputSchema: z.ZodObject<{
+    disposition: z.ZodEnum<{
+        pursue: "pursue";
+        conditional: "conditional";
+        de_prioritize: "de_prioritize";
+        insufficient_evidence: "insufficient_evidence";
+    }>;
+    confidence: z.ZodEnum<{
+        high: "high";
+        medium: "medium";
+        low: "low";
+    }>;
+    rationale: z.ZodString;
+    key_strengths: z.ZodArray<z.ZodString>;
+    key_risks: z.ZodArray<z.ZodString>;
+    modality_choice: z.ZodObject<{
+        modality: z.ZodString;
+        rationale: z.ZodString;
+    }, z.core.$strip>;
+    coverage_qualifier: z.ZodObject<{
+        sections_consulted: z.ZodArray<z.ZodString>;
+        sections_unavailable: z.ZodArray<z.ZodString>;
+        note: z.ZodString;
+    }, z.core.$strip>;
+    external_citations: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        kind: z.ZodEnum<{
+            pubmed: "pubmed";
+            fda_anda: "fda_anda";
+            fda_nda: "fda_nda";
+            clinicaltrials: "clinicaltrials";
+            regulatory_guidance: "regulatory_guidance";
+        }>;
+        retrieved_via: z.ZodString;
+        fetched_at: z.ZodOptional<z.ZodString>;
+        excerpt: z.ZodString;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
+export type DossierRecommendationOutput = z.infer<typeof DossierRecommendationOutputSchema>;
+export declare const LiabilityBulletsStepOutputSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    coverage: z.ZodLiteral<"available">;
+    data: z.ZodObject<{
+        bullets: z.ZodArray<z.ZodObject<{
+            organ_or_axis: z.ZodString;
+            severity: z.ZodEnum<{
+                high: "high";
+                medium: "medium";
+                low: "low";
+            }>;
+            text: z.ZodString;
+            evidence_pointer: z.ZodString;
+            rationale: z.ZodString;
+            category: z.ZodEnum<{
+                other: "other";
+                fatal_post_market: "fatal_post_market";
+                class_liability: "class_liability";
+                off_target_safety: "off_target_safety";
+                high_safety_organ_expression: "high_safety_organ_expression";
+                broad_expression: "broad_expression";
+            }>;
+        }, z.core.$strip>>;
+        notes: z.ZodString;
+    }, z.core.$strip>;
+    diagnostic: z.ZodObject<{
+        step_id: z.ZodEnum<{
+            "liability-bullets": "liability-bullets";
+            "safety-flags-trail": "safety-flags-trail";
+            "translational-commentary": "translational-commentary";
+            "dossier-recommendation": "dossier-recommendation";
+        }>;
+        model_id: z.ZodString;
+        attempt_count: z.ZodNumber;
+        retry_critique: z.ZodNullable<z.ZodString>;
+        output_chars: z.ZodNumber;
+        probe_verdict: z.ZodEnum<{
+            skipped: "skipped";
+            pass: "pass";
+            "fail-length": "fail-length";
+            "fail-section-references": "fail-section-references";
+            "fail-key-strengths-risks": "fail-key-strengths-risks";
+            "fail-source-references": "fail-source-references";
+            "fail-numeric-claim": "fail-numeric-claim";
+            "fail-voice": "fail-voice";
+            relaxed: "relaxed";
+        }>;
+        final_coverage: z.ZodEnum<{
+            available: "available";
+            queried_no_data: "queried_no_data";
+        }>;
+        error_kind: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+            "synthesis-too-shallow": "synthesis-too-shallow";
+            "synthesis-unavailable": "synthesis-unavailable";
+            "voice-violation": "voice-violation";
+        }>>>;
+        error_message: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    coverage: z.ZodLiteral<"queried_no_data">;
+    error: z.ZodOptional<z.ZodObject<{
+        message: z.ZodString;
+        name: z.ZodOptional<z.ZodString>;
+        stack: z.ZodOptional<z.ZodString>;
+        kind: z.ZodOptional<z.ZodEnum<{
+            "synthesis-too-shallow": "synthesis-too-shallow";
+            "synthesis-unavailable": "synthesis-unavailable";
+            "voice-violation": "voice-violation";
+        }>>;
+    }, z.core.$strip>>;
+    diagnostic: z.ZodObject<{
+        step_id: z.ZodEnum<{
+            "liability-bullets": "liability-bullets";
+            "safety-flags-trail": "safety-flags-trail";
+            "translational-commentary": "translational-commentary";
+            "dossier-recommendation": "dossier-recommendation";
+        }>;
+        model_id: z.ZodString;
+        attempt_count: z.ZodNumber;
+        retry_critique: z.ZodNullable<z.ZodString>;
+        output_chars: z.ZodNumber;
+        probe_verdict: z.ZodEnum<{
+            skipped: "skipped";
+            pass: "pass";
+            "fail-length": "fail-length";
+            "fail-section-references": "fail-section-references";
+            "fail-key-strengths-risks": "fail-key-strengths-risks";
+            "fail-source-references": "fail-source-references";
+            "fail-numeric-claim": "fail-numeric-claim";
+            "fail-voice": "fail-voice";
+            relaxed: "relaxed";
+        }>;
+        final_coverage: z.ZodEnum<{
+            available: "available";
+            queried_no_data: "queried_no_data";
+        }>;
+        error_kind: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+            "synthesis-too-shallow": "synthesis-too-shallow";
+            "synthesis-unavailable": "synthesis-unavailable";
+            "voice-violation": "voice-violation";
+        }>>>;
+        error_message: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strip>;
+}, z.core.$strip>], "coverage">;
+export type LiabilityBulletsStepOutput = z.infer<typeof LiabilityBulletsStepOutputSchema>;
+export declare const SafetyFlagsTrailStepOutputSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    coverage: z.ZodLiteral<"available">;
+    data: z.ZodObject<{
+        flags: z.ZodArray<z.ZodObject<{
+            organ: z.ZodString;
+            trail: z.ZodString;
+            mechanism_hypothesis: z.ZodNullable<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+    diagnostic: z.ZodObject<{
+        step_id: z.ZodEnum<{
+            "liability-bullets": "liability-bullets";
+            "safety-flags-trail": "safety-flags-trail";
+            "translational-commentary": "translational-commentary";
+            "dossier-recommendation": "dossier-recommendation";
+        }>;
+        model_id: z.ZodString;
+        attempt_count: z.ZodNumber;
+        retry_critique: z.ZodNullable<z.ZodString>;
+        output_chars: z.ZodNumber;
+        probe_verdict: z.ZodEnum<{
+            skipped: "skipped";
+            pass: "pass";
+            "fail-length": "fail-length";
+            "fail-section-references": "fail-section-references";
+            "fail-key-strengths-risks": "fail-key-strengths-risks";
+            "fail-source-references": "fail-source-references";
+            "fail-numeric-claim": "fail-numeric-claim";
+            "fail-voice": "fail-voice";
+            relaxed: "relaxed";
+        }>;
+        final_coverage: z.ZodEnum<{
+            available: "available";
+            queried_no_data: "queried_no_data";
+        }>;
+        error_kind: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+            "synthesis-too-shallow": "synthesis-too-shallow";
+            "synthesis-unavailable": "synthesis-unavailable";
+            "voice-violation": "voice-violation";
+        }>>>;
+        error_message: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    coverage: z.ZodLiteral<"queried_no_data">;
+    error: z.ZodOptional<z.ZodObject<{
+        message: z.ZodString;
+        name: z.ZodOptional<z.ZodString>;
+        stack: z.ZodOptional<z.ZodString>;
+        kind: z.ZodOptional<z.ZodEnum<{
+            "synthesis-too-shallow": "synthesis-too-shallow";
+            "synthesis-unavailable": "synthesis-unavailable";
+            "voice-violation": "voice-violation";
+        }>>;
+    }, z.core.$strip>>;
+    diagnostic: z.ZodObject<{
+        step_id: z.ZodEnum<{
+            "liability-bullets": "liability-bullets";
+            "safety-flags-trail": "safety-flags-trail";
+            "translational-commentary": "translational-commentary";
+            "dossier-recommendation": "dossier-recommendation";
+        }>;
+        model_id: z.ZodString;
+        attempt_count: z.ZodNumber;
+        retry_critique: z.ZodNullable<z.ZodString>;
+        output_chars: z.ZodNumber;
+        probe_verdict: z.ZodEnum<{
+            skipped: "skipped";
+            pass: "pass";
+            "fail-length": "fail-length";
+            "fail-section-references": "fail-section-references";
+            "fail-key-strengths-risks": "fail-key-strengths-risks";
+            "fail-source-references": "fail-source-references";
+            "fail-numeric-claim": "fail-numeric-claim";
+            "fail-voice": "fail-voice";
+            relaxed: "relaxed";
+        }>;
+        final_coverage: z.ZodEnum<{
+            available: "available";
+            queried_no_data: "queried_no_data";
+        }>;
+        error_kind: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+            "synthesis-too-shallow": "synthesis-too-shallow";
+            "synthesis-unavailable": "synthesis-unavailable";
+            "voice-violation": "voice-violation";
+        }>>>;
+        error_message: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strip>;
+}, z.core.$strip>], "coverage">;
+export type SafetyFlagsTrailStepOutput = z.infer<typeof SafetyFlagsTrailStepOutputSchema>;
+export declare const TranslationalCommentaryStepOutputSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    coverage: z.ZodLiteral<"available">;
+    data: z.ZodObject<{
+        rows: z.ZodArray<z.ZodObject<{
+            topic: z.ZodEnum<{
+                ko_phenotype: "ko_phenotype";
+                expression_translation: "expression_translation";
+                organ_system_match: "organ_system_match";
+                family_context: "family_context";
+            }>;
+            predicate: z.ZodString;
+            commentary: z.ZodString;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+    diagnostic: z.ZodObject<{
+        step_id: z.ZodEnum<{
+            "liability-bullets": "liability-bullets";
+            "safety-flags-trail": "safety-flags-trail";
+            "translational-commentary": "translational-commentary";
+            "dossier-recommendation": "dossier-recommendation";
+        }>;
+        model_id: z.ZodString;
+        attempt_count: z.ZodNumber;
+        retry_critique: z.ZodNullable<z.ZodString>;
+        output_chars: z.ZodNumber;
+        probe_verdict: z.ZodEnum<{
+            skipped: "skipped";
+            pass: "pass";
+            "fail-length": "fail-length";
+            "fail-section-references": "fail-section-references";
+            "fail-key-strengths-risks": "fail-key-strengths-risks";
+            "fail-source-references": "fail-source-references";
+            "fail-numeric-claim": "fail-numeric-claim";
+            "fail-voice": "fail-voice";
+            relaxed: "relaxed";
+        }>;
+        final_coverage: z.ZodEnum<{
+            available: "available";
+            queried_no_data: "queried_no_data";
+        }>;
+        error_kind: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+            "synthesis-too-shallow": "synthesis-too-shallow";
+            "synthesis-unavailable": "synthesis-unavailable";
+            "voice-violation": "voice-violation";
+        }>>>;
+        error_message: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    coverage: z.ZodLiteral<"queried_no_data">;
+    error: z.ZodOptional<z.ZodObject<{
+        message: z.ZodString;
+        name: z.ZodOptional<z.ZodString>;
+        stack: z.ZodOptional<z.ZodString>;
+        kind: z.ZodOptional<z.ZodEnum<{
+            "synthesis-too-shallow": "synthesis-too-shallow";
+            "synthesis-unavailable": "synthesis-unavailable";
+            "voice-violation": "voice-violation";
+        }>>;
+    }, z.core.$strip>>;
+    diagnostic: z.ZodObject<{
+        step_id: z.ZodEnum<{
+            "liability-bullets": "liability-bullets";
+            "safety-flags-trail": "safety-flags-trail";
+            "translational-commentary": "translational-commentary";
+            "dossier-recommendation": "dossier-recommendation";
+        }>;
+        model_id: z.ZodString;
+        attempt_count: z.ZodNumber;
+        retry_critique: z.ZodNullable<z.ZodString>;
+        output_chars: z.ZodNumber;
+        probe_verdict: z.ZodEnum<{
+            skipped: "skipped";
+            pass: "pass";
+            "fail-length": "fail-length";
+            "fail-section-references": "fail-section-references";
+            "fail-key-strengths-risks": "fail-key-strengths-risks";
+            "fail-source-references": "fail-source-references";
+            "fail-numeric-claim": "fail-numeric-claim";
+            "fail-voice": "fail-voice";
+            relaxed: "relaxed";
+        }>;
+        final_coverage: z.ZodEnum<{
+            available: "available";
+            queried_no_data: "queried_no_data";
+        }>;
+        error_kind: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+            "synthesis-too-shallow": "synthesis-too-shallow";
+            "synthesis-unavailable": "synthesis-unavailable";
+            "voice-violation": "voice-violation";
+        }>>>;
+        error_message: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strip>;
+}, z.core.$strip>], "coverage">;
+export type TranslationalCommentaryStepOutput = z.infer<typeof TranslationalCommentaryStepOutputSchema>;
+export declare const DossierRecommendationStepOutputSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    coverage: z.ZodLiteral<"available">;
+    data: z.ZodObject<{
+        disposition: z.ZodEnum<{
+            pursue: "pursue";
+            conditional: "conditional";
+            de_prioritize: "de_prioritize";
+            insufficient_evidence: "insufficient_evidence";
+        }>;
+        confidence: z.ZodEnum<{
+            high: "high";
+            medium: "medium";
+            low: "low";
+        }>;
+        rationale: z.ZodString;
+        key_strengths: z.ZodArray<z.ZodString>;
+        key_risks: z.ZodArray<z.ZodString>;
+        modality_choice: z.ZodObject<{
+            modality: z.ZodString;
+            rationale: z.ZodString;
+        }, z.core.$strip>;
+        coverage_qualifier: z.ZodObject<{
+            sections_consulted: z.ZodArray<z.ZodString>;
+            sections_unavailable: z.ZodArray<z.ZodString>;
+            note: z.ZodString;
+        }, z.core.$strip>;
+        external_citations: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodEnum<{
+                pubmed: "pubmed";
+                fda_anda: "fda_anda";
+                fda_nda: "fda_nda";
+                clinicaltrials: "clinicaltrials";
+                regulatory_guidance: "regulatory_guidance";
+            }>;
+            retrieved_via: z.ZodString;
+            fetched_at: z.ZodOptional<z.ZodString>;
+            excerpt: z.ZodString;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>;
+    diagnostic: z.ZodObject<{
+        step_id: z.ZodEnum<{
+            "liability-bullets": "liability-bullets";
+            "safety-flags-trail": "safety-flags-trail";
+            "translational-commentary": "translational-commentary";
+            "dossier-recommendation": "dossier-recommendation";
+        }>;
+        model_id: z.ZodString;
+        attempt_count: z.ZodNumber;
+        retry_critique: z.ZodNullable<z.ZodString>;
+        output_chars: z.ZodNumber;
+        probe_verdict: z.ZodEnum<{
+            skipped: "skipped";
+            pass: "pass";
+            "fail-length": "fail-length";
+            "fail-section-references": "fail-section-references";
+            "fail-key-strengths-risks": "fail-key-strengths-risks";
+            "fail-source-references": "fail-source-references";
+            "fail-numeric-claim": "fail-numeric-claim";
+            "fail-voice": "fail-voice";
+            relaxed: "relaxed";
+        }>;
+        final_coverage: z.ZodEnum<{
+            available: "available";
+            queried_no_data: "queried_no_data";
+        }>;
+        error_kind: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+            "synthesis-too-shallow": "synthesis-too-shallow";
+            "synthesis-unavailable": "synthesis-unavailable";
+            "voice-violation": "voice-violation";
+        }>>>;
+        error_message: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    coverage: z.ZodLiteral<"queried_no_data">;
+    error: z.ZodOptional<z.ZodObject<{
+        message: z.ZodString;
+        name: z.ZodOptional<z.ZodString>;
+        stack: z.ZodOptional<z.ZodString>;
+        kind: z.ZodOptional<z.ZodEnum<{
+            "synthesis-too-shallow": "synthesis-too-shallow";
+            "synthesis-unavailable": "synthesis-unavailable";
+            "voice-violation": "voice-violation";
+        }>>;
+    }, z.core.$strip>>;
+    diagnostic: z.ZodObject<{
+        step_id: z.ZodEnum<{
+            "liability-bullets": "liability-bullets";
+            "safety-flags-trail": "safety-flags-trail";
+            "translational-commentary": "translational-commentary";
+            "dossier-recommendation": "dossier-recommendation";
+        }>;
+        model_id: z.ZodString;
+        attempt_count: z.ZodNumber;
+        retry_critique: z.ZodNullable<z.ZodString>;
+        output_chars: z.ZodNumber;
+        probe_verdict: z.ZodEnum<{
+            skipped: "skipped";
+            pass: "pass";
+            "fail-length": "fail-length";
+            "fail-section-references": "fail-section-references";
+            "fail-key-strengths-risks": "fail-key-strengths-risks";
+            "fail-source-references": "fail-source-references";
+            "fail-numeric-claim": "fail-numeric-claim";
+            "fail-voice": "fail-voice";
+            relaxed: "relaxed";
+        }>;
+        final_coverage: z.ZodEnum<{
+            available: "available";
+            queried_no_data: "queried_no_data";
+        }>;
+        error_kind: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+            "synthesis-too-shallow": "synthesis-too-shallow";
+            "synthesis-unavailable": "synthesis-unavailable";
+            "voice-violation": "voice-violation";
+        }>>>;
+        error_message: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strip>;
+}, z.core.$strip>], "coverage">;
+export type DossierRecommendationStepOutput = z.infer<typeof DossierRecommendationStepOutputSchema>;
+export interface SynthesisAgentDeps {
+    readonly chatProvider: AgentChat;
+    readonly session: AgentSession;
+    readonly model: string;
+    /** Attempt counter — bumped on resume so a 402-cancelled call lands a fresh DBOS step slot. */
+    readonly attempt: number;
+    /** Pre-fetched FDA approval-precedent markdown block, appended to every synthesis prompt. */
+    readonly approvalPrecedents: string;
+}
+export type SynthesisStepResult<TStepOutput> = TStepOutput | {
+    readonly kind: "budget-exceeded";
+    readonly sentinel: typeof BUDGET_EXCEEDED_SENTINEL;
+};
+declare function isBudgetExceeded<T>(v: SynthesisStepResult<T>): v is {
+    kind: "budget-exceeded";
+    sentinel: typeof BUDGET_EXCEEDED_SENTINEL;
+};
+interface Phase4Output {
+    readonly assessmentId: string;
+    readonly dossier: DossierV4Body;
+}
+export declare function liabilityBullets(phase4: Phase4Output, deps: SynthesisAgentDeps): Promise<SynthesisStepResult<LiabilityBulletsStepOutput>>;
+export declare function safetyFlagsTrail(phase4: Phase4Output, deps: SynthesisAgentDeps): Promise<SynthesisStepResult<SafetyFlagsTrailStepOutput>>;
+export declare function translationalCommentary(phase4: Phase4Output, deps: SynthesisAgentDeps): Promise<SynthesisStepResult<TranslationalCommentaryStepOutput>>;
+export interface DossierRecommendationInput {
+    readonly phase4: Phase4Output;
+    readonly perSection: {
+        readonly liabilityBullets: LiabilityBulletsStepOutput;
+        readonly safetyFlagsTrail: SafetyFlagsTrailStepOutput;
+        readonly translationalCommentary: TranslationalCommentaryStepOutput;
+    };
+}
+export declare function dossierRecommendation(input: DossierRecommendationInput, deps: SynthesisAgentDeps): Promise<SynthesisStepResult<DossierRecommendationStepOutput>>;
+export { isBudgetExceeded as isSynthesisBudgetExceeded };