@suss/ir-core 0.34.0 → 0.34.1

package/dist/index.d.cts

@@ -1,6 +1,6 @@
 import { z } from 'zod';
-import { T as TypeShape, M as MessageBusSemantics, D as DeployableUnit, S as Semantics, B as BoundaryBindingSchema, C as ConfidenceInfoSchema, a as ConfidenceLevelSchema, b as ConfidenceSourceSchema, c as CorroborationSchema, d as SourceLocationSchema, e as MessageBusTechnology } from './schemas-CghZNwSE.cjs';
-export { f as DeployableUnitSchema, E as EVERY_FIELD, F as FunctionCallSemantics, g as FunctionCallSemanticsSchema, G as GraphqlOperationSemantics, h as GraphqlOperationSemanticsSchema, i as GraphqlResolverSemantics, j as GraphqlResolverSemanticsSchema, k as MessageBusSemanticsSchema, R as RestSemantics, l as RestSemanticsSchema, m as RuntimeConfigSemantics, n as RuntimeConfigSemanticsSchema, o as SemanticsSchema, p as StorageSemantics, q as StorageSemanticsSchema, r as TypeShapeSchema, s as ecsContainerInstanceName, t as isModuleName, u as methodsAgree, v as normalizePath, w as pathShape, x as routePathAdmits, y as routePathsMeet, z as storageContainerLabel, A as storageLabel, H as storageSystemLabel, I as typeDefinitionKey, J as withDefinitionsInlined } from './schemas-CghZNwSE.cjs';
+import { T as TypeShape, M as MessageBusSemantics, D as DeployableUnit, S as Semantics, B as BoundaryBindingSchema, C as ConfidenceInfoSchema, a as ConfidenceLevelSchema, b as ConfidenceSourceSchema, c as CorroborationSchema, d as SourceLocationSchema, e as MessageBusTechnology } from './schemas-lfg8kvak.cjs';
+export { f as DeployableUnitSchema, E as EVERY_FIELD, F as FunctionCallSemantics, g as FunctionCallSemanticsSchema, G as GraphqlOperationSemantics, h as GraphqlOperationSemanticsSchema, i as GraphqlResolverSemantics, j as GraphqlResolverSemanticsSchema, k as MessageBusSemanticsSchema, R as RestSemantics, l as RestSemanticsSchema, m as RuntimeConfigSemantics, n as RuntimeConfigSemanticsSchema, o as SemanticsSchema, p as StorageSemantics, q as StorageSemanticsSchema, r as TypeShapeSchema, s as ecsContainerInstanceName, t as isModuleName, u as methodsAgree, v as normalizePath, w as pathShape, x as routePathAdmits, y as routePathsMeet, z as storageContainerLabel, A as storageLabel, H as storageSystemLabel, I as typeDefinitionKey, J as withDefinitionsInlined } from './schemas-lfg8kvak.cjs';
 
 /**
  * The boundary-name syntax, parsed and printed in one place.
@@ -231,6 +231,13 @@ interface BoundaryBehavior<S extends {
      * protocol does not define it, every pair in a bucket agrees.
      */
     sidesAgree?(a: S, b: S): boolean;
+    /**
+     * The key two providers of one operation share, such as a handler and
+     * the spec that documents it. Defaults to `identityKey`. Leave out
+     * what two sources can spell differently without serving different
+     * requests: REST drops parameter names, so `{id}` meets `:pk`.
+     */
+    operationKey?(semantics: S): string | null;
     /**
      * Whether this boundary's bucket can meet buckets with other keys. A
      * REST path with a hole that spans some number of segments has a key
@@ -243,12 +250,13 @@ interface BoundaryBehavior<S extends {
     /** Whether two buckets describe at least one boundary in common. */
     bucketsMeet?(a: S, b: S): boolean;
     /**
-     * How narrowly this bucket states what it serves, compared
-     * lexicographically. When a consumer meets more than one bucket, it
-     * reaches the one ranked highest, and a tie is reported instead of
-     * paired.
+     * How well a provider fits what a consumer states, compared
+     * lexicographically. When a consumer meets more than one provider
+     * bucket, it reaches the one ranked highest, and a tie is reported
+     * instead of paired. Null when the two meet only by a guess the
+     * consumer gives no ground for, so they do not pair.
      */
-    bucketRank?(semantics: S): readonly number[];
+    pairRank?(provider: S, consumer: S): readonly number[] | null;
     /** The label a reader sees for this boundary. Defaults to `identityKey`. */
     displayLabel?(semantics: S): string | null;
     /**
@@ -308,6 +316,12 @@ interface BoundaryBehavior<S extends {
      * `groundName` looks up the same reference.
      */
     nameReference?(semantics: S): Reference | null;
+    /**
+     * The semantics with a host the project says it serves left out of
+     * the name, or null when the name has none of them. A protocol whose
+     * names never carry a host leaves this undefined.
+     */
+    withoutOwnHost?(semantics: S, ownHosts: ReadonlySet<string>): S | null;
     /**
      * Whether a provider produces a status and a body that a consumer
      * reads back. It is required, so a new protocol cannot end up in the
@@ -505,6 +519,13 @@ interface PackDeclaration {
      * Every project in that language is a candidate.
      */
     shippedWith?: "typescript" | "python" | "ruby";
+    /**
+     * Text in a source file that shows the project calls a library the
+     * language ships. No manifest can say that a project uses fetch, so
+     * `suss init` looks for a call before it sets up a project on the
+     * strength of this pack alone.
+     */
+    sourcePattern?: RegExp;
     /** The line the packages page shows, one sentence, what it reads. */
     reads: string;
     /** Set when the pack needs a value from the project to run at all. */
@@ -541,6 +562,11 @@ declare function boundaryKey(binding: BoundaryBinding): string | null;
  * whose protocol has no paths comes back unchanged.
  */
 declare function withRewrittenPaths(binding: BoundaryBinding, rewrite: (path: string) => string): BoundaryBinding;
+/**
+ * The binding with a host the project serves left out, so a call to
+ * the project's public host pairs with its routes.
+ */
+declare function withoutOwnHost(binding: BoundaryBinding, ownHosts: ReadonlySet<string>): BoundaryBinding;
 /**
  * The pairing key after the deployment's values are filled into the
  * boundary's name.
@@ -567,13 +593,23 @@ declare function groundBinding(binding: BoundaryBinding, deployment: Deployment)
  */
 declare function nameReference(binding: BoundaryBinding): Reference | null;
 declare function pairingKey(binding: BoundaryBinding): string | null;
+/**
+ * The key a handler and a document describing the same operation share.
+ * The contract checks match providers to each other on it, since two
+ * providers never go through pairing.
+ */
+declare function operationKey(binding: BoundaryBinding): string | null;
 declare function semanticsAgree(a: Semantics, b: Semantics): boolean;
 /** Whether the binding's bucket can meet buckets with other keys. */
 declare function spansBuckets(binding: BoundaryBinding): boolean;
 /** Whether two bindings' buckets describe a boundary in common. */
 declare function bucketsMeet(a: BoundaryBinding, b: BoundaryBinding): boolean;
-/** How narrowly the binding's bucket states what it serves; see `compareRanks`. */
-declare function bucketRank(binding: BoundaryBinding): readonly number[];
+/**
+ * How well a provider fits what a consumer states, or null when they do
+ * not pair; see `compareRanks`. A protocol that does not rank gives
+ * every provider the same rank.
+ */
+declare function pairRank(provider: BoundaryBinding, consumer: BoundaryBinding): readonly number[] | null;
 declare function boundaryLabel(binding: BoundaryBinding): string | null;
 declare function displayLabel(binding: BoundaryBinding): string;
 /**
@@ -817,7 +853,8 @@ type EffectRelation = z.infer<typeof EffectRelationSchema>;
  * `{rest*}` is zero or more, the modifiers Express puts on `:name`. A
  * bare `*` segment is zero or more segments, Express 4's reading of a
  * star. A set piece is written `(v1|v2)` and matches any one of its
- * options, and an option can contain a slash.
+ * options, and an option can contain a slash. A hole before the first
+ * slash is a base URL the client left open, and it matches the origin.
  *
  * `pathsMeet` expands the sets into alternatives, splits each one into
  * segments, and walks the two segment lists with a reachability table
@@ -990,6 +1027,13 @@ declare function testUnitName(titles: readonly string[]): string;
 declare function pathAfterOrigin(text: string): string;
 /** Whether the text starts with an origin (a scheme and host, or `//host`). */
 declare function statesAnOrigin(text: string): boolean;
+/**
+ * Whether a host a client wrote out can belong to the project itself: a
+ * loopback or private address, a name with no dot such as a container's
+ * service name, or a name under a suffix kept for private networks or
+ * examples. Any other name is a public host the project does not serve.
+ */
+declare function hostCanBeOwn(host: string): boolean;
 
 /**
  * @suss/ir-core: primitives shared across suss IRs.
@@ -1021,6 +1065,10 @@ declare function restBinding(opts: {
     path: string | null;
     recognition: string;
     declaredResponses?: number[];
+    /** The host of an absolute URL a client calls; see `RestSemantics`. */
+    host?: string | undefined;
+    /** True for a route also served with `.{format}` after its path. */
+    optionalFormat?: boolean;
 }): BoundaryBinding;
 /**
  * Build a function-call-semantics binding, for an in-process boundary
@@ -1159,4 +1207,4 @@ declare function ioBinding(opts: {
     target: string | null;
 }): BoundaryBinding;
 
-export { type BoundaryBehavior, type BoundaryBinding, BoundaryBindingSchema, type BoundaryName, type BoundarySemanticsDefinition, type BusIdentityKey, type Channel, type ConfidenceInfo, ConfidenceInfoSchema, type ConfidenceLevel, ConfidenceLevelSchema, type ConfidenceSource, ConfidenceSourceSchema, type Corroboration, CorroborationSchema, DeployableUnit, type Deployment, type DispatchTable, type Ecosystem, type EffectRelation, EffectRelationSchema, type FindingSuppression, type FnIdentityKey, type GqlIdentityKey, type HoleRange, type IoIdentityKey, type IoSemantics, IoSemanticsSchema, type MatchResult, MessageBusSemantics, MessageBusTechnology, type MetricIdentityKey, type MetricSemantics, MetricSemanticsSchema, NOTHING_DEPLOYED, type NamePart, PLATFORM_INJECTED_ENV_VARS, type PackConfiguration, type PackDeclaration, type ParsedChannel, type ParsedHandler, type Reference, type Relation, RelationSchema, Semantics, type SemconvAttribute, type SemconvMapping, type SourceLocation, SourceLocationSchema, type SuppressableSeverity, type SuppressibleFinding, type SuppressionFile, SuppressionFileSchema, type SuppressionRule, SuppressionRuleSchema, TEST_TITLE_SEPARATOR, TypeShape, type UnitIdentityKey, type UnitInvocationSemantics, UnitInvocationSemanticsSchema, applySuppressionsToFindings, bindingIs, bindingTokens, bodyShapesMatch, boundaryKey, boundaryLabel, boundaryNameString, bucketRank, bucketsMeet, busIdentityKey, busesAgree, canPair, channelsPair, codeScopePath, compareRanks, countsForThreshold, dispatchByType, displayLabel, exchangesHttpResponses, fileInCodeScope, fixedTextLength, fnIdentityKey, formatChannel, functionCallBinding, gqlIdentityKey, graphqlOperationBinding, graphqlResolverBinding, groundBinding, groundedPairingKey, hasNameHole, ioBinding, ioIdentityKey, isGraphqlOperationBinding, labelWithDetail, leavesTheProcess, messageBusBinding, metricBinding, metricIdentityKey, moduleExportBinding, namePatternFromSub, namePatternKey, nameReference, namesAgree, namesBoundary, namesBoundaryExactly, namesNothing, normalizeRuleBoundary, packageExportBinding, pairingKey, parseBoundaryName, parseChannel, parseHandler, pathAfterOrigin, patternHole, rangedHole, referenceFromName, referenceName, referenceOf, reportsUnpairedItself, resourceNameIn, restBinding, ruleBoundaryMatchesKey, runtimeConfigBinding, semanticsAgree, semconvAttributes, servesRequest, setPiece, spansBuckets, spellingTokens, statesAnOrigin, storageBinding, testUnitName, unitIdentityKey, unitInvocationBinding, validateRule, withRewrittenPaths, withinScope };
+export { type BoundaryBehavior, type BoundaryBinding, BoundaryBindingSchema, type BoundaryName, type BoundarySemanticsDefinition, type BusIdentityKey, type Channel, type ConfidenceInfo, ConfidenceInfoSchema, type ConfidenceLevel, ConfidenceLevelSchema, type ConfidenceSource, ConfidenceSourceSchema, type Corroboration, CorroborationSchema, DeployableUnit, type Deployment, type DispatchTable, type Ecosystem, type EffectRelation, EffectRelationSchema, type FindingSuppression, type FnIdentityKey, type GqlIdentityKey, type HoleRange, type IoIdentityKey, type IoSemantics, IoSemanticsSchema, type MatchResult, MessageBusSemantics, MessageBusTechnology, type MetricIdentityKey, type MetricSemantics, MetricSemanticsSchema, NOTHING_DEPLOYED, type NamePart, PLATFORM_INJECTED_ENV_VARS, type PackConfiguration, type PackDeclaration, type ParsedChannel, type ParsedHandler, type Reference, type Relation, RelationSchema, Semantics, type SemconvAttribute, type SemconvMapping, type SourceLocation, SourceLocationSchema, type SuppressableSeverity, type SuppressibleFinding, type SuppressionFile, SuppressionFileSchema, type SuppressionRule, SuppressionRuleSchema, TEST_TITLE_SEPARATOR, TypeShape, type UnitIdentityKey, type UnitInvocationSemantics, UnitInvocationSemanticsSchema, applySuppressionsToFindings, bindingIs, bindingTokens, bodyShapesMatch, boundaryKey, boundaryLabel, boundaryNameString, bucketsMeet, busIdentityKey, busesAgree, canPair, channelsPair, codeScopePath, compareRanks, countsForThreshold, dispatchByType, displayLabel, exchangesHttpResponses, fileInCodeScope, fixedTextLength, fnIdentityKey, formatChannel, functionCallBinding, gqlIdentityKey, graphqlOperationBinding, graphqlResolverBinding, groundBinding, groundedPairingKey, hasNameHole, hostCanBeOwn, ioBinding, ioIdentityKey, isGraphqlOperationBinding, labelWithDetail, leavesTheProcess, messageBusBinding, metricBinding, metricIdentityKey, moduleExportBinding, namePatternFromSub, namePatternKey, nameReference, namesAgree, namesBoundary, namesBoundaryExactly, namesNothing, normalizeRuleBoundary, operationKey, packageExportBinding, pairRank, pairingKey, parseBoundaryName, parseChannel, parseHandler, pathAfterOrigin, patternHole, rangedHole, referenceFromName, referenceName, referenceOf, reportsUnpairedItself, resourceNameIn, restBinding, ruleBoundaryMatchesKey, runtimeConfigBinding, semanticsAgree, semconvAttributes, servesRequest, setPiece, spansBuckets, spellingTokens, statesAnOrigin, storageBinding, testUnitName, unitIdentityKey, unitInvocationBinding, validateRule, withRewrittenPaths, withinScope, withoutOwnHost };

package/dist/index.d.ts

@@ -1,6 +1,6 @@
 import { z } from 'zod';
-import { T as TypeShape, M as MessageBusSemantics, D as DeployableUnit, S as Semantics, B as BoundaryBindingSchema, C as ConfidenceInfoSchema, a as ConfidenceLevelSchema, b as ConfidenceSourceSchema, c as CorroborationSchema, d as SourceLocationSchema, e as MessageBusTechnology } from './schemas-CghZNwSE.js';
-export { f as DeployableUnitSchema, E as EVERY_FIELD, F as FunctionCallSemantics, g as FunctionCallSemanticsSchema, G as GraphqlOperationSemantics, h as GraphqlOperationSemanticsSchema, i as GraphqlResolverSemantics, j as GraphqlResolverSemanticsSchema, k as MessageBusSemanticsSchema, R as RestSemantics, l as RestSemanticsSchema, m as RuntimeConfigSemantics, n as RuntimeConfigSemanticsSchema, o as SemanticsSchema, p as StorageSemantics, q as StorageSemanticsSchema, r as TypeShapeSchema, s as ecsContainerInstanceName, t as isModuleName, u as methodsAgree, v as normalizePath, w as pathShape, x as routePathAdmits, y as routePathsMeet, z as storageContainerLabel, A as storageLabel, H as storageSystemLabel, I as typeDefinitionKey, J as withDefinitionsInlined } from './schemas-CghZNwSE.js';
+import { T as TypeShape, M as MessageBusSemantics, D as DeployableUnit, S as Semantics, B as BoundaryBindingSchema, C as ConfidenceInfoSchema, a as ConfidenceLevelSchema, b as ConfidenceSourceSchema, c as CorroborationSchema, d as SourceLocationSchema, e as MessageBusTechnology } from './schemas-lfg8kvak.js';
+export { f as DeployableUnitSchema, E as EVERY_FIELD, F as FunctionCallSemantics, g as FunctionCallSemanticsSchema, G as GraphqlOperationSemantics, h as GraphqlOperationSemanticsSchema, i as GraphqlResolverSemantics, j as GraphqlResolverSemanticsSchema, k as MessageBusSemanticsSchema, R as RestSemantics, l as RestSemanticsSchema, m as RuntimeConfigSemantics, n as RuntimeConfigSemanticsSchema, o as SemanticsSchema, p as StorageSemantics, q as StorageSemanticsSchema, r as TypeShapeSchema, s as ecsContainerInstanceName, t as isModuleName, u as methodsAgree, v as normalizePath, w as pathShape, x as routePathAdmits, y as routePathsMeet, z as storageContainerLabel, A as storageLabel, H as storageSystemLabel, I as typeDefinitionKey, J as withDefinitionsInlined } from './schemas-lfg8kvak.js';
 
 /**
  * The boundary-name syntax, parsed and printed in one place.
@@ -231,6 +231,13 @@ interface BoundaryBehavior<S extends {
      * protocol does not define it, every pair in a bucket agrees.
      */
     sidesAgree?(a: S, b: S): boolean;
+    /**
+     * The key two providers of one operation share, such as a handler and
+     * the spec that documents it. Defaults to `identityKey`. Leave out
+     * what two sources can spell differently without serving different
+     * requests: REST drops parameter names, so `{id}` meets `:pk`.
+     */
+    operationKey?(semantics: S): string | null;
     /**
      * Whether this boundary's bucket can meet buckets with other keys. A
      * REST path with a hole that spans some number of segments has a key
@@ -243,12 +250,13 @@ interface BoundaryBehavior<S extends {
     /** Whether two buckets describe at least one boundary in common. */
     bucketsMeet?(a: S, b: S): boolean;
     /**
-     * How narrowly this bucket states what it serves, compared
-     * lexicographically. When a consumer meets more than one bucket, it
-     * reaches the one ranked highest, and a tie is reported instead of
-     * paired.
+     * How well a provider fits what a consumer states, compared
+     * lexicographically. When a consumer meets more than one provider
+     * bucket, it reaches the one ranked highest, and a tie is reported
+     * instead of paired. Null when the two meet only by a guess the
+     * consumer gives no ground for, so they do not pair.
      */
-    bucketRank?(semantics: S): readonly number[];
+    pairRank?(provider: S, consumer: S): readonly number[] | null;
     /** The label a reader sees for this boundary. Defaults to `identityKey`. */
     displayLabel?(semantics: S): string | null;
     /**
@@ -308,6 +316,12 @@ interface BoundaryBehavior<S extends {
      * `groundName` looks up the same reference.
      */
     nameReference?(semantics: S): Reference | null;
+    /**
+     * The semantics with a host the project says it serves left out of
+     * the name, or null when the name has none of them. A protocol whose
+     * names never carry a host leaves this undefined.
+     */
+    withoutOwnHost?(semantics: S, ownHosts: ReadonlySet<string>): S | null;
     /**
      * Whether a provider produces a status and a body that a consumer
      * reads back. It is required, so a new protocol cannot end up in the
@@ -505,6 +519,13 @@ interface PackDeclaration {
      * Every project in that language is a candidate.
      */
     shippedWith?: "typescript" | "python" | "ruby";
+    /**
+     * Text in a source file that shows the project calls a library the
+     * language ships. No manifest can say that a project uses fetch, so
+     * `suss init` looks for a call before it sets up a project on the
+     * strength of this pack alone.
+     */
+    sourcePattern?: RegExp;
     /** The line the packages page shows, one sentence, what it reads. */
     reads: string;
     /** Set when the pack needs a value from the project to run at all. */
@@ -541,6 +562,11 @@ declare function boundaryKey(binding: BoundaryBinding): string | null;
  * whose protocol has no paths comes back unchanged.
  */
 declare function withRewrittenPaths(binding: BoundaryBinding, rewrite: (path: string) => string): BoundaryBinding;
+/**
+ * The binding with a host the project serves left out, so a call to
+ * the project's public host pairs with its routes.
+ */
+declare function withoutOwnHost(binding: BoundaryBinding, ownHosts: ReadonlySet<string>): BoundaryBinding;
 /**
  * The pairing key after the deployment's values are filled into the
  * boundary's name.
@@ -567,13 +593,23 @@ declare function groundBinding(binding: BoundaryBinding, deployment: Deployment)
  */
 declare function nameReference(binding: BoundaryBinding): Reference | null;
 declare function pairingKey(binding: BoundaryBinding): string | null;
+/**
+ * The key a handler and a document describing the same operation share.
+ * The contract checks match providers to each other on it, since two
+ * providers never go through pairing.
+ */
+declare function operationKey(binding: BoundaryBinding): string | null;
 declare function semanticsAgree(a: Semantics, b: Semantics): boolean;
 /** Whether the binding's bucket can meet buckets with other keys. */
 declare function spansBuckets(binding: BoundaryBinding): boolean;
 /** Whether two bindings' buckets describe a boundary in common. */
 declare function bucketsMeet(a: BoundaryBinding, b: BoundaryBinding): boolean;
-/** How narrowly the binding's bucket states what it serves; see `compareRanks`. */
-declare function bucketRank(binding: BoundaryBinding): readonly number[];
+/**
+ * How well a provider fits what a consumer states, or null when they do
+ * not pair; see `compareRanks`. A protocol that does not rank gives
+ * every provider the same rank.
+ */
+declare function pairRank(provider: BoundaryBinding, consumer: BoundaryBinding): readonly number[] | null;
 declare function boundaryLabel(binding: BoundaryBinding): string | null;
 declare function displayLabel(binding: BoundaryBinding): string;
 /**
@@ -817,7 +853,8 @@ type EffectRelation = z.infer<typeof EffectRelationSchema>;
  * `{rest*}` is zero or more, the modifiers Express puts on `:name`. A
  * bare `*` segment is zero or more segments, Express 4's reading of a
  * star. A set piece is written `(v1|v2)` and matches any one of its
- * options, and an option can contain a slash.
+ * options, and an option can contain a slash. A hole before the first
+ * slash is a base URL the client left open, and it matches the origin.
  *
  * `pathsMeet` expands the sets into alternatives, splits each one into
  * segments, and walks the two segment lists with a reachability table
@@ -990,6 +1027,13 @@ declare function testUnitName(titles: readonly string[]): string;
 declare function pathAfterOrigin(text: string): string;
 /** Whether the text starts with an origin (a scheme and host, or `//host`). */
 declare function statesAnOrigin(text: string): boolean;
+/**
+ * Whether a host a client wrote out can belong to the project itself: a
+ * loopback or private address, a name with no dot such as a container's
+ * service name, or a name under a suffix kept for private networks or
+ * examples. Any other name is a public host the project does not serve.
+ */
+declare function hostCanBeOwn(host: string): boolean;
 
 /**
  * @suss/ir-core: primitives shared across suss IRs.
@@ -1021,6 +1065,10 @@ declare function restBinding(opts: {
     path: string | null;
     recognition: string;
     declaredResponses?: number[];
+    /** The host of an absolute URL a client calls; see `RestSemantics`. */
+    host?: string | undefined;
+    /** True for a route also served with `.{format}` after its path. */
+    optionalFormat?: boolean;
 }): BoundaryBinding;
 /**
  * Build a function-call-semantics binding, for an in-process boundary
@@ -1159,4 +1207,4 @@ declare function ioBinding(opts: {
     target: string | null;
 }): BoundaryBinding;
 
-export { type BoundaryBehavior, type BoundaryBinding, BoundaryBindingSchema, type BoundaryName, type BoundarySemanticsDefinition, type BusIdentityKey, type Channel, type ConfidenceInfo, ConfidenceInfoSchema, type ConfidenceLevel, ConfidenceLevelSchema, type ConfidenceSource, ConfidenceSourceSchema, type Corroboration, CorroborationSchema, DeployableUnit, type Deployment, type DispatchTable, type Ecosystem, type EffectRelation, EffectRelationSchema, type FindingSuppression, type FnIdentityKey, type GqlIdentityKey, type HoleRange, type IoIdentityKey, type IoSemantics, IoSemanticsSchema, type MatchResult, MessageBusSemantics, MessageBusTechnology, type MetricIdentityKey, type MetricSemantics, MetricSemanticsSchema, NOTHING_DEPLOYED, type NamePart, PLATFORM_INJECTED_ENV_VARS, type PackConfiguration, type PackDeclaration, type ParsedChannel, type ParsedHandler, type Reference, type Relation, RelationSchema, Semantics, type SemconvAttribute, type SemconvMapping, type SourceLocation, SourceLocationSchema, type SuppressableSeverity, type SuppressibleFinding, type SuppressionFile, SuppressionFileSchema, type SuppressionRule, SuppressionRuleSchema, TEST_TITLE_SEPARATOR, TypeShape, type UnitIdentityKey, type UnitInvocationSemantics, UnitInvocationSemanticsSchema, applySuppressionsToFindings, bindingIs, bindingTokens, bodyShapesMatch, boundaryKey, boundaryLabel, boundaryNameString, bucketRank, bucketsMeet, busIdentityKey, busesAgree, canPair, channelsPair, codeScopePath, compareRanks, countsForThreshold, dispatchByType, displayLabel, exchangesHttpResponses, fileInCodeScope, fixedTextLength, fnIdentityKey, formatChannel, functionCallBinding, gqlIdentityKey, graphqlOperationBinding, graphqlResolverBinding, groundBinding, groundedPairingKey, hasNameHole, ioBinding, ioIdentityKey, isGraphqlOperationBinding, labelWithDetail, leavesTheProcess, messageBusBinding, metricBinding, metricIdentityKey, moduleExportBinding, namePatternFromSub, namePatternKey, nameReference, namesAgree, namesBoundary, namesBoundaryExactly, namesNothing, normalizeRuleBoundary, packageExportBinding, pairingKey, parseBoundaryName, parseChannel, parseHandler, pathAfterOrigin, patternHole, rangedHole, referenceFromName, referenceName, referenceOf, reportsUnpairedItself, resourceNameIn, restBinding, ruleBoundaryMatchesKey, runtimeConfigBinding, semanticsAgree, semconvAttributes, servesRequest, setPiece, spansBuckets, spellingTokens, statesAnOrigin, storageBinding, testUnitName, unitIdentityKey, unitInvocationBinding, validateRule, withRewrittenPaths, withinScope };
+export { type BoundaryBehavior, type BoundaryBinding, BoundaryBindingSchema, type BoundaryName, type BoundarySemanticsDefinition, type BusIdentityKey, type Channel, type ConfidenceInfo, ConfidenceInfoSchema, type ConfidenceLevel, ConfidenceLevelSchema, type ConfidenceSource, ConfidenceSourceSchema, type Corroboration, CorroborationSchema, DeployableUnit, type Deployment, type DispatchTable, type Ecosystem, type EffectRelation, EffectRelationSchema, type FindingSuppression, type FnIdentityKey, type GqlIdentityKey, type HoleRange, type IoIdentityKey, type IoSemantics, IoSemanticsSchema, type MatchResult, MessageBusSemantics, MessageBusTechnology, type MetricIdentityKey, type MetricSemantics, MetricSemanticsSchema, NOTHING_DEPLOYED, type NamePart, PLATFORM_INJECTED_ENV_VARS, type PackConfiguration, type PackDeclaration, type ParsedChannel, type ParsedHandler, type Reference, type Relation, RelationSchema, Semantics, type SemconvAttribute, type SemconvMapping, type SourceLocation, SourceLocationSchema, type SuppressableSeverity, type SuppressibleFinding, type SuppressionFile, SuppressionFileSchema, type SuppressionRule, SuppressionRuleSchema, TEST_TITLE_SEPARATOR, TypeShape, type UnitIdentityKey, type UnitInvocationSemantics, UnitInvocationSemanticsSchema, applySuppressionsToFindings, bindingIs, bindingTokens, bodyShapesMatch, boundaryKey, boundaryLabel, boundaryNameString, bucketsMeet, busIdentityKey, busesAgree, canPair, channelsPair, codeScopePath, compareRanks, countsForThreshold, dispatchByType, displayLabel, exchangesHttpResponses, fileInCodeScope, fixedTextLength, fnIdentityKey, formatChannel, functionCallBinding, gqlIdentityKey, graphqlOperationBinding, graphqlResolverBinding, groundBinding, groundedPairingKey, hasNameHole, hostCanBeOwn, ioBinding, ioIdentityKey, isGraphqlOperationBinding, labelWithDetail, leavesTheProcess, messageBusBinding, metricBinding, metricIdentityKey, moduleExportBinding, namePatternFromSub, namePatternKey, nameReference, namesAgree, namesBoundary, namesBoundaryExactly, namesNothing, normalizeRuleBoundary, operationKey, packageExportBinding, pairRank, pairingKey, parseBoundaryName, parseChannel, parseHandler, pathAfterOrigin, patternHole, rangedHole, referenceFromName, referenceName, referenceOf, reportsUnpairedItself, resourceNameIn, restBinding, ruleBoundaryMatchesKey, runtimeConfigBinding, semanticsAgree, semconvAttributes, servesRequest, setPiece, spansBuckets, spellingTokens, statesAnOrigin, storageBinding, testUnitName, unitIdentityKey, unitInvocationBinding, validateRule, withRewrittenPaths, withinScope, withoutOwnHost };

package/dist/index.js

@@ -33,6 +33,7 @@ import {
   formatChannel,
   gqlIdentityKey,
   hasNameHole,
+  hostCanBeOwn,
   ioIdentityKey,
   isModuleName,
   methodsAgree,
@@ -62,7 +63,7 @@ import {
   typeDefinitionKey,
   unitIdentityKey,
   withDefinitionsInlined
-} from "./chunk-WOXA5GBL.js";
+} from "./chunk-A46EUIKC.js";
 
 // src/semconv.ts
 function semconvAttributes(binding) {
@@ -100,6 +101,13 @@ function withRewrittenPaths(binding, rewrite) {
     semantics: behavior.rewritePaths(binding.semantics, rewrite)
   };
 }
+function withoutOwnHost(binding, ownHosts) {
+  const semantics = behaviorOf(binding.semantics).withoutOwnHost?.(
+    binding.semantics,
+    ownHosts
+  );
+  return semantics === void 0 || semantics === null ? binding : { ...binding, semantics };
+}
 function groundedPairingKey(binding, deployment) {
   return pairingKey(groundBinding(binding, deployment));
 }
@@ -115,6 +123,10 @@ function pairingKey(binding) {
   const behavior = behaviorOf(binding.semantics);
   return (behavior.pairingKey ?? behavior.identityKey)(binding.semantics);
 }
+function operationKey(binding) {
+  const behavior = behaviorOf(binding.semantics);
+  return (behavior.operationKey ?? behavior.identityKey)(binding.semantics);
+}
 function semanticsAgree(a, b) {
   if (a.name !== b.name) {
     return false;
@@ -132,8 +144,12 @@ function bucketsMeet(a, b) {
   const meet = behaviorOf(a.semantics).bucketsMeet;
   return meet !== void 0 && meet(a.semantics, b.semantics);
 }
-function bucketRank(binding) {
-  return behaviorOf(binding.semantics).bucketRank?.(binding.semantics) ?? [];
+function pairRank(provider, consumer) {
+  if (provider.semantics.name !== consumer.semantics.name) {
+    return null;
+  }
+  const rank = behaviorOf(provider.semantics).pairRank;
+  return rank === void 0 ? [] : rank(provider.semantics, consumer.semantics);
 }
 function boundaryLabel(binding) {
   const behavior = behaviorOf(binding.semantics);
@@ -608,7 +624,9 @@ function restBinding(opts) {
       name: "rest",
       method: method === null ? null : method.toUpperCase(),
       path: namedOrNull(opts.path, "rest path"),
-      ...opts.declaredResponses !== void 0 ? { declaredResponses: opts.declaredResponses } : {}
+      ...opts.declaredResponses !== void 0 ? { declaredResponses: opts.declaredResponses } : {},
+      ...opts.host !== void 0 && opts.host !== "" ? { host: opts.host } : {},
+      ...opts.optionalFormat === true ? { optionalFormat: true } : {}
     },
     recognition: opts.recognition
   };
@@ -766,7 +784,6 @@ export {
   boundaryKey,
   boundaryLabel,
   boundaryNameString,
-  bucketRank,
   bucketsMeet,
   busIdentityKey,
   busesAgree,
@@ -790,6 +807,7 @@ export {
   groundBinding,
   groundedPairingKey,
   hasNameHole,
+  hostCanBeOwn,
   ioBinding,
   ioIdentityKey,
   isGraphqlOperationBinding,
@@ -810,7 +828,9 @@ export {
   namesNothing,
   normalizePath,
   normalizeRuleBoundary,
+  operationKey,
   packageExportBinding,
+  pairRank,
   pairingKey,
   parseBoundaryName,
   parseChannel,
@@ -847,5 +867,6 @@ export {
   validateRule,
   withDefinitionsInlined,
   withRewrittenPaths,
-  withinScope
+  withinScope,
+  withoutOwnHost
 };

package/dist/{schemas-CghZNwSE.d.cts → schemas-lfg8kvak.d.cts}

@@ -110,6 +110,8 @@ declare const SemanticsSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     method: z.ZodNullable<z.ZodString>;
     path: z.ZodNullable<z.ZodString>;
     declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+    host: z.ZodOptional<z.ZodString>;
+    optionalFormat: z.ZodOptional<z.ZodBoolean>;
 }, z.core.$strip>, z.ZodObject<{
     name: z.ZodLiteral<"function-call">;
     module: z.ZodOptional<z.ZodString>;
@@ -187,6 +189,8 @@ declare const RestSemanticsSchema: z.ZodObject<{
     method: z.ZodNullable<z.ZodString>;
     path: z.ZodNullable<z.ZodString>;
     declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+    host: z.ZodOptional<z.ZodString>;
+    optionalFormat: z.ZodOptional<z.ZodBoolean>;
 }, z.core.$strip>;
 type RestSemantics = z.infer<typeof RestSemanticsSchema>;
 /**
@@ -369,6 +373,8 @@ declare const BoundaryBindingSchema: z.ZodObject<{
         method: z.ZodNullable<z.ZodString>;
         path: z.ZodNullable<z.ZodString>;
         declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+        host: z.ZodOptional<z.ZodString>;
+        optionalFormat: z.ZodOptional<z.ZodBoolean>;
     }, z.core.$strip>, z.ZodObject<{
         name: z.ZodLiteral<"function-call">;
         module: z.ZodOptional<z.ZodString>;

package/dist/{schemas-CghZNwSE.d.ts → schemas-lfg8kvak.d.ts}

@@ -110,6 +110,8 @@ declare const SemanticsSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     method: z.ZodNullable<z.ZodString>;
     path: z.ZodNullable<z.ZodString>;
     declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+    host: z.ZodOptional<z.ZodString>;
+    optionalFormat: z.ZodOptional<z.ZodBoolean>;
 }, z.core.$strip>, z.ZodObject<{
     name: z.ZodLiteral<"function-call">;
     module: z.ZodOptional<z.ZodString>;
@@ -187,6 +189,8 @@ declare const RestSemanticsSchema: z.ZodObject<{
     method: z.ZodNullable<z.ZodString>;
     path: z.ZodNullable<z.ZodString>;
     declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+    host: z.ZodOptional<z.ZodString>;
+    optionalFormat: z.ZodOptional<z.ZodBoolean>;
 }, z.core.$strip>;
 type RestSemantics = z.infer<typeof RestSemanticsSchema>;
 /**
@@ -369,6 +373,8 @@ declare const BoundaryBindingSchema: z.ZodObject<{
         method: z.ZodNullable<z.ZodString>;
         path: z.ZodNullable<z.ZodString>;
         declaredResponses: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+        host: z.ZodOptional<z.ZodString>;
+        optionalFormat: z.ZodOptional<z.ZodBoolean>;
     }, z.core.$strip>, z.ZodObject<{
         name: z.ZodLiteral<"function-call">;
         module: z.ZodOptional<z.ZodString>;