/**
 * Per spec §4.2 战略审计 + 战术审计 — sub-stage outputs.
 *
 * Hard constraint H8 (audit trail hashable): every output has sha256.
 * TACT.sig inputSig chain must reference STRAT.sig.
 */
import { z } from 'zod';
export declare const StrategyOutputSchema: z.ZodObject<{
    version: z.ZodLiteral<"1.0">;
    sha256: z.ZodString;
    generatedAt: z.ZodString;
    goal: z.ZodString;
    rootCauseAnalysis: z.ZodString;
    impactSurface: z.ZodArray<z.ZodString>;
    designRationale: z.ZodString;
    askUserQuestion: z.ZodOptional<z.ZodObject<{
        question: z.ZodString;
        options: z.ZodArray<z.ZodString>;
    }, z.core.$strict>>;
}, z.core.$strict>;
export type StrategyOutput = z.infer<typeof StrategyOutputSchema>;
export declare const AstViolationSchema: z.ZodObject<{
    file: z.ZodString;
    line: z.ZodNumber;
    api: z.ZodString;
    expectedVersion: z.ZodString;
    actualVersion: z.ZodString;
    severity: z.ZodEnum<{
        error: "error";
        warning: "warning";
    }>;
}, z.core.$strict>;
export declare const AstGateResultSchema: z.ZodObject<{
    passed: z.ZodBoolean;
    violations: z.ZodArray<z.ZodObject<{
        file: z.ZodString;
        line: z.ZodNumber;
        api: z.ZodString;
        expectedVersion: z.ZodString;
        actualVersion: z.ZodString;
        severity: z.ZodEnum<{
            error: "error";
            warning: "warning";
        }>;
    }, z.core.$strict>>;
}, z.core.$strict>;
export declare const ExternalApiCallSchema: z.ZodObject<{
    file: z.ZodString;
    line: z.ZodNumber;
    api: z.ZodString;
    version: z.ZodString;
}, z.core.$strict>;
export declare const ImplOutputSchema: z.ZodObject<{
    version: z.ZodLiteral<"1.0">;
    sha256: z.ZodString;
    generatedAt: z.ZodString;
    inputSig: z.ZodString;
    changedFiles: z.ZodArray<z.ZodString>;
    externalApiCalls: z.ZodArray<z.ZodObject<{
        file: z.ZodString;
        line: z.ZodNumber;
        api: z.ZodString;
        version: z.ZodString;
    }, z.core.$strict>>;
    astGateResult: z.ZodObject<{
        passed: z.ZodBoolean;
        violations: z.ZodArray<z.ZodObject<{
            file: z.ZodString;
            line: z.ZodNumber;
            api: z.ZodString;
            expectedVersion: z.ZodString;
            actualVersion: z.ZodString;
            severity: z.ZodEnum<{
                error: "error";
                warning: "warning";
            }>;
        }, z.core.$strict>>;
    }, z.core.$strict>;
}, z.core.$strict>;
export type ImplOutput = z.infer<typeof ImplOutputSchema>;
export type AstViolation = z.infer<typeof AstViolationSchema>;
export type AstGateResult = z.infer<typeof AstGateResultSchema>;
export type ExternalApiCall = z.infer<typeof ExternalApiCallSchema>;