import { z } from "zod";
import type { McpTextContent, RequestContext, SdkContext, EffectResult, EffectDryRunResult, DispatchedCapability } from "@cesteral/shared";
export declare const CancelReportExecutionInputSchema: z.ZodObject<{
    executionId: z.ZodString;
    dry_run: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
}, "strip", z.ZodTypeAny, {
    dry_run: boolean;
    executionId: string;
}, {
    executionId: string;
    dry_run?: boolean | undefined;
}>;
export declare const CancelReportExecutionOutputSchema: z.ZodObject<{
    executionId: z.ZodString;
    isCancelled: z.ZodOptional<z.ZodBoolean>;
    errors: z.ZodOptional<z.ZodArray<z.ZodObject<{
        field: z.ZodOptional<z.ZodString>;
        message: z.ZodString;
    }, "strip", z.ZodTypeAny, {
        message: string;
        field?: string | undefined;
    }, {
        message: string;
        field?: string | undefined;
    }>, "many">>;
    rawResponse: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    timestamp: z.ZodString;
    dryRun: z.ZodOptional<z.ZodType<EffectDryRunResult, z.ZodTypeDef, EffectDryRunResult>>;
    effect: z.ZodOptional<z.ZodType<EffectResult, z.ZodTypeDef, EffectResult>>;
    dispatchedCapability: z.ZodType<DispatchedCapability, z.ZodTypeDef, DispatchedCapability>;
}, "strip", z.ZodTypeAny, {
    timestamp: string;
    dispatchedCapability: DispatchedCapability;
    executionId: string;
    errors?: {
        message: string;
        field?: string | undefined;
    }[] | undefined;
    dryRun?: EffectDryRunResult | undefined;
    effect?: EffectResult | undefined;
    rawResponse?: Record<string, unknown> | undefined;
    isCancelled?: boolean | undefined;
}, {
    timestamp: string;
    dispatchedCapability: DispatchedCapability;
    executionId: string;
    errors?: {
        message: string;
        field?: string | undefined;
    }[] | undefined;
    dryRun?: EffectDryRunResult | undefined;
    effect?: EffectResult | undefined;
    rawResponse?: Record<string, unknown> | undefined;
    isCancelled?: boolean | undefined;
}>;
type CancelReportExecutionInput = z.infer<typeof CancelReportExecutionInputSchema>;
type CancelReportExecutionOutput = z.infer<typeof CancelReportExecutionOutputSchema>;
export declare function cancelReportExecutionLogic(input: CancelReportExecutionInput, context: RequestContext, sdkContext?: SdkContext): Promise<CancelReportExecutionOutput>;
export declare function cancelReportExecutionResponseFormatter(result: CancelReportExecutionOutput): McpTextContent[];
export declare const cancelReportExecutionTool: {
    name: string;
    title: string;
    description: string;
    inputSchema: z.ZodObject<{
        executionId: z.ZodString;
        dry_run: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
    }, "strip", z.ZodTypeAny, {
        dry_run: boolean;
        executionId: string;
    }, {
        executionId: string;
        dry_run?: boolean | undefined;
    }>;
    outputSchema: z.ZodObject<{
        executionId: z.ZodString;
        isCancelled: z.ZodOptional<z.ZodBoolean>;
        errors: z.ZodOptional<z.ZodArray<z.ZodObject<{
            field: z.ZodOptional<z.ZodString>;
            message: z.ZodString;
        }, "strip", z.ZodTypeAny, {
            message: string;
            field?: string | undefined;
        }, {
            message: string;
            field?: string | undefined;
        }>, "many">>;
        rawResponse: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        timestamp: z.ZodString;
        dryRun: z.ZodOptional<z.ZodType<EffectDryRunResult, z.ZodTypeDef, EffectDryRunResult>>;
        effect: z.ZodOptional<z.ZodType<EffectResult, z.ZodTypeDef, EffectResult>>;
        dispatchedCapability: z.ZodType<DispatchedCapability, z.ZodTypeDef, DispatchedCapability>;
    }, "strip", z.ZodTypeAny, {
        timestamp: string;
        dispatchedCapability: DispatchedCapability;
        executionId: string;
        errors?: {
            message: string;
            field?: string | undefined;
        }[] | undefined;
        dryRun?: EffectDryRunResult | undefined;
        effect?: EffectResult | undefined;
        rawResponse?: Record<string, unknown> | undefined;
        isCancelled?: boolean | undefined;
    }, {
        timestamp: string;
        dispatchedCapability: DispatchedCapability;
        executionId: string;
        errors?: {
            message: string;
            field?: string | undefined;
        }[] | undefined;
        dryRun?: EffectDryRunResult | undefined;
        effect?: EffectResult | undefined;
        rawResponse?: Record<string, unknown> | undefined;
        isCancelled?: boolean | undefined;
    }>;
    annotations: {
        readOnlyHint: boolean;
        destructiveHint: boolean;
        idempotentHint: boolean;
        openWorldHint: boolean;
        cesteral: {
            kind: "write";
            writeClass: "effect";
            executableArgsExclude: string[];
            platform: string;
            contractPlatformSlug: string;
            contractToolSlug: string;
            operation: "manage"[];
            entityKinds: never[];
            entityIdArgs: never[];
            schemaVersion: number;
            contractId: string;
            supportsDryRun: true;
            supportsBeforeAfterSnapshot: false;
            requiresValidation: true;
            requiresSimulation: true;
        };
    };
    inputExamples: {
        label: string;
        input: {
            executionId: string;
        };
    }[];
    logic: typeof cancelReportExecutionLogic;
    responseFormatter: typeof cancelReportExecutionResponseFormatter;
};
export {};
//# sourceMappingURL=cancel-report-execution.tool.d.ts.map