@suss/extractor 0.5.9 → 0.5.11

package/dist/index.cjs

@@ -41,6 +41,7 @@ __export(index_exports, {
   sharedGatingConditions: () => sharedGatingConditions,
   terminalToOutput: () => terminalToOutput,
   unreadableReading: () => unreadableReading,
+  unwrapJsonStringify: () => unwrapJsonStringify,
   valueToReadFurtherFrom: () => valueToReadFurtherFrom,
   writtenReading: () => writtenReading
 });
@@ -153,6 +154,17 @@ function httpRouteDiscovery(opts) {
     requiresImport: [opts.importModule]
   }));
 }
+function unwrapJsonStringify(body) {
+  if (body === null || typeof body !== "object") {
+    return body;
+  }
+  const candidate = body;
+  if (candidate.kind !== "call" || candidate.callee !== "JSON.stringify") {
+    return body;
+  }
+  const inner = candidate.args?.[0];
+  return inner ?? body;
+}
 
 // src/paths/enumeratePaths.ts
 var MAX_PATHS = 256;
@@ -1070,6 +1082,7 @@ function paramToInput(param) {
   sharedGatingConditions,
   terminalToOutput,
   unreadableReading,
+  unwrapJsonStringify,
   valueToReadFurtherFrom,
   writtenReading
 });

package/dist/index.d.cts

@@ -942,6 +942,14 @@ interface ContractPattern {
         /** The property on the contract object with the responses map on it */
         property: string;
     };
+    /**
+     * The properties an endpoint states its HTTP method and path under.
+     * Both ts-rest and zod-openapi happen to spell them `method` and
+     * `path`, but they are the library's words, so the pack says them
+     * and the adapter reads whatever it is told.
+     */
+    methodProperty: string;
+    pathProperty: string;
     paramsExtraction?: {
         property: string;
     };
@@ -1276,6 +1284,40 @@ interface PatternPack {
      * `"Sentry.wrapHandler"`.
      */
     transparentWrappers?: TransparentWrapper[];
+    /**
+     * How this library's client object is constructed, so an operation
+     * summary can say which endpoint its calls go to. Each entry is a
+     * constructor or factory imported from `importModule`, with
+     * `uriProperty` the option key whose value is the endpoint. The
+     * adapter reads every construction in the project and stamps the
+     * client on each operation summary when exactly one distinct client
+     * exists; two or more distinct clients abstain, since a hook call
+     * does not say which one it goes through.
+     */
+    graphqlClients?: Array<{
+        importModule: string;
+        importName: string;
+        uriProperty: string;
+    }>;
+    /**
+     * Which service a client talks to, keyed by the endpoint the
+     * construction was read with: the uri literal, or the written
+     * expression when the value is computed. The value is the provider
+     * workspace name. This is deployment knowledge, so it comes from the
+     * pack's own per-project config rather than from the library.
+     */
+    graphqlClientBindings?: Record<string, string>;
+    /**
+     * Which service the operations in a set of files talk to, for a
+     * project whose one frontend uses two clients. A hook call does not
+     * say which client it goes through, so when the sole-client rule
+     * cannot decide, these globs do: an operation whose file matches
+     * gets the entry's workspace. First matching entry wins.
+     */
+    graphqlOperationScopes?: Array<{
+        files: string[];
+        workspace: string;
+    }>;
     /**
      * Per-property-access recognizers, the counterpart to
      * `invocationRecognizers`, firing on `PropertyAccessExpression`
@@ -1387,7 +1429,8 @@ interface DiscoveredCustomUnit {
      */
     channelInfo?: {
         messageBus: MessageBusSemantics["messageBus"];
-        channel: string;
+        /** Null when the pack knows the wire but not the channel on it. */
+        channel: string | null;
     };
     /** The thing that gets deployed and runs this unit, when known. */
     deployableUnit?: DeployableUnit;
@@ -1471,6 +1514,13 @@ declare function httpRouteDiscovery(opts: {
      */
     mount?: DiscoveryPattern["mount"];
 }): DiscoveryPattern[];
+/**
+ * The payload behind a `JSON.stringify(...)` call, or the argument
+ * unchanged when it is anything else. A producer serializes its message
+ * before sending it, and the shape worth comparing across the boundary
+ * is what went in, not the string that came out.
+ */
+declare function unwrapJsonStringify(body: EffectArg | null): EffectArg | null;
 
 /**
  * The path engine, written against `StructuredStatement` rather than any one
@@ -1862,4 +1912,4 @@ declare function terminalToOutput(terminal: RawTerminal): Output;
 declare function effectToIR(effect: RawEffect): Effect;
 declare function paramToInput(param: RawParameter): Input;
 
-export { type AccessRecognizer, type BindingExtraction, type BodyContent, type CaseGroup, type ChosenReading, type ConditionHandle, type ConditionInfo, type ConditionSource, type ContractPattern, type DefaultedReading, type DiscoveredCustomUnit, type DiscoveredSubUnit, type DiscoveredSubUnitParent, type DiscoveryMatch, type DiscoveryPattern, type EffectArg, type ExitKind, type ExtractorOptions, IdMap, IdSet, type Identified, type InputMappingPattern, type InvocationRecognizer, type LanguageAdapter, PathBudgetExceeded, type PatternPack, type RawBranch, type RawCodeStructure, type RawCondition, type RawDeclaredContract, type RawDependencyCall, type RawEffect, type RawParameter, type RawTerminal, type Reading, type ResponsePropertyMapping, type ResponsePropertyMeaning, type SourceRange, type StatementBlock, type StructuredPathConditionsInput, type StructuredPathConditionsResult, type StructuredStatement, type TerminalExtraction, type TerminalMatch, type TerminalPattern, type TransparentWrapper, UnmodeledFlow, absentReading, ambiguousReading, andThenReading, assembleSummary, assessConfidence, detectGaps, effectToIR, enumerateOrDegrade, enumerateStructuredPaths, firstWrittenReading, httpRouteDiscovery, makeTransitionId, mapReading, paramToInput, sharedGatingConditions, terminalToOutput, unreadableReading, valueToReadFurtherFrom, writtenReading };
+export { type AccessRecognizer, type BindingExtraction, type BodyContent, type CaseGroup, type ChosenReading, type ConditionHandle, type ConditionInfo, type ConditionSource, type ContractPattern, type DefaultedReading, type DiscoveredCustomUnit, type DiscoveredSubUnit, type DiscoveredSubUnitParent, type DiscoveryMatch, type DiscoveryPattern, type EffectArg, type ExitKind, type ExtractorOptions, IdMap, IdSet, type Identified, type InputMappingPattern, type InvocationRecognizer, type LanguageAdapter, PathBudgetExceeded, type PatternPack, type RawBranch, type RawCodeStructure, type RawCondition, type RawDeclaredContract, type RawDependencyCall, type RawEffect, type RawParameter, type RawTerminal, type Reading, type ResponsePropertyMapping, type ResponsePropertyMeaning, type SourceRange, type StatementBlock, type StructuredPathConditionsInput, type StructuredPathConditionsResult, type StructuredStatement, type TerminalExtraction, type TerminalMatch, type TerminalPattern, type TransparentWrapper, UnmodeledFlow, absentReading, ambiguousReading, andThenReading, assembleSummary, assessConfidence, detectGaps, effectToIR, enumerateOrDegrade, enumerateStructuredPaths, firstWrittenReading, httpRouteDiscovery, makeTransitionId, mapReading, paramToInput, sharedGatingConditions, terminalToOutput, unreadableReading, unwrapJsonStringify, valueToReadFurtherFrom, writtenReading };

package/dist/index.d.ts

@@ -942,6 +942,14 @@ interface ContractPattern {
         /** The property on the contract object with the responses map on it */
         property: string;
     };
+    /**
+     * The properties an endpoint states its HTTP method and path under.
+     * Both ts-rest and zod-openapi happen to spell them `method` and
+     * `path`, but they are the library's words, so the pack says them
+     * and the adapter reads whatever it is told.
+     */
+    methodProperty: string;
+    pathProperty: string;
     paramsExtraction?: {
         property: string;
     };
@@ -1276,6 +1284,40 @@ interface PatternPack {
      * `"Sentry.wrapHandler"`.
      */
     transparentWrappers?: TransparentWrapper[];
+    /**
+     * How this library's client object is constructed, so an operation
+     * summary can say which endpoint its calls go to. Each entry is a
+     * constructor or factory imported from `importModule`, with
+     * `uriProperty` the option key whose value is the endpoint. The
+     * adapter reads every construction in the project and stamps the
+     * client on each operation summary when exactly one distinct client
+     * exists; two or more distinct clients abstain, since a hook call
+     * does not say which one it goes through.
+     */
+    graphqlClients?: Array<{
+        importModule: string;
+        importName: string;
+        uriProperty: string;
+    }>;
+    /**
+     * Which service a client talks to, keyed by the endpoint the
+     * construction was read with: the uri literal, or the written
+     * expression when the value is computed. The value is the provider
+     * workspace name. This is deployment knowledge, so it comes from the
+     * pack's own per-project config rather than from the library.
+     */
+    graphqlClientBindings?: Record<string, string>;
+    /**
+     * Which service the operations in a set of files talk to, for a
+     * project whose one frontend uses two clients. A hook call does not
+     * say which client it goes through, so when the sole-client rule
+     * cannot decide, these globs do: an operation whose file matches
+     * gets the entry's workspace. First matching entry wins.
+     */
+    graphqlOperationScopes?: Array<{
+        files: string[];
+        workspace: string;
+    }>;
     /**
      * Per-property-access recognizers, the counterpart to
      * `invocationRecognizers`, firing on `PropertyAccessExpression`
@@ -1387,7 +1429,8 @@ interface DiscoveredCustomUnit {
      */
     channelInfo?: {
         messageBus: MessageBusSemantics["messageBus"];
-        channel: string;
+        /** Null when the pack knows the wire but not the channel on it. */
+        channel: string | null;
     };
     /** The thing that gets deployed and runs this unit, when known. */
     deployableUnit?: DeployableUnit;
@@ -1471,6 +1514,13 @@ declare function httpRouteDiscovery(opts: {
      */
     mount?: DiscoveryPattern["mount"];
 }): DiscoveryPattern[];
+/**
+ * The payload behind a `JSON.stringify(...)` call, or the argument
+ * unchanged when it is anything else. A producer serializes its message
+ * before sending it, and the shape worth comparing across the boundary
+ * is what went in, not the string that came out.
+ */
+declare function unwrapJsonStringify(body: EffectArg | null): EffectArg | null;
 
 /**
  * The path engine, written against `StructuredStatement` rather than any one
@@ -1862,4 +1912,4 @@ declare function terminalToOutput(terminal: RawTerminal): Output;
 declare function effectToIR(effect: RawEffect): Effect;
 declare function paramToInput(param: RawParameter): Input;
 
-export { type AccessRecognizer, type BindingExtraction, type BodyContent, type CaseGroup, type ChosenReading, type ConditionHandle, type ConditionInfo, type ConditionSource, type ContractPattern, type DefaultedReading, type DiscoveredCustomUnit, type DiscoveredSubUnit, type DiscoveredSubUnitParent, type DiscoveryMatch, type DiscoveryPattern, type EffectArg, type ExitKind, type ExtractorOptions, IdMap, IdSet, type Identified, type InputMappingPattern, type InvocationRecognizer, type LanguageAdapter, PathBudgetExceeded, type PatternPack, type RawBranch, type RawCodeStructure, type RawCondition, type RawDeclaredContract, type RawDependencyCall, type RawEffect, type RawParameter, type RawTerminal, type Reading, type ResponsePropertyMapping, type ResponsePropertyMeaning, type SourceRange, type StatementBlock, type StructuredPathConditionsInput, type StructuredPathConditionsResult, type StructuredStatement, type TerminalExtraction, type TerminalMatch, type TerminalPattern, type TransparentWrapper, UnmodeledFlow, absentReading, ambiguousReading, andThenReading, assembleSummary, assessConfidence, detectGaps, effectToIR, enumerateOrDegrade, enumerateStructuredPaths, firstWrittenReading, httpRouteDiscovery, makeTransitionId, mapReading, paramToInput, sharedGatingConditions, terminalToOutput, unreadableReading, valueToReadFurtherFrom, writtenReading };
+export { type AccessRecognizer, type BindingExtraction, type BodyContent, type CaseGroup, type ChosenReading, type ConditionHandle, type ConditionInfo, type ConditionSource, type ContractPattern, type DefaultedReading, type DiscoveredCustomUnit, type DiscoveredSubUnit, type DiscoveredSubUnitParent, type DiscoveryMatch, type DiscoveryPattern, type EffectArg, type ExitKind, type ExtractorOptions, IdMap, IdSet, type Identified, type InputMappingPattern, type InvocationRecognizer, type LanguageAdapter, PathBudgetExceeded, type PatternPack, type RawBranch, type RawCodeStructure, type RawCondition, type RawDeclaredContract, type RawDependencyCall, type RawEffect, type RawParameter, type RawTerminal, type Reading, type ResponsePropertyMapping, type ResponsePropertyMeaning, type SourceRange, type StatementBlock, type StructuredPathConditionsInput, type StructuredPathConditionsResult, type StructuredStatement, type TerminalExtraction, type TerminalMatch, type TerminalPattern, type TransparentWrapper, UnmodeledFlow, absentReading, ambiguousReading, andThenReading, assembleSummary, assessConfidence, detectGaps, effectToIR, enumerateOrDegrade, enumerateStructuredPaths, firstWrittenReading, httpRouteDiscovery, makeTransitionId, mapReading, paramToInput, sharedGatingConditions, terminalToOutput, unreadableReading, unwrapJsonStringify, valueToReadFurtherFrom, writtenReading };

package/dist/index.js

@@ -111,6 +111,17 @@ function httpRouteDiscovery(opts) {
     requiresImport: [opts.importModule]
   }));
 }
+function unwrapJsonStringify(body) {
+  if (body === null || typeof body !== "object") {
+    return body;
+  }
+  const candidate = body;
+  if (candidate.kind !== "call" || candidate.callee !== "JSON.stringify") {
+    return body;
+  }
+  const inner = candidate.args?.[0];
+  return inner ?? body;
+}
 
 // src/paths/enumeratePaths.ts
 var MAX_PATHS = 256;
@@ -1027,6 +1038,7 @@ export {
   sharedGatingConditions,
   terminalToOutput,
   unreadableReading,
+  unwrapJsonStringify,
   valueToReadFurtherFrom,
   writtenReading
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/extractor",
-  "version": "0.5.9",
+  "version": "0.5.11",
   "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.5.9"
+    "@suss/behavioral-ir": "0.5.11"
   },
   "devDependencies": {
     "tsup": "*",