@rsconcept/rstool 1.5.0 → 1.7.0

package/dist/{tool-contract-sQfr-DYD.d.ts → tool-contract-i0v2gbWs.d.ts}

@@ -1,11 +1,11 @@
-import { a as Diagnostic, r as ListDiagnosticsFilters } from "./diagnostic-C6TRoBgt.js";
+import { a as Diagnostic, r as ListDiagnosticsFilters } from "./diagnostic-CODFUU-Q.js";
 import { a as RSToolValue, t as BasicBinding } from "./common-D6TFl6l_.js";
-import { n as AnalyzeExpressionInput, t as AnalysisResult } from "./analysis-DA44pfgA.js";
-import { o as ConstituentaDraft } from "./constituenta-QY5w1x91.js";
+import { n as AnalyzeExpressionInput, t as AnalysisResult } from "./analysis-ktWFu4BY.js";
+import { o as ConstituentaDraft } from "./constituenta-HTnFtmxt.js";
 import { i as SessionModelState, r as RecalculateModelResult, s as SetModelValuesInput } from "./model-value-BUhr2IjA.js";
-import { n as SessionRevision, r as SessionState, t as SessionHandle } from "./session-CI4rLYby.js";
-import { a as SessionStateResult, i as SessionStateDetail, n as ApplySchemaPatchInput, r as ApplySchemaPatchResult } from "./agent-workflow-D22FeODL.js";
-import { i as EvaluationResult, r as EvaluateInput } from "./evaluation-Cd4S7-3t.js";
+import { n as SessionRevision, r as SessionState, t as SessionHandle } from "./session-Uc_vHrq9.js";
+import { a as SessionStateDetail, d as SynthesizeResult, i as RestoreOrderResult, n as ApplySchemaPatchInput, o as SessionStateResult, r as ApplySchemaPatchResult, u as SynthesizeInput } from "./agent-workflow-DY-hfAap.js";
+import { i as EvaluationResult, r as EvaluateInput } from "./evaluation-6A7rK4t7.js";
 
 //#region src/models/portal-json.d.ts
 /** Portal JSON import/export format version (schema and model files). */
@@ -103,7 +103,7 @@ type ExportPortalResult = string | PortalSchemaImportData | PortalModelImportDat
 //#endregion
 //#region src/models/tool-contract.d.ts
 /** Agent-visible contract version; bump on breaking API changes. */
-declare const CONTRACT_VERSION = "3.0.0";
+declare const CONTRACT_VERSION = "3.2.0";
 /** Options for constructing an {@link RSToolAgent}. */
 interface RSToolAgentOptions {
   /** When set, sessions are persisted to this directory and survive process restarts. */
@@ -158,7 +158,17 @@ interface RSToolAgentContract {
   evaluate(input: EvaluateInput, sessionId?: string): EvaluationResult;
   /** Recompute derived model values for all constituents. */
   recalculateModel(sessionId?: string): RecalculateModelResult;
+  /**
+   * Restore declaration order: formal topology, semantic clusters when ready,
+   * otherwise stable against type/kernel preferred ranks.
+   */
+  restoreOrder(sessionId?: string): RestoreOrderResult;
+  /**
+   * Synthesis by embedding: merge constituents from another session into the receiver,
+   * then apply an identification table.
+   */
+  synthesize(input: SynthesizeInput, sessionId?: string): SynthesizeResult;
 }
 //#endregion
 export { ExportPortalInput as a, PortalExportKind as c, PortalModelImportData as d, PortalRsformDetails as f, portalItemToDraft as g, PortalTermForm as h, ExportFormat as i, PORTAL_JSON_CONTRACT_VERSION as l, PortalSchemaImportData as m, RSToolAgentContract as n, ExportPortalResult as o, PortalSchemaConstituenta as p, RSToolAgentOptions as r, ImportDataKind as s, CONTRACT_VERSION as t, PortalImportMetadata as u };
-//# sourceMappingURL=tool-contract-sQfr-DYD.d.ts.map
+//# sourceMappingURL=tool-contract-i0v2gbWs.d.ts.map

package/dist/wrapper/stdio-wrapper.js

@@ -1,5 +1,5 @@
 #!/usr/bin/env node
-import { t as RSToolAgent } from "../models-B255GaEC.js";
+import { t as RSToolAgent } from "../models-BKmWx92e.js";
 import readline from "node:readline";
 //#region src/wrapper/stdio-handler.ts
 const STDIO_METHODS = [
@@ -18,7 +18,9 @@ const STDIO_METHODS = [
 	"setModelValues",
 	"getModelState",
 	"evaluate",
-	"recalculateModel"
+	"recalculateModel",
+	"restoreOrder",
+	"synthesize"
 ];
 function asObject(value) {
 	if (!value || typeof value !== "object" || Array.isArray(value)) return {};
@@ -138,6 +140,16 @@ async function handleStdioRequest(tool, request) {
 				ok: true,
 				result: tool.recalculateModel(optionalSessionId(params))
 			};
+			case "restoreOrder": return {
+				id: request.id,
+				ok: true,
+				result: tool.restoreOrder(optionalSessionId(params))
+			};
+			case "synthesize": return {
+				id: request.id,
+				ok: true,
+				result: tool.synthesize(omitSessionId(params), optionalSessionId(params))
+			};
 			default: return {
 				id: request.id ?? null,
 				ok: false,

package/dist/wrapper/stdio-wrapper.js.map

@@ -1 +1 @@
-{"version":3,"file":"stdio-wrapper.js","names":[],"sources":["../../src/wrapper/stdio-handler.ts","../../src/wrapper/stdio-wrapper.ts"],"sourcesContent":["import type { RSToolAgent } from '../models/rstool-agent';\n\nexport interface StdioRequest {\n  id: string | number;\n  method: string;\n  params?: unknown;\n}\n\nexport interface StdioResponse {\n  id: string | number | null;\n  ok: boolean;\n  result?: unknown;\n  error?: {\n    code: string;\n    message: string;\n    details?: unknown;\n  };\n}\n\nexport const STDIO_METHODS = [\n  'ensureSession',\n  'createSession',\n  'getCurrentSession',\n  'setCurrentSession',\n  'applySchemaPatch',\n  'getSessionState',\n  'listDiagnostics',\n  'analyzeExpression',\n  'commitStep',\n  'exportSession',\n  'exportPortal',\n  'importData',\n  'setModelValues',\n  'getModelState',\n  'evaluate',\n  'recalculateModel'\n] as const;\n\nfunction asObject(value: unknown): Record<string, unknown> {\n  if (!value || typeof value !== 'object' || Array.isArray(value)) {\n    return {};\n  }\n  return value as Record<string, unknown>;\n}\n\nfunction requiredString(input: Record<string, unknown>, key: string): string {\n  const value = input[key];\n  if (typeof value !== 'string' || value.length === 0) {\n    throw new Error(`Missing or invalid \"${key}\"`);\n  }\n  return value;\n}\n\nfunction optionalSessionId(input: Record<string, unknown>): string | undefined {\n  const value = input.sessionId;\n  return typeof value === 'string' && value.length > 0 ? value : undefined;\n}\n\nfunction omitSessionId(input: Record<string, unknown>): Record<string, unknown> {\n  const { sessionId: _sessionId, ...rest } = input;\n  return rest;\n}\n\nexport async function handleStdioRequest(tool: RSToolAgent, request: StdioRequest): Promise<StdioResponse> {\n  try {\n    const params = asObject(request.params);\n    switch (request.method) {\n      case 'ping':\n        return { id: request.id, ok: true, result: { pong: true, contractVersion: tool.contractVersion } };\n      case 'methods':\n        return { id: request.id, ok: true, result: STDIO_METHODS };\n      case 'ensureSession':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.ensureSession(params.initial as never)\n        };\n      case 'createSession':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.createSession(params.initial as never)\n        };\n      case 'getCurrentSession':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.getCurrentSession()\n        };\n      case 'setCurrentSession':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.setCurrentSession(requiredString(params, 'sessionId'))\n        };\n      case 'applySchemaPatch':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.applySchemaPatch(omitSessionId(params) as never, optionalSessionId(params))\n        };\n      case 'getSessionState':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.getSessionState(\n            (params.detail as 'summary' | 'full' | undefined) ?? 'summary',\n            optionalSessionId(params)\n          )\n        };\n      case 'listDiagnostics': {\n        const constituentId = params.constituentId;\n        const filters = typeof constituentId === 'number' ? { constituentId } : (params.filters as never);\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.listDiagnostics(filters, optionalSessionId(params))\n        };\n      }\n      case 'analyzeExpression':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.analyzeExpression(omitSessionId(params) as never, optionalSessionId(params))\n        };\n      case 'commitStep':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.commitStep(params.message as string | undefined, optionalSessionId(params))\n        };\n      case 'exportSession':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.exportSession(optionalSessionId(params))\n        };\n      case 'exportPortal':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.exportPortal(omitSessionId(params) as never, optionalSessionId(params))\n        };\n      case 'importData':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.importData(params.payload as string | object, params.kind as never)\n        };\n      case 'setModelValues':\n        return {\n          id: request.id,\n          ok: true,\n          result: await tool.setModelValues(omitSessionId(params) as never, optionalSessionId(params))\n        };\n      case 'getModelState':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.getModelState(optionalSessionId(params))\n        };\n      case 'evaluate':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.evaluate(omitSessionId(params) as never, optionalSessionId(params))\n        };\n      case 'recalculateModel':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.recalculateModel(optionalSessionId(params))\n        };\n      default:\n        return {\n          id: request.id ?? null,\n          ok: false,\n          error: {\n            code: 'METHOD_NOT_FOUND',\n            message: `Unknown method: ${request.method}`\n          }\n        };\n    }\n  } catch (error) {\n    return {\n      id: request.id ?? null,\n      ok: false,\n      error: {\n        code: 'INTERNAL_ERROR',\n        message: error instanceof Error ? error.message : 'Unknown error',\n        details: error\n      }\n    };\n  }\n}\n","#!/usr/bin/env node\nimport readline from 'node:readline';\n\nimport { RSToolAgent } from '../models/rstool-agent';\nimport { handleStdioRequest, type StdioRequest, type StdioResponse } from './stdio-handler';\n\nconst persistenceDir = process.env.RSTOOL_PERSISTENCE_DIR;\nconst tool = new RSToolAgent(persistenceDir ? { persistenceDir } : {});\n\nfunction writeResponse(response: StdioResponse): void {\n  if (!process.stdout.writable || process.stdout.destroyed || process.stdout.writableEnded) {\n    return;\n  }\n  try {\n    process.stdout.write(`${JSON.stringify(response)}\\n`);\n  } catch {\n    // The client might have already closed stdout (EPIPE). Safe to ignore.\n  }\n}\n\nconst input = readline.createInterface({\n  input: process.stdin,\n  crlfDelay: Infinity\n});\n\nwriteResponse({\n  id: null,\n  ok: true,\n  result: {\n    ready: true,\n    wrapper: 'rstool-stdio',\n    contractVersion: tool.contractVersion\n  }\n});\n\ninput.on('line', line => {\n  if (!line.trim()) {\n    return;\n  }\n  try {\n    const request = JSON.parse(line) as StdioRequest;\n    if (!('id' in request) || !('method' in request)) {\n      throw new Error('Request must include \"id\" and \"method\"');\n    }\n    void handleStdioRequest(tool, request).then(writeResponse);\n  } catch (error) {\n    writeResponse({\n      id: null,\n      ok: false,\n      error: {\n        code: 'BAD_REQUEST',\n        message: error instanceof Error ? error.message : 'Invalid JSON'\n      }\n    });\n  }\n});\n"],"mappings":";;;;AAmBA,MAAa,gBAAgB;CAC3B;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF;AAEA,SAAS,SAAS,OAAyC;CACzD,IAAI,CAAC,SAAS,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,GAC5D,OAAO,CAAC;CAEV,OAAO;AACT;AAEA,SAAS,eAAe,OAAgC,KAAqB;CAC3E,MAAM,QAAQ,MAAM;CACpB,IAAI,OAAO,UAAU,YAAY,MAAM,WAAW,GAChD,MAAM,IAAI,MAAM,uBAAuB,IAAI,EAAE;CAE/C,OAAO;AACT;AAEA,SAAS,kBAAkB,OAAoD;CAC7E,MAAM,QAAQ,MAAM;CACpB,OAAO,OAAO,UAAU,YAAY,MAAM,SAAS,IAAI,QAAQ;AACjE;AAEA,SAAS,cAAc,OAAyD;CAC9E,MAAM,EAAE,WAAW,YAAY,GAAG,SAAS;CAC3C,OAAO;AACT;AAEA,eAAsB,mBAAmB,MAAmB,SAA+C;CACzG,IAAI;EACF,MAAM,SAAS,SAAS,QAAQ,MAAM;EACtC,QAAQ,QAAQ,QAAhB;GACE,KAAK,QACH,OAAO;IAAE,IAAI,QAAQ;IAAI,IAAI;IAAM,QAAQ;KAAE,MAAM;KAAM,iBAAiB,KAAK;IAAgB;GAAE;GACnG,KAAK,WACH,OAAO;IAAE,IAAI,QAAQ;IAAI,IAAI;IAAM,QAAQ;GAAc;GAC3D,KAAK,iBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,cAAc,OAAO,OAAgB;GACpD;GACF,KAAK,iBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,cAAc,OAAO,OAAgB;GACpD;GACF,KAAK,qBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,kBAAkB;GACjC;GACF,KAAK,qBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,kBAAkB,eAAe,QAAQ,WAAW,CAAC;GACpE;GACF,KAAK,oBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,iBAAiB,cAAc,MAAM,GAAY,kBAAkB,MAAM,CAAC;GACzF;GACF,KAAK,mBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,gBACV,OAAO,UAA6C,WACrD,kBAAkB,MAAM,CAC1B;GACF;GACF,KAAK,mBAAmB;IACtB,MAAM,gBAAgB,OAAO;IAC7B,MAAM,UAAU,OAAO,kBAAkB,WAAW,EAAE,cAAc,IAAK,OAAO;IAChF,OAAO;KACL,IAAI,QAAQ;KACZ,IAAI;KACJ,QAAQ,KAAK,gBAAgB,SAAS,kBAAkB,MAAM,CAAC;IACjE;GACF;GACA,KAAK,qBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,kBAAkB,cAAc,MAAM,GAAY,kBAAkB,MAAM,CAAC;GAC1F;GACF,KAAK,cACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,WAAW,OAAO,SAA+B,kBAAkB,MAAM,CAAC;GACzF;GACF,KAAK,iBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,cAAc,kBAAkB,MAAM,CAAC;GACtD;GACF,KAAK,gBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,aAAa,cAAc,MAAM,GAAY,kBAAkB,MAAM,CAAC;GACrF;GACF,KAAK,cACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,WAAW,OAAO,SAA4B,OAAO,IAAa;GACjF;GACF,KAAK,kBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,MAAM,KAAK,eAAe,cAAc,MAAM,GAAY,kBAAkB,MAAM,CAAC;GAC7F;GACF,KAAK,iBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,cAAc,kBAAkB,MAAM,CAAC;GACtD;GACF,KAAK,YACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,SAAS,cAAc,MAAM,GAAY,kBAAkB,MAAM,CAAC;GACjF;GACF,KAAK,oBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,iBAAiB,kBAAkB,MAAM,CAAC;GACzD;GACF,SACE,OAAO;IACL,IAAI,QAAQ,MAAM;IAClB,IAAI;IACJ,OAAO;KACL,MAAM;KACN,SAAS,mBAAmB,QAAQ;IACtC;GACF;EACJ;CACF,SAAS,OAAO;EACd,OAAO;GACL,IAAI,QAAQ,MAAM;GAClB,IAAI;GACJ,OAAO;IACL,MAAM;IACN,SAAS,iBAAiB,QAAQ,MAAM,UAAU;IAClD,SAAS;GACX;EACF;CACF;AACF;;;AC5LA,MAAM,iBAAiB,QAAQ,IAAI;AACnC,MAAM,OAAO,IAAI,YAAY,iBAAiB,EAAE,eAAe,IAAI,CAAC,CAAC;AAErE,SAAS,cAAc,UAA+B;CACpD,IAAI,CAAC,QAAQ,OAAO,YAAY,QAAQ,OAAO,aAAa,QAAQ,OAAO,eACzE;CAEF,IAAI;EACF,QAAQ,OAAO,MAAM,GAAG,KAAK,UAAU,QAAQ,EAAE,GAAG;CACtD,QAAQ,CAER;AACF;AAEA,MAAM,QAAQ,SAAS,gBAAgB;CACrC,OAAO,QAAQ;CACf,WAAW;AACb,CAAC;AAED,cAAc;CACZ,IAAI;CACJ,IAAI;CACJ,QAAQ;EACN,OAAO;EACP,SAAS;EACT,iBAAiB,KAAK;CACxB;AACF,CAAC;AAED,MAAM,GAAG,SAAQ,SAAQ;CACvB,IAAI,CAAC,KAAK,KAAK,GACb;CAEF,IAAI;EACF,MAAM,UAAU,KAAK,MAAM,IAAI;EAC/B,IAAI,EAAE,QAAQ,YAAY,EAAE,YAAY,UACtC,MAAM,IAAI,MAAM,4CAAwC;EAE1D,AAAK,mBAAmB,MAAM,OAAO,CAAC,CAAC,KAAK,aAAa;CAC3D,SAAS,OAAO;EACd,cAAc;GACZ,IAAI;GACJ,IAAI;GACJ,OAAO;IACL,MAAM;IACN,SAAS,iBAAiB,QAAQ,MAAM,UAAU;GACpD;EACF,CAAC;CACH;AACF,CAAC"}
+{"version":3,"file":"stdio-wrapper.js","names":[],"sources":["../../src/wrapper/stdio-handler.ts","../../src/wrapper/stdio-wrapper.ts"],"sourcesContent":["import type { RSToolAgent } from '../models/rstool-agent';\n\nexport interface StdioRequest {\n  id: string | number;\n  method: string;\n  params?: unknown;\n}\n\nexport interface StdioResponse {\n  id: string | number | null;\n  ok: boolean;\n  result?: unknown;\n  error?: {\n    code: string;\n    message: string;\n    details?: unknown;\n  };\n}\n\nexport const STDIO_METHODS = [\n  'ensureSession',\n  'createSession',\n  'getCurrentSession',\n  'setCurrentSession',\n  'applySchemaPatch',\n  'getSessionState',\n  'listDiagnostics',\n  'analyzeExpression',\n  'commitStep',\n  'exportSession',\n  'exportPortal',\n  'importData',\n  'setModelValues',\n  'getModelState',\n  'evaluate',\n  'recalculateModel',\n  'restoreOrder',\n  'synthesize'\n] as const;\n\nfunction asObject(value: unknown): Record<string, unknown> {\n  if (!value || typeof value !== 'object' || Array.isArray(value)) {\n    return {};\n  }\n  return value as Record<string, unknown>;\n}\n\nfunction requiredString(input: Record<string, unknown>, key: string): string {\n  const value = input[key];\n  if (typeof value !== 'string' || value.length === 0) {\n    throw new Error(`Missing or invalid \"${key}\"`);\n  }\n  return value;\n}\n\nfunction optionalSessionId(input: Record<string, unknown>): string | undefined {\n  const value = input.sessionId;\n  return typeof value === 'string' && value.length > 0 ? value : undefined;\n}\n\nfunction omitSessionId(input: Record<string, unknown>): Record<string, unknown> {\n  const { sessionId: _sessionId, ...rest } = input;\n  return rest;\n}\n\nexport async function handleStdioRequest(tool: RSToolAgent, request: StdioRequest): Promise<StdioResponse> {\n  try {\n    const params = asObject(request.params);\n    switch (request.method) {\n      case 'ping':\n        return { id: request.id, ok: true, result: { pong: true, contractVersion: tool.contractVersion } };\n      case 'methods':\n        return { id: request.id, ok: true, result: STDIO_METHODS };\n      case 'ensureSession':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.ensureSession(params.initial as never)\n        };\n      case 'createSession':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.createSession(params.initial as never)\n        };\n      case 'getCurrentSession':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.getCurrentSession()\n        };\n      case 'setCurrentSession':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.setCurrentSession(requiredString(params, 'sessionId'))\n        };\n      case 'applySchemaPatch':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.applySchemaPatch(omitSessionId(params) as never, optionalSessionId(params))\n        };\n      case 'getSessionState':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.getSessionState(\n            (params.detail as 'summary' | 'full' | undefined) ?? 'summary',\n            optionalSessionId(params)\n          )\n        };\n      case 'listDiagnostics': {\n        const constituentId = params.constituentId;\n        const filters = typeof constituentId === 'number' ? { constituentId } : (params.filters as never);\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.listDiagnostics(filters, optionalSessionId(params))\n        };\n      }\n      case 'analyzeExpression':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.analyzeExpression(omitSessionId(params) as never, optionalSessionId(params))\n        };\n      case 'commitStep':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.commitStep(params.message as string | undefined, optionalSessionId(params))\n        };\n      case 'exportSession':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.exportSession(optionalSessionId(params))\n        };\n      case 'exportPortal':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.exportPortal(omitSessionId(params) as never, optionalSessionId(params))\n        };\n      case 'importData':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.importData(params.payload as string | object, params.kind as never)\n        };\n      case 'setModelValues':\n        return {\n          id: request.id,\n          ok: true,\n          result: await tool.setModelValues(omitSessionId(params) as never, optionalSessionId(params))\n        };\n      case 'getModelState':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.getModelState(optionalSessionId(params))\n        };\n      case 'evaluate':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.evaluate(omitSessionId(params) as never, optionalSessionId(params))\n        };\n      case 'recalculateModel':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.recalculateModel(optionalSessionId(params))\n        };\n      case 'restoreOrder':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.restoreOrder(optionalSessionId(params))\n        };\n      case 'synthesize':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.synthesize(omitSessionId(params) as never, optionalSessionId(params))\n        };\n      default:\n        return {\n          id: request.id ?? null,\n          ok: false,\n          error: {\n            code: 'METHOD_NOT_FOUND',\n            message: `Unknown method: ${request.method}`\n          }\n        };\n    }\n  } catch (error) {\n    return {\n      id: request.id ?? null,\n      ok: false,\n      error: {\n        code: 'INTERNAL_ERROR',\n        message: error instanceof Error ? error.message : 'Unknown error',\n        details: error\n      }\n    };\n  }\n}\n","#!/usr/bin/env node\nimport readline from 'node:readline';\n\nimport { RSToolAgent } from '../models/rstool-agent';\nimport { handleStdioRequest, type StdioRequest, type StdioResponse } from './stdio-handler';\n\nconst persistenceDir = process.env.RSTOOL_PERSISTENCE_DIR;\nconst tool = new RSToolAgent(persistenceDir ? { persistenceDir } : {});\n\nfunction writeResponse(response: StdioResponse): void {\n  if (!process.stdout.writable || process.stdout.destroyed || process.stdout.writableEnded) {\n    return;\n  }\n  try {\n    process.stdout.write(`${JSON.stringify(response)}\\n`);\n  } catch {\n    // The client might have already closed stdout (EPIPE). Safe to ignore.\n  }\n}\n\nconst input = readline.createInterface({\n  input: process.stdin,\n  crlfDelay: Infinity\n});\n\nwriteResponse({\n  id: null,\n  ok: true,\n  result: {\n    ready: true,\n    wrapper: 'rstool-stdio',\n    contractVersion: tool.contractVersion\n  }\n});\n\ninput.on('line', line => {\n  if (!line.trim()) {\n    return;\n  }\n  try {\n    const request = JSON.parse(line) as StdioRequest;\n    if (!('id' in request) || !('method' in request)) {\n      throw new Error('Request must include \"id\" and \"method\"');\n    }\n    void handleStdioRequest(tool, request).then(writeResponse);\n  } catch (error) {\n    writeResponse({\n      id: null,\n      ok: false,\n      error: {\n        code: 'BAD_REQUEST',\n        message: error instanceof Error ? error.message : 'Invalid JSON'\n      }\n    });\n  }\n});\n"],"mappings":";;;;AAmBA,MAAa,gBAAgB;CAC3B;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF;AAEA,SAAS,SAAS,OAAyC;CACzD,IAAI,CAAC,SAAS,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,GAC5D,OAAO,CAAC;CAEV,OAAO;AACT;AAEA,SAAS,eAAe,OAAgC,KAAqB;CAC3E,MAAM,QAAQ,MAAM;CACpB,IAAI,OAAO,UAAU,YAAY,MAAM,WAAW,GAChD,MAAM,IAAI,MAAM,uBAAuB,IAAI,EAAE;CAE/C,OAAO;AACT;AAEA,SAAS,kBAAkB,OAAoD;CAC7E,MAAM,QAAQ,MAAM;CACpB,OAAO,OAAO,UAAU,YAAY,MAAM,SAAS,IAAI,QAAQ;AACjE;AAEA,SAAS,cAAc,OAAyD;CAC9E,MAAM,EAAE,WAAW,YAAY,GAAG,SAAS;CAC3C,OAAO;AACT;AAEA,eAAsB,mBAAmB,MAAmB,SAA+C;CACzG,IAAI;EACF,MAAM,SAAS,SAAS,QAAQ,MAAM;EACtC,QAAQ,QAAQ,QAAhB;GACE,KAAK,QACH,OAAO;IAAE,IAAI,QAAQ;IAAI,IAAI;IAAM,QAAQ;KAAE,MAAM;KAAM,iBAAiB,KAAK;IAAgB;GAAE;GACnG,KAAK,WACH,OAAO;IAAE,IAAI,QAAQ;IAAI,IAAI;IAAM,QAAQ;GAAc;GAC3D,KAAK,iBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,cAAc,OAAO,OAAgB;GACpD;GACF,KAAK,iBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,cAAc,OAAO,OAAgB;GACpD;GACF,KAAK,qBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,kBAAkB;GACjC;GACF,KAAK,qBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,kBAAkB,eAAe,QAAQ,WAAW,CAAC;GACpE;GACF,KAAK,oBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,iBAAiB,cAAc,MAAM,GAAY,kBAAkB,MAAM,CAAC;GACzF;GACF,KAAK,mBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,gBACV,OAAO,UAA6C,WACrD,kBAAkB,MAAM,CAC1B;GACF;GACF,KAAK,mBAAmB;IACtB,MAAM,gBAAgB,OAAO;IAC7B,MAAM,UAAU,OAAO,kBAAkB,WAAW,EAAE,cAAc,IAAK,OAAO;IAChF,OAAO;KACL,IAAI,QAAQ;KACZ,IAAI;KACJ,QAAQ,KAAK,gBAAgB,SAAS,kBAAkB,MAAM,CAAC;IACjE;GACF;GACA,KAAK,qBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,kBAAkB,cAAc,MAAM,GAAY,kBAAkB,MAAM,CAAC;GAC1F;GACF,KAAK,cACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,WAAW,OAAO,SAA+B,kBAAkB,MAAM,CAAC;GACzF;GACF,KAAK,iBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,cAAc,kBAAkB,MAAM,CAAC;GACtD;GACF,KAAK,gBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,aAAa,cAAc,MAAM,GAAY,kBAAkB,MAAM,CAAC;GACrF;GACF,KAAK,cACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,WAAW,OAAO,SAA4B,OAAO,IAAa;GACjF;GACF,KAAK,kBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,MAAM,KAAK,eAAe,cAAc,MAAM,GAAY,kBAAkB,MAAM,CAAC;GAC7F;GACF,KAAK,iBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,cAAc,kBAAkB,MAAM,CAAC;GACtD;GACF,KAAK,YACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,SAAS,cAAc,MAAM,GAAY,kBAAkB,MAAM,CAAC;GACjF;GACF,KAAK,oBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,iBAAiB,kBAAkB,MAAM,CAAC;GACzD;GACF,KAAK,gBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,aAAa,kBAAkB,MAAM,CAAC;GACrD;GACF,KAAK,cACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,WAAW,cAAc,MAAM,GAAY,kBAAkB,MAAM,CAAC;GACnF;GACF,SACE,OAAO;IACL,IAAI,QAAQ,MAAM;IAClB,IAAI;IACJ,OAAO;KACL,MAAM;KACN,SAAS,mBAAmB,QAAQ;IACtC;GACF;EACJ;CACF,SAAS,OAAO;EACd,OAAO;GACL,IAAI,QAAQ,MAAM;GAClB,IAAI;GACJ,OAAO;IACL,MAAM;IACN,SAAS,iBAAiB,QAAQ,MAAM,UAAU;IAClD,SAAS;GACX;EACF;CACF;AACF;;;AC1MA,MAAM,iBAAiB,QAAQ,IAAI;AACnC,MAAM,OAAO,IAAI,YAAY,iBAAiB,EAAE,eAAe,IAAI,CAAC,CAAC;AAErE,SAAS,cAAc,UAA+B;CACpD,IAAI,CAAC,QAAQ,OAAO,YAAY,QAAQ,OAAO,aAAa,QAAQ,OAAO,eACzE;CAEF,IAAI;EACF,QAAQ,OAAO,MAAM,GAAG,KAAK,UAAU,QAAQ,EAAE,GAAG;CACtD,QAAQ,CAER;AACF;AAEA,MAAM,QAAQ,SAAS,gBAAgB;CACrC,OAAO,QAAQ;CACf,WAAW;AACb,CAAC;AAED,cAAc;CACZ,IAAI;CACJ,IAAI;CACJ,QAAQ;EACN,OAAO;EACP,SAAS;EACT,iBAAiB,KAAK;CACxB;AACF,CAAC;AAED,MAAM,GAAG,SAAQ,SAAQ;CACvB,IAAI,CAAC,KAAK,KAAK,GACb;CAEF,IAAI;EACF,MAAM,UAAU,KAAK,MAAM,IAAI;EAC/B,IAAI,EAAE,QAAQ,YAAY,EAAE,YAAY,UACtC,MAAM,IAAI,MAAM,4CAAwC;EAE1D,AAAK,mBAAmB,MAAM,OAAO,CAAC,CAAC,KAAK,aAAa;CAC3D,SAAS,OAAO;EACd,cAAc;GACZ,IAAI;GACJ,IAAI;GACJ,OAAO;IACL,MAAM;IACN,SAAS,iBAAiB,QAAQ,MAAM,UAAU;GACpD;EACF,CAAC;CACH;AACF,CAAC"}

package/docs/DIAGNOSTICS.md

@@ -46,6 +46,7 @@
 | `0x8903` | `schemaMissingConvention` | —                    | У `basic`/`constant`/`structure` нужна конвенция.                                       |
 | `0x8904` | `schemaMissingTerm`       | —                    | У неопределяемого понятия нужен термин.                                                 |
 | `0x8905` | `schemaTypeMismatch`      | `[manual, computed]` | расхождение ручной и вычисленной типизации.                                             |
+| `0x8906` | `schemaDependencyCycle`   | `[cycle]`            | Круг в графе определений (`F3 → P1 → F3`). Разорви цикл: убери взаимные ссылки.         |
 
 Поле `params` для омонимов/дубликатов — `[aliases]` (строка с alias через запятую).
 
@@ -123,37 +124,37 @@
 
 ## Типизация и структура
 
-| Код      | Имя                                | `params`                           | Исправление                                                                                                                                           |
-| -------- | ---------------------------------- | ---------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------- |
-| `0x880A` | `typesNotEqual`                    | `[a, b, operator]`                 | Операнды `operator` должны иметь равный тип (`a` ≠ `b`).                                                                                              |
-| `0x8825` | `typesNotCompatible`               | `[a, b, operator]`                 | Типы `a` и `b` несовместимы для `operator`.                                                                                                           |
-| `0x8804` | `globalNotTyped`                   | `[name]`                           | Поставщик `name` не типизирован: добавь и проанализируй его раньше.                                                                                   |
-| `0x8805` | `invalidDecart`                    | `[arg]`                            | Аргумент `arg` оператора `×` неподходящей ступени.                                                                                                    |
-| `0x8806` | `invalidBoolean`                   | `[arg]`                            | Аргумент `arg` оператора `ℬ()` неподходящей ступени.                                                                                                  |
-| `0x8810` | `invalidReduce`                    | `[arg]`                            | `red(arg)` требует ступень `ℬℬ`.                                                                                                                      |
-| `0x8807` | `invalidTypeOperation`             | `[operator, type]`                 | Аргумент `type` оператора `operator` (`∪`, `∈`, `D{}`, `:∈` и т.п.) должен быть множеством.                                                           |
-| `0x8808` | `invalidCard`                      | `[arg]`                            | `card(arg)` только над множеством.                                                                                                                    |
-| `0x8809` | `invalidDebool`                    | `[arg]`                            | `debool(arg)` требует ступень-множество с гарантией синглетона.                                                                                       |
-| `0x880B` | `globalFuncWithoutArgs`            | `[name]`                           | Терм-/предикат-функция `name` вызвана без аргументов: нужен `F#[…]` / `P#[…]`.                                                                        |
-| `0x8830` | `projectionSetArgumentNotSet`      | `[operator, actual]`               | `Pr*` применяется к множеству; аргумент не типизирован как `ℬ(H)`.                                                                                    |
-| `0x8831` | `projectionSetArgumentNotTupleSet` | `[operator, actual]`               | `Pr*` требует множество кортежей `ℬ(H1×…×Hn)`; аргумент — множество не-кортежей, напр. `ℬ(X1)`.                                                       |
-| `0x8832` | `projectionSetIndexOutOfRange`     | `[operator, index, arity, actual]` | Индекс проекции `index` превышает размерность `arity` кортежа аргумента `actual`.                                                                     |
-| `0x8833` | `projectionTupleArgumentNotTuple`  | `[operator, actual]`               | `pr*` применяется к кортежу `H1×…×Hn`; получен другой тип.                                                                                            |
-| `0x8834` | `projectionTupleIndexOutOfRange`   | `[operator, index, arity, actual]` | Индекс `index` превышает размерность `arity` кортежа `actual`.                                                                                        |
-| `0x8813` | `invalidEnumeration`               | `[a, b]`                           | Элементы перечисления разной типизации (`a` ≠ `b`).                                                                                                   |
-| `0x8814` | `invalidCortegeDeclare`            | —                                  | Число переменных кортежа ≠ размерности `×` (напр. `∀(a,b)∈X1`).                                                                                       |
-| `0x8816` | `invalidElementPredicate`          | `[a, operator, c]`                 | `a operator c` (`ξ∈S`) с несовместимыми ступенями: `a` — тип элемента, `c` — тип множества.                                                           |
-| `0x8817` | `invalidEmptySetUsage`             | —                                  | Бессмысленное использование `∅` (напр. `X1∪∅`).                                                                                                       |
-| `0x8818` | `invalidArgsArity`                 | `[expected, actual]`               | Неверное число аргументов функции (`expected` ≠ `actual`).                                                                                            |
-| `0x8819` | `invalidArgumentType`              | `[expected, actual]`               | Тип аргумента не соответствует объявлению: ожидалось `expected`, получено `actual`.                                                                   |
-| `0x881C` | `globalStructure`                  | —                                  | Некорректный домен родовой структуры (`cstType` STRUCTURED): нужна ступень-структура вроде `ℬ(X1×D2)`, а не, напр., `X1∩X1`.                          |
-| `0x8821` | `radicalUsage`                     | `[name]`                           | Радикал `name` (`R#`) допустим только в домене параметра `[…]` у `F#` / `P#`, не в теле формулы. `R#` не объявляется конституентой — см. `SYNTAX.md`. |
-| `0x8824` | `arithmeticNotSupported`           | `[type, operator]`                 | `type` не поддерживает арифметику `operator`: нужна ступень `Z` или `C#`.                                                                             |
-| `0x8826` | `orderingNotSupported`             | `[type, operator]`                 | `type` не поддерживает порядок `operator`: нужна ступень `Z` или `C#`.                                                                                |
-| `0x8827` | `expectedLogic`                    | `[type]`                           | Нужна логическая формула, получен тип `type`.                                                                                                         |
-| `0x8828` | `expectedSetexpr`                  | `[type]`                           | Нужно теоретико-множественное выражение, получен тип `type` (напр. `Logic`).                                                                          |
-| `0x8829` | `invalidArgumentCortegeDeclare`    | —                                  | Связное объявление кортежа запрещено в аргументах функции (`[(a,b)∈S1]`): используй проекции или раздельные переменные.                               |
-| `0x882A` | `invalidQuantifierDomain`          | `[operator, type]`                 | Область квантора `operator` (`∀`/`∃`) должна быть множеством, а не `type`.                                                                            |
+| Код      | Имя                                | `params`                           | Исправление                                                                                                                                                                                                                      |
+| -------- | ---------------------------------- | ---------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `0x880A` | `typesNotEqual`                    | `[a, b, operator]`                 | Операнды `operator` должны иметь равный тип (`a` ≠ `b`).                                                                                                                                                                         |
+| `0x8825` | `typesNotCompatible`               | `[a, b, operator]`                 | Типы `a` и `b` несовместимы для `operator`.                                                                                                                                                                                      |
+| `0x8804` | `globalNotTyped`                   | `[name]`                           | Поставщик `name` не типизирован: добавь и проанализируй его раньше. Если `name` в круге определений, анализ схемы/выражения может заменить код на `schemaDependencyCycle` (также для `globalFuncWithoutArgs` у голых `F#`/`P#`). |
+| `0x8805` | `invalidDecart`                    | `[arg]`                            | Аргумент `arg` оператора `×` неподходящей ступени.                                                                                                                                                                               |
+| `0x8806` | `invalidBoolean`                   | `[arg]`                            | Аргумент `arg` оператора `ℬ()` неподходящей ступени.                                                                                                                                                                             |
+| `0x8810` | `invalidReduce`                    | `[arg]`                            | `red(arg)` требует ступень `ℬℬ`.                                                                                                                                                                                                 |
+| `0x8807` | `invalidTypeOperation`             | `[operator, type]`                 | Аргумент `type` оператора `operator` (`∪`, `∈`, `D{}`, `:∈` и т.п.) должен быть множеством.                                                                                                                                      |
+| `0x8808` | `invalidCard`                      | `[arg]`                            | `card(arg)` только над множеством.                                                                                                                                                                                               |
+| `0x8809` | `invalidDebool`                    | `[arg]`                            | `debool(arg)` требует ступень-множество с гарантией синглетона.                                                                                                                                                                  |
+| `0x880B` | `globalFuncWithoutArgs`            | `[name]`                           | Терм-/предикат-функция `name` вызвана без аргументов: нужен `F#[…]` / `P#[…]`.                                                                                                                                                   |
+| `0x8830` | `projectionSetArgumentNotSet`      | `[operator, actual]`               | `Pr*` применяется к множеству; аргумент не типизирован как `ℬ(H)`.                                                                                                                                                               |
+| `0x8831` | `projectionSetArgumentNotTupleSet` | `[operator, actual]`               | `Pr*` требует множество кортежей `ℬ(H1×…×Hn)`; аргумент — множество не-кортежей, напр. `ℬ(X1)`.                                                                                                                                  |
+| `0x8832` | `projectionSetIndexOutOfRange`     | `[operator, index, arity, actual]` | Индекс проекции `index` превышает размерность `arity` кортежа аргумента `actual`.                                                                                                                                                |
+| `0x8833` | `projectionTupleArgumentNotTuple`  | `[operator, actual]`               | `pr*` применяется к кортежу `H1×…×Hn`; получен другой тип.                                                                                                                                                                       |
+| `0x8834` | `projectionTupleIndexOutOfRange`   | `[operator, index, arity, actual]` | Индекс `index` превышает размерность `arity` кортежа `actual`.                                                                                                                                                                   |
+| `0x8813` | `invalidEnumeration`               | `[a, b]`                           | Элементы перечисления разной типизации (`a` ≠ `b`).                                                                                                                                                                              |
+| `0x8814` | `invalidCortegeDeclare`            | —                                  | Число переменных кортежа ≠ размерности `×` (напр. `∀(a,b)∈X1`).                                                                                                                                                                  |
+| `0x8816` | `invalidElementPredicate`          | `[a, operator, c]`                 | `a operator c` (`ξ∈S`) с несовместимыми ступенями: `a` — тип элемента, `c` — тип множества.                                                                                                                                      |
+| `0x8817` | `invalidEmptySetUsage`             | —                                  | Бессмысленное использование `∅` (напр. `X1∪∅`).                                                                                                                                                                                  |
+| `0x8818` | `invalidArgsArity`                 | `[expected, actual]`               | Неверное число аргументов функции (`expected` ≠ `actual`).                                                                                                                                                                       |
+| `0x8819` | `invalidArgumentType`              | `[expected, actual]`               | Тип аргумента не соответствует объявлению: ожидалось `expected`, получено `actual`.                                                                                                                                              |
+| `0x881C` | `globalStructure`                  | —                                  | Некорректный домен родовой структуры (`cstType` STRUCTURED): нужна ступень-структура вроде `ℬ(X1×D2)`, а не, напр., `X1∩X1`.                                                                                                     |
+| `0x8821` | `radicalUsage`                     | `[name]`                           | Радикал `name` (`R#`) допустим только в домене параметра `[…]` у `F#` / `P#`, не в теле формулы. `R#` не объявляется конституентой — см. `SYNTAX.md`.                                                                            |
+| `0x8824` | `arithmeticNotSupported`           | `[type, operator]`                 | `type` не поддерживает арифметику `operator`: нужна ступень `Z` или `C#`.                                                                                                                                                        |
+| `0x8826` | `orderingNotSupported`             | `[type, operator]`                 | `type` не поддерживает порядок `operator`: нужна ступень `Z` или `C#`.                                                                                                                                                           |
+| `0x8827` | `expectedLogic`                    | `[type]`                           | Нужна логическая формула, получен тип `type`.                                                                                                                                                                                    |
+| `0x8828` | `expectedSetexpr`                  | `[type]`                           | Нужно теоретико-множественное выражение, получен тип `type` (напр. `Logic`).                                                                                                                                                     |
+| `0x8829` | `invalidArgumentCortegeDeclare`    | —                                  | Связное объявление кортежа запрещено в аргументах функции (`[(a,b)∈S1]`): используй проекции или раздельные переменные.                                                                                                          |
+| `0x882A` | `invalidQuantifierDomain`          | `[operator, type]`                 | Область квантора `operator` (`∀`/`∃`) должна быть множеством, а не `type`.                                                                                                                                                       |
 
 ## Фильтр `Fi`
 

package/docs/DOMAIN.md

@@ -55,10 +55,17 @@
 - **Основание** — конституента, из которой формально порождают новые термы.
 - **Порожденная конституента** — построена из основания без новой предметной договоренности.
 
-## ОСС и синтез
+## Синтез
 
+- **Синтез** — общее название операций объединения концептуальных схем через таблицу отождествлений.
+- **Встраивание** — вставка конституент одной КС в другую (с опциональной таблицей отождествлений). В Portal UI — «Встраивание схемы»; в rstool — метод `synthesize`.
+- **Отождествление** — замена одной конституенты другой по таблице отождествлений.
+
+## ОСС
+
+- **Операционная схема синтеза (`ОСС`)** — граф загрузок и синтезов КС.
 - **Загрузка** добавляет внешнюю или собственную КС в ОСС.
-- **Синтез** строит новую КС из операций-аргументов через таблицу отождествлений.
+- **Синтез (операция ОСС)** строит новую КС из операций-аргументов через таблицу отождествлений.
 - **Наследованные конституенты** пришли из исходных схем; их определения обычно read-only.
 - **Сквозные изменения** идут от исходной конституенты к наследникам.
 - **Ромбовидный синтез** использует КС с общими предками; чаще требует ручного отождествления дублей.

package/docs/README.md

@@ -6,7 +6,7 @@
 
 ## Какой файл читать
 
-- **DOMAIN.md** — термины Portal: конституента, неопределяемые и производные понятия, ядро/тело КС, интерпретация, ОСС, синтез.
+- **DOMAIN.md** — термины Portal: конституента, неопределяемые и производные понятия, ядро/тело КС, интерпретация, синтез / встраивание, ОСС.
 - **CONCEPTUAL-SCHEMA.md** — проектирование и ревью концептуальных схем (в т.ч. терм-функция вместо множества пар).
 - **CONSTITUENTA.md** — структура и правила конституент.
 - **BASE-SELECTION.md** — выбор основания: `X#`, `C#` или `Z`.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rsconcept/rstool",
-  "version": "1.5.0",
+  "version": "1.7.0",
   "description": "Agent-facing library for incremental RSForm construction, RSLang analysis, diagnostics, modeling, and evaluation. Wraps @rsconcept/domain with a deterministic session contract.",
   "license": "MIT",
   "author": "IRBorisov",

package/skills/rstool-helper/EXAMPLES.md

@@ -155,6 +155,7 @@ tool.applySchemaPatch({
 | `radicalUsage`                                    | `R1` в теле формулы или как конституента           | `R#` только в `[…]` у `F#`/`P#`                                  |
 | `schemaMissingConvention`                         | `X1` без конвенции                                 | добавь предметную конвенцию                                      |
 | `schemaHomonym`                                   | одинаковый термин у разных конституент             | различай термины                                                 |
+| `schemaDependencyCycle`                           | круг в определениях (`F3 → P1 → F3`)               | разорви цикл: убери взаимные ссылки                              |
 | `localOutOfScopeParentheses`                      | `∀a∈S P(a) & Q(a)`                                 | `∀a∈S (P(a) & Q(a))`                                             |
 | `invalidFilterSyntax`                             | кривой `Fi`                                        | `Fi1[{ξ}](S1)` / `Fi1,2[D1,D2](S1)`                              |
 
@@ -254,6 +255,31 @@ const forPortal = tool.exportPortal({ kind: 'schema' });
 
 Не передавай `/details` с `kind: 'session'`. REST и curl — [PORTAL-API.md](../../docs/PORTAL-API.md).
 
+## Встраивание схемы (синтез)
+
+```ts
+const receiver = tool.createSession({ title: 'Base' });
+tool.applySchemaPatch({ items: [{ alias: 'X1', term: 'человек' }] }, receiver.sessionId);
+
+const source = tool.createSession({ title: 'Donor' });
+tool.applySchemaPatch(
+  {
+    items: [
+      { alias: 'X1', term: 'персона' },
+      { alias: 'S1', definitionFormal: 'ℬ(X1)' }
+    ]
+  },
+  source.sessionId
+);
+
+tool.setCurrentSession(receiver.sessionId);
+tool.synthesize({
+  sourceSessionId: source.sessionId,
+  substitutions: [{ original: 'X1', substitution: 'X1' }] // source X1 → receiver X1
+});
+// receiver: X1 (человек), S1 = ℬ(X1)  — импортированный X1 отождествлён и удалён
+```
+
 ## Образец текста ревью (не код)
 
 После [воркфлоу ревью](GUIDE.md#ревью--оценка-готовой-кс) ответ может выглядеть так:

package/skills/rstool-helper/GUIDE.md

@@ -14,7 +14,7 @@
 
 ## Быстрый контракт для агента
 
-- Library API: `tool.applySchemaPatch(input, sessionId?)` — единственный путь правки схемы.
+- Library API: `tool.applySchemaPatch(input, sessionId?)` — основной путь правки схемы; `synthesize` — встраивание конституент из другой сессии (синтез с таблицей отождествлений).
 - Stdio/MCP: **плоские** `params` — поля метода и optional `sessionId` на одном уровне (без `params.input`).
 - Состояние: `getSessionState()` (summary) или `getSessionState('full')`.
 - Импорт/экспорт Portal: `importData`, `exportPortal({ kind })`.
@@ -225,6 +225,7 @@ kind `auto` (default) определит `portal-details` или `portal-schema`
 | `convention`                      | конвенция                           |
 | `comment`                         | комментарий                         |
 | `applySchemaPatch`                | правка схемы                        |
+| `synthesize`                      | встраивание / синтез схем           |
 | `analyzeExpression`               | проверка / анализ выражения         |
 | `listDiagnostics`, `diagnostics`  | диагностики                         |
 | `setModelValues`, `getModelState` | интерпретация, значения модели      |

package/skills/rstool-helper/REFERENCE.md

@@ -5,7 +5,7 @@
 ## Контракт rstool
 
 - Пакет: `@rsconcept/rstool`
-- Версия контракта: `3.0.0` (`CONTRACT_VERSION`)
+- Версия контракта: `3.2.0` (`CONTRACT_VERSION`)
 - Основной класс: `RSToolAgent`
 - Публичные импорты: `@rsconcept/rstool` и `@rsconcept/rstool/wrapper`
 - Опции: `new RSToolAgent({ persistenceDir? })` — каталог для сохранения сессий между перезапусками (stdio/MCP: `RSTOOL_PERSISTENCE_DIR`)
@@ -14,24 +14,26 @@
 
 ### Методы library API
 
-| Метод                                          | Назначение                                  |
-| ---------------------------------------------- | ------------------------------------------- |
-| `ensureSession(initial?)`                      | Вернуть текущую сессию или создать новую    |
-| `createSession(initial?)`                      | Новая in-memory сессия (становится текущей) |
-| `getCurrentSession()`                          | Текущая активная сессия или `null`          |
-| `setCurrentSession(sessionId)`                 | Сделать сессию текущей                      |
-| `applySchemaPatch(input, sessionId?)`          | Единственный путь правки схемы              |
-| `getSessionState(detail?, sessionId?)`         | `summary` (default) или `full`              |
-| `listDiagnostics(filters?, sessionId?)`        | Активные диагностики                        |
-| `analyzeExpression(input, sessionId?)`         | Разбор без сохранения                       |
-| `commitStep(message?, sessionId?)`             | Ревизия                                     |
-| `exportSession(sessionId?)`                    | JSON-строка сессии                          |
-| `exportPortal({ kind, format? }, sessionId?)`  | Portal Load from JSON                       |
-| `importData(payload, kind?)`                   | Импорт сессии / Portal                      |
-| `setModelValues({ set?, clear? }, sessionId?)` | Значения модели (**async** — `await`)       |
-| `getModelState(sessionId?)`                    | Состояние интерпретации                     |
-| `evaluate(input, sessionId?)`                  | Scratch или конституента                    |
-| `recalculateModel(sessionId?)`                 | Пересчёт производных                        |
+| Метод                                          | Назначение                                                         |
+| ---------------------------------------------- | ------------------------------------------------------------------ |
+| `ensureSession(initial?)`                      | Вернуть текущую сессию или создать новую                           |
+| `createSession(initial?)`                      | Новая in-memory сессия (становится текущей)                        |
+| `getCurrentSession()`                          | Текущая активная сессия или `null`                                 |
+| `setCurrentSession(sessionId)`                 | Сделать сессию текущей                                             |
+| `applySchemaPatch(input, sessionId?)`          | Единственный путь правки схемы                                     |
+| `getSessionState(detail?, sessionId?)`         | `summary` (default) или `full`                                     |
+| `listDiagnostics(filters?, sessionId?)`        | Активные диагностики                                               |
+| `analyzeExpression(input, sessionId?)`         | Разбор без сохранения                                              |
+| `commitStep(message?, sessionId?)`             | Ревизия                                                            |
+| `exportSession(sessionId?)`                    | JSON-строка сессии                                                 |
+| `exportPortal({ kind, format? }, sessionId?)`  | Portal Load from JSON                                              |
+| `importData(payload, kind?)`                   | Импорт сессии / Portal                                             |
+| `setModelValues({ set?, clear? }, sessionId?)` | Значения модели (**async** — `await`)                              |
+| `getModelState(sessionId?)`                    | Состояние интерпретации                                            |
+| `evaluate(input, sessionId?)`                  | Scratch или конституента                                           |
+| `recalculateModel(sessionId?)`                 | Пересчёт производных                                               |
+| `restoreOrder(sessionId?)`                     | Упорядочить конституенты (топология + семантика)                   |
+| `synthesize(input, sessionId?)`                | Синтез (встраивание): слить другую сессию + таблица отождествлений |
 
 Служебные (stdio / MCP): `ping` / `pong`+`contractVersion`; `methods` / `list_methods`.
 
@@ -59,6 +61,8 @@ Stdio использует **camelCase** имён методов (как library
 | `getModelState`     | `get_model_state`     |
 | `evaluate`          | `evaluate`            |
 | `recalculateModel`  | `recalculate_model`   |
+| `restoreOrder`      | `restore_order`       |
+| `synthesize`        | `synthesize`          |
 
 ## `applySchemaPatch`
 
@@ -156,6 +160,48 @@ await tool.setModelValues({
 
 Формы `value` для `X#` / `S#` — [MODEL-TESTING.md](../../docs/MODEL-TESTING.md).
 
+## `restoreOrder`
+
+Упорядочивает конституенты сессии одним проходом Kahn:
+
+- формальные зависимости — жёстко (поставщик раньше зависимого);
+- семантические дети — сразу после родителя, если уже готовы;
+- иначе — стабильно относительно приоритета типов/ядра.
+
+```ts
+const { orderedAliases } = tool.restoreOrder();
+// → { orderedIds: number[], orderedAliases: string[] }
+```
+
+## `synthesize`
+
+**Синтез** в rstool сейчас — это **встраивание** схемы: вставка конституент из другой сессии в текущую с опциональной таблицей отождествлений (как «Встраивание схемы» в Portal UI).
+
+```ts
+const receiver = tool.createSession();
+const source = tool.createSession();
+tool.applySchemaPatch({ items: [{ alias: 'X1' }] }, source.sessionId);
+
+tool.setCurrentSession(receiver.sessionId);
+tool.synthesize({
+  sourceSessionId: source.sessionId,
+  // items?: ['X1'], // optional subset of source aliases
+  substitutions: [{ original: 'X1', substitution: 'X1' }], // source → receiver
+  commitMessage: 'merge'
+});
+```
+
+**Вход**
+
+| Поле              | Смысл                                                                                         |
+| ----------------- | --------------------------------------------------------------------------------------------- |
+| `sourceSessionId` | Сессия-источник (не должна совпадать с receiver)                                              |
+| `items?`          | Алиасы конституент источника; пусто / omit — все                                              |
+| `substitutions?`  | Таблица отождествлений по алиасам: в каждой строке один алиас источника и один алиас receiver |
+| `commitMessage?`  | Ревизия после успеха                                                                          |
+
+Алиасы импорта перенумеровываются при непустом receiver (`X1` → `X2`, …). Формулы и текстовые ссылки обновляются. Результат: `summary`, `idMap`, `aliasMapping`, `deletedIds`, `insertedIds`, и опционально `revision` (если был `commitMessage`). Также `success` / `failed` — как у `applySchemaPatch` (режим best-effort после встраивания).
+
 ## `importData` / `exportSession` / `exportPortal`
 
 ### `importData(payload, kind?)`

package/src/index.ts

@@ -54,6 +54,9 @@ export {
   type SessionSummaryItem,
   type SessionState,
   type SetConstituentaValueInput,
-  type SetModelValuesInput
+  type SetModelValuesInput,
+  type SynthesisSubstitution,
+  type SynthesizeInput,
+  type SynthesizeResult
 } from './models';
 export { RSToolWrapperClient, type RSToolWrapperClientOptions, type WrapperResponse } from './wrapper/client';

package/src/mappers/diagnostic-assembly.ts

@@ -1,10 +1,10 @@
 import {
-  type Constituenta,
   type CstDiagnostic,
   DiagnosticKind,
   modelStatusCstDiagnostic,
   RSDiagnosticCode
 } from '@rsconcept/domain/library';
+import { type DiagnosticSourceFields } from '@rsconcept/domain/library/rsform-api';
 import { EvalStatus } from '@rsconcept/domain/library/rsmodel';
 import { isCritical, RSErrorCode, type RSErrorDescription } from '@rsconcept/domain/rslang/error';
 
@@ -43,7 +43,7 @@ export function getDiagnosticSeverity(code: number): DiagnosticSeverity {
   return isCritical(code as RSErrorCode) ? 'error' : 'warning';
 }
 
-export function expandCstDiagnostic(cst: Constituenta, diagnostic: CstDiagnostic): Diagnostic {
+export function expandCstDiagnostic(cst: DiagnosticSourceFields, diagnostic: CstDiagnostic): Diagnostic {
   const expression = expressionForCstDiagnostic(cst, diagnostic);
   return {
     ...diagnostic,
@@ -76,12 +76,12 @@ export function expressionDiagnostic(
   };
 }
 
-export function modelStatusDiagnostic(status: EvalStatus, cst: Constituenta): Diagnostic | null {
+export function modelStatusDiagnostic(status: EvalStatus, cst: DiagnosticSourceFields): Diagnostic | null {
   const base = modelStatusCstDiagnostic(status, cst.cst_type);
   return base ? expandCstDiagnostic(cst, base) : null;
 }
 
-function expressionForCstDiagnostic(cst: Constituenta, diagnostic: CstDiagnostic): string {
+function expressionForCstDiagnostic(cst: DiagnosticSourceFields, diagnostic: CstDiagnostic): string {
   switch (diagnostic.code) {
     case RSDiagnosticCode.schemaHomonym:
     case RSDiagnosticCode.schemaMissingTerm:
@@ -90,6 +90,9 @@ function expressionForCstDiagnostic(cst: Constituenta, diagnostic: CstDiagnostic
       return cst.convention;
     case RSDiagnosticCode.schemaTypeMismatch:
       return cst.typification_manual;
+    case RSDiagnosticCode.schemaDependencyCycle:
+    case RSDiagnosticCode.schemaFormalDuplicate:
+      return cst.definition_formal;
     default:
       return cst.definition_formal;
   }

package/src/mappers/rsform-builder.ts

@@ -75,7 +75,7 @@ export function enrichSessionConstituents(session: SessionState): EnrichedConsti
     }
   }
 
-  assignSchemaDiagnostics(schema.items, resolveAlias, normalizedDefinitions);
+  assignSchemaDiagnostics(schema.items, resolveAlias, normalizedDefinitions, schema.graph);
 
   return session.items.map(item => ({
     item,

package/src/mappers/schema-adapter.ts

@@ -1,6 +1,6 @@
-import { RSLangAnalyzer, type AnalysisFull, type ValueClass } from '@rsconcept/domain/rslang';
 import { getAnalysisFor } from '@rsconcept/domain/library/rsform-api';
-import { CstType, type RSForm } from '@rsconcept/domain/library/rsform';
+import { type RSForm } from '@rsconcept/domain/library/rsform';
+import { RSLangAnalyzer } from '@rsconcept/domain/rslang';
 
 import {
   type AnalysisResult,
@@ -9,6 +9,7 @@ import {
   type Diagnostic,
   type SessionState
 } from '../models';
+import { buildRSFormFromSession } from './rsform-builder';
 import { toPublicAnalysis } from './types';
 
 export class SchemaAdapter {
@@ -16,9 +17,8 @@ export class SchemaAdapter {
     session: SessionState,
     draft: ConstituentaDraft
   ): { result: AnalysisResult; diagnostics: Diagnostic[] } {
-    const analyzer = this.buildAnalyzer(session);
-    const schema = this.toPseudoRSFormState(session, analyzer);
-    const analysis = getAnalysisFor(draft.definitionFormal, draft.cstType, schema as unknown as RSForm, draft.alias);
+    const schema = this.toAnalysisSchema(session, draft);
+    const analysis = getAnalysisFor(draft.definitionFormal, draft.cstType, schema, draft.alias);
     const target = { constituentId: draft.id, alias: draft.alias };
     const result = toPublicAnalysis(
       {
@@ -70,18 +70,50 @@ export class SchemaAdapter {
     };
   }
 
-  private buildAnalyzer(session: SessionState): RSLangAnalyzer {
-    const analyzer = new RSLangAnalyzer();
-    for (const item of session.items) {
-      if (item.cstType === CstType.BASE) {
-        analyzer.addBase(item.alias);
+  /**
+   * Schema view for analysis: session items with the draft expression merged in so the
+   * dependency graph (and cycle diagnostics) reflect the expression under check.
+   */
+  private toAnalysisSchema(session: SessionState, draft: ConstituentaDraft): RSForm {
+    const items = session.items.map(item => {
+      if (item.id !== draft.id) {
+        return item;
       }
-      analyzer.setGlobal(
-        item.alias,
-        item.analysis.type as AnalysisFull['type'],
-        item.analysis.valueClass as ValueClass | null
-      );
+      return {
+        ...item,
+        alias: draft.alias,
+        cstType: draft.cstType,
+        definitionFormal: draft.definitionFormal,
+        term: draft.term ?? item.term,
+        definitionText: draft.definitionText ?? item.definitionText,
+        convention: draft.convention ?? item.convention,
+        // Drop cached type so mutual references surface as untyped → cycle.
+        analysis: {
+          ...item.analysis,
+          success: false,
+          type: null,
+          valueClass: null
+        }
+      };
+    });
+    if (!items.some(item => item.id === draft.id)) {
+      items.push({
+        id: draft.id,
+        alias: draft.alias,
+        cstType: draft.cstType,
+        definitionFormal: draft.definitionFormal,
+        term: draft.term ?? '',
+        definitionText: draft.definitionText ?? '',
+        convention: draft.convention ?? '',
+        analysis: {
+          success: false,
+          type: null,
+          valueClass: null,
+          diagnostics: []
+        }
+      });
     }
-    return analyzer;
+
+    return buildRSFormFromSession({ ...session, items });
   }
 }