@suss/extractor 0.5.10 → 0.6.0

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;
     };
@@ -1312,17 +1320,20 @@ interface PatternPack {
     }>;
     /**
      * Per-property-access recognizers, the counterpart to
-     * `invocationRecognizers`, firing on `PropertyAccessExpression`
-     * nodes rather than `CallExpression` nodes. Use these for patterns
-     * that read a value through property access without invoking it:
-     * `process.env.X` env-var reads, `Date.now()`-style time reads
-     * (which is actually a call, see invocationRecognizers), bare
-     * `module.constant` reads, etc.
+     * `invocationRecognizers`. Use these for patterns that read a value
+     * through property access without invoking it: `process.env.X`
+     * env-var reads, `Date.now()`-style time reads (which is actually a
+     * call, see invocationRecognizers), bare `module.constant` reads.
+     *
+     * A recognizer here is handed a property access, a call, or a tagged
+     * template, and guards its own shapes. The tagged template is there
+     * for a library that takes its whole argument as one, the way
+     * `prisma.$queryRaw` and `gql` do.
      *
      * The scope rules are the same as for invocationRecognizers: it fires
-     * on every PropertyAccessExpression in the function body and skips
-     * nested function bodies. The emission contract is the same, so effects
-     * on the enclosing default-branch transition.
+     * on every such node in the function body and skips nested function
+     * bodies. The emission contract is the same, so effects land on the
+     * enclosing default-branch transition.
      *
      * The arguments are opaque here and narrowed by the adapter, for the
      * same reason as in invocationRecognizers.
@@ -1506,6 +1517,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
@@ -1897,4 +1915,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;
     };
@@ -1312,17 +1320,20 @@ interface PatternPack {
     }>;
     /**
      * Per-property-access recognizers, the counterpart to
-     * `invocationRecognizers`, firing on `PropertyAccessExpression`
-     * nodes rather than `CallExpression` nodes. Use these for patterns
-     * that read a value through property access without invoking it:
-     * `process.env.X` env-var reads, `Date.now()`-style time reads
-     * (which is actually a call, see invocationRecognizers), bare
-     * `module.constant` reads, etc.
+     * `invocationRecognizers`. Use these for patterns that read a value
+     * through property access without invoking it: `process.env.X`
+     * env-var reads, `Date.now()`-style time reads (which is actually a
+     * call, see invocationRecognizers), bare `module.constant` reads.
+     *
+     * A recognizer here is handed a property access, a call, or a tagged
+     * template, and guards its own shapes. The tagged template is there
+     * for a library that takes its whole argument as one, the way
+     * `prisma.$queryRaw` and `gql` do.
      *
      * The scope rules are the same as for invocationRecognizers: it fires
-     * on every PropertyAccessExpression in the function body and skips
-     * nested function bodies. The emission contract is the same, so effects
-     * on the enclosing default-branch transition.
+     * on every such node in the function body and skips nested function
+     * bodies. The emission contract is the same, so effects land on the
+     * enclosing default-branch transition.
      *
      * The arguments are opaque here and narrowed by the adapter, for the
      * same reason as in invocationRecognizers.
@@ -1506,6 +1517,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
@@ -1897,4 +1915,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.10",
+  "version": "0.6.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.5.10"
+    "@suss/behavioral-ir": "0.6.0"
   },
   "devDependencies": {
     "tsup": "*",