@specverse/engines 5.0.0 → 5.0.2

package/dist/inference/ui-contracts/rules/lifecycle-state-visible-in-detail.d.ts

@@ -1,10 +1,12 @@
 /**
  * Rule: lifecycle-state-visible-in-detail
  *
- * For every model with a lifecycle, the detail view should surface
- * the lifecycle's state names. v1 checks the *first* (initial)
- * state — typically what a fresh instance shows — because that's
- * the one guaranteed to exist without creating data.
+ * For every model with a lifecycle, after creating a fresh entity
+ * the UI should surface its current lifecycle state. v2 seeds an
+ * entity in the initial state via the same pattern as the
+ * state-sync rules (buildSeedData + createEntity) because an empty
+ * detail view has nothing to assert against — a fresh instance is
+ * the minimal setup that produces state-bearing UI.
  *
  * Lifecycle shape in the spec:
  *   lifecycles:
@@ -15,9 +17,9 @@
  * different shape (e.g. an explicit `states: [...]`), the parser
  * should normalize both into the same structure.
  *
- * One TestCase per (model, lifecycle) pair — not per state, since
- * testing every state requires creating instances and evolving them,
- * which belongs to the state-sync rules.
+ * One TestCase per (model, lifecycle) pair. Transitions between
+ * states are tested by evolve-reflects-in-list; this rule is the
+ * thin "initial state renders at all" counterpart.
  */
 import type { UiContractRule } from '../test-case-types.js';
 export declare const RULE_ID = "lifecycle-state-visible-in-detail";

package/dist/inference/ui-contracts/rules/lifecycle-state-visible-in-detail.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lifecycle-state-visible-in-detail.d.ts","sourceRoot":"","sources":["../../../../src/inference/ui-contracts/rules/lifecycle-state-visible-in-detail.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAA4B,MAAM,uBAAuB,CAAC;AAEtF,eAAO,MAAM,OAAO,sCAAsC,CAAC;AAuB3D,eAAO,MAAM,6BAA6B,EAAE,cAqB3C,CAAC"}
+{"version":3,"file":"lifecycle-state-visible-in-detail.d.ts","sourceRoot":"","sources":["../../../../src/inference/ui-contracts/rules/lifecycle-state-visible-in-detail.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAA4B,MAAM,uBAAuB,CAAC;AAGtF,eAAO,MAAM,OAAO,sCAAsC,CAAC;AAuB3D,eAAO,MAAM,6BAA6B,EAAE,cAoC3C,CAAC"}

package/dist/inference/ui-contracts/rules/lifecycle-state-visible-in-detail.js

@@ -1,10 +1,12 @@
 /**
  * Rule: lifecycle-state-visible-in-detail
  *
- * For every model with a lifecycle, the detail view should surface
- * the lifecycle's state names. v1 checks the *first* (initial)
- * state — typically what a fresh instance shows — because that's
- * the one guaranteed to exist without creating data.
+ * For every model with a lifecycle, after creating a fresh entity
+ * the UI should surface its current lifecycle state. v2 seeds an
+ * entity in the initial state via the same pattern as the
+ * state-sync rules (buildSeedData + createEntity) because an empty
+ * detail view has nothing to assert against — a fresh instance is
+ * the minimal setup that produces state-bearing UI.
  *
  * Lifecycle shape in the spec:
  *   lifecycles:
@@ -15,10 +17,11 @@
  * different shape (e.g. an explicit `states: [...]`), the parser
  * should normalize both into the same structure.
  *
- * One TestCase per (model, lifecycle) pair — not per state, since
- * testing every state requires creating instances and evolving them,
- * which belongs to the state-sync rules.
+ * One TestCase per (model, lifecycle) pair. Transitions between
+ * states are tested by evolve-reflects-in-list; this rule is the
+ * thin "initial state renders at all" counterpart.
  */
+import { pickDisplayAttribute, buildSeedData } from './_shared.js';
 export const RULE_ID = 'lifecycle-state-visible-in-detail';
 function extractInitialState(lifecycleDef) {
     if (!lifecycleDef)
@@ -45,6 +48,15 @@ export const lifecycleStateVisibleInDetail = (spec) => {
         const lifecycles = model.lifecycles;
         if (!lifecycles)
             continue;
+        // Need a way to seed an entity so there's something for the UI
+        // to render. Skip the test for models without a seedable shape.
+        const display = pickDisplayAttribute(model);
+        if (!display)
+            continue;
+        const marker = `ct-lcstate-${model.name}`;
+        const seedData = buildSeedData(model, marker);
+        if (!seedData)
+            continue;
         for (const [lcName, lcDef] of Object.entries(lifecycles)) {
             const initial = extractInitialState(lcDef);
             if (!initial)
@@ -52,10 +64,16 @@ export const lifecycleStateVisibleInDetail = (spec) => {
             cases.push({
                 ruleId: RULE_ID,
                 specElement: `${model.name}.${lcName}`,
-                name: `[${RULE_ID}] ${model.name}.${lcName} initial state '${initial}' visible`,
+                name: `[${RULE_ID}] ${model.name}.${lcName} initial state '${initial}' visible after create`,
                 steps: [
                     { action: 'bootRuntime' },
-                    { action: 'navigateToModelDetail', modelName: model.name },
+                    { action: 'navigateToModel', modelName: model.name },
+                    {
+                        action: 'createEntity',
+                        modelName: model.name,
+                        data: seedData,
+                        uniqueField: display.name,
+                    },
                     { action: 'expectLifecycleState', modelName: model.name, stateName: initial },
                 ],
             });

package/dist/inference/ui-contracts/rules/lifecycle-state-visible-in-detail.js.map

@@ -1 +1 @@
-{"version":3,"file":"lifecycle-state-visible-in-detail.js","sourceRoot":"","sources":["../../../../src/inference/ui-contracts/rules/lifecycle-state-visible-in-detail.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAIH,MAAM,CAAC,MAAM,OAAO,GAAG,mCAAmC,CAAC;AAE3D,SAAS,mBAAmB,CAAC,YAAiB;IAC5C,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAE/B,8CAA8C;IAC9C,IAAI,OAAO,YAAY,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QACvD,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IAED,kDAAkD;IAClD,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzE,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACrC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,IAAI,IAAI,CAAC;IACjE,CAAC;IAED,8CAA8C;IAC9C,IAAI,OAAO,YAAY,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,YAAY,CAAC,OAAO,CAAC;IAE1E,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,MAAM,6BAA6B,GAAmB,CAAC,IAAoB,EAAc,EAAE;IAChG,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,UAAU,GAAG,KAAK,CAAC,UAA6C,CAAC;QACvE,IAAI,CAAC,UAAU;YAAE,SAAS;QAC1B,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACzD,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,KAAK,CAAC,IAAI,CAAC;gBACT,MAAM,EAAE,OAAO;gBACf,WAAW,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,MAAM,EAAE;gBACtC,IAAI,EAAE,IAAI,OAAO,KAAK,KAAK,CAAC,IAAI,IAAI,MAAM,mBAAmB,OAAO,WAAW;gBAC/E,KAAK,EAAE;oBACL,EAAE,MAAM,EAAE,aAAa,EAAE;oBACzB,EAAE,MAAM,EAAE,uBAAuB,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE;oBAC1D,EAAE,MAAM,EAAE,sBAAsB,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE;iBAC9E;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}
+{"version":3,"file":"lifecycle-state-visible-in-detail.js","sourceRoot":"","sources":["../../../../src/inference/ui-contracts/rules/lifecycle-state-visible-in-detail.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAEnE,MAAM,CAAC,MAAM,OAAO,GAAG,mCAAmC,CAAC;AAE3D,SAAS,mBAAmB,CAAC,YAAiB;IAC5C,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAE/B,8CAA8C;IAC9C,IAAI,OAAO,YAAY,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QACvD,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IAED,kDAAkD;IAClD,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzE,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACrC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,IAAI,IAAI,CAAC;IACjE,CAAC;IAED,8CAA8C;IAC9C,IAAI,OAAO,YAAY,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,YAAY,CAAC,OAAO,CAAC;IAE1E,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,MAAM,6BAA6B,GAAmB,CAAC,IAAoB,EAAc,EAAE;IAChG,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,UAAU,GAAG,KAAK,CAAC,UAA6C,CAAC;QACvE,IAAI,CAAC,UAAU;YAAE,SAAS;QAE1B,+DAA+D;QAC/D,gEAAgE;QAChE,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,MAAM,MAAM,GAAG,cAAc,KAAK,CAAC,IAAI,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC9C,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACzD,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,KAAK,CAAC,IAAI,CAAC;gBACT,MAAM,EAAE,OAAO;gBACf,WAAW,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,MAAM,EAAE;gBACtC,IAAI,EAAE,IAAI,OAAO,KAAK,KAAK,CAAC,IAAI,IAAI,MAAM,mBAAmB,OAAO,wBAAwB;gBAC5F,KAAK,EAAE;oBACL,EAAE,MAAM,EAAE,aAAa,EAAE;oBACzB,EAAE,MAAM,EAAE,iBAAiB,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE;oBACpD;wBACE,MAAM,EAAE,cAAc;wBACtB,SAAS,EAAE,KAAK,CAAC,IAAI;wBACrB,IAAI,EAAE,QAAQ;wBACd,WAAW,EAAE,OAAO,CAAC,IAAI;qBAC1B;oBACD,EAAE,MAAM,EAAE,sBAAsB,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE;iBAC9E;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

package/dist/libs/instance-factories/tools/templates/mcp/mcp-server-generator.js

@@ -142,7 +142,13 @@ function generateTsconfig() {
       declaration: true,
       outDir: "./dist",
       rootDir: "./src",
-      resolveJsonModule: true
+      resolveJsonModule: true,
+      // Under moduleResolution: 'bundler' tsc's auto-inclusion of
+      // @types/* packages from node_modules/@types is environment-
+      // dependent — Node 20 on CI doesn't pick up @types/node while
+      // Node 24 locally does. Listing it explicitly forces consistent
+      // resolution everywhere.
+      types: ["node"]
     },
     include: ["src/**/*"],
     exclude: ["node_modules", "dist"]
@@ -181,7 +187,7 @@ server.setRequestHandler(ListToolsRequestSchema, async () => ({
   })),
 }));
 
-server.setRequestHandler(CallToolRequestSchema, async (req) => {
+server.setRequestHandler(CallToolRequestSchema, async (req: { params: { name: string; arguments?: Record<string, unknown> } }) => {
   const { name, arguments: args } = req.params;
   return callTool(name, args ?? {});
 });
@@ -195,7 +201,7 @@ server.setRequestHandler(ListResourcesRequestSchema, async () => ({
   })),
 }));
 
-server.setRequestHandler(ReadResourceRequestSchema, async (req) => {
+server.setRequestHandler(ReadResourceRequestSchema, async (req: { params: { uri: string } }) => {
   return readResource(req.params.uri);
 });
 
@@ -250,14 +256,14 @@ export function runCli(
     }
   }
 
-  return new Promise(resolve => {
+  return new Promise<CliResult>(resolve => {
     const child = spawn('specverse', argv, { cwd: cwd || process.cwd(), env: process.env });
     let stdout = '';
     let stderr = '';
-    child.stdout.on('data', d => { stdout += d.toString(); });
-    child.stderr.on('data', d => { stderr += d.toString(); });
-    child.on('close', code => resolve({ stdout, stderr, code }));
-    child.on('error', err => resolve({ stdout, stderr: stderr + '\\n' + err.message, code: -1 }));
+    child.stdout.on('data', (d: Buffer) => { stdout += d.toString(); });
+    child.stderr.on('data', (d: Buffer) => { stderr += d.toString(); });
+    child.on('close', (code: number | null) => resolve({ stdout, stderr, code }));
+    child.on('error', (err: Error) => resolve({ stdout, stderr: stderr + '\\n' + err.message, code: -1 }));
   });
 }
 `;

package/libs/instance-factories/tools/templates/mcp/mcp-server-generator.ts

@@ -208,6 +208,12 @@ function generateTsconfig(): string {
       outDir: './dist',
       rootDir: './src',
       resolveJsonModule: true,
+      // Under moduleResolution: 'bundler' tsc's auto-inclusion of
+      // @types/* packages from node_modules/@types is environment-
+      // dependent — Node 20 on CI doesn't pick up @types/node while
+      // Node 24 locally does. Listing it explicitly forces consistent
+      // resolution everywhere.
+      types: ['node'],
     },
     include: ['src/**/*'],
     exclude: ['node_modules', 'dist'],
@@ -247,7 +253,7 @@ server.setRequestHandler(ListToolsRequestSchema, async () => ({
   })),
 }));
 
-server.setRequestHandler(CallToolRequestSchema, async (req) => {
+server.setRequestHandler(CallToolRequestSchema, async (req: { params: { name: string; arguments?: Record<string, unknown> } }) => {
   const { name, arguments: args } = req.params;
   return callTool(name, args ?? {});
 });
@@ -261,7 +267,7 @@ server.setRequestHandler(ListResourcesRequestSchema, async () => ({
   })),
 }));
 
-server.setRequestHandler(ReadResourceRequestSchema, async (req) => {
+server.setRequestHandler(ReadResourceRequestSchema, async (req: { params: { uri: string } }) => {
   return readResource(req.params.uri);
 });
 
@@ -317,14 +323,14 @@ export function runCli(
     }
   }
 
-  return new Promise(resolve => {
+  return new Promise<CliResult>(resolve => {
     const child = spawn('specverse', argv, { cwd: cwd || process.cwd(), env: process.env });
     let stdout = '';
     let stderr = '';
-    child.stdout.on('data', d => { stdout += d.toString(); });
-    child.stderr.on('data', d => { stderr += d.toString(); });
-    child.on('close', code => resolve({ stdout, stderr, code }));
-    child.on('error', err => resolve({ stdout, stderr: stderr + '\\n' + err.message, code: -1 }));
+    child.stdout.on('data', (d: Buffer) => { stdout += d.toString(); });
+    child.stderr.on('data', (d: Buffer) => { stderr += d.toString(); });
+    child.on('close', (code: number | null) => resolve({ stdout, stderr, code }));
+    child.on('error', (err: Error) => resolve({ stdout, stderr: stderr + '\\n' + err.message, code: -1 }));
   });
 }
 `;

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@specverse/engines",
-  "version": "5.0.0",
-  "description": "SpecVerse toolchain — parser, inference, realize, generators, AI, registry",
+  "version": "5.0.2",
+  "description": "SpecVerse toolchain \u2014 parser, inference, realize, generators, AI, registry",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",