@supacloud/compiler 0.56.0 → 0.57.1

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.37.0";
+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.39.0";
+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. */
@@ -357,6 +372,8 @@ export interface JobNode {
 }
 /** 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;

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.56.0",
+  "version": "0.57.1",
   "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"
   }
 }