@specverse/engines 6.0.6 → 6.0.8

package/dist/analyse-prepass/interface.d.ts

@@ -0,0 +1,222 @@
+/**
+ * StructuralPrepass — pluggable backend interface for analyse pre-pass.
+ *
+ * The pre-pass extracts deterministic structural facts from a source codebase
+ * (entities / relationships / lifecycle state literals / etc.) BEFORE the LLM
+ * sees it, so the LLM can focus on semantic interpretation rather than
+ * structural discovery.
+ *
+ * Backends: grep-only (zero deps, fallback for tests/CI), codegraph
+ * (recommended default), gitnexus (alternative for multi-component cases
+ * where Leiden community detection adds value).
+ *
+ * Adapters: per-framework translators (typescript-prisma first, then
+ * typescript-typeorm / python-sqlalchemy / go-gorm / etc.) that consume
+ * this interface and produce SpecVerse-vocabulary facts.
+ *
+ * Design rationale: see specverse-self/docs/proposals/STRUCTURAL-PREPASS-FOR-ANALYSE.md
+ */
+/** A symbol detected by tree-sitter (or grep heuristics) — class / function / method / etc. */
+export interface Symbol {
+    kind: 'class' | 'function' | 'method' | 'interface' | 'type_alias' | 'constant' | 'enum';
+    name: string;
+    /** Fully-qualified name where applicable (e.g. "PollController.evolve"). */
+    qualifiedName: string;
+    filePath: string;
+    startLine: number;
+    endLine: number;
+    /** Function/method signature, e.g. "(id: string, data: any): Promise<any>" */
+    signature?: string;
+    /** Leading docstring or JSDoc, if present */
+    docstring?: string;
+    /** Whether the symbol is exported from its module */
+    isExported?: boolean;
+    /** Decorators on the symbol (TypeScript / Python / Java) */
+    decorators?: string[];
+    /** Source-level language (typescript, javascript, python, go, ...) */
+    language: string;
+}
+/** An import edge — file imports symbols from target module. */
+export interface Import {
+    fromFile: string;
+    toModule: string;
+    symbols: string[];
+}
+/** Capability flags — adapters check before using optional methods. */
+export interface Capabilities {
+    /** Backend can resolve callers/callees of a symbol via call graph. */
+    callGraph: boolean;
+    /** Backend resolves cross-file references (vs single-file regex). */
+    crossFileResolution: boolean;
+    /** Backend has community-detection clustering (e.g. Leiden in GitNexus). */
+    componentClustering: boolean;
+    /** Backend supports full-text search across source. */
+    fullTextSearch: boolean;
+    /** Backend automatically syncs as files change (e.g. CodeGraph file watchers). */
+    fileWatching: boolean;
+}
+export interface FileFilter {
+    dir?: string;
+    lang?: string;
+    glob?: string;
+}
+export interface ClassFilter {
+    dir?: string;
+    namePattern?: RegExp;
+}
+export interface MethodFilter {
+    /** Class qualified-name (e.g. "OrderProcessorController") */
+    class?: string;
+    /** Names to filter to — e.g. ['evolve', 'create', 'validate'] */
+    nameIn?: string[];
+}
+export interface InterfaceFilter {
+    dir?: string;
+    namePattern?: RegExp;
+}
+export interface IndexResult {
+    files: number;
+    symbols: number;
+    durationMs: number;
+}
+/**
+ * Per-method fact sheet for behavior extraction.
+ *
+ * The structural pre-pass surfaces these facts from a method's body via
+ * tree-sitter call graph (where available) + regex heuristics for common
+ * patterns (event emission, DB writes, throws, async boundaries). The
+ * SpecVerse adapter layer (and downstream behavior-extraction prompt)
+ * consumes these to translate procedural code into spec-vocabulary
+ * `behaviors:` blocks with `steps:` decomposition.
+ *
+ * Design rationale: see specverse-self/docs/proposals/BEHAVIOR-EXTRACTION-FOR-ANALYSE.md
+ * — per-method fact sheets shrink the LLM's job from "summarize 200 lines
+ * of code" to "given this structured fact sheet, write a SpecVerse behavior
+ * block". Smaller cognitive load → smaller variance surface.
+ */
+export interface MethodFactSheet {
+    qualifiedName: string;
+    signature: string;
+    /** Raw source body (the function body — between { and }). */
+    body: string;
+    filePath: string;
+    startLine: number;
+    endLine: number;
+    language: string;
+    /**
+     * Methods/functions this one invokes (call graph).
+     * From CodeGraph: SQL on edges table (kind='call').
+     * From grep-only: regex for `(\w+)\(` calls within the body.
+     */
+    calls: Symbol[];
+    /**
+     * Event names emitted from this method's body.
+     * Patterns matched: emit() / dispatchEvent() / .next() (RxJS) /
+     * eventBus.publish() / pubsub.publish() / send() with first-arg literal.
+     */
+    emits: string[];
+    /**
+     * Persisted-state writes detected in the body (per ORM heuristic).
+     * Prisma: prisma.X.create() / .update() / .delete() / .upsert().
+     * TypeORM: repository.save() / .update() / .remove().
+     * SQLAlchemy: session.add() / .delete() / commit-tracked mutations.
+     * For arbitrary code, populated only when the adapter knows the ORM.
+     */
+    dbWrites: Array<{
+        entity: string;
+        field?: string;
+        op: 'create' | 'update' | 'delete' | 'upsert' | 'unknown';
+    }>;
+    /**
+     * External system calls detected in the body.
+     * Patterns: fetch() / axios.X() / http.request() (HTTP),
+     * kafka.send() / rabbit.publish() (queue), redis.set() / cache.set() (cache).
+     */
+    externalCalls: Array<{
+        kind: 'http' | 'queue' | 'cache' | 'unknown';
+        target?: string;
+    }>;
+    /**
+     * Explicit throw statements with their error type. `throw new BadRequestError(...)`
+     * → `BadRequestError`. Useful for inferring preconditions / error states.
+     */
+    throws: string[];
+    /**
+     * Async boundaries — locations where the method awaits, runs in parallel,
+     * or races. Useful for distinguishing sequential from parallel steps.
+     */
+    asyncBoundaries: Array<{
+        type: 'await' | 'promise.all' | 'promise.race' | 'promise.allSettled';
+        line: number;
+    }>;
+    /**
+     * Cyclomatic complexity proxy: count of branch points (if/else/switch/catch/ternary).
+     * High values suggest the LLM should look for branching steps in spec.
+     */
+    branchPoints: number;
+    /**
+     * For SpecVerse-realized backends: the body has comment-delineated regions
+     * (PRECONDITIONS / EXECUTE / POSTCONDITIONS / EVENTS). When detected, the
+     * regions are sliced out for the verify-behavior pass to cross-check spec
+     * preconditions/postconditions/events against source-side markers.
+     *
+     * For arbitrary backends, all fields here are undefined.
+     */
+    bodyTextSliced?: {
+        preconditions?: string;
+        execute?: string;
+        postconditions?: string;
+        events?: string;
+    };
+}
+/**
+ * Pluggable backend for structural extraction. Implementations:
+ *   - backends/grep-only.ts   — no external tools, regex per language
+ *   - backends/codegraph.ts   — tree-sitter via CodeGraph CLI + SQLite
+ *   - backends/gitnexus.ts    — tree-sitter via GitNexus MCP + LadybugDB
+ */
+export interface StructuralPrepass {
+    /** Initialize the backend on a source directory. */
+    init(sourceDir: string): Promise<void>;
+    /** Build / refresh the index. Returns stats. May be a no-op on grep-only. */
+    index(): Promise<IndexResult>;
+    /** List files in scope, optionally filtered. */
+    listFiles(filter?: FileFilter): Promise<string[]>;
+    /** List classes (or class-like declarations across languages). */
+    listClasses(filter?: ClassFilter): Promise<Symbol[]>;
+    /** List methods on classes. Class membership encoded in qualifiedName. */
+    listMethods(filter?: MethodFilter): Promise<Symbol[]>;
+    /** List interfaces / type-defs. */
+    listInterfaces(filter?: InterfaceFilter): Promise<Symbol[]>;
+    /** List imports for a single file. */
+    listImports(file: string): Promise<Import[]>;
+    /** Read raw source text. Adapters use this for regex extraction of literals. */
+    fileSourceText(file: string): Promise<string>;
+    /**
+     * Optional: callers/callees graph traversal.
+     * Throws if `capabilities.callGraph === false`.
+     */
+    callers?(symbol: string): Promise<Symbol[]>;
+    callees?(symbol: string): Promise<Symbol[]>;
+    /**
+     * Get the per-method fact sheet for a single method (by qualified name,
+     * e.g. "OrderProcessorController.processOrder"). Returns null if the
+     * method isn't found or isn't analyseable.
+     *
+     * All backends implement this — grep-only via regex over the method body,
+     * CodeGraph via SQL on the edges table for call data + regex for everything
+     * else (events, dbWrites, etc. aren't tree-sitter symbols, they're patterns).
+     */
+    getMethodDetails(qualifiedName: string): Promise<MethodFactSheet | null>;
+    /**
+     * Optional: cluster files into communities (Leiden / similar).
+     * Throws if `capabilities.componentClustering === false`.
+     */
+    clusterFiles?(): Promise<Array<{
+        id: string;
+        files: string[];
+    }>>;
+    /** Capability flags — adapters check before calling optional methods. */
+    capabilities: Capabilities;
+}
+//# sourceMappingURL=interface.d.ts.map

package/dist/analyse-prepass/interface.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"interface.d.ts","sourceRoot":"","sources":["../../src/analyse-prepass/interface.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,+FAA+F;AAC/F,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,OAAO,GAAG,UAAU,GAAG,QAAQ,GAAG,WAAW,GAAG,YAAY,GAAG,UAAU,GAAG,MAAM,CAAC;IACzF,IAAI,EAAE,MAAM,CAAC;IACb,4EAA4E;IAC5E,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,8EAA8E;IAC9E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,6CAA6C;IAC7C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,qDAAqD;IACrD,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,4DAA4D;IAC5D,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,sEAAsE;IACtE,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,gEAAgE;AAChE,MAAM,WAAW,MAAM;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,uEAAuE;AACvE,MAAM,WAAW,YAAY;IAC3B,sEAAsE;IACtE,SAAS,EAAE,OAAO,CAAC;IACnB,qEAAqE;IACrE,mBAAmB,EAAE,OAAO,CAAC;IAC7B,4EAA4E;IAC5E,mBAAmB,EAAE,OAAO,CAAC;IAC7B,uDAAuD;IACvD,cAAc,EAAE,OAAO,CAAC;IACxB,kFAAkF;IAClF,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,UAAU;IACzB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,WAAW;IAC1B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,YAAY;IAC3B,6DAA6D;IAC7D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAC9B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,eAAe;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,6DAA6D;IAC7D,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IAEjB;;;;OAIG;IACH,KAAK,EAAE,MAAM,EAAE,CAAC;IAEhB;;;;OAIG;IACH,KAAK,EAAE,MAAM,EAAE,CAAC;IAEhB;;;;;;OAMG;IACH,QAAQ,EAAE,KAAK,CAAC;QACd,MAAM,EAAE,MAAM,CAAC;QACf,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,EAAE,EAAE,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;KAC3D,CAAC,CAAC;IAEH;;;;OAIG;IACH,aAAa,EAAE,KAAK,CAAC;QACnB,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,OAAO,GAAG,SAAS,CAAC;QAC7C,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC,CAAC;IAEH;;;OAGG;IACH,MAAM,EAAE,MAAM,EAAE,CAAC;IAEjB;;;OAGG;IACH,eAAe,EAAE,KAAK,CAAC;QACrB,IAAI,EAAE,OAAO,GAAG,aAAa,GAAG,cAAc,GAAG,oBAAoB,CAAC;QACtE,IAAI,EAAE,MAAM,CAAC;KACd,CAAC,CAAC;IAEH;;;OAGG;IACH,YAAY,EAAE,MAAM,CAAC;IAErB;;;;;;;OAOG;IACH,cAAc,CAAC,EAAE;QACf,aAAa,CAAC,EAAE,MAAM,CAAC;QACvB,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;CACH;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC,oDAAoD;IACpD,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEvC,6EAA6E;IAC7E,KAAK,IAAI,OAAO,CAAC,WAAW,CAAC,CAAC;IAE9B,gDAAgD;IAChD,SAAS,CAAC,MAAM,CAAC,EAAE,UAAU,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAElD,kEAAkE;IAClE,WAAW,CAAC,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAErD,0EAA0E;IAC1E,WAAW,CAAC,MAAM,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAEtD,mCAAmC;IACnC,cAAc,CAAC,MAAM,CAAC,EAAE,eAAe,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAE5D,sCAAsC;IACtC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAE7C,gFAAgF;IAChF,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAE9C;;;OAGG;IACH,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5C,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAE5C;;;;;;;;OAQG;IACH,gBAAgB,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAAC;IAEzE;;;OAGG;IACH,YAAY,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC,CAAC;IAEjE,yEAAyE;IACzE,YAAY,EAAE,YAAY,CAAC;CAC5B"}

package/dist/analyse-prepass/interface.js

@@ -0,0 +1,20 @@
+/**
+ * StructuralPrepass — pluggable backend interface for analyse pre-pass.
+ *
+ * The pre-pass extracts deterministic structural facts from a source codebase
+ * (entities / relationships / lifecycle state literals / etc.) BEFORE the LLM
+ * sees it, so the LLM can focus on semantic interpretation rather than
+ * structural discovery.
+ *
+ * Backends: grep-only (zero deps, fallback for tests/CI), codegraph
+ * (recommended default), gitnexus (alternative for multi-component cases
+ * where Leiden community detection adds value).
+ *
+ * Adapters: per-framework translators (typescript-prisma first, then
+ * typescript-typeorm / python-sqlalchemy / go-gorm / etc.) that consume
+ * this interface and produce SpecVerse-vocabulary facts.
+ *
+ * Design rationale: see specverse-self/docs/proposals/STRUCTURAL-PREPASS-FOR-ANALYSE.md
+ */
+export {};
+//# sourceMappingURL=interface.js.map

package/dist/analyse-prepass/interface.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"interface.js","sourceRoot":"","sources":["../../src/analyse-prepass/interface.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG"}

package/dist/inference/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/inference/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,cAAc,iBAAiB,CAAC;AAGhC,cAAc,oBAAoB,CAAC;AAGnC,cAAc,uBAAuB,CAAC;AAGtC,OAAO,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AACzE,YAAY,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AAG9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAS9D,OAAO,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,KAAK,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACrJ,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,wBAAwB,EAAE,KAAK,kBAAkB,EAAE,KAAK,mBAAmB,EAAE,KAAK,gBAAgB,EAAE,KAAK,iBAAiB,EAAE,KAAK,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAC9M,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,KAAK,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAMvG,OAAO,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGzH,cAAM,wBAAyB,YAAW,eAAe;IACvD,IAAI,SAAe;IACnB,OAAO,SAAW;IAClB,YAAY,WAAyE;IAErF,OAAO,CAAC,OAAO,CAA6C;IAEtD,UAAU,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,GAAG,CAAC;QAAC,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAI5E,OAAO,IAAI,UAAU;IAIf,SAAS,IAAI,OAAO,CAAC,gBAAgB,CAAC;IAKtC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAAC,eAAe,CAAC;CAkL5E;AAED,eAAO,MAAM,MAAM,0BAAiC,CAAC;AACrD,eAAe,MAAM,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/inference/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,cAAc,iBAAiB,CAAC;AAGhC,cAAc,oBAAoB,CAAC;AAGnC,cAAc,uBAAuB,CAAC;AAGtC,OAAO,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AACzE,YAAY,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AAG9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAS9D,OAAO,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,KAAK,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACrJ,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,wBAAwB,EAAE,KAAK,kBAAkB,EAAE,KAAK,mBAAmB,EAAE,KAAK,gBAAgB,EAAE,KAAK,iBAAiB,EAAE,KAAK,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAC9M,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,KAAK,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAMvG,OAAO,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGzH,cAAM,wBAAyB,YAAW,eAAe;IACvD,IAAI,SAAe;IACnB,OAAO,SAAW;IAClB,YAAY,WAAyE;IAErF,OAAO,CAAC,OAAO,CAA6C;IAEtD,UAAU,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,GAAG,CAAC;QAAC,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAI5E,OAAO,IAAI,UAAU;IAIf,SAAS,IAAI,OAAO,CAAC,gBAAgB,CAAC;IAKtC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAAC,eAAe,CAAC;CAuM5E;AAED,eAAO,MAAM,MAAM,0BAAiC,CAAC;AACrD,eAAe,MAAM,CAAC"}

package/dist/inference/index.js

@@ -129,6 +129,24 @@ class SpecVerseInferenceEngine {
             //   - For non-map sections (deployments, conventions, etc.) preserve the
             //     prior behavior: inferred takes priority unless empty.
             const MAP_SECTIONS = new Set(['controllers', 'services', 'views', 'events']);
+            // The parser emits map-shaped sections (controllers/services/views/events)
+            // as arrays of { name, ...rest } in the AST, while the inference engine
+            // emits them as name-keyed objects. Normalize arrays to objects before
+            // merging so user-declared entries (with different names from inferred ones)
+            // survive into the final component.
+            const normalizeToMap = (v) => {
+                if (!v)
+                    return null;
+                if (Array.isArray(v)) {
+                    const out = {};
+                    for (const item of v) {
+                        if (item && item.name)
+                            out[item.name] = item;
+                    }
+                    return out;
+                }
+                return (typeof v === 'object') ? v : null;
+            };
             for (const [key, value] of Object.entries(targetComp)) {
                 if (key === 'name' || key === 'models' || value == null)
                     continue;
@@ -138,11 +156,15 @@ class SpecVerseInferenceEngine {
                 if (isEmpty) {
                     inferredComponent[key] = value;
                 }
-                else if (MAP_SECTIONS.has(key) && typeof existing === 'object' && !Array.isArray(existing)
-                    && typeof value === 'object' && !Array.isArray(value)) {
-                    // Merge the two maps: user keys + inferred keys. On collision, user wins
-                    // (the spec is the source of truth; inferred is a default-fill).
-                    inferredComponent[key] = { ...existing, ...value };
+                else if (MAP_SECTIONS.has(key)) {
+                    // Both arrays-of-named-items and name-keyed objects normalize to a map.
+                    // Merge user keys + inferred keys. On collision, user wins (the spec is
+                    // the source of truth; inferred is a default-fill).
+                    const userMap = normalizeToMap(value);
+                    const existingMap = normalizeToMap(existing);
+                    if (userMap && existingMap) {
+                        inferredComponent[key] = { ...existingMap, ...userMap };
+                    }
                 }
             }
         }

package/dist/inference/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/inference/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,wBAAwB;AACxB,cAAc,iBAAiB,CAAC;AAEhC,iCAAiC;AACjC,cAAc,oBAAoB,CAAC;AAEnC,oCAAoC;AACpC,cAAc,uBAAuB,CAAC;AAEtC,iCAAiC;AACjC,OAAO,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AAGzE,uBAAuB;AACvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D,0BAA0B;AAC1B,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D,uBAAuB;AACvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D,gCAAgC;AAChC,OAAO,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,oBAAoB,EAAwB,MAAM,uBAAuB,CAAC;AACrJ,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,wBAAwB,EAAwH,MAAM,mBAAmB,CAAC;AAC9M,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAyB,MAAM,uBAAuB,CAAC;AAOvG,OAAO,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AAEzE,MAAM,wBAAwB;IAC5B,IAAI,GAAG,WAAW,CAAC;IACnB,OAAO,GAAG,OAAO,CAAC;IAClB,YAAY,GAAG,CAAC,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,aAAa,CAAC,CAAC;IAE7E,OAAO,GAAwC,IAAI,CAAC;IAE5D,KAAK,CAAC,UAAU,CAAC,MAA2C;QAC1D,IAAI,CAAC,OAAO,GAAG,IAAI,4BAA4B,CAAC,MAAM,EAAE,OAAO,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,IAAI,KAAK,CAAC,CAAC;IACjG,CAAC;IAED,OAAO;QACL,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;IACrF,CAAC;IAED,KAAK,CAAC,SAAS;QACb,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACxE,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;IAClC,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,GAAQ,EAAE,OAA0B;QAC9C,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACxE,MAAM,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QAE/B,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC;QAExC,6EAA6E;QAC7E,MAAM,gBAAgB,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAE3F,IAAI,iBAAiB,GAAQ,IAAI,CAAC;QAClC,IAAI,MAAM,GAAQ,IAAI,CAAC;QAEvB,IAAI,gBAAgB,IAAI,CAAC,EAAE,CAAC;YAC1B,MAAM,UAAU,GAAG,UAAU,CAAC,gBAAgB,CAAC,CAAC;YAEhD,yDAAyD;YACzD,MAAM,MAAM,GAAG,CAAC,UAAU,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAU,EAAE,EAAE,CAAC,CAAC;gBAC5D,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,UAAU,EAAE,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAS,EAAE,EAAE,CAAC,CAAC;oBACvD,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,QAAQ;oBAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,KAAK;oBAChC,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,KAAK;oBAC5B,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;iBACxB,CAAC,CAAC;gBACH,aAAa,EAAE,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAQ,EAAE,EAAE,CAAC,CAAC;oBAC5D,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,WAAW,EAAE,GAAG,CAAC,MAAM;oBACvB,aAAa,EAAE,GAAG,CAAC,OAAO,IAAI,KAAK;iBACpC,CAAC,CAAC;gBACH,SAAS,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACjC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI;oBAC9B,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE;oBACxC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAgB,EAAE,EAAE,CAAC,CAAC;wBACxG,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE;qBAC3F,CAAC,CAAC;iBACJ,CAAC,CAAC,CAAC,SAAS;gBACb,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAgB,EAAE,EAAE,CAAC,CAAC;oBAC9F,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO;oBAC9E,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS;oBAChE,KAAK,EAAE,CAAC,CAAC,KAAK;iBACf,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;gBACR,QAAQ,EAAE,EAAE;gBACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE;aAC/B,CAAC,CAAC,CAAC;YAEJ,gCAAgC;YAChC,MAAM,aAAa,GAAwB,EAAE,CAAC;YAC9C,IAAI,UAAU,CAAC,UAAU;gBAAE,aAAa,CAAC,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;YAE5E,sEAAsE;YACtE,kEAAkE;YAClE,mEAAmE;YACnE,qEAAqE;YACrE,6DAA6D;YAC7D,iEAAiE;YACjE,kEAAkE;YAClE,MAAM,WAAW,GAAG,CAAC,CAAM,EAAmC,EAAE;gBAC9D,IAAI,CAAC,CAAC;oBAAE,OAAO,SAAS,CAAC;gBACzB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;oBACrB,MAAM,GAAG,GAAwB,EAAE,CAAC;oBACpC,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;wBACrB,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI;4BAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;oBAC/C,CAAC;oBACD,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;gBACvD,CAAC;gBACD,OAAO,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACjD,CAAC,CAAC;YACF,MAAM,SAAS,GAAG,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAChD,MAAM,YAAY,GAAG,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YACtD,MAAM,eAAe,GAAG,WAAW,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;YAC5D,IAAI,SAAS;gBAAE,aAAa,CAAC,kBAAkB,GAAG,SAAS,CAAC;YAC5D,IAAI,YAAY;gBAAE,aAAa,CAAC,qBAAqB,GAAG,YAAY,CAAC;YACrE,IAAI,eAAe;gBAAE,aAAa,CAAC,wBAAwB,GAAG,eAAe,CAAC;YAE9E,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,IAAI,WAAW,CAAC;YAChD,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,0BAA0B,CACpD,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,iBAAiB,IAAI,aAAa,EAAE,aAAa,CAC7E,CAAC;YAEF,kFAAkF;YAClF,iBAAiB,GAAG,EAAE,GAAG,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC5D,IAAI,UAAU,CAAC,OAAO;gBAAE,iBAAiB,CAAC,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAC/E,IAAI,UAAU,CAAC,WAAW;gBAAE,iBAAiB,CAAC,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC;YAEnF,2EAA2E;YAC3E,gFAAgF;YAChF,wEAAwE;YACxE,wEAAwE;YACxE,yEAAyE;YACzE,4DAA4D;YAC5D,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC7E,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBACtD,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,QAAQ,IAAI,KAAK,IAAI,IAAI;oBAAE,SAAS;gBAClE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;gBACxC,MAAM,OAAO,GAAG,CAAC,QAAQ,IAAI,CAAC,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;uBACxH,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;gBAExD,IAAI,OAAO,EAAE,CAAC;oBACZ,iBAAiB,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;gBACjC,CAAC;qBAAM,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;uBAC9E,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBACjE,yEAAyE;oBACzE,iEAAiE;oBACjE,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,QAAQ,EAAE,GAAG,KAAK,EAAE,CAAC;gBACrD,CAAC;YACH,CAAC;QACH,CAAC;QAED,6EAA6E;QAC7E,IAAI,UAAU,GAAG,eAAe,CAAC;QAEjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,IAAI,YAAY,CAAC,EAAE,CAAC;YAE9C,IAAI,CAAC,KAAK,gBAAgB,IAAI,iBAAiB,EAAE,CAAC;gBAChD,iEAAiE;gBACjE,0FAA0F;gBAC1F,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,iBAAiB,EAAE,QAAQ,CAAC,CAAC;gBACzE,MAAM,aAAa,GAAG,UAAU,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;gBAC/D,UAAU,IAAI,aAAa,GAAG,IAAI,CAAC;YACrC,CAAC;iBAAM,CAAC;gBACN,yEAAyE;gBACzE,MAAM,QAAQ,GAAQ,EAAE,CAAC;gBACzB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oBAChD,IAAI,GAAG,KAAK,MAAM,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;wBACpC,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;oBACxB,CAAC;gBACH,CAAC;gBACD,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBAChE,MAAM,aAAa,GAAG,UAAU,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;gBAC/D,UAAU,IAAI,aAAa,GAAG,IAAI,CAAC;YACrC,CAAC;QACH,CAAC;QAED,qBAAqB;QACrB,IAAI,MAAM,EAAE,WAAW,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtE,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC;YACrC,UAAU,IAAI,kBAAkB,CAAC;YACjC,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;iBACpF,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,CAAC;aAAM,IAAI,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzD,gCAAgC;YAChC,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC;YACrC,MAAM,cAAc,GAAwB,EAAE,CAAC;YAC/C,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;gBAClC,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,GAAG,GAAG,CAAC;gBAC9B,IAAI,IAAI;oBAAE,cAAc,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;YACxC,CAAC;YACD,UAAU,IAAI,kBAAkB,CAAC;YACjC,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;iBAChF,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,CAAC;aAAM,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACzC,6BAA6B;YAC7B,UAAU,IAAI,qBAAqB,CAAC;QACtC,CAAC;QAED,2CAA2C;QAC3C,MAAM,OAAO,GAAG,iBAAiB;YAC/B,CAAC,CAAC,iBAAiB,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,IAAI,CAAC;YAC9D,CAAC,CAAC,SAAS,CAAC;QAEd,OAAO;YACL,SAAS,EAAE,iBAAiB,IAAI,EAAE;YAClC,WAAW,EAAE,MAAM,EAAE,WAAW,IAAI,EAAE;YACtC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE;YACvB,OAAO;YACP,UAAU,EAAE,MAAM,EAAE,UAAU,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;YAC3E,UAAU,EAAE;gBACV,GAAG,CAAC,MAAM,EAAE,UAAU,IAAI,EAAE,CAAC;gBAC7B,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,iBAAiB,IAAI,CAAC;aACzD;SACF,CAAC;IACJ,CAAC;CACF;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,IAAI,wBAAwB,EAAE,CAAC;AACrD,eAAe,MAAM,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/inference/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,wBAAwB;AACxB,cAAc,iBAAiB,CAAC;AAEhC,iCAAiC;AACjC,cAAc,oBAAoB,CAAC;AAEnC,oCAAoC;AACpC,cAAc,uBAAuB,CAAC;AAEtC,iCAAiC;AACjC,OAAO,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AAGzE,uBAAuB;AACvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D,0BAA0B;AAC1B,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D,uBAAuB;AACvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D,gCAAgC;AAChC,OAAO,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,oBAAoB,EAAwB,MAAM,uBAAuB,CAAC;AACrJ,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,wBAAwB,EAAwH,MAAM,mBAAmB,CAAC;AAC9M,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAyB,MAAM,uBAAuB,CAAC;AAOvG,OAAO,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AAEzE,MAAM,wBAAwB;IAC5B,IAAI,GAAG,WAAW,CAAC;IACnB,OAAO,GAAG,OAAO,CAAC;IAClB,YAAY,GAAG,CAAC,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,aAAa,CAAC,CAAC;IAE7E,OAAO,GAAwC,IAAI,CAAC;IAE5D,KAAK,CAAC,UAAU,CAAC,MAA2C;QAC1D,IAAI,CAAC,OAAO,GAAG,IAAI,4BAA4B,CAAC,MAAM,EAAE,OAAO,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,IAAI,KAAK,CAAC,CAAC;IACjG,CAAC;IAED,OAAO;QACL,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;IACrF,CAAC;IAED,KAAK,CAAC,SAAS;QACb,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACxE,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;IAClC,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,GAAQ,EAAE,OAA0B;QAC9C,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACxE,MAAM,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QAE/B,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC;QAExC,6EAA6E;QAC7E,MAAM,gBAAgB,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAE3F,IAAI,iBAAiB,GAAQ,IAAI,CAAC;QAClC,IAAI,MAAM,GAAQ,IAAI,CAAC;QAEvB,IAAI,gBAAgB,IAAI,CAAC,EAAE,CAAC;YAC1B,MAAM,UAAU,GAAG,UAAU,CAAC,gBAAgB,CAAC,CAAC;YAEhD,yDAAyD;YACzD,MAAM,MAAM,GAAG,CAAC,UAAU,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAU,EAAE,EAAE,CAAC,CAAC;gBAC5D,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,UAAU,EAAE,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAS,EAAE,EAAE,CAAC,CAAC;oBACvD,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,QAAQ;oBAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,KAAK;oBAChC,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,KAAK;oBAC5B,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;iBACxB,CAAC,CAAC;gBACH,aAAa,EAAE,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAQ,EAAE,EAAE,CAAC,CAAC;oBAC5D,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,WAAW,EAAE,GAAG,CAAC,MAAM;oBACvB,aAAa,EAAE,GAAG,CAAC,OAAO,IAAI,KAAK;iBACpC,CAAC,CAAC;gBACH,SAAS,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACjC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI;oBAC9B,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE;oBACxC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAgB,EAAE,EAAE,CAAC,CAAC;wBACxG,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE;qBAC3F,CAAC,CAAC;iBACJ,CAAC,CAAC,CAAC,SAAS;gBACb,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAgB,EAAE,EAAE,CAAC,CAAC;oBAC9F,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO;oBAC9E,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS;oBAChE,KAAK,EAAE,CAAC,CAAC,KAAK;iBACf,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;gBACR,QAAQ,EAAE,EAAE;gBACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE;aAC/B,CAAC,CAAC,CAAC;YAEJ,gCAAgC;YAChC,MAAM,aAAa,GAAwB,EAAE,CAAC;YAC9C,IAAI,UAAU,CAAC,UAAU;gBAAE,aAAa,CAAC,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;YAE5E,sEAAsE;YACtE,kEAAkE;YAClE,mEAAmE;YACnE,qEAAqE;YACrE,6DAA6D;YAC7D,iEAAiE;YACjE,kEAAkE;YAClE,MAAM,WAAW,GAAG,CAAC,CAAM,EAAmC,EAAE;gBAC9D,IAAI,CAAC,CAAC;oBAAE,OAAO,SAAS,CAAC;gBACzB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;oBACrB,MAAM,GAAG,GAAwB,EAAE,CAAC;oBACpC,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;wBACrB,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI;4BAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;oBAC/C,CAAC;oBACD,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;gBACvD,CAAC;gBACD,OAAO,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACjD,CAAC,CAAC;YACF,MAAM,SAAS,GAAG,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAChD,MAAM,YAAY,GAAG,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YACtD,MAAM,eAAe,GAAG,WAAW,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;YAC5D,IAAI,SAAS;gBAAE,aAAa,CAAC,kBAAkB,GAAG,SAAS,CAAC;YAC5D,IAAI,YAAY;gBAAE,aAAa,CAAC,qBAAqB,GAAG,YAAY,CAAC;YACrE,IAAI,eAAe;gBAAE,aAAa,CAAC,wBAAwB,GAAG,eAAe,CAAC;YAE9E,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,IAAI,WAAW,CAAC;YAChD,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,0BAA0B,CACpD,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,iBAAiB,IAAI,aAAa,EAAE,aAAa,CAC7E,CAAC;YAEF,kFAAkF;YAClF,iBAAiB,GAAG,EAAE,GAAG,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC5D,IAAI,UAAU,CAAC,OAAO;gBAAE,iBAAiB,CAAC,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAC/E,IAAI,UAAU,CAAC,WAAW;gBAAE,iBAAiB,CAAC,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC;YAEnF,2EAA2E;YAC3E,gFAAgF;YAChF,wEAAwE;YACxE,wEAAwE;YACxE,yEAAyE;YACzE,4DAA4D;YAC5D,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC7E,2EAA2E;YAC3E,wEAAwE;YACxE,uEAAuE;YACvE,6EAA6E;YAC7E,oCAAoC;YACpC,MAAM,cAAc,GAAG,CAAC,CAAM,EAA8B,EAAE;gBAC5D,IAAI,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACpB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;oBACrB,MAAM,GAAG,GAAwB,EAAE,CAAC;oBACpC,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;wBACrB,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI;4BAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;oBAC/C,CAAC;oBACD,OAAO,GAAG,CAAC;gBACb,CAAC;gBACD,OAAO,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC5C,CAAC,CAAC;YAEF,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBACtD,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,QAAQ,IAAI,KAAK,IAAI,IAAI;oBAAE,SAAS;gBAClE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;gBACxC,MAAM,OAAO,GAAG,CAAC,QAAQ,IAAI,CAAC,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;uBACxH,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;gBAExD,IAAI,OAAO,EAAE,CAAC;oBACZ,iBAAiB,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;gBACjC,CAAC;qBAAM,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACjC,wEAAwE;oBACxE,wEAAwE;oBACxE,oDAAoD;oBACpD,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;oBACtC,MAAM,WAAW,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;oBAC7C,IAAI,OAAO,IAAI,WAAW,EAAE,CAAC;wBAC3B,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,WAAW,EAAE,GAAG,OAAO,EAAE,CAAC;oBAC1D,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,6EAA6E;QAC7E,IAAI,UAAU,GAAG,eAAe,CAAC;QAEjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,IAAI,YAAY,CAAC,EAAE,CAAC;YAE9C,IAAI,CAAC,KAAK,gBAAgB,IAAI,iBAAiB,EAAE,CAAC;gBAChD,iEAAiE;gBACjE,0FAA0F;gBAC1F,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,iBAAiB,EAAE,QAAQ,CAAC,CAAC;gBACzE,MAAM,aAAa,GAAG,UAAU,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;gBAC/D,UAAU,IAAI,aAAa,GAAG,IAAI,CAAC;YACrC,CAAC;iBAAM,CAAC;gBACN,yEAAyE;gBACzE,MAAM,QAAQ,GAAQ,EAAE,CAAC;gBACzB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oBAChD,IAAI,GAAG,KAAK,MAAM,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;wBACpC,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;oBACxB,CAAC;gBACH,CAAC;gBACD,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBAChE,MAAM,aAAa,GAAG,UAAU,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;gBAC/D,UAAU,IAAI,aAAa,GAAG,IAAI,CAAC;YACrC,CAAC;QACH,CAAC;QAED,qBAAqB;QACrB,IAAI,MAAM,EAAE,WAAW,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtE,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC;YACrC,UAAU,IAAI,kBAAkB,CAAC;YACjC,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;iBACpF,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,CAAC;aAAM,IAAI,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzD,gCAAgC;YAChC,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC;YACrC,MAAM,cAAc,GAAwB,EAAE,CAAC;YAC/C,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;gBAClC,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,GAAG,GAAG,CAAC;gBAC9B,IAAI,IAAI;oBAAE,cAAc,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;YACxC,CAAC;YACD,UAAU,IAAI,kBAAkB,CAAC;YACjC,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;iBAChF,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,CAAC;aAAM,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACzC,6BAA6B;YAC7B,UAAU,IAAI,qBAAqB,CAAC;QACtC,CAAC;QAED,2CAA2C;QAC3C,MAAM,OAAO,GAAG,iBAAiB;YAC/B,CAAC,CAAC,iBAAiB,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,IAAI,CAAC;YAC9D,CAAC,CAAC,SAAS,CAAC;QAEd,OAAO;YACL,SAAS,EAAE,iBAAiB,IAAI,EAAE;YAClC,WAAW,EAAE,MAAM,EAAE,WAAW,IAAI,EAAE;YACtC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE;YACvB,OAAO;YACP,UAAU,EAAE,MAAM,EAAE,UAAU,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;YAC3E,UAAU,EAAE;gBACV,GAAG,CAAC,MAAM,EAAE,UAAU,IAAI,EAAE,CAAC;gBAC7B,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,iBAAiB,IAAI,CAAC;aACzD;SACF,CAAC;IACJ,CAAC;CACF;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,IAAI,wBAAwB,EAAE,CAAC;AACrD,eAAe,MAAM,CAAC"}

package/dist/libs/instance-factories/orms/templates/prisma/schema-generator.js

@@ -17,12 +17,24 @@ function generatePrismaSchema(context) {
     }
   }
   const header = generateHeader(implType);
+  const enumCollector = /* @__PURE__ */ new Map();
   const modelSchemas = allModels.map(
-    (model) => generateModelSchema(model, relationMap, backRefs, hasOneTargets, allModels)
+    (model) => generateModelSchema(model, relationMap, backRefs, hasOneTargets, allModels, enumCollector)
   ).join("\n\n");
+  let enumBlock = "";
+  if (enumCollector.size > 0) {
+    const enumDecls = [];
+    for (const [enumName, values] of enumCollector) {
+      const body = values.map((v) => `  ${v}`).join("\n");
+      enumDecls.push(`enum ${enumName} {
+${body}
+}`);
+    }
+    enumBlock = enumDecls.join("\n\n") + "\n\n";
+  }
   return `${header}
 
-${modelSchemas}`;
+${enumBlock}${modelSchemas}`;
 }
 function buildRelationMap(allModels) {
   const targetRefs = /* @__PURE__ */ new Map();
@@ -148,7 +160,7 @@ datasource db {
   url      = ${provider === "sqlite" ? '"file:./dev.db"' : 'env("DATABASE_URL")'}
 }`;
 }
-function generateModelSchema(model, relationMap, backRefs, hasOneTargets, allModels) {
+function generateModelSchema(model, relationMap, backRefs, hasOneTargets, allModels, enumCollector) {
   const modelName = model.name;
   let schema = `model ${modelName} {
 `;
@@ -158,6 +170,7 @@ function generateModelSchema(model, relationMap, backRefs, hasOneTargets, allMod
     schema += `  ${generateField(attr, model)}
 `;
   });
+  const ENUM_VALUE_REGEX = /^[a-zA-Z][a-zA-Z0-9_]*$/;
   const rawLifecycles = model.lifecycles || [];
   const lifecycleList = Array.isArray(rawLifecycles) ? rawLifecycles : Object.entries(rawLifecycles).map(([name, lc]) => ({ name, ...typeof lc === "object" ? lc : {} }));
   for (const lifecycle of lifecycleList) {
@@ -166,8 +179,16 @@ function generateModelSchema(model, relationMap, backRefs, hasOneTargets, allMod
     if (!exists && lifecycle.states?.length > 0) {
       const defaultState = lifecycle.states[0];
       const padding = " ".repeat(Math.max(1, 15 - fieldName.length));
-      schema += `  ${fieldName}${padding}String @default("${defaultState}")
+      const allValid = lifecycle.states.every((s) => ENUM_VALUE_REGEX.test(s));
+      if (allValid && enumCollector) {
+        const enumName = `${modelName}${fieldName.charAt(0).toUpperCase()}${fieldName.slice(1)}`;
+        enumCollector.set(enumName, lifecycle.states);
+        schema += `  ${fieldName}${padding}${enumName} @default(${defaultState})
 `;
+      } else {
+        schema += `  ${fieldName}${padding}String @default("${defaultState}")
+`;
+      }
     }
   }
   relationships.forEach((rel) => {

package/libs/instance-factories/orms/templates/prisma/schema-generator.ts

@@ -42,12 +42,28 @@ export default function generatePrismaSchema(context: TemplateContext): string {
   // Generate header
   const header = generateHeader(implType);
 
+  // Collector for Prisma enum declarations derived from model lifecycles.
+  // Generated as a side-effect of generateModelSchema and emitted at the
+  // top level (Prisma requires enums declared OUTSIDE model blocks).
+  const enumCollector = new Map<string, string[]>();
+
   // Generate models
   const modelSchemas = allModels.map((model: any) =>
-    generateModelSchema(model, relationMap, backRefs, hasOneTargets, allModels)
+    generateModelSchema(model, relationMap, backRefs, hasOneTargets, allModels, enumCollector)
   ).join('\n\n');
 
-  return `${header}\n\n${modelSchemas}`;
+  // Emit collected enums before models, so models can reference them.
+  let enumBlock = '';
+  if (enumCollector.size > 0) {
+    const enumDecls: string[] = [];
+    for (const [enumName, values] of enumCollector) {
+      const body = values.map((v) => `  ${v}`).join('\n');
+      enumDecls.push(`enum ${enumName} {\n${body}\n}`);
+    }
+    enumBlock = enumDecls.join('\n\n') + '\n\n';
+  }
+
+  return `${header}\n\n${enumBlock}${modelSchemas}`;
 }
 
 /**
@@ -285,7 +301,8 @@ function generateModelSchema(
   relationMap: Map<string, string | null>,
   backRefs: Map<string, string[]>,
   hasOneTargets: Set<string>,
-  allModels?: any[]
+  allModels?: any[],
+  enumCollector?: Map<string, string[]>,
 ): string {
   const modelName = model.name;
   let schema = `model ${modelName} {\n`;
@@ -305,7 +322,19 @@ function generateModelSchema(
     schema += `  ${generateField(attr, model)}\n`;
   });
 
-  // Add lifecycle status fields (if model has lifecycles)
+  // Add lifecycle status fields (if model has lifecycles).
+  //
+  // Each lifecycle's state literals become a Prisma `enum` declared at the
+  // schema's top level. The field's type is the enum, not a plain `String`.
+  // This preserves the state vocabulary in source so the realize→analyse
+  // round-trip oracle can recover lifecycle states (previously, only the
+  // default state survived — the others were silently dropped).
+  //
+  // Prisma enum value identifier rules: `^[a-zA-Z][a-zA-Z0-9_]*$`. SpecVerse
+  // states are already snake_case (enforced by the convention prompt) so they
+  // satisfy this without transformation. If a state somehow contains an
+  // illegal char, fall back to plain String so we don't emit an invalid schema.
+  const ENUM_VALUE_REGEX = /^[a-zA-Z][a-zA-Z0-9_]*$/;
   const rawLifecycles = model.lifecycles || [];
   const lifecycleList = Array.isArray(rawLifecycles)
     ? rawLifecycles
@@ -316,7 +345,16 @@ function generateModelSchema(
     if (!exists && lifecycle.states?.length > 0) {
       const defaultState = lifecycle.states[0];
       const padding = ' '.repeat(Math.max(1, 15 - fieldName.length));
-      schema += `  ${fieldName}${padding}String @default("${defaultState}")\n`;
+      const allValid = lifecycle.states.every((s: string) => ENUM_VALUE_REGEX.test(s));
+      if (allValid && enumCollector) {
+        const enumName = `${modelName}${fieldName.charAt(0).toUpperCase()}${fieldName.slice(1)}`;
+        enumCollector.set(enumName, lifecycle.states);
+        schema += `  ${fieldName}${padding}${enumName} @default(${defaultState})\n`;
+      } else {
+        // Fallback for invalid identifiers or when no collector — preserves the
+        // pre-fix behavior so downstream code never sees an undefined enum ref.
+        schema += `  ${fieldName}${padding}String @default("${defaultState}")\n`;
+      }
     }
   }
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@specverse/engines",
-  "version": "6.0.6",
+  "version": "6.0.8",
   "description": "SpecVerse toolchain — parser, inference, realize, generators, AI, registry, bundles",
   "type": "module",
   "main": "dist/index.js",
@@ -19,6 +19,10 @@
       "types": "./dist/inference/index.d.ts",
       "import": "./dist/inference/index.js"
     },
+    "./analyse-prepass": {
+      "types": "./dist/analyse-prepass/index.d.ts",
+      "import": "./dist/analyse-prepass/index.js"
+    },
     "./realize": {
       "types": "./dist/realize/index.d.ts",
       "import": "./dist/realize/index.js"