@tiangong-lca/mcp-server 0.0.27 → 0.0.29

package/dist/src/tools/db_crud.js

@@ -1,11 +1,12 @@
 import { createClient, FunctionRegion } from '@supabase/supabase-js';
-import { createContact, createFlow, createLifeCycleModel, createProcess, createSource, } from '@tiangong-lca/tidas-sdk/core';
 import { z } from 'zod';
 import { supabase_base_url, supabase_publishable_key } from '../_shared/config.js';
 import { resolveSupabaseAccessToken } from '../_shared/supabase_session.js';
+import { prepareLifecycleModelFile } from './life_cycle_model_file_tools.js';
 const allowedTables = ['contacts', 'flows', 'lifecyclemodels', 'processes', 'sources'];
 const tableSchema = z.enum(allowedTables);
 const UPDATE_FUNCTION_NAME = 'update_data';
+const MAX_VALIDATION_ERROR_LENGTH = 4_000;
 const tablePrimaryKey = {
     contacts: 'id',
     flows: 'id',
@@ -16,21 +17,13 @@ const tablePrimaryKey = {
 function getPrimaryKeyColumn(table) {
     return tablePrimaryKey[table] ?? 'id';
 }
-const jsonValueSchema = z.lazy(() => z.union([
-    z.string(),
-    z.number(),
-    z.boolean(),
-    z.null(),
-    z.array(jsonValueSchema),
-    z.record(jsonValueSchema),
-]));
 const filterValueSchema = z.union([
     z.string(),
     z.number(),
     z.boolean(),
     z.null(),
 ]);
-const filtersSchema = z.record(filterValueSchema);
+const filtersSchema = z.record(z.string(), filterValueSchema);
 const toolParamsSchema = {
     operation: z
         .enum(['select', 'insert', 'update', 'delete'])
@@ -55,9 +48,10 @@ const toolParamsSchema = {
     filters: filtersSchema
         .optional()
         .describe('Optional equality filters as JSON object, e.g. { "name": "Example" }. Only used for select operations. Leave empty for insert/update/delete operations.'),
-    jsonOrdered: jsonValueSchema
+    jsonOrdered: z
+        .unknown()
         .optional()
-        .describe('JSON value persisted into json_ordered (required for insert/update; omit for select/delete).'),
+        .describe('JSON value persisted into json_ordered (required for insert/update; omit for select/delete). For lifecyclemodels, native files, platform bundles, raw records, or a single-item array of those are accepted; json_tg and rule_verification are derived automatically before write.'),
 };
 const refinedInputSchema = z
     .object(toolParamsSchema)
@@ -123,6 +117,36 @@ const refinedInputSchema = z
             break;
     }
 });
+let tidasValidationFactoryMapPromise;
+function summarizeError(error) {
+    if (error instanceof Error) {
+        return error.message;
+    }
+    try {
+        const serialized = JSON.stringify(error);
+        if (!serialized) {
+            return String(error);
+        }
+        return serialized.length > MAX_VALIDATION_ERROR_LENGTH
+            ? `${serialized.slice(0, MAX_VALIDATION_ERROR_LENGTH)}...`
+            : serialized;
+    }
+    catch {
+        return String(error);
+    }
+}
+async function getTidasValidationFactoryMap() {
+    if (!tidasValidationFactoryMapPromise) {
+        tidasValidationFactoryMapPromise = import('@tiangong-lca/tidas-sdk/core').then((module) => ({
+            contacts: module.createContact,
+            flows: module.createFlow,
+            lifecyclemodels: module.createLifeCycleModel,
+            processes: module.createProcess,
+            sources: module.createSource,
+        }));
+    }
+    return tidasValidationFactoryMapPromise;
+}
 function requireAccessToken(accessToken) {
     if (!accessToken) {
         throw new Error('An authenticated Supabase session is required for update operations. Provide a valid access token.');
@@ -135,44 +159,13 @@ function ensureRows(rows, errorMessage) {
     }
     return rows;
 }
-function validateJsonOrdered(table, jsonOrdered) {
+async function validateJsonOrdered(table, jsonOrdered) {
     try {
-        let validationResult;
-        switch (table) {
-            case 'contacts': {
-                const contact = createContact(jsonOrdered, { mode: 'strict' });
-                validationResult = contact.validate();
-                break;
-            }
-            case 'flows': {
-                const flow = createFlow(jsonOrdered, { mode: 'strict' });
-                validationResult = flow.validate();
-                break;
-            }
-            case 'lifecyclemodels': {
-                const lifecycleModel = createLifeCycleModel(jsonOrdered, { mode: 'strict' });
-                validationResult = lifecycleModel.validate();
-                break;
-            }
-            case 'processes': {
-                const process = createProcess(jsonOrdered, { mode: 'strict' });
-                validationResult = process.validate();
-                break;
-            }
-            case 'sources': {
-                const source = createSource(jsonOrdered, { mode: 'strict' });
-                validationResult = source.validate();
-                break;
-            }
-            default: {
-                const exhaustiveCheck = table;
-                throw new Error(`Unsupported table type: ${table}`);
-            }
-        }
+        const validationFactoryMap = await getTidasValidationFactoryMap();
+        const createValidator = validationFactoryMap[table];
+        const validationResult = createValidator(jsonOrdered, { mode: 'strict' }).validate();
         if (!validationResult.success) {
-            const errorDetails = validationResult.error?.issues
-                ? JSON.stringify(validationResult.error.issues, null, 2)
-                : JSON.stringify(validationResult.error);
+            const errorDetails = summarizeError(validationResult.error);
             throw new Error(`Validation failed for table "${table}". Errors: ${errorDetails}`);
         }
     }
@@ -183,6 +176,51 @@ function validateJsonOrdered(table, jsonOrdered) {
         throw error;
     }
 }
+function sanitizeLifecycleModelRows(rows) {
+    return rows.map((row) => {
+        const record = row && typeof row === 'object' && !Array.isArray(row)
+            ? row
+            : {};
+        return {
+            id: record.id ?? null,
+            version: record.version ?? null,
+            json_ordered: record.json_ordered ?? null,
+        };
+    });
+}
+function sanitizeRowsForOutput(table, rows) {
+    return table === 'lifecyclemodels' ? sanitizeLifecycleModelRows(rows) : rows;
+}
+async function prepareWritePayload(table, jsonOrdered, inputId, inputVersion, bearerKey) {
+    if (table !== 'lifecyclemodels') {
+        await validateJsonOrdered(table, jsonOrdered);
+        return {
+            payload: {
+                json_ordered: jsonOrdered,
+            },
+            resolvedId: inputId,
+            resolvedVersion: inputVersion,
+        };
+    }
+    const prepared = await prepareLifecycleModelFile({
+        payload: jsonOrdered,
+    }, bearerKey);
+    if (inputId && inputId !== prepared.lifecycleModelId) {
+        throw new Error(`Provided id (${inputId}) does not match lifecycle model UUID (${prepared.lifecycleModelId}).`);
+    }
+    if (inputVersion && inputVersion !== prepared.lifecycleModelVersion) {
+        throw new Error(`Provided version (${inputVersion}) does not match lifecycle model version (${prepared.lifecycleModelVersion}).`);
+    }
+    return {
+        payload: {
+            json_ordered: prepared.jsonOrdered,
+            json_tg: prepared.jsonTg,
+            rule_verification: prepared.ruleVerification,
+        },
+        resolvedId: prepared.lifecycleModelId,
+        resolvedVersion: prepared.lifecycleModelVersion,
+    };
+}
 async function createSupabaseClient(bearerKey) {
     const { session: normalizedSession, accessToken: bearerToken } = resolveSupabaseAccessToken(bearerKey);
     const supabase = createClient(supabase_base_url, supabase_publishable_key, {
@@ -214,7 +252,8 @@ async function createSupabaseClient(bearerKey) {
 async function handleSelect(supabase, input) {
     const { table, limit, id, version, filters } = input;
     const keyColumn = getPrimaryKeyColumn(table);
-    let queryBuilder = supabase.from(table).select('*');
+    const selectColumns = table === 'lifecyclemodels' ? 'id, version, json_ordered' : '*';
+    let queryBuilder = supabase.from(table).select(selectColumns);
     if (filters) {
         for (const [column, value] of Object.entries(filters)) {
             if (value !== null && value !== undefined) {
@@ -236,29 +275,40 @@ async function handleSelect(supabase, input) {
         console.error('Error querying the database:', error);
         throw error;
     }
-    return JSON.stringify({ data: data ?? [], count: data?.length ?? 0 });
+    const rows = sanitizeRowsForOutput(table, (data ?? []));
+    return JSON.stringify({ data: rows, count: rows.length });
 }
-async function handleInsert(supabase, input) {
-    const { table, jsonOrdered, id } = input;
+async function handleInsert(supabase, input, bearerKey) {
+    const { table, jsonOrdered, id, version } = input;
     if (jsonOrdered === undefined) {
         throw new Error('jsonOrdered is required for insert operations.');
     }
     if (id === undefined) {
         throw new Error('id is required for insert operations.');
     }
-    validateJsonOrdered(table, jsonOrdered);
+    const jsonOrderedValue = jsonOrdered;
+    const preparedWrite = await prepareWritePayload(table, jsonOrderedValue, id, version, bearerKey);
+    const resolvedId = preparedWrite.resolvedId ?? id;
+    const resolvedVersion = preparedWrite.resolvedVersion ?? version;
     const keyColumn = getPrimaryKeyColumn(table);
     const { data, error } = await supabase
         .from(table)
-        .insert([{ [keyColumn]: id, json_ordered: jsonOrdered }])
+        .insert([
+        {
+            [keyColumn]: resolvedId,
+            ...(resolvedVersion !== undefined ? { version: resolvedVersion } : {}),
+            ...preparedWrite.payload,
+        },
+    ])
         .select();
     if (error) {
         console.error('Error inserting into the database:', error);
         throw error;
     }
-    return JSON.stringify({ id, data: data ?? [] });
+    const rows = sanitizeRowsForOutput(table, (data ?? []));
+    return JSON.stringify({ id: resolvedId, version: resolvedVersion, data: rows });
 }
-async function handleUpdate(supabase, accessToken, input) {
+async function handleUpdate(supabase, accessToken, input, bearerKey) {
     const { table, id, version, jsonOrdered } = input;
     if (id === undefined) {
         throw new Error('id is required for update operations.');
@@ -269,13 +319,19 @@ async function handleUpdate(supabase, accessToken, input) {
     if (jsonOrdered === undefined) {
         throw new Error('jsonOrdered is required for update operations.');
     }
-    validateJsonOrdered(table, jsonOrdered);
+    const jsonOrderedValue = jsonOrdered;
+    const preparedWrite = await prepareWritePayload(table, jsonOrderedValue, id, version, bearerKey);
     const token = requireAccessToken(accessToken);
     const { data: functionPayload, error } = await supabase.functions.invoke(UPDATE_FUNCTION_NAME, {
         headers: {
             Authorization: `Bearer ${token}`,
         },
-        body: { id, version, table, data: { json_ordered: jsonOrdered } },
+        body: {
+            id: preparedWrite.resolvedId ?? id,
+            version: preparedWrite.resolvedVersion ?? version,
+            table,
+            data: preparedWrite.payload,
+        },
         region: FunctionRegion.UsEast1,
     });
     if (error) {
@@ -290,8 +346,12 @@ async function handleUpdate(supabase, accessToken, input) {
         throw new Error(message);
     }
     const keyColumn = getPrimaryKeyColumn(table);
-    const rows = ensureRows(updatedRows, `Update affected 0 rows for table "${table}"; verify the provided ${keyColumn} (${id}) and version (${version}) exist and are accessible.`);
-    return JSON.stringify({ id, version, data: rows });
+    const rows = ensureRows(updatedRows, `Update affected 0 rows for table "${table}"; verify the provided ${keyColumn} (${preparedWrite.resolvedId ?? id}) and version (${preparedWrite.resolvedVersion ?? version}) exist and are accessible.`);
+    return JSON.stringify({
+        id: preparedWrite.resolvedId ?? id,
+        version: preparedWrite.resolvedVersion ?? version,
+        data: sanitizeRowsForOutput(table, rows),
+    });
 }
 async function handleDelete(supabase, input) {
     const { table, id, version } = input;
@@ -313,7 +373,7 @@ async function handleDelete(supabase, input) {
         throw error;
     }
     const rows = ensureRows(data, `Delete affected 0 rows for table "${table}"; verify the provided ${keyColumn} (${id}) and version (${version}) exist and are accessible.`);
-    return JSON.stringify({ id, version, data: rows });
+    return JSON.stringify({ id, version, data: sanitizeRowsForOutput(table, rows) });
 }
 async function performCrud(input, bearerKey) {
     try {
@@ -322,9 +382,9 @@ async function performCrud(input, bearerKey) {
             case 'select':
                 return handleSelect(supabase, input);
             case 'insert':
-                return handleInsert(supabase, input);
+                return handleInsert(supabase, input, bearerKey);
             case 'update':
-                return handleUpdate(supabase, accessToken, input);
+                return handleUpdate(supabase, accessToken, input, bearerKey);
             case 'delete':
                 return handleDelete(supabase, input);
             default: {
@@ -339,7 +399,7 @@ async function performCrud(input, bearerKey) {
     }
 }
 export function regCrudTool(server, bearerKey) {
-    server.tool('Database_CRUD_Tool', 'Perform select/insert/update/delete against allowed Supabase tables (insert needs jsonOrdered, update/delete need id and version).', toolParamsSchema, async (rawInput) => {
+    server.tool('Database_CRUD_Tool', 'Perform select/insert/update/delete against allowed Supabase tables (insert needs jsonOrdered, update/delete need id and version). lifecyclemodels insert/update automatically validate the payload, derive platform json_tg, compute rule_verification, and then write the row; lifecyclemodels select returns id/version/json_ordered only.', toolParamsSchema, async (rawInput) => {
         const input = refinedInputSchema.parse(rawInput);
         const result = await performCrud(input, bearerKey);
         return {

package/dist/src/tools/life_cycle_model_file_tools.js

@@ -0,0 +1,857 @@
+import dagre from '@dagrejs/dagre';
+import { createClient } from '@supabase/supabase-js';
+import { createLifeCycleModel } from '@tiangong-lca/tidas-sdk/core';
+import { supabase_base_url, supabase_publishable_key } from '../_shared/config.js';
+import { resolveSupabaseAccessToken } from '../_shared/supabase_session.js';
+const MAX_VALIDATION_ERROR_LENGTH = 4_000;
+const NODE_WIDTH = 350;
+const NODE_MIN_HEIGHT = 100;
+const PORT_START_Y = 65;
+const PORT_STEP_Y = 20;
+const PAIRED_INPUT_START_Y = 58;
+const PAIRED_OUTPUT_START_Y = 78;
+const PAIRED_PORT_STEP_Y = 40;
+const MIN_NODE_SIZE = 1;
+const DAGRE_RANKDIR = 'LR';
+const DAGRE_NODESEP = 88;
+const DAGRE_EDGESEP = 24;
+const DAGRE_RANKSEP = 170;
+const DAGRE_MARGIN_X = 36;
+const DAGRE_MARGIN_Y = 36;
+const PRIMARY_COLOR = '#5c246a';
+const BACKGROUND_COLOR = '#ffffff';
+const MUTED_TEXT_COLOR = 'rgba(0,0,0,0.45)';
+const BODY_TEXT_COLOR = '#000';
+function ensureArray(value) {
+    if (value === null || value === undefined) {
+        return [];
+    }
+    return Array.isArray(value) ? value : [value];
+}
+function cloneJson(value) {
+    return JSON.parse(JSON.stringify(value));
+}
+function asRecord(value) {
+    return value && typeof value === 'object' && !Array.isArray(value)
+        ? value
+        : {};
+}
+function toJsonRecord(value, message) {
+    if (!value || typeof value !== 'object' || Array.isArray(value)) {
+        throw new Error(message);
+    }
+    return value;
+}
+function parsePayload(value) {
+    if (typeof value === 'string') {
+        return JSON.parse(value);
+    }
+    return value;
+}
+function summarizeError(error) {
+    if (error instanceof Error) {
+        return error.message;
+    }
+    try {
+        const serialized = JSON.stringify(error);
+        if (!serialized) {
+            return String(error);
+        }
+        return serialized.length > MAX_VALIDATION_ERROR_LENGTH
+            ? `${serialized.slice(0, MAX_VALIDATION_ERROR_LENGTH)}...`
+            : serialized;
+    }
+    catch {
+        return String(error);
+    }
+}
+function normalizeLifecycleModelPayload(rawPayload) {
+    const parsed = parsePayload(rawPayload);
+    const singlePayload = Array.isArray(parsed) ? parsed[0] : parsed;
+    if (Array.isArray(parsed) && parsed.length !== 1) {
+        throw new Error('Lifecycle model file import currently supports exactly one lifecycle model object per request.');
+    }
+    const payload = asRecord(singlePayload);
+    if (payload.json_ordered) {
+        return {
+            jsonOrdered: toJsonRecord(payload.json_ordered, 'payload.json_ordered must be an object.'),
+            providedJsonTg: payload.json_tg
+                ? toJsonRecord(payload.json_tg, 'payload.json_tg must be an object.')
+                : undefined,
+            sourceFormat: 'raw_record',
+        };
+    }
+    if (payload.jsonOrdered) {
+        return {
+            jsonOrdered: toJsonRecord(payload.jsonOrdered, 'payload.jsonOrdered must be an object.'),
+            providedJsonTg: payload.jsonTg
+                ? toJsonRecord(payload.jsonTg, 'payload.jsonTg must be an object.')
+                : undefined,
+            sourceFormat: 'direct_fields',
+        };
+    }
+    if (payload.lifeCycleModelDataSet) {
+        const { json_tg, ...jsonOrdered } = payload;
+        return {
+            jsonOrdered: toJsonRecord(jsonOrdered, 'payload must contain a lifeCycleModelDataSet object.'),
+            providedJsonTg: json_tg
+                ? toJsonRecord(json_tg, 'payload.json_tg must be an object.')
+                : undefined,
+            sourceFormat: json_tg ? 'platform_bundle' : 'native',
+        };
+    }
+    throw new Error('Unsupported lifecycle model payload. Provide { lifeCycleModelDataSet }, { lifeCycleModelDataSet, json_tg }, { json_ordered, json_tg }, or an array containing exactly one of those objects.');
+}
+function getModelDataSet(jsonOrdered) {
+    const dataSet = jsonOrdered.lifeCycleModelDataSet;
+    if (!dataSet || typeof dataSet !== 'object' || Array.isArray(dataSet)) {
+        throw new Error('jsonOrdered.lifeCycleModelDataSet is required.');
+    }
+    return dataSet;
+}
+function getModelUuid(jsonOrdered) {
+    const dataSet = getModelDataSet(jsonOrdered);
+    const uuid = asRecord(asRecord(asRecord(dataSet.lifeCycleModelInformation).dataSetInformation))['common:UUID'];
+    if (typeof uuid !== 'string' || uuid.length === 0) {
+        throw new Error('lifeCycleModelInformation.dataSetInformation.common:UUID is required in the lifecycle model.');
+    }
+    return uuid;
+}
+function getModelVersion(jsonOrdered) {
+    const dataSet = getModelDataSet(jsonOrdered);
+    const version = asRecord(asRecord(dataSet.administrativeInformation).publicationAndOwnership)['common:dataSetVersion'];
+    if (typeof version !== 'string' || version.length === 0) {
+        throw new Error('administrativeInformation.publicationAndOwnership.common:dataSetVersion is required in the lifecycle model.');
+    }
+    return version;
+}
+function createLifecycleModelValidator(jsonOrdered) {
+    return createLifeCycleModel(jsonOrdered, { mode: 'strict' });
+}
+function validateLifecycleModelStrict(validator) {
+    const validationResult = validator.validate();
+    if (!validationResult.success) {
+        const errorDetails = summarizeError(validationResult.error);
+        throw new Error(`Lifecycle model validation failed: ${errorDetails}`);
+    }
+}
+function langEntries(value) {
+    const entries = ensureArray(value).filter((item) => item && typeof item === 'object');
+    if (entries.length > 0) {
+        return cloneJson(entries);
+    }
+    if (typeof value === 'string' && value.trim().length > 0) {
+        return [{ '@xml:lang': 'en', '#text': value.trim() }];
+    }
+    return [];
+}
+function preferredText(value) {
+    const entries = langEntries(value);
+    const preferredOrder = ['zh', 'zh-cn', 'zh-hans', 'en'];
+    for (const lang of preferredOrder) {
+        const match = entries.find((item) => (item['@xml:lang'] || '').toLowerCase() === lang);
+        if (match?.['#text']) {
+            return match['#text'];
+        }
+    }
+    return entries[0]?.['#text'] ?? '';
+}
+function buildSyntheticName(shortDescription) {
+    return {
+        baseName: langEntries(shortDescription),
+        treatmentStandardsRoutes: [],
+        mixAndLocationTypes: [],
+        functionalUnitFlowProperties: [],
+    };
+}
+function buildNameSummary(name) {
+    const nameRecord = asRecord(name);
+    const partMap = new Map();
+    const keys = [
+        'baseName',
+        'treatmentStandardsRoutes',
+        'mixAndLocationTypes',
+        'functionalUnitFlowProperties',
+    ];
+    for (const key of keys) {
+        for (const item of langEntries(nameRecord[key])) {
+            const lang = (item['@xml:lang'] || 'en').toLowerCase();
+            const text = item['#text'] || '';
+            if (!text) {
+                continue;
+            }
+            if (!partMap.has(lang)) {
+                partMap.set(lang, []);
+            }
+            partMap.get(lang).push(text);
+        }
+    }
+    return Array.from(partMap.entries())
+        .map(([lang, parts]) => ({
+        '@xml:lang': lang,
+        '#text': parts.filter(Boolean).join('; '),
+    }))
+        .filter((item) => item['#text'].length > 0);
+}
+function extractInternalId(value) {
+    if (typeof value === 'string') {
+        return value;
+    }
+    const candidate = asRecord(value)['@id'];
+    return typeof candidate === 'string' ? candidate : '';
+}
+function processInstancesFromModel(jsonOrdered) {
+    const dataSet = getModelDataSet(jsonOrdered);
+    return ensureArray(asRecord(asRecord(asRecord(asRecord(dataSet.lifeCycleModelInformation).technology).processes))
+        .processInstance).map((item) => asRecord(item));
+}
+function processInstanceInternalId(instance) {
+    return String(instance['@dataSetInternalID'] ?? '').trim();
+}
+function graphProcessInstancesFromModel(jsonOrdered) {
+    const processInstances = processInstancesFromModel(jsonOrdered);
+    const missingInternalIdIndexes = processInstances.flatMap((instance, index) => processInstanceInternalId(instance) ? [] : [index]);
+    if (missingInternalIdIndexes.length > 0) {
+        throw new Error(`Lifecycle model graph generation requires processInstance.@dataSetInternalID for every process. Missing values at indexes: ${missingInternalIdIndexes.join(', ')}.`);
+    }
+    return processInstances;
+}
+function referenceProcessInternalIdFromModel(jsonOrdered) {
+    const dataSet = getModelDataSet(jsonOrdered);
+    const quantitativeReference = asRecord(asRecord(dataSet.lifeCycleModelInformation).quantitativeReference);
+    return extractInternalId(quantitativeReference.referenceToReferenceProcess);
+}
+function modelEdgesFromConnections(processInstances) {
+    const seen = new Set();
+    const edges = [];
+    for (const instance of processInstances) {
+        const srcInternalId = processInstanceInternalId(instance);
+        if (!srcInternalId) {
+            continue;
+        }
+        const outputExchanges = ensureArray(asRecord(instance.connections).outputExchange);
+        for (const outputExchange of outputExchanges.map((item) => asRecord(item))) {
+            const flowUuid = String(outputExchange['@flowUUID'] ?? '').trim();
+            if (!flowUuid) {
+                continue;
+            }
+            const downstreamProcesses = ensureArray(asRecord(outputExchange).downstreamProcess).map((item) => asRecord(item));
+            for (const downstreamProcess of downstreamProcesses) {
+                const dstInternalId = String(downstreamProcess['@id'] ?? '').trim();
+                if (!dstInternalId) {
+                    continue;
+                }
+                const key = `${srcInternalId}|${dstInternalId}|${flowUuid}`;
+                if (seen.has(key)) {
+                    continue;
+                }
+                seen.add(key);
+                edges.push({ srcInternalId, dstInternalId, flowUuid });
+            }
+        }
+    }
+    return edges;
+}
+async function createSupabaseClient(bearerKey) {
+    const { session: normalizedSession, accessToken: bearerToken } = resolveSupabaseAccessToken(bearerKey);
+    const supabase = createClient(supabase_base_url, supabase_publishable_key, {
+        auth: {
+            persistSession: false,
+            autoRefreshToken: Boolean(normalizedSession?.refresh_token),
+        },
+        ...(bearerToken
+            ? {
+                global: {
+                    headers: {
+                        Authorization: `Bearer ${bearerToken}`,
+                    },
+                },
+            }
+            : {}),
+    });
+    if (normalizedSession?.refresh_token) {
+        const { error } = await supabase.auth.setSession({
+            access_token: normalizedSession.access_token,
+            refresh_token: normalizedSession.refresh_token,
+        });
+        if (error) {
+            console.warn('Failed to set Supabase session for lifecycle model file tools:', error.message);
+        }
+    }
+    return { supabase };
+}
+function buildFallbackProcessLookup(processId, version, referenceToProcess) {
+    const fallbackShortDescription = langEntries(referenceToProcess['common:shortDescription']);
+    const fallbackLabel = buildSyntheticName(fallbackShortDescription);
+    const fallbackSummary = buildNameSummary(fallbackLabel);
+    return {
+        processId,
+        version,
+        shortDescription: fallbackSummary,
+        label: fallbackLabel,
+        shortSummary: fallbackSummary,
+        exchangeByDirectionAndFlow: new Map(),
+    };
+}
+function processSelectionKey(processId, version) {
+    return `${processId}@@${version}`;
+}
+function extractProcessDataSet(row) {
+    return asRecord(asRecord(row?.json_ordered).processDataSet);
+}
+async function loadReferencedProcessDataSets(supabase, processInstances) {
+    const versionedIdsByVersion = new Map();
+    const unversionedIds = new Set();
+    for (const instance of processInstances) {
+        const referenceToProcess = asRecord(instance.referenceToProcess);
+        const processId = String(referenceToProcess['@refObjectId'] ?? '').trim();
+        const version = String(referenceToProcess['@version'] ?? '').trim();
+        if (!processId) {
+            continue;
+        }
+        if (version) {
+            if (!versionedIdsByVersion.has(version)) {
+                versionedIdsByVersion.set(version, new Set());
+            }
+            versionedIdsByVersion.get(version).add(processId);
+            continue;
+        }
+        unversionedIds.add(processId);
+    }
+    const processDataSetBySelection = new Map();
+    const batchFetches = [];
+    for (const [version, processIds] of versionedIdsByVersion.entries()) {
+        const ids = Array.from(processIds);
+        if (ids.length === 0) {
+            continue;
+        }
+        batchFetches.push((async () => {
+            const { data, error } = await supabase
+                .from('processes')
+                .select('id, version, json_ordered')
+                .eq('version', version)
+                .in('id', ids);
+            if (error) {
+                throw new Error(`Failed to load referenced processes for version ${version}: ${error.message}`);
+            }
+            for (const row of (data ?? [])) {
+                const processId = String(row.id ?? '').trim();
+                if (!processId) {
+                    continue;
+                }
+                processDataSetBySelection.set(processSelectionKey(processId, version), extractProcessDataSet(row));
+            }
+        })());
+    }
+    if (unversionedIds.size > 0) {
+        batchFetches.push((async () => {
+            const { data, error } = await supabase
+                .from('processes')
+                .select('id, version, json_ordered')
+                .in('id', Array.from(unversionedIds))
+                .order('version', { ascending: false });
+            if (error) {
+                throw new Error(`Failed to load referenced processes without version: ${error.message}`);
+            }
+            for (const row of (data ?? [])) {
+                const processId = String(row.id ?? '').trim();
+                if (!processId || processDataSetBySelection.has(processSelectionKey(processId, ''))) {
+                    continue;
+                }
+                processDataSetBySelection.set(processSelectionKey(processId, ''), extractProcessDataSet(row));
+            }
+        })());
+    }
+    await Promise.all(batchFetches);
+    return processDataSetBySelection;
+}
+async function fetchProcessLookups(supabase, processInstances) {
+    const lookups = new Map();
+    const processDataSetBySelection = await loadReferencedProcessDataSets(supabase, processInstances);
+    const fetches = processInstances.map(async (instance) => {
+        const referenceToProcess = asRecord(instance.referenceToProcess);
+        const processId = String(referenceToProcess['@refObjectId'] ?? '').trim();
+        const version = String(referenceToProcess['@version'] ?? '').trim();
+        const internalId = processInstanceInternalId(instance);
+        if (!internalId) {
+            return;
+        }
+        if (!processId) {
+            lookups.set(internalId, buildFallbackProcessLookup(processId, version, referenceToProcess));
+            return;
+        }
+        const fallbackLookup = buildFallbackProcessLookup(processId, version, referenceToProcess);
+        const processDataSet = processDataSetBySelection.get(processSelectionKey(processId, version));
+        if (Object.keys(processDataSet ?? {}).length === 0) {
+            lookups.set(internalId, fallbackLookup);
+            return;
+        }
+        const info = asRecord(asRecord(asRecord(processDataSet).processInformation).dataSetInformation);
+        const label = Object.keys(asRecord(info.name)).length > 0
+            ? cloneJson(asRecord(info.name))
+            : fallbackLookup.label;
+        const shortSummary = buildNameSummary(label);
+        const exchangeByDirectionAndFlow = new Map();
+        let referenceExchange;
+        const refExchangeInternalId = String(asRecord(asRecord(asRecord(processDataSet).processInformation).quantitativeReference)
+            .referenceToReferenceFlow ?? '').trim();
+        for (const exchange of ensureArray(asRecord(processDataSet).exchanges?.exchange).map((item) => asRecord(item))) {
+            const flowRef = asRecord(exchange.referenceToFlowDataSet);
+            const flowId = String(flowRef['@refObjectId'] ?? '').trim();
+            const direction = String(exchange.exchangeDirection ?? '').trim();
+            if (flowId && direction) {
+                exchangeByDirectionAndFlow.set(`${direction}:${flowId}`, exchange);
+            }
+            if ((!referenceExchange && exchange.quantitativeReference === true) ||
+                (refExchangeInternalId &&
+                    String(exchange['@dataSetInternalID'] ?? '').trim() === refExchangeInternalId)) {
+                referenceExchange = exchange;
+            }
+        }
+        lookups.set(internalId, {
+            processId,
+            version,
+            shortDescription: shortSummary.length > 0
+                ? shortSummary
+                : langEntries(referenceToProcess['common:shortDescription']),
+            label,
+            shortSummary: shortSummary.length > 0
+                ? shortSummary
+                : langEntries(referenceToProcess['common:shortDescription']),
+            referenceExchange,
+            exchangeByDirectionAndFlow,
+        });
+    });
+    await Promise.all(fetches);
+    return lookups;
+}
+function flowPortFallback(flowUuid) {
+    return [{ '@xml:lang': 'en', '#text': flowUuid }];
+}
+function exchangeAmount(exchange) {
+    if (!exchange) {
+        return '';
+    }
+    const candidate = exchange.meanAmount ?? exchange.resultingAmount ?? exchange.meanValue;
+    return candidate === undefined || candidate === null ? '' : String(candidate);
+}
+function dagreLayout(nodes, edges) {
+    const dagreGraph = new dagre.graphlib.Graph({ multigraph: true });
+    dagreGraph.setGraph({
+        rankdir: DAGRE_RANKDIR,
+        nodesep: DAGRE_NODESEP,
+        edgesep: DAGRE_EDGESEP,
+        ranksep: DAGRE_RANKSEP,
+        marginx: DAGRE_MARGIN_X,
+        marginy: DAGRE_MARGIN_Y,
+        acyclicer: 'greedy',
+        ranker: 'network-simplex',
+    });
+    const nodeIdByInternalId = new Map(nodes.map((node) => [node.internalId, node.nodeId]));
+    for (const node of nodes) {
+        dagreGraph.setNode(node.nodeId, {
+            width: Math.max(node.width, MIN_NODE_SIZE),
+            height: Math.max(node.height, MIN_NODE_SIZE),
+        });
+    }
+    for (const edge of edges) {
+        const sourceNodeId = nodeIdByInternalId.get(edge.srcInternalId);
+        const targetNodeId = nodeIdByInternalId.get(edge.dstInternalId);
+        if (!sourceNodeId || !targetNodeId || sourceNodeId === targetNodeId) {
+            continue;
+        }
+        if (!dagreGraph.hasNode(sourceNodeId) || !dagreGraph.hasNode(targetNodeId)) {
+            continue;
+        }
+        dagreGraph.setEdge(sourceNodeId, targetNodeId, {
+            minlen: 1,
+            weight: 2,
+        }, `${sourceNodeId}|${targetNodeId}|${edge.flowUuid}|${edge.srcInternalId}|${edge.dstInternalId}`);
+    }
+    dagre.layout(dagreGraph);
+    const positions = new Map();
+    for (const node of nodes) {
+        const layoutNode = dagreGraph.node(node.nodeId);
+        if (!layoutNode) {
+            positions.set(node.internalId, { x: DAGRE_MARGIN_X, y: DAGRE_MARGIN_Y });
+            continue;
+        }
+        positions.set(node.internalId, {
+            x: layoutNode.x - layoutNode.width / 2,
+            y: layoutNode.y - layoutNode.height / 2,
+        });
+    }
+    return positions;
+}
+function buildPortItem(spec, y) {
+    return {
+        id: `${spec.side}:${spec.flowUuid}`,
+        group: spec.side === 'INPUT' ? 'groupInput' : 'groupOutput',
+        args: {
+            x: spec.side === 'INPUT' ? 0 : '100%',
+            y,
+        },
+        attrs: {
+            text: {
+                text: spec.displayText,
+                title: spec.displayText,
+                cursor: 'pointer',
+                fill: spec.quantitativeReference ? PRIMARY_COLOR : MUTED_TEXT_COLOR,
+                'font-weight': spec.quantitativeReference ? 'bold' : 'normal',
+            },
+        },
+        data: {
+            textLang: spec.textLang,
+            flowId: spec.flowUuid,
+            flowVersion: spec.flowVersion,
+            quantitativeReference: spec.quantitativeReference,
+            allocations: spec.allocations,
+        },
+        tools: [{ id: 'portTool' }],
+    };
+}
+function buildPortSpec(side, flowUuid, exchange, overrideQuantitativeReference = false) {
+    const flowRef = asRecord(exchange?.referenceToFlowDataSet);
+    const textLang = langEntries(flowRef['common:shortDescription']).length
+        ? langEntries(flowRef['common:shortDescription'])
+        : flowPortFallback(flowUuid);
+    return {
+        side,
+        flowUuid,
+        flowVersion: String(flowRef['@version'] ?? '').trim(),
+        textLang,
+        displayText: preferredText(textLang) || flowUuid,
+        quantitativeReference: overrideQuantitativeReference || exchange?.quantitativeReference === true,
+        allocations: exchange?.allocations,
+    };
+}
+function mergeJsonTg(generated, provided, preferProvidedJsonTg) {
+    if (!provided || !preferProvidedJsonTg) {
+        return { jsonTg: generated, source: 'generated' };
+    }
+    const providedXflow = asRecord(provided.xflow);
+    const providedSubmodels = ensureArray(provided.submodels);
+    const jsonTg = {
+        ...cloneJson(generated),
+        ...cloneJson(provided),
+        xflow: Object.keys(providedXflow).length > 0
+            ? cloneJson(providedXflow)
+            : cloneJson(asRecord(generated.xflow)),
+        submodels: providedSubmodels.length > 0
+            ? cloneJson(providedSubmodels)
+            : cloneJson(ensureArray(generated.submodels)),
+    };
+    return { jsonTg, source: 'merged' };
+}
+function generateJsonTg(jsonOrdered, processInstances, processLookups) {
+    const referenceProcessInternalId = referenceProcessInternalIdFromModel(jsonOrdered);
+    const fallbackReferenceProcessInstance = processInstances[processInstances.length - 1];
+    const resolvedReferenceProcessInternalId = referenceProcessInternalId ||
+        String(fallbackReferenceProcessInstance?.['@dataSetInternalID'] ?? '').trim();
+    const edges = modelEdgesFromConnections(processInstances);
+    const outgoingEdges = new Map();
+    const incomingEdges = new Map();
+    for (const edge of edges) {
+        if (!outgoingEdges.has(edge.srcInternalId)) {
+            outgoingEdges.set(edge.srcInternalId, []);
+        }
+        outgoingEdges.get(edge.srcInternalId).push(edge);
+        if (!incomingEdges.has(edge.dstInternalId)) {
+            incomingEdges.set(edge.dstInternalId, []);
+        }
+        incomingEdges.get(edge.dstInternalId).push(edge);
+    }
+    const nodeIdCounts = new Map();
+    const nodeSpecs = processInstances.map((instance) => {
+        const internalId = processInstanceInternalId(instance);
+        const multiplicationFactor = String(instance['@multiplicationFactor'] ?? '1');
+        const referenceToProcess = asRecord(instance.referenceToProcess);
+        const lookup = processLookups.get(internalId);
+        const label = lookup?.label ?? buildSyntheticName(referenceToProcess['common:shortDescription']);
+        const shortSummary = lookup?.shortSummary && lookup.shortSummary.length > 0
+            ? lookup.shortSummary
+            : buildNameSummary(label);
+        const processId = lookup?.processId || String(referenceToProcess['@refObjectId'] ?? '').trim();
+        const processVersion = lookup?.version || String(referenceToProcess['@version'] ?? '').trim();
+        const baseNodeId = processId || internalId;
+        const occurrence = (nodeIdCounts.get(baseNodeId) ?? 0) + 1;
+        nodeIdCounts.set(baseNodeId, occurrence);
+        const nodeId = occurrence === 1 ? baseNodeId : `${baseNodeId}::${internalId}`;
+        const portMap = new Map();
+        const registerPort = (spec) => {
+            const key = `${spec.side}:${spec.flowUuid}`;
+            if (!portMap.has(key)) {
+                portMap.set(key, spec);
+            }
+        };
+        if (lookup?.referenceExchange) {
+            const direction = String(lookup.referenceExchange.exchangeDirection ?? '').toUpperCase();
+            const flowId = String(asRecord(lookup.referenceExchange.referenceToFlowDataSet)['@refObjectId'] ?? '').trim();
+            if (flowId && (direction === 'INPUT' || direction === 'OUTPUT')) {
+                registerPort(buildPortSpec(direction, flowId, lookup.referenceExchange, internalId === resolvedReferenceProcessInternalId));
+            }
+        }
+        for (const edge of incomingEdges.get(internalId) ?? []) {
+            registerPort(buildPortSpec('INPUT', edge.flowUuid, lookup?.exchangeByDirectionAndFlow.get(`Input:${edge.flowUuid}`)));
+        }
+        for (const edge of outgoingEdges.get(internalId) ?? []) {
+            registerPort(buildPortSpec('OUTPUT', edge.flowUuid, lookup?.exchangeByDirectionAndFlow.get(`Output:${edge.flowUuid}`)));
+        }
+        const inputPorts = Array.from(portMap.values()).filter((item) => item.side === 'INPUT');
+        const outputPorts = Array.from(portMap.values()).filter((item) => item.side === 'OUTPUT');
+        const hasInputs = inputPorts.length > 0;
+        const hasOutputs = outputPorts.length > 0;
+        const bothSides = hasInputs && hasOutputs;
+        const pairCount = Math.max(inputPorts.length, outputPorts.length);
+        const height = bothSides
+            ? Math.max(NODE_MIN_HEIGHT + 10, 110 + Math.max(pairCount - 1, 0) * PAIRED_PORT_STEP_Y)
+            : Math.max(inputPorts.length, outputPorts.length, 2) * PORT_STEP_Y + 60;
+        return {
+            internalId,
+            nodeId,
+            processId: processId || nodeId,
+            processVersion,
+            label,
+            shortSummary,
+            multiplicationFactor,
+            inputPorts,
+            outputPorts,
+            width: NODE_WIDTH,
+            height: Math.max(NODE_MIN_HEIGHT, height),
+            isReferenceProcess: internalId === resolvedReferenceProcessInternalId,
+        };
+    });
+    const nodeSpecByInternalId = new Map(nodeSpecs.map((node) => [node.internalId, node]));
+    const positions = dagreLayout(nodeSpecs, edges);
+    const nodes = nodeSpecs.map((nodeSpec) => {
+        const bothSides = nodeSpec.inputPorts.length > 0 && nodeSpec.outputPorts.length > 0;
+        const position = positions.get(nodeSpec.internalId) ?? { x: DAGRE_MARGIN_X, y: DAGRE_MARGIN_Y };
+        const labelText = preferredText(nodeSpec.shortSummary);
+        const portY = (side, index) => {
+            if (bothSides) {
+                return side === 'INPUT'
+                    ? PAIRED_INPUT_START_Y + index * PAIRED_PORT_STEP_Y
+                    : PAIRED_OUTPUT_START_Y + index * PAIRED_PORT_STEP_Y;
+            }
+            return PORT_START_Y + index * PORT_STEP_Y;
+        };
+        return {
+            id: nodeSpec.nodeId,
+            shape: 'rect',
+            position,
+            size: {
+                width: nodeSpec.width,
+                height: nodeSpec.height,
+            },
+            attrs: {
+                body: {
+                    stroke: PRIMARY_COLOR,
+                    strokeWidth: 1,
+                    fill: BACKGROUND_COLOR,
+                    rx: 6,
+                    ry: 6,
+                },
+                label: {
+                    fill: BODY_TEXT_COLOR,
+                    refX: 0.5,
+                    refY: 8,
+                    text: labelText,
+                    textAnchor: 'middle',
+                    textVerticalAnchor: 'top',
+                },
+                text: {
+                    fill: BODY_TEXT_COLOR,
+                    text: labelText,
+                },
+            },
+            isMyProcess: true,
+            data: {
+                id: nodeSpec.processId,
+                version: nodeSpec.processVersion,
+                index: nodeSpec.internalId,
+                label: nodeSpec.label,
+                shortDescription: nodeSpec.shortSummary,
+                quantitativeReference: nodeSpec.isReferenceProcess ? '1' : '0',
+                targetAmount: nodeSpec.isReferenceProcess ? '1' : '',
+                multiplicationFactor: nodeSpec.multiplicationFactor,
+            },
+            ports: {
+                groups: {
+                    groupInput: {
+                        position: { name: 'absolute' },
+                        label: { position: { name: 'right' } },
+                        attrs: {
+                            circle: {
+                                stroke: PRIMARY_COLOR,
+                                fill: BACKGROUND_COLOR,
+                                strokeWidth: 1,
+                                r: 4,
+                                magnet: true,
+                            },
+                            text: { fill: MUTED_TEXT_COLOR, fontSize: 14 },
+                        },
+                    },
+                    groupOutput: {
+                        position: { name: 'absolute' },
+                        label: { position: { name: 'left' } },
+                        attrs: {
+                            circle: {
+                                stroke: PRIMARY_COLOR,
+                                fill: BACKGROUND_COLOR,
+                                strokeWidth: 1,
+                                r: 4,
+                                magnet: true,
+                            },
+                            text: { fill: MUTED_TEXT_COLOR, fontSize: 14 },
+                        },
+                    },
+                },
+                items: [
+                    ...nodeSpec.inputPorts.map((item, index) => buildPortItem(item, portY('INPUT', index))),
+                    ...nodeSpec.outputPorts.map((item, index) => buildPortItem(item, portY('OUTPUT', index))),
+                ],
+            },
+            tools: { name: null, items: [] },
+            visible: true,
+            zIndex: 1,
+        };
+    });
+    const instanceMap = new Map(processInstances.map((instance) => [processInstanceInternalId(instance), asRecord(instance)]));
+    const xflowEdges = edges.map((edge) => {
+        const sourceNode = nodeSpecByInternalId.get(edge.srcInternalId);
+        const targetNode = nodeSpecByInternalId.get(edge.dstInternalId);
+        const sourceLookup = processLookups.get(edge.srcInternalId);
+        const targetLookup = processLookups.get(edge.dstInternalId);
+        const targetExchange = targetLookup?.exchangeByDirectionAndFlow.get(`Input:${edge.flowUuid}`);
+        const sourceProcessId = sourceNode?.processId ??
+            sourceLookup?.processId ??
+            String(asRecord(instanceMap.get(edge.srcInternalId)?.referenceToProcess)['@refObjectId'] ?? '');
+        const targetProcessId = targetNode?.processId ??
+            targetLookup?.processId ??
+            String(asRecord(instanceMap.get(edge.dstInternalId)?.referenceToProcess)['@refObjectId'] ?? '');
+        return {
+            id: crypto.randomUUID(),
+            shape: 'edge',
+            source: { cell: sourceNode?.nodeId ?? edge.srcInternalId, port: `OUTPUT:${edge.flowUuid}` },
+            target: { cell: targetNode?.nodeId ?? edge.dstInternalId, port: `INPUT:${edge.flowUuid}` },
+            labels: [],
+            attrs: {
+                line: {
+                    stroke: PRIMARY_COLOR,
+                },
+            },
+            data: {
+                connection: {
+                    outputExchange: {
+                        '@flowUUID': edge.flowUuid,
+                        downstreamProcess: {
+                            '@id': edge.dstInternalId,
+                            '@flowUUID': edge.flowUuid,
+                        },
+                    },
+                    isBalanced: true,
+                    unbalancedAmount: 0,
+                    exchangeAmount: exchangeAmount(targetExchange),
+                },
+                node: {
+                    sourceNodeID: sourceNode?.nodeId ?? edge.srcInternalId,
+                    sourceProcessId,
+                    sourceProcessVersion: sourceNode?.processVersion ??
+                        processLookups.get(edge.srcInternalId)?.version ??
+                        String(asRecord(instanceMap.get(edge.srcInternalId)?.referenceToProcess)['@version'] ?? ''),
+                    targetNodeID: targetNode?.nodeId ?? edge.dstInternalId,
+                    targetProcessId,
+                    targetProcessVersion: targetNode?.processVersion ??
+                        processLookups.get(edge.dstInternalId)?.version ??
+                        String(asRecord(instanceMap.get(edge.dstInternalId)?.referenceToProcess)['@version'] ?? ''),
+                },
+            },
+            zIndex: 4,
+        };
+    });
+    const modelDataSet = getModelDataSet(jsonOrdered);
+    const dataSetInformation = asRecord(asRecord(modelDataSet.lifeCycleModelInformation).dataSetInformation);
+    const referenceToResultingProcess = asRecord(dataSetInformation.referenceToResultingProcess);
+    const referenceProcessInstance = processInstances.find((instance) => String(instance['@dataSetInternalID'] ?? '').trim() === resolvedReferenceProcessInternalId) ?? fallbackReferenceProcessInstance;
+    const referenceProcessRef = asRecord(referenceProcessInstance?.referenceToProcess);
+    const referenceProcessLookup = processLookups.get(resolvedReferenceProcessInternalId);
+    const referenceNodeSpec = nodeSpecByInternalId.get(resolvedReferenceProcessInternalId);
+    const referenceExchange = referenceProcessLookup?.referenceExchange;
+    const fallbackEdge = (outgoingEdges.get(resolvedReferenceProcessInternalId) ?? [])[0];
+    const finalId = {
+        nodeId: referenceNodeSpec?.nodeId ||
+            String(referenceProcessRef['@refObjectId'] ?? '') ||
+            resolvedReferenceProcessInternalId,
+        processId: referenceNodeSpec?.processId || String(referenceProcessRef['@refObjectId'] ?? ''),
+    };
+    if (referenceExchange) {
+        finalId.allocatedExchangeFlowId = String(asRecord(referenceExchange.referenceToFlowDataSet)['@refObjectId'] ?? '');
+        finalId.allocatedExchangeDirection = String(referenceExchange.exchangeDirection ?? '');
+    }
+    else if (fallbackEdge) {
+        finalId.referenceToFlowDataSet = {
+            '@refObjectId': fallbackEdge.flowUuid,
+            '@exchangeDirection': 'Output',
+        };
+    }
+    const submodels = [
+        {
+            id: String(referenceToResultingProcess['@refObjectId'] ?? getModelUuid(jsonOrdered)),
+            type: 'primary',
+            finalId,
+        },
+    ];
+    return {
+        xflow: {
+            nodes,
+            edges: xflowEdges,
+        },
+        submodels,
+    };
+}
+function deriveRuleVerification(validator) {
+    const enhanced = validator.validateEnhanced();
+    if (enhanced.success) {
+        return { ruleVerification: true, issueCount: 0, filteredIssues: [] };
+    }
+    const issues = ensureArray(asRecord(enhanced.error).issues);
+    const filteredIssues = issues.filter((issue) => {
+        const path = ensureArray(asRecord(issue).path).map((part) => String(part));
+        return !path.includes('validation') && !path.includes('compliance');
+    });
+    return {
+        ruleVerification: filteredIssues.length === 0,
+        issueCount: filteredIssues.length,
+        filteredIssues,
+    };
+}
+export async function prepareLifecycleModelFile(input, bearerKey) {
+    const preferProvidedJsonTg = input.preferProvidedJsonTg ?? false;
+    const normalized = normalizeLifecycleModelPayload(input.payload);
+    const jsonOrdered = normalized.jsonOrdered;
+    const processInstances = graphProcessInstancesFromModel(jsonOrdered);
+    const modelId = input.id ?? getModelUuid(jsonOrdered);
+    const modelVersion = input.version ?? getModelVersion(jsonOrdered);
+    const validator = createLifecycleModelValidator(jsonOrdered);
+    validateLifecycleModelStrict(validator);
+    const { supabase } = await createSupabaseClient(bearerKey);
+    const processLookups = await fetchProcessLookups(supabase, processInstances);
+    const generatedJsonTg = generateJsonTg(jsonOrdered, processInstances, processLookups);
+    const merged = mergeJsonTg(generatedJsonTg, normalized.providedJsonTg, preferProvidedJsonTg);
+    const validation = deriveRuleVerification(validator);
+    return {
+        sourceFormat: normalized.sourceFormat,
+        lifecycleModelId: modelId,
+        lifecycleModelVersion: modelVersion,
+        jsonTgSource: merged.source,
+        processCount: processInstances.length,
+        nodeCount: ensureArray(asRecord(merged.jsonTg.xflow).nodes).length,
+        edgeCount: ensureArray(asRecord(merged.jsonTg.xflow).edges).length,
+        submodelCount: ensureArray(merged.jsonTg.submodels).length,
+        ruleVerification: validation.ruleVerification,
+        validationIssueCount: validation.issueCount,
+        validationIssues: validation.filteredIssues,
+        jsonOrdered,
+        jsonTg: merged.jsonTg,
+    };
+}

package/dist/src/tools/tidas_data_validation.js

@@ -50,7 +50,7 @@ const jsonValueSchema = z.lazy(() => z.union([
     z.boolean(),
     z.null(),
     z.array(jsonValueSchema),
-    z.record(jsonValueSchema),
+    z.record(z.string(), jsonValueSchema),
 ]));
 function validateTidasData(entityType, data) {
     try {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tiangong-lca/mcp-server",
-  "version": "0.0.27",
+  "version": "0.0.29",
   "description": "TianGong LCA MCP Server",
   "license": "MIT",
   "author": "Nan LI",
@@ -28,19 +28,20 @@
     "ncu:update": "npx npm-check-updates -u"
   },
   "dependencies": {
-    "@modelcontextprotocol/sdk": "^1.25.3",
-    "@supabase/supabase-js": "^2.91.1",
-    "@tiangong-lca/tidas-sdk": "^0.1.29",
+    "@dagrejs/dagre": "^2.0.4",
+    "@modelcontextprotocol/sdk": "^1.27.1",
+    "@supabase/supabase-js": "^2.99.1",
+    "@tiangong-lca/tidas-sdk": "^0.1.30",
     "@types/express": "^5.0.6",
-    "@upstash/redis": "^1.36.1",
+    "@upstash/redis": "^1.37.0",
     "aws-jwt-verify": "^5.1.1",
     "olca-ipc": "^2.2.1",
-    "zod": "^3.25.76"
+    "zod": "^4.3.6"
   },
   "devDependencies": {
-    "@modelcontextprotocol/inspector": "^0.19.0",
+    "@modelcontextprotocol/inspector": "^0.21.1",
     "dotenv-cli": "^11.0.0",
-    "npm-check-updates": "^19.3.1",
+    "npm-check-updates": "^19.6.3",
     "prettier": "^3.8.1",
     "prettier-plugin-organize-imports": "^4.3.0",
     "shx": "^0.4.0",