carrick 0.3.102 → 0.3.104

package/sidecar/dist/src/validators.js

@@ -61,16 +61,6 @@ const TsconfigSnapshotSchema = z.object({
 // ============================================================================
 const PinnedDependencySnapshotSchema = z.record(z.string());
 // ============================================================================
-// Repo Metadata Schema
-// ============================================================================
-const RepoMetadataSchema = z.object({
-    repoName: z.string().min(1, 'Repo name cannot be empty'),
-    dependencies: PinnedDependencySnapshotSchema,
-    tsconfig: TsconfigSnapshotSchema,
-    extractionConfig: ExtractionConfigSchema.optional(),
-    surfaceContent: z.string().optional(),
-});
-// ============================================================================
 // Symbol Request Schema
 // ============================================================================
 export const SymbolRequestSchema = z.object({
@@ -137,32 +127,6 @@ export function validateInferRequestItem(item) {
     return null;
 }
 // ============================================================================
-// Payload Definition Schema (New)
-// ============================================================================
-const SourceLocationSchema = z.object({
-    file_path: z.string(),
-    start_line: z.number(),
-    end_line: z.number(),
-    start_column: z.number().optional(),
-    end_column: z.number().optional(),
-});
-const PayloadDefinitionSchema = z.object({
-    alias: z.string().min(1, 'Alias cannot be empty'),
-    type_string: z.string().min(1, 'Type string cannot be empty'),
-    source_file: z.string().optional(),
-    source_location: SourceLocationSchema.optional(),
-});
-// ============================================================================
-// Compatibility Check Schema (New)
-// ============================================================================
-const CompatibilityCheckSchema = z.object({
-    source_repo: z.string().min(1, 'Source repo cannot be empty'),
-    source_alias: z.string().min(1, 'Source alias cannot be empty'),
-    target_repo: z.string().min(1, 'Target repo cannot be empty'),
-    target_alias: z.string().min(1, 'Target alias cannot be empty'),
-    direction: z.enum(['source_extends_target', 'target_extends_source', 'bidirectional']),
-});
-// ============================================================================
 // Action-specific Request Schemas
 // ============================================================================
 const BaseRequestSchema = z.object({
@@ -172,6 +136,7 @@ export const InitRequestSchema = BaseRequestSchema.extend({
     action: z.literal('init'),
     repo_root: z.string().min(1, 'Repo root cannot be empty'),
     tsconfig_path: z.string().optional(),
+    scan_root: z.string().min(1).optional(),
     tsconfig_snapshot: TsconfigSnapshotSchema.optional(),
     pinned_dependencies: PinnedDependencySnapshotSchema.optional(),
 });
@@ -179,12 +144,6 @@ export const BundleRequestSchema = BaseRequestSchema.extend({
     action: z.literal('bundle'),
     symbols: z.array(SymbolRequestSchema).min(1, 'At least one symbol is required'),
 });
-export const EmitSurfaceRequestSchema = BaseRequestSchema.extend({
-    action: z.literal('emit_surface'),
-    repo_name: z.string().min(1, 'Repo name cannot be empty'),
-    payloads: z.array(PayloadDefinitionSchema).min(1, 'At least one payload is required'),
-    output_path: z.string().min(1, 'Output path cannot be empty'),
-});
 /** v2 "tsc as serializer" capture (contract in ./capture/api.ts). */
 const AnchorOriginSchema = z.enum([
     'llm-symbol',
@@ -234,6 +193,7 @@ export const CaptureV2RequestSchema = BaseRequestSchema.extend({
     anchors: z.array(CaptureAnchorRequestSchema).min(1, 'At least one anchor is required'),
     out_dir: z.string().min(1, 'Output dir cannot be empty'),
     tsconfig_path: z.string().optional(),
+    scan_root: z.string().min(1).optional(),
 });
 const CheckStubInputSchema = z.object({
     service_name: z.string().min(1),
@@ -262,16 +222,6 @@ export const InferRequestSchema = BaseRequestSchema.extend({
     requests: z.array(InferRequestItemSchema).min(1, 'At least one infer request is required'),
     extraction_config: ExtractionConfigSchema.optional(),
 });
-export const BuildWorkspaceRequestSchema = BaseRequestSchema.extend({
-    action: z.literal('build_workspace'),
-    repos: z.array(RepoMetadataSchema).min(1, 'At least one repo is required'),
-    workspace_root: z.string().optional(),
-});
-export const CheckCompatibilityRequestSchema = BaseRequestSchema.extend({
-    action: z.literal('check_compatibility'),
-    workspace_root: z.string().min(1, 'Workspace root cannot be empty'),
-    checks: z.array(CompatibilityCheckSchema).min(1, 'At least one check is required'),
-});
 export const HealthRequestSchema = BaseRequestSchema.extend({
     action: z.literal('health'),
 });
@@ -472,12 +422,9 @@ export const ListLibrarySurfaceRequestSchema = BaseRequestSchema.extend({
 export const SidecarRequestSchema = z.discriminatedUnion('action', [
     InitRequestSchema,
     BundleRequestSchema,
-    EmitSurfaceRequestSchema,
     CaptureV2RequestSchema,
     CheckV2RequestSchema,
     InferRequestSchema,
-    BuildWorkspaceRequestSchema,
-    CheckCompatibilityRequestSchema,
     ResolveDefinitionsRequestSchema,
     RetypeCheckRequestSchema,
     VerifyClientSemanticsRequestSchema,

package/sidecar/dist/src/monorepo-builder.d.ts

@@ -1,129 +0,0 @@
-/**
- * Monorepo Builder - Builds synthetic monorepo workspaces for type compatibility checking
- *
- * This module implements the "Synthetic Monorepo (Stub Snapshot)" architecture:
- * - Creates a workspace with stub packages for each repo
- * - Each stub package has its own isolated node_modules with pinned dependencies
- * - Generates path mappings so @carrick/{repoName}/{spec} resolves correctly
- * - Creates a checker package that imports surfaces and asserts type compatibility
- *
- * Key design decisions:
- * - Uses pnpm for better isolation between packages
- * - Does NOT copy full repos - only uses captured artifacts
- * - Deterministic: uses pinned dependency snapshots
- */
-import type { RepoMetadata, WorkspaceBuildResult, CompatibilityCheck, CompatibilityCheckResult } from './types.js';
-/**
- * MonorepoBuilder - Creates synthetic workspaces for cross-repo type checking
- *
- * Usage:
- *   const builder = new MonorepoBuilder();
- *   const result = builder.build(repos);
- *   const checkResult = builder.checkCompatibility(workspacePath, checks);
- */
-export declare class MonorepoBuilder {
-    /**
-     * Build the synthetic monorepo workspace
-     *
-     * @param repos - Metadata for each repository to include
-     * @param workspaceRoot - Root directory for the workspace (defaults to .carrick/workspace)
-     * @returns WorkspaceBuildResult
-     */
-    build(repos: RepoMetadata[], workspaceRoot?: string): WorkspaceBuildResult;
-    /**
-     * Run type compatibility checks in the workspace
-     *
-     * @param workspaceRoot - Path to the workspace root
-     * @param checks - Compatibility checks to run
-     * @returns CompatibilityCheckResult
-     */
-    checkCompatibility(workspaceRoot: string, checks: CompatibilityCheck[]): CompatibilityCheckResult;
-    /**
-     * Ensure a clean directory exists at the given path
-     */
-    private ensureCleanDirectory;
-    /**
-     * Create the root package.json for the workspace
-     */
-    private createRootPackageJson;
-    /**
-     * Create pnpm-workspace.yaml
-     */
-    private createPnpmWorkspaceYaml;
-    /**
-     * Create .npmrc to prevent hoisting that would blur package boundaries
-     */
-    private createNpmrc;
-    /**
-     * Create a stub package for a repository
-     *
-     * @returns Path to the created package
-     */
-    private createStubPackage;
-    /**
-     * Create package.json for a stub package
-     */
-    private createStubPackageJson;
-    /**
-     * Create tsconfig.json for a stub package from the snapshot
-     */
-    private createStubTsconfig;
-    /**
-     * Create the surface.d.ts file
-     */
-    private createSurfaceFile;
-    /**
-     * Create a placeholder surface file
-     */
-    private createPlaceholderSurface;
-    /**
-     * Get default tsconfig snapshot
-     */
-    private getDefaultTsconfigSnapshot;
-    /**
-     * Create the checker package that runs type compatibility checks
-     *
-     * @returns Path to the checker package
-     */
-    private createCheckerPackage;
-    /**
-     * Create package.json for the checker package
-     */
-    private createCheckerPackageJson;
-    /**
-     * Create tsconfig.json for the checker package with path mappings
-     */
-    private createCheckerTsconfig;
-    /**
-     * Create initial checks.ts file
-     */
-    private createInitialChecksFile;
-    /**
-     * Install dependencies using pnpm
-     */
-    private installDependencies;
-    /**
-     * Fallback: Install dependencies using npm
-     */
-    private installWithNpm;
-    /**
-     * Generate the checks.ts file with type assertions
-     */
-    private generateCheckFile;
-    /**
-     * Create a unique import name for a repo/alias combination
-     */
-    private makeImportName;
-    /**
-     * Run TypeScript type checking on the checker package
-     *
-     * @returns Object with success status and any error output
-     */
-    private runTypeCheck;
-    /**
-     * Parse the result of a type check for a specific compatibility check
-     */
-    private parseCheckResult;
-    private log;
-    private logError;
-}