carrick 0.3.109 → 0.3.111

package/sidecar/dist/src/types.d.ts

@@ -2,6 +2,7 @@
  * Type definitions for the sidecar message protocol
  * These types define the JSON messages exchanged between Rust and the Node.js sidecar
  */
+import type { ResponseModes } from './response-modes.js';
 /**
  * The kind of type inference to perform
  */
@@ -496,6 +497,12 @@ export interface SymbolRequest {
      * symbol as-is (the HTTP/socket/consumer default).
      */
     array_depth?: number;
+    /**
+     * carrick#1841: the symbol names what a consumer receives. A symbol that is
+     * a response table keyed by status code (`{ 200: Item }`) then bundles as
+     * its 2xx body, never as the table.
+     */
+    consumer_response?: boolean;
 }
 /**
  * Request for type inference at a specific location
@@ -878,7 +885,10 @@ export interface InferredType {
      * `array_depth: 1`. Lets `resolve_all_types` copy the use-site's array-ness
      * onto an explicit `SymbolRequest` for the same alias, which would otherwise
      * bundle the bare element and erase the array (array-vs-scalar scored
-     * compatible, #306). Omitted when 0 or when there is no anchor symbol.
+     * compatible, #306). Omitted when 0. Reported without an anchor symbol
+     * too (carrick#1967): a list whose element prints structurally is still a
+     * list, and at a handler's send the join copies its depth onto the model's
+     * symbol.
      */
     array_depth?: number;
     /**
@@ -947,6 +957,15 @@ export interface InferredType {
      * Absent when the body is not a raw-text read.
      */
     raw_text_read?: true;
+    /**
+     * carrick#2054, a response joined from two or more success bodies: the
+     * request fields whose values pick among them (`reads`), and, for one
+     * query parameter or body field whose every test the reading follows, the
+     * union each stated value receives (`cases`). `type_string` is unchanged.
+     * Absent when no request read separates the bodies, or when every value
+     * receives the same union.
+     */
+    response_modes?: ResponseModes;
 }
 /**
  * What the source states a body read to be (carrick#1749). The scanner

package/sidecar/dist/src/validators.d.ts

@@ -10,14 +10,17 @@ export declare const SymbolRequestSchema: z.ZodObject<{
     source_file: z.ZodString;
     alias: z.ZodOptional<z.ZodString>;
     array_depth: z.ZodOptional<z.ZodNumber>;
+    consumer_response: z.ZodOptional<z.ZodBoolean>;
 }, "strip", z.ZodTypeAny, {
     symbol_name: string;
     source_file: string;
+    consumer_response?: boolean | undefined;
     alias?: string | undefined;
     array_depth?: number | undefined;
 }, {
     symbol_name: string;
     source_file: string;
+    consumer_response?: boolean | undefined;
     alias?: string | undefined;
     array_depth?: number | undefined;
 }>;
@@ -221,14 +224,17 @@ export declare const BundleRequestSchema: z.ZodObject<{
         source_file: z.ZodString;
         alias: z.ZodOptional<z.ZodString>;
         array_depth: z.ZodOptional<z.ZodNumber>;
+        consumer_response: z.ZodOptional<z.ZodBoolean>;
     }, "strip", z.ZodTypeAny, {
         symbol_name: string;
         source_file: string;
+        consumer_response?: boolean | undefined;
         alias?: string | undefined;
         array_depth?: number | undefined;
     }, {
         symbol_name: string;
         source_file: string;
+        consumer_response?: boolean | undefined;
         alias?: string | undefined;
         array_depth?: number | undefined;
     }>, "many">;
@@ -238,6 +244,7 @@ export declare const BundleRequestSchema: z.ZodObject<{
     symbols: {
         symbol_name: string;
         source_file: string;
+        consumer_response?: boolean | undefined;
         alias?: string | undefined;
         array_depth?: number | undefined;
     }[];
@@ -247,6 +254,7 @@ export declare const BundleRequestSchema: z.ZodObject<{
     symbols: {
         symbol_name: string;
         source_file: string;
+        consumer_response?: boolean | undefined;
         alias?: string | undefined;
         array_depth?: number | undefined;
     }[];
@@ -264,12 +272,14 @@ export declare const CaptureV2RequestSchema: z.ZodObject<{
         source_file: z.ZodString;
         anchor_origin: z.ZodEnum<["llm-symbol", "deterministic-infer", "anchor-backfill", "manifest-placeholder"]>;
         array_depth: z.ZodOptional<z.ZodNumber>;
+        consumer_response: z.ZodOptional<z.ZodBoolean>;
     }, "strip", z.ZodTypeAny, {
         kind: "symbol";
         alias: string;
         symbol_name: string;
         source_file: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
+        consumer_response?: boolean | undefined;
         array_depth?: number | undefined;
     }, {
         kind: "symbol";
@@ -277,6 +287,7 @@ export declare const CaptureV2RequestSchema: z.ZodObject<{
         symbol_name: string;
         source_file: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
+        consumer_response?: boolean | undefined;
         array_depth?: number | undefined;
     }>, z.ZodObject<{
         kind: z.ZodLiteral<"handler_return">;
@@ -384,6 +395,7 @@ export declare const CaptureV2RequestSchema: z.ZodObject<{
         symbol_name: string;
         source_file: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
+        consumer_response?: boolean | undefined;
         array_depth?: number | undefined;
     } | {
         kind: "handler_return";
@@ -429,6 +441,7 @@ export declare const CaptureV2RequestSchema: z.ZodObject<{
         symbol_name: string;
         source_file: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
+        consumer_response?: boolean | undefined;
         array_depth?: number | undefined;
     } | {
         kind: "handler_return";
@@ -937,10 +950,10 @@ export declare const VerifyClientSemanticsRequestSchema: z.ZodObject<{
             url_key?: string | undefined;
         }>]>;
     }, "strip", z.ZodTypeAny, {
+        receiver: string;
         export: string;
         claim_id: string;
         package: string;
-        receiver: string;
         claim: {
             kind: "factory";
             member: string;
@@ -969,10 +982,10 @@ export declare const VerifyClientSemanticsRequestSchema: z.ZodObject<{
             url_key?: string | undefined;
         };
     }, {
+        receiver: string;
         export: string;
         claim_id: string;
         package: string;
-        receiver: string;
         claim: {
             kind: "factory";
             member: string;
@@ -1007,10 +1020,10 @@ export declare const VerifyClientSemanticsRequestSchema: z.ZodObject<{
     action: "verify_client_semantics";
     from_dir: string;
     checks: {
+        receiver: string;
         export: string;
         claim_id: string;
         package: string;
-        receiver: string;
         claim: {
             kind: "factory";
             member: string;
@@ -1045,10 +1058,10 @@ export declare const VerifyClientSemanticsRequestSchema: z.ZodObject<{
     action: "verify_client_semantics";
     from_dir: string;
     checks: {
+        receiver: string;
         export: string;
         claim_id: string;
         package: string;
-        receiver: string;
         claim: {
             kind: "factory";
             member: string;
@@ -1450,10 +1463,10 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
             of?: string | undefined;
         }>]>;
     }, "strict", z.ZodTypeAny, {
+        receiver: string;
         export: string;
         claim_id: string;
         package: string;
-        receiver: string;
         claim: {
             kind: "make";
             member: string | null;
@@ -1547,10 +1560,10 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
         };
         role: "none" | "socket" | "http_client" | "graphql_client" | "broker" | "in_process_bus" | "server_framework";
     }, {
+        receiver: string;
         export: string;
         claim_id: string;
         package: string;
-        receiver: string;
         claim: {
             kind: "make";
             member: string | null;
@@ -1650,10 +1663,10 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
     action: "verify_library_claims";
     from_dir: string;
     checks: {
+        receiver: string;
         export: string;
         claim_id: string;
         package: string;
-        receiver: string;
         claim: {
             kind: "make";
             member: string | null;
@@ -1753,10 +1766,10 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
     action: "verify_library_claims";
     from_dir: string;
     checks: {
+        receiver: string;
         export: string;
         claim_id: string;
         package: string;
-        receiver: string;
         claim: {
             kind: "make";
             member: string | null;
@@ -2035,14 +2048,17 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         source_file: z.ZodString;
         alias: z.ZodOptional<z.ZodString>;
         array_depth: z.ZodOptional<z.ZodNumber>;
+        consumer_response: z.ZodOptional<z.ZodBoolean>;
     }, "strip", z.ZodTypeAny, {
         symbol_name: string;
         source_file: string;
+        consumer_response?: boolean | undefined;
         alias?: string | undefined;
         array_depth?: number | undefined;
     }, {
         symbol_name: string;
         source_file: string;
+        consumer_response?: boolean | undefined;
         alias?: string | undefined;
         array_depth?: number | undefined;
     }>, "many">;
@@ -2052,6 +2068,7 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     symbols: {
         symbol_name: string;
         source_file: string;
+        consumer_response?: boolean | undefined;
         alias?: string | undefined;
         array_depth?: number | undefined;
     }[];
@@ -2061,6 +2078,7 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     symbols: {
         symbol_name: string;
         source_file: string;
+        consumer_response?: boolean | undefined;
         alias?: string | undefined;
         array_depth?: number | undefined;
     }[];
@@ -2077,12 +2095,14 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         source_file: z.ZodString;
         anchor_origin: z.ZodEnum<["llm-symbol", "deterministic-infer", "anchor-backfill", "manifest-placeholder"]>;
         array_depth: z.ZodOptional<z.ZodNumber>;
+        consumer_response: z.ZodOptional<z.ZodBoolean>;
     }, "strip", z.ZodTypeAny, {
         kind: "symbol";
         alias: string;
         symbol_name: string;
         source_file: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
+        consumer_response?: boolean | undefined;
         array_depth?: number | undefined;
     }, {
         kind: "symbol";
@@ -2090,6 +2110,7 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         symbol_name: string;
         source_file: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
+        consumer_response?: boolean | undefined;
         array_depth?: number | undefined;
     }>, z.ZodObject<{
         kind: z.ZodLiteral<"handler_return">;
@@ -2197,6 +2218,7 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         symbol_name: string;
         source_file: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
+        consumer_response?: boolean | undefined;
         array_depth?: number | undefined;
     } | {
         kind: "handler_return";
@@ -2242,6 +2264,7 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         symbol_name: string;
         source_file: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
+        consumer_response?: boolean | undefined;
         array_depth?: number | undefined;
     } | {
         kind: "handler_return";
@@ -2698,10 +2721,10 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
             url_key?: string | undefined;
         }>]>;
     }, "strip", z.ZodTypeAny, {
+        receiver: string;
         export: string;
         claim_id: string;
         package: string;
-        receiver: string;
         claim: {
             kind: "factory";
             member: string;
@@ -2730,10 +2753,10 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
             url_key?: string | undefined;
         };
     }, {
+        receiver: string;
         export: string;
         claim_id: string;
         package: string;
-        receiver: string;
         claim: {
             kind: "factory";
             member: string;
@@ -2768,10 +2791,10 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     action: "verify_client_semantics";
     from_dir: string;
     checks: {
+        receiver: string;
         export: string;
         claim_id: string;
         package: string;
-        receiver: string;
         claim: {
             kind: "factory";
             member: string;
@@ -2806,10 +2829,10 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     action: "verify_client_semantics";
     from_dir: string;
     checks: {
+        receiver: string;
         export: string;
         claim_id: string;
         package: string;
-        receiver: string;
         claim: {
             kind: "factory";
             member: string;
@@ -3210,10 +3233,10 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
             of?: string | undefined;
         }>]>;
     }, "strict", z.ZodTypeAny, {
+        receiver: string;
         export: string;
         claim_id: string;
         package: string;
-        receiver: string;
         claim: {
             kind: "make";
             member: string | null;
@@ -3307,10 +3330,10 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         };
         role: "none" | "socket" | "http_client" | "graphql_client" | "broker" | "in_process_bus" | "server_framework";
     }, {
+        receiver: string;
         export: string;
         claim_id: string;
         package: string;
-        receiver: string;
         claim: {
             kind: "make";
             member: string | null;
@@ -3410,10 +3433,10 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     action: "verify_library_claims";
     from_dir: string;
     checks: {
+        receiver: string;
         export: string;
         claim_id: string;
         package: string;
-        receiver: string;
         claim: {
             kind: "make";
             member: string | null;
@@ -3513,10 +3536,10 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     action: "verify_library_claims";
     from_dir: string;
     checks: {
+        receiver: string;
         export: string;
         claim_id: string;
         package: string;
-        receiver: string;
         claim: {
             kind: "make";
             member: string | null;

package/sidecar/dist/src/validators.js

@@ -75,6 +75,9 @@ export const SymbolRequestSchema = z.object({
     // `symbol_failures` entry rather than sinking every other symbol in the
     // batch.
     array_depth: z.number().int().nonnegative().optional(),
+    // carrick#1841: the symbol names a consumer's response (a status-keyed
+    // response table bundles as its 2xx body).
+    consumer_response: z.boolean().optional(),
 });
 // ============================================================================
 // Infer Request Item Schema
@@ -159,6 +162,7 @@ const CaptureAnchorRequestSchema = z.discriminatedUnion('kind', [
         source_file: z.string().min(1),
         anchor_origin: AnchorOriginSchema,
         array_depth: z.number().int().nonnegative().optional(),
+        consumer_response: z.boolean().optional(),
     }),
     z.object({
         kind: z.literal('handler_return'),