@neuraloom/contracts 0.0.0-stage → 0.1.23

package/dist/schemas/workflow/workflow-doctor.schema.d.ts

@@ -0,0 +1,942 @@
+/**
+ * WorkflowDoctorReport — schema for the /workflow/doctor API route and page.
+ *
+ * Shows per-step: expected stages (from registry), actual artifact status in the DB,
+ * missing stages, extra stages, wrong-variant artifacts, stale artifacts,
+ * and completion result summary.
+ */
+import { z } from 'zod';
+export declare const WorkflowDoctorStageStatusSchema: z.ZodEnum<["present_accepted", "present_pending", "present_rejected", "missing", "extra", "wrong_variant", "stale"]>;
+export type WorkflowDoctorStageStatus = z.infer<typeof WorkflowDoctorStageStatusSchema>;
+export declare const WorkflowDoctorStageReportSchema: z.ZodObject<{
+    stageId: z.ZodString;
+    label: z.ZodString;
+    status: z.ZodEnum<["present_accepted", "present_pending", "present_rejected", "missing", "extra", "wrong_variant", "stale"]>;
+    /** Artifact ID from the DB, if found. */
+    artifactId: z.ZodOptional<z.ZodString>;
+    /** Guardian score of the latest artifact, if found. */
+    guardianScore: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+    /** workflow_variant on the artifact row (may differ from project resolved variant). */
+    artifactVariant: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    /** True if this stage was expected by the registry. */
+    expected: z.ZodBoolean;
+    /** True if this stage was found in the DB but not declared in the registry for this variant. */
+    extra: z.ZodBoolean;
+    /** True if source artifact has changed since this artifact was created. */
+    stale: z.ZodBoolean;
+}, "strip", z.ZodTypeAny, {
+    expected: boolean;
+    status: "stale" | "missing" | "extra" | "present_accepted" | "present_pending" | "present_rejected" | "wrong_variant";
+    stale: boolean;
+    stageId: string;
+    label: string;
+    extra: boolean;
+    artifactId?: string | undefined;
+    guardianScore?: number | null | undefined;
+    artifactVariant?: string | null | undefined;
+}, {
+    expected: boolean;
+    status: "stale" | "missing" | "extra" | "present_accepted" | "present_pending" | "present_rejected" | "wrong_variant";
+    stale: boolean;
+    stageId: string;
+    label: string;
+    extra: boolean;
+    artifactId?: string | undefined;
+    guardianScore?: number | null | undefined;
+    artifactVariant?: string | null | undefined;
+}>;
+export type WorkflowDoctorStageReport = z.infer<typeof WorkflowDoctorStageReportSchema>;
+export declare const WorkflowDoctorStepReportSchema: z.ZodObject<{
+    stepId: z.ZodString;
+    label: z.ZodString;
+    stages: z.ZodArray<z.ZodObject<{
+        stageId: z.ZodString;
+        label: z.ZodString;
+        status: z.ZodEnum<["present_accepted", "present_pending", "present_rejected", "missing", "extra", "wrong_variant", "stale"]>;
+        /** Artifact ID from the DB, if found. */
+        artifactId: z.ZodOptional<z.ZodString>;
+        /** Guardian score of the latest artifact, if found. */
+        guardianScore: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+        /** workflow_variant on the artifact row (may differ from project resolved variant). */
+        artifactVariant: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        /** True if this stage was expected by the registry. */
+        expected: z.ZodBoolean;
+        /** True if this stage was found in the DB but not declared in the registry for this variant. */
+        extra: z.ZodBoolean;
+        /** True if source artifact has changed since this artifact was created. */
+        stale: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        expected: boolean;
+        status: "stale" | "missing" | "extra" | "present_accepted" | "present_pending" | "present_rejected" | "wrong_variant";
+        stale: boolean;
+        stageId: string;
+        label: string;
+        extra: boolean;
+        artifactId?: string | undefined;
+        guardianScore?: number | null | undefined;
+        artifactVariant?: string | null | undefined;
+    }, {
+        expected: boolean;
+        status: "stale" | "missing" | "extra" | "present_accepted" | "present_pending" | "present_rejected" | "wrong_variant";
+        stale: boolean;
+        stageId: string;
+        label: string;
+        extra: boolean;
+        artifactId?: string | undefined;
+        guardianScore?: number | null | undefined;
+        artifactVariant?: string | null | undefined;
+    }>, "many">;
+    missingCount: z.ZodNumber;
+    extraCount: z.ZodNumber;
+    wrongVariantCount: z.ZodNumber;
+    staleCount: z.ZodNumber;
+    /** True if the registry completion rule is satisfied. */
+    completionSatisfied: z.ZodBoolean;
+    /** Registry completion mode for this step. */
+    completionMode: z.ZodEnum<["all_required_stages", "final_artifact", "any_of_stages", "custom"]>;
+}, "strip", z.ZodTypeAny, {
+    stepId: string;
+    stages: {
+        expected: boolean;
+        status: "stale" | "missing" | "extra" | "present_accepted" | "present_pending" | "present_rejected" | "wrong_variant";
+        stale: boolean;
+        stageId: string;
+        label: string;
+        extra: boolean;
+        artifactId?: string | undefined;
+        guardianScore?: number | null | undefined;
+        artifactVariant?: string | null | undefined;
+    }[];
+    label: string;
+    missingCount: number;
+    extraCount: number;
+    wrongVariantCount: number;
+    staleCount: number;
+    completionSatisfied: boolean;
+    completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+}, {
+    stepId: string;
+    stages: {
+        expected: boolean;
+        status: "stale" | "missing" | "extra" | "present_accepted" | "present_pending" | "present_rejected" | "wrong_variant";
+        stale: boolean;
+        stageId: string;
+        label: string;
+        extra: boolean;
+        artifactId?: string | undefined;
+        guardianScore?: number | null | undefined;
+        artifactVariant?: string | null | undefined;
+    }[];
+    label: string;
+    missingCount: number;
+    extraCount: number;
+    wrongVariantCount: number;
+    staleCount: number;
+    completionSatisfied: boolean;
+    completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+}>;
+export type WorkflowDoctorStepReport = z.infer<typeof WorkflowDoctorStepReportSchema>;
+/** Workflow Doctor — closure visibility (variant spine vs persisted artifacts). */
+export declare const WorkflowDoctorMappingHintKindSchema: z.ZodEnum<["explicit_variant_resolved", "legacy_project_kind_mapped", "legacy_kind_field_mapped", "fallback_default_variant", "invalid_explicit_variant_coerced", "unknown_legacy_kind_defaulted"]>;
+export type WorkflowDoctorMappingHintKind = z.infer<typeof WorkflowDoctorMappingHintKindSchema>;
+export declare const WorkflowDoctorMappingHintSchema: z.ZodObject<{
+    kind: z.ZodEnum<["explicit_variant_resolved", "legacy_project_kind_mapped", "legacy_kind_field_mapped", "fallback_default_variant", "invalid_explicit_variant_coerced", "unknown_legacy_kind_defaulted"]>;
+    message: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    message: string;
+    kind: "explicit_variant_resolved" | "legacy_project_kind_mapped" | "legacy_kind_field_mapped" | "fallback_default_variant" | "invalid_explicit_variant_coerced" | "unknown_legacy_kind_defaulted";
+}, {
+    message: string;
+    kind: "explicit_variant_resolved" | "legacy_project_kind_mapped" | "legacy_kind_field_mapped" | "fallback_default_variant" | "invalid_explicit_variant_coerced" | "unknown_legacy_kind_defaulted";
+}>;
+export type WorkflowDoctorMappingHint = z.infer<typeof WorkflowDoctorMappingHintSchema>;
+export declare const WorkflowDoctorChannelSummarySchema: z.ZodObject<{
+    variant: z.ZodString;
+    family: z.ZodString;
+    channelLabel: z.ZodString;
+    channelDescription: z.ZodString;
+    workflowVersion: z.ZodString;
+    projectKind: z.ZodString;
+    /** Active progress denominator — operator nav for software_app, else non-deprecated channel steps. */
+    stepCount: z.ZodNumber;
+    experimentalStepIds: z.ZodArray<z.ZodString, "many">;
+    /** software_app only: WORKFLOW_STEPS operator nav count (dual-spine honesty). */
+    operatorNavStepCount: z.ZodOptional<z.ZodNumber>;
+    /** Channel registry steps excluded from operator progress (e.g. scan, architecture-control). */
+    deprecatedChannelStepIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    variant: string;
+    family: string;
+    channelLabel: string;
+    channelDescription: string;
+    workflowVersion: string;
+    projectKind: string;
+    stepCount: number;
+    experimentalStepIds: string[];
+    operatorNavStepCount?: number | undefined;
+    deprecatedChannelStepIds?: string[] | undefined;
+}, {
+    variant: string;
+    family: string;
+    channelLabel: string;
+    channelDescription: string;
+    workflowVersion: string;
+    projectKind: string;
+    stepCount: number;
+    experimentalStepIds: string[];
+    operatorNavStepCount?: number | undefined;
+    deprecatedChannelStepIds?: string[] | undefined;
+}>;
+export type WorkflowDoctorChannelSummary = z.infer<typeof WorkflowDoctorChannelSummarySchema>;
+export declare const WorkflowDoctorStepArtifactCoverageSchema: z.ZodObject<{
+    stepId: z.ZodString;
+    label: z.ZodString;
+    /** Expected registry stages for this step. */
+    expectedStages: z.ZodNumber;
+    presentAccepted: z.ZodNumber;
+    presentPending: z.ZodNumber;
+    presentRejected: z.ZodNumber;
+    missing: z.ZodNumber;
+    wrongVariant: z.ZodNumber;
+    stale: z.ZodNumber;
+    extraInDb: z.ZodNumber;
+    completionSatisfied: z.ZodBoolean;
+    completionMode: z.ZodEnum<["all_required_stages", "final_artifact", "any_of_stages", "custom"]>;
+}, "strip", z.ZodTypeAny, {
+    expectedStages: number;
+    stepId: string;
+    stale: number;
+    label: string;
+    missing: number;
+    completionSatisfied: boolean;
+    completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+    presentAccepted: number;
+    presentPending: number;
+    presentRejected: number;
+    wrongVariant: number;
+    extraInDb: number;
+}, {
+    expectedStages: number;
+    stepId: string;
+    stale: number;
+    label: string;
+    missing: number;
+    completionSatisfied: boolean;
+    completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+    presentAccepted: number;
+    presentPending: number;
+    presentRejected: number;
+    wrongVariant: number;
+    extraInDb: number;
+}>;
+export type WorkflowDoctorStepArtifactCoverage = z.infer<typeof WorkflowDoctorStepArtifactCoverageSchema>;
+export declare const WorkflowDoctorCompletionBlockerKindSchema: z.ZodEnum<["missing_upstream_input", "incomplete_step_outputs", "wrong_variant_artifact", "stale_artifact"]>;
+export type WorkflowDoctorCompletionBlockerKind = z.infer<typeof WorkflowDoctorCompletionBlockerKindSchema>;
+export declare const WorkflowDoctorCompletionBlockerSchema: z.ZodObject<{
+    blockerKind: z.ZodEnum<["missing_upstream_input", "incomplete_step_outputs", "wrong_variant_artifact", "stale_artifact"]>;
+    stepId: z.ZodString;
+    stepLabel: z.ZodString;
+    message: z.ZodString;
+    remediationHint: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    message: string;
+    stepId: string;
+    blockerKind: "missing_upstream_input" | "incomplete_step_outputs" | "wrong_variant_artifact" | "stale_artifact";
+    stepLabel: string;
+    remediationHint: string;
+}, {
+    message: string;
+    stepId: string;
+    blockerKind: "missing_upstream_input" | "incomplete_step_outputs" | "wrong_variant_artifact" | "stale_artifact";
+    stepLabel: string;
+    remediationHint: string;
+}>;
+export type WorkflowDoctorCompletionBlocker = z.infer<typeof WorkflowDoctorCompletionBlockerSchema>;
+/** Static pathway audit finding — registry integrity (Doctor UI + CI sibling checks). */
+export declare const WorkflowDoctorAuditFindingSchema: z.ZodObject<{
+    variant: z.ZodString;
+    stepId: z.ZodString;
+    severity: z.ZodEnum<["critical", "major", "minor", "info"]>;
+    category: z.ZodString;
+    title: z.ZodString;
+    recommendedFix: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    title: string;
+    severity: "info" | "critical" | "major" | "minor";
+    stepId: string;
+    variant: string;
+    category: string;
+    recommendedFix: string;
+}, {
+    title: string;
+    severity: "info" | "critical" | "major" | "minor";
+    stepId: string;
+    variant: string;
+    category: string;
+    recommendedFix: string;
+}>;
+export type WorkflowDoctorAuditFinding = z.infer<typeof WorkflowDoctorAuditFindingSchema>;
+export declare const WorkflowDoctorClosureSchema: z.ZodObject<{
+    channelSummary: z.ZodObject<{
+        variant: z.ZodString;
+        family: z.ZodString;
+        channelLabel: z.ZodString;
+        channelDescription: z.ZodString;
+        workflowVersion: z.ZodString;
+        projectKind: z.ZodString;
+        /** Active progress denominator — operator nav for software_app, else non-deprecated channel steps. */
+        stepCount: z.ZodNumber;
+        experimentalStepIds: z.ZodArray<z.ZodString, "many">;
+        /** software_app only: WORKFLOW_STEPS operator nav count (dual-spine honesty). */
+        operatorNavStepCount: z.ZodOptional<z.ZodNumber>;
+        /** Channel registry steps excluded from operator progress (e.g. scan, architecture-control). */
+        deprecatedChannelStepIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        variant: string;
+        family: string;
+        channelLabel: string;
+        channelDescription: string;
+        workflowVersion: string;
+        projectKind: string;
+        stepCount: number;
+        experimentalStepIds: string[];
+        operatorNavStepCount?: number | undefined;
+        deprecatedChannelStepIds?: string[] | undefined;
+    }, {
+        variant: string;
+        family: string;
+        channelLabel: string;
+        channelDescription: string;
+        workflowVersion: string;
+        projectKind: string;
+        stepCount: number;
+        experimentalStepIds: string[];
+        operatorNavStepCount?: number | undefined;
+        deprecatedChannelStepIds?: string[] | undefined;
+    }>;
+    mappingHints: z.ZodArray<z.ZodObject<{
+        kind: z.ZodEnum<["explicit_variant_resolved", "legacy_project_kind_mapped", "legacy_kind_field_mapped", "fallback_default_variant", "invalid_explicit_variant_coerced", "unknown_legacy_kind_defaulted"]>;
+        message: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        message: string;
+        kind: "explicit_variant_resolved" | "legacy_project_kind_mapped" | "legacy_kind_field_mapped" | "fallback_default_variant" | "invalid_explicit_variant_coerced" | "unknown_legacy_kind_defaulted";
+    }, {
+        message: string;
+        kind: "explicit_variant_resolved" | "legacy_project_kind_mapped" | "legacy_kind_field_mapped" | "fallback_default_variant" | "invalid_explicit_variant_coerced" | "unknown_legacy_kind_defaulted";
+    }>, "many">;
+    stepArtifactCoverage: z.ZodArray<z.ZodObject<{
+        stepId: z.ZodString;
+        label: z.ZodString;
+        /** Expected registry stages for this step. */
+        expectedStages: z.ZodNumber;
+        presentAccepted: z.ZodNumber;
+        presentPending: z.ZodNumber;
+        presentRejected: z.ZodNumber;
+        missing: z.ZodNumber;
+        wrongVariant: z.ZodNumber;
+        stale: z.ZodNumber;
+        extraInDb: z.ZodNumber;
+        completionSatisfied: z.ZodBoolean;
+        completionMode: z.ZodEnum<["all_required_stages", "final_artifact", "any_of_stages", "custom"]>;
+    }, "strip", z.ZodTypeAny, {
+        expectedStages: number;
+        stepId: string;
+        stale: number;
+        label: string;
+        missing: number;
+        completionSatisfied: boolean;
+        completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+        presentAccepted: number;
+        presentPending: number;
+        presentRejected: number;
+        wrongVariant: number;
+        extraInDb: number;
+    }, {
+        expectedStages: number;
+        stepId: string;
+        stale: number;
+        label: string;
+        missing: number;
+        completionSatisfied: boolean;
+        completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+        presentAccepted: number;
+        presentPending: number;
+        presentRejected: number;
+        wrongVariant: number;
+        extraInDb: number;
+    }>, "many">;
+    completionBlockers: z.ZodArray<z.ZodObject<{
+        blockerKind: z.ZodEnum<["missing_upstream_input", "incomplete_step_outputs", "wrong_variant_artifact", "stale_artifact"]>;
+        stepId: z.ZodString;
+        stepLabel: z.ZodString;
+        message: z.ZodString;
+        remediationHint: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        message: string;
+        stepId: string;
+        blockerKind: "missing_upstream_input" | "incomplete_step_outputs" | "wrong_variant_artifact" | "stale_artifact";
+        stepLabel: string;
+        remediationHint: string;
+    }, {
+        message: string;
+        stepId: string;
+        blockerKind: "missing_upstream_input" | "incomplete_step_outputs" | "wrong_variant_artifact" | "stale_artifact";
+        stepLabel: string;
+        remediationHint: string;
+    }>, "many">;
+    /** True when there are no completion blockers (gates + outputs). */
+    closureReady: z.ZodBoolean;
+}, "strip", z.ZodTypeAny, {
+    channelSummary: {
+        variant: string;
+        family: string;
+        channelLabel: string;
+        channelDescription: string;
+        workflowVersion: string;
+        projectKind: string;
+        stepCount: number;
+        experimentalStepIds: string[];
+        operatorNavStepCount?: number | undefined;
+        deprecatedChannelStepIds?: string[] | undefined;
+    };
+    mappingHints: {
+        message: string;
+        kind: "explicit_variant_resolved" | "legacy_project_kind_mapped" | "legacy_kind_field_mapped" | "fallback_default_variant" | "invalid_explicit_variant_coerced" | "unknown_legacy_kind_defaulted";
+    }[];
+    stepArtifactCoverage: {
+        expectedStages: number;
+        stepId: string;
+        stale: number;
+        label: string;
+        missing: number;
+        completionSatisfied: boolean;
+        completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+        presentAccepted: number;
+        presentPending: number;
+        presentRejected: number;
+        wrongVariant: number;
+        extraInDb: number;
+    }[];
+    completionBlockers: {
+        message: string;
+        stepId: string;
+        blockerKind: "missing_upstream_input" | "incomplete_step_outputs" | "wrong_variant_artifact" | "stale_artifact";
+        stepLabel: string;
+        remediationHint: string;
+    }[];
+    closureReady: boolean;
+}, {
+    channelSummary: {
+        variant: string;
+        family: string;
+        channelLabel: string;
+        channelDescription: string;
+        workflowVersion: string;
+        projectKind: string;
+        stepCount: number;
+        experimentalStepIds: string[];
+        operatorNavStepCount?: number | undefined;
+        deprecatedChannelStepIds?: string[] | undefined;
+    };
+    mappingHints: {
+        message: string;
+        kind: "explicit_variant_resolved" | "legacy_project_kind_mapped" | "legacy_kind_field_mapped" | "fallback_default_variant" | "invalid_explicit_variant_coerced" | "unknown_legacy_kind_defaulted";
+    }[];
+    stepArtifactCoverage: {
+        expectedStages: number;
+        stepId: string;
+        stale: number;
+        label: string;
+        missing: number;
+        completionSatisfied: boolean;
+        completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+        presentAccepted: number;
+        presentPending: number;
+        presentRejected: number;
+        wrongVariant: number;
+        extraInDb: number;
+    }[];
+    completionBlockers: {
+        message: string;
+        stepId: string;
+        blockerKind: "missing_upstream_input" | "incomplete_step_outputs" | "wrong_variant_artifact" | "stale_artifact";
+        stepLabel: string;
+        remediationHint: string;
+    }[];
+    closureReady: boolean;
+}>;
+export type WorkflowDoctorClosure = z.infer<typeof WorkflowDoctorClosureSchema>;
+export declare const WorkflowDoctorReportSchema: z.ZodObject<{
+    projectId: z.ZodString;
+    resolvedVariant: z.ZodString;
+    workflowFamily: z.ZodString;
+    generatedAt: z.ZodString;
+    steps: z.ZodArray<z.ZodObject<{
+        stepId: z.ZodString;
+        label: z.ZodString;
+        stages: z.ZodArray<z.ZodObject<{
+            stageId: z.ZodString;
+            label: z.ZodString;
+            status: z.ZodEnum<["present_accepted", "present_pending", "present_rejected", "missing", "extra", "wrong_variant", "stale"]>;
+            /** Artifact ID from the DB, if found. */
+            artifactId: z.ZodOptional<z.ZodString>;
+            /** Guardian score of the latest artifact, if found. */
+            guardianScore: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+            /** workflow_variant on the artifact row (may differ from project resolved variant). */
+            artifactVariant: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            /** True if this stage was expected by the registry. */
+            expected: z.ZodBoolean;
+            /** True if this stage was found in the DB but not declared in the registry for this variant. */
+            extra: z.ZodBoolean;
+            /** True if source artifact has changed since this artifact was created. */
+            stale: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            expected: boolean;
+            status: "stale" | "missing" | "extra" | "present_accepted" | "present_pending" | "present_rejected" | "wrong_variant";
+            stale: boolean;
+            stageId: string;
+            label: string;
+            extra: boolean;
+            artifactId?: string | undefined;
+            guardianScore?: number | null | undefined;
+            artifactVariant?: string | null | undefined;
+        }, {
+            expected: boolean;
+            status: "stale" | "missing" | "extra" | "present_accepted" | "present_pending" | "present_rejected" | "wrong_variant";
+            stale: boolean;
+            stageId: string;
+            label: string;
+            extra: boolean;
+            artifactId?: string | undefined;
+            guardianScore?: number | null | undefined;
+            artifactVariant?: string | null | undefined;
+        }>, "many">;
+        missingCount: z.ZodNumber;
+        extraCount: z.ZodNumber;
+        wrongVariantCount: z.ZodNumber;
+        staleCount: z.ZodNumber;
+        /** True if the registry completion rule is satisfied. */
+        completionSatisfied: z.ZodBoolean;
+        /** Registry completion mode for this step. */
+        completionMode: z.ZodEnum<["all_required_stages", "final_artifact", "any_of_stages", "custom"]>;
+    }, "strip", z.ZodTypeAny, {
+        stepId: string;
+        stages: {
+            expected: boolean;
+            status: "stale" | "missing" | "extra" | "present_accepted" | "present_pending" | "present_rejected" | "wrong_variant";
+            stale: boolean;
+            stageId: string;
+            label: string;
+            extra: boolean;
+            artifactId?: string | undefined;
+            guardianScore?: number | null | undefined;
+            artifactVariant?: string | null | undefined;
+        }[];
+        label: string;
+        missingCount: number;
+        extraCount: number;
+        wrongVariantCount: number;
+        staleCount: number;
+        completionSatisfied: boolean;
+        completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+    }, {
+        stepId: string;
+        stages: {
+            expected: boolean;
+            status: "stale" | "missing" | "extra" | "present_accepted" | "present_pending" | "present_rejected" | "wrong_variant";
+            stale: boolean;
+            stageId: string;
+            label: string;
+            extra: boolean;
+            artifactId?: string | undefined;
+            guardianScore?: number | null | undefined;
+            artifactVariant?: string | null | undefined;
+        }[];
+        label: string;
+        missingCount: number;
+        extraCount: number;
+        wrongVariantCount: number;
+        staleCount: number;
+        completionSatisfied: boolean;
+        completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+    }>, "many">;
+    /** True if ALL steps have completionSatisfied = true. */
+    overallHealthy: z.ZodBoolean;
+    /** Summary counts. */
+    totalMissing: z.ZodNumber;
+    totalExtra: z.ZodNumber;
+    totalWrongVariant: z.ZodNumber;
+    totalStale: z.ZodNumber;
+    /** Closure visibility — channel spine, coverage, blockers, mapping hints (#943). */
+    closure: z.ZodObject<{
+        channelSummary: z.ZodObject<{
+            variant: z.ZodString;
+            family: z.ZodString;
+            channelLabel: z.ZodString;
+            channelDescription: z.ZodString;
+            workflowVersion: z.ZodString;
+            projectKind: z.ZodString;
+            /** Active progress denominator — operator nav for software_app, else non-deprecated channel steps. */
+            stepCount: z.ZodNumber;
+            experimentalStepIds: z.ZodArray<z.ZodString, "many">;
+            /** software_app only: WORKFLOW_STEPS operator nav count (dual-spine honesty). */
+            operatorNavStepCount: z.ZodOptional<z.ZodNumber>;
+            /** Channel registry steps excluded from operator progress (e.g. scan, architecture-control). */
+            deprecatedChannelStepIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            variant: string;
+            family: string;
+            channelLabel: string;
+            channelDescription: string;
+            workflowVersion: string;
+            projectKind: string;
+            stepCount: number;
+            experimentalStepIds: string[];
+            operatorNavStepCount?: number | undefined;
+            deprecatedChannelStepIds?: string[] | undefined;
+        }, {
+            variant: string;
+            family: string;
+            channelLabel: string;
+            channelDescription: string;
+            workflowVersion: string;
+            projectKind: string;
+            stepCount: number;
+            experimentalStepIds: string[];
+            operatorNavStepCount?: number | undefined;
+            deprecatedChannelStepIds?: string[] | undefined;
+        }>;
+        mappingHints: z.ZodArray<z.ZodObject<{
+            kind: z.ZodEnum<["explicit_variant_resolved", "legacy_project_kind_mapped", "legacy_kind_field_mapped", "fallback_default_variant", "invalid_explicit_variant_coerced", "unknown_legacy_kind_defaulted"]>;
+            message: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            message: string;
+            kind: "explicit_variant_resolved" | "legacy_project_kind_mapped" | "legacy_kind_field_mapped" | "fallback_default_variant" | "invalid_explicit_variant_coerced" | "unknown_legacy_kind_defaulted";
+        }, {
+            message: string;
+            kind: "explicit_variant_resolved" | "legacy_project_kind_mapped" | "legacy_kind_field_mapped" | "fallback_default_variant" | "invalid_explicit_variant_coerced" | "unknown_legacy_kind_defaulted";
+        }>, "many">;
+        stepArtifactCoverage: z.ZodArray<z.ZodObject<{
+            stepId: z.ZodString;
+            label: z.ZodString;
+            /** Expected registry stages for this step. */
+            expectedStages: z.ZodNumber;
+            presentAccepted: z.ZodNumber;
+            presentPending: z.ZodNumber;
+            presentRejected: z.ZodNumber;
+            missing: z.ZodNumber;
+            wrongVariant: z.ZodNumber;
+            stale: z.ZodNumber;
+            extraInDb: z.ZodNumber;
+            completionSatisfied: z.ZodBoolean;
+            completionMode: z.ZodEnum<["all_required_stages", "final_artifact", "any_of_stages", "custom"]>;
+        }, "strip", z.ZodTypeAny, {
+            expectedStages: number;
+            stepId: string;
+            stale: number;
+            label: string;
+            missing: number;
+            completionSatisfied: boolean;
+            completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+            presentAccepted: number;
+            presentPending: number;
+            presentRejected: number;
+            wrongVariant: number;
+            extraInDb: number;
+        }, {
+            expectedStages: number;
+            stepId: string;
+            stale: number;
+            label: string;
+            missing: number;
+            completionSatisfied: boolean;
+            completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+            presentAccepted: number;
+            presentPending: number;
+            presentRejected: number;
+            wrongVariant: number;
+            extraInDb: number;
+        }>, "many">;
+        completionBlockers: z.ZodArray<z.ZodObject<{
+            blockerKind: z.ZodEnum<["missing_upstream_input", "incomplete_step_outputs", "wrong_variant_artifact", "stale_artifact"]>;
+            stepId: z.ZodString;
+            stepLabel: z.ZodString;
+            message: z.ZodString;
+            remediationHint: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            message: string;
+            stepId: string;
+            blockerKind: "missing_upstream_input" | "incomplete_step_outputs" | "wrong_variant_artifact" | "stale_artifact";
+            stepLabel: string;
+            remediationHint: string;
+        }, {
+            message: string;
+            stepId: string;
+            blockerKind: "missing_upstream_input" | "incomplete_step_outputs" | "wrong_variant_artifact" | "stale_artifact";
+            stepLabel: string;
+            remediationHint: string;
+        }>, "many">;
+        /** True when there are no completion blockers (gates + outputs). */
+        closureReady: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        channelSummary: {
+            variant: string;
+            family: string;
+            channelLabel: string;
+            channelDescription: string;
+            workflowVersion: string;
+            projectKind: string;
+            stepCount: number;
+            experimentalStepIds: string[];
+            operatorNavStepCount?: number | undefined;
+            deprecatedChannelStepIds?: string[] | undefined;
+        };
+        mappingHints: {
+            message: string;
+            kind: "explicit_variant_resolved" | "legacy_project_kind_mapped" | "legacy_kind_field_mapped" | "fallback_default_variant" | "invalid_explicit_variant_coerced" | "unknown_legacy_kind_defaulted";
+        }[];
+        stepArtifactCoverage: {
+            expectedStages: number;
+            stepId: string;
+            stale: number;
+            label: string;
+            missing: number;
+            completionSatisfied: boolean;
+            completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+            presentAccepted: number;
+            presentPending: number;
+            presentRejected: number;
+            wrongVariant: number;
+            extraInDb: number;
+        }[];
+        completionBlockers: {
+            message: string;
+            stepId: string;
+            blockerKind: "missing_upstream_input" | "incomplete_step_outputs" | "wrong_variant_artifact" | "stale_artifact";
+            stepLabel: string;
+            remediationHint: string;
+        }[];
+        closureReady: boolean;
+    }, {
+        channelSummary: {
+            variant: string;
+            family: string;
+            channelLabel: string;
+            channelDescription: string;
+            workflowVersion: string;
+            projectKind: string;
+            stepCount: number;
+            experimentalStepIds: string[];
+            operatorNavStepCount?: number | undefined;
+            deprecatedChannelStepIds?: string[] | undefined;
+        };
+        mappingHints: {
+            message: string;
+            kind: "explicit_variant_resolved" | "legacy_project_kind_mapped" | "legacy_kind_field_mapped" | "fallback_default_variant" | "invalid_explicit_variant_coerced" | "unknown_legacy_kind_defaulted";
+        }[];
+        stepArtifactCoverage: {
+            expectedStages: number;
+            stepId: string;
+            stale: number;
+            label: string;
+            missing: number;
+            completionSatisfied: boolean;
+            completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+            presentAccepted: number;
+            presentPending: number;
+            presentRejected: number;
+            wrongVariant: number;
+            extraInDb: number;
+        }[];
+        completionBlockers: {
+            message: string;
+            stepId: string;
+            blockerKind: "missing_upstream_input" | "incomplete_step_outputs" | "wrong_variant_artifact" | "stale_artifact";
+            stepLabel: string;
+            remediationHint: string;
+        }[];
+        closureReady: boolean;
+    }>;
+    /** Static registry pathway checks (no DB). */
+    auditFindings: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        variant: z.ZodString;
+        stepId: z.ZodString;
+        severity: z.ZodEnum<["critical", "major", "minor", "info"]>;
+        category: z.ZodString;
+        title: z.ZodString;
+        recommendedFix: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        title: string;
+        severity: "info" | "critical" | "major" | "minor";
+        stepId: string;
+        variant: string;
+        category: string;
+        recommendedFix: string;
+    }, {
+        title: string;
+        severity: "info" | "critical" | "major" | "minor";
+        stepId: string;
+        variant: string;
+        category: string;
+        recommendedFix: string;
+    }>, "many">>;
+}, "strip", z.ZodTypeAny, {
+    projectId: string;
+    steps: {
+        stepId: string;
+        stages: {
+            expected: boolean;
+            status: "stale" | "missing" | "extra" | "present_accepted" | "present_pending" | "present_rejected" | "wrong_variant";
+            stale: boolean;
+            stageId: string;
+            label: string;
+            extra: boolean;
+            artifactId?: string | undefined;
+            guardianScore?: number | null | undefined;
+            artifactVariant?: string | null | undefined;
+        }[];
+        label: string;
+        missingCount: number;
+        extraCount: number;
+        wrongVariantCount: number;
+        staleCount: number;
+        completionSatisfied: boolean;
+        completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+    }[];
+    generatedAt: string;
+    resolvedVariant: string;
+    workflowFamily: string;
+    overallHealthy: boolean;
+    totalMissing: number;
+    totalExtra: number;
+    totalWrongVariant: number;
+    totalStale: number;
+    closure: {
+        channelSummary: {
+            variant: string;
+            family: string;
+            channelLabel: string;
+            channelDescription: string;
+            workflowVersion: string;
+            projectKind: string;
+            stepCount: number;
+            experimentalStepIds: string[];
+            operatorNavStepCount?: number | undefined;
+            deprecatedChannelStepIds?: string[] | undefined;
+        };
+        mappingHints: {
+            message: string;
+            kind: "explicit_variant_resolved" | "legacy_project_kind_mapped" | "legacy_kind_field_mapped" | "fallback_default_variant" | "invalid_explicit_variant_coerced" | "unknown_legacy_kind_defaulted";
+        }[];
+        stepArtifactCoverage: {
+            expectedStages: number;
+            stepId: string;
+            stale: number;
+            label: string;
+            missing: number;
+            completionSatisfied: boolean;
+            completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+            presentAccepted: number;
+            presentPending: number;
+            presentRejected: number;
+            wrongVariant: number;
+            extraInDb: number;
+        }[];
+        completionBlockers: {
+            message: string;
+            stepId: string;
+            blockerKind: "missing_upstream_input" | "incomplete_step_outputs" | "wrong_variant_artifact" | "stale_artifact";
+            stepLabel: string;
+            remediationHint: string;
+        }[];
+        closureReady: boolean;
+    };
+    auditFindings?: {
+        title: string;
+        severity: "info" | "critical" | "major" | "minor";
+        stepId: string;
+        variant: string;
+        category: string;
+        recommendedFix: string;
+    }[] | undefined;
+}, {
+    projectId: string;
+    steps: {
+        stepId: string;
+        stages: {
+            expected: boolean;
+            status: "stale" | "missing" | "extra" | "present_accepted" | "present_pending" | "present_rejected" | "wrong_variant";
+            stale: boolean;
+            stageId: string;
+            label: string;
+            extra: boolean;
+            artifactId?: string | undefined;
+            guardianScore?: number | null | undefined;
+            artifactVariant?: string | null | undefined;
+        }[];
+        label: string;
+        missingCount: number;
+        extraCount: number;
+        wrongVariantCount: number;
+        staleCount: number;
+        completionSatisfied: boolean;
+        completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+    }[];
+    generatedAt: string;
+    resolvedVariant: string;
+    workflowFamily: string;
+    overallHealthy: boolean;
+    totalMissing: number;
+    totalExtra: number;
+    totalWrongVariant: number;
+    totalStale: number;
+    closure: {
+        channelSummary: {
+            variant: string;
+            family: string;
+            channelLabel: string;
+            channelDescription: string;
+            workflowVersion: string;
+            projectKind: string;
+            stepCount: number;
+            experimentalStepIds: string[];
+            operatorNavStepCount?: number | undefined;
+            deprecatedChannelStepIds?: string[] | undefined;
+        };
+        mappingHints: {
+            message: string;
+            kind: "explicit_variant_resolved" | "legacy_project_kind_mapped" | "legacy_kind_field_mapped" | "fallback_default_variant" | "invalid_explicit_variant_coerced" | "unknown_legacy_kind_defaulted";
+        }[];
+        stepArtifactCoverage: {
+            expectedStages: number;
+            stepId: string;
+            stale: number;
+            label: string;
+            missing: number;
+            completionSatisfied: boolean;
+            completionMode: "custom" | "all_required_stages" | "final_artifact" | "any_of_stages";
+            presentAccepted: number;
+            presentPending: number;
+            presentRejected: number;
+            wrongVariant: number;
+            extraInDb: number;
+        }[];
+        completionBlockers: {
+            message: string;
+            stepId: string;
+            blockerKind: "missing_upstream_input" | "incomplete_step_outputs" | "wrong_variant_artifact" | "stale_artifact";
+            stepLabel: string;
+            remediationHint: string;
+        }[];
+        closureReady: boolean;
+    };
+    auditFindings?: {
+        title: string;
+        severity: "info" | "critical" | "major" | "minor";
+        stepId: string;
+        variant: string;
+        category: string;
+        recommendedFix: string;
+    }[] | undefined;
+}>;
+export type WorkflowDoctorReport = z.infer<typeof WorkflowDoctorReportSchema>;