import { z } from 'zod';
export declare const DEFAULT_CONTEXT_COMPACTION_POLICY: {
    enabled: boolean;
    triggerThreshold: number;
    reserveTokens: number;
    minMessagesBeforeCompact: number;
    keepRecentTokens: number;
    recentTurnsPreserve: number;
    summaryMaxTokens: number;
    summaryChunkTokens: number;
    summaryTimeoutMs: number;
    summaryRetries: number;
    qualityGuard: boolean;
    gapAudit: boolean;
    minToolResultKeepChars: number;
    maxActiveTranscriptBytes: number;
    postCompactionSections: string[];
};
export declare const ContextCompactionPolicySchema: z.ZodDefault<z.ZodObject<{
    enabled: z.ZodDefault<z.ZodBoolean>;
    triggerThreshold: z.ZodDefault<z.ZodNumber>;
    reserveTokens: z.ZodDefault<z.ZodNumber>;
    minMessagesBeforeCompact: z.ZodDefault<z.ZodNumber>;
    keepRecentTokens: z.ZodDefault<z.ZodNumber>;
    recentTurnsPreserve: z.ZodDefault<z.ZodNumber>;
    summaryMaxTokens: z.ZodDefault<z.ZodNumber>;
    summaryChunkTokens: z.ZodDefault<z.ZodNumber>;
    summaryTimeoutMs: z.ZodDefault<z.ZodNumber>;
    summaryRetries: z.ZodDefault<z.ZodNumber>;
    qualityGuard: z.ZodDefault<z.ZodBoolean>;
    gapAudit: z.ZodDefault<z.ZodBoolean>;
    model: z.ZodOptional<z.ZodString>;
    minToolResultKeepChars: z.ZodDefault<z.ZodNumber>;
    maxActiveTranscriptBytes: z.ZodDefault<z.ZodNumber>;
    postCompactionSections: z.ZodDefault<z.ZodArray<z.ZodString>>;
}, z.core.$strict>>;
export declare const UserModelConfigSchema: z.ZodDefault<z.ZodObject<{
    enabled: z.ZodDefault<z.ZodBoolean>;
    writePolicy: z.ZodDefault<z.ZodEnum<{
        allow: "allow";
        confirm: "confirm";
        deny: "deny";
    }>>;
    sensitiveWritePolicy: z.ZodDefault<z.ZodEnum<{
        allow: "allow";
        confirm: "confirm";
        deny: "deny";
    }>>;
    processingPolicy: z.ZodDefault<z.ZodEnum<{
        local_only: "local_only";
        remote_allowed: "remote_allowed";
    }>>;
    extraction: z.ZodDefault<z.ZodObject<{
        reviewIntervalTurns: z.ZodDefault<z.ZodNumber>;
        maxHistoryMessages: z.ZodDefault<z.ZodNumber>;
        maxDurationMs: z.ZodDefault<z.ZodNumber>;
    }, z.core.$strict>>;
    maintenance: z.ZodDefault<z.ZodObject<{
        enabled: z.ZodDefault<z.ZodBoolean>;
        timezone: z.ZodOptional<z.ZodString>;
        temporalSweepMinutes: z.ZodDefault<z.ZodNumber>;
        dailyTime: z.ZodDefault<z.ZodString>;
        weeklyDay: z.ZodDefault<z.ZodEnum<{
            sun: "sun";
            mon: "mon";
            tue: "tue";
            wed: "wed";
            thu: "thu";
            fri: "fri";
            sat: "sat";
        }>>;
        weeklyTime: z.ZodDefault<z.ZodString>;
        evidenceThreshold: z.ZodDefault<z.ZodNumber>;
        limit: z.ZodDefault<z.ZodNumber>;
        staleRetentionDays: z.ZodDefault<z.ZodNumber>;
    }, z.core.$strict>>;
}, z.core.$strict>>;
export declare const KnowledgeMemoryConfigSchema: z.ZodDefault<z.ZodObject<{
    enabled: z.ZodDefault<z.ZodBoolean>;
    writePolicy: z.ZodDefault<z.ZodEnum<{
        allow: "allow";
        confirm: "confirm";
        deny: "deny";
    }>>;
    sources: z.ZodDefault<z.ZodArray<z.ZodEnum<{
        project: "project";
        session: "session";
        workspace: "workspace";
        connector: "connector";
    }>>>;
    searchStrategy: z.ZodDefault<z.ZodEnum<{
        "local-first": "local-first";
        "external-first": "external-first";
        fanout: "fanout";
        "local-only": "local-only";
        "external-only": "external-only";
    }>>;
    writeStrategy: z.ZodDefault<z.ZodEnum<{
        "local-first": "local-first";
        "external-first": "external-first";
        "local-only": "local-only";
        "external-only": "external-only";
        "write-through": "write-through";
    }>>;
    allowExternalWrites: z.ZodDefault<z.ZodBoolean>;
    allowedProviderIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
    autoWriteKinds: z.ZodOptional<z.ZodArray<z.ZodString>>;
}, z.core.$strict>>;
export declare const ContextPlanningConfigSchema: z.ZodDefault<z.ZodObject<{
    enabled: z.ZodDefault<z.ZodBoolean>;
    maxAssertions: z.ZodDefault<z.ZodNumber>;
    maxKnowledge: z.ZodDefault<z.ZodNumber>;
    maxChars: z.ZodDefault<z.ZodNumber>;
    compaction: z.ZodDefault<z.ZodObject<{
        enabled: z.ZodDefault<z.ZodBoolean>;
        triggerThreshold: z.ZodDefault<z.ZodNumber>;
        reserveTokens: z.ZodDefault<z.ZodNumber>;
        minMessagesBeforeCompact: z.ZodDefault<z.ZodNumber>;
        keepRecentTokens: z.ZodDefault<z.ZodNumber>;
        recentTurnsPreserve: z.ZodDefault<z.ZodNumber>;
        summaryMaxTokens: z.ZodDefault<z.ZodNumber>;
        summaryChunkTokens: z.ZodDefault<z.ZodNumber>;
        summaryTimeoutMs: z.ZodDefault<z.ZodNumber>;
        summaryRetries: z.ZodDefault<z.ZodNumber>;
        qualityGuard: z.ZodDefault<z.ZodBoolean>;
        gapAudit: z.ZodDefault<z.ZodBoolean>;
        model: z.ZodOptional<z.ZodString>;
        minToolResultKeepChars: z.ZodDefault<z.ZodNumber>;
        maxActiveTranscriptBytes: z.ZodDefault<z.ZodNumber>;
        postCompactionSections: z.ZodDefault<z.ZodArray<z.ZodString>>;
    }, z.core.$strict>>;
}, z.core.$strict>>;
export declare const UserContextConfigSchema: z.ZodDefault<z.ZodObject<{
    enabled: z.ZodDefault<z.ZodBoolean>;
    preferences: z.ZodDefault<z.ZodObject<{
        responseLanguage: z.ZodDefault<z.ZodEnum<{
            en: "en";
            auto: "auto";
            "zh-CN": "zh-CN";
        }>>;
    }, z.core.$strict>>;
    userModel: z.ZodDefault<z.ZodObject<{
        enabled: z.ZodDefault<z.ZodBoolean>;
        writePolicy: z.ZodDefault<z.ZodEnum<{
            allow: "allow";
            confirm: "confirm";
            deny: "deny";
        }>>;
        sensitiveWritePolicy: z.ZodDefault<z.ZodEnum<{
            allow: "allow";
            confirm: "confirm";
            deny: "deny";
        }>>;
        processingPolicy: z.ZodDefault<z.ZodEnum<{
            local_only: "local_only";
            remote_allowed: "remote_allowed";
        }>>;
        extraction: z.ZodDefault<z.ZodObject<{
            reviewIntervalTurns: z.ZodDefault<z.ZodNumber>;
            maxHistoryMessages: z.ZodDefault<z.ZodNumber>;
            maxDurationMs: z.ZodDefault<z.ZodNumber>;
        }, z.core.$strict>>;
        maintenance: z.ZodDefault<z.ZodObject<{
            enabled: z.ZodDefault<z.ZodBoolean>;
            timezone: z.ZodOptional<z.ZodString>;
            temporalSweepMinutes: z.ZodDefault<z.ZodNumber>;
            dailyTime: z.ZodDefault<z.ZodString>;
            weeklyDay: z.ZodDefault<z.ZodEnum<{
                sun: "sun";
                mon: "mon";
                tue: "tue";
                wed: "wed";
                thu: "thu";
                fri: "fri";
                sat: "sat";
            }>>;
            weeklyTime: z.ZodDefault<z.ZodString>;
            evidenceThreshold: z.ZodDefault<z.ZodNumber>;
            limit: z.ZodDefault<z.ZodNumber>;
            staleRetentionDays: z.ZodDefault<z.ZodNumber>;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
    knowledgeMemory: z.ZodDefault<z.ZodObject<{
        enabled: z.ZodDefault<z.ZodBoolean>;
        writePolicy: z.ZodDefault<z.ZodEnum<{
            allow: "allow";
            confirm: "confirm";
            deny: "deny";
        }>>;
        sources: z.ZodDefault<z.ZodArray<z.ZodEnum<{
            project: "project";
            session: "session";
            workspace: "workspace";
            connector: "connector";
        }>>>;
        searchStrategy: z.ZodDefault<z.ZodEnum<{
            "local-first": "local-first";
            "external-first": "external-first";
            fanout: "fanout";
            "local-only": "local-only";
            "external-only": "external-only";
        }>>;
        writeStrategy: z.ZodDefault<z.ZodEnum<{
            "local-first": "local-first";
            "external-first": "external-first";
            "local-only": "local-only";
            "external-only": "external-only";
            "write-through": "write-through";
        }>>;
        allowExternalWrites: z.ZodDefault<z.ZodBoolean>;
        allowedProviderIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
        autoWriteKinds: z.ZodOptional<z.ZodArray<z.ZodString>>;
    }, z.core.$strict>>;
    contextPlanning: z.ZodDefault<z.ZodObject<{
        enabled: z.ZodDefault<z.ZodBoolean>;
        maxAssertions: z.ZodDefault<z.ZodNumber>;
        maxKnowledge: z.ZodDefault<z.ZodNumber>;
        maxChars: z.ZodDefault<z.ZodNumber>;
        compaction: z.ZodDefault<z.ZodObject<{
            enabled: z.ZodDefault<z.ZodBoolean>;
            triggerThreshold: z.ZodDefault<z.ZodNumber>;
            reserveTokens: z.ZodDefault<z.ZodNumber>;
            minMessagesBeforeCompact: z.ZodDefault<z.ZodNumber>;
            keepRecentTokens: z.ZodDefault<z.ZodNumber>;
            recentTurnsPreserve: z.ZodDefault<z.ZodNumber>;
            summaryMaxTokens: z.ZodDefault<z.ZodNumber>;
            summaryChunkTokens: z.ZodDefault<z.ZodNumber>;
            summaryTimeoutMs: z.ZodDefault<z.ZodNumber>;
            summaryRetries: z.ZodDefault<z.ZodNumber>;
            qualityGuard: z.ZodDefault<z.ZodBoolean>;
            gapAudit: z.ZodDefault<z.ZodBoolean>;
            model: z.ZodOptional<z.ZodString>;
            minToolResultKeepChars: z.ZodDefault<z.ZodNumber>;
            maxActiveTranscriptBytes: z.ZodDefault<z.ZodNumber>;
            postCompactionSections: z.ZodDefault<z.ZodArray<z.ZodString>>;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
}, z.core.$strict>>;
export type UserContextConfig = z.infer<typeof UserContextConfigSchema>;
export type UserModelConfig = z.infer<typeof UserModelConfigSchema>;
export type KnowledgeMemoryConfig = z.infer<typeof KnowledgeMemoryConfigSchema>;
export type ContextPlanningConfig = z.infer<typeof ContextPlanningConfigSchema>;