carrick 0.3.115 → 0.3.116

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

@@ -194,6 +194,38 @@ export interface InferRequest extends BaseRequest {
     requests: InferRequestItem[];
     /** Agent-generated extraction config for machinery unwrapping */
     extraction_config?: ExtractionConfig;
+    /**
+     * carrick#2111: the type the model named for a producer's response, by the
+     * alias of the request that reads the same response. The inferrer answers
+     * how each relates to what it read (`InferredType.model_symbol_relation`).
+     */
+    model_symbols?: ModelSymbol[];
+}
+/** A type the model named for the row `alias` is for (carrick#2111). */
+export interface ModelSymbol {
+    alias: string;
+    symbol_name: string;
+    /** The file the model says declares or exports it. */
+    source_file: string;
+}
+/**
+ * carrick#2111: how the type the model named for a producer's response
+ * relates to the compiler's type of what the handler sends. The compiler
+ * decides, by assignability both ways (`symbol-relation.ts`).
+ *
+ * Reported only where both resolve and the read holds no `any` or `unknown`.
+ * No entry means nothing was compared, and the model's symbol stands.
+ */
+export interface ModelSymbolRelation {
+    /**
+     * `same`: one type. `list`: the read is a list of the symbol, `depth`
+     * levels. `member`: the symbol is one member of the read's union.
+     * `nullable`: the read is the symbol or `null`/`undefined`. `different`:
+     * anything else.
+     */
+    relation: 'same' | 'list' | 'member' | 'nullable' | 'different';
+    /** List levels of the read around the symbol; present for `list`. */
+    depth?: number;
 }
 /**
  * Health check request
@@ -940,6 +972,12 @@ export interface InferredType {
      * stated, or when the only annotation is further away than the read.
      */
     stated_body?: StatedBody;
+    /**
+     * carrick#2111, a producer's response read only: how the type the model
+     * named for this row relates to the type read here. Absent where the model
+     * named none, or nothing could be compared.
+     */
+    model_symbol_relation?: ModelSymbolRelation;
     /**
      * carrick#1836: the declarations behind the names `type_string` prints that
      * the request's file does not resolve. The printer writes names bare where

package/sidecar/dist/src/unwidened.js

@@ -153,8 +153,30 @@ function isMarkableLiteral(node) {
         return false;
     if (Node.isTaggedTemplateExpression(parent))
         return false;
+    // Already kept narrow by the source (carrick#2343): marking it again writes
+    // `('warn' as const) as const`, which the compiler rejects (a const
+    // assertion applies to a literal only), and that one diagnostic would cost
+    // the whole reading.
+    if (isConstAssertionOperand(node))
+        return false;
     return !initialisesMutableBinding(node);
 }
+/**
+ * Whether the literal, through any parentheses, is what a const assertion
+ * (`x as const`, `<const>x`) asserts. Any other assertion takes a marked
+ * literal: `('a' as const) as string` is valid.
+ */
+function isConstAssertionOperand(literal) {
+    let node = literal;
+    let parent = node.getParent();
+    while (parent && Node.isParenthesizedExpression(parent)) {
+        node = parent;
+        parent = node.getParent();
+    }
+    if (!parent || !(Node.isAsExpression(parent) || Node.isTypeAssertion(parent)))
+        return false;
+    return parent.getTypeNode()?.getText() === 'const';
+}
 /**
  * Whether the literal becomes the value of a `let`/`var` binding, which can
  * later hold another one, so its type really is the widened one. Reached

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

@@ -673,6 +673,19 @@ export declare const InferRequestSchema: z.ZodObject<{
             maxDepth?: number | undefined;
         }[];
     }>>;
+    model_symbols: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        alias: z.ZodString;
+        symbol_name: z.ZodString;
+        source_file: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        alias: string;
+        symbol_name: string;
+        source_file: string;
+    }, {
+        alias: string;
+        symbol_name: string;
+        source_file: string;
+    }>, "many">>;
 }, "strip", z.ZodTypeAny, {
     request_id: string;
     action: "infer";
@@ -698,6 +711,11 @@ export declare const InferRequestSchema: z.ZodObject<{
             maxDepth?: number | undefined;
         }[];
     } | undefined;
+    model_symbols?: {
+        alias: string;
+        symbol_name: string;
+        source_file: string;
+    }[] | undefined;
 }, {
     request_id: string;
     action: "infer";
@@ -723,6 +741,11 @@ export declare const InferRequestSchema: z.ZodObject<{
             maxDepth?: number | undefined;
         }[];
     } | undefined;
+    model_symbols?: {
+        alias: string;
+        symbol_name: string;
+        source_file: string;
+    }[] | undefined;
 }>;
 export declare const HealthRequestSchema: z.ZodObject<{
     request_id: z.ZodString;
@@ -1359,8 +1382,8 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
             }>>;
         }, "strict", z.ZodTypeAny, {
             kind: "op";
-            op: "request" | "send" | "receive" | "execute";
             member: string | null;
+            op: "request" | "send" | "receive" | "execute";
             name?: {
                 arg: number;
                 key?: string | undefined;
@@ -1399,8 +1422,8 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
             } | undefined;
         }, {
             kind: "op";
-            op: "request" | "send" | "receive" | "execute";
             member: string | null;
+            op: "request" | "send" | "receive" | "execute";
             name?: {
                 arg: number;
                 key?: string | undefined;
@@ -1511,8 +1534,8 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
             of?: string | undefined;
         } | {
             kind: "op";
-            op: "request" | "send" | "receive" | "execute";
             member: string | null;
+            op: "request" | "send" | "receive" | "execute";
             name?: {
                 arg: number;
                 key?: string | undefined;
@@ -1608,8 +1631,8 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
             of?: string | undefined;
         } | {
             kind: "op";
-            op: "request" | "send" | "receive" | "execute";
             member: string | null;
+            op: "request" | "send" | "receive" | "execute";
             name?: {
                 arg: number;
                 key?: string | undefined;
@@ -1711,8 +1734,8 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
             of?: string | undefined;
         } | {
             kind: "op";
-            op: "request" | "send" | "receive" | "execute";
             member: string | null;
+            op: "request" | "send" | "receive" | "execute";
             name?: {
                 arg: number;
                 key?: string | undefined;
@@ -1814,8 +1837,8 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
             of?: string | undefined;
         } | {
             kind: "op";
-            op: "request" | "send" | "receive" | "execute";
             member: string | null;
+            op: "request" | "send" | "receive" | "execute";
             name?: {
                 arg: number;
                 key?: string | undefined;
@@ -2494,6 +2517,19 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
             maxDepth?: number | undefined;
         }[];
     }>>;
+    model_symbols: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        alias: z.ZodString;
+        symbol_name: z.ZodString;
+        source_file: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        alias: string;
+        symbol_name: string;
+        source_file: string;
+    }, {
+        alias: string;
+        symbol_name: string;
+        source_file: string;
+    }>, "many">>;
 }, "strip", z.ZodTypeAny, {
     request_id: string;
     action: "infer";
@@ -2519,6 +2555,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
             maxDepth?: number | undefined;
         }[];
     } | undefined;
+    model_symbols?: {
+        alias: string;
+        symbol_name: string;
+        source_file: string;
+    }[] | undefined;
 }, {
     request_id: string;
     action: "infer";
@@ -2544,6 +2585,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
             maxDepth?: number | undefined;
         }[];
     } | undefined;
+    model_symbols?: {
+        alias: string;
+        symbol_name: string;
+        source_file: string;
+    }[] | undefined;
 }>, z.ZodObject<{
     request_id: z.ZodString;
 } & {
@@ -3129,8 +3175,8 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
             }>>;
         }, "strict", z.ZodTypeAny, {
             kind: "op";
-            op: "request" | "send" | "receive" | "execute";
             member: string | null;
+            op: "request" | "send" | "receive" | "execute";
             name?: {
                 arg: number;
                 key?: string | undefined;
@@ -3169,8 +3215,8 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
             } | undefined;
         }, {
             kind: "op";
-            op: "request" | "send" | "receive" | "execute";
             member: string | null;
+            op: "request" | "send" | "receive" | "execute";
             name?: {
                 arg: number;
                 key?: string | undefined;
@@ -3281,8 +3327,8 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
             of?: string | undefined;
         } | {
             kind: "op";
-            op: "request" | "send" | "receive" | "execute";
             member: string | null;
+            op: "request" | "send" | "receive" | "execute";
             name?: {
                 arg: number;
                 key?: string | undefined;
@@ -3378,8 +3424,8 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
             of?: string | undefined;
         } | {
             kind: "op";
-            op: "request" | "send" | "receive" | "execute";
             member: string | null;
+            op: "request" | "send" | "receive" | "execute";
             name?: {
                 arg: number;
                 key?: string | undefined;
@@ -3481,8 +3527,8 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
             of?: string | undefined;
         } | {
             kind: "op";
-            op: "request" | "send" | "receive" | "execute";
             member: string | null;
+            op: "request" | "send" | "receive" | "execute";
             name?: {
                 arg: number;
                 key?: string | undefined;
@@ -3584,8 +3630,8 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
             of?: string | undefined;
         } | {
             kind: "op";
-            op: "request" | "send" | "receive" | "execute";
             member: string | null;
+            op: "request" | "send" | "receive" | "execute";
             name?: {
                 arg: number;
                 key?: string | undefined;

package/sidecar/dist/src/validators.js

@@ -237,6 +237,13 @@ export const InferRequestSchema = BaseRequestSchema.extend({
     action: z.literal('infer'),
     requests: z.array(InferRequestItemSchema).min(1, 'At least one infer request is required'),
     extraction_config: ExtractionConfigSchema.optional(),
+    model_symbols: z
+        .array(z.object({
+        alias: z.string().min(1),
+        symbol_name: z.string().min(1),
+        source_file: z.string().min(1),
+    }))
+        .optional(),
 });
 export const HealthRequestSchema = BaseRequestSchema.extend({
     action: z.literal('health'),