@supacloud/compiler 0.42.0 → 0.43.0

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

@@ -1 +1 @@
-export declare const MIGRATION_APP_VERSION = "0.24.0";
+export declare const MIGRATION_APP_VERSION = "0.25.0";

package/dist/source-semantics.d.ts

@@ -0,0 +1,18 @@
+import * as ts from "@typescript/typescript6";
+import type { Diagnostic } from "./types";
+export declare const SOURCE_SEMANTIC_DIAGNOSTIC_CODES: {
+    readonly "source-unsafe-any": {
+        readonly errorCode: "SC6009";
+        readonly docsUrl: "https://supacloud.dev/errors/SC6009";
+    };
+    readonly "source-floating-promise": {
+        readonly errorCode: "SC6010";
+        readonly docsUrl: "https://supacloud.dev/errors/SC6010";
+    };
+    readonly "source-non-exhaustive-switch": {
+        readonly errorCode: "SC6011";
+        readonly docsUrl: "https://supacloud.dev/errors/SC6011";
+    };
+};
+/** 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): Diagnostic[];

package/dist/type-safety.d.ts

@@ -24,6 +24,18 @@ export declare const TYPE_SAFETY_DIAGNOSTIC_CODES: {
         readonly errorCode: "SC6006";
         readonly docsUrl: "https://supacloud.dev/errors/SC6006";
     };
+    readonly "source-unsafe-any": {
+        readonly errorCode: "SC6009";
+        readonly docsUrl: "https://supacloud.dev/errors/SC6009";
+    };
+    readonly "source-floating-promise": {
+        readonly errorCode: "SC6010";
+        readonly docsUrl: "https://supacloud.dev/errors/SC6010";
+    };
+    readonly "source-non-exhaustive-switch": {
+        readonly errorCode: "SC6011";
+        readonly docsUrl: "https://supacloud.dev/errors/SC6011";
+    };
     readonly "sql-result-assertion": {
         readonly errorCode: "SC6007";
         readonly docsUrl: "https://supacloud.dev/errors/SC6007";

package/dist/types.d.ts

@@ -425,7 +425,7 @@ export interface CompileOptions {
     disallowControllerDirectDb?: boolean;
     /** Detect modules declared in the project that are unreachable from any root module. */
     detectOrphanModules?: boolean;
-    /** Explicit unsafe opt-in to emit artifacts with errors (default: false). */
+    /** Emit artifacts with governance errors (default: false). Type errors always prevent emission. */
     writeOnError?: boolean;
     /** Generate typed API client in client.ts (default: false). */
     generateClient?: boolean;
@@ -528,9 +528,9 @@ export interface GraphqlContractSummary {
     }>;
 }
 export interface TypeSafetyOptions {
-    /** Reject the `any` keyword in generated TypeScript artifacts. */
+    /** @deprecated Generated `any` checks are mandatory; false no longer disables them. */
     noAnyInGenerated?: boolean;
-    /** Scan non-test production source for unsafe type escapes and widening. */
+    /** @deprecated Production type checks are mandatory; false no longer disables them. */
     scanProductionSource?: boolean;
     /** Additional relative glob patterns excluded from the production-source scan. */
     exclude?: string[];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@supacloud/compiler",
-  "version": "0.42.0",
+  "version": "0.43.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",