@suss/extractor 0.15.0 → 0.17.0

package/dist/index.d.cts

@@ -187,8 +187,18 @@ type DiscoveryMatch = {
      * `development` conditions are not handled yet.
      */
     type: "packageExports";
-    /** Absolute path to the package's `package.json`. */
-    packageJsonPath: string;
+    /**
+     * Absolute path to the package's `package.json`. Left out when
+     * `workspaces` is set, since the workspace decides the list.
+     */
+    packageJsonPath?: string;
+    /**
+     * One pattern for every package the workspace declares. The pack
+     * cannot list the packages, because they belong to the project
+     * rather than to any library, so the adapter reads the workspace
+     * manifest and applies this pattern once per package it finds.
+     */
+    workspaces?: true;
     /**
      * Restrict to these `exports` keys (without the leading `./`). The
      * root export is keyed `"."`. Leave it unset for every sub-path that
@@ -450,7 +460,14 @@ type DiscoveryMatch = {
      * than the original, because full symbol resolution is not built yet.
      */
     type: "packageImport";
-    packages: string[];
+    /** Left out when `workspaces` is set. */
+    packages?: string[];
+    /**
+     * Track imports of every package the workspace declares. A file
+     * inside one workspace package importing another is the consumer
+     * side of the package-export boundary, whichever two they are.
+     */
+    workspaces?: true;
 };
 type BindingExtraction = {
     method: {
@@ -531,11 +548,48 @@ type BindingExtraction = {
         type: "fromClientMethod";
     };
 };
+/**
+ * Where a declared channel's spelling comes from.
+ *
+ * `decoratorArgument` reads the argument off the same decorator the
+ * match selected the handler by, so `@EventPattern("order.placed")`
+ * gives "order.placed". `literal` is for a wire whose channel the
+ * library fixes. `unstated` says the wire is known and the channel is
+ * not, which pairs the way a null channel always has.
+ */
+type ChannelSource = {
+    from: "decoratorArgument";
+    position: number;
+} | {
+    from: "literal";
+    value: string;
+} | {
+    from: "unstated";
+};
+/**
+ * A binding the pattern states outright, for a boundary the match
+ * cannot read from the source.
+ *
+ * `bindingExtraction` speaks REST and nothing else, so a declarative
+ * pack whose boundary is a queue or a topic had nowhere to say so and
+ * was pushed into a callback, which pack health then reports as an
+ * ast-link. This is the same vocabulary `DiscoveredCustomUnit` already
+ * has, declared instead of returned. Message bus only for now; the
+ * design note in the proposals directory says what comes next and why
+ * the rest stays put.
+ */
+type DeclaredBinding = {
+    semantics: "message-bus";
+    messageBus: MessageBusSemantics["messageBus"];
+    channel: ChannelSource;
+};
 interface DiscoveryPattern {
     /** The kind of code unit this discovers: "handler", "loader", "action", "component", etc. */
     kind: string;
     match: DiscoveryMatch;
     bindingExtraction?: BindingExtraction;
+    /** A binding the pattern states outright. See `DeclaredBinding`. */
+    binding?: DeclaredBinding;
     /**
      * How the routable this pattern discovers (Express's `Router()`,
      * Hono's `new Hono()`, and similar) can itself be mounted onto
@@ -2262,4 +2316,4 @@ declare function terminalToOutput(terminal: RawTerminal): Output;
 declare function effectToIR(effect: RawEffect): Effect;
 declare function paramToInput(param: RawParameter): Input;
 
-export { type AccessRecognizer, type AstCapableOps, type BindingExtraction, type BodyContent, type CallOps, type CaseGroup, type ChosenReading, type ConditionHandle, type ConditionInfo, type ConditionSource, type ConstructedFrom, type ContractPattern, type DeclaredBy, type DeclaredMatch, type DefaultedReading, type DiscoveredCustomUnit, type DiscoveredSubUnit, type DiscoveredSubUnitParent, type DiscoveryMatch, type DiscoveryPattern, type EffectArg, type ExitKind, type ExtractorOptions, type FailureDelivery, IdMap, IdSet, type Identified, type InputMappingPattern, type InvocationRecognizer, type LanguageAdapter, type LoweredStatementParts, type OpsCarrier, type PackDeclarations, PathBudgetExceeded, type PatternPack, type RawBranch, type RawCodeStructure, type RawCondition, type RawDeclaredContract, type RawDependencyCall, type RawEffect, type RawParameter, type RawTerminal, type Reading, type ReceiverOrigin, type RegistrationHelper, type ResponsePropertyMapping, type ResponsePropertyMeaning, type SourceRange, type StatementBlock, type StructuredPathConditionsInput, type StructuredPathConditionsResult, type StructuredStatement, type TerminalExtraction, type TerminalMatch, type TerminalPattern, type TransparentWrapper, UnmodeledFlow, type UnsettledName, type ValueEntry, type ValueOps, absentReading, ambiguousReading, andThenReading, assembleSummary, assessConfidence, detectGaps, effectToIR, enumerateOrDegrade, enumerateStructuredPaths, firstWrittenReading, httpRouteDiscovery, makeTransitionId, mapReading, paramToInput, registrationHelperDiscovery, sharedGatingConditions, terminalToOutput, unreadableReading, unwrapJsonStringify, valueToReadFurtherFrom, writtenReading };
+export { type AccessRecognizer, type AstCapableOps, type BindingExtraction, type BodyContent, type CallOps, type CaseGroup, type ChannelSource, type ChosenReading, type ConditionHandle, type ConditionInfo, type ConditionSource, type ConstructedFrom, type ContractPattern, type DeclaredBinding, type DeclaredBy, type DeclaredMatch, type DefaultedReading, type DiscoveredCustomUnit, type DiscoveredSubUnit, type DiscoveredSubUnitParent, type DiscoveryMatch, type DiscoveryPattern, type EffectArg, type ExitKind, type ExtractorOptions, type FailureDelivery, IdMap, IdSet, type Identified, type InputMappingPattern, type InvocationRecognizer, type LanguageAdapter, type LoweredStatementParts, type OpsCarrier, type PackDeclarations, PathBudgetExceeded, type PatternPack, type RawBranch, type RawCodeStructure, type RawCondition, type RawDeclaredContract, type RawDependencyCall, type RawEffect, type RawParameter, type RawTerminal, type Reading, type ReceiverOrigin, type RegistrationHelper, type ResponsePropertyMapping, type ResponsePropertyMeaning, type SourceRange, type StatementBlock, type StructuredPathConditionsInput, type StructuredPathConditionsResult, type StructuredStatement, type TerminalExtraction, type TerminalMatch, type TerminalPattern, type TransparentWrapper, UnmodeledFlow, type UnsettledName, type ValueEntry, type ValueOps, absentReading, ambiguousReading, andThenReading, assembleSummary, assessConfidence, detectGaps, effectToIR, enumerateOrDegrade, enumerateStructuredPaths, firstWrittenReading, httpRouteDiscovery, makeTransitionId, mapReading, paramToInput, registrationHelperDiscovery, sharedGatingConditions, terminalToOutput, unreadableReading, unwrapJsonStringify, valueToReadFurtherFrom, writtenReading };

package/dist/index.d.ts

@@ -187,8 +187,18 @@ type DiscoveryMatch = {
      * `development` conditions are not handled yet.
      */
     type: "packageExports";
-    /** Absolute path to the package's `package.json`. */
-    packageJsonPath: string;
+    /**
+     * Absolute path to the package's `package.json`. Left out when
+     * `workspaces` is set, since the workspace decides the list.
+     */
+    packageJsonPath?: string;
+    /**
+     * One pattern for every package the workspace declares. The pack
+     * cannot list the packages, because they belong to the project
+     * rather than to any library, so the adapter reads the workspace
+     * manifest and applies this pattern once per package it finds.
+     */
+    workspaces?: true;
     /**
      * Restrict to these `exports` keys (without the leading `./`). The
      * root export is keyed `"."`. Leave it unset for every sub-path that
@@ -450,7 +460,14 @@ type DiscoveryMatch = {
      * than the original, because full symbol resolution is not built yet.
      */
     type: "packageImport";
-    packages: string[];
+    /** Left out when `workspaces` is set. */
+    packages?: string[];
+    /**
+     * Track imports of every package the workspace declares. A file
+     * inside one workspace package importing another is the consumer
+     * side of the package-export boundary, whichever two they are.
+     */
+    workspaces?: true;
 };
 type BindingExtraction = {
     method: {
@@ -531,11 +548,48 @@ type BindingExtraction = {
         type: "fromClientMethod";
     };
 };
+/**
+ * Where a declared channel's spelling comes from.
+ *
+ * `decoratorArgument` reads the argument off the same decorator the
+ * match selected the handler by, so `@EventPattern("order.placed")`
+ * gives "order.placed". `literal` is for a wire whose channel the
+ * library fixes. `unstated` says the wire is known and the channel is
+ * not, which pairs the way a null channel always has.
+ */
+type ChannelSource = {
+    from: "decoratorArgument";
+    position: number;
+} | {
+    from: "literal";
+    value: string;
+} | {
+    from: "unstated";
+};
+/**
+ * A binding the pattern states outright, for a boundary the match
+ * cannot read from the source.
+ *
+ * `bindingExtraction` speaks REST and nothing else, so a declarative
+ * pack whose boundary is a queue or a topic had nowhere to say so and
+ * was pushed into a callback, which pack health then reports as an
+ * ast-link. This is the same vocabulary `DiscoveredCustomUnit` already
+ * has, declared instead of returned. Message bus only for now; the
+ * design note in the proposals directory says what comes next and why
+ * the rest stays put.
+ */
+type DeclaredBinding = {
+    semantics: "message-bus";
+    messageBus: MessageBusSemantics["messageBus"];
+    channel: ChannelSource;
+};
 interface DiscoveryPattern {
     /** The kind of code unit this discovers: "handler", "loader", "action", "component", etc. */
     kind: string;
     match: DiscoveryMatch;
     bindingExtraction?: BindingExtraction;
+    /** A binding the pattern states outright. See `DeclaredBinding`. */
+    binding?: DeclaredBinding;
     /**
      * How the routable this pattern discovers (Express's `Router()`,
      * Hono's `new Hono()`, and similar) can itself be mounted onto
@@ -2262,4 +2316,4 @@ declare function terminalToOutput(terminal: RawTerminal): Output;
 declare function effectToIR(effect: RawEffect): Effect;
 declare function paramToInput(param: RawParameter): Input;
 
-export { type AccessRecognizer, type AstCapableOps, type BindingExtraction, type BodyContent, type CallOps, type CaseGroup, type ChosenReading, type ConditionHandle, type ConditionInfo, type ConditionSource, type ConstructedFrom, type ContractPattern, type DeclaredBy, type DeclaredMatch, type DefaultedReading, type DiscoveredCustomUnit, type DiscoveredSubUnit, type DiscoveredSubUnitParent, type DiscoveryMatch, type DiscoveryPattern, type EffectArg, type ExitKind, type ExtractorOptions, type FailureDelivery, IdMap, IdSet, type Identified, type InputMappingPattern, type InvocationRecognizer, type LanguageAdapter, type LoweredStatementParts, type OpsCarrier, type PackDeclarations, PathBudgetExceeded, type PatternPack, type RawBranch, type RawCodeStructure, type RawCondition, type RawDeclaredContract, type RawDependencyCall, type RawEffect, type RawParameter, type RawTerminal, type Reading, type ReceiverOrigin, type RegistrationHelper, type ResponsePropertyMapping, type ResponsePropertyMeaning, type SourceRange, type StatementBlock, type StructuredPathConditionsInput, type StructuredPathConditionsResult, type StructuredStatement, type TerminalExtraction, type TerminalMatch, type TerminalPattern, type TransparentWrapper, UnmodeledFlow, type UnsettledName, type ValueEntry, type ValueOps, absentReading, ambiguousReading, andThenReading, assembleSummary, assessConfidence, detectGaps, effectToIR, enumerateOrDegrade, enumerateStructuredPaths, firstWrittenReading, httpRouteDiscovery, makeTransitionId, mapReading, paramToInput, registrationHelperDiscovery, sharedGatingConditions, terminalToOutput, unreadableReading, unwrapJsonStringify, valueToReadFurtherFrom, writtenReading };
+export { type AccessRecognizer, type AstCapableOps, type BindingExtraction, type BodyContent, type CallOps, type CaseGroup, type ChannelSource, type ChosenReading, type ConditionHandle, type ConditionInfo, type ConditionSource, type ConstructedFrom, type ContractPattern, type DeclaredBinding, type DeclaredBy, type DeclaredMatch, type DefaultedReading, type DiscoveredCustomUnit, type DiscoveredSubUnit, type DiscoveredSubUnitParent, type DiscoveryMatch, type DiscoveryPattern, type EffectArg, type ExitKind, type ExtractorOptions, type FailureDelivery, IdMap, IdSet, type Identified, type InputMappingPattern, type InvocationRecognizer, type LanguageAdapter, type LoweredStatementParts, type OpsCarrier, type PackDeclarations, PathBudgetExceeded, type PatternPack, type RawBranch, type RawCodeStructure, type RawCondition, type RawDeclaredContract, type RawDependencyCall, type RawEffect, type RawParameter, type RawTerminal, type Reading, type ReceiverOrigin, type RegistrationHelper, type ResponsePropertyMapping, type ResponsePropertyMeaning, type SourceRange, type StatementBlock, type StructuredPathConditionsInput, type StructuredPathConditionsResult, type StructuredStatement, type TerminalExtraction, type TerminalMatch, type TerminalPattern, type TransparentWrapper, UnmodeledFlow, type UnsettledName, type ValueEntry, type ValueOps, absentReading, ambiguousReading, andThenReading, assembleSummary, assessConfidence, detectGaps, effectToIR, enumerateOrDegrade, enumerateStructuredPaths, firstWrittenReading, httpRouteDiscovery, makeTransitionId, mapReading, paramToInput, registrationHelperDiscovery, sharedGatingConditions, terminalToOutput, unreadableReading, unwrapJsonStringify, valueToReadFurtherFrom, writtenReading };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/extractor",
-  "version": "0.15.0",
+  "version": "0.17.0",
   "type": "module",
   "description": "Framework-agnostic extraction pipeline that turns raw extractions into suss behavioral summaries.",
   "keywords": [
@@ -45,7 +45,7 @@
     "typecheck": "tsc --noEmit"
   },
   "dependencies": {
-    "@suss/behavioral-ir": "0.15.0"
+    "@suss/behavioral-ir": "0.17.0"
   },
   "devDependencies": {
     "tsup": "*",