@supacloud/compiler 0.49.0 → 0.50.1

package/dist/cli.js

@@ -270,6 +270,21 @@ function validateFeatureSpec(spec, module) {
   if (spec.tenantField !== undefined && !/^[A-Za-z_][A-Za-z0-9_]*$/.test(spec.tenantField)) {
     error("feature-tenant-boundary-invalid", `Feature ${spec.name} declares an unsafe tenant field.`);
   }
+  const databaseTransition = spec.transitions.some((transition) => transition.persistence?.boundary === "database");
+  if (databaseTransition && spec.database === undefined && spec.file !== undefined) {
+    error("feature-database-source-required", `Database Feature ${spec.name} must declare its database source, table and rowType.`);
+  }
+  if (spec.database !== undefined) {
+    if (spec.database.source.startsWith("/") || spec.database.source.includes("\\") || spec.database.source.split("/").includes("..") || !/^[A-Za-z0-9._/-]+$/.test(spec.database.source)) {
+      error("feature-database-source-invalid", `Feature ${spec.name} declares an unsafe database source.`);
+    }
+    if (!/^[A-Za-z_][A-Za-z0-9_]*\.[A-Za-z_][A-Za-z0-9_]*$/.test(spec.database.table)) {
+      error("feature-database-table-invalid", `Feature ${spec.name} must use a schema-qualified database table.`);
+    }
+    if (!/^[A-Za-z_$][A-Za-z0-9_$]*(?:\.[A-Za-z_$][A-Za-z0-9_$]*)*$/.test(spec.database.rowType)) {
+      error("feature-database-row-type-invalid", `Feature ${spec.name} declares an unsafe database row type.`);
+    }
+  }
   const names = new Set;
   for (const transition of spec.transitions) {
     if (!transition.name.trim() || names.has(transition.name)) {
@@ -375,6 +390,17 @@ function validateFeatureSpec(spec, module) {
         }
       }
     }
+    const declaredTags = module ? new Set(module.controllers.flatMap((controller) => controller.routes.flatMap((route) => route.tags ?? []))) : new Set;
+    if (transition.persistence !== undefined && declaredTags.size > 0 && transition.invalidateTags === undefined) {
+      error("feature-invalidation-tags-required", `Persistent transition ${transition.name} must declare invalidateTags when Feature ${spec.name} exposes query tags.`);
+    }
+    if (transition.invalidateTags !== undefined && declaredTags.size > 0) {
+      for (const tag of transition.invalidateTags) {
+        if (!declaredTags.has(tag)) {
+          error("feature-invalidation-tag-unresolved", `Transition ${transition.name} invalidates '${tag}', but Feature ${spec.name} does not declare that query tag.`);
+        }
+      }
+    }
     if (transition.route) {
       const routes = module.controllers.flatMap((controller) => controller.routes.filter((route) => `${route.method} ${joinRoutePaths(controller.path, route.path)}` === transition.route));
       if (routes.length !== 1) {
@@ -406,6 +432,7 @@ function generateFeatureSource(spec) {
   const sourceSpec = {
     name: spec.name,
     states: spec.states,
+    ...spec.database === undefined ? {} : { database: spec.database },
     tenantField: spec.tenantField ?? "tenant_id",
     transitions: Object.fromEntries(transitions.map((transition) => {
       const { name, ...options } = transition;
@@ -1424,8 +1451,9 @@ var init_validate = __esm(() => {
     "feature-governance-drift": { code: "SC6105", docsUrl: "https://supacloud.dev/errors/SC6105" },
     "feature-persistence-invalid": { code: "SC6110", docsUrl: "https://supacloud.dev/errors/SC6110" },
     "feature-persistence-drift": { code: "SC6111", docsUrl: "https://supacloud.dev/errors/SC6111" },
+    "feature-invalidation-tag-unresolved": { code: "SC6113", docsUrl: "https://supacloud.dev/errors/SC6113" },
     "feature-tenant-boundary-invalid": { code: "SC6112", docsUrl: "https://supacloud.dev/errors/SC6112" },
-    "feature-tenant-boundary-drift": { code: "SC6113", docsUrl: "https://supacloud.dev/errors/SC6113" },
+    "feature-tenant-boundary-drift": { code: "SC6127", docsUrl: "https://supacloud.dev/errors/SC6127" },
     "feature-query-tenant-boundary": { code: "SC6114", docsUrl: "https://supacloud.dev/errors/SC6114" },
     "feature-job-tenant-boundary": { code: "SC6115", docsUrl: "https://supacloud.dev/errors/SC6115" },
     "feature-command-tenant-boundary": { code: "SC6116", docsUrl: "https://supacloud.dev/errors/SC6116" },
@@ -1434,6 +1462,11 @@ var init_validate = __esm(() => {
     "feature-job-mode": { code: "SC6119", docsUrl: "https://supacloud.dev/errors/SC6119" },
     "feature-job-contract": { code: "SC6120", docsUrl: "https://supacloud.dev/errors/SC6120" },
     "feature-job-context": { code: "SC6121", docsUrl: "https://supacloud.dev/errors/SC6121" },
+    "feature-database-source-required": { code: "SC6122", docsUrl: "https://supacloud.dev/errors/SC6122" },
+    "feature-database-source-invalid": { code: "SC6123", docsUrl: "https://supacloud.dev/errors/SC6123" },
+    "feature-database-table-invalid": { code: "SC6124", docsUrl: "https://supacloud.dev/errors/SC6124" },
+    "feature-database-row-type-invalid": { code: "SC6125", docsUrl: "https://supacloud.dev/errors/SC6125" },
+    "feature-invalidation-tags-required": { code: "SC6126", docsUrl: "https://supacloud.dev/errors/SC6126" },
     "feature-route-unresolved": { code: "SC6106", docsUrl: "https://supacloud.dev/errors/SC6106" },
     "feature-route-drift": { code: "SC6107", docsUrl: "https://supacloud.dev/errors/SC6107" },
     "invalid-feature-spec": { code: "SC6108", docsUrl: "https://supacloud.dev/errors/SC6108" }
@@ -1514,6 +1547,7 @@ function buildContractManifest(graph, artifacts) {
       features.push({
         name: module.featureSpec.name,
         states: [...module.featureSpec.states],
+        ...module.featureSpec.database === undefined ? {} : { database: module.featureSpec.database },
         ...module.featureSpec.tenantField === undefined ? {} : { tenantField: module.featureSpec.tenantField },
         transitions: module.featureSpec.transitions.map((transition) => {
           const job = transition.job === undefined ? undefined : (module.jobs ?? []).find((candidate) => candidate.className === transition.job || candidate.name === transition.job);
@@ -19613,6 +19647,10 @@ function parseFeatureSpec(input, ctx, seen = new Set) {
   if (!ts7.isObjectLiteralExpression(input))
     return invalid();
   const name = stringLiteralProp(input, "name");
+  const databaseExpr = getProp(input, "database");
+  const database = databaseExpr && ts7.isObjectLiteralExpression(databaseExpr) ? parseFeatureDatabaseSource(databaseExpr) : undefined;
+  if (databaseExpr !== undefined && database === undefined)
+    return invalid();
   const tenantField = stringLiteralProp(input, "tenantField");
   const statesExpr = getProp(input, "states");
   const transitionObject = getProp(input, "transitions");
@@ -19672,12 +19710,29 @@ function parseFeatureSpec(input, ctx, seen = new Set) {
   return {
     name,
     states,
+    ...database === undefined ? {} : { database },
     ...tenantField === undefined ? {} : { tenantField },
     transitions,
     file: sourcePath(ctx.rootDir, input.getSourceFile().fileName),
     line: lineOf(input)
   };
 }
+function parseFeatureDatabaseSource(input) {
+  if (input.properties.some((property) => !ts7.isPropertyAssignment(property)))
+    return;
+  const source = stringLiteralProp(input, "source");
+  const table = stringLiteralProp(input, "table");
+  const rowType = stringLiteralProp(input, "rowType");
+  if (!source || !table || !rowType)
+    return;
+  if (source.startsWith("/") || source.includes("\\") || source.split("/").includes("..") || !/^[A-Za-z0-9._/-]+$/.test(source))
+    return;
+  if (!/^[A-Za-z_][A-Za-z0-9_]*\.[A-Za-z_][A-Za-z0-9_]*$/.test(table))
+    return;
+  if (!/^[A-Za-z_$][A-Za-z0-9_$]*(?:\.[A-Za-z_$][A-Za-z0-9_$]*)*$/.test(rowType))
+    return;
+  return { source, table, rowType };
+}
 function parseFeaturePersistence(input) {
   if (input.properties.some((property) => !ts7.isPropertyAssignment(property)))
     return;
@@ -24951,10 +25006,10 @@ import { readFileSync as readFileSync4 } from "node:fs";
 import { resolve as resolve18 } from "node:path";
 
 // src/migration-app-version.ts
-var MIGRATION_APP_VERSION = "0.30.0";
+var MIGRATION_APP_VERSION = "0.31.1";
 
 // src/migration-elysia-version.ts
-var MIGRATION_ELYSIA_VERSION = "0.35.0";
+var MIGRATION_ELYSIA_VERSION = "0.35.2";
 
 // src/migration-policy.ts
 var cachedCompilerVersion;

package/dist/contract-manifest.d.ts

@@ -1,4 +1,4 @@
-import type { ApplicationGraph, FeaturePersistenceNode } from "./types";
+import type { ApplicationGraph, FeatureDatabaseSourceNode, FeaturePersistenceNode } from "./types";
 export interface ContractManifest {
     version: 1;
     commands: Array<{
@@ -41,6 +41,7 @@ export interface ContractManifest {
     features: Array<{
         name: string;
         states: string[];
+        database?: FeatureDatabaseSourceNode;
         tenantField?: string;
         transitions: Array<{
             name: string;

package/dist/index.d.ts

@@ -52,7 +52,7 @@ export { DEFAULT_SUPACLOUD_CONFIG, compileOptionsFromConfig, defineSupacloudConf
 export type { SupaCloudConfig } from "./config";
 export { camelName } from "./util";
 export { ANGULAR_ENTERPRISE_RULES, CLEAN_ARCHITECTURE_RULES, MODULAR_MONOLITH_RULES, MODULE_BOUNDARY_PROFILES, getModuleBoundaryPreset, getModuleBoundaryProfile, resolveModuleBoundaries, } from "./profiles";
-export type { ApplicationGraph, AspectRefNode, CachedModuleEntry, CheckProjectResult, CommandExecutionCapabilities, CommandNode, CompileOptions, DatabaseGovernanceOptions, CompileResult, CompileStats, ControllerNode, DependencyGraphCache, DependencyGraphIndex, Diagnostic, DiagnosticFix, EffectCompilerOptions, EffectErrorMappingNode, EffectRetryPolicy, EffectRouteNode, ModuleBoundaryPresetName, ModuleBoundaryProfile, ModuleBoundaryRule, ModuleNode, JobNode, ProviderKind, ProviderNode, QueryNode, RouteNode, Scope, TokenKind, TypeSafetyOptions, ValidateOptions, WatchEvent, WatchHandle, WatchOptions, FeatureSpecNode, FeatureTransitionNode, FeaturePersistenceNode, GraphqlOptions, GraphqlContractSummary, OpenApiOptions, OpenApiSecurityScheme, OpenApiServer, } from "./types";
+export type { ApplicationGraph, AspectRefNode, CachedModuleEntry, CheckProjectResult, CommandExecutionCapabilities, CommandNode, CompileOptions, DatabaseGovernanceOptions, CompileResult, CompileStats, ControllerNode, DependencyGraphCache, DependencyGraphIndex, Diagnostic, DiagnosticFix, EffectCompilerOptions, EffectErrorMappingNode, EffectRetryPolicy, EffectRouteNode, ModuleBoundaryPresetName, ModuleBoundaryProfile, ModuleBoundaryRule, ModuleNode, JobNode, ProviderKind, ProviderNode, QueryNode, RouteNode, Scope, TokenKind, TypeSafetyOptions, ValidateOptions, WatchEvent, WatchHandle, WatchOptions, FeatureSpecNode, FeatureTransitionNode, FeatureDatabaseSourceNode, FeaturePersistenceNode, GraphqlOptions, GraphqlContractSummary, OpenApiOptions, OpenApiSecurityScheme, OpenApiServer, } from "./types";
 export { inspectRouteContracts, validateRouteContracts } from "./route-contracts";
 export { validateEffectPolicies, validateJobPolicies } from "./effect-governance";
 export { pullGraphqlSchema } from "./graphql-schema";

package/dist/index.js

@@ -269,6 +269,21 @@ function validateFeatureSpec(spec, module) {
   if (spec.tenantField !== undefined && !/^[A-Za-z_][A-Za-z0-9_]*$/.test(spec.tenantField)) {
     error("feature-tenant-boundary-invalid", `Feature ${spec.name} declares an unsafe tenant field.`);
   }
+  const databaseTransition = spec.transitions.some((transition) => transition.persistence?.boundary === "database");
+  if (databaseTransition && spec.database === undefined && spec.file !== undefined) {
+    error("feature-database-source-required", `Database Feature ${spec.name} must declare its database source, table and rowType.`);
+  }
+  if (spec.database !== undefined) {
+    if (spec.database.source.startsWith("/") || spec.database.source.includes("\\") || spec.database.source.split("/").includes("..") || !/^[A-Za-z0-9._/-]+$/.test(spec.database.source)) {
+      error("feature-database-source-invalid", `Feature ${spec.name} declares an unsafe database source.`);
+    }
+    if (!/^[A-Za-z_][A-Za-z0-9_]*\.[A-Za-z_][A-Za-z0-9_]*$/.test(spec.database.table)) {
+      error("feature-database-table-invalid", `Feature ${spec.name} must use a schema-qualified database table.`);
+    }
+    if (!/^[A-Za-z_$][A-Za-z0-9_$]*(?:\.[A-Za-z_$][A-Za-z0-9_$]*)*$/.test(spec.database.rowType)) {
+      error("feature-database-row-type-invalid", `Feature ${spec.name} declares an unsafe database row type.`);
+    }
+  }
   const names = new Set;
   for (const transition of spec.transitions) {
     if (!transition.name.trim() || names.has(transition.name)) {
@@ -374,6 +389,17 @@ function validateFeatureSpec(spec, module) {
         }
       }
     }
+    const declaredTags = module ? new Set(module.controllers.flatMap((controller) => controller.routes.flatMap((route) => route.tags ?? []))) : new Set;
+    if (transition.persistence !== undefined && declaredTags.size > 0 && transition.invalidateTags === undefined) {
+      error("feature-invalidation-tags-required", `Persistent transition ${transition.name} must declare invalidateTags when Feature ${spec.name} exposes query tags.`);
+    }
+    if (transition.invalidateTags !== undefined && declaredTags.size > 0) {
+      for (const tag of transition.invalidateTags) {
+        if (!declaredTags.has(tag)) {
+          error("feature-invalidation-tag-unresolved", `Transition ${transition.name} invalidates '${tag}', but Feature ${spec.name} does not declare that query tag.`);
+        }
+      }
+    }
     if (transition.route) {
       const routes = module.controllers.flatMap((controller) => controller.routes.filter((route) => `${route.method} ${joinRoutePaths(controller.path, route.path)}` === transition.route));
       if (routes.length !== 1) {
@@ -405,6 +431,7 @@ function generateFeatureSource(spec) {
   const sourceSpec = {
     name: spec.name,
     states: spec.states,
+    ...spec.database === undefined ? {} : { database: spec.database },
     tenantField: spec.tenantField ?? "tenant_id",
     transitions: Object.fromEntries(transitions.map((transition) => {
       const { name, ...options } = transition;
@@ -1423,8 +1450,9 @@ var init_validate = __esm(() => {
     "feature-governance-drift": { code: "SC6105", docsUrl: "https://supacloud.dev/errors/SC6105" },
     "feature-persistence-invalid": { code: "SC6110", docsUrl: "https://supacloud.dev/errors/SC6110" },
     "feature-persistence-drift": { code: "SC6111", docsUrl: "https://supacloud.dev/errors/SC6111" },
+    "feature-invalidation-tag-unresolved": { code: "SC6113", docsUrl: "https://supacloud.dev/errors/SC6113" },
     "feature-tenant-boundary-invalid": { code: "SC6112", docsUrl: "https://supacloud.dev/errors/SC6112" },
-    "feature-tenant-boundary-drift": { code: "SC6113", docsUrl: "https://supacloud.dev/errors/SC6113" },
+    "feature-tenant-boundary-drift": { code: "SC6127", docsUrl: "https://supacloud.dev/errors/SC6127" },
     "feature-query-tenant-boundary": { code: "SC6114", docsUrl: "https://supacloud.dev/errors/SC6114" },
     "feature-job-tenant-boundary": { code: "SC6115", docsUrl: "https://supacloud.dev/errors/SC6115" },
     "feature-command-tenant-boundary": { code: "SC6116", docsUrl: "https://supacloud.dev/errors/SC6116" },
@@ -1433,6 +1461,11 @@ var init_validate = __esm(() => {
     "feature-job-mode": { code: "SC6119", docsUrl: "https://supacloud.dev/errors/SC6119" },
     "feature-job-contract": { code: "SC6120", docsUrl: "https://supacloud.dev/errors/SC6120" },
     "feature-job-context": { code: "SC6121", docsUrl: "https://supacloud.dev/errors/SC6121" },
+    "feature-database-source-required": { code: "SC6122", docsUrl: "https://supacloud.dev/errors/SC6122" },
+    "feature-database-source-invalid": { code: "SC6123", docsUrl: "https://supacloud.dev/errors/SC6123" },
+    "feature-database-table-invalid": { code: "SC6124", docsUrl: "https://supacloud.dev/errors/SC6124" },
+    "feature-database-row-type-invalid": { code: "SC6125", docsUrl: "https://supacloud.dev/errors/SC6125" },
+    "feature-invalidation-tags-required": { code: "SC6126", docsUrl: "https://supacloud.dev/errors/SC6126" },
     "feature-route-unresolved": { code: "SC6106", docsUrl: "https://supacloud.dev/errors/SC6106" },
     "feature-route-drift": { code: "SC6107", docsUrl: "https://supacloud.dev/errors/SC6107" },
     "invalid-feature-spec": { code: "SC6108", docsUrl: "https://supacloud.dev/errors/SC6108" }
@@ -1513,6 +1546,7 @@ function buildContractManifest(graph, artifacts) {
       features.push({
         name: module.featureSpec.name,
         states: [...module.featureSpec.states],
+        ...module.featureSpec.database === undefined ? {} : { database: module.featureSpec.database },
         ...module.featureSpec.tenantField === undefined ? {} : { tenantField: module.featureSpec.tenantField },
         transitions: module.featureSpec.transitions.map((transition) => {
           const job = transition.job === undefined ? undefined : (module.jobs ?? []).find((candidate) => candidate.className === transition.job || candidate.name === transition.job);
@@ -19572,6 +19606,10 @@ function parseFeatureSpec(input, ctx, seen = new Set) {
   if (!ts7.isObjectLiteralExpression(input))
     return invalid();
   const name = stringLiteralProp(input, "name");
+  const databaseExpr = getProp(input, "database");
+  const database = databaseExpr && ts7.isObjectLiteralExpression(databaseExpr) ? parseFeatureDatabaseSource(databaseExpr) : undefined;
+  if (databaseExpr !== undefined && database === undefined)
+    return invalid();
   const tenantField = stringLiteralProp(input, "tenantField");
   const statesExpr = getProp(input, "states");
   const transitionObject = getProp(input, "transitions");
@@ -19631,12 +19669,29 @@ function parseFeatureSpec(input, ctx, seen = new Set) {
   return {
     name,
     states,
+    ...database === undefined ? {} : { database },
     ...tenantField === undefined ? {} : { tenantField },
     transitions,
     file: sourcePath(ctx.rootDir, input.getSourceFile().fileName),
     line: lineOf(input)
   };
 }
+function parseFeatureDatabaseSource(input) {
+  if (input.properties.some((property) => !ts7.isPropertyAssignment(property)))
+    return;
+  const source = stringLiteralProp(input, "source");
+  const table = stringLiteralProp(input, "table");
+  const rowType = stringLiteralProp(input, "rowType");
+  if (!source || !table || !rowType)
+    return;
+  if (source.startsWith("/") || source.includes("\\") || source.split("/").includes("..") || !/^[A-Za-z0-9._/-]+$/.test(source))
+    return;
+  if (!/^[A-Za-z_][A-Za-z0-9_]*\.[A-Za-z_][A-Za-z0-9_]*$/.test(table))
+    return;
+  if (!/^[A-Za-z_$][A-Za-z0-9_$]*(?:\.[A-Za-z_$][A-Za-z0-9_$]*)*$/.test(rowType))
+    return;
+  return { source, table, rowType };
+}
 function parseFeaturePersistence(input) {
   if (input.properties.some((property) => !ts7.isPropertyAssignment(property)))
     return;
@@ -24633,10 +24688,10 @@ import { readFileSync as readFileSync4 } from "node:fs";
 import { resolve as resolve17 } from "node:path";
 
 // src/migration-app-version.ts
-var MIGRATION_APP_VERSION = "0.30.0";
+var MIGRATION_APP_VERSION = "0.31.1";
 
 // src/migration-elysia-version.ts
-var MIGRATION_ELYSIA_VERSION = "0.35.0";
+var MIGRATION_ELYSIA_VERSION = "0.35.2";
 
 // src/migration-policy.ts
 var cachedCompilerVersion;

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

@@ -1 +1 @@
-export declare const MIGRATION_APP_VERSION = "0.30.0";
+export declare const MIGRATION_APP_VERSION = "0.31.1";

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

@@ -1 +1 @@
-export declare const MIGRATION_ELYSIA_VERSION = "0.35.0";
+export declare const MIGRATION_ELYSIA_VERSION = "0.35.2";

package/dist/types.d.ts

@@ -372,9 +372,15 @@ export interface FeaturePersistenceNode {
     receipt: "required" | "none";
     reconciliation: "required" | "none";
 }
+export interface FeatureDatabaseSourceNode {
+    source: string;
+    table: string;
+    rowType: string;
+}
 export interface FeatureSpecNode {
     name: string;
     states: string[];
+    database?: FeatureDatabaseSourceNode;
     tenantField?: string;
     transitions: FeatureTransitionNode[];
     file?: string;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@supacloud/compiler",
-  "version": "0.49.0",
+  "version": "0.50.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",
@@ -73,7 +73,7 @@
     "@whatwg-node/promise-helpers": "2.0.0"
   },
   "devDependencies": {
-    "@supabase/supabase-js": "2.117.3",
+    "@supabase/supabase-js": "2.118.0",
     "drizzle-orm": "1.0.0-rc.5-5935859",
     "@types/bun": "^1.4.3",
     "typescript": "^7.0.2"