carrick 0.3.102 → 0.3.104

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

@@ -97,21 +97,6 @@ export interface TsconfigSnapshot {
         [key: string]: unknown;
     };
 }
-/**
- * Metadata for a single repository in the synthetic monorepo.
- */
-export interface RepoMetadata {
-    /** Unique name for this repo (used in @carrick/{repoName}/...) */
-    repoName: string;
-    /** Pinned dependency versions for this repo */
-    dependencies: PinnedDependencySnapshot;
-    /** Closed tsconfig snapshot for this repo */
-    tsconfig: TsconfigSnapshot;
-    /** Extraction config for unwrapping machinery types */
-    extractionConfig?: ExtractionConfig;
-    /** The emitted surface .d.ts content (after Task 2) */
-    surfaceContent?: string;
-}
 /**
  * Base fields present in all requests
  */
@@ -125,6 +110,12 @@ export interface InitRequest extends BaseRequest {
     action: 'init';
     repo_root: string;
     tsconfig_path?: string;
+    /**
+     * The scanned repo's root: with no tsconfig named or in `repo_root`, the
+     * nearest `tsconfig.json` above `repo_root` up to this root types the
+     * service (carrick#1776). Without it only `repo_root` is searched.
+     */
+    scan_root?: string;
     /** Optional tsconfig snapshot (closed/merged) - preferred over tsconfig_path */
     tsconfig_snapshot?: TsconfigSnapshot;
     /** Optional pinned dependencies for this repo */
@@ -132,36 +123,11 @@ export interface InitRequest extends BaseRequest {
 }
 /**
  * Request to bundle explicit types from source files
- * @deprecated Use emit_surface instead for the new architecture
  */
 export interface BundleRequest extends BaseRequest {
     action: 'bundle';
     symbols: SymbolRequest[];
 }
-/**
- * Request to emit a surface .d.ts file with rewritten module specifiers
- */
-export interface EmitSurfaceRequest extends BaseRequest {
-    action: 'emit_surface';
-    /** The repo name for specifier rewriting (@carrick/{repoName}/...) */
-    repo_name: string;
-    /** Payload types to include in the surface */
-    payloads: PayloadDefinition[];
-    /** Output path for the surface .d.ts file */
-    output_path: string;
-}
-/**
- * Definition of a payload type to emit
- */
-export interface PayloadDefinition {
-    /** Alias/name for this payload in the surface */
-    alias: string;
-    /** The type string (already unwrapped from machinery) */
-    type_string: string;
-    /** Optional source information */
-    source_file?: string;
-    source_location?: SourceLocation;
-}
 /**
  * Request to run the v2 "tsc as serializer" capture for one service.
  * Produces a types-only stub package (compiler-emitted declaration tree +
@@ -181,6 +147,8 @@ export interface CaptureV2Request extends BaseRequest {
     out_dir: string;
     /** Optional explicit tsconfig path (defaults to <repo_root>/tsconfig.json) */
     tsconfig_path?: string;
+    /** The scanned repo's root, as on `init` (carrick#1776). */
+    scan_root?: string;
 }
 /**
  * Response for the capture_v2 action
@@ -223,40 +191,6 @@ export interface InferRequest extends BaseRequest {
     /** Agent-generated extraction config for machinery unwrapping */
     extraction_config?: ExtractionConfig;
 }
-/**
- * Request to build the synthetic monorepo workspace
- */
-export interface BuildWorkspaceRequest extends BaseRequest {
-    action: 'build_workspace';
-    repos: RepoMetadata[];
-    /** Root directory for the workspace (defaults to .carrick/workspace) */
-    workspace_root?: string;
-}
-/**
- * Request to run type compatibility checks
- */
-export interface CheckCompatibilityRequest extends BaseRequest {
-    action: 'check_compatibility';
-    /** Path to the workspace root */
-    workspace_root: string;
-    /** Pairs of types to check for compatibility */
-    checks: CompatibilityCheck[];
-}
-/**
- * A single compatibility check between two types
- */
-export interface CompatibilityCheck {
-    /** Source repo name */
-    source_repo: string;
-    /** Source payload alias */
-    source_alias: string;
-    /** Target repo name */
-    target_repo: string;
-    /** Target payload alias */
-    target_alias: string;
-    /** Direction: 'source_extends_target' or 'target_extends_source' or 'bidirectional' */
-    direction: 'source_extends_target' | 'target_extends_source' | 'bidirectional';
-}
 /**
  * Health check request
  */
@@ -524,7 +458,7 @@ export interface ListLibrarySurfaceRequest extends BaseRequest {
 /**
  * Union type for all possible sidecar requests
  */
-export type SidecarRequest = RetypeCheckRequest | VerifyClientSemanticsRequest | VerifyLibraryClaimsRequest | ListLibrarySurfaceRequest | InitRequest | BundleRequest | EmitSurfaceRequest | CaptureV2Request | CheckV2Request | InferRequest | BuildWorkspaceRequest | CheckCompatibilityRequest | ResolveDefinitionsRequest | HealthRequest | ShutdownRequest;
+export type SidecarRequest = RetypeCheckRequest | VerifyClientSemanticsRequest | VerifyLibraryClaimsRequest | ListLibrarySurfaceRequest | InitRequest | BundleRequest | CaptureV2Request | CheckV2Request | InferRequest | ResolveDefinitionsRequest | HealthRequest | ShutdownRequest;
 /**
  * Request for a specific symbol to be bundled
  */
@@ -588,7 +522,6 @@ export interface InitResponse extends BaseResponse {
 }
 /**
  * Response for bundle action
- * @deprecated Use EmitSurfaceResponse instead
  */
 export interface BundleResponse extends BaseResponse {
     /** The bundled .d.ts content */
@@ -600,27 +533,6 @@ export interface BundleResponse extends BaseResponse {
     /** General errors */
     errors?: string[];
 }
-/**
- * Response for emit_surface action
- */
-export interface EmitSurfaceResponse extends BaseResponse {
-    /** Path to the emitted surface file */
-    output_path?: string;
-    /** The emitted .d.ts content */
-    surface_content?: string;
-    /** Manifest of emitted payloads */
-    manifest?: SurfaceManifestEntry[];
-    /** Errors during emission */
-    errors?: string[];
-}
-/**
- * Entry in the surface manifest
- */
-export interface SurfaceManifestEntry {
-    alias: string;
-    type_string: string;
-    rewritten_imports: string[];
-}
 /**
  * Response for infer action
  */
@@ -630,42 +542,6 @@ export interface InferResponse extends BaseResponse {
     /** General errors */
     errors?: string[];
 }
-/**
- * Response for build_workspace action
- */
-export interface BuildWorkspaceResponse extends BaseResponse {
-    /** Path to the created workspace */
-    workspace_path?: string;
-    /** Paths to generated stub packages */
-    stub_packages?: string[];
-    /** Path to the checker package */
-    checker_path?: string;
-    /** Errors during workspace creation */
-    errors?: string[];
-}
-/**
- * Response for check_compatibility action
- */
-export interface CheckCompatibilityResponse extends BaseResponse {
-    /** Results of each compatibility check */
-    results?: CompatibilityResult[];
-    /** TypeScript compiler diagnostics */
-    diagnostics?: string[];
-    /** Errors during checking */
-    errors?: string[];
-}
-/**
- * Result of a single compatibility check
- */
-export interface CompatibilityResult {
-    source_repo: string;
-    source_alias: string;
-    target_repo: string;
-    target_alias: string;
-    compatible: boolean;
-    /** Diagnostic message if not compatible */
-    diagnostic?: string;
-}
 /**
  * Response for resolve_definitions action
  */
@@ -838,7 +714,7 @@ export interface ListLibrarySurfaceResponse extends BaseResponse {
 /**
  * Union type for all possible sidecar responses
  */
-export type SidecarResponse = RetypeCheckResponse | VerifyClientSemanticsResponse | VerifyLibraryClaimsResponse | ListLibrarySurfaceResponse | InitResponse | BundleResponse | EmitSurfaceResponse | CaptureV2Response | CheckV2Response | InferResponse | BuildWorkspaceResponse | CheckCompatibilityResponse | ResolveDefinitionsResponse | HealthResponse | ShutdownResponse | ErrorResponse;
+export type SidecarResponse = RetypeCheckResponse | VerifyClientSemanticsResponse | VerifyLibraryClaimsResponse | ListLibrarySurfaceResponse | InitResponse | BundleResponse | CaptureV2Response | CheckV2Response | InferResponse | ResolveDefinitionsResponse | HealthResponse | ShutdownResponse | ErrorResponse;
 /**
  * An entry in the type manifest
  */
@@ -938,6 +814,35 @@ export interface InferredType {
      * was dropped as unsound.
      */
     unwidened_type_string?: string;
+    /**
+     * carrick#1749, `call_result` only: present when the source itself states
+     * the type of the body it reads, AT the read: a cast of the read
+     * (`res.json() as Promise<T>`, a callback's `value as T`) or the annotated
+     * declaration it initializes (`const data: T = await res.json()`). The
+     * text in `type_string` is then that statement. Absent when no type is
+     * stated, or when the only annotation is further away than the read.
+     */
+    stated_body?: StatedBody;
+}
+/**
+ * What the source states a body read to be (carrick#1749). The scanner
+ * compares `root` with the type symbol the model named for the same call: a
+ * model symbol that is not the stated root names something other than the
+ * body (an element of it, or a value the caller later computed from it), and
+ * the source's own statement outranks it.
+ */
+export interface StatedBody {
+    /**
+     * The name the stated type is rooted at, once `Promise<...>`, array levels,
+     * parentheses and `| null`/`| undefined` are peeled: `Order` for
+     * `Promise<Order[] | null>`, `Page` for `Page<Order>`. Absent when the root
+     * is not a named type (an object literal type, a union of several types).
+     */
+    root?: string;
+    /** Declaration file (absolute path) of `root`, when it resolves to one. */
+    root_source?: string;
+    /** Array levels peeled on the way to `root`. Omitted when 0. */
+    array_depth?: number;
 }
 /**
  * Why a type carries `any`/`unknown` at a position, and where.
@@ -977,7 +882,6 @@ export interface SymbolFailure {
 }
 /**
  * Internal result from the bundler
- * @deprecated Use SurfaceEmitResult instead
  */
 export interface BundleResult {
     /** Whether bundling was successful */
@@ -991,21 +895,6 @@ export interface BundleResult {
     /** General error messages */
     errors?: string[];
 }
-/**
- * Internal result from surface emission
- */
-export interface SurfaceEmitResult {
-    /** Whether emission was successful */
-    success: boolean;
-    /** The emitted .d.ts content */
-    surface_content?: string;
-    /** Output path where content was written */
-    output_path?: string;
-    /** Manifest of emitted payloads */
-    manifest?: SurfaceManifestEntry[];
-    /** General error messages */
-    errors?: string[];
-}
 /**
  * Internal result from the type inferrer
  */
@@ -1017,32 +906,4 @@ export interface InferResult {
     /** General error messages */
     errors?: string[];
 }
-/**
- * Result from building the synthetic workspace
- */
-export interface WorkspaceBuildResult {
-    /** Whether build was successful */
-    success: boolean;
-    /** Path to the workspace root */
-    workspace_path?: string;
-    /** Paths to stub packages */
-    stub_packages?: string[];
-    /** Path to the checker package */
-    checker_path?: string;
-    /** Error messages */
-    errors?: string[];
-}
-/**
- * Result from running compatibility checks
- */
-export interface CompatibilityCheckResult {
-    /** Whether checks ran successfully (not whether types are compatible) */
-    success: boolean;
-    /** Individual check results */
-    results?: CompatibilityResult[];
-    /** TypeScript diagnostics */
-    diagnostics?: string[];
-    /** Error messages */
-    errors?: string[];
-}
 export {};