@suss/ir-core 0.3.1 → 0.4.0

package/dist/schemas.d.cts

@@ -1,374 +1,2 @@
-import { z } from 'zod';
-
-declare const ConfidenceSourceSchema: z.ZodEnum<{
-    inferred_static: "inferred_static";
-    inferred_ai: "inferred_ai";
-    declared: "declared";
-    derived: "derived";
-}>;
-declare const ConfidenceLevelSchema: z.ZodEnum<{
-    high: "high";
-    medium: "medium";
-    low: "low";
-}>;
-/**
- * The result of corroborating a claim against real execution
- * (`suss corroborate`): generated inputs satisfying the claim's own
- * conditions were run through the actual function and the observation
- * either agreed every time (`observed`), disagreed at least once
- * (`refuted` — an extractor bug or a genuine surprise; the
- * counterexample says which input), or never produced a verdict
- * (`untested` — no satisfying input was found, or every satisfying
- * run hit a dependency the harness cannot supply).
- *
- * Corroboration upgrades a *derivation* with *observations*; it is
- * additive evidence, never a rewrite of the derived claim.
- */
-declare const CorroborationSchema: 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>;
-declare const ConfidenceInfoSchema: 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>;
-declare const SourceLocationSchema: z.ZodObject<{
-    file: z.ZodString;
-    range: z.ZodObject<{
-        start: z.ZodNumber;
-        end: z.ZodNumber;
-    }, z.core.$strip>;
-    exportName: z.ZodNullable<z.ZodString>;
-    workspace: z.ZodOptional<z.ZodString>;
-}, z.core.$strip>;
-declare const RestSemanticsSchema: z.ZodObject<{
-    name: z.ZodLiteral<"rest">;
-    method: z.ZodString;
-    path: z.ZodString;
-    declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
-}, z.core.$strip>;
-declare const FunctionCallSemanticsSchema: 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>;
-/**
- * Provider-side GraphQL resolver. One resolver binds one
- * (typeName, fieldName) pair. Pairing key: `${typeName}.${fieldName}`.
- */
-declare const GraphqlResolverSemanticsSchema: z.ZodObject<{
-    name: z.ZodLiteral<"graphql-resolver">;
-    typeName: z.ZodString;
-    fieldName: z.ZodString;
-}, z.core.$strip>;
-/**
- * Consumer-side GraphQL operation — a document sent from client to
- * server. Binds by operation name + type.
- */
-declare const GraphqlOperationSemanticsSchema: z.ZodObject<{
-    name: z.ZodLiteral<"graphql-operation">;
-    operationName: z.ZodOptional<z.ZodString>;
-    operationType: z.ZodEnum<{
-        query: "query";
-        mutation: "mutation";
-        subscription: "subscription";
-    }>;
-}, z.core.$strip>;
-/**
- * One thing that gets deployed and runs on its own: a Lambda
- * function, an ECS task's container, a plain container, a k8s
- * deployment.
- *
- * `instanceName` is the stable identifier the deployment medium uses:
- * the CFN logical resource id for Lambda and ECS, the deployment name
- * for k8s, the container name for a plain container.
- */
-declare const DeployableUnitSchema: z.ZodObject<{
-    deploymentTarget: z.ZodEnum<{
-        lambda: "lambda";
-        "ecs-task": "ecs-task";
-        container: "container";
-        "k8s-deployment": "k8s-deployment";
-    }>;
-    instanceName: z.ZodString;
-}, z.core.$strip>;
-/**
- * Provider-side runtime configuration channel: env vars and their
- * declared values on a deployable unit. The channel is the boundary;
- * env var names are FIELDS on its contract. Pairing key:
- * `(deploymentTarget, instanceName)`, which is exactly a deployable
- * unit, so the two fields come from `DeployableUnitSchema` rather
- * than being spelled a second time.
- */
-declare const RuntimeConfigSemanticsSchema: z.ZodObject<{
-    deploymentTarget: z.ZodEnum<{
-        lambda: "lambda";
-        "ecs-task": "ecs-task";
-        container: "container";
-        "k8s-deployment": "k8s-deployment";
-    }>;
-    instanceName: z.ZodString;
-    name: z.ZodLiteral<"runtime-config">;
-}, z.core.$strip>;
-/**
- * Provider-side relational storage table. Columns are FIELDS on the
- * table's contract. Pairing key: `(storageSystem, scope, table)`.
- */
-declare const StorageRelationalSemanticsSchema: z.ZodObject<{
-    name: z.ZodLiteral<"storage-relational">;
-    storageSystem: z.ZodEnum<{
-        postgres: "postgres";
-        mysql: "mysql";
-        sqlite: "sqlite";
-    }>;
-    scope: z.ZodString;
-    table: z.ZodString;
-}, z.core.$strip>;
-/**
- * Provider-side message-bus boundary — SQS / EventBridge / BullMQ /
- * Kafka / NATS. Producer `interaction(class: "message-send")` effects
- * pair against these via `(messageBus, channel)`.
- *
- * The `channel` string is per-bus. SQS keys it on the single queue
- * identity (CFN logical id / env-var name). EventBridge carries a
- * two-part identity — the event bus AND the DetailType a rule matches —
- * encoded as `"<bus>#<detailType>"`, because one bus multiplexes many
- * event types and a rule subscribes to a subset. See
- * `@suss/framework-aws-eventbridge` for the producer-side scheme and
- * `@suss/contract-cloudformation`'s messageBus reader for the
- * consumer/provider-side scheme.
- */
-declare const MessageBusSemanticsSchema: z.ZodObject<{
-    name: z.ZodLiteral<"message-bus">;
-    messageBus: z.ZodEnum<{
-        sqs: "sqs";
-        eventbridge: "eventbridge";
-        bullmq: "bullmq";
-        kafka: "kafka";
-        nats: "nats";
-    }>;
-    channel: z.ZodString;
-}, z.core.$strip>;
-declare const SemanticsSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
-    name: z.ZodLiteral<"rest">;
-    method: z.ZodString;
-    path: 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.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.ZodEnum<{
-        lambda: "lambda";
-        "ecs-task": "ecs-task";
-        container: "container";
-        "k8s-deployment": "k8s-deployment";
-    }>;
-    instanceName: z.ZodString;
-    name: z.ZodLiteral<"runtime-config">;
-}, z.core.$strip>, z.ZodObject<{
-    name: z.ZodLiteral<"storage-relational">;
-    storageSystem: z.ZodEnum<{
-        postgres: "postgres";
-        mysql: "mysql";
-        sqlite: "sqlite";
-    }>;
-    scope: z.ZodString;
-    table: z.ZodString;
-}, z.core.$strip>, z.ZodObject<{
-    name: z.ZodLiteral<"message-bus">;
-    messageBus: z.ZodEnum<{
-        sqs: "sqs";
-        eventbridge: "eventbridge";
-        bullmq: "bullmq";
-        kafka: "kafka";
-        nats: "nats";
-    }>;
-    channel: z.ZodString;
-}, z.core.$strip>], "name">;
-declare const BoundaryBindingSchema: z.ZodObject<{
-    transport: z.ZodString;
-    semantics: z.ZodDiscriminatedUnion<[z.ZodObject<{
-        name: z.ZodLiteral<"rest">;
-        method: z.ZodString;
-        path: 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.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.ZodEnum<{
-            lambda: "lambda";
-            "ecs-task": "ecs-task";
-            container: "container";
-            "k8s-deployment": "k8s-deployment";
-        }>;
-        instanceName: z.ZodString;
-        name: z.ZodLiteral<"runtime-config">;
-    }, z.core.$strip>, z.ZodObject<{
-        name: z.ZodLiteral<"storage-relational">;
-        storageSystem: z.ZodEnum<{
-            postgres: "postgres";
-            mysql: "mysql";
-            sqlite: "sqlite";
-        }>;
-        scope: z.ZodString;
-        table: z.ZodString;
-    }, z.core.$strip>, z.ZodObject<{
-        name: z.ZodLiteral<"message-bus">;
-        messageBus: z.ZodEnum<{
-            sqs: "sqs";
-            eventbridge: "eventbridge";
-            bullmq: "bullmq";
-            kafka: "kafka";
-            nats: "nats";
-        }>;
-        channel: z.ZodString;
-    }, z.core.$strip>], "name">;
-    recognition: z.ZodString;
-}, z.core.$strip>;
-type TypeShape = {
-    type: "record";
-    properties: Record<string, TypeShape>;
-    spreads?: Array<{
-        sourceText: string;
-    }> | undefined;
-} | {
-    type: "dictionary";
-    values: TypeShape;
-} | {
-    type: "array";
-    items: TypeShape;
-} | {
-    type: "literal";
-    value: string | number | boolean;
-    raw?: string | undefined;
-} | {
-    type: "text";
-} | {
-    type: "integer";
-} | {
-    type: "number";
-} | {
-    type: "boolean";
-} | {
-    type: "null";
-} | {
-    type: "undefined";
-} | {
-    type: "union";
-    variants: TypeShape[];
-} | {
-    type: "ref";
-    name: string;
-    /**
-     * Where this type is written down, when it is. The key into the
-     * summary's table of definitions.
-     *
-     * A name does not identify a type. Every instantiation of one
-     * generic reports the generic's own name and file, so `Omit<User,
-     * "secret">` and `Omit<Order, "total">` are both `Omit`, and a
-     * table keyed on that hands the second one the first one's
-     * fields. This is built from what the type actually is.
-     */
-    def?: string | undefined;
-    /**
-     * The file that declares this type, when the project declares it.
-     * Absent for a name the language or a dependency owns, which means
-     * the same thing everywhere.
-     *
-     * A name on its own does not identify a type. Two modules each
-     * declaring a `User` produce the same ref, and a checker comparing
-     * them has nothing to go on. This is what tells them apart.
-     */
-    from?: string | undefined;
-} | {
-    type: "unknown";
-};
-/**
- * How a table of definitions names the type a ref points at.
- *
- * A ref carries the name and the file that declares it, and that pair
- * already identifies the type, so a table keyed on it needs nothing new
- * on the ref. A name the language or a dependency owns has no file and
- * keys on the name alone.
- */
-declare function typeDefinitionKey(ref: {
-    def?: string | undefined;
-}): string | null;
-declare const TypeShapeSchema: z.ZodType<TypeShape>;
-/**
- * A shape with the definitions it names put back into it.
- *
- * Comparing two shapes means comparing their structure, and a ref has
- * none. Rather than teach every comparison to look in a table, the
- * table goes back into the shape once, and everything downstream reads
- * what it always read.
- *
- * Putting a definition back is a substitution rather than a level of
- * nesting, so it does not spend depth. Counting it did: a type six
- * deep came back three deep, and a consumer reading a field past that
- * point was told the provider did not have it. What stops a type that
- * names itself is the set of names already being put back on this
- * path, which is how the shape walk guards its own cycles.
- */
-declare function withDefinitionsInlined(shape: TypeShape, definitions: Record<string, TypeShape> | undefined, depth?: number, inProgress?: ReadonlySet<string>): TypeShape;
-
-export { BoundaryBindingSchema, ConfidenceInfoSchema, ConfidenceLevelSchema, ConfidenceSourceSchema, CorroborationSchema, DeployableUnitSchema, FunctionCallSemanticsSchema, GraphqlOperationSemanticsSchema, GraphqlResolverSemanticsSchema, MessageBusSemanticsSchema, RestSemanticsSchema, RuntimeConfigSemanticsSchema, SemanticsSchema, SourceLocationSchema, StorageRelationalSemanticsSchema, type TypeShape, TypeShapeSchema, typeDefinitionKey, withDefinitionsInlined };
+import 'zod';
+export { B as BoundaryBindingSchema, C as ConfidenceInfoSchema, a as ConfidenceLevelSchema, b as ConfidenceSourceSchema, c as CorroborationSchema, e as DeployableUnitSchema, f as FunctionCallSemanticsSchema, g as GraphqlOperationSemanticsSchema, i as GraphqlResolverSemanticsSchema, k as MessageBusSemanticsSchema, l as RestSemanticsSchema, n as RuntimeConfigSemanticsSchema, o as SemanticsSchema, d as SourceLocationSchema, q as StorageRelationalSemanticsSchema, T as TypeShape, r as TypeShapeSchema, w as typeDefinitionKey, x as withDefinitionsInlined } from './schemas-BWvfkxSH.cjs';