@suss/ir-core 0.1.0 → 0.1.1

package/dist/{chunk-BQEWYFCF.js → chunk-QQLJDL3C.js}

@@ -84,19 +84,19 @@ var GraphqlOperationSemanticsSchema = z.object({
   operationName: z.string().optional(),
   operationType: z.enum(["query", "mutation", "subscription"])
 });
-var RuntimeConfigSemanticsSchema = z.object({
-  name: z.literal("runtime-config"),
+var DeployableUnitSchema = z.object({
   deploymentTarget: z.enum([
     "lambda",
     "ecs-task",
     "container",
     "k8s-deployment"
   ]),
-  /**
-   * Stable identifier for the runtime instance — CFN logical resource
-   * ID for Lambda / ECS, k8s deployment name, container name.
-   */
-  instanceName: z.string()
+  // An empty name would agree with every other empty name, so a unit
+  // that names nothing has to leave the field off instead.
+  instanceName: z.string().min(1)
+});
+var RuntimeConfigSemanticsSchema = DeployableUnitSchema.extend({
+  name: z.literal("runtime-config")
 });
 var StorageRelationalSemanticsSchema = z.object({
   name: z.literal("storage-relational"),
@@ -153,7 +153,11 @@ var TypeShapeSchema = z.lazy(
       type: z.literal("union"),
       variants: z.array(TypeShapeSchema)
     }),
-    z.object({ type: z.literal("ref"), name: z.string() }),
+    z.object({
+      type: z.literal("ref"),
+      name: z.string(),
+      from: z.string().optional()
+    }),
     z.object({ type: z.literal("unknown") })
   ])
 );
@@ -168,6 +172,7 @@ export {
   FunctionCallSemanticsSchema,
   GraphqlResolverSemanticsSchema,
   GraphqlOperationSemanticsSchema,
+  DeployableUnitSchema,
   RuntimeConfigSemanticsSchema,
   StorageRelationalSemanticsSchema,
   MessageBusSemanticsSchema,

package/dist/index.cjs

@@ -25,6 +25,7 @@ __export(index_exports, {
   ConfidenceLevelSchema: () => ConfidenceLevelSchema,
   ConfidenceSourceSchema: () => ConfidenceSourceSchema,
   CorroborationSchema: () => CorroborationSchema,
+  DeployableUnitSchema: () => DeployableUnitSchema,
   FunctionCallSemanticsSchema: () => FunctionCallSemanticsSchema,
   GraphqlOperationSemanticsSchema: () => GraphqlOperationSemanticsSchema,
   GraphqlResolverSemanticsSchema: () => GraphqlResolverSemanticsSchema,
@@ -42,7 +43,10 @@ __export(index_exports, {
   boundaryKey: () => boundaryKey,
   busesAgree: () => busesAgree,
   channelsPair: () => channelsPair,
+  codeScopePath: () => codeScopePath,
   countsForThreshold: () => countsForThreshold,
+  dispatchByType: () => dispatchByType,
+  fileInCodeScope: () => fileInCodeScope,
   functionCallBinding: () => functionCallBinding,
   graphqlOperationBinding: () => graphqlOperationBinding,
   graphqlResolverBinding: () => graphqlResolverBinding,
@@ -145,19 +149,19 @@ var GraphqlOperationSemanticsSchema = import_zod.z.object({
   operationName: import_zod.z.string().optional(),
   operationType: import_zod.z.enum(["query", "mutation", "subscription"])
 });
-var RuntimeConfigSemanticsSchema = import_zod.z.object({
-  name: import_zod.z.literal("runtime-config"),
+var DeployableUnitSchema = import_zod.z.object({
   deploymentTarget: import_zod.z.enum([
     "lambda",
     "ecs-task",
     "container",
     "k8s-deployment"
   ]),
-  /**
-   * Stable identifier for the runtime instance — CFN logical resource
-   * ID for Lambda / ECS, k8s deployment name, container name.
-   */
-  instanceName: import_zod.z.string()
+  // An empty name would agree with every other empty name, so a unit
+  // that names nothing has to leave the field off instead.
+  instanceName: import_zod.z.string().min(1)
+});
+var RuntimeConfigSemanticsSchema = DeployableUnitSchema.extend({
+  name: import_zod.z.literal("runtime-config")
 });
 var StorageRelationalSemanticsSchema = import_zod.z.object({
   name: import_zod.z.literal("storage-relational"),
@@ -214,7 +218,11 @@ var TypeShapeSchema = import_zod.z.lazy(
       type: import_zod.z.literal("union"),
       variants: import_zod.z.array(TypeShapeSchema)
     }),
-    import_zod.z.object({ type: import_zod.z.literal("ref"), name: import_zod.z.string() }),
+    import_zod.z.object({
+      type: import_zod.z.literal("ref"),
+      name: import_zod.z.string(),
+      from: import_zod.z.string().optional()
+    }),
     import_zod.z.object({ type: import_zod.z.literal("unknown") })
   ])
 );
@@ -259,6 +267,9 @@ function boundaryKey(binding) {
     return `${method} ${path}`;
   }
   if (semantics.name === "graphql-resolver") {
+    if (semantics.typeName === "" || semantics.fieldName === "") {
+      return null;
+    }
     return `gql:${semantics.typeName}.${semantics.fieldName}`;
   }
   if (semantics.name === "message-bus") {
@@ -277,6 +288,25 @@ function boundaryKey(binding) {
   return null;
 }
 
+// src/codeScope.ts
+function codeScopePath(raw) {
+  return raw.trim().replace(/^\.\//, "").replace(/\/+$/, "");
+}
+function fileInCodeScope(file, scope) {
+  const prefix = codeScopePath(scope);
+  if (prefix === "" || prefix === ".") {
+    return true;
+  }
+  const path = codeScopePath(file);
+  return path === prefix || path.startsWith(`${prefix}/`);
+}
+
+// src/dispatch.ts
+function dispatchByType(table, value) {
+  const handler = table[value.type];
+  return handler(value);
+}
+
 // src/suppressions.ts
 var import_zod2 = require("zod");
 var SuppressionSideSchema = import_zod2.z.object({
@@ -409,10 +439,11 @@ function bodyShapesMatch(actual, declared) {
   if (actual.type === "unknown" || declared.type === "unknown") {
     return "unknown";
   }
+  if (actual.type === "ref" && declared.type === "ref") {
+    const sameDeclaration = actual.from !== void 0 && actual.from === declared.from && actual.name === declared.name;
+    return sameDeclaration ? "match" : "unknown";
+  }
   if (actual.type === "ref" || declared.type === "ref") {
-    if (actual.type === "ref" && declared.type === "ref" && actual.name === declared.name) {
-      return "match";
-    }
     return "unknown";
   }
   if (actual.type === "union") {
@@ -644,6 +675,7 @@ function messageBusBinding(opts) {
   ConfidenceLevelSchema,
   ConfidenceSourceSchema,
   CorroborationSchema,
+  DeployableUnitSchema,
   FunctionCallSemanticsSchema,
   GraphqlOperationSemanticsSchema,
   GraphqlResolverSemanticsSchema,
@@ -661,7 +693,10 @@ function messageBusBinding(opts) {
   boundaryKey,
   busesAgree,
   channelsPair,
+  codeScopePath,
   countsForThreshold,
+  dispatchByType,
+  fileInCodeScope,
   functionCallBinding,
   graphqlOperationBinding,
   graphqlResolverBinding,

package/dist/index.d.cts

@@ -1,5 +1,5 @@
 import { z } from 'zod';
-import { TypeShape, BoundaryBindingSchema, ConfidenceInfoSchema, ConfidenceLevelSchema, ConfidenceSourceSchema, CorroborationSchema, SemanticsSchema, SourceLocationSchema } from './schemas.cjs';
+import { TypeShape, BoundaryBindingSchema, ConfidenceInfoSchema, ConfidenceLevelSchema, ConfidenceSourceSchema, CorroborationSchema, DeployableUnitSchema, SemanticsSchema, SourceLocationSchema } from './schemas.cjs';
 export { FunctionCallSemanticsSchema, GraphqlOperationSemanticsSchema, GraphqlResolverSemanticsSchema, MessageBusSemanticsSchema, RestSemanticsSchema, RuntimeConfigSemanticsSchema, StorageRelationalSemanticsSchema, TypeShapeSchema } from './schemas.cjs';
 
 /**
@@ -14,7 +14,9 @@ declare function normalizePath(path: string): string;
  * Compute a stable string key from a boundary binding for grouping.
  * Dispatches on `semantics.name`:
  *   - `rest` → `"METHOD /normalized/path"` (null if method or path empty)
- *   - `graphql-resolver` → `"gql:<TypeName>.<fieldName>"`
+ *   - `graphql-resolver` → `"gql:<TypeName>.<fieldName>"` (null when
+ *     either is empty, which is how a resolver says the source never
+ *     named the field it answers)
  *   - `message-bus` → `"bus:<messageBus> <subject>"` (null if the
  *     subject is empty)
  *   - `function-call` → `"fn:<package>::<exportPath>"` when both
@@ -45,6 +47,34 @@ declare function busesAgree(a: string | null, b: string | null): boolean;
 /** Whether two channels name the same subject on agreeing buses. */
 declare function channelsPair(a: string, b: string): boolean;
 
+/**
+ * The canonical form of a code-scope directory: no leading `./`, no
+ * trailing slash, no surrounding whitespace. An empty result means the
+ * scope names the project root.
+ */
+declare function codeScopePath(raw: string): string;
+/**
+ * Whether a project-relative file sits inside a code scope. Matching
+ * stops at a segment boundary, so `src/foo` covers `src/foo/a.ts` and
+ * never `src/foobar/a.ts`. A scope naming the project root covers
+ * every file.
+ *
+ * Both arguments pass through `codeScopePath`, so a scope stored under
+ * either of the older trailing-slash conventions still reads correctly.
+ */
+declare function fileInCodeScope(file: string, scope: string): boolean;
+
+type DispatchTable<T extends {
+    type: string;
+}, R> = {
+    [K in T["type"]]: (variant: Extract<T, {
+        type: K;
+    }>) => R;
+};
+declare function dispatchByType<T extends {
+    type: string;
+}, R>(table: DispatchTable<T, R>, value: T): R;
+
 declare const SuppressionRuleSchema: z.ZodObject<{
     kind: z.ZodOptional<z.ZodString>;
     boundary: z.ZodOptional<z.ZodString>;
@@ -204,6 +234,7 @@ type StorageRelationalSemantics = Extract<Semantics, {
 type MessageBusSemantics = Extract<Semantics, {
     name: "message-bus";
 }>;
+type DeployableUnit = z.infer<typeof DeployableUnitSchema>;
 
 /**
  * Build a REST-semantics binding. `method` and `path` can be empty
@@ -293,4 +324,4 @@ declare function messageBusBinding(opts: {
     channel: string;
 }): BoundaryBinding;
 
-export { type BoundaryBinding, BoundaryBindingSchema, type ConfidenceInfo, ConfidenceInfoSchema, type ConfidenceLevel, ConfidenceLevelSchema, type ConfidenceSource, ConfidenceSourceSchema, type Corroboration, CorroborationSchema, type FindingSuppression, type FunctionCallSemantics, type GraphqlOperationSemantics, type GraphqlResolverSemantics, type MatchResult, type MessageBusSemantics, type ParsedChannel, type RestSemantics, type RuntimeConfigSemantics, type Semantics, SemanticsSchema, type SourceLocation, SourceLocationSchema, type StorageRelationalSemantics, type SuppressableSeverity, type SuppressibleFinding, type SuppressionFile, SuppressionFileSchema, type SuppressionRule, SuppressionRuleSchema, TypeShape, applySuppressionsToFindings, bodyShapesMatch, boundaryKey, busesAgree, channelsPair, countsForThreshold, functionCallBinding, graphqlOperationBinding, graphqlResolverBinding, messageBusBinding, normalizePath, normalizeRuleBoundary, packageExportBinding, parseChannel, restBinding, ruleBoundaryMatchesKey, runtimeConfigBinding, storageRelationalBinding, validateRule };
+export { type BoundaryBinding, BoundaryBindingSchema, type ConfidenceInfo, ConfidenceInfoSchema, type ConfidenceLevel, ConfidenceLevelSchema, type ConfidenceSource, ConfidenceSourceSchema, type Corroboration, CorroborationSchema, type DeployableUnit, DeployableUnitSchema, type DispatchTable, type FindingSuppression, type FunctionCallSemantics, type GraphqlOperationSemantics, type GraphqlResolverSemantics, type MatchResult, type MessageBusSemantics, type ParsedChannel, type RestSemantics, type RuntimeConfigSemantics, type Semantics, SemanticsSchema, type SourceLocation, SourceLocationSchema, type StorageRelationalSemantics, type SuppressableSeverity, type SuppressibleFinding, type SuppressionFile, SuppressionFileSchema, type SuppressionRule, SuppressionRuleSchema, TypeShape, applySuppressionsToFindings, bodyShapesMatch, boundaryKey, busesAgree, channelsPair, codeScopePath, countsForThreshold, dispatchByType, fileInCodeScope, functionCallBinding, graphqlOperationBinding, graphqlResolverBinding, messageBusBinding, normalizePath, normalizeRuleBoundary, packageExportBinding, parseChannel, restBinding, ruleBoundaryMatchesKey, runtimeConfigBinding, storageRelationalBinding, validateRule };

package/dist/index.d.ts

@@ -1,5 +1,5 @@
 import { z } from 'zod';
-import { TypeShape, BoundaryBindingSchema, ConfidenceInfoSchema, ConfidenceLevelSchema, ConfidenceSourceSchema, CorroborationSchema, SemanticsSchema, SourceLocationSchema } from './schemas.js';
+import { TypeShape, BoundaryBindingSchema, ConfidenceInfoSchema, ConfidenceLevelSchema, ConfidenceSourceSchema, CorroborationSchema, DeployableUnitSchema, SemanticsSchema, SourceLocationSchema } from './schemas.js';
 export { FunctionCallSemanticsSchema, GraphqlOperationSemanticsSchema, GraphqlResolverSemanticsSchema, MessageBusSemanticsSchema, RestSemanticsSchema, RuntimeConfigSemanticsSchema, StorageRelationalSemanticsSchema, TypeShapeSchema } from './schemas.js';
 
 /**
@@ -14,7 +14,9 @@ declare function normalizePath(path: string): string;
  * Compute a stable string key from a boundary binding for grouping.
  * Dispatches on `semantics.name`:
  *   - `rest` → `"METHOD /normalized/path"` (null if method or path empty)
- *   - `graphql-resolver` → `"gql:<TypeName>.<fieldName>"`
+ *   - `graphql-resolver` → `"gql:<TypeName>.<fieldName>"` (null when
+ *     either is empty, which is how a resolver says the source never
+ *     named the field it answers)
  *   - `message-bus` → `"bus:<messageBus> <subject>"` (null if the
  *     subject is empty)
  *   - `function-call` → `"fn:<package>::<exportPath>"` when both
@@ -45,6 +47,34 @@ declare function busesAgree(a: string | null, b: string | null): boolean;
 /** Whether two channels name the same subject on agreeing buses. */
 declare function channelsPair(a: string, b: string): boolean;
 
+/**
+ * The canonical form of a code-scope directory: no leading `./`, no
+ * trailing slash, no surrounding whitespace. An empty result means the
+ * scope names the project root.
+ */
+declare function codeScopePath(raw: string): string;
+/**
+ * Whether a project-relative file sits inside a code scope. Matching
+ * stops at a segment boundary, so `src/foo` covers `src/foo/a.ts` and
+ * never `src/foobar/a.ts`. A scope naming the project root covers
+ * every file.
+ *
+ * Both arguments pass through `codeScopePath`, so a scope stored under
+ * either of the older trailing-slash conventions still reads correctly.
+ */
+declare function fileInCodeScope(file: string, scope: string): boolean;
+
+type DispatchTable<T extends {
+    type: string;
+}, R> = {
+    [K in T["type"]]: (variant: Extract<T, {
+        type: K;
+    }>) => R;
+};
+declare function dispatchByType<T extends {
+    type: string;
+}, R>(table: DispatchTable<T, R>, value: T): R;
+
 declare const SuppressionRuleSchema: z.ZodObject<{
     kind: z.ZodOptional<z.ZodString>;
     boundary: z.ZodOptional<z.ZodString>;
@@ -204,6 +234,7 @@ type StorageRelationalSemantics = Extract<Semantics, {
 type MessageBusSemantics = Extract<Semantics, {
     name: "message-bus";
 }>;
+type DeployableUnit = z.infer<typeof DeployableUnitSchema>;
 
 /**
  * Build a REST-semantics binding. `method` and `path` can be empty
@@ -293,4 +324,4 @@ declare function messageBusBinding(opts: {
     channel: string;
 }): BoundaryBinding;
 
-export { type BoundaryBinding, BoundaryBindingSchema, type ConfidenceInfo, ConfidenceInfoSchema, type ConfidenceLevel, ConfidenceLevelSchema, type ConfidenceSource, ConfidenceSourceSchema, type Corroboration, CorroborationSchema, type FindingSuppression, type FunctionCallSemantics, type GraphqlOperationSemantics, type GraphqlResolverSemantics, type MatchResult, type MessageBusSemantics, type ParsedChannel, type RestSemantics, type RuntimeConfigSemantics, type Semantics, SemanticsSchema, type SourceLocation, SourceLocationSchema, type StorageRelationalSemantics, type SuppressableSeverity, type SuppressibleFinding, type SuppressionFile, SuppressionFileSchema, type SuppressionRule, SuppressionRuleSchema, TypeShape, applySuppressionsToFindings, bodyShapesMatch, boundaryKey, busesAgree, channelsPair, countsForThreshold, functionCallBinding, graphqlOperationBinding, graphqlResolverBinding, messageBusBinding, normalizePath, normalizeRuleBoundary, packageExportBinding, parseChannel, restBinding, ruleBoundaryMatchesKey, runtimeConfigBinding, storageRelationalBinding, validateRule };
+export { type BoundaryBinding, BoundaryBindingSchema, type ConfidenceInfo, ConfidenceInfoSchema, type ConfidenceLevel, ConfidenceLevelSchema, type ConfidenceSource, ConfidenceSourceSchema, type Corroboration, CorroborationSchema, type DeployableUnit, DeployableUnitSchema, type DispatchTable, type FindingSuppression, type FunctionCallSemantics, type GraphqlOperationSemantics, type GraphqlResolverSemantics, type MatchResult, type MessageBusSemantics, type ParsedChannel, type RestSemantics, type RuntimeConfigSemantics, type Semantics, SemanticsSchema, type SourceLocation, SourceLocationSchema, type StorageRelationalSemantics, type SuppressableSeverity, type SuppressibleFinding, type SuppressionFile, SuppressionFileSchema, type SuppressionRule, SuppressionRuleSchema, TypeShape, applySuppressionsToFindings, bodyShapesMatch, boundaryKey, busesAgree, channelsPair, codeScopePath, countsForThreshold, dispatchByType, fileInCodeScope, functionCallBinding, graphqlOperationBinding, graphqlResolverBinding, messageBusBinding, normalizePath, normalizeRuleBoundary, packageExportBinding, parseChannel, restBinding, ruleBoundaryMatchesKey, runtimeConfigBinding, storageRelationalBinding, validateRule };

package/dist/index.js

@@ -4,6 +4,7 @@ import {
   ConfidenceLevelSchema,
   ConfidenceSourceSchema,
   CorroborationSchema,
+  DeployableUnitSchema,
   FunctionCallSemanticsSchema,
   GraphqlOperationSemanticsSchema,
   GraphqlResolverSemanticsSchema,
@@ -14,7 +15,7 @@ import {
   SourceLocationSchema,
   StorageRelationalSemanticsSchema,
   TypeShapeSchema
-} from "./chunk-BQEWYFCF.js";
+} from "./chunk-QQLJDL3C.js";
 
 // src/channel.ts
 function parseChannel(channel) {
@@ -56,6 +57,9 @@ function boundaryKey(binding) {
     return `${method} ${path}`;
   }
   if (semantics.name === "graphql-resolver") {
+    if (semantics.typeName === "" || semantics.fieldName === "") {
+      return null;
+    }
     return `gql:${semantics.typeName}.${semantics.fieldName}`;
   }
   if (semantics.name === "message-bus") {
@@ -74,6 +78,25 @@ function boundaryKey(binding) {
   return null;
 }
 
+// src/codeScope.ts
+function codeScopePath(raw) {
+  return raw.trim().replace(/^\.\//, "").replace(/\/+$/, "");
+}
+function fileInCodeScope(file, scope) {
+  const prefix = codeScopePath(scope);
+  if (prefix === "" || prefix === ".") {
+    return true;
+  }
+  const path = codeScopePath(file);
+  return path === prefix || path.startsWith(`${prefix}/`);
+}
+
+// src/dispatch.ts
+function dispatchByType(table, value) {
+  const handler = table[value.type];
+  return handler(value);
+}
+
 // src/suppressions.ts
 import { z } from "zod";
 var SuppressionSideSchema = z.object({
@@ -206,10 +229,11 @@ function bodyShapesMatch(actual, declared) {
   if (actual.type === "unknown" || declared.type === "unknown") {
     return "unknown";
   }
+  if (actual.type === "ref" && declared.type === "ref") {
+    const sameDeclaration = actual.from !== void 0 && actual.from === declared.from && actual.name === declared.name;
+    return sameDeclaration ? "match" : "unknown";
+  }
   if (actual.type === "ref" || declared.type === "ref") {
-    if (actual.type === "ref" && declared.type === "ref" && actual.name === declared.name) {
-      return "match";
-    }
     return "unknown";
   }
   if (actual.type === "union") {
@@ -440,6 +464,7 @@ export {
   ConfidenceLevelSchema,
   ConfidenceSourceSchema,
   CorroborationSchema,
+  DeployableUnitSchema,
   FunctionCallSemanticsSchema,
   GraphqlOperationSemanticsSchema,
   GraphqlResolverSemanticsSchema,
@@ -457,7 +482,10 @@ export {
   boundaryKey,
   busesAgree,
   channelsPair,
+  codeScopePath,
   countsForThreshold,
+  dispatchByType,
+  fileInCodeScope,
   functionCallBinding,
   graphqlOperationBinding,
   graphqlResolverBinding,

package/dist/schemas.cjs

@@ -25,6 +25,7 @@ __export(schemas_exports, {
   ConfidenceLevelSchema: () => ConfidenceLevelSchema,
   ConfidenceSourceSchema: () => ConfidenceSourceSchema,
   CorroborationSchema: () => CorroborationSchema,
+  DeployableUnitSchema: () => DeployableUnitSchema,
   FunctionCallSemanticsSchema: () => FunctionCallSemanticsSchema,
   GraphqlOperationSemanticsSchema: () => GraphqlOperationSemanticsSchema,
   GraphqlResolverSemanticsSchema: () => GraphqlResolverSemanticsSchema,
@@ -122,19 +123,19 @@ var GraphqlOperationSemanticsSchema = import_zod.z.object({
   operationName: import_zod.z.string().optional(),
   operationType: import_zod.z.enum(["query", "mutation", "subscription"])
 });
-var RuntimeConfigSemanticsSchema = import_zod.z.object({
-  name: import_zod.z.literal("runtime-config"),
+var DeployableUnitSchema = import_zod.z.object({
   deploymentTarget: import_zod.z.enum([
     "lambda",
     "ecs-task",
     "container",
     "k8s-deployment"
   ]),
-  /**
-   * Stable identifier for the runtime instance — CFN logical resource
-   * ID for Lambda / ECS, k8s deployment name, container name.
-   */
-  instanceName: import_zod.z.string()
+  // An empty name would agree with every other empty name, so a unit
+  // that names nothing has to leave the field off instead.
+  instanceName: import_zod.z.string().min(1)
+});
+var RuntimeConfigSemanticsSchema = DeployableUnitSchema.extend({
+  name: import_zod.z.literal("runtime-config")
 });
 var StorageRelationalSemanticsSchema = import_zod.z.object({
   name: import_zod.z.literal("storage-relational"),
@@ -191,7 +192,11 @@ var TypeShapeSchema = import_zod.z.lazy(
       type: import_zod.z.literal("union"),
       variants: import_zod.z.array(TypeShapeSchema)
     }),
-    import_zod.z.object({ type: import_zod.z.literal("ref"), name: import_zod.z.string() }),
+    import_zod.z.object({
+      type: import_zod.z.literal("ref"),
+      name: import_zod.z.string(),
+      from: import_zod.z.string().optional()
+    }),
     import_zod.z.object({ type: import_zod.z.literal("unknown") })
   ])
 );
@@ -202,6 +207,7 @@ var TypeShapeSchema = import_zod.z.lazy(
   ConfidenceLevelSchema,
   ConfidenceSourceSchema,
   CorroborationSchema,
+  DeployableUnitSchema,
   FunctionCallSemanticsSchema,
   GraphqlOperationSemanticsSchema,
   GraphqlResolverSemanticsSchema,

package/dist/schemas.d.cts

@@ -101,13 +101,32 @@ declare const GraphqlOperationSemanticsSchema: z.ZodObject<{
     }>;
 }, z.core.$strip>;
 /**
- * Provider-side runtime configuration channel — env vars + their
+ * 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)`.
+ * `(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<{
-    name: z.ZodLiteral<"runtime-config">;
     deploymentTarget: z.ZodEnum<{
         lambda: "lambda";
         "ecs-task": "ecs-task";
@@ -115,6 +134,7 @@ declare const RuntimeConfigSemanticsSchema: z.ZodObject<{
         "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
@@ -179,7 +199,6 @@ declare const SemanticsSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
         subscription: "subscription";
     }>;
 }, z.core.$strip>, z.ZodObject<{
-    name: z.ZodLiteral<"runtime-config">;
     deploymentTarget: z.ZodEnum<{
         lambda: "lambda";
         "ecs-task": "ecs-task";
@@ -187,6 +206,7 @@ declare const SemanticsSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
         "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<{
@@ -233,7 +253,6 @@ declare const BoundaryBindingSchema: z.ZodObject<{
             subscription: "subscription";
         }>;
     }, z.core.$strip>, z.ZodObject<{
-        name: z.ZodLiteral<"runtime-config">;
         deploymentTarget: z.ZodEnum<{
             lambda: "lambda";
             "ecs-task": "ecs-task";
@@ -241,6 +260,7 @@ declare const BoundaryBindingSchema: z.ZodObject<{
             "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<{
@@ -297,9 +317,19 @@ type TypeShape = {
 } | {
     type: "ref";
     name: string;
+    /**
+     * 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";
 };
 declare const TypeShapeSchema: z.ZodType<TypeShape>;
 
-export { BoundaryBindingSchema, ConfidenceInfoSchema, ConfidenceLevelSchema, ConfidenceSourceSchema, CorroborationSchema, FunctionCallSemanticsSchema, GraphqlOperationSemanticsSchema, GraphqlResolverSemanticsSchema, MessageBusSemanticsSchema, RestSemanticsSchema, RuntimeConfigSemanticsSchema, SemanticsSchema, SourceLocationSchema, StorageRelationalSemanticsSchema, type TypeShape, TypeShapeSchema };
+export { BoundaryBindingSchema, ConfidenceInfoSchema, ConfidenceLevelSchema, ConfidenceSourceSchema, CorroborationSchema, DeployableUnitSchema, FunctionCallSemanticsSchema, GraphqlOperationSemanticsSchema, GraphqlResolverSemanticsSchema, MessageBusSemanticsSchema, RestSemanticsSchema, RuntimeConfigSemanticsSchema, SemanticsSchema, SourceLocationSchema, StorageRelationalSemanticsSchema, type TypeShape, TypeShapeSchema };

package/dist/schemas.d.ts

@@ -101,13 +101,32 @@ declare const GraphqlOperationSemanticsSchema: z.ZodObject<{
     }>;
 }, z.core.$strip>;
 /**
- * Provider-side runtime configuration channel — env vars + their
+ * 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)`.
+ * `(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<{
-    name: z.ZodLiteral<"runtime-config">;
     deploymentTarget: z.ZodEnum<{
         lambda: "lambda";
         "ecs-task": "ecs-task";
@@ -115,6 +134,7 @@ declare const RuntimeConfigSemanticsSchema: z.ZodObject<{
         "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
@@ -179,7 +199,6 @@ declare const SemanticsSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
         subscription: "subscription";
     }>;
 }, z.core.$strip>, z.ZodObject<{
-    name: z.ZodLiteral<"runtime-config">;
     deploymentTarget: z.ZodEnum<{
         lambda: "lambda";
         "ecs-task": "ecs-task";
@@ -187,6 +206,7 @@ declare const SemanticsSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
         "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<{
@@ -233,7 +253,6 @@ declare const BoundaryBindingSchema: z.ZodObject<{
             subscription: "subscription";
         }>;
     }, z.core.$strip>, z.ZodObject<{
-        name: z.ZodLiteral<"runtime-config">;
         deploymentTarget: z.ZodEnum<{
             lambda: "lambda";
             "ecs-task": "ecs-task";
@@ -241,6 +260,7 @@ declare const BoundaryBindingSchema: z.ZodObject<{
             "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<{
@@ -297,9 +317,19 @@ type TypeShape = {
 } | {
     type: "ref";
     name: string;
+    /**
+     * 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";
 };
 declare const TypeShapeSchema: z.ZodType<TypeShape>;
 
-export { BoundaryBindingSchema, ConfidenceInfoSchema, ConfidenceLevelSchema, ConfidenceSourceSchema, CorroborationSchema, FunctionCallSemanticsSchema, GraphqlOperationSemanticsSchema, GraphqlResolverSemanticsSchema, MessageBusSemanticsSchema, RestSemanticsSchema, RuntimeConfigSemanticsSchema, SemanticsSchema, SourceLocationSchema, StorageRelationalSemanticsSchema, type TypeShape, TypeShapeSchema };
+export { BoundaryBindingSchema, ConfidenceInfoSchema, ConfidenceLevelSchema, ConfidenceSourceSchema, CorroborationSchema, DeployableUnitSchema, FunctionCallSemanticsSchema, GraphqlOperationSemanticsSchema, GraphqlResolverSemanticsSchema, MessageBusSemanticsSchema, RestSemanticsSchema, RuntimeConfigSemanticsSchema, SemanticsSchema, SourceLocationSchema, StorageRelationalSemanticsSchema, type TypeShape, TypeShapeSchema };

package/dist/schemas.js

@@ -4,6 +4,7 @@ import {
   ConfidenceLevelSchema,
   ConfidenceSourceSchema,
   CorroborationSchema,
+  DeployableUnitSchema,
   FunctionCallSemanticsSchema,
   GraphqlOperationSemanticsSchema,
   GraphqlResolverSemanticsSchema,
@@ -14,13 +15,14 @@ import {
   SourceLocationSchema,
   StorageRelationalSemanticsSchema,
   TypeShapeSchema
-} from "./chunk-BQEWYFCF.js";
+} from "./chunk-QQLJDL3C.js";
 export {
   BoundaryBindingSchema,
   ConfidenceInfoSchema,
   ConfidenceLevelSchema,
   ConfidenceSourceSchema,
   CorroborationSchema,
+  DeployableUnitSchema,
   FunctionCallSemanticsSchema,
   GraphqlOperationSemanticsSchema,
   GraphqlResolverSemanticsSchema,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/ir-core",
-  "version": "0.1.0",
+  "version": "0.1.1",
   "type": "module",
   "description": "Shared IR primitives for suss — type shapes, boundary bindings, source locations, and confidence. Imported by both @suss/behavioral-ir and @suss/intent-ir so neither depends on the other.",
   "keywords": [