@supacloud/compiler 0.55.1 → 0.57.0

package/dist/inspect.d.ts

@@ -26,7 +26,7 @@ export interface ContextPack {
         writeTransport: "command-rpc";
         writeRetry: "disabled";
         externalOutcome: "receipt-reconcile";
-        databaseSource: "drizzle-append-only";
+        databaseSource: "zmodel-append-only";
     };
     relatedModules: {
         importedBy: string[];

package/dist/migration-app-version.d.ts

@@ -1 +1 @@
-export declare const MIGRATION_APP_VERSION = "0.36.1";
+export declare const MIGRATION_APP_VERSION = "0.38.0";

package/dist/migration-elysia-version.d.ts

@@ -1 +1 @@
-export declare const MIGRATION_ELYSIA_VERSION = "0.38.2";
+export declare const MIGRATION_ELYSIA_VERSION = "0.40.0";

package/dist/migrations.d.ts

@@ -15,7 +15,7 @@ export interface SupaCloudMigration {
     from: string;
     to: string;
     description: string;
-    apply(source: string, fileName: string): SourceMigrationResult;
+    apply(source: string, fileName: string): SourceMigrationResult | Promise<SourceMigrationResult>;
 }
 export interface MigrateProjectOptions {
     rootDir: string;
@@ -38,7 +38,7 @@ export interface MigrateProjectResult {
     changedFiles: string[];
     issues: SourceMigrationIssue[];
 }
-declare function migrateRouteResponse(source: string, fileName: string): SourceMigrationResult;
+declare function migrateRouteResponse(source: string, fileName: string): Promise<SourceMigrationResult>;
 export declare const SUPACLOUD_MIGRATIONS: SupaCloudMigration[];
 export declare function migrateProject(options: MigrateProjectOptions): Promise<MigrateProjectResult>;
 export { migrateRouteResponse };

package/dist/program.d.ts

@@ -1,30 +1,18 @@
-import * as ts from "@typescript/typescript6";
+import * as ts from "@supacloud/db/typescript";
 import { type TraitRecord } from "./traits";
-export interface IncrementalProgramSession {
-    /** The current TypeScript program used as the semantic compilation boundary. */
+export interface IncrementalProgramSession extends AsyncDisposable {
     getProgram(): ts.Program;
-    /** The current TypeScript type checker. */
     getTypeChecker(): ts.TypeChecker;
-    /** Update the program while preserving TypeScript's incremental state. */
-    update(rootNames: string[], changedPaths?: string[]): ProgramUpdate;
-    /** Local Angular-style metadata records compiled from the current Program. */
+    update(rootNames: string[], changedPaths?: string[]): Promise<ProgramUpdate>;
     getTraits(): readonly TraitRecord[];
-    /** TypeScript syntactic diagnostics for the current Program. */
-    getDiagnostics(): readonly ts.Diagnostic[];
-    /** Emit the current TypeScript program using the builder's incremental state. */
-    emit(): ts.EmitResult;
-    /** Drop the retained builder and source versions. */
-    reset(): void;
+    getDiagnostics(): Promise<readonly ts.Diagnostic[]>;
+    emit(): Promise<ts.EmitOutput>;
+    reset(): Promise<void>;
 }
 export interface ProgramUpdate {
     changedFiles: string[];
     reusedFiles: string[];
     program: ts.Program;
 }
-/**
- * Angular-style semantic boundary around TypeScript's incremental program.
- *
- * This deliberately owns only TypeScript program state. SupaCloud metadata
- * handlers and ApplicationGraph linking remain separate layers.
- */
+/** Retains native snapshots without Node-only synchronous transport or TS 6 objects. */
 export declare function createIncrementalProgramSession(projectRoot: string): IncrementalProgramSession;

package/dist/reactive-analysis.d.ts

@@ -1,4 +1,4 @@
-import * as ts from "@typescript/typescript6";
+import * as ts from "@supacloud/db/typescript";
 import type { Diagnostic } from "./types";
 /** Checks statically identifiable callbacks, not arbitrary side effects or a whole-program call graph. */
-export declare function scanReactiveSource(input: ts.SourceFile, file: string): Diagnostic[];
+export declare function scanReactiveSource(input: ts.SourceFile, file: string): Promise<Diagnostic[]>;

package/dist/source-semantics.d.ts

@@ -1,4 +1,4 @@
-import * as ts from "@typescript/typescript6";
+import * as ts from "@supacloud/db/typescript";
 import type { Diagnostic } from "./types";
 export declare const SOURCE_SEMANTIC_DIAGNOSTIC_CODES: {
     readonly "source-unsafe-any": {
@@ -21,4 +21,4 @@ export declare const SOURCE_SEMANTIC_DIAGNOSTIC_CODES: {
 /** Inspect values at use sites, including types resolved through imported declarations. */
 export declare function scanSourceSemantics(source: ts.SourceFile, checker: ts.TypeChecker, file: string, rootDir: string, options?: {
     allowAlternativeLibraries?: readonly string[];
-}): Diagnostic[];
+}): Promise<Diagnostic[]>;

package/dist/sql-safety.d.ts

@@ -1,4 +1,4 @@
-import * as ts from "@typescript/typescript6";
+import * as ts from "@supacloud/db/typescript";
 import type { Diagnostic } from "./types";
 export declare const SQL_SAFETY_DIAGNOSTIC_CODES: {
     readonly "sql-result-assertion": {
@@ -11,7 +11,7 @@ export declare const SQL_SAFETY_DIAGNOSTIC_CODES: {
     };
 };
 /**
- * Check Drizzle SQL operations using resolved symbols, including aliases and
+ * Check Kysely SQL operations using resolved symbols, including aliases and
  * re-exports. This is a type-escape guard, not an SQL parser or injection proof.
  */
-export declare function scanDrizzleSql(sourceFile: ts.SourceFile, checker: ts.TypeChecker, file: string, strict: boolean): Diagnostic[];
+export declare function scanQuerySql(sourceFile: ts.SourceFile, checker: ts.TypeChecker, file: string, strict: boolean): Promise<Diagnostic[]>;

package/dist/static-di.d.ts

@@ -1,4 +1,4 @@
-import * as ts from "@typescript/typescript6";
+import * as ts from "@supacloud/db/typescript";
 import type { Diagnostic } from "./types";
 /** Reject runtime DI imports even in constructors, factory functions and aliased imports. */
-export declare function scanRuntimeDi(source: ts.SourceFile, file: string): Diagnostic[];
+export declare function scanRuntimeDi(source: ts.SourceFile, file: string): Promise<Diagnostic[]>;

package/dist/traits.d.ts

@@ -1,4 +1,4 @@
-import * as ts from "@typescript/typescript6";
+import * as ts from "@supacloud/db/typescript";
 export type TraitKind = "module" | "injectable" | "controller" | "command" | "query" | "defineModule" | "defineFeatureSlice" | "injectionToken";
 export interface TraitRecord {
     kind: TraitKind;

package/dist/type-safety.d.ts

@@ -55,5 +55,5 @@ export interface TypeSafetyScanOptions extends TypeSafetyOptions {
     outDir?: string;
     strict?: boolean;
 }
-export declare function scanGeneratedArtifacts(artifacts: Record<string, string | undefined>, strict?: boolean): Diagnostic[];
-export declare function scanProductionSource(options: TypeSafetyScanOptions): Diagnostic[];
+export declare function scanGeneratedArtifacts(artifacts: Record<string, string | undefined>, strict?: boolean): Promise<Diagnostic[]>;
+export declare function scanProductionSource(options: TypeSafetyScanOptions): Promise<Diagnostic[]>;

package/dist/types.d.ts

@@ -55,6 +55,11 @@ export interface FunctionalInjectNode {
     host?: boolean;
 }
 export interface AspectRefNode {
+    /** Operation-specific factory binding, verified against the selected static boundary. */
+    operation?: {
+        kind: "route" | "command" | "job";
+        name: string;
+    };
     /** Exact project-local source path for context packs. */
     file?: string;
     /** Exported symbol name used in the generated static import. */
@@ -140,6 +145,12 @@ export type DiagnosticFix = {
     controller: string;
     route: string;
 };
+export interface DependencyOptions {
+    optional?: boolean;
+    self?: boolean;
+    skipSelf?: boolean;
+    host?: boolean;
+}
 export interface ProviderNode {
     /** Token name (InjectionToken variable name or class name). */
     token: string;
@@ -152,11 +163,13 @@ export interface ProviderNode {
     scope: Scope;
     /** Token names in constructor/factory parameter order. */
     deps: string[];
-    /** Parameter tokens that are marked @Optional() (receive undefined if unresolved). */
+    /** Parameter-indexed modifiers; takes precedence over legacy token summaries. */
+    dependencyOptions?: DependencyOptions[];
+    /** Parameter tokens that are marked @Optional() (receive null if unresolved). */
     optionalDeps?: string[];
-    /** Parameter tokens marked @Self() (must be resolved from current module's own providers). */
+    /** Parameter tokens marked @Self() (must be resolved at the current scope). */
     selfDeps?: string[];
-    /** Parameter tokens marked @SkipSelf() (must NOT be resolved from current module's own providers). */
+    /** Parameter tokens marked @SkipSelf() (skip the current scope; a scoped consumer may use its module application parent). */
     skipSelfDeps?: string[];
     /** Parameter tokens marked @Host(). */
     hostDeps?: string[];
@@ -284,6 +297,8 @@ export interface ControllerNode {
     path: string;
     scope: Scope;
     deps: string[];
+    /** Parameter-indexed modifiers; takes precedence over legacy token summaries. */
+    dependencyOptions?: DependencyOptions[];
     /** Class implements OnDestroy interface or onDestroy method. */
     hasOnDestroy?: boolean;
     /** Class exposes an application startup hook. */
@@ -355,6 +370,144 @@ export interface JobNode {
     uses?: InfraResourceUseRef[];
     aspects?: AspectRefNode[];
 }
+/** Static provider information exposed to deployment and tooling consumers. */
+export interface ExecutionPlanProvider {
+    /** Effective injection modifiers in parameter order. */
+    dependencyOptions?: DependencyOptions[];
+    token: string;
+    kind: ProviderKind;
+    scope: Scope;
+    deps: string[];
+    optionalDeps: string[];
+    selfDeps: string[];
+    skipSelfDeps: string[];
+    hostDeps: string[];
+    multi: boolean;
+    exported: boolean;
+    lifecycle: {
+        init: boolean;
+        destroy: boolean;
+    };
+}
+export interface ExecutionPlanProviderEdge {
+    from: string;
+    to: string;
+    relation: "local" | "imported" | "root" | "context" | "external" | "unresolved";
+}
+export interface ExecutionPlanRoute {
+    method: RouteNode["method"];
+    path: string;
+    controller: string;
+    handler: string;
+    scope: Scope;
+    executor: "route" | "command";
+    invoker: "direct" | "pipeline";
+    commandBoundary?: "route" | "handler";
+    effect?: EffectRouteNode;
+    stages: string[];
+    command?: string;
+    guards: string[];
+    canMatch: string[];
+    canDeactivate: string[];
+    resolvers: string[];
+    aspects: string[];
+    plugin: {
+        name: string;
+        registration: "registerRoutes";
+        lifecycle: string[];
+        macros: string[];
+        conditions: string;
+    };
+}
+export interface ExecutionPlanCommand {
+    name: string;
+    className: string;
+    executor: "commandExecutor";
+    adapter: string | null;
+    permission: string | null;
+    audit: string | null;
+    transaction: CommandNode["transaction"];
+    idempotency: CommandNode["idempotency"];
+    branches: CommandBranchNode[];
+    tenantScope?: CommandNode["tenantScope"];
+    requiredCapabilities: {
+        permission: boolean;
+        audit: boolean;
+        idempotency: boolean;
+        transaction: boolean;
+    };
+    aspects: string[];
+}
+export interface ExecutionPlanJob {
+    name: string;
+    className: string;
+    scope: Scope;
+    mode: JobMode;
+    timeoutSec: number | null;
+    maxAttempts: number | null;
+    idempotency: JobIdempotency | null;
+    aspects: string[];
+}
+export interface ExecutionPlanModule {
+    name: string;
+    className: string;
+    tags: string[];
+    imports: string[];
+    providers: ExecutionPlanProvider[];
+    providerEdges: ExecutionPlanProviderEdge[];
+    scopes: {
+        application: string[];
+        request: string[];
+        job: string[];
+    };
+    lifecycle: {
+        initialize: Array<{
+            key: string;
+            index?: number;
+        }>;
+        destroy: Array<{
+            key: string;
+            index?: number;
+        }>;
+        requestDestroy: Array<{
+            key: string;
+            index?: number;
+        }>;
+        jobDestroy: Array<{
+            key: string;
+            index?: number;
+        }>;
+    };
+    plugin: {
+        name: string;
+        lifecycle: string[];
+        macros: string[];
+        conditions: string;
+        routeCount: number;
+    };
+    routes: ExecutionPlanRoute[];
+    commands: ExecutionPlanCommand[];
+    jobs: ExecutionPlanJob[];
+    aspects: string[];
+}
+/** Versioned, transport-aware plan emitted alongside static application factories. */
+export interface CompiledExecutionManifest {
+    version: 1;
+    compiler: "@supacloud/compiler";
+    host: {
+        adapter: "elysia";
+        api: "2.x";
+        reflection: false;
+        proxy: false;
+    };
+    di: {
+        runtime: "angular-compatible";
+        generation: "static";
+        scopes: Scope[];
+    };
+    boundaries: ModuleBoundaryRule[];
+    modules: ExecutionPlanModule[];
+}
 export interface QueryNode {
     className: string;
     name: string;

package/dist/typescript.d.ts

@@ -0,0 +1 @@
+export * from "@supacloud/db/typescript";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@supacloud/compiler",
-  "version": "0.55.1",
+  "version": "0.57.0",
   "description": "Static compiler for @supacloud/app metadata: builds the application graph from AST, validates it, and generates reflection-free factory code",
   "type": "module",
   "main": "./dist/index.js",
@@ -33,7 +33,7 @@
     "prepare:db": "bun install --cwd ../contracts --frozen-lockfile && bun run --cwd ../contracts build && bun install --cwd ../db --force --frozen-lockfile && bun run --cwd ../db build && bun install --force --frozen-lockfile",
     "prebuild": "bun run prepare:db",
     "pretypecheck": "bun run prepare:db",
-    "build:js": "bun build src/index.ts src/diagnostics.ts src/cli.ts src/delivery-bundle-worker.ts src/database-governance-worker.ts --outdir dist --target node --conditions=supacloud-source --external @typescript/typescript6 --external @supacloud/db --external @supacloud/db/source-contracts --external graphql --external '@graphql-codegen/*'",
+    "build:js": "bun build src/index.ts src/diagnostics.ts src/cli.ts src/delivery-bundle-worker.ts src/database-governance-worker.ts --outdir dist --target node --conditions=supacloud-source --external typescript --external 'typescript/*' --external @supacloud/db --external @supacloud/db/source-contracts --external graphql --external '@graphql-codegen/*'",
     "build:types": "tsc -p tsconfig.json --emitDeclarationOnly",
     "clean": "rm -rf dist",
     "prepublishOnly": "bun run build && bun run test:package",
@@ -57,25 +57,27 @@
     "directory": "packages/compiler"
   },
   "dependencies": {
-    "@supacloud/db": "0.20.5",
-    "@supacloud/delivery": "0.24.0",
+    "@supacloud/db": "0.21.0",
+    "@supacloud/delivery": "0.25.0",
     "typebox": "1.4.3",
     "@graphql-codegen/core": "^6.2.2",
     "@graphql-codegen/typed-document-node": "^7.2.0",
     "@graphql-codegen/typescript-operations": "^6.1.10",
     "@graphql-typed-document-node/core": "^3.2.0",
-    "@typescript/typescript6": "^6.0.2",
-    "graphql": "^16"
+    "graphql": "^16",
+    "typescript": "7.1.0-beta"
   },
   "overrides": {
-    "@supacloud/contracts": "0.15.2",
+    "@supacloud/contracts": "0.16.0",
     "@graphql-tools/utils": "^12.0.4",
-    "@whatwg-node/promise-helpers": "2.0.0"
+    "@whatwg-node/promise-helpers": "2.0.0",
+    "deepmerge-ts": "8.0.2",
+    "prisma": "6.19.3"
   },
   "devDependencies": {
     "@supabase/supabase-js": "2.118.0",
-    "drizzle-orm": "1.0.0-rc.5-5935859",
     "@types/bun": "^1.4.4",
-    "typescript": "^7.0.2"
+    "@zenstackhq/schema": "3.10.0",
+    "@zenstackhq/orm": "3.10.0"
   }
 }