@supacloud/compiler 0.11.0 → 0.13.0

package/dist/inspect.d.ts

@@ -1,14 +1,27 @@
 import type { ApplicationGraph, Diagnostic, ModuleNode } from "./types";
+import { inspectRouteContracts } from "./route-contracts";
+export interface ExecutionPlan {
+    module: string;
+    kind: "route" | "command" | "job";
+    name: string;
+    command?: string;
+    /** Standard governance contract. Audit success follows the handler; custom executors may short-circuit. */
+    stages: string[];
+}
 export interface ContextPack {
     version: 1;
     subject: string;
     modules: ModuleNode[];
     files: string[];
     externalTokens: string[];
+    executionPlans: ExecutionPlan[];
+    routeContracts: ReturnType<typeof inspectRouteContracts>;
+    diagnostics: Diagnostic[];
     relatedModules: {
         importedBy: string[];
         imports: string[];
     };
+    graphql?: ApplicationGraph["graphql"];
 }
 export interface DoctorResult {
     checks: Array<{
@@ -26,6 +39,8 @@ export declare function explainGraph(graph: ApplicationGraph, subject: string):
  * editing one feature: the subject module, its imports, and its dependents.
  */
 export declare function createContextPack(graph: ApplicationGraph, subject: string): ContextPack;
+/** Static plan, not runtime discovery; custom executors remain explicit boundaries. */
+export declare function createExecutionPlans(graph: ApplicationGraph): ExecutionPlan[];
 export declare function doctorProject(rootDir: string, outDir: string, graph: ApplicationGraph, upToDate: boolean, diagnostics?: Diagnostic[]): DoctorResult;
 /**
  * Exports the application module architecture as a Mermaid graph diagram.

package/dist/route-contracts.d.ts

@@ -8,5 +8,13 @@ export declare function inspectRouteContracts(graph: ApplicationGraph): {
     path: string;
     file: string;
     missing: ("query" | "body" | "params" | "response")[];
+    validation: {
+        body: string;
+        response: string;
+        schemas: Partial<Record<"query" | "body" | "params" | "response", "opaque" | "declared">>;
+        evidence: string | null;
+        verified: false;
+        obligations: string[];
+    };
 }[];
 export declare function validateRouteContracts(graph: ApplicationGraph): Diagnostic[];

package/dist/types.d.ts

@@ -21,6 +21,8 @@ export interface FunctionalInjectNode {
     host?: boolean;
 }
 export interface AspectRefNode {
+    /** Exact project-local source path for context packs. */
+    file?: string;
     /** Exported symbol name used in the generated static import. */
     name: string;
     /** Source expression retained for diagnostics and manifest inspection. */
@@ -50,6 +52,14 @@ export interface Diagnostic {
  * than raw text offsets so fixes remain valid after unrelated edits.
  */
 export type DiagnosticFix = {
+    type: "set_command_mode";
+    targetFile: string;
+    command: string;
+    property: "transaction" | "idempotency";
+    expectedExpression: string;
+    /** Must be selected by the caller; never infer weaker governance. */
+    value?: "required" | "none";
+} | {
     type: "add_module_import";
     targetFile: string;
     module: string;
@@ -136,6 +146,13 @@ export interface HandlerParamNode {
     default?: unknown;
 }
 export interface RouteNode {
+    contract?: {
+        body?: "framework" | "domain";
+        response?: "framework" | "native-json" | "binary" | "stream";
+        evidence?: string;
+    };
+    schemaKinds?: Partial<Record<"body" | "params" | "query" | "response", "opaque" | "declared">>;
+    nativeResponse?: boolean;
     method: "GET" | "POST" | "PUT" | "PATCH" | "DELETE" | "HEAD" | "OPTIONS";
     path: string;
     handler: string;
@@ -206,6 +223,7 @@ export interface ControllerNode {
     schemaImports?: Record<string, string>;
 }
 export interface CommandNode {
+    rpc?: string;
     className: string;
     name: string;
     permission?: string;
@@ -269,6 +287,8 @@ export interface ModuleNode {
     featureSpec?: FeatureSpecNode;
 }
 export interface ApplicationGraph {
+    /** Offline query inventory for AI context. Kept in graphql.manifest.json, not app.manifest.json. */
+    graphql?: GraphqlContractSummary;
     modules: ModuleNode[];
     /** Depended token names provided by platform injection rather than any module. */
     externalTokens: string[];
@@ -290,6 +310,8 @@ export interface ApplicationGraph {
     };
 }
 export interface CompileOptions {
+    /** Opt-in, offline GraphQL query contracts backed by a role-scoped schema snapshot. */
+    graphql?: GraphqlOptions;
     /** Require schemas for bound route inputs and responses. Does not prove runtime validation. */
     requireRouteContracts?: boolean;
     /** Project root directory (containing tsconfig). */
@@ -312,7 +334,7 @@ export interface CompileOptions {
     disallowControllerDirectDb?: boolean;
     /** Detect modules declared in the project that are unreachable from any root module. */
     detectOrphanModules?: boolean;
-    /** Write generated artifacts even when error-level diagnostics exist (default: true). */
+    /** Explicit unsafe opt-in to emit artifacts with errors (default: false). */
     writeOnError?: boolean;
     /** Generate typed API client in client.ts (default: false). */
     generateClient?: boolean;
@@ -330,6 +352,30 @@ export interface CompileOptions {
     /** Type-safety gates for generated artifacts and production source. */
     typeSafety?: TypeSafetyOptions;
 }
+export interface GraphqlOptions {
+    /** Additionally emit standard TypedDocumentNode artifacts for GraphQL ecosystem clients. */
+    typedDocuments?: boolean;
+    /** Exported role-scoped database snapshot (.graphql/.gql/.json), never authored SDL or executable code.
+     * Relative to rootDir for the programmatic API. Offline compilation does not attest its origin. */
+    schema: string;
+    /** Query/fragment globs relative to rootDir. Defaults to all .graphql and .gql files. */
+    documents?: string[];
+    /** Explicit wire types for custom scalars. Unmapped scalars remain unknown. */
+    scalars?: Record<string, string | {
+        input: string;
+        output: string;
+    }>;
+}
+export interface GraphqlContractSummary {
+    schema: string;
+    schemaHash?: string;
+    documents: string[];
+    operations: Array<{
+        name: string;
+        file: string;
+        line: number;
+    }>;
+}
 export interface TypeSafetyOptions {
     /** Reject the `any` keyword in generated TypeScript artifacts. */
     noAnyInGenerated?: boolean;
@@ -368,6 +414,12 @@ export interface ValidateOptions {
 }
 /** Runtime capabilities declared by the Command executor. */
 export interface CommandExecutionCapabilities {
+    /** Explicit named adapters; declarations must also be tested against the database. */
+    rpc?: Record<string, {
+        audit?: boolean;
+        idempotency?: boolean;
+        transaction?: boolean;
+    }>;
     /** Whether runtime permission checks are supported. */
     permission?: boolean;
     /** Whether runtime audit persistence is supported. */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@supacloud/compiler",
-  "version": "0.11.0",
+  "version": "0.13.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",
@@ -22,7 +22,7 @@
   ],
   "scripts": {
     "build": "bun run clean && bun run build:js && bun run build:types",
-    "build:js": "bun build src/index.ts src/cli.ts --outdir dist --target node --external @typescript/typescript6",
+    "build:js": "bun build src/index.ts src/cli.ts --outdir dist --target node --external @typescript/typescript6 --external graphql --external '@graphql-codegen/*'",
     "build:types": "tsc -p tsconfig.json --emitDeclarationOnly",
     "clean": "rm -rf dist",
     "prepublishOnly": "bun run build",
@@ -45,7 +45,13 @@
     "directory": "packages/compiler"
   },
   "dependencies": {
-    "@typescript/typescript6": "^6.0.2"
+    "@graphql-codegen/core": "^6.2.0",
+    "@graphql-codegen/typed-document-node": "^7.1.0",
+    "@graphql-codegen/typescript": "^6.1.0",
+    "@graphql-codegen/typescript-operations": "^6.1.6",
+    "@graphql-typed-document-node/core": "^3.2.0",
+    "@typescript/typescript6": "^6.0.2",
+    "graphql": "^16"
   },
   "devDependencies": {
     "@types/bun": "^1.4.0",