@mmapp/react-compiler 0.1.0-alpha.3 → 0.1.0-alpha.5

package/dist/envelope.mjs

@@ -1,8 +1,8 @@
 import {
   buildEnvelope
-} from "./chunk-JLA5VNQ3.mjs";
+} from "./chunk-J7JUAHS4.mjs";
 import "./chunk-5M7DKKBC.mjs";
-import "./chunk-FYT47UBU.mjs";
+import "./chunk-OPJKP747.mjs";
 import "./chunk-CIESM3BP.mjs";
 export {
   buildEnvelope

package/dist/index.d.mts

@@ -581,6 +581,8 @@ interface DeployOptions {
     dryRun?: boolean;
     /** Write deploy report to this file. */
     reportFile?: string;
+    /** Resolved target name (for display). */
+    targetName?: string;
 }
 interface DeployResult {
     created: string[];
@@ -591,6 +593,11 @@ interface DeployResult {
         slug: string;
         error: string;
     }[];
+    services?: {
+        registered: string[];
+        updated: string[];
+        failed: string[];
+    };
 }
 declare function deploy(options: DeployOptions): Promise<DeployResult>;
 
@@ -1100,4 +1107,152 @@ declare class IncrementalProjectCompiler {
     } & IncrementalStats;
 }
 
-export { type ActionCompilationResult, type ActionCompilerOptions, CompilerOptions, CompilerState, type ComputedFieldExtraction, type DecompileOptions, type DecompileProjectOptions, type DecompileProjectResult, type DecompileResult, type DecompilerInput, type DependencyEdge, type DeployOptions, type DeployResult, type DirtyFileSet, ExtractedWorkflow, type FileHash, FileRole, type FrontendDataSource, type FrontendExperienceNode, type ImportLink, IncrementalCache, IncrementalProjectCompiler, type IncrementalStats, type LayoutEntry, type ModelCompilationResult, type ModelCompilerOptions, type ProjectCompilationError, type ProjectCompilationResult, type ProjectCompilerOptions, type ProjectFile, type RoundTripDiff, type RoundTripResult, type RouteEntry, type RouteExtractionResult, type RouteExtractorOptions, type RouteTableEntry, type ServerActionEntry, type ServerActionRegistration, buildDependencyGraph, compileActions, compileModel, compileModels, compileProject, compileSource, compilerStateToWorkflow, computeTransitiveDirtySet, createVisitor, decompile, decompileProject, decompileToTSX, deploy, emitCanonical, emitCompiledOutput, emitIR, emitPureForm, extractComponents, extractComputed, extractEffects, extractEvents, extractImports, extractRoutes, extractStates, extractTransitions, hashContent, normalizeDecompilerInput, resolveActionReferences, resolveImport, shouldDecompileAsProject, topologicalSort, transformToFrontend, validateRoundTrip, validateSourceRoundTrip };
+/**
+ * Diagnostic System — structured error/warning/info/hint collection and formatting.
+ *
+ * Provides a DiagnosticCollector that accumulates diagnostics during compilation,
+ * categorized by severity and tagged with machine-readable codes.
+ *
+ * Diagnostic codes are namespaced by extractor:
+ *   FLOW001-099  — Flow (imperative workflow) extractor
+ *   MDLW001-099  — Middleware extractor
+ *   CNST001-099  — Constraint extractor
+ *   ACTR001-099  — Actor extractor
+ *   HOOK001-099  — Hook-based visitor diagnostics
+ *   MODL001-099  — Model extractor
+ *   EMIT001-099  — Emitter diagnostics
+ */
+type DiagnosticSeverity = 'error' | 'warning' | 'info' | 'hint';
+interface DiagnosticLocation {
+    file?: string;
+    line?: number;
+    column?: number;
+}
+interface Diagnostic {
+    severity: DiagnosticSeverity;
+    code: string;
+    message: string;
+    file?: string;
+    line?: number;
+    column?: number;
+    suggestion?: string;
+}
+/**
+ * All known diagnostic codes with their default messages.
+ * Extractors reference these codes when reporting issues.
+ */
+declare const DIAGNOSTIC_CODES: {
+    readonly FLOW001: "No default export async function found";
+    readonly FLOW002: "Workflow function has no typed parameter";
+    readonly FLOW003: "Interface not found for parameter type";
+    readonly FLOW004: "Unknown function call in workflow body";
+    readonly FLOW005: "userAction() without a following state (cannot resolve transition target)";
+    readonly FLOW006: "Import could not be resolved as a service";
+    readonly FLOW007: "validate() with unparseable condition";
+    readonly MDLW001: "defineMiddleware() missing required 'name' field";
+    readonly MDLW002: "Invalid match pattern format";
+    readonly MDLW003: "No before/after/around handler defined";
+    readonly CNST001: "Unknown built-in constraint name";
+    readonly CNST002: "Empty constraint list";
+    readonly ACTR001: "Invalid supervision strategy";
+    readonly ACTR002: "spawnActor() called outside workflow function";
+    readonly HOOK001: "Forbidden hook in strict mode";
+    readonly HOOK002: "Raw useEffect in infer mode (component becomes opaque)";
+    readonly HOOK003: "Forbidden import in strict mode";
+    readonly MODL001: "defineModel() missing required fields";
+    readonly MODL002: "Unknown field type in model definition";
+    readonly EMIT001: "Empty workflow — no states, fields, or experience extracted";
+};
+type DiagnosticCode = keyof typeof DIAGNOSTIC_CODES;
+declare class DiagnosticCollector {
+    private diagnostics;
+    /**
+     * Record an error diagnostic.
+     */
+    error(code: string, message: string, location?: DiagnosticLocation, suggestion?: string): void;
+    /**
+     * Record a warning diagnostic.
+     */
+    warning(code: string, message: string, location?: DiagnosticLocation, suggestion?: string): void;
+    /**
+     * Record an informational diagnostic.
+     */
+    info(code: string, message: string): void;
+    /**
+     * Record a hint diagnostic (always includes a suggestion).
+     */
+    hint(code: string, message: string, suggestion: string): void;
+    /**
+     * Whether any error-level diagnostics have been recorded.
+     */
+    hasErrors(): boolean;
+    /**
+     * Whether any warning-level diagnostics have been recorded.
+     */
+    hasWarnings(): boolean;
+    /**
+     * Total number of diagnostics collected.
+     */
+    get count(): number;
+    /**
+     * Return all collected diagnostics.
+     */
+    getAll(): Diagnostic[];
+    /**
+     * Return only error-severity diagnostics.
+     */
+    getErrors(): Diagnostic[];
+    /**
+     * Return only warning-severity diagnostics.
+     */
+    getWarnings(): Diagnostic[];
+    /**
+     * Return only info-severity diagnostics.
+     */
+    getInfos(): Diagnostic[];
+    /**
+     * Return only hint-severity diagnostics.
+     */
+    getHints(): Diagnostic[];
+    /**
+     * Merge diagnostics from another collector into this one.
+     */
+    merge(other: DiagnosticCollector): void;
+    /**
+     * Clear all collected diagnostics.
+     */
+    clear(): void;
+    /**
+     * Pretty-print all diagnostics for terminal output.
+     *
+     * Format:
+     *   error[FLOW001]: No default export async function found
+     *     --> models/task.ts
+     *     = hint: Add `export default async function taskWorkflow(task: Task) { ... }`
+     *
+     *   warning[FLOW004]: Unknown function 'processData' in workflow body
+     *     --> models/order.ts:15:5
+     *     = note: Not a local async function, not imported, and not a stdlib function
+     *     = hint: Did you mean to import it?
+     */
+    format(): string;
+    /**
+     * Machine-readable JSON representation.
+     */
+    toJSON(): {
+        diagnostics: Diagnostic[];
+        summary: {
+            errors: number;
+            warnings: number;
+            infos: number;
+            hints: number;
+            total: number;
+        };
+    };
+}
+/**
+ * Create a fresh DiagnosticCollector instance.
+ */
+declare function createDiagnosticCollector(): DiagnosticCollector;
+
+export { type ActionCompilationResult, type ActionCompilerOptions, CompilerOptions, CompilerState, type ComputedFieldExtraction, DIAGNOSTIC_CODES, type DecompileOptions, type DecompileProjectOptions, type DecompileProjectResult, type DecompileResult, type DecompilerInput, type DependencyEdge, type DeployOptions, type DeployResult, type Diagnostic, type DiagnosticCode, DiagnosticCollector, type DiagnosticLocation, type DiagnosticSeverity, type DirtyFileSet, ExtractedWorkflow, type FileHash, FileRole, type FrontendDataSource, type FrontendExperienceNode, type ImportLink, IncrementalCache, IncrementalProjectCompiler, type IncrementalStats, type LayoutEntry, type ModelCompilationResult, type ModelCompilerOptions, type ProjectCompilationError, type ProjectCompilationResult, type ProjectCompilerOptions, type ProjectFile, type RoundTripDiff, type RoundTripResult, type RouteEntry, type RouteExtractionResult, type RouteExtractorOptions, type RouteTableEntry, type ServerActionEntry, type ServerActionRegistration, buildDependencyGraph, compileActions, compileModel, compileModels, compileProject, compileSource, compilerStateToWorkflow, computeTransitiveDirtySet, createDiagnosticCollector, createVisitor, decompile, decompileProject, decompileToTSX, deploy, emitCanonical, emitCompiledOutput, emitIR, emitPureForm, extractComponents, extractComputed, extractEffects, extractEvents, extractImports, extractRoutes, extractStates, extractTransitions, hashContent, normalizeDecompilerInput, resolveActionReferences, resolveImport, shouldDecompileAsProject, topologicalSort, transformToFrontend, validateRoundTrip, validateSourceRoundTrip };

package/dist/index.d.ts

@@ -581,6 +581,8 @@ interface DeployOptions {
     dryRun?: boolean;
     /** Write deploy report to this file. */
     reportFile?: string;
+    /** Resolved target name (for display). */
+    targetName?: string;
 }
 interface DeployResult {
     created: string[];
@@ -591,6 +593,11 @@ interface DeployResult {
         slug: string;
         error: string;
     }[];
+    services?: {
+        registered: string[];
+        updated: string[];
+        failed: string[];
+    };
 }
 declare function deploy(options: DeployOptions): Promise<DeployResult>;
 
@@ -1100,4 +1107,152 @@ declare class IncrementalProjectCompiler {
     } & IncrementalStats;
 }
 
-export { type ActionCompilationResult, type ActionCompilerOptions, CompilerOptions, CompilerState, type ComputedFieldExtraction, type DecompileOptions, type DecompileProjectOptions, type DecompileProjectResult, type DecompileResult, type DecompilerInput, type DependencyEdge, type DeployOptions, type DeployResult, type DirtyFileSet, ExtractedWorkflow, type FileHash, FileRole, type FrontendDataSource, type FrontendExperienceNode, type ImportLink, IncrementalCache, IncrementalProjectCompiler, type IncrementalStats, type LayoutEntry, type ModelCompilationResult, type ModelCompilerOptions, type ProjectCompilationError, type ProjectCompilationResult, type ProjectCompilerOptions, type ProjectFile, type RoundTripDiff, type RoundTripResult, type RouteEntry, type RouteExtractionResult, type RouteExtractorOptions, type RouteTableEntry, type ServerActionEntry, type ServerActionRegistration, buildDependencyGraph, compileActions, compileModel, compileModels, compileProject, compileSource, compilerStateToWorkflow, computeTransitiveDirtySet, createVisitor, decompile, decompileProject, decompileToTSX, deploy, emitCanonical, emitCompiledOutput, emitIR, emitPureForm, extractComponents, extractComputed, extractEffects, extractEvents, extractImports, extractRoutes, extractStates, extractTransitions, hashContent, normalizeDecompilerInput, resolveActionReferences, resolveImport, shouldDecompileAsProject, topologicalSort, transformToFrontend, validateRoundTrip, validateSourceRoundTrip };
+/**
+ * Diagnostic System — structured error/warning/info/hint collection and formatting.
+ *
+ * Provides a DiagnosticCollector that accumulates diagnostics during compilation,
+ * categorized by severity and tagged with machine-readable codes.
+ *
+ * Diagnostic codes are namespaced by extractor:
+ *   FLOW001-099  — Flow (imperative workflow) extractor
+ *   MDLW001-099  — Middleware extractor
+ *   CNST001-099  — Constraint extractor
+ *   ACTR001-099  — Actor extractor
+ *   HOOK001-099  — Hook-based visitor diagnostics
+ *   MODL001-099  — Model extractor
+ *   EMIT001-099  — Emitter diagnostics
+ */
+type DiagnosticSeverity = 'error' | 'warning' | 'info' | 'hint';
+interface DiagnosticLocation {
+    file?: string;
+    line?: number;
+    column?: number;
+}
+interface Diagnostic {
+    severity: DiagnosticSeverity;
+    code: string;
+    message: string;
+    file?: string;
+    line?: number;
+    column?: number;
+    suggestion?: string;
+}
+/**
+ * All known diagnostic codes with their default messages.
+ * Extractors reference these codes when reporting issues.
+ */
+declare const DIAGNOSTIC_CODES: {
+    readonly FLOW001: "No default export async function found";
+    readonly FLOW002: "Workflow function has no typed parameter";
+    readonly FLOW003: "Interface not found for parameter type";
+    readonly FLOW004: "Unknown function call in workflow body";
+    readonly FLOW005: "userAction() without a following state (cannot resolve transition target)";
+    readonly FLOW006: "Import could not be resolved as a service";
+    readonly FLOW007: "validate() with unparseable condition";
+    readonly MDLW001: "defineMiddleware() missing required 'name' field";
+    readonly MDLW002: "Invalid match pattern format";
+    readonly MDLW003: "No before/after/around handler defined";
+    readonly CNST001: "Unknown built-in constraint name";
+    readonly CNST002: "Empty constraint list";
+    readonly ACTR001: "Invalid supervision strategy";
+    readonly ACTR002: "spawnActor() called outside workflow function";
+    readonly HOOK001: "Forbidden hook in strict mode";
+    readonly HOOK002: "Raw useEffect in infer mode (component becomes opaque)";
+    readonly HOOK003: "Forbidden import in strict mode";
+    readonly MODL001: "defineModel() missing required fields";
+    readonly MODL002: "Unknown field type in model definition";
+    readonly EMIT001: "Empty workflow — no states, fields, or experience extracted";
+};
+type DiagnosticCode = keyof typeof DIAGNOSTIC_CODES;
+declare class DiagnosticCollector {
+    private diagnostics;
+    /**
+     * Record an error diagnostic.
+     */
+    error(code: string, message: string, location?: DiagnosticLocation, suggestion?: string): void;
+    /**
+     * Record a warning diagnostic.
+     */
+    warning(code: string, message: string, location?: DiagnosticLocation, suggestion?: string): void;
+    /**
+     * Record an informational diagnostic.
+     */
+    info(code: string, message: string): void;
+    /**
+     * Record a hint diagnostic (always includes a suggestion).
+     */
+    hint(code: string, message: string, suggestion: string): void;
+    /**
+     * Whether any error-level diagnostics have been recorded.
+     */
+    hasErrors(): boolean;
+    /**
+     * Whether any warning-level diagnostics have been recorded.
+     */
+    hasWarnings(): boolean;
+    /**
+     * Total number of diagnostics collected.
+     */
+    get count(): number;
+    /**
+     * Return all collected diagnostics.
+     */
+    getAll(): Diagnostic[];
+    /**
+     * Return only error-severity diagnostics.
+     */
+    getErrors(): Diagnostic[];
+    /**
+     * Return only warning-severity diagnostics.
+     */
+    getWarnings(): Diagnostic[];
+    /**
+     * Return only info-severity diagnostics.
+     */
+    getInfos(): Diagnostic[];
+    /**
+     * Return only hint-severity diagnostics.
+     */
+    getHints(): Diagnostic[];
+    /**
+     * Merge diagnostics from another collector into this one.
+     */
+    merge(other: DiagnosticCollector): void;
+    /**
+     * Clear all collected diagnostics.
+     */
+    clear(): void;
+    /**
+     * Pretty-print all diagnostics for terminal output.
+     *
+     * Format:
+     *   error[FLOW001]: No default export async function found
+     *     --> models/task.ts
+     *     = hint: Add `export default async function taskWorkflow(task: Task) { ... }`
+     *
+     *   warning[FLOW004]: Unknown function 'processData' in workflow body
+     *     --> models/order.ts:15:5
+     *     = note: Not a local async function, not imported, and not a stdlib function
+     *     = hint: Did you mean to import it?
+     */
+    format(): string;
+    /**
+     * Machine-readable JSON representation.
+     */
+    toJSON(): {
+        diagnostics: Diagnostic[];
+        summary: {
+            errors: number;
+            warnings: number;
+            infos: number;
+            hints: number;
+            total: number;
+        };
+    };
+}
+/**
+ * Create a fresh DiagnosticCollector instance.
+ */
+declare function createDiagnosticCollector(): DiagnosticCollector;
+
+export { type ActionCompilationResult, type ActionCompilerOptions, CompilerOptions, CompilerState, type ComputedFieldExtraction, DIAGNOSTIC_CODES, type DecompileOptions, type DecompileProjectOptions, type DecompileProjectResult, type DecompileResult, type DecompilerInput, type DependencyEdge, type DeployOptions, type DeployResult, type Diagnostic, type DiagnosticCode, DiagnosticCollector, type DiagnosticLocation, type DiagnosticSeverity, type DirtyFileSet, ExtractedWorkflow, type FileHash, FileRole, type FrontendDataSource, type FrontendExperienceNode, type ImportLink, IncrementalCache, IncrementalProjectCompiler, type IncrementalStats, type LayoutEntry, type ModelCompilationResult, type ModelCompilerOptions, type ProjectCompilationError, type ProjectCompilationResult, type ProjectCompilerOptions, type ProjectFile, type RoundTripDiff, type RoundTripResult, type RouteEntry, type RouteExtractionResult, type RouteExtractorOptions, type RouteTableEntry, type ServerActionEntry, type ServerActionRegistration, buildDependencyGraph, compileActions, compileModel, compileModels, compileProject, compileSource, compilerStateToWorkflow, computeTransitiveDirtySet, createDiagnosticCollector, createVisitor, decompile, decompileProject, decompileToTSX, deploy, emitCanonical, emitCompiledOutput, emitIR, emitPureForm, extractComponents, extractComputed, extractEffects, extractEvents, extractImports, extractRoutes, extractStates, extractTransitions, hashContent, normalizeDecompilerInput, resolveActionReferences, resolveImport, shouldDecompileAsProject, topologicalSort, transformToFrontend, validateRoundTrip, validateSourceRoundTrip };