import * as _suss_ir_core_schemas from '@suss/ir-core/schemas';
import { z } from 'zod';

declare const CodeUnitKindSchema: z.ZodEnum<{
    handler: "handler";
    loader: "loader";
    action: "action";
    component: "component";
    hook: "hook";
    middleware: "middleware";
    resolver: "resolver";
    consumer: "consumer";
    client: "client";
    worker: "worker";
    library: "library";
    caller: "caller";
    "module-init": "module-init";
    "scheduled-callback": "scheduled-callback";
}>;
declare const ComparisonOpSchema: z.ZodEnum<{
    eq: "eq";
    neq: "neq";
    gt: "gt";
    gte: "gte";
    lt: "lt";
    lte: "lte";
}>;
declare const OpaqueReasonSchema: z.ZodEnum<{
    complexExpression: "complexExpression";
    externalFunction: "externalFunction";
    dynamicValue: "dynamicValue";
    unsupportedSyntax: "unsupportedSyntax";
}>;
declare const FindingKindSchema: z.ZodEnum<{
    unhandledProviderCase: "unhandledProviderCase";
    misreadProviderResponse: "misreadProviderResponse";
    deadConsumerBranch: "deadConsumerBranch";
    providerContractViolation: "providerContractViolation";
    consumerContractViolation: "consumerContractViolation";
    lowConfidence: "lowConfidence";
    contractDisagreement: "contractDisagreement";
    contractOperationUnimplemented: "contractOperationUnimplemented";
    restMethodOnUnknownPath: "restMethodOnUnknownPath";
    graphqlUnknownFragment: "graphqlUnknownFragment";
    authPolicyMismatch: "authPolicyMismatch";
    scenarioCoverageGap: "scenarioCoverageGap";
    runtimeScopeUnknown: "runtimeScopeUnknown";
    envVarRequiredButUnmarked: "envVarRequiredButUnmarked";
    boundaryFieldUnknown: "boundaryFieldUnknown";
    boundaryFieldUnused: "boundaryFieldUnused";
    boundaryShapeMismatch: "boundaryShapeMismatch";
    boundaryFieldRequired: "boundaryFieldRequired";
    boundaryConstraintViolation: "boundaryConstraintViolation";
    boundarySelectorMismatch: "boundarySelectorMismatch";
    messageBusProducerOrphan: "messageBusProducerOrphan";
    messageBusConsumerOrphan: "messageBusConsumerOrphan";
    messageBusUnused: "messageBusUnused";
    messageBusConsumerDisabled: "messageBusConsumerDisabled";
    repeatUnsafeConsumer: "repeatUnsafeConsumer";
    unitInvocationTargetUnknown: "unitInvocationTargetUnknown";
    unsupportedSemantics: "unsupportedSemantics";
    opaquePredicateBlocking: "opaquePredicateBlocking";
    ambiguousProvider: "ambiguousProvider";
}>;
declare const FindingSeveritySchema: z.ZodEnum<{
    error: "error";
    warning: "warning";
    info: "info";
}>;
/**
 * A problem with the run itself rather than with a boundary.
 *
 * A boundary finding points at two sides that disagree. This kind has
 * no two sides to point at. It says the run could not get far enough
 * to compare anything, so it goes in its own list and a reader looking
 * for disagreements does not find one of these mixed in with them.
 */
declare const RunFindingKindSchema: z.ZodEnum<{
    nothingPaired: "nothingPaired";
    unreadableInput: "unreadableInput";
    mostlyUnpaired: "mostlyUnpaired";
}>;
declare const RunFindingSchema: z.ZodObject<{
    kind: z.ZodEnum<{
        nothingPaired: "nothingPaired";
        unreadableInput: "unreadableInput";
        mostlyUnpaired: "mostlyUnpaired";
    }>;
    severity: z.ZodEnum<{
        error: "error";
        warning: "warning";
        info: "info";
    }>;
    description: z.ZodString;
    remedy: z.ZodString;
}, z.core.$strip>;
/**
 * Which side of a field a boundary finding concerns. `send` and `receive`
 * are a payload's two directions; `construct` is a scenario setting an
 * input; `selector` is a query's `where` rather than its data.
 */
declare const BoundaryAspectSchema: z.ZodEnum<{
    read: "read";
    write: "write";
    send: "send";
    receive: "receive";
    construct: "construct";
    selector: "selector";
}>;
declare const CodeUnitIdentitySchema: z.ZodObject<{
    id: z.ZodOptional<z.ZodString>;
    name: z.ZodString;
    nameKind: z.ZodOptional<z.ZodEnum<{
        binding: "binding";
        label: "label";
    }>>;
    exportPath: z.ZodNullable<z.ZodArray<z.ZodString>>;
    boundaryBinding: z.ZodNullable<z.ZodObject<{
        transport: z.ZodString;
        semantics: z.ZodDiscriminatedUnion<[z.ZodObject<{
            name: z.ZodLiteral<"rest">;
            method: z.ZodNullable<z.ZodString>;
            path: z.ZodNullable<z.ZodString>;
            declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"function-call">;
            module: z.ZodOptional<z.ZodString>;
            exportName: z.ZodOptional<z.ZodString>;
            package: z.ZodOptional<z.ZodString>;
            exportPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"graphql-resolver">;
            typeName: z.ZodNullable<z.ZodString>;
            fieldName: z.ZodString;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"graphql-operation">;
            operationName: z.ZodOptional<z.ZodString>;
            operationType: z.ZodEnum<{
                query: "query";
                mutation: "mutation";
                subscription: "subscription";
            }>;
        }, z.core.$strip>, z.ZodObject<{
            deploymentTarget: z.ZodOptional<z.ZodEnum<{
                lambda: "lambda";
                "ecs-task": "ecs-task";
                container: "container";
                "k8s-deployment": "k8s-deployment";
                worker: "worker";
            }>>;
            instanceName: z.ZodOptional<z.ZodString>;
            name: z.ZodLiteral<"runtime-config">;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"storage">;
            storageSystem: z.ZodNullable<z.ZodString>;
            scope: z.ZodString;
            container: z.ZodNullable<z.ZodString>;
            accessPath: z.ZodNullable<z.ZodString>;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"message-bus">;
            messageBus: z.ZodEnum<{
                aws_sqs: "aws_sqs";
                "aws.sns": "aws.sns";
                s3: "s3";
                eventbridge: "eventbridge";
                aws_kinesis: "aws_kinesis";
                aws_firehose: "aws_firehose";
                gcp_pubsub: "gcp_pubsub";
                bullmq: "bullmq";
                kafka: "kafka";
                nats: "nats";
                "cloudflare-queues": "cloudflare-queues";
                "cloudflare-cron": "cloudflare-cron";
                "cloudflare-tail": "cloudflare-tail";
            }>;
            channel: z.ZodNullable<z.ZodString>;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"metric">;
            metricSystem: z.ZodString;
            metricType: z.ZodNullable<z.ZodString>;
        }, z.core.$strip>, z.ZodObject<{
            deploymentTarget: z.ZodEnum<{
                lambda: "lambda";
                "ecs-task": "ecs-task";
                container: "container";
                "k8s-deployment": "k8s-deployment";
                worker: "worker";
            }>;
            name: z.ZodLiteral<"unit-invocation">;
            instanceName: z.ZodNullable<z.ZodString>;
        }, z.core.$strip>], "name">;
        recognition: z.ZodString;
    }, z.core.$strip>>;
    deployableUnit: z.ZodOptional<z.ZodObject<{
        deploymentTarget: z.ZodEnum<{
            lambda: "lambda";
            "ecs-task": "ecs-task";
            container: "container";
            "k8s-deployment": "k8s-deployment";
            worker: "worker";
        }>;
        instanceName: z.ZodString;
    }, z.core.$strip>>;
}, z.core.$strip>;
declare const LiteralSchema: z.ZodObject<{
    type: z.ZodLiteral<"literal">;
    value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
}, z.core.$strip>;
declare const DerivationSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    type: z.ZodLiteral<"propertyAccess">;
    property: z.ZodString;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"methodCall">;
    method: z.ZodString;
    args: z.ZodArray<z.ZodString>;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"destructured">;
    field: z.ZodString;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"awaited">;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"indexAccess">;
    index: z.ZodUnion<readonly [z.ZodString, z.ZodNumber]>;
}, z.core.$strip>], "type">;
interface ValueRef {
    type: "input" | "dependency" | "derived" | "literal" | "state" | "unresolved";
}
interface Derivation {
    type: "propertyAccess" | "methodCall" | "destructured" | "awaited" | "indexAccess";
}
type ValueRefT = {
    type: "input";
    inputRef: string;
    path: string[];
} | {
    type: "dependency";
    name: string;
    accessChain: string[];
} | {
    type: "derived";
    from: ValueRefT;
    derivation: z.infer<typeof DerivationSchema>;
} | {
    type: "literal";
    value: string | number | boolean | null;
} | {
    type: "state";
    name: string;
} | {
    type: "unresolved";
    sourceText: string;
};
declare const ValueRefSchema: z.ZodType<ValueRefT>;
type PredicateT = {
    type: "nullCheck";
    subject: ValueRefT;
    negated: boolean;
} | {
    type: "truthinessCheck";
    subject: ValueRefT;
    negated: boolean;
} | {
    type: "comparison";
    left: ValueRefT;
    op: z.infer<typeof ComparisonOpSchema>;
    right: ValueRefT;
} | {
    type: "typeCheck";
    subject: ValueRefT;
    expectedType: string;
} | {
    type: "propertyExists";
    subject: ValueRefT;
    property: string;
    negated: boolean;
} | {
    type: "compound";
    op: "and" | "or";
    operands: PredicateT[];
} | {
    type: "negation";
    operand: PredicateT;
} | {
    type: "call";
    callee: string;
    args: ValueRefT[];
} | {
    type: "opaque";
    sourceText: string;
    reason: z.infer<typeof OpaqueReasonSchema>;
};
declare const PredicateSchema: z.ZodType<PredicateT>;
type RenderNodeT = {
    type: "element";
    tag: string;
    /**
     * Attribute values as source text, quotes included. A boolean
     * shorthand such as `<input disabled>` maps to the empty string.
     */
    attrs?: Record<string, string> | undefined;
    /**
     * Where the tag's component is declared, when the walk resolved
     * it: the file and name the child unit's summary is keyed by, so
     * a checker can join this render edge to that summary. Host tags
     * and unresolved references leave it unset.
     */
    target?: {
        file: string;
        name: string;
    } | undefined;
    children: RenderNodeT[];
} | {
    type: "text";
    value: string;
} | {
    type: "expression";
    sourceText: string;
} | {
    type: "conditional";
    condition: string;
    whenTrue: RenderNodeT;
    whenFalse: RenderNodeT | null;
};
declare const RenderNodeSchema: z.ZodType<RenderNodeT>;
declare const InputSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    type: z.ZodLiteral<"parameter">;
    name: z.ZodString;
    position: z.ZodNumber;
    role: z.ZodNullable<z.ZodString>;
    shape: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"injection">;
    name: z.ZodString;
    mechanism: z.ZodString;
    shape: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"hookReturn">;
    hook: z.ZodString;
    destructuredFields: z.ZodArray<z.ZodString>;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"contextValue">;
    context: z.ZodString;
    accessedFields: z.ZodArray<z.ZodString>;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"closure">;
    name: z.ZodString;
}, z.core.$strip>], "type">;
declare const OutputSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    type: z.ZodLiteral<"response">;
    statusCode: z.ZodNullable<z.ZodType<ValueRefT, unknown, z.core.$ZodTypeInternals<ValueRefT, unknown>>>;
    body: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
    headers: z.ZodRecord<z.ZodString, z.ZodType<ValueRefT, unknown, z.core.$ZodTypeInternals<ValueRefT, unknown>>>;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"throw">;
    exceptionType: z.ZodNullable<z.ZodString>;
    message: z.ZodNullable<z.ZodString>;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"render">;
    component: z.ZodString;
    props: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    root: z.ZodOptional<z.ZodType<RenderNodeT, unknown, z.core.$ZodTypeInternals<RenderNodeT, unknown>>>;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"return">;
    value: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"delegate">;
    to: z.ZodString;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"emit">;
    event: z.ZodString;
    payload: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"void">;
}, z.core.$strip>], "type">;
declare const EffectSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    type: z.ZodLiteral<"mutation">;
    target: z.ZodString;
    operation: z.ZodEnum<{
        create: "create";
        update: "update";
        delete: "delete";
    }>;
    count: z.ZodOptional<z.ZodNumber>;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"invocation">;
    callee: z.ZodString;
    summary: z.ZodOptional<z.ZodString>;
    declaredAt: z.ZodOptional<z.ZodObject<{
        file: z.ZodString;
        span: z.ZodObject<{
            start: z.ZodNumber;
            end: z.ZodNumber;
        }, z.core.$strip>;
    }, z.core.$strip>>;
    argsDeclaredAt: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
        file: z.ZodString;
        span: z.ZodObject<{
            start: z.ZodNumber;
            end: z.ZodNumber;
        }, z.core.$strip>;
    }, z.core.$strip>>>;
    argsSummary: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
    calleeParameter: z.ZodOptional<z.ZodNumber>;
    args: z.ZodArray<z.ZodUnknown>;
    async: z.ZodBoolean;
    preconditions: z.ZodOptional<z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>>;
    count: z.ZodOptional<z.ZodNumber>;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"emission">;
    event: z.ZodString;
    payload: z.ZodOptional<z.ZodUnknown>;
    count: z.ZodOptional<z.ZodNumber>;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"stateChange">;
    variable: z.ZodString;
    newValue: z.ZodOptional<z.ZodUnknown>;
    count: z.ZodOptional<z.ZodNumber>;
}, z.core.$strip>, z.ZodObject<{
    type: z.ZodLiteral<"interaction">;
    binding: z.ZodObject<{
        transport: z.ZodString;
        semantics: z.ZodDiscriminatedUnion<[z.ZodObject<{
            name: z.ZodLiteral<"rest">;
            method: z.ZodNullable<z.ZodString>;
            path: z.ZodNullable<z.ZodString>;
            declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"function-call">;
            module: z.ZodOptional<z.ZodString>;
            exportName: z.ZodOptional<z.ZodString>;
            package: z.ZodOptional<z.ZodString>;
            exportPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"graphql-resolver">;
            typeName: z.ZodNullable<z.ZodString>;
            fieldName: z.ZodString;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"graphql-operation">;
            operationName: z.ZodOptional<z.ZodString>;
            operationType: z.ZodEnum<{
                query: "query";
                mutation: "mutation";
                subscription: "subscription";
            }>;
        }, z.core.$strip>, z.ZodObject<{
            deploymentTarget: z.ZodOptional<z.ZodEnum<{
                lambda: "lambda";
                "ecs-task": "ecs-task";
                container: "container";
                "k8s-deployment": "k8s-deployment";
                worker: "worker";
            }>>;
            instanceName: z.ZodOptional<z.ZodString>;
            name: z.ZodLiteral<"runtime-config">;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"storage">;
            storageSystem: z.ZodNullable<z.ZodString>;
            scope: z.ZodString;
            container: z.ZodNullable<z.ZodString>;
            accessPath: z.ZodNullable<z.ZodString>;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"message-bus">;
            messageBus: z.ZodEnum<{
                aws_sqs: "aws_sqs";
                "aws.sns": "aws.sns";
                s3: "s3";
                eventbridge: "eventbridge";
                aws_kinesis: "aws_kinesis";
                aws_firehose: "aws_firehose";
                gcp_pubsub: "gcp_pubsub";
                bullmq: "bullmq";
                kafka: "kafka";
                nats: "nats";
                "cloudflare-queues": "cloudflare-queues";
                "cloudflare-cron": "cloudflare-cron";
                "cloudflare-tail": "cloudflare-tail";
            }>;
            channel: z.ZodNullable<z.ZodString>;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"metric">;
            metricSystem: z.ZodString;
            metricType: z.ZodNullable<z.ZodString>;
        }, z.core.$strip>, z.ZodObject<{
            deploymentTarget: z.ZodEnum<{
                lambda: "lambda";
                "ecs-task": "ecs-task";
                container: "container";
                "k8s-deployment": "k8s-deployment";
                worker: "worker";
            }>;
            name: z.ZodLiteral<"unit-invocation">;
            instanceName: z.ZodNullable<z.ZodString>;
        }, z.core.$strip>], "name">;
        recognition: z.ZodString;
    }, z.core.$strip>;
    callee: z.ZodOptional<z.ZodString>;
    groupId: z.ZodOptional<z.ZodString>;
    preconditions: z.ZodOptional<z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>>;
    interaction: z.ZodDiscriminatedUnion<[z.ZodObject<{
        class: z.ZodLiteral<"storage-access">;
        kind: z.ZodEnum<{
            read: "read";
            write: "write";
        }>;
        fields: z.ZodArray<z.ZodString>;
        selector: z.ZodOptional<z.ZodArray<z.ZodString>>;
        operation: z.ZodOptional<z.ZodString>;
        relationPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
        relationKey: z.ZodOptional<z.ZodBoolean>;
    }, z.core.$strip>, z.ZodObject<{
        class: z.ZodLiteral<"service-call">;
        method: z.ZodString;
        payload: z.ZodOptional<z.ZodUnknown>;
        responseShape: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
    }, z.core.$strip>, z.ZodObject<{
        class: z.ZodLiteral<"message-send">;
        body: z.ZodOptional<z.ZodUnknown>;
        routingKey: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>, z.ZodObject<{
        class: z.ZodLiteral<"unit-invoke">;
        payload: z.ZodOptional<z.ZodUnknown>;
    }, z.core.$strip>, z.ZodObject<{
        class: z.ZodLiteral<"message-receive">;
        body: z.ZodOptional<z.ZodUnknown>;
    }, z.core.$strip>, z.ZodObject<{
        class: z.ZodLiteral<"config-read">;
        name: z.ZodString;
        defaulted: z.ZodBoolean;
    }, z.core.$strip>, z.ZodObject<{
        class: z.ZodLiteral<"metadata-read">;
        name: z.ZodString;
    }, z.core.$strip>, z.ZodObject<{
        class: z.ZodLiteral<"schedule">;
        via: z.ZodString;
        callbackRef: z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"literal">;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"identifier">;
            name: z.ZodString;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"opaque">;
            reason: z.ZodString;
        }, z.core.$strip>], "type">;
        hasDelay: z.ZodBoolean;
    }, z.core.$strip>], "class">;
    count: z.ZodOptional<z.ZodNumber>;
}, z.core.$strip>], "type">;
declare const TransitionSchema: z.ZodObject<{
    id: z.ZodString;
    conditions: z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>;
    output: z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"response">;
        statusCode: z.ZodNullable<z.ZodType<ValueRefT, unknown, z.core.$ZodTypeInternals<ValueRefT, unknown>>>;
        body: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
        headers: z.ZodRecord<z.ZodString, z.ZodType<ValueRefT, unknown, z.core.$ZodTypeInternals<ValueRefT, unknown>>>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"throw">;
        exceptionType: z.ZodNullable<z.ZodString>;
        message: z.ZodNullable<z.ZodString>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"render">;
        component: z.ZodString;
        props: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        root: z.ZodOptional<z.ZodType<RenderNodeT, unknown, z.core.$ZodTypeInternals<RenderNodeT, unknown>>>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"return">;
        value: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"delegate">;
        to: z.ZodString;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"emit">;
        event: z.ZodString;
        payload: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"void">;
    }, z.core.$strip>], "type">;
    effects: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"mutation">;
        target: z.ZodString;
        operation: z.ZodEnum<{
            create: "create";
            update: "update";
            delete: "delete";
        }>;
        count: z.ZodOptional<z.ZodNumber>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"invocation">;
        callee: z.ZodString;
        summary: z.ZodOptional<z.ZodString>;
        declaredAt: z.ZodOptional<z.ZodObject<{
            file: z.ZodString;
            span: z.ZodObject<{
                start: z.ZodNumber;
                end: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>;
        argsDeclaredAt: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
            file: z.ZodString;
            span: z.ZodObject<{
                start: z.ZodNumber;
                end: z.ZodNumber;
            }, z.core.$strip>;
        }, z.core.$strip>>>;
        argsSummary: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
        calleeParameter: z.ZodOptional<z.ZodNumber>;
        args: z.ZodArray<z.ZodUnknown>;
        async: z.ZodBoolean;
        preconditions: z.ZodOptional<z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>>;
        count: z.ZodOptional<z.ZodNumber>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"emission">;
        event: z.ZodString;
        payload: z.ZodOptional<z.ZodUnknown>;
        count: z.ZodOptional<z.ZodNumber>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"stateChange">;
        variable: z.ZodString;
        newValue: z.ZodOptional<z.ZodUnknown>;
        count: z.ZodOptional<z.ZodNumber>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"interaction">;
        binding: z.ZodObject<{
            transport: z.ZodString;
            semantics: z.ZodDiscriminatedUnion<[z.ZodObject<{
                name: z.ZodLiteral<"rest">;
                method: z.ZodNullable<z.ZodString>;
                path: z.ZodNullable<z.ZodString>;
                declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"function-call">;
                module: z.ZodOptional<z.ZodString>;
                exportName: z.ZodOptional<z.ZodString>;
                package: z.ZodOptional<z.ZodString>;
                exportPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"graphql-resolver">;
                typeName: z.ZodNullable<z.ZodString>;
                fieldName: z.ZodString;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"graphql-operation">;
                operationName: z.ZodOptional<z.ZodString>;
                operationType: z.ZodEnum<{
                    query: "query";
                    mutation: "mutation";
                    subscription: "subscription";
                }>;
            }, z.core.$strip>, z.ZodObject<{
                deploymentTarget: z.ZodOptional<z.ZodEnum<{
                    lambda: "lambda";
                    "ecs-task": "ecs-task";
                    container: "container";
                    "k8s-deployment": "k8s-deployment";
                    worker: "worker";
                }>>;
                instanceName: z.ZodOptional<z.ZodString>;
                name: z.ZodLiteral<"runtime-config">;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"storage">;
                storageSystem: z.ZodNullable<z.ZodString>;
                scope: z.ZodString;
                container: z.ZodNullable<z.ZodString>;
                accessPath: z.ZodNullable<z.ZodString>;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"message-bus">;
                messageBus: z.ZodEnum<{
                    aws_sqs: "aws_sqs";
                    "aws.sns": "aws.sns";
                    s3: "s3";
                    eventbridge: "eventbridge";
                    aws_kinesis: "aws_kinesis";
                    aws_firehose: "aws_firehose";
                    gcp_pubsub: "gcp_pubsub";
                    bullmq: "bullmq";
                    kafka: "kafka";
                    nats: "nats";
                    "cloudflare-queues": "cloudflare-queues";
                    "cloudflare-cron": "cloudflare-cron";
                    "cloudflare-tail": "cloudflare-tail";
                }>;
                channel: z.ZodNullable<z.ZodString>;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"metric">;
                metricSystem: z.ZodString;
                metricType: z.ZodNullable<z.ZodString>;
            }, z.core.$strip>, z.ZodObject<{
                deploymentTarget: z.ZodEnum<{
                    lambda: "lambda";
                    "ecs-task": "ecs-task";
                    container: "container";
                    "k8s-deployment": "k8s-deployment";
                    worker: "worker";
                }>;
                name: z.ZodLiteral<"unit-invocation">;
                instanceName: z.ZodNullable<z.ZodString>;
            }, z.core.$strip>], "name">;
            recognition: z.ZodString;
        }, z.core.$strip>;
        callee: z.ZodOptional<z.ZodString>;
        groupId: z.ZodOptional<z.ZodString>;
        preconditions: z.ZodOptional<z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>>;
        interaction: z.ZodDiscriminatedUnion<[z.ZodObject<{
            class: z.ZodLiteral<"storage-access">;
            kind: z.ZodEnum<{
                read: "read";
                write: "write";
            }>;
            fields: z.ZodArray<z.ZodString>;
            selector: z.ZodOptional<z.ZodArray<z.ZodString>>;
            operation: z.ZodOptional<z.ZodString>;
            relationPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
            relationKey: z.ZodOptional<z.ZodBoolean>;
        }, z.core.$strip>, z.ZodObject<{
            class: z.ZodLiteral<"service-call">;
            method: z.ZodString;
            payload: z.ZodOptional<z.ZodUnknown>;
            responseShape: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            class: z.ZodLiteral<"message-send">;
            body: z.ZodOptional<z.ZodUnknown>;
            routingKey: z.ZodOptional<z.ZodString>;
        }, z.core.$strip>, z.ZodObject<{
            class: z.ZodLiteral<"unit-invoke">;
            payload: z.ZodOptional<z.ZodUnknown>;
        }, z.core.$strip>, z.ZodObject<{
            class: z.ZodLiteral<"message-receive">;
            body: z.ZodOptional<z.ZodUnknown>;
        }, z.core.$strip>, z.ZodObject<{
            class: z.ZodLiteral<"config-read">;
            name: z.ZodString;
            defaulted: z.ZodBoolean;
        }, z.core.$strip>, z.ZodObject<{
            class: z.ZodLiteral<"metadata-read">;
            name: z.ZodString;
        }, z.core.$strip>, z.ZodObject<{
            class: z.ZodLiteral<"schedule">;
            via: z.ZodString;
            callbackRef: z.ZodDiscriminatedUnion<[z.ZodObject<{
                type: z.ZodLiteral<"literal">;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"identifier">;
                name: z.ZodString;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"opaque">;
                reason: z.ZodString;
            }, z.core.$strip>], "type">;
            hasDelay: z.ZodBoolean;
        }, z.core.$strip>], "class">;
        count: z.ZodOptional<z.ZodNumber>;
    }, z.core.$strip>], "type">>;
    location: z.ZodObject<{
        start: z.ZodNumber;
        end: z.ZodNumber;
    }, z.core.$strip>;
    isDefault: z.ZodBoolean;
    confidence: z.ZodOptional<z.ZodObject<{
        source: z.ZodEnum<{
            inferred_static: "inferred_static";
            inferred_ai: "inferred_ai";
            declared: "declared";
            derived: "derived";
        }>;
        level: z.ZodEnum<{
            high: "high";
            medium: "medium";
            low: "low";
        }>;
        corroboration: z.ZodOptional<z.ZodObject<{
            outcome: z.ZodEnum<{
                observed: "observed";
                refuted: "refuted";
                untested: "untested";
            }>;
            runs: z.ZodNumber;
            counterexample: z.ZodOptional<z.ZodUnknown>;
            reason: z.ZodOptional<z.ZodString>;
        }, z.core.$strip>>;
    }, z.core.$strip>>;
    expectedInput: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strip>;
declare const GapSchema: z.ZodObject<{
    type: z.ZodEnum<{
        unhandledCase: "unhandledCase";
        unreadOutcome: "unreadOutcome";
        unfollowedCall: "unfollowedCall";
    }>;
    conditions: z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>;
    consequence: z.ZodEnum<{
        unknown: "unknown";
        frameworkDefault: "frameworkDefault";
        implicitThrow: "implicitThrow";
        fallthrough: "fallthrough";
    }>;
    description: z.ZodString;
    callee: z.ZodOptional<z.ZodString>;
}, z.core.$strip>;
declare const BehavioralSummarySchema: z.ZodObject<{
    schemaVersion: z.ZodOptional<z.ZodNumber>;
    kind: z.ZodEnum<{
        handler: "handler";
        loader: "loader";
        action: "action";
        component: "component";
        hook: "hook";
        middleware: "middleware";
        resolver: "resolver";
        consumer: "consumer";
        client: "client";
        worker: "worker";
        library: "library";
        caller: "caller";
        "module-init": "module-init";
        "scheduled-callback": "scheduled-callback";
    }>;
    location: z.ZodObject<{
        file: z.ZodString;
        range: z.ZodObject<{
            start: z.ZodNumber;
            end: z.ZodNumber;
        }, z.core.$strip>;
        span: z.ZodOptional<z.ZodObject<{
            start: z.ZodNumber;
            end: z.ZodNumber;
        }, z.core.$strip>>;
        exportName: z.ZodNullable<z.ZodString>;
        workspace: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>;
    identity: z.ZodObject<{
        id: z.ZodOptional<z.ZodString>;
        name: z.ZodString;
        nameKind: z.ZodOptional<z.ZodEnum<{
            binding: "binding";
            label: "label";
        }>>;
        exportPath: z.ZodNullable<z.ZodArray<z.ZodString>>;
        boundaryBinding: z.ZodNullable<z.ZodObject<{
            transport: z.ZodString;
            semantics: z.ZodDiscriminatedUnion<[z.ZodObject<{
                name: z.ZodLiteral<"rest">;
                method: z.ZodNullable<z.ZodString>;
                path: z.ZodNullable<z.ZodString>;
                declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"function-call">;
                module: z.ZodOptional<z.ZodString>;
                exportName: z.ZodOptional<z.ZodString>;
                package: z.ZodOptional<z.ZodString>;
                exportPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"graphql-resolver">;
                typeName: z.ZodNullable<z.ZodString>;
                fieldName: z.ZodString;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"graphql-operation">;
                operationName: z.ZodOptional<z.ZodString>;
                operationType: z.ZodEnum<{
                    query: "query";
                    mutation: "mutation";
                    subscription: "subscription";
                }>;
            }, z.core.$strip>, z.ZodObject<{
                deploymentTarget: z.ZodOptional<z.ZodEnum<{
                    lambda: "lambda";
                    "ecs-task": "ecs-task";
                    container: "container";
                    "k8s-deployment": "k8s-deployment";
                    worker: "worker";
                }>>;
                instanceName: z.ZodOptional<z.ZodString>;
                name: z.ZodLiteral<"runtime-config">;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"storage">;
                storageSystem: z.ZodNullable<z.ZodString>;
                scope: z.ZodString;
                container: z.ZodNullable<z.ZodString>;
                accessPath: z.ZodNullable<z.ZodString>;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"message-bus">;
                messageBus: z.ZodEnum<{
                    aws_sqs: "aws_sqs";
                    "aws.sns": "aws.sns";
                    s3: "s3";
                    eventbridge: "eventbridge";
                    aws_kinesis: "aws_kinesis";
                    aws_firehose: "aws_firehose";
                    gcp_pubsub: "gcp_pubsub";
                    bullmq: "bullmq";
                    kafka: "kafka";
                    nats: "nats";
                    "cloudflare-queues": "cloudflare-queues";
                    "cloudflare-cron": "cloudflare-cron";
                    "cloudflare-tail": "cloudflare-tail";
                }>;
                channel: z.ZodNullable<z.ZodString>;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"metric">;
                metricSystem: z.ZodString;
                metricType: z.ZodNullable<z.ZodString>;
            }, z.core.$strip>, z.ZodObject<{
                deploymentTarget: z.ZodEnum<{
                    lambda: "lambda";
                    "ecs-task": "ecs-task";
                    container: "container";
                    "k8s-deployment": "k8s-deployment";
                    worker: "worker";
                }>;
                name: z.ZodLiteral<"unit-invocation">;
                instanceName: z.ZodNullable<z.ZodString>;
            }, z.core.$strip>], "name">;
            recognition: z.ZodString;
        }, z.core.$strip>>;
        deployableUnit: z.ZodOptional<z.ZodObject<{
            deploymentTarget: z.ZodEnum<{
                lambda: "lambda";
                "ecs-task": "ecs-task";
                container: "container";
                "k8s-deployment": "k8s-deployment";
                worker: "worker";
            }>;
            instanceName: z.ZodString;
        }, z.core.$strip>>;
    }, z.core.$strip>;
    inputs: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"parameter">;
        name: z.ZodString;
        position: z.ZodNumber;
        role: z.ZodNullable<z.ZodString>;
        shape: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"injection">;
        name: z.ZodString;
        mechanism: z.ZodString;
        shape: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"hookReturn">;
        hook: z.ZodString;
        destructuredFields: z.ZodArray<z.ZodString>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"contextValue">;
        context: z.ZodString;
        accessedFields: z.ZodArray<z.ZodString>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"closure">;
        name: z.ZodString;
    }, z.core.$strip>], "type">>;
    transitions: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        conditions: z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>;
        output: z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"response">;
            statusCode: z.ZodNullable<z.ZodType<ValueRefT, unknown, z.core.$ZodTypeInternals<ValueRefT, unknown>>>;
            body: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
            headers: z.ZodRecord<z.ZodString, z.ZodType<ValueRefT, unknown, z.core.$ZodTypeInternals<ValueRefT, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"throw">;
            exceptionType: z.ZodNullable<z.ZodString>;
            message: z.ZodNullable<z.ZodString>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"render">;
            component: z.ZodString;
            props: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            root: z.ZodOptional<z.ZodType<RenderNodeT, unknown, z.core.$ZodTypeInternals<RenderNodeT, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"return">;
            value: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"delegate">;
            to: z.ZodString;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"emit">;
            event: z.ZodString;
            payload: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"void">;
        }, z.core.$strip>], "type">;
        effects: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"mutation">;
            target: z.ZodString;
            operation: z.ZodEnum<{
                create: "create";
                update: "update";
                delete: "delete";
            }>;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"invocation">;
            callee: z.ZodString;
            summary: z.ZodOptional<z.ZodString>;
            declaredAt: z.ZodOptional<z.ZodObject<{
                file: z.ZodString;
                span: z.ZodObject<{
                    start: z.ZodNumber;
                    end: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            argsDeclaredAt: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
                file: z.ZodString;
                span: z.ZodObject<{
                    start: z.ZodNumber;
                    end: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>>;
            argsSummary: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
            calleeParameter: z.ZodOptional<z.ZodNumber>;
            args: z.ZodArray<z.ZodUnknown>;
            async: z.ZodBoolean;
            preconditions: z.ZodOptional<z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>>;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"emission">;
            event: z.ZodString;
            payload: z.ZodOptional<z.ZodUnknown>;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"stateChange">;
            variable: z.ZodString;
            newValue: z.ZodOptional<z.ZodUnknown>;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"interaction">;
            binding: z.ZodObject<{
                transport: z.ZodString;
                semantics: z.ZodDiscriminatedUnion<[z.ZodObject<{
                    name: z.ZodLiteral<"rest">;
                    method: z.ZodNullable<z.ZodString>;
                    path: z.ZodNullable<z.ZodString>;
                    declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"function-call">;
                    module: z.ZodOptional<z.ZodString>;
                    exportName: z.ZodOptional<z.ZodString>;
                    package: z.ZodOptional<z.ZodString>;
                    exportPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"graphql-resolver">;
                    typeName: z.ZodNullable<z.ZodString>;
                    fieldName: z.ZodString;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"graphql-operation">;
                    operationName: z.ZodOptional<z.ZodString>;
                    operationType: z.ZodEnum<{
                        query: "query";
                        mutation: "mutation";
                        subscription: "subscription";
                    }>;
                }, z.core.$strip>, z.ZodObject<{
                    deploymentTarget: z.ZodOptional<z.ZodEnum<{
                        lambda: "lambda";
                        "ecs-task": "ecs-task";
                        container: "container";
                        "k8s-deployment": "k8s-deployment";
                        worker: "worker";
                    }>>;
                    instanceName: z.ZodOptional<z.ZodString>;
                    name: z.ZodLiteral<"runtime-config">;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"storage">;
                    storageSystem: z.ZodNullable<z.ZodString>;
                    scope: z.ZodString;
                    container: z.ZodNullable<z.ZodString>;
                    accessPath: z.ZodNullable<z.ZodString>;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"message-bus">;
                    messageBus: z.ZodEnum<{
                        aws_sqs: "aws_sqs";
                        "aws.sns": "aws.sns";
                        s3: "s3";
                        eventbridge: "eventbridge";
                        aws_kinesis: "aws_kinesis";
                        aws_firehose: "aws_firehose";
                        gcp_pubsub: "gcp_pubsub";
                        bullmq: "bullmq";
                        kafka: "kafka";
                        nats: "nats";
                        "cloudflare-queues": "cloudflare-queues";
                        "cloudflare-cron": "cloudflare-cron";
                        "cloudflare-tail": "cloudflare-tail";
                    }>;
                    channel: z.ZodNullable<z.ZodString>;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"metric">;
                    metricSystem: z.ZodString;
                    metricType: z.ZodNullable<z.ZodString>;
                }, z.core.$strip>, z.ZodObject<{
                    deploymentTarget: z.ZodEnum<{
                        lambda: "lambda";
                        "ecs-task": "ecs-task";
                        container: "container";
                        "k8s-deployment": "k8s-deployment";
                        worker: "worker";
                    }>;
                    name: z.ZodLiteral<"unit-invocation">;
                    instanceName: z.ZodNullable<z.ZodString>;
                }, z.core.$strip>], "name">;
                recognition: z.ZodString;
            }, z.core.$strip>;
            callee: z.ZodOptional<z.ZodString>;
            groupId: z.ZodOptional<z.ZodString>;
            preconditions: z.ZodOptional<z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>>;
            interaction: z.ZodDiscriminatedUnion<[z.ZodObject<{
                class: z.ZodLiteral<"storage-access">;
                kind: z.ZodEnum<{
                    read: "read";
                    write: "write";
                }>;
                fields: z.ZodArray<z.ZodString>;
                selector: z.ZodOptional<z.ZodArray<z.ZodString>>;
                operation: z.ZodOptional<z.ZodString>;
                relationPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
                relationKey: z.ZodOptional<z.ZodBoolean>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"service-call">;
                method: z.ZodString;
                payload: z.ZodOptional<z.ZodUnknown>;
                responseShape: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"message-send">;
                body: z.ZodOptional<z.ZodUnknown>;
                routingKey: z.ZodOptional<z.ZodString>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"unit-invoke">;
                payload: z.ZodOptional<z.ZodUnknown>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"message-receive">;
                body: z.ZodOptional<z.ZodUnknown>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"config-read">;
                name: z.ZodString;
                defaulted: z.ZodBoolean;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"metadata-read">;
                name: z.ZodString;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"schedule">;
                via: z.ZodString;
                callbackRef: z.ZodDiscriminatedUnion<[z.ZodObject<{
                    type: z.ZodLiteral<"literal">;
                }, z.core.$strip>, z.ZodObject<{
                    type: z.ZodLiteral<"identifier">;
                    name: z.ZodString;
                }, z.core.$strip>, z.ZodObject<{
                    type: z.ZodLiteral<"opaque">;
                    reason: z.ZodString;
                }, z.core.$strip>], "type">;
                hasDelay: z.ZodBoolean;
            }, z.core.$strip>], "class">;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>], "type">>;
        location: z.ZodObject<{
            start: z.ZodNumber;
            end: z.ZodNumber;
        }, z.core.$strip>;
        isDefault: z.ZodBoolean;
        confidence: z.ZodOptional<z.ZodObject<{
            source: z.ZodEnum<{
                inferred_static: "inferred_static";
                inferred_ai: "inferred_ai";
                declared: "declared";
                derived: "derived";
            }>;
            level: z.ZodEnum<{
                high: "high";
                medium: "medium";
                low: "low";
            }>;
            corroboration: z.ZodOptional<z.ZodObject<{
                outcome: z.ZodEnum<{
                    observed: "observed";
                    refuted: "refuted";
                    untested: "untested";
                }>;
                runs: z.ZodNumber;
                counterexample: z.ZodOptional<z.ZodUnknown>;
                reason: z.ZodOptional<z.ZodString>;
            }, z.core.$strip>>;
        }, z.core.$strip>>;
        expectedInput: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strip>>;
    gaps: z.ZodArray<z.ZodObject<{
        type: z.ZodEnum<{
            unhandledCase: "unhandledCase";
            unreadOutcome: "unreadOutcome";
            unfollowedCall: "unfollowedCall";
        }>;
        conditions: z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>;
        consequence: z.ZodEnum<{
            unknown: "unknown";
            frameworkDefault: "frameworkDefault";
            implicitThrow: "implicitThrow";
            fallthrough: "fallthrough";
        }>;
        description: z.ZodString;
        callee: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>>;
    confidence: z.ZodObject<{
        source: z.ZodEnum<{
            inferred_static: "inferred_static";
            inferred_ai: "inferred_ai";
            declared: "declared";
            derived: "derived";
        }>;
        level: z.ZodEnum<{
            high: "high";
            medium: "medium";
            low: "low";
        }>;
        corroboration: z.ZodOptional<z.ZodObject<{
            outcome: z.ZodEnum<{
                observed: "observed";
                refuted: "refuted";
                untested: "untested";
            }>;
            runs: z.ZodNumber;
            counterexample: z.ZodOptional<z.ZodUnknown>;
            reason: z.ZodOptional<z.ZodString>;
        }, z.core.$strip>>;
    }, z.core.$strip>;
    definitions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>>;
    inputReads: z.ZodOptional<z.ZodArray<z.ZodObject<{
        input: z.ZodString;
        path: z.ZodArray<z.ZodString>;
    }, z.core.$strip>>>;
    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strip>;
declare const BehavioralSummaryArraySchema: z.ZodArray<z.ZodObject<{
    schemaVersion: z.ZodOptional<z.ZodNumber>;
    kind: z.ZodEnum<{
        handler: "handler";
        loader: "loader";
        action: "action";
        component: "component";
        hook: "hook";
        middleware: "middleware";
        resolver: "resolver";
        consumer: "consumer";
        client: "client";
        worker: "worker";
        library: "library";
        caller: "caller";
        "module-init": "module-init";
        "scheduled-callback": "scheduled-callback";
    }>;
    location: z.ZodObject<{
        file: z.ZodString;
        range: z.ZodObject<{
            start: z.ZodNumber;
            end: z.ZodNumber;
        }, z.core.$strip>;
        span: z.ZodOptional<z.ZodObject<{
            start: z.ZodNumber;
            end: z.ZodNumber;
        }, z.core.$strip>>;
        exportName: z.ZodNullable<z.ZodString>;
        workspace: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>;
    identity: z.ZodObject<{
        id: z.ZodOptional<z.ZodString>;
        name: z.ZodString;
        nameKind: z.ZodOptional<z.ZodEnum<{
            binding: "binding";
            label: "label";
        }>>;
        exportPath: z.ZodNullable<z.ZodArray<z.ZodString>>;
        boundaryBinding: z.ZodNullable<z.ZodObject<{
            transport: z.ZodString;
            semantics: z.ZodDiscriminatedUnion<[z.ZodObject<{
                name: z.ZodLiteral<"rest">;
                method: z.ZodNullable<z.ZodString>;
                path: z.ZodNullable<z.ZodString>;
                declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"function-call">;
                module: z.ZodOptional<z.ZodString>;
                exportName: z.ZodOptional<z.ZodString>;
                package: z.ZodOptional<z.ZodString>;
                exportPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"graphql-resolver">;
                typeName: z.ZodNullable<z.ZodString>;
                fieldName: z.ZodString;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"graphql-operation">;
                operationName: z.ZodOptional<z.ZodString>;
                operationType: z.ZodEnum<{
                    query: "query";
                    mutation: "mutation";
                    subscription: "subscription";
                }>;
            }, z.core.$strip>, z.ZodObject<{
                deploymentTarget: z.ZodOptional<z.ZodEnum<{
                    lambda: "lambda";
                    "ecs-task": "ecs-task";
                    container: "container";
                    "k8s-deployment": "k8s-deployment";
                    worker: "worker";
                }>>;
                instanceName: z.ZodOptional<z.ZodString>;
                name: z.ZodLiteral<"runtime-config">;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"storage">;
                storageSystem: z.ZodNullable<z.ZodString>;
                scope: z.ZodString;
                container: z.ZodNullable<z.ZodString>;
                accessPath: z.ZodNullable<z.ZodString>;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"message-bus">;
                messageBus: z.ZodEnum<{
                    aws_sqs: "aws_sqs";
                    "aws.sns": "aws.sns";
                    s3: "s3";
                    eventbridge: "eventbridge";
                    aws_kinesis: "aws_kinesis";
                    aws_firehose: "aws_firehose";
                    gcp_pubsub: "gcp_pubsub";
                    bullmq: "bullmq";
                    kafka: "kafka";
                    nats: "nats";
                    "cloudflare-queues": "cloudflare-queues";
                    "cloudflare-cron": "cloudflare-cron";
                    "cloudflare-tail": "cloudflare-tail";
                }>;
                channel: z.ZodNullable<z.ZodString>;
            }, z.core.$strip>, z.ZodObject<{
                name: z.ZodLiteral<"metric">;
                metricSystem: z.ZodString;
                metricType: z.ZodNullable<z.ZodString>;
            }, z.core.$strip>, z.ZodObject<{
                deploymentTarget: z.ZodEnum<{
                    lambda: "lambda";
                    "ecs-task": "ecs-task";
                    container: "container";
                    "k8s-deployment": "k8s-deployment";
                    worker: "worker";
                }>;
                name: z.ZodLiteral<"unit-invocation">;
                instanceName: z.ZodNullable<z.ZodString>;
            }, z.core.$strip>], "name">;
            recognition: z.ZodString;
        }, z.core.$strip>>;
        deployableUnit: z.ZodOptional<z.ZodObject<{
            deploymentTarget: z.ZodEnum<{
                lambda: "lambda";
                "ecs-task": "ecs-task";
                container: "container";
                "k8s-deployment": "k8s-deployment";
                worker: "worker";
            }>;
            instanceName: z.ZodString;
        }, z.core.$strip>>;
    }, z.core.$strip>;
    inputs: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        type: z.ZodLiteral<"parameter">;
        name: z.ZodString;
        position: z.ZodNumber;
        role: z.ZodNullable<z.ZodString>;
        shape: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"injection">;
        name: z.ZodString;
        mechanism: z.ZodString;
        shape: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"hookReturn">;
        hook: z.ZodString;
        destructuredFields: z.ZodArray<z.ZodString>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"contextValue">;
        context: z.ZodString;
        accessedFields: z.ZodArray<z.ZodString>;
    }, z.core.$strip>, z.ZodObject<{
        type: z.ZodLiteral<"closure">;
        name: z.ZodString;
    }, z.core.$strip>], "type">>;
    transitions: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        conditions: z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>;
        output: z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"response">;
            statusCode: z.ZodNullable<z.ZodType<ValueRefT, unknown, z.core.$ZodTypeInternals<ValueRefT, unknown>>>;
            body: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
            headers: z.ZodRecord<z.ZodString, z.ZodType<ValueRefT, unknown, z.core.$ZodTypeInternals<ValueRefT, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"throw">;
            exceptionType: z.ZodNullable<z.ZodString>;
            message: z.ZodNullable<z.ZodString>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"render">;
            component: z.ZodString;
            props: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            root: z.ZodOptional<z.ZodType<RenderNodeT, unknown, z.core.$ZodTypeInternals<RenderNodeT, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"return">;
            value: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"delegate">;
            to: z.ZodString;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"emit">;
            event: z.ZodString;
            payload: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"void">;
        }, z.core.$strip>], "type">;
        effects: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"mutation">;
            target: z.ZodString;
            operation: z.ZodEnum<{
                create: "create";
                update: "update";
                delete: "delete";
            }>;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"invocation">;
            callee: z.ZodString;
            summary: z.ZodOptional<z.ZodString>;
            declaredAt: z.ZodOptional<z.ZodObject<{
                file: z.ZodString;
                span: z.ZodObject<{
                    start: z.ZodNumber;
                    end: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            argsDeclaredAt: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
                file: z.ZodString;
                span: z.ZodObject<{
                    start: z.ZodNumber;
                    end: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>>;
            argsSummary: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
            calleeParameter: z.ZodOptional<z.ZodNumber>;
            args: z.ZodArray<z.ZodUnknown>;
            async: z.ZodBoolean;
            preconditions: z.ZodOptional<z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>>;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"emission">;
            event: z.ZodString;
            payload: z.ZodOptional<z.ZodUnknown>;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"stateChange">;
            variable: z.ZodString;
            newValue: z.ZodOptional<z.ZodUnknown>;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"interaction">;
            binding: z.ZodObject<{
                transport: z.ZodString;
                semantics: z.ZodDiscriminatedUnion<[z.ZodObject<{
                    name: z.ZodLiteral<"rest">;
                    method: z.ZodNullable<z.ZodString>;
                    path: z.ZodNullable<z.ZodString>;
                    declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"function-call">;
                    module: z.ZodOptional<z.ZodString>;
                    exportName: z.ZodOptional<z.ZodString>;
                    package: z.ZodOptional<z.ZodString>;
                    exportPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"graphql-resolver">;
                    typeName: z.ZodNullable<z.ZodString>;
                    fieldName: z.ZodString;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"graphql-operation">;
                    operationName: z.ZodOptional<z.ZodString>;
                    operationType: z.ZodEnum<{
                        query: "query";
                        mutation: "mutation";
                        subscription: "subscription";
                    }>;
                }, z.core.$strip>, z.ZodObject<{
                    deploymentTarget: z.ZodOptional<z.ZodEnum<{
                        lambda: "lambda";
                        "ecs-task": "ecs-task";
                        container: "container";
                        "k8s-deployment": "k8s-deployment";
                        worker: "worker";
                    }>>;
                    instanceName: z.ZodOptional<z.ZodString>;
                    name: z.ZodLiteral<"runtime-config">;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"storage">;
                    storageSystem: z.ZodNullable<z.ZodString>;
                    scope: z.ZodString;
                    container: z.ZodNullable<z.ZodString>;
                    accessPath: z.ZodNullable<z.ZodString>;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"message-bus">;
                    messageBus: z.ZodEnum<{
                        aws_sqs: "aws_sqs";
                        "aws.sns": "aws.sns";
                        s3: "s3";
                        eventbridge: "eventbridge";
                        aws_kinesis: "aws_kinesis";
                        aws_firehose: "aws_firehose";
                        gcp_pubsub: "gcp_pubsub";
                        bullmq: "bullmq";
                        kafka: "kafka";
                        nats: "nats";
                        "cloudflare-queues": "cloudflare-queues";
                        "cloudflare-cron": "cloudflare-cron";
                        "cloudflare-tail": "cloudflare-tail";
                    }>;
                    channel: z.ZodNullable<z.ZodString>;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"metric">;
                    metricSystem: z.ZodString;
                    metricType: z.ZodNullable<z.ZodString>;
                }, z.core.$strip>, z.ZodObject<{
                    deploymentTarget: z.ZodEnum<{
                        lambda: "lambda";
                        "ecs-task": "ecs-task";
                        container: "container";
                        "k8s-deployment": "k8s-deployment";
                        worker: "worker";
                    }>;
                    name: z.ZodLiteral<"unit-invocation">;
                    instanceName: z.ZodNullable<z.ZodString>;
                }, z.core.$strip>], "name">;
                recognition: z.ZodString;
            }, z.core.$strip>;
            callee: z.ZodOptional<z.ZodString>;
            groupId: z.ZodOptional<z.ZodString>;
            preconditions: z.ZodOptional<z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>>;
            interaction: z.ZodDiscriminatedUnion<[z.ZodObject<{
                class: z.ZodLiteral<"storage-access">;
                kind: z.ZodEnum<{
                    read: "read";
                    write: "write";
                }>;
                fields: z.ZodArray<z.ZodString>;
                selector: z.ZodOptional<z.ZodArray<z.ZodString>>;
                operation: z.ZodOptional<z.ZodString>;
                relationPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
                relationKey: z.ZodOptional<z.ZodBoolean>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"service-call">;
                method: z.ZodString;
                payload: z.ZodOptional<z.ZodUnknown>;
                responseShape: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"message-send">;
                body: z.ZodOptional<z.ZodUnknown>;
                routingKey: z.ZodOptional<z.ZodString>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"unit-invoke">;
                payload: z.ZodOptional<z.ZodUnknown>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"message-receive">;
                body: z.ZodOptional<z.ZodUnknown>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"config-read">;
                name: z.ZodString;
                defaulted: z.ZodBoolean;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"metadata-read">;
                name: z.ZodString;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"schedule">;
                via: z.ZodString;
                callbackRef: z.ZodDiscriminatedUnion<[z.ZodObject<{
                    type: z.ZodLiteral<"literal">;
                }, z.core.$strip>, z.ZodObject<{
                    type: z.ZodLiteral<"identifier">;
                    name: z.ZodString;
                }, z.core.$strip>, z.ZodObject<{
                    type: z.ZodLiteral<"opaque">;
                    reason: z.ZodString;
                }, z.core.$strip>], "type">;
                hasDelay: z.ZodBoolean;
            }, z.core.$strip>], "class">;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>], "type">>;
        location: z.ZodObject<{
            start: z.ZodNumber;
            end: z.ZodNumber;
        }, z.core.$strip>;
        isDefault: z.ZodBoolean;
        confidence: z.ZodOptional<z.ZodObject<{
            source: z.ZodEnum<{
                inferred_static: "inferred_static";
                inferred_ai: "inferred_ai";
                declared: "declared";
                derived: "derived";
            }>;
            level: z.ZodEnum<{
                high: "high";
                medium: "medium";
                low: "low";
            }>;
            corroboration: z.ZodOptional<z.ZodObject<{
                outcome: z.ZodEnum<{
                    observed: "observed";
                    refuted: "refuted";
                    untested: "untested";
                }>;
                runs: z.ZodNumber;
                counterexample: z.ZodOptional<z.ZodUnknown>;
                reason: z.ZodOptional<z.ZodString>;
            }, z.core.$strip>>;
        }, z.core.$strip>>;
        expectedInput: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strip>>;
    gaps: z.ZodArray<z.ZodObject<{
        type: z.ZodEnum<{
            unhandledCase: "unhandledCase";
            unreadOutcome: "unreadOutcome";
            unfollowedCall: "unfollowedCall";
        }>;
        conditions: z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>;
        consequence: z.ZodEnum<{
            unknown: "unknown";
            frameworkDefault: "frameworkDefault";
            implicitThrow: "implicitThrow";
            fallthrough: "fallthrough";
        }>;
        description: z.ZodString;
        callee: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>>;
    confidence: z.ZodObject<{
        source: z.ZodEnum<{
            inferred_static: "inferred_static";
            inferred_ai: "inferred_ai";
            declared: "declared";
            derived: "derived";
        }>;
        level: z.ZodEnum<{
            high: "high";
            medium: "medium";
            low: "low";
        }>;
        corroboration: z.ZodOptional<z.ZodObject<{
            outcome: z.ZodEnum<{
                observed: "observed";
                refuted: "refuted";
                untested: "untested";
            }>;
            runs: z.ZodNumber;
            counterexample: z.ZodOptional<z.ZodUnknown>;
            reason: z.ZodOptional<z.ZodString>;
        }, z.core.$strip>>;
    }, z.core.$strip>;
    definitions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>>;
    inputReads: z.ZodOptional<z.ZodArray<z.ZodObject<{
        input: z.ZodString;
        path: z.ZodArray<z.ZodString>;
    }, z.core.$strip>>>;
    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strip>>;
declare const FindingSideSchema: z.ZodObject<{
    summary: z.ZodString;
    transitionId: z.ZodOptional<z.ZodString>;
    location: z.ZodObject<{
        file: z.ZodString;
        range: z.ZodObject<{
            start: z.ZodNumber;
            end: z.ZodNumber;
        }, z.core.$strip>;
        span: z.ZodOptional<z.ZodObject<{
            start: z.ZodNumber;
            end: z.ZodNumber;
        }, z.core.$strip>>;
        exportName: z.ZodNullable<z.ZodString>;
        workspace: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>;
}, z.core.$strip>;
declare const FindingSuppressionSchema: z.ZodObject<{
    reason: z.ZodString;
    effect: z.ZodEnum<{
        mark: "mark";
        downgrade: "downgrade";
        hide: "hide";
    }>;
    originalSeverity: z.ZodOptional<z.ZodEnum<{
        error: "error";
        warning: "warning";
        info: "info";
    }>>;
}, z.core.$strip>;
declare const FindingSchema: z.ZodObject<{
    kind: z.ZodEnum<{
        unhandledProviderCase: "unhandledProviderCase";
        misreadProviderResponse: "misreadProviderResponse";
        deadConsumerBranch: "deadConsumerBranch";
        providerContractViolation: "providerContractViolation";
        consumerContractViolation: "consumerContractViolation";
        lowConfidence: "lowConfidence";
        contractDisagreement: "contractDisagreement";
        contractOperationUnimplemented: "contractOperationUnimplemented";
        restMethodOnUnknownPath: "restMethodOnUnknownPath";
        graphqlUnknownFragment: "graphqlUnknownFragment";
        authPolicyMismatch: "authPolicyMismatch";
        scenarioCoverageGap: "scenarioCoverageGap";
        runtimeScopeUnknown: "runtimeScopeUnknown";
        envVarRequiredButUnmarked: "envVarRequiredButUnmarked";
        boundaryFieldUnknown: "boundaryFieldUnknown";
        boundaryFieldUnused: "boundaryFieldUnused";
        boundaryShapeMismatch: "boundaryShapeMismatch";
        boundaryFieldRequired: "boundaryFieldRequired";
        boundaryConstraintViolation: "boundaryConstraintViolation";
        boundarySelectorMismatch: "boundarySelectorMismatch";
        messageBusProducerOrphan: "messageBusProducerOrphan";
        messageBusConsumerOrphan: "messageBusConsumerOrphan";
        messageBusUnused: "messageBusUnused";
        messageBusConsumerDisabled: "messageBusConsumerDisabled";
        repeatUnsafeConsumer: "repeatUnsafeConsumer";
        unitInvocationTargetUnknown: "unitInvocationTargetUnknown";
        unsupportedSemantics: "unsupportedSemantics";
        opaquePredicateBlocking: "opaquePredicateBlocking";
        ambiguousProvider: "ambiguousProvider";
    }>;
    boundary: z.ZodObject<{
        transport: z.ZodString;
        semantics: z.ZodDiscriminatedUnion<[z.ZodObject<{
            name: z.ZodLiteral<"rest">;
            method: z.ZodNullable<z.ZodString>;
            path: z.ZodNullable<z.ZodString>;
            declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"function-call">;
            module: z.ZodOptional<z.ZodString>;
            exportName: z.ZodOptional<z.ZodString>;
            package: z.ZodOptional<z.ZodString>;
            exportPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"graphql-resolver">;
            typeName: z.ZodNullable<z.ZodString>;
            fieldName: z.ZodString;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"graphql-operation">;
            operationName: z.ZodOptional<z.ZodString>;
            operationType: z.ZodEnum<{
                query: "query";
                mutation: "mutation";
                subscription: "subscription";
            }>;
        }, z.core.$strip>, z.ZodObject<{
            deploymentTarget: z.ZodOptional<z.ZodEnum<{
                lambda: "lambda";
                "ecs-task": "ecs-task";
                container: "container";
                "k8s-deployment": "k8s-deployment";
                worker: "worker";
            }>>;
            instanceName: z.ZodOptional<z.ZodString>;
            name: z.ZodLiteral<"runtime-config">;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"storage">;
            storageSystem: z.ZodNullable<z.ZodString>;
            scope: z.ZodString;
            container: z.ZodNullable<z.ZodString>;
            accessPath: z.ZodNullable<z.ZodString>;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"message-bus">;
            messageBus: z.ZodEnum<{
                aws_sqs: "aws_sqs";
                "aws.sns": "aws.sns";
                s3: "s3";
                eventbridge: "eventbridge";
                aws_kinesis: "aws_kinesis";
                aws_firehose: "aws_firehose";
                gcp_pubsub: "gcp_pubsub";
                bullmq: "bullmq";
                kafka: "kafka";
                nats: "nats";
                "cloudflare-queues": "cloudflare-queues";
                "cloudflare-cron": "cloudflare-cron";
                "cloudflare-tail": "cloudflare-tail";
            }>;
            channel: z.ZodNullable<z.ZodString>;
        }, z.core.$strip>, z.ZodObject<{
            name: z.ZodLiteral<"metric">;
            metricSystem: z.ZodString;
            metricType: z.ZodNullable<z.ZodString>;
        }, z.core.$strip>, z.ZodObject<{
            deploymentTarget: z.ZodEnum<{
                lambda: "lambda";
                "ecs-task": "ecs-task";
                container: "container";
                "k8s-deployment": "k8s-deployment";
                worker: "worker";
            }>;
            name: z.ZodLiteral<"unit-invocation">;
            instanceName: z.ZodNullable<z.ZodString>;
        }, z.core.$strip>], "name">;
        recognition: z.ZodString;
    }, z.core.$strip>;
    provider: z.ZodObject<{
        summary: z.ZodString;
        transitionId: z.ZodOptional<z.ZodString>;
        location: z.ZodObject<{
            file: z.ZodString;
            range: z.ZodObject<{
                start: z.ZodNumber;
                end: z.ZodNumber;
            }, z.core.$strip>;
            span: z.ZodOptional<z.ZodObject<{
                start: z.ZodNumber;
                end: z.ZodNumber;
            }, z.core.$strip>>;
            exportName: z.ZodNullable<z.ZodString>;
            workspace: z.ZodOptional<z.ZodString>;
        }, z.core.$strip>;
    }, z.core.$strip>;
    consumer: z.ZodObject<{
        summary: z.ZodString;
        transitionId: z.ZodOptional<z.ZodString>;
        location: z.ZodObject<{
            file: z.ZodString;
            range: z.ZodObject<{
                start: z.ZodNumber;
                end: z.ZodNumber;
            }, z.core.$strip>;
            span: z.ZodOptional<z.ZodObject<{
                start: z.ZodNumber;
                end: z.ZodNumber;
            }, z.core.$strip>>;
            exportName: z.ZodNullable<z.ZodString>;
            workspace: z.ZodOptional<z.ZodString>;
        }, z.core.$strip>;
    }, z.core.$strip>;
    description: z.ZodString;
    severity: z.ZodEnum<{
        error: "error";
        warning: "warning";
        info: "info";
    }>;
    aspect: z.ZodOptional<z.ZodEnum<{
        read: "read";
        write: "write";
        send: "send";
        receive: "receive";
        construct: "construct";
        selector: "selector";
    }>>;
    sources: z.ZodOptional<z.ZodArray<z.ZodString>>;
    suppressed: z.ZodOptional<z.ZodObject<{
        reason: z.ZodString;
        effect: z.ZodEnum<{
            mark: "mark";
            downgrade: "downgrade";
            hide: "hide";
        }>;
        originalSeverity: z.ZodOptional<z.ZodEnum<{
            error: "error";
            warning: "warning";
            info: "info";
        }>>;
    }, z.core.$strip>>;
}, z.core.$strip>;
declare const SummaryDiffSchema: z.ZodObject<{
    addedTransitions: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        conditions: z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>;
        output: z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"response">;
            statusCode: z.ZodNullable<z.ZodType<ValueRefT, unknown, z.core.$ZodTypeInternals<ValueRefT, unknown>>>;
            body: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
            headers: z.ZodRecord<z.ZodString, z.ZodType<ValueRefT, unknown, z.core.$ZodTypeInternals<ValueRefT, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"throw">;
            exceptionType: z.ZodNullable<z.ZodString>;
            message: z.ZodNullable<z.ZodString>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"render">;
            component: z.ZodString;
            props: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            root: z.ZodOptional<z.ZodType<RenderNodeT, unknown, z.core.$ZodTypeInternals<RenderNodeT, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"return">;
            value: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"delegate">;
            to: z.ZodString;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"emit">;
            event: z.ZodString;
            payload: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"void">;
        }, z.core.$strip>], "type">;
        effects: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"mutation">;
            target: z.ZodString;
            operation: z.ZodEnum<{
                create: "create";
                update: "update";
                delete: "delete";
            }>;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"invocation">;
            callee: z.ZodString;
            summary: z.ZodOptional<z.ZodString>;
            declaredAt: z.ZodOptional<z.ZodObject<{
                file: z.ZodString;
                span: z.ZodObject<{
                    start: z.ZodNumber;
                    end: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            argsDeclaredAt: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
                file: z.ZodString;
                span: z.ZodObject<{
                    start: z.ZodNumber;
                    end: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>>;
            argsSummary: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
            calleeParameter: z.ZodOptional<z.ZodNumber>;
            args: z.ZodArray<z.ZodUnknown>;
            async: z.ZodBoolean;
            preconditions: z.ZodOptional<z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>>;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"emission">;
            event: z.ZodString;
            payload: z.ZodOptional<z.ZodUnknown>;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"stateChange">;
            variable: z.ZodString;
            newValue: z.ZodOptional<z.ZodUnknown>;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"interaction">;
            binding: z.ZodObject<{
                transport: z.ZodString;
                semantics: z.ZodDiscriminatedUnion<[z.ZodObject<{
                    name: z.ZodLiteral<"rest">;
                    method: z.ZodNullable<z.ZodString>;
                    path: z.ZodNullable<z.ZodString>;
                    declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"function-call">;
                    module: z.ZodOptional<z.ZodString>;
                    exportName: z.ZodOptional<z.ZodString>;
                    package: z.ZodOptional<z.ZodString>;
                    exportPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"graphql-resolver">;
                    typeName: z.ZodNullable<z.ZodString>;
                    fieldName: z.ZodString;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"graphql-operation">;
                    operationName: z.ZodOptional<z.ZodString>;
                    operationType: z.ZodEnum<{
                        query: "query";
                        mutation: "mutation";
                        subscription: "subscription";
                    }>;
                }, z.core.$strip>, z.ZodObject<{
                    deploymentTarget: z.ZodOptional<z.ZodEnum<{
                        lambda: "lambda";
                        "ecs-task": "ecs-task";
                        container: "container";
                        "k8s-deployment": "k8s-deployment";
                        worker: "worker";
                    }>>;
                    instanceName: z.ZodOptional<z.ZodString>;
                    name: z.ZodLiteral<"runtime-config">;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"storage">;
                    storageSystem: z.ZodNullable<z.ZodString>;
                    scope: z.ZodString;
                    container: z.ZodNullable<z.ZodString>;
                    accessPath: z.ZodNullable<z.ZodString>;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"message-bus">;
                    messageBus: z.ZodEnum<{
                        aws_sqs: "aws_sqs";
                        "aws.sns": "aws.sns";
                        s3: "s3";
                        eventbridge: "eventbridge";
                        aws_kinesis: "aws_kinesis";
                        aws_firehose: "aws_firehose";
                        gcp_pubsub: "gcp_pubsub";
                        bullmq: "bullmq";
                        kafka: "kafka";
                        nats: "nats";
                        "cloudflare-queues": "cloudflare-queues";
                        "cloudflare-cron": "cloudflare-cron";
                        "cloudflare-tail": "cloudflare-tail";
                    }>;
                    channel: z.ZodNullable<z.ZodString>;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"metric">;
                    metricSystem: z.ZodString;
                    metricType: z.ZodNullable<z.ZodString>;
                }, z.core.$strip>, z.ZodObject<{
                    deploymentTarget: z.ZodEnum<{
                        lambda: "lambda";
                        "ecs-task": "ecs-task";
                        container: "container";
                        "k8s-deployment": "k8s-deployment";
                        worker: "worker";
                    }>;
                    name: z.ZodLiteral<"unit-invocation">;
                    instanceName: z.ZodNullable<z.ZodString>;
                }, z.core.$strip>], "name">;
                recognition: z.ZodString;
            }, z.core.$strip>;
            callee: z.ZodOptional<z.ZodString>;
            groupId: z.ZodOptional<z.ZodString>;
            preconditions: z.ZodOptional<z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>>;
            interaction: z.ZodDiscriminatedUnion<[z.ZodObject<{
                class: z.ZodLiteral<"storage-access">;
                kind: z.ZodEnum<{
                    read: "read";
                    write: "write";
                }>;
                fields: z.ZodArray<z.ZodString>;
                selector: z.ZodOptional<z.ZodArray<z.ZodString>>;
                operation: z.ZodOptional<z.ZodString>;
                relationPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
                relationKey: z.ZodOptional<z.ZodBoolean>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"service-call">;
                method: z.ZodString;
                payload: z.ZodOptional<z.ZodUnknown>;
                responseShape: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"message-send">;
                body: z.ZodOptional<z.ZodUnknown>;
                routingKey: z.ZodOptional<z.ZodString>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"unit-invoke">;
                payload: z.ZodOptional<z.ZodUnknown>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"message-receive">;
                body: z.ZodOptional<z.ZodUnknown>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"config-read">;
                name: z.ZodString;
                defaulted: z.ZodBoolean;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"metadata-read">;
                name: z.ZodString;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"schedule">;
                via: z.ZodString;
                callbackRef: z.ZodDiscriminatedUnion<[z.ZodObject<{
                    type: z.ZodLiteral<"literal">;
                }, z.core.$strip>, z.ZodObject<{
                    type: z.ZodLiteral<"identifier">;
                    name: z.ZodString;
                }, z.core.$strip>, z.ZodObject<{
                    type: z.ZodLiteral<"opaque">;
                    reason: z.ZodString;
                }, z.core.$strip>], "type">;
                hasDelay: z.ZodBoolean;
            }, z.core.$strip>], "class">;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>], "type">>;
        location: z.ZodObject<{
            start: z.ZodNumber;
            end: z.ZodNumber;
        }, z.core.$strip>;
        isDefault: z.ZodBoolean;
        confidence: z.ZodOptional<z.ZodObject<{
            source: z.ZodEnum<{
                inferred_static: "inferred_static";
                inferred_ai: "inferred_ai";
                declared: "declared";
                derived: "derived";
            }>;
            level: z.ZodEnum<{
                high: "high";
                medium: "medium";
                low: "low";
            }>;
            corroboration: z.ZodOptional<z.ZodObject<{
                outcome: z.ZodEnum<{
                    observed: "observed";
                    refuted: "refuted";
                    untested: "untested";
                }>;
                runs: z.ZodNumber;
                counterexample: z.ZodOptional<z.ZodUnknown>;
                reason: z.ZodOptional<z.ZodString>;
            }, z.core.$strip>>;
        }, z.core.$strip>>;
        expectedInput: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strip>>;
    removedTransitions: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        conditions: z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>;
        output: z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"response">;
            statusCode: z.ZodNullable<z.ZodType<ValueRefT, unknown, z.core.$ZodTypeInternals<ValueRefT, unknown>>>;
            body: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
            headers: z.ZodRecord<z.ZodString, z.ZodType<ValueRefT, unknown, z.core.$ZodTypeInternals<ValueRefT, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"throw">;
            exceptionType: z.ZodNullable<z.ZodString>;
            message: z.ZodNullable<z.ZodString>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"render">;
            component: z.ZodString;
            props: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            root: z.ZodOptional<z.ZodType<RenderNodeT, unknown, z.core.$ZodTypeInternals<RenderNodeT, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"return">;
            value: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"delegate">;
            to: z.ZodString;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"emit">;
            event: z.ZodString;
            payload: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"void">;
        }, z.core.$strip>], "type">;
        effects: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            type: z.ZodLiteral<"mutation">;
            target: z.ZodString;
            operation: z.ZodEnum<{
                create: "create";
                update: "update";
                delete: "delete";
            }>;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"invocation">;
            callee: z.ZodString;
            summary: z.ZodOptional<z.ZodString>;
            declaredAt: z.ZodOptional<z.ZodObject<{
                file: z.ZodString;
                span: z.ZodObject<{
                    start: z.ZodNumber;
                    end: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>;
            argsDeclaredAt: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
                file: z.ZodString;
                span: z.ZodObject<{
                    start: z.ZodNumber;
                    end: z.ZodNumber;
                }, z.core.$strip>;
            }, z.core.$strip>>>;
            argsSummary: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
            calleeParameter: z.ZodOptional<z.ZodNumber>;
            args: z.ZodArray<z.ZodUnknown>;
            async: z.ZodBoolean;
            preconditions: z.ZodOptional<z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>>;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"emission">;
            event: z.ZodString;
            payload: z.ZodOptional<z.ZodUnknown>;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"stateChange">;
            variable: z.ZodString;
            newValue: z.ZodOptional<z.ZodUnknown>;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>, z.ZodObject<{
            type: z.ZodLiteral<"interaction">;
            binding: z.ZodObject<{
                transport: z.ZodString;
                semantics: z.ZodDiscriminatedUnion<[z.ZodObject<{
                    name: z.ZodLiteral<"rest">;
                    method: z.ZodNullable<z.ZodString>;
                    path: z.ZodNullable<z.ZodString>;
                    declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"function-call">;
                    module: z.ZodOptional<z.ZodString>;
                    exportName: z.ZodOptional<z.ZodString>;
                    package: z.ZodOptional<z.ZodString>;
                    exportPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"graphql-resolver">;
                    typeName: z.ZodNullable<z.ZodString>;
                    fieldName: z.ZodString;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"graphql-operation">;
                    operationName: z.ZodOptional<z.ZodString>;
                    operationType: z.ZodEnum<{
                        query: "query";
                        mutation: "mutation";
                        subscription: "subscription";
                    }>;
                }, z.core.$strip>, z.ZodObject<{
                    deploymentTarget: z.ZodOptional<z.ZodEnum<{
                        lambda: "lambda";
                        "ecs-task": "ecs-task";
                        container: "container";
                        "k8s-deployment": "k8s-deployment";
                        worker: "worker";
                    }>>;
                    instanceName: z.ZodOptional<z.ZodString>;
                    name: z.ZodLiteral<"runtime-config">;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"storage">;
                    storageSystem: z.ZodNullable<z.ZodString>;
                    scope: z.ZodString;
                    container: z.ZodNullable<z.ZodString>;
                    accessPath: z.ZodNullable<z.ZodString>;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"message-bus">;
                    messageBus: z.ZodEnum<{
                        aws_sqs: "aws_sqs";
                        "aws.sns": "aws.sns";
                        s3: "s3";
                        eventbridge: "eventbridge";
                        aws_kinesis: "aws_kinesis";
                        aws_firehose: "aws_firehose";
                        gcp_pubsub: "gcp_pubsub";
                        bullmq: "bullmq";
                        kafka: "kafka";
                        nats: "nats";
                        "cloudflare-queues": "cloudflare-queues";
                        "cloudflare-cron": "cloudflare-cron";
                        "cloudflare-tail": "cloudflare-tail";
                    }>;
                    channel: z.ZodNullable<z.ZodString>;
                }, z.core.$strip>, z.ZodObject<{
                    name: z.ZodLiteral<"metric">;
                    metricSystem: z.ZodString;
                    metricType: z.ZodNullable<z.ZodString>;
                }, z.core.$strip>, z.ZodObject<{
                    deploymentTarget: z.ZodEnum<{
                        lambda: "lambda";
                        "ecs-task": "ecs-task";
                        container: "container";
                        "k8s-deployment": "k8s-deployment";
                        worker: "worker";
                    }>;
                    name: z.ZodLiteral<"unit-invocation">;
                    instanceName: z.ZodNullable<z.ZodString>;
                }, z.core.$strip>], "name">;
                recognition: z.ZodString;
            }, z.core.$strip>;
            callee: z.ZodOptional<z.ZodString>;
            groupId: z.ZodOptional<z.ZodString>;
            preconditions: z.ZodOptional<z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>>;
            interaction: z.ZodDiscriminatedUnion<[z.ZodObject<{
                class: z.ZodLiteral<"storage-access">;
                kind: z.ZodEnum<{
                    read: "read";
                    write: "write";
                }>;
                fields: z.ZodArray<z.ZodString>;
                selector: z.ZodOptional<z.ZodArray<z.ZodString>>;
                operation: z.ZodOptional<z.ZodString>;
                relationPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
                relationKey: z.ZodOptional<z.ZodBoolean>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"service-call">;
                method: z.ZodString;
                payload: z.ZodOptional<z.ZodUnknown>;
                responseShape: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"message-send">;
                body: z.ZodOptional<z.ZodUnknown>;
                routingKey: z.ZodOptional<z.ZodString>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"unit-invoke">;
                payload: z.ZodOptional<z.ZodUnknown>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"message-receive">;
                body: z.ZodOptional<z.ZodUnknown>;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"config-read">;
                name: z.ZodString;
                defaulted: z.ZodBoolean;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"metadata-read">;
                name: z.ZodString;
            }, z.core.$strip>, z.ZodObject<{
                class: z.ZodLiteral<"schedule">;
                via: z.ZodString;
                callbackRef: z.ZodDiscriminatedUnion<[z.ZodObject<{
                    type: z.ZodLiteral<"literal">;
                }, z.core.$strip>, z.ZodObject<{
                    type: z.ZodLiteral<"identifier">;
                    name: z.ZodString;
                }, z.core.$strip>, z.ZodObject<{
                    type: z.ZodLiteral<"opaque">;
                    reason: z.ZodString;
                }, z.core.$strip>], "type">;
                hasDelay: z.ZodBoolean;
            }, z.core.$strip>], "class">;
            count: z.ZodOptional<z.ZodNumber>;
        }, z.core.$strip>], "type">>;
        location: z.ZodObject<{
            start: z.ZodNumber;
            end: z.ZodNumber;
        }, z.core.$strip>;
        isDefault: z.ZodBoolean;
        confidence: z.ZodOptional<z.ZodObject<{
            source: z.ZodEnum<{
                inferred_static: "inferred_static";
                inferred_ai: "inferred_ai";
                declared: "declared";
                derived: "derived";
            }>;
            level: z.ZodEnum<{
                high: "high";
                medium: "medium";
                low: "low";
            }>;
            corroboration: z.ZodOptional<z.ZodObject<{
                outcome: z.ZodEnum<{
                    observed: "observed";
                    refuted: "refuted";
                    untested: "untested";
                }>;
                runs: z.ZodNumber;
                counterexample: z.ZodOptional<z.ZodUnknown>;
                reason: z.ZodOptional<z.ZodString>;
            }, z.core.$strip>>;
        }, z.core.$strip>>;
        expectedInput: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strip>>;
    changedTransitions: z.ZodArray<z.ZodObject<{
        before: z.ZodObject<{
            id: z.ZodString;
            conditions: z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>;
            output: z.ZodDiscriminatedUnion<[z.ZodObject<{
                type: z.ZodLiteral<"response">;
                statusCode: z.ZodNullable<z.ZodType<ValueRefT, unknown, z.core.$ZodTypeInternals<ValueRefT, unknown>>>;
                body: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
                headers: z.ZodRecord<z.ZodString, z.ZodType<ValueRefT, unknown, z.core.$ZodTypeInternals<ValueRefT, unknown>>>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"throw">;
                exceptionType: z.ZodNullable<z.ZodString>;
                message: z.ZodNullable<z.ZodString>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"render">;
                component: z.ZodString;
                props: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                root: z.ZodOptional<z.ZodType<RenderNodeT, unknown, z.core.$ZodTypeInternals<RenderNodeT, unknown>>>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"return">;
                value: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"delegate">;
                to: z.ZodString;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"emit">;
                event: z.ZodString;
                payload: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"void">;
            }, z.core.$strip>], "type">;
            effects: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                type: z.ZodLiteral<"mutation">;
                target: z.ZodString;
                operation: z.ZodEnum<{
                    create: "create";
                    update: "update";
                    delete: "delete";
                }>;
                count: z.ZodOptional<z.ZodNumber>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"invocation">;
                callee: z.ZodString;
                summary: z.ZodOptional<z.ZodString>;
                declaredAt: z.ZodOptional<z.ZodObject<{
                    file: z.ZodString;
                    span: z.ZodObject<{
                        start: z.ZodNumber;
                        end: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                argsDeclaredAt: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
                    file: z.ZodString;
                    span: z.ZodObject<{
                        start: z.ZodNumber;
                        end: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>>;
                argsSummary: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                calleeParameter: z.ZodOptional<z.ZodNumber>;
                args: z.ZodArray<z.ZodUnknown>;
                async: z.ZodBoolean;
                preconditions: z.ZodOptional<z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>>;
                count: z.ZodOptional<z.ZodNumber>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"emission">;
                event: z.ZodString;
                payload: z.ZodOptional<z.ZodUnknown>;
                count: z.ZodOptional<z.ZodNumber>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"stateChange">;
                variable: z.ZodString;
                newValue: z.ZodOptional<z.ZodUnknown>;
                count: z.ZodOptional<z.ZodNumber>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"interaction">;
                binding: z.ZodObject<{
                    transport: z.ZodString;
                    semantics: z.ZodDiscriminatedUnion<[z.ZodObject<{
                        name: z.ZodLiteral<"rest">;
                        method: z.ZodNullable<z.ZodString>;
                        path: z.ZodNullable<z.ZodString>;
                        declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
                    }, z.core.$strip>, z.ZodObject<{
                        name: z.ZodLiteral<"function-call">;
                        module: z.ZodOptional<z.ZodString>;
                        exportName: z.ZodOptional<z.ZodString>;
                        package: z.ZodOptional<z.ZodString>;
                        exportPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
                    }, z.core.$strip>, z.ZodObject<{
                        name: z.ZodLiteral<"graphql-resolver">;
                        typeName: z.ZodNullable<z.ZodString>;
                        fieldName: z.ZodString;
                    }, z.core.$strip>, z.ZodObject<{
                        name: z.ZodLiteral<"graphql-operation">;
                        operationName: z.ZodOptional<z.ZodString>;
                        operationType: z.ZodEnum<{
                            query: "query";
                            mutation: "mutation";
                            subscription: "subscription";
                        }>;
                    }, z.core.$strip>, z.ZodObject<{
                        deploymentTarget: z.ZodOptional<z.ZodEnum<{
                            lambda: "lambda";
                            "ecs-task": "ecs-task";
                            container: "container";
                            "k8s-deployment": "k8s-deployment";
                            worker: "worker";
                        }>>;
                        instanceName: z.ZodOptional<z.ZodString>;
                        name: z.ZodLiteral<"runtime-config">;
                    }, z.core.$strip>, z.ZodObject<{
                        name: z.ZodLiteral<"storage">;
                        storageSystem: z.ZodNullable<z.ZodString>;
                        scope: z.ZodString;
                        container: z.ZodNullable<z.ZodString>;
                        accessPath: z.ZodNullable<z.ZodString>;
                    }, z.core.$strip>, z.ZodObject<{
                        name: z.ZodLiteral<"message-bus">;
                        messageBus: z.ZodEnum<{
                            aws_sqs: "aws_sqs";
                            "aws.sns": "aws.sns";
                            s3: "s3";
                            eventbridge: "eventbridge";
                            aws_kinesis: "aws_kinesis";
                            aws_firehose: "aws_firehose";
                            gcp_pubsub: "gcp_pubsub";
                            bullmq: "bullmq";
                            kafka: "kafka";
                            nats: "nats";
                            "cloudflare-queues": "cloudflare-queues";
                            "cloudflare-cron": "cloudflare-cron";
                            "cloudflare-tail": "cloudflare-tail";
                        }>;
                        channel: z.ZodNullable<z.ZodString>;
                    }, z.core.$strip>, z.ZodObject<{
                        name: z.ZodLiteral<"metric">;
                        metricSystem: z.ZodString;
                        metricType: z.ZodNullable<z.ZodString>;
                    }, z.core.$strip>, z.ZodObject<{
                        deploymentTarget: z.ZodEnum<{
                            lambda: "lambda";
                            "ecs-task": "ecs-task";
                            container: "container";
                            "k8s-deployment": "k8s-deployment";
                            worker: "worker";
                        }>;
                        name: z.ZodLiteral<"unit-invocation">;
                        instanceName: z.ZodNullable<z.ZodString>;
                    }, z.core.$strip>], "name">;
                    recognition: z.ZodString;
                }, z.core.$strip>;
                callee: z.ZodOptional<z.ZodString>;
                groupId: z.ZodOptional<z.ZodString>;
                preconditions: z.ZodOptional<z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>>;
                interaction: z.ZodDiscriminatedUnion<[z.ZodObject<{
                    class: z.ZodLiteral<"storage-access">;
                    kind: z.ZodEnum<{
                        read: "read";
                        write: "write";
                    }>;
                    fields: z.ZodArray<z.ZodString>;
                    selector: z.ZodOptional<z.ZodArray<z.ZodString>>;
                    operation: z.ZodOptional<z.ZodString>;
                    relationPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
                    relationKey: z.ZodOptional<z.ZodBoolean>;
                }, z.core.$strip>, z.ZodObject<{
                    class: z.ZodLiteral<"service-call">;
                    method: z.ZodString;
                    payload: z.ZodOptional<z.ZodUnknown>;
                    responseShape: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
                }, z.core.$strip>, z.ZodObject<{
                    class: z.ZodLiteral<"message-send">;
                    body: z.ZodOptional<z.ZodUnknown>;
                    routingKey: z.ZodOptional<z.ZodString>;
                }, z.core.$strip>, z.ZodObject<{
                    class: z.ZodLiteral<"unit-invoke">;
                    payload: z.ZodOptional<z.ZodUnknown>;
                }, z.core.$strip>, z.ZodObject<{
                    class: z.ZodLiteral<"message-receive">;
                    body: z.ZodOptional<z.ZodUnknown>;
                }, z.core.$strip>, z.ZodObject<{
                    class: z.ZodLiteral<"config-read">;
                    name: z.ZodString;
                    defaulted: z.ZodBoolean;
                }, z.core.$strip>, z.ZodObject<{
                    class: z.ZodLiteral<"metadata-read">;
                    name: z.ZodString;
                }, z.core.$strip>, z.ZodObject<{
                    class: z.ZodLiteral<"schedule">;
                    via: z.ZodString;
                    callbackRef: z.ZodDiscriminatedUnion<[z.ZodObject<{
                        type: z.ZodLiteral<"literal">;
                    }, z.core.$strip>, z.ZodObject<{
                        type: z.ZodLiteral<"identifier">;
                        name: z.ZodString;
                    }, z.core.$strip>, z.ZodObject<{
                        type: z.ZodLiteral<"opaque">;
                        reason: z.ZodString;
                    }, z.core.$strip>], "type">;
                    hasDelay: z.ZodBoolean;
                }, z.core.$strip>], "class">;
                count: z.ZodOptional<z.ZodNumber>;
            }, z.core.$strip>], "type">>;
            location: z.ZodObject<{
                start: z.ZodNumber;
                end: z.ZodNumber;
            }, z.core.$strip>;
            isDefault: z.ZodBoolean;
            confidence: z.ZodOptional<z.ZodObject<{
                source: z.ZodEnum<{
                    inferred_static: "inferred_static";
                    inferred_ai: "inferred_ai";
                    declared: "declared";
                    derived: "derived";
                }>;
                level: z.ZodEnum<{
                    high: "high";
                    medium: "medium";
                    low: "low";
                }>;
                corroboration: z.ZodOptional<z.ZodObject<{
                    outcome: z.ZodEnum<{
                        observed: "observed";
                        refuted: "refuted";
                        untested: "untested";
                    }>;
                    runs: z.ZodNumber;
                    counterexample: z.ZodOptional<z.ZodUnknown>;
                    reason: z.ZodOptional<z.ZodString>;
                }, z.core.$strip>>;
            }, z.core.$strip>>;
            expectedInput: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
            metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strip>;
        after: z.ZodObject<{
            id: z.ZodString;
            conditions: z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>;
            output: z.ZodDiscriminatedUnion<[z.ZodObject<{
                type: z.ZodLiteral<"response">;
                statusCode: z.ZodNullable<z.ZodType<ValueRefT, unknown, z.core.$ZodTypeInternals<ValueRefT, unknown>>>;
                body: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
                headers: z.ZodRecord<z.ZodString, z.ZodType<ValueRefT, unknown, z.core.$ZodTypeInternals<ValueRefT, unknown>>>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"throw">;
                exceptionType: z.ZodNullable<z.ZodString>;
                message: z.ZodNullable<z.ZodString>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"render">;
                component: z.ZodString;
                props: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                root: z.ZodOptional<z.ZodType<RenderNodeT, unknown, z.core.$ZodTypeInternals<RenderNodeT, unknown>>>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"return">;
                value: z.ZodNullable<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"delegate">;
                to: z.ZodString;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"emit">;
                event: z.ZodString;
                payload: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"void">;
            }, z.core.$strip>], "type">;
            effects: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                type: z.ZodLiteral<"mutation">;
                target: z.ZodString;
                operation: z.ZodEnum<{
                    create: "create";
                    update: "update";
                    delete: "delete";
                }>;
                count: z.ZodOptional<z.ZodNumber>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"invocation">;
                callee: z.ZodString;
                summary: z.ZodOptional<z.ZodString>;
                declaredAt: z.ZodOptional<z.ZodObject<{
                    file: z.ZodString;
                    span: z.ZodObject<{
                        start: z.ZodNumber;
                        end: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>;
                argsDeclaredAt: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
                    file: z.ZodString;
                    span: z.ZodObject<{
                        start: z.ZodNumber;
                        end: z.ZodNumber;
                    }, z.core.$strip>;
                }, z.core.$strip>>>;
                argsSummary: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                calleeParameter: z.ZodOptional<z.ZodNumber>;
                args: z.ZodArray<z.ZodUnknown>;
                async: z.ZodBoolean;
                preconditions: z.ZodOptional<z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>>;
                count: z.ZodOptional<z.ZodNumber>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"emission">;
                event: z.ZodString;
                payload: z.ZodOptional<z.ZodUnknown>;
                count: z.ZodOptional<z.ZodNumber>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"stateChange">;
                variable: z.ZodString;
                newValue: z.ZodOptional<z.ZodUnknown>;
                count: z.ZodOptional<z.ZodNumber>;
            }, z.core.$strip>, z.ZodObject<{
                type: z.ZodLiteral<"interaction">;
                binding: z.ZodObject<{
                    transport: z.ZodString;
                    semantics: z.ZodDiscriminatedUnion<[z.ZodObject<{
                        name: z.ZodLiteral<"rest">;
                        method: z.ZodNullable<z.ZodString>;
                        path: z.ZodNullable<z.ZodString>;
                        declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
                    }, z.core.$strip>, z.ZodObject<{
                        name: z.ZodLiteral<"function-call">;
                        module: z.ZodOptional<z.ZodString>;
                        exportName: z.ZodOptional<z.ZodString>;
                        package: z.ZodOptional<z.ZodString>;
                        exportPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
                    }, z.core.$strip>, z.ZodObject<{
                        name: z.ZodLiteral<"graphql-resolver">;
                        typeName: z.ZodNullable<z.ZodString>;
                        fieldName: z.ZodString;
                    }, z.core.$strip>, z.ZodObject<{
                        name: z.ZodLiteral<"graphql-operation">;
                        operationName: z.ZodOptional<z.ZodString>;
                        operationType: z.ZodEnum<{
                            query: "query";
                            mutation: "mutation";
                            subscription: "subscription";
                        }>;
                    }, z.core.$strip>, z.ZodObject<{
                        deploymentTarget: z.ZodOptional<z.ZodEnum<{
                            lambda: "lambda";
                            "ecs-task": "ecs-task";
                            container: "container";
                            "k8s-deployment": "k8s-deployment";
                            worker: "worker";
                        }>>;
                        instanceName: z.ZodOptional<z.ZodString>;
                        name: z.ZodLiteral<"runtime-config">;
                    }, z.core.$strip>, z.ZodObject<{
                        name: z.ZodLiteral<"storage">;
                        storageSystem: z.ZodNullable<z.ZodString>;
                        scope: z.ZodString;
                        container: z.ZodNullable<z.ZodString>;
                        accessPath: z.ZodNullable<z.ZodString>;
                    }, z.core.$strip>, z.ZodObject<{
                        name: z.ZodLiteral<"message-bus">;
                        messageBus: z.ZodEnum<{
                            aws_sqs: "aws_sqs";
                            "aws.sns": "aws.sns";
                            s3: "s3";
                            eventbridge: "eventbridge";
                            aws_kinesis: "aws_kinesis";
                            aws_firehose: "aws_firehose";
                            gcp_pubsub: "gcp_pubsub";
                            bullmq: "bullmq";
                            kafka: "kafka";
                            nats: "nats";
                            "cloudflare-queues": "cloudflare-queues";
                            "cloudflare-cron": "cloudflare-cron";
                            "cloudflare-tail": "cloudflare-tail";
                        }>;
                        channel: z.ZodNullable<z.ZodString>;
                    }, z.core.$strip>, z.ZodObject<{
                        name: z.ZodLiteral<"metric">;
                        metricSystem: z.ZodString;
                        metricType: z.ZodNullable<z.ZodString>;
                    }, z.core.$strip>, z.ZodObject<{
                        deploymentTarget: z.ZodEnum<{
                            lambda: "lambda";
                            "ecs-task": "ecs-task";
                            container: "container";
                            "k8s-deployment": "k8s-deployment";
                            worker: "worker";
                        }>;
                        name: z.ZodLiteral<"unit-invocation">;
                        instanceName: z.ZodNullable<z.ZodString>;
                    }, z.core.$strip>], "name">;
                    recognition: z.ZodString;
                }, z.core.$strip>;
                callee: z.ZodOptional<z.ZodString>;
                groupId: z.ZodOptional<z.ZodString>;
                preconditions: z.ZodOptional<z.ZodArray<z.ZodType<PredicateT, unknown, z.core.$ZodTypeInternals<PredicateT, unknown>>>>;
                interaction: z.ZodDiscriminatedUnion<[z.ZodObject<{
                    class: z.ZodLiteral<"storage-access">;
                    kind: z.ZodEnum<{
                        read: "read";
                        write: "write";
                    }>;
                    fields: z.ZodArray<z.ZodString>;
                    selector: z.ZodOptional<z.ZodArray<z.ZodString>>;
                    operation: z.ZodOptional<z.ZodString>;
                    relationPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
                    relationKey: z.ZodOptional<z.ZodBoolean>;
                }, z.core.$strip>, z.ZodObject<{
                    class: z.ZodLiteral<"service-call">;
                    method: z.ZodString;
                    payload: z.ZodOptional<z.ZodUnknown>;
                    responseShape: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
                }, z.core.$strip>, z.ZodObject<{
                    class: z.ZodLiteral<"message-send">;
                    body: z.ZodOptional<z.ZodUnknown>;
                    routingKey: z.ZodOptional<z.ZodString>;
                }, z.core.$strip>, z.ZodObject<{
                    class: z.ZodLiteral<"unit-invoke">;
                    payload: z.ZodOptional<z.ZodUnknown>;
                }, z.core.$strip>, z.ZodObject<{
                    class: z.ZodLiteral<"message-receive">;
                    body: z.ZodOptional<z.ZodUnknown>;
                }, z.core.$strip>, z.ZodObject<{
                    class: z.ZodLiteral<"config-read">;
                    name: z.ZodString;
                    defaulted: z.ZodBoolean;
                }, z.core.$strip>, z.ZodObject<{
                    class: z.ZodLiteral<"metadata-read">;
                    name: z.ZodString;
                }, z.core.$strip>, z.ZodObject<{
                    class: z.ZodLiteral<"schedule">;
                    via: z.ZodString;
                    callbackRef: z.ZodDiscriminatedUnion<[z.ZodObject<{
                        type: z.ZodLiteral<"literal">;
                    }, z.core.$strip>, z.ZodObject<{
                        type: z.ZodLiteral<"identifier">;
                        name: z.ZodString;
                    }, z.core.$strip>, z.ZodObject<{
                        type: z.ZodLiteral<"opaque">;
                        reason: z.ZodString;
                    }, z.core.$strip>], "type">;
                    hasDelay: z.ZodBoolean;
                }, z.core.$strip>], "class">;
                count: z.ZodOptional<z.ZodNumber>;
            }, z.core.$strip>], "type">>;
            location: z.ZodObject<{
                start: z.ZodNumber;
                end: z.ZodNumber;
            }, z.core.$strip>;
            isDefault: z.ZodBoolean;
            confidence: z.ZodOptional<z.ZodObject<{
                source: z.ZodEnum<{
                    inferred_static: "inferred_static";
                    inferred_ai: "inferred_ai";
                    declared: "declared";
                    derived: "derived";
                }>;
                level: z.ZodEnum<{
                    high: "high";
                    medium: "medium";
                    low: "low";
                }>;
                corroboration: z.ZodOptional<z.ZodObject<{
                    outcome: z.ZodEnum<{
                        observed: "observed";
                        refuted: "refuted";
                        untested: "untested";
                    }>;
                    runs: z.ZodNumber;
                    counterexample: z.ZodOptional<z.ZodUnknown>;
                    reason: z.ZodOptional<z.ZodString>;
                }, z.core.$strip>>;
            }, z.core.$strip>>;
            expectedInput: z.ZodOptional<z.ZodType<_suss_ir_core_schemas.TypeShape, unknown, z.core.$ZodTypeInternals<_suss_ir_core_schemas.TypeShape, unknown>>>;
            metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strip>;
    }, z.core.$strip>>;
}, z.core.$strip>;

export { BehavioralSummaryArraySchema, BehavioralSummarySchema, BoundaryAspectSchema, CodeUnitIdentitySchema, CodeUnitKindSchema, ComparisonOpSchema, type Derivation, DerivationSchema, EffectSchema, FindingKindSchema, FindingSchema, FindingSeveritySchema, FindingSideSchema, FindingSuppressionSchema, GapSchema, InputSchema, LiteralSchema, OpaqueReasonSchema, OutputSchema, PredicateSchema, RenderNodeSchema, RunFindingKindSchema, RunFindingSchema, SummaryDiffSchema, TransitionSchema, type ValueRef, ValueRefSchema };