@specverse/engines 4.1.14 → 4.1.16

package/dist/libs/instance-factories/services/templates/prisma/controller-generator.js

@@ -13,6 +13,7 @@ function generatePrismaController(context) {
   const rawModelVar = modelName.charAt(0).toLowerCase() + modelName.slice(1);
   const RESERVED_WORDS = /* @__PURE__ */ new Set(["import", "export", "default", "class", "function", "return", "delete", "new", "this", "switch", "case", "break", "continue", "for", "while", "do", "if", "else", "try", "catch", "finally", "throw", "typeof", "instanceof", "in", "of", "let", "const", "var", "void", "with", "yield", "async", "await", "enum", "implements", "interface", "package", "private", "protected", "public", "static", "super", "extends"]);
   const modelVar = RESERVED_WORDS.has(rawModelVar) ? `${rawModelVar}Item` : rawModelVar;
+  const prismaDelegate = RESERVED_WORDS.has(rawModelVar) ? `prisma['${rawModelVar}']` : `prisma.${rawModelVar}`;
   const curedOps = controller.cured || {};
   const idAttr = (Array.isArray(model.attributes) ? model.attributes : Object.values(model.attributes || {})).find((a) => a.name === "id");
   const idType = idAttr?.type || "UUID";
@@ -40,11 +41,11 @@ function parseId(id: string): ${needsIntParse ? "number" : "string"} {
  */
 export class ${controllerName} {
   ${generateValidateMethod(model, modelName)}
-  ${curedOps.create ? generateCreateMethod(model, modelName, modelVar, controller, allModels) : ""}
-  ${curedOps.retrieve ? generateRetrieveMethod(model, modelName, modelVar) : ""}
-  ${curedOps.update ? generateUpdateMethod(model, modelName, modelVar, controller, allModels) : ""}
-  ${curedOps.evolve ? generateEvolveMethod(model, modelName, modelVar, controller) : ""}
-  ${curedOps.delete ? generateDeleteMethod(model, modelName, modelVar, controller) : ""}
+  ${curedOps.create ? generateCreateMethod(model, modelName, modelVar, prismaDelegate, controller, allModels) : ""}
+  ${curedOps.retrieve ? generateRetrieveMethod(model, modelName, modelVar, prismaDelegate) : ""}
+  ${curedOps.update ? generateUpdateMethod(model, modelName, modelVar, prismaDelegate, controller, allModels) : ""}
+  ${curedOps.evolve ? generateEvolveMethod(model, modelName, modelVar, prismaDelegate, controller) : ""}
+  ${curedOps.delete ? generateDeleteMethod(model, modelName, modelVar, prismaDelegate, controller) : ""}
   ${customActions.code}
 }
 
@@ -116,9 +117,7 @@ function generateValidationLogic(model, dataParam = "_data", contextParam = "_co
   });
   return validations.join("\n") || "// No validation rules defined";
 }
-function generateCreateMethod(model, modelName, modelVar, controller, allModels) {
-  const hasEvents = controller.publishes && Array.isArray(controller.publishes);
-  const createEvent = hasEvents ? controller.publishes.find((e) => e.includes("Created")) : null;
+function generateCreateMethod(model, modelName, modelVar, prismaDelegate, controller, allModels) {
   return `
   /**
    * Create a new ${modelName}
@@ -135,29 +134,24 @@ function generateCreateMethod(model, modelName, modelVar, controller, allModels)
     ${generateFKTransform(model, "prismaData", allModels)}
 
     // Create record
-    const ${modelVar} = await prisma.${modelVar}.create({
+    const ${modelVar} = await ${prismaDelegate}.create({
       data: prismaData${generateIncludeRelationships(model)}
     });
 
-    ${createEvent ? `
-    // Publish event
-    eventBus.publish(EventName.${createEvent}, {
-      ${modelVar},
-      timestamp: new Date().toISOString()
-    });
-    ` : ""}
+    // Publish CURED event
+    await eventBus.publish('${modelName}Created', { ...${modelVar}, timestamp: new Date().toISOString() } as any);
 
     return ${modelVar};
   }
 `;
 }
-function generateRetrieveMethod(model, modelName, modelVar) {
+function generateRetrieveMethod(model, modelName, modelVar, prismaDelegate) {
   return `
   /**
    * Retrieve ${modelName} by ID
    */
   public async retrieve(id: string): Promise<any> {
-    const ${modelVar} = await prisma.${modelVar}.findUnique({
+    const ${modelVar} = await ${prismaDelegate}.findUnique({
       where: { id: parseId(id) }${generateIncludeRelationships(model)}
     });
 
@@ -172,16 +166,14 @@ function generateRetrieveMethod(model, modelName, modelVar) {
    * Retrieve all ${modelName}s
    */
   public async retrieveAll(options: { skip?: number; take?: number } = {}): Promise<any[]> {
-    return await prisma.${modelVar}.findMany({
+    return await ${prismaDelegate}.findMany({
       skip: options.skip,
       take: options.take${generateIncludeRelationships(model)}
     });
   }
 `;
 }
-function generateUpdateMethod(model, modelName, modelVar, controller, allModels) {
-  const hasEvents = controller.publishes && Array.isArray(controller.publishes);
-  const updateEvent = hasEvents ? controller.publishes.find((e) => e.includes("Updated")) : null;
+function generateUpdateMethod(model, modelName, modelVar, prismaDelegate, controller, allModels) {
   return `
   /**
    * Update ${modelName}
@@ -206,24 +198,19 @@ function generateUpdateMethod(model, modelName, modelVar, controller, allModels)
     ${generateFKTransform(model, "updateData", allModels)}
 
     // Update record
-    const ${modelVar} = await prisma.${modelVar}.update({
+    const ${modelVar} = await ${prismaDelegate}.update({
       where: { id: parseId(id) },
       data: updateData${generateIncludeRelationships(model)}
     });
 
-    ${updateEvent ? `
-    // Publish event
-    eventBus.publish(EventName.${updateEvent}, {
-      ${modelVar},
-      timestamp: new Date().toISOString()
-    });
-    ` : ""}
+    // Publish CURED event
+    await eventBus.publish('${modelName}Updated', { ...${modelVar}, timestamp: new Date().toISOString() } as any);
 
     return ${modelVar};
   }
 `;
 }
-function generateEvolveMethod(model, modelName, modelVar, controller) {
+function generateEvolveMethod(model, modelName, modelVar, prismaDelegate, controller) {
   const lifecycles = Array.isArray(model.lifecycles) ? model.lifecycles : model.lifecycles ? Object.entries(model.lifecycles).map(([name, lc]) => ({ name, ...lc })) : [];
   const lifecycle = lifecycles[0];
   const lifecycleName = lifecycle?.name || "status";
@@ -242,7 +229,7 @@ function generateEvolveMethod(model, modelName, modelVar, controller) {
     }
 
     // Get current record to check lifecycle state
-    const current = await prisma.${modelVar}.findUnique({ where: { id: parseId(id) } });
+    const current = await ${prismaDelegate}.findUnique({ where: { id: parseId(id) } });
     if (!current) {
       throw new Error('${modelName} not found');
     }
@@ -261,41 +248,35 @@ function generateEvolveMethod(model, modelName, modelVar, controller) {
     ` : ""}
 
     // Update record
-    const ${modelVar} = await prisma.${modelVar}.update({
+    const ${modelVar} = await ${prismaDelegate}.update({
       where: { id: parseId(id) },
       data${generateIncludeRelationships(model)}
     });
 
+    // Publish CURED event
+    await eventBus.publish('${modelName}Evolved', { ...${modelVar}, timestamp: new Date().toISOString() } as any);
+
     return ${modelVar};
   }
 `;
 }
-function generateDeleteMethod(model, modelName, modelVar, controller) {
-  const hasEvents = controller.publishes && Array.isArray(controller.publishes);
-  const deleteEvent = hasEvents ? controller.publishes.find((e) => e.includes("Deleted")) : null;
+function generateDeleteMethod(model, modelName, modelVar, prismaDelegate, controller) {
   return `
   /**
    * Delete ${modelName}
    */
   public async delete(id: string): Promise<void> {
-    ${deleteEvent ? `
     // Get record before deletion for event
-    const ${modelVar} = await prisma.${modelVar}.findUnique({ where: { id: parseId(id) } });
-    ` : ""}
+    const ${modelVar} = await ${prismaDelegate}.findUnique({ where: { id: parseId(id) } });
 
-    await prisma.${modelVar}.delete({
+    await ${prismaDelegate}.delete({
       where: { id: parseId(id) }
     });
 
-    ${deleteEvent ? `
-    // Publish event
+    // Publish CURED event
     if (${modelVar}) {
-      eventBus.publish(EventName.${deleteEvent}, {
-        ${modelVar},
-        timestamp: new Date().toISOString()
-      });
+      await eventBus.publish('${modelName}Deleted', { ...${modelVar}, timestamp: new Date().toISOString() } as any);
     }
-    ` : ""}
   }
 `;
 }
@@ -417,13 +398,7 @@ ${includes}
       }`;
 }
 function hasEventPublishing(curedOps, controller) {
-  if (controller.publishes && Array.isArray(controller.publishes) && controller.publishes.length > 0) return true;
-  if (controller.actions) {
-    for (const action of Object.values(controller.actions)) {
-      if (action.publishes?.length > 0 || action.events?.length > 0 || action.sideEffects?.length > 0) return true;
-    }
-  }
-  return false;
+  return true;
 }
 export {
   generatePrismaController as default

package/dist/libs/instance-factories/services/templates/prisma/service-generator.js

@@ -6,23 +6,27 @@ function generatePrismaService(context) {
   }
   const serviceName = service.name;
   const hasEvents = service.publishes && service.publishes.length > 0 || service.subscribes && service.subscribes.length > 0;
+  const operationsCode = generateOperationsWithHelpers(service);
+  const hasAiBehaviors = /\baiBehaviors\./.test(operationsCode);
+  const usesPrisma = /\bprisma\b/.test(operationsCode);
   return `/**
  * ${serviceName}
  * Abstract business logic service
  * ${service.description || ""}
  */
-
-import { PrismaClient } from '@prisma/client';
-${hasEvents ? `import { eventBus, EventName } from '../events/eventBus.js';` : ""}
-
-const prisma = new PrismaClient();
+${usesPrisma ? `
+import { PrismaClient } from '@prisma/client';` : ""}
+${hasEvents ? `import { eventBus } from '../events/eventBus.js';` : ""}
+${hasAiBehaviors ? `import * as aiBehaviors from '../behaviors/${serviceName}.ai.js';` : ""}
+${usesPrisma ? `
+const prisma = new PrismaClient();` : ""}
 
 /**
  * ${serviceName} class
  */
 export class ${serviceName} {
   ${generateConstructor(service)}
-  ${generateOperationsWithHelpers(service)}
+  ${operationsCode}
   ${generateEventSubscriptions(service)}
 }
 
@@ -97,8 +101,10 @@ function generateOperations(service) {
   return operations.join("\n");
 }
 function generateOperation(operationName, operation, service) {
-  const params = generateOperationParams(operation);
+  const rawParams = generateOperationParams(operation);
   const hasPublish = service.publishes && service.publishes.length > 0;
+  const body = generateOperationLogic(operation, service);
+  const params = renameUnusedParams(rawParams, body);
   return `
   /**
    * ${operationName}
@@ -106,7 +112,7 @@ function generateOperation(operationName, operation, service) {
    */
   public async ${operationName}(${params}): Promise<any> {
     try {
-      ${generateOperationLogic(operation, service)}
+      ${body}
 
       ${hasPublish ? `
       // Publish event (example)
@@ -125,6 +131,19 @@ function generateOperation(operationName, operation, service) {
   }
 `;
 }
+function renameUnusedParams(paramsString, body) {
+  if (!paramsString.trim()) return paramsString;
+  return paramsString.split(",").map((segment) => {
+    const trimmed = segment.trim();
+    const nameMatch = trimmed.match(/^(\w+)/);
+    if (!nameMatch) return segment;
+    const name = nameMatch[1];
+    if (name.startsWith("_")) return segment;
+    const re = new RegExp(`\\b${name}\\b`);
+    if (re.test(body)) return segment;
+    return segment.replace(new RegExp(`\\b${name}\\b`), `_${name}`);
+  }).join(", ");
+}
 function generateOperationParams(operation) {
   if (!operation.parameters || Object.keys(operation.parameters).length === 0) {
     return "params: any = {}";
@@ -149,17 +168,19 @@ function generateOperationLogic(operation, service) {
   }
   if (impl.preconditions?.length || impl.postconditions?.length || impl.steps?.length || impl.transactional) {
     const modelName = inferModelFromServiceName(service.name);
+    const parameterNames = Object.keys(operation.parameters || {});
     const context = {
       modelName,
       serviceName: service.name,
       operationName: operation.name || "execute",
-      prismaModel: modelName
+      prismaModel: modelName,
+      parameterNames
     };
     const behavior = {
       preconditions: impl.preconditions || [],
       postconditions: impl.postconditions || [],
       sideEffects: impl.sideEffects || [],
-      steps: impl.steps || [],
+      steps: impl.steps || operation.steps || [],
       transactional: impl.transactional || false
     };
     const opMeta = {

package/dist/libs/instance-factories/services/templates/prisma/step-conventions.js

@@ -263,7 +263,7 @@ function matchStep(step, ctx) {
   const declared = Array.from(ctx.declaredVars || []);
   const paramNames = ctx.parameterNames || [];
   const inputs = [...paramNames, ...declared];
-  const resultVar = `step${ctx.stepNum}Result`;
+  const resultVar = ctx.resultName || `step${ctx.stepNum}Result`;
   const inputObj = inputs.length > 0 ? `{ ${inputs.join(", ")} }` : "{}";
   if (ctx.declaredVars) ctx.declaredVars.add(resultVar);
   return {

package/dist/libs/instance-factories/views/templates/react/components-generator.js

@@ -16,27 +16,57 @@ function generateReactComponent(context) {
   const hasMany = getHasManyRelationships(model);
   const lifecycle = getLifecycle(model);
   const classified = classifyAttrs(attrs, lifecycle);
+  let body;
   switch (viewType) {
     case "list":
-      return generateListView(componentName, modelName, lower, plural, api, classified, belongsTo, lifecycle, view);
+      body = generateListView(componentName, modelName, lower, plural, api, classified, belongsTo, lifecycle, view);
+      break;
     case "detail":
-      return generateDetailView(componentName, modelName, lower, plural, api, classified, belongsTo, hasMany, lifecycle, view);
+      body = generateDetailView(componentName, modelName, lower, plural, api, classified, belongsTo, hasMany, lifecycle, view);
+      break;
     case "form":
-      return generateFormView(componentName, modelName, lower, plural, api, classified, belongsTo, lifecycle, view);
+      body = generateFormView(componentName, modelName, lower, plural, api, classified, belongsTo, lifecycle, view);
+      break;
     case "dashboard":
-      return generateDashboardView(componentName, modelName, lower, plural, api, classified, view, model);
+      body = generateDashboardView(componentName, modelName, lower, plural, api, classified, view, model);
+      break;
     case "board":
     case "workflow":
-      return generateBoardView(componentName, modelName, lower, plural, api, lifecycle, view);
+      body = generateBoardView(componentName, modelName, lower, plural, api, lifecycle, view);
+      break;
     case "timeline":
-      return generateTimelineView(componentName, modelName, lower, plural, api, view);
+      body = generateTimelineView(componentName, modelName, lower, plural, api, view);
+      break;
     case "calendar":
-      return generateCalendarView(componentName, modelName, lower, plural, api, view, model);
+      body = generateCalendarView(componentName, modelName, lower, plural, api, view, model);
+      break;
     case "analytics":
-      return generateAnalyticsView(componentName, modelName, lower, plural, api, classified, lifecycle, view, model);
+      body = generateAnalyticsView(componentName, modelName, lower, plural, api, classified, lifecycle, view, model);
+      break;
     default:
-      return generateListView(componentName, modelName, lower, plural, api, classified, belongsTo, lifecycle, view);
+      body = generateListView(componentName, modelName, lower, plural, api, classified, belongsTo, lifecycle, view);
   }
+  return stripUnusedImports(body);
+}
+function stripUnusedImports(source) {
+  const lines = source.split("\n");
+  const out = [];
+  let i = 0;
+  while (i < lines.length) {
+    const line = lines[i];
+    const match = line.match(/^import\s+\{\s*([^}]+?)\s*\}\s+from\s+(['"][^'"]+['"]);?\s*$/);
+    if (!match) break;
+    const names = match[1].split(",").map((s) => s.trim()).filter(Boolean);
+    const from = match[2];
+    const rest = lines.slice(i + 1).join("\n");
+    const used = names.filter((n) => new RegExp(`\\b${n.replace(/[.*+?^${}()|[\]\\]/g, "\\$&")}\\b`).test(rest));
+    if (used.length === 0) {
+    } else {
+      out.push(`import { ${used.join(", ")} } from ${from};`);
+    }
+    i++;
+  }
+  return [...out, ...lines.slice(i)].join("\n");
 }
 function getModelAttributes(model) {
   if (!model?.attributes) return [];
@@ -351,7 +381,7 @@ ${lifecycle.states.map((s) => `          <option value="${s}">${s.replace(/[_-]/
         </select>`;
     }
     const t = type.toLowerCase();
-    if (t === "boolean") return `        <input type="checkbox" name="${n}" checked={!!form.${n}} onChange={e => setForm(f => ({...f, ${n}: e.target.checked}))} className="h-4 w-4 text-blue-600 rounded" />`;
+    if (t === "boolean") return `        <input type="checkbox" name="${n}" checked={!!form.${n}} onChange={e => setForm((f: any) => ({...f, ${n}: e.target.checked}))} className="h-4 w-4 text-blue-600 rounded" />`;
     if (t.includes("date") || t.includes("timestamp")) return `        <input type="datetime-local" name="${n}" value={form.${n} || ''} onChange={handleChange} className="w-full px-3 py-2 border border-gray-300 rounded text-sm focus:outline-none focus:ring-2 focus:ring-blue-500"${req} />`;
     if (t === "integer" || t === "number" || t === "money" || t === "decimal" || t === "float") return `        <input type="number" name="${n}" value={form.${n} || ''} onChange={handleChange} className="w-full px-3 py-2 border border-gray-300 rounded text-sm focus:outline-none focus:ring-2 focus:ring-blue-500"${req} />`;
     if (n.toLowerCase().includes("description") || n.toLowerCase().includes("content") || n.toLowerCase().includes("body")) return `        <textarea name="${n}" value={form.${n} || ''} onChange={handleChange} rows={4} className="w-full px-3 py-2 border border-gray-300 rounded text-sm focus:outline-none focus:ring-2 focus:ring-blue-500"${req} />`;

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/realize/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,cAAc,kBAAkB,CAAC;AAGjC,cAAc,kBAAkB,CAAC;AAGjC,cAAc,uBAAuB,CAAC;AAGtC,OAAO,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACpF,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAGvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAMlE,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AASnF,cAAM,sBAAuB,YAAW,aAAa;IACnD,IAAI,SAAa;IACjB,OAAO,SAAW;IAClB,YAAY,WAA+E;IAE3F,OAAO,CAAC,OAAO,CAAa;IAC5B,OAAO,CAAC,QAAQ,CAAa;IAC7B,OAAO,CAAC,aAAa,CAAa;IAClC,OAAO,CAAC,QAAQ,CAAa;IAC7B,OAAO,CAAC,WAAW,CAAS;IAEtB,UAAU,CAAC,MAAM,CAAC,EAAE;QACxB,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,GAAG,OAAO,CAAC,IAAI,CAAC;IAkBjB,OAAO,IAAI,UAAU;IAIrB,OAAO,CAAC,UAAU,EAAE,MAAM,GAAG,GAAG;IAK1B,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,GAAG,OAAO,CAAC,eAAe,CAAC;IAKvF;;;OAGG;IACG,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IA4d9F;;;OAGG;YACW,UAAU;IAwDxB,OAAO,CAAC,oBAAoB;CAuB7B;AAED,eAAO,MAAM,MAAM,wBAA+B,CAAC;AACnD,eAAe,MAAM,CAAC;AACtB,OAAO,EAAE,sBAAsB,EAAE,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/realize/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,cAAc,kBAAkB,CAAC;AAGjC,cAAc,kBAAkB,CAAC;AAGjC,cAAc,uBAAuB,CAAC;AAGtC,OAAO,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACpF,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAGvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAMlE,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AASnF,cAAM,sBAAuB,YAAW,aAAa;IACnD,IAAI,SAAa;IACjB,OAAO,SAAW;IAClB,YAAY,WAA+E;IAE3F,OAAO,CAAC,OAAO,CAAa;IAC5B,OAAO,CAAC,QAAQ,CAAa;IAC7B,OAAO,CAAC,aAAa,CAAa;IAClC,OAAO,CAAC,QAAQ,CAAa;IAC7B,OAAO,CAAC,WAAW,CAAS;IAEtB,UAAU,CAAC,MAAM,CAAC,EAAE;QACxB,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,GAAG,OAAO,CAAC,IAAI,CAAC;IAkBjB,OAAO,IAAI,UAAU;IAIrB,OAAO,CAAC,UAAU,EAAE,MAAM,GAAG,GAAG;IAK1B,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,GAAG,OAAO,CAAC,eAAe,CAAC;IAKvF;;;OAGG;IACG,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAskB9F;;;OAGG;YACW,UAAU;IAwDxB,OAAO,CAAC,oBAAoB;CAuB7B;AAED,eAAO,MAAM,MAAM,wBAA+B,CAAC;AACnD,eAAe,MAAM,CAAC;AACtB,OAAO,EAAE,sBAAsB,EAAE,CAAC"}

package/dist/realize/index.js

@@ -68,7 +68,14 @@ class SpecVerseRealizeEngine {
         const files = [];
         const errors = [];
         const allModels = Object.values(spec.models || {});
+        // L3 verification (Quint guards) is NOT run here. It lives in
+        // `validate --verify` so users can opt into it explicitly and run
+        // it on any spec — raw or inferred — without also generating code.
+        // See engines/src/inference/verification.ts.
         const writeOutput = (output) => {
+            // A generator can signal "skip this file" by returning an empty string.
+            if (output.code === '')
+                return;
             const dir = dirname(output.filePath);
             if (!existsSync(dir))
                 mkdirSync(dir, { recursive: true });
@@ -203,17 +210,116 @@ class SpecVerseRealizeEngine {
         // 3. Services
         const servicesList = Array.isArray(spec.services) ? spec.services : Object.values(spec.services || {});
         if (ctrlResolved?.instanceFactory?.codeTemplates?.services) {
+            // Load helpers for pre-scanning unmatched steps + generating AI behavior files
+            let scanUnmatched = null;
+            let generateAiFile = null;
+            try {
+                const scanPath = join(dirname(fileURLToPath(import.meta.url)), '..', '..', 'libs', 'instance-factories', 'services', 'templates', 'prisma', 'step-conventions.ts');
+                const scanResolved = resolveGenPath(scanPath);
+                if (scanResolved) {
+                    const mod = await import(scanResolved);
+                    scanUnmatched = mod.matchStep;
+                }
+                const aiGenPath = join(dirname(fileURLToPath(import.meta.url)), '..', '..', 'libs', 'instance-factories', 'services', 'templates', 'prisma', 'ai-behaviors-generator.ts');
+                const aiResolved = resolveGenPath(aiGenPath);
+                if (aiResolved) {
+                    const mod = await import(aiResolved);
+                    generateAiFile = mod.generateAiBehaviorsFile;
+                }
+            }
+            catch { /* non-fatal */ }
+            /**
+             * Pre-scan a service's operations to determine which steps don't match
+             * conventions and will need AI-generated behavior functions. Runs the
+             * same matchStep logic the service-generator uses, but in this pipeline's
+             * module context so we don't need cross-module state.
+             */
+            const scanServiceUnmatched = (service) => {
+                if (!scanUnmatched)
+                    return [];
+                const operations = service.operations || {};
+                const entries = Array.isArray(operations)
+                    ? operations.map((op) => [op.name, op])
+                    : Object.entries(operations);
+                const unmatched = [];
+                const seenFunctions = new Set();
+                for (const [opName, operation] of entries) {
+                    const steps = operation.steps || operation.implementation?.steps || [];
+                    const parameterNames = Object.keys(operation.parameters || {});
+                    const declaredVars = new Set();
+                    // Simulate precondition variable declarations
+                    const preconditions = operation.requires || operation.preconditions || [];
+                    for (const pc of preconditions) {
+                        const m = typeof pc === 'string' ? pc.match(/^(\w+)\s+(?:exists|is\s+\w+)$/i) : null;
+                        if (m)
+                            declaredVars.add(m[1].charAt(0).toLowerCase() + m[1].slice(1));
+                    }
+                    for (let i = 0; i < steps.length; i++) {
+                        const stepInput = steps[i];
+                        const stepText = typeof stepInput === 'string' ? stepInput : stepInput?.step;
+                        const stepAs = typeof stepInput === 'object' ? stepInput?.as : undefined;
+                        const stepReturns = typeof stepInput === 'object' ? stepInput?.returns : undefined;
+                        if (typeof stepText !== 'string')
+                            continue;
+                        const ctx = {
+                            modelName: service.name.replace(/Service$/, ''),
+                            prismaModel: service.name.replace(/Service$/, '').charAt(0).toLowerCase() + service.name.replace(/Service$/, '').slice(1),
+                            serviceName: service.name,
+                            operationName: opName,
+                            stepNum: i + 1,
+                            parameterNames,
+                            declaredVars,
+                            resultName: stepAs,
+                        };
+                        const result = scanUnmatched(stepText, ctx);
+                        if (!result.matched && result.functionName && !seenFunctions.has(result.functionName)) {
+                            seenFunctions.add(result.functionName);
+                            unmatched.push({
+                                step: stepText,
+                                functionName: result.functionName,
+                                operationName: opName,
+                                parameterNames,
+                                inputs: result.inputs || [],
+                                returns: stepReturns,
+                                modelName: service.name, // AI file uses service name as owner
+                            });
+                        }
+                    }
+                }
+                return unmatched;
+            };
+            let svcAiCount = 0;
             for (const service of servicesList) {
                 try {
                     const svcName = service.name || 'Service';
                     const output = await this.codeGenerator.generateFromTemplate(ctrlResolved, 'services', { spec, service: { name: svcName, ...service } }, { outputDir });
                     writeOutput(output);
+                    // Pre-scan this service for unmatched steps and generate AI behaviors file if any
+                    if (generateAiFile) {
+                        const unmatched = scanServiceUnmatched(service);
+                        if (unmatched.length > 0) {
+                            const aiFile = await generateAiFile({
+                                ownerName: svcName,
+                                unmatchedFunctions: unmatched,
+                                availableModels: allModels.map((m) => m.name),
+                                spec,
+                            });
+                            if (aiFile) {
+                                const filePath = join(outputDir, 'backend', 'src', 'behaviors', `${svcName}.ai.ts`);
+                                const dir = dirname(filePath);
+                                if (!existsSync(dir))
+                                    mkdirSync(dir, { recursive: true });
+                                writeFileSync(filePath, aiFile);
+                                svcAiCount++;
+                            }
+                        }
+                    }
                 }
                 catch (e) {
                     errors.push(`Service: ${e.message}`);
                 }
             }
-            console.log(`   ✅ Services: ${servicesList.length} service(s)`);
+            console.log(`   ✅ Services: ${servicesList.length} service(s)${svcAiCount > 0 ? ` (${svcAiCount} AI behaviors file${svcAiCount > 1 ? 's' : ''})` : ''}`);
         }
         // 4. Routes (per model) — use spec controllers for endpoint data
         const routeResolved = tryResolve('api.rest');
@@ -374,7 +480,16 @@ class SpecVerseRealizeEngine {
             }
             if (frontendFiles.length)
                 console.log(`   ✅ Frontend application: ${frontendFiles.join(', ')}`);
-            // 9a. Generate shared view utilities and Tailwind config
+            // 9a. Generate shared view utilities and Tailwind config.
+            // The frontend factory may declare outputStructure=standalone with
+            // frontendDir="." — in that case views/lib live at the output root
+            // instead of under `frontend/`.
+            const frontendCfg = frontendResolved?.configuration || frontendResolved?.instanceFactory?.configuration || {};
+            const frontendOutputStructure = frontendCfg.outputStructure || 'monorepo';
+            const frontendRelDir = frontendOutputStructure === 'standalone'
+                ? '.'
+                : (frontendCfg.frontendDir || 'frontend');
+            const frontendDir = frontendRelDir === '.' ? outputDir : join(outputDir, frontendRelDir);
             try {
                 const sharedUtilsGen = join(dirname(fileURLToPath(import.meta.url)), '..', '..', 'libs', 'instance-factories', 'views', 'templates', 'react', 'shared-utils-generator.ts');
                 const sharedUtilsResolved = resolveGenPath(sharedUtilsGen);
@@ -382,7 +497,7 @@ class SpecVerseRealizeEngine {
                     const genPath = sharedUtilsResolved;
                     const { default: generateSharedUtils } = await import(genPath);
                     const result = generateSharedUtils({ spec });
-                    const libDir = join(outputDir, 'frontend', 'src', 'lib');
+                    const libDir = join(frontendDir, 'src', 'lib');
                     if (!existsSync(libDir))
                         mkdirSync(libDir, { recursive: true });
                     for (const file of result.files) {
@@ -390,7 +505,6 @@ class SpecVerseRealizeEngine {
                     }
                 }
                 // Tailwind config
-                const frontendDir = join(outputDir, 'frontend');
                 writeFileSync(join(frontendDir, 'tailwind.config.js'), `import path from 'path';
 import { createRequire } from 'module';
 const require = createRequire(import.meta.url);
@@ -419,27 +533,11 @@ export default {
                 errors.push(`SharedUtils: ${e.message}`);
             }
         }
-        // 9b. Runtime guards — transpiled from Quint specifications
-        try {
-            const { transpileEntityGuards, generateGuardsModule } = await import('../inference/index.js');
-            const { createRequire } = await import('module');
-            const req = createRequire(import.meta.url);
-            const entitiesPkg = req.resolve('@specverse/entities/package.json');
-            const entitiesSrc = join(dirname(entitiesPkg), 'src');
-            const guards = transpileEntityGuards(entitiesSrc);
-            if (guards.length > 0) {
-                const guardsCode = generateGuardsModule(guards);
-                const guardsPath = join(outputDir, 'backend', 'src', 'guards.ts');
-                const guardsDir = dirname(guardsPath);
-                if (!existsSync(guardsDir))
-                    mkdirSync(guardsDir, { recursive: true });
-                writeFileSync(guardsPath, guardsCode);
-                console.log(`   ✅ Runtime guards: ${guards.length} guards (${guards.filter((g) => g.kind === 'function').length} functions, ${guards.filter((g) => g.kind === 'invariant').length} invariants) from Quint specs`);
-            }
-        }
-        catch (e) {
-            errors.push(`Guards: ${e.message}`);
-        }
+        // 9b. Quint guards are no longer emitted to the generated backend.
+        // They are L3 verification assertions about the SPEC, not runtime
+        // checks on the user's data — so they run at realize time (see the
+        // L3 verification gate at the start of realizeAll) and don't ship
+        // to the user's project.
         // 10. CLI commands (Commander.js)
         try {
             const cliDir = join(dirname(fileURLToPath(import.meta.url)), '..', '..', 'libs', 'instance-factories', 'cli', 'templates', 'commander');