@rsconcept/rstool 0.3.0 → 0.5.0

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

@@ -1 +1 @@
-{"version":3,"file":"stdio-wrapper.js","names":[],"sources":["../../src/wrapper/stdio-wrapper.ts"],"sourcesContent":["#!/usr/bin/env node\nimport readline from 'node:readline';\n\nimport { RSToolAgent } from '../models/rstool-agent';\n\ninterface StdioRequest {\n  id: string | number;\n  method: string;\n  params?: unknown;\n}\n\ninterface 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\nconst tool = new RSToolAgent();\n\nconst METHODS = [\n  'createSession',\n  'addOrUpdateConstituenta',\n  'analyzeExpression',\n  'getFormState',\n  'listDiagnostics',\n  'commitStep',\n  'exportSession',\n  'importSession',\n  'setConstituentaValue',\n  'setConstituentaValues',\n  'clearConstituentaValues',\n  'getModelState',\n  'evaluateExpression',\n  'evaluateConstituenta',\n  'recalculateModel'\n] as const;\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\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\nasync function handleRequest(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 } };\n      case 'methods':\n        return { id: request.id, ok: true, result: METHODS };\n      case 'createSession':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.createSession(params.initial as never)\n        };\n      case 'addOrUpdateConstituenta':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.addOrUpdateConstituenta(requiredString(params, 'sessionId'), params.input as never)\n        };\n      case 'analyzeExpression':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.analyzeExpression(requiredString(params, 'sessionId'), params.input as never)\n        };\n      case 'getFormState':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.getFormState(requiredString(params, 'sessionId'))\n        };\n      case 'listDiagnostics':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.listDiagnostics(requiredString(params, 'sessionId'), params.filters as never)\n        };\n      case 'commitStep':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.commitStep(requiredString(params, 'sessionId'), params.message as string | undefined)\n        };\n      case 'exportSession':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.exportSession(requiredString(params, 'sessionId'))\n        };\n      case 'importSession':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.importSession(requiredString(params, 'payload'))\n        };\n      case 'setConstituentaValue':\n        return {\n          id: request.id,\n          ok: true,\n          result: await tool.setConstituentaValue(requiredString(params, 'sessionId'), params.input as never)\n        };\n      case 'setConstituentaValues':\n        return {\n          id: request.id,\n          ok: true,\n          result: await tool.setConstituentaValues(requiredString(params, 'sessionId'), params.input as never)\n        };\n      case 'clearConstituentaValues':\n        return {\n          id: request.id,\n          ok: true,\n          result: await tool.clearConstituentaValues(requiredString(params, 'sessionId'), params.input as never)\n        };\n      case 'getModelState':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.getModelState(requiredString(params, 'sessionId'))\n        };\n      case 'evaluateExpression':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.evaluateExpression(requiredString(params, 'sessionId'), params.input as never)\n        };\n      case 'evaluateConstituenta':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.evaluateConstituenta(requiredString(params, 'sessionId'), params.input as never)\n        };\n      case 'recalculateModel':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.recalculateModel(requiredString(params, 'sessionId'))\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\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 handleRequest(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":";;;;AAsBA,MAAM,OAAO,IAAI,YAAY;AAE7B,MAAM,UAAU;CACd;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF;AAEA,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,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,eAAe,cAAc,SAA+C;CAC1E,IAAI;EACF,MAAM,SAAS,SAAS,QAAQ,MAAM;EACtC,QAAQ,QAAQ,QAAhB;GACE,KAAK,QACH,OAAO;IAAE,IAAI,QAAQ;IAAI,IAAI;IAAM,QAAQ,EAAE,MAAM,KAAK;GAAE;GAC5D,KAAK,WACH,OAAO;IAAE,IAAI,QAAQ;IAAI,IAAI;IAAM,QAAQ;GAAQ;GACrD,KAAK,iBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,cAAc,OAAO,OAAgB;GACpD;GACF,KAAK,2BACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,wBAAwB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;GACjG;GACF,KAAK,qBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,kBAAkB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;GAC3F;GACF,KAAK,gBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,aAAa,eAAe,QAAQ,WAAW,CAAC;GAC/D;GACF,KAAK,mBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,gBAAgB,eAAe,QAAQ,WAAW,GAAG,OAAO,OAAgB;GAC3F;GACF,KAAK,cACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,WAAW,eAAe,QAAQ,WAAW,GAAG,OAAO,OAA6B;GACnG;GACF,KAAK,iBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,cAAc,eAAe,QAAQ,WAAW,CAAC;GAChE;GACF,KAAK,iBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,cAAc,eAAe,QAAQ,SAAS,CAAC;GAC9D;GACF,KAAK,wBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,MAAM,KAAK,qBAAqB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;GACpG;GACF,KAAK,yBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,MAAM,KAAK,sBAAsB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;GACrG;GACF,KAAK,2BACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,MAAM,KAAK,wBAAwB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;GACvG;GACF,KAAK,iBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,cAAc,eAAe,QAAQ,WAAW,CAAC;GAChE;GACF,KAAK,sBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,mBAAmB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;GAC5F;GACF,KAAK,wBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,qBAAqB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;GAC9F;GACF,KAAK,oBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,iBAAiB,eAAe,QAAQ,WAAW,CAAC;GACnE;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;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,cAAc,OAAO,EAAE,KAAK,aAAa;CAChD,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-wrapper.ts"],"sourcesContent":["#!/usr/bin/env node\nimport readline from 'node:readline';\n\nimport { RSToolAgent } from '../models/rstool-agent';\n\ninterface StdioRequest {\n  id: string | number;\n  method: string;\n  params?: unknown;\n}\n\ninterface 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\nconst tool = new RSToolAgent();\n\nconst METHODS = [\n  'createSession',\n  'addOrUpdateConstituenta',\n  'analyzeExpression',\n  'getFormState',\n  'listDiagnostics',\n  'commitStep',\n  'exportSession',\n  'exportPortalSchema',\n  'exportPortalModel',\n  'importSession',\n  'setConstituentaValue',\n  'setConstituentaValues',\n  'clearConstituentaValues',\n  'getModelState',\n  'evaluateExpression',\n  'evaluateConstituenta',\n  'recalculateModel'\n] as const;\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\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\nasync function handleRequest(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 } };\n      case 'methods':\n        return { id: request.id, ok: true, result: METHODS };\n      case 'createSession':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.createSession(params.initial as never)\n        };\n      case 'addOrUpdateConstituenta':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.addOrUpdateConstituenta(requiredString(params, 'sessionId'), params.input as never)\n        };\n      case 'analyzeExpression':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.analyzeExpression(requiredString(params, 'sessionId'), params.input as never)\n        };\n      case 'getFormState':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.getFormState(requiredString(params, 'sessionId'))\n        };\n      case 'listDiagnostics':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.listDiagnostics(requiredString(params, 'sessionId'), params.filters as never)\n        };\n      case 'commitStep':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.commitStep(requiredString(params, 'sessionId'), params.message as string | undefined)\n        };\n      case 'exportSession':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.exportSession(requiredString(params, 'sessionId'))\n        };\n      case 'exportPortalSchema':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.exportPortalSchema(requiredString(params, 'sessionId'))\n        };\n      case 'exportPortalModel':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.exportPortalModel(requiredString(params, 'sessionId'))\n        };\n      case 'importSession':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.importSession(requiredString(params, 'payload'))\n        };\n      case 'setConstituentaValue':\n        return {\n          id: request.id,\n          ok: true,\n          result: await tool.setConstituentaValue(requiredString(params, 'sessionId'), params.input as never)\n        };\n      case 'setConstituentaValues':\n        return {\n          id: request.id,\n          ok: true,\n          result: await tool.setConstituentaValues(requiredString(params, 'sessionId'), params.input as never)\n        };\n      case 'clearConstituentaValues':\n        return {\n          id: request.id,\n          ok: true,\n          result: await tool.clearConstituentaValues(requiredString(params, 'sessionId'), params.input as never)\n        };\n      case 'getModelState':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.getModelState(requiredString(params, 'sessionId'))\n        };\n      case 'evaluateExpression':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.evaluateExpression(requiredString(params, 'sessionId'), params.input as never)\n        };\n      case 'evaluateConstituenta':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.evaluateConstituenta(requiredString(params, 'sessionId'), params.input as never)\n        };\n      case 'recalculateModel':\n        return {\n          id: request.id,\n          ok: true,\n          result: tool.recalculateModel(requiredString(params, 'sessionId'))\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\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 handleRequest(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":";;;;AAsBA,MAAM,OAAO,IAAI,YAAY;AAE7B,MAAM,UAAU;CACd;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF;AAEA,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,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,eAAe,cAAc,SAA+C;CAC1E,IAAI;EACF,MAAM,SAAS,SAAS,QAAQ,MAAM;EACtC,QAAQ,QAAQ,QAAhB;GACE,KAAK,QACH,OAAO;IAAE,IAAI,QAAQ;IAAI,IAAI;IAAM,QAAQ,EAAE,MAAM,KAAK;GAAE;GAC5D,KAAK,WACH,OAAO;IAAE,IAAI,QAAQ;IAAI,IAAI;IAAM,QAAQ;GAAQ;GACrD,KAAK,iBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,cAAc,OAAO,OAAgB;GACpD;GACF,KAAK,2BACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,wBAAwB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;GACjG;GACF,KAAK,qBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,kBAAkB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;GAC3F;GACF,KAAK,gBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,aAAa,eAAe,QAAQ,WAAW,CAAC;GAC/D;GACF,KAAK,mBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,gBAAgB,eAAe,QAAQ,WAAW,GAAG,OAAO,OAAgB;GAC3F;GACF,KAAK,cACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,WAAW,eAAe,QAAQ,WAAW,GAAG,OAAO,OAA6B;GACnG;GACF,KAAK,iBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,cAAc,eAAe,QAAQ,WAAW,CAAC;GAChE;GACF,KAAK,sBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,mBAAmB,eAAe,QAAQ,WAAW,CAAC;GACrE;GACF,KAAK,qBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,kBAAkB,eAAe,QAAQ,WAAW,CAAC;GACpE;GACF,KAAK,iBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,cAAc,eAAe,QAAQ,SAAS,CAAC;GAC9D;GACF,KAAK,wBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,MAAM,KAAK,qBAAqB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;GACpG;GACF,KAAK,yBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,MAAM,KAAK,sBAAsB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;GACrG;GACF,KAAK,2BACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,MAAM,KAAK,wBAAwB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;GACvG;GACF,KAAK,iBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,cAAc,eAAe,QAAQ,WAAW,CAAC;GAChE;GACF,KAAK,sBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,mBAAmB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;GAC5F;GACF,KAAK,wBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,qBAAqB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;GAC9F;GACF,KAAK,oBACH,OAAO;IACL,IAAI,QAAQ;IACZ,IAAI;IACJ,QAAQ,KAAK,iBAAiB,eAAe,QAAQ,WAAW,CAAC;GACnE;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;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,cAAc,OAAO,EAAE,KAAK,aAAa;CAChD,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/CONCEPTUAL-SCHEMA.md

@@ -9,15 +9,7 @@
 - Добавляй понятие, если оно дает новый критерий, роль, отношение, инвариант или правило.
 - Если пользователь постоянно переформулирует одно различие, введи отдельную конституенту.
 
-## Текстовые поля
-
-`term`, `definitionText`, `convention` держи в языке схемы и в ее словаре.
-
-- `term` — короткое имя понятия.
-- `definitionText` — текстовая интерпретация формального определения.
-- `convention` — соглашение для неопределяемого понятия.
-
-Перед записью `definitionText` проверь существительные: важный предметный термин должен быть введен как `N#`, `X#`, `C#`, `S#` или `D#`.
+Подробнее про структуру и поля конституент см. в [CONSTITUENTA.md](./CONSTITUENTA.md).
 
 ## Номиноиды и атрибутирование
 
@@ -25,7 +17,7 @@
 
 Атрибутирование связывает номиноид с другими конституентами через атрибуты. Это отдельная атрибутивная экспликация, не замена `S#`, `D#`, `A#` в родоструктурной экспликации.
 
-Правило для `rstool`: не смешивай атрибутивную и родоструктурную экспликацию. Используй `N#` как словарную опору, но не превращай атрибуты в RS-формулы и не добавляй атрибутивные связи, если пользователь явно не просит совместить эти способы.
+Правило для `rstool`: не смешивай атрибутивную и родоструктурную экспликацию если явно не указано пользователем.
 
 ## Родовые структуры
 
@@ -34,19 +26,64 @@
 Паттерн для отношения:
 
 1. `X1` — базисное множество.
-2. `S1: ℬ(X1×X1)` — отношение; порядок пары описан в `convention`.
+2. `S1: ℬ(X1×X1)` — отношение; предметное пояснение в `convention`.
 3. `D# := Pr1(S1)`, `D# := Pr2(S1)` — именованные компоненты.
-4. Сложные термы строятся поверх этих `D#`.
+4. Сложные термы строятся поверх этих `D#` и `S#`.
+
+Если повторяется цепочка вроде `Pr2(Fi1[D](S7))`, введи промежуточный терм или функцию `F#`.
+
+## Подход relation-first
+
+Используй при объединении нескольких исходных КС в одну предметную модель и при появлении длинных цепочек `∃d1…∃dn` в разных термах.
+
+### Семантическая лестница
+
+Строй схему слоями; каждый следующий слой ссылается только на предыдущие:
+
+| Слой | Роль                   | Что вводить                                                                                  |
+| :--- | :--------------------- | :------------------------------------------------------------------------------------------- |
+| 1    | Базис                  | `X#`, `C#` — пустой `definitionFormal`, смысл в `convention` / `definitionText` из источника |
+| 2    | Структуры              | `S#` — типизация `ℬ(…×…)` и конвенция на кортеж                                              |
+| 3    | Инварианты             | `A#` — короткие ограничения (см. ниже про `card`)                                            |
+| 4    | Параметрический доступ | `F#` — «локальный API»: `[α∈…] Pr*(Fi*[…](S#))`                                              |
+| 5    | Центральное отношение  | один `D#` (или `S#` с конвенцией), задающий полную траекторию синтеза                        |
+| 6    | Витрина понятий        | `D#` через `Pr*`, `Fi*`, `card`, `red`; узкие `F#` для аналитики                             |
+
+### Центральное отношение
+
+Когда в тексте описан единый сценарий, зафиксируй его **одним** объектом:
+
+```text
+D13 ::= I{(α, ξ1, τ, ξ2, β1, β2, ρ, ξ3) |
+  α∈S6; ξ1∈X2; τ∈F7[α,ξ1]; …; ξ3∈S3
+}
+```
+
+(Имена и арность — по предметной области; важна форма: кортеж + ограничения через уже введённые `F#` и `S#`.)
+
+Далее можешь дать название необходимым частям кортежа с помощью `D#` через `Pr#`
+
+### Инварианты: `card` вместо длинных `∀`
+
+Для функциональности отношения удобно:
+
+```text
+card(S1) = card(Pr1,2(S1))
+```
+
+Эквивалентно идее `∀d1,d2∈S1 ...`
+
+Оставляй `∀`/`∃`, когда не получается заменить на теоретико-множественные и структурные конструкции.
 
-Если повторяется цепочка вроде `Pr2(Fi1[D](S7))`, введи промежуточный терм или уточни конвенцию/аксиому для `S7`.
+### Проекции вместо повторных кванторов
 
-## Аксиомы
+Если условие уже задано на `S#` или центральном `D#`, производный терм — это почти всегда:
 
-`A#` — логическое требование к модели. Используй аксиомы, чтобы:
+- `Prk(…)` / `Pri,j(…)`;
+- `Fi*k[{…}](…)`;
+- `D{ξ∈… | F[ξ] = …}` или `card(F[ξ]) = 1`.
 
-- фиксировать смысл `S#`;
-- задавать уникальность, тотальность, непересечение, порядок, область и диапазон;
-- оправдывать `debool(...)`: внутреннее множество должно быть гарантированно одноэлементным.
+Перед тем как писать `D{x∈… | ∃d1∈… ∃d2∈…}`, проверь: нельзя ли выразить через `Pr` от уже введённого отношения.
 
 ## Проверка на маленькой модели
 
@@ -61,18 +98,19 @@
 - Атрибутивная экспликация не смешана с родоструктурной без явного запроса пользователя.
 - Не добавляй проверки принадлежности к собственной типизации: если `x` уже объявлен в `X1`, `x ∈ X1` избыточно.
 - Покрыты главные предметные сущности, роли, отношения и утверждения.
-- Слои идут так: `X#`/`C#` → `S#` → простые `D#` → сложные `D#`/`F#`/`P#` → `A#`/`T#`.
-- У каждой аксиомы понятная цель.
+- Повторяющиеся отборы вынесены в `F#`, а не размазаны по термам.
+- У каждой аксиомы понятна цель.
 - Частые падения аксиом в модели указывают на ошибку данных или семантики схемы.
 - Сомнительные выражения проверены на маленькой КМ, если есть показательные тестовые данные.
 
 ## Рабочий порядок
 
-1. Собери словарь предметной области.
-2. Добавь `X#` и `C#` с конвенциями.
-3. Добавь ключевые `S#` с типизацией и конвенцией.
-4. Назови важные компоненты через `D#`: `Pr*`, `pr*`, `red`.
-5. Добавляй выводимые `D#`, `F#`, `P#` маленькими шагами.
-6. Добавь `A#` и `T#` по необходимости.
-7. Перед upsert проверяй `analyzeExpression`.
-8. Для сомнительной семантики собери маленькую КМ и вычисли ожидаемые значения.
+1. Собери словарь предметной области (базисы, ключевые отношения, сценарий синтеза).
+2. Добавь `X#` и `C#` с конвенциями из источника.
+3. Добавь базовые `S#` (трансформация, перевод, допускание, выбор, цели, субъекты).
+4. Добавь `A#` на структуры (`card`, покрытие `Pr1,2(S#)=…`, принадлежность выбора).
+5. Введи `F#` для типовых запросов.
+6. Производные понятия — `Pr*` / `Fi*` / `F#` от центрального `D#` и базовых `S#`.
+7. Узкие классификаторы (`для любой обстановки`, `для одного индивида`) — через `F#` и `card`/`=` с `X#`, не новые монолиты.
+8. Перед каждым upsert — `analyzeExpression`.
+9. Для сомнительной семантики — маленькая КМ (`MODEL-TESTING.md`).

package/docs/CONSTITUENTA.md

@@ -2,21 +2,23 @@
 
 Читай перед `addOrUpdateConstituenta`.
 
-## Поля черновика
+## Поля
 
 - `id` — стабильный id внутри сессии.
 - `alias` — имя вида `X1`, `D5`, `F2`; префикс должен совпадать с `cstType`.
 - `cstType` — роль конституенты.
 - `definitionFormal` — формальное определение; для `basic` и `constant` строго `''`.
-- `term` — естественно-языковое имя.
-- `definitionText` — текстовая интерпретация формулы.
-- `convention` — соглашение для неопределяемого понятия.
+- `term` — термин в естественном языке, используется в текстовых определениях. Если обозначаются элементы множества, то пишется с маленькой буквы во множественном числе. Иначе с большой буквы в единственном.
+- `definitionText` — текстовое определение, соответствующее формальному определению. Для простых выражений не указывается если совпадает с термином. Каждый используемый термин должен быть введен в схеме.
+- `convention` — соглашение для неопределяемого понятия. Может использовать термины, не определенные в схеме.
 
 Пропущенные текстовые поля сохраняются как `''`. Пиши `term`, `definitionText`, `convention` на одном языке: в языке схемы или, для новой схемы, в языке запроса.
 
+Не добавляй точку в конце текстовых полей.
+
 ## `cstType`
 
-- `nominal` / `N#` — номиноид. В родоструктурной экспликации не используется.
+- `nominal` / `N#` — номиноид. В родоструктурной экспликации и формальных определениях не используется.
 - `basic` / `X#` — базисное множество; формула пустая.
 - `constant` / `C#` — константное множество; формула пустая.
 - `structure` / `S#` — родовая структура; формула задает типизацию.
@@ -26,13 +28,13 @@
 - `axiom` / `A#` — аксиома; нужна типизация `Logic`.
 - `statement` / `T#` — высказывание; нужна типизация `Logic`.
 
-`basic`, `constant`, `structure` можно интерпретировать через `setConstituentaValue`. `term`, `axiom`, `statement` вычисляются и напрямую не задаются.
+В модели `basic`, `constant`, `structure` можно интерпретировать через `setConstituentaValue`. `term`, `axiom`, `statement` вычисляются и напрямую не задаются.
 
-## `S#` и `D#`
+## Различие родовой структуры и терма
 
-`S#` — неопределяемая родовая структура. `definitionFormal: 'ℬ(X1×X1)'` описывает ступень элемента: множество пар над `X1`.
+`S#` — неопределяемое понятие - родовая структура. Пример: `definitionFormal: 'ℬ(X1×X1)'` описывает ступень элемента: множество пар над `X1`.
 
-`D#` — терм. `definitionFormal: 'X1×X1'` строит полный декартов продукт.
+`D#` — производное понятие - терм. Пример: `definitionFormal: 'X1×X1'` строит полный декартов продукт.
 
 Для бинарного отношения обычно нужно:
 

package/docs/PORTAL-API.md

@@ -28,4 +28,5 @@
 
 - Не парси HTML SPA.
 - Не переноси UI query/hash вроде `?tab=editor` в REST.
+- Не запрашивай UI напрямую, используй преобразованные API запросы.
 - Не запрашивай `/details`, если нужны только метаданные.

package/docs/TYPIFICATION.md

@@ -29,16 +29,10 @@
 
 ## `AnalysisResult.type`
 
-`type` приходит как JSON анализатора: `Record<string, unknown> | null`.
-
-Правила:
-
 1. Сначала проверь `analysis.success === true` и `analysis.type !== null`.
 2. Не разбирай объект вручную; используй helpers из `@rsconcept/domain`.
 3. `valueClass` уточняет вычислимость: `Value`, `Property`, `Invalid`.
 
-Полезные API: `TypeID`, `TypePath`, `makeTypePath`, `parseTypeText(...)`.
-
 ## `S#` и `D#`
 
 - У `structure` (`S#`) `definitionFormal` читается как типизация. `ℬ(X1×X1)` описывает множество пар.
@@ -52,14 +46,14 @@
 
 Требуют подходящую ступень:
 
-- `red(S)` — нужно `S : ℬ(ℬ(H))`.
+- `red(S)` — нужно `S : ℬℬ(H)`.
 - `debool(S)` — нужно одноэлементное множество.
 - `pr1(tuple)`, `Pr1(S)` — нужна достаточная арность.
-- `Fi1[D](S)` — `D` должен соответствовать выбранной проекции.
+- `Fi1[a](S)` — `a` должен соответствовать выбранной проекции.
 
 ## Частые ошибки
 
 - `debool(S)` без гарантии синглетона.
 - `pr3((a, b))`: индекс вне арности.
-- `Fi1,2[D](S)`: параметр `D` не совпал с двумя проекциями.
+- `Fi1,2[a](S)`: параметр `a` не совпал с двумя проекциями.
 - `A#` и `T#` не имеют `Logic`: будет `expectedLogic`.

package/package.json

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

package/skills/rstool-helper/EXAMPLES.md

@@ -92,6 +92,15 @@ const restored = tool.importSession(payload);
 
 Export includes session state and model values.
 
+To create files the user can upload to an existing Portal object:
+
+```ts
+const schemaJson = tool.exportPortalSchema(sessionId);
+const modelJson = tool.exportPortalModel(sessionId);
+```
+
+Use `schemaJson` on a schema page and `modelJson` on a model page via **Load from JSON**.
+
 ## Evaluation
 
 ```ts
@@ -153,6 +162,52 @@ if (!result.success || result.status !== EvalStatus.HAS_DATA || JSON.stringify(r
 
 Use this pattern for tests that protect important definitions. Full kinship model: `../../examples/build-kinship-rsmodel.ts`. More notes: `../../docs/MODEL-TESTING.md`.
 
+## Relation-first synthesis (layered KS)
+
+Pattern for merging sub-schemas (transformation + transition + choice → stimulation). Reference: Portal `D01B03` / rsform `843`.
+
+1. **Structures** — one `S#` per mechanism, typification only:
+
+```text
+S1: ℬ(X1×X2×X1)   // transformation
+S2: ℬ(X2×X3×X2)   // transition
+S4: ℬ(X2×X1×X3)   // allowance (flat triple, not ℬ(X2×X1×ℬ(X3)))
+S5: ℬ(X1×ℬ(X3)×X3) // choice
+```
+
+2. **Axioms** — short invariants:
+
+```text
+A1: Pr1,2(S1) = X1×X2
+A2: card(S1) = card(Pr1,2(S1))
+A4: card(S5) = card(Pr1,2(S5))
+A5: ∀d∈S5 pr3(d)∈pr2(d)
+```
+
+3. **Functions** — parameterized access (reuse everywhere):
+
+```text
+F5[α,β] := Pr3(Fi1,2[{(β,α)}](S4))   // possible actions
+F7[α,ξ] := F6[α, F5[α,ξ]]            // chosen action in situation
+```
+
+4. **Central term** — one tuple relation, then projections:
+
+```text
+D13 ::= I{(α,ξ1,τ,ξ2,β1,β2,ρ,ξ3) | α∈S6; ξ1∈X2; τ∈F7[α,ξ1]; …; ξ3∈S3}
+D14 := Pr3(D13)   // stimuli
+D18 := Pr2(D13)   // initial situations
+```
+
+5. **Classifiers** — filter via `F#`, not a new `∃` chain:
+
+```text
+F8[α] := Pr2(Fi3[{α}](D13))
+D22 := D{ξ∈D14 | F8[ξ] = X2}   // stimulus valid in any situation
+```
+
+Upsert in dependency order; run `analyzeExpression` on `I{…}` before committing the central `D#`.
+
 ## Common mistakes
 
 - `definitionFormal: 'Z'` on `basic` / `constant` → `definitionNotAllowed`.
@@ -160,6 +215,10 @@ Use this pattern for tests that protect important definitions. Full kinship mode
 - Wrong `cstType` in `analyzeExpression` → role-specific errors.
 - `term` with `X1×X1` for a relation → full Cartesian product, not relation typification.
 - `structure` with `Pr1(S1)` → wrong role; projections belong on `term` / `function`.
+- Same long `∃d1…∃dn` chain in many `D#` → define one central `D#` and use `Pr*` / `F#`.
+- `S4: ℬ(X2×X1×ℬ(X3))` when you only need «individual allows actions» → prefer `ℬ(X2×X1×X3)` + `F5`.
+- `∀x∈A, ∀y∈B` → invalid; nest: `∀x∈A (∀y∈B (…))`.
+- Functional relation axiom as huge `∀⇒` → prefer `card(S)=card(Pr1,2(S))` when equivalent.
 - `setConstituentaValue` on `term`, `axiom`, or `statement` → cannot set computed constituents directly.
 - Evaluation before base bindings → missing value, empty result, or evaluation failure.
 

package/skills/rstool-helper/GUIDE.md

@@ -29,6 +29,8 @@ Paths are relative to this file.
 
 ## Workflow
 
+Use this when editing or checking schemas and models.
+
 1. `createSession`.
 2. Add `basic` (`X#`) and `constant` (`C#`) with `definitionFormal: ''`.
 3. Add dependencies before dependents.
@@ -39,26 +41,7 @@ Paths are relative to this file.
 8. Set base/model values with `setConstituentaValue(s)`.
 9. Evaluate with `evaluateExpression`, `evaluateConstituenta`, or `recalculateModel`.
 10. Persist with `exportSession` / `importSession`.
-
-## Portal REST
-
-rstool never calls Portal REST itself. Fetch live data outside rstool, then import constituents with `addOrUpdateConstituenta`.
-
-- UI host: `https://portal.acconcept.ru`.
-- API host: `https://api.portal.acconcept.ru`.
-- Useful reads: `/api/rsforms/{id}`, `/api/rsforms/{id}/details`, `/api/library/{id}/versions/{v}`, `/api/oss/{id}`, `/api/models/{id}`, `/schema`.
-- Do not scrape SPA HTML or reuse UI query params like `?tab=`.
-
-## Syntax Cheatsheet
-
-- Globals: `X1`, `C1`, `S1`, `D1`, `F1`, `P1`, `A1`, `T1`, `N1`, `R1`.
-- Locals: `x`, `ξ`, `μ2`.
-- Literals: `42`, `Z`, `∅`.
-- Set expressions: `∪`, `∩`, `\`, `∆`, `×`, `ℬ(...)`, tuples, `Pr*`, `Fi*`.
-- Logic: `¬`, `&`, `∨`, `⇒`, `⇔`, `∀`, `∃`, `=`, `≠`, `<`, `∈`, `⊆`.
-- Parameterized expressions: `[arg1∈H1, arg2∈H2] body`.
-
-Read tool output; do not infer types by inspection.
+11. For user-uploadable Portal files, use `exportPortalSchema` for schema JSON or `exportPortalModel` for model JSON.
 
 ## Diagnostics Loop
 
@@ -75,19 +58,11 @@ Read tool output; do not infer types by inspection.
 3. Derived constituents in topological order.
 4. Axioms and statements after their references.
 
-## Natural-Language Fields
-
-Keep `term`, `definitionText`, and `convention` in one language.
-
-- Extending a schema: use the schema's existing language.
-- New schema: use the user's request language.
-
 ## Checklist
 
 - [ ] `sessionId` tracked.
-- [ ] `basic` / `constant` formals are empty.
-- [ ] Dependencies exist before upsert.
 - [ ] `cstType` matches the role.
+- [ ] Check schema and fix errors before showing result.
 - [ ] Diagnostics handled before commit/export.
-- [ ] Ambiguous semantics checked on a small model when data examples are available.
+- [ ] Ambiguous semantics checked on a small model.
 - [ ] Base values set before evaluation.

package/skills/rstool-helper/REFERENCE.md

@@ -3,7 +3,7 @@
 ## rstool contract
 
 - Package: `@rsconcept/rstool`
-- Contract version: `1.2.0` (`CONTRACT_VERSION`)
+- Contract version: `1.4.0` (`CONTRACT_VERSION`)
 - Core class: `RSToolAgent`
 - Public imports: `@rsconcept/rstool` and `@rsconcept/rstool/wrapper`
 
@@ -18,6 +18,8 @@
 | `listDiagnostics(sessionId, filters?)`                      | Accumulated diagnostics; optional `constituentId` filter           |
 | `commitStep(sessionId, message?)`                           | Record revision checkpoint                                         |
 | `exportSession(sessionId)`                                  | JSON string `{ contractVersion, state, diagnostics }`              |
+| `exportPortalSchema(sessionId)`                             | Portal schema import JSON string using versioned schema shape      |
+| `exportPortalModel(sessionId)`                              | Portal model import JSON string using versioned model values shape |
 | `importSession(payload)`                                    | New session from export                                            |
 | `setConstituentaValue(sessionId, { target, type?, value })` | Set one base binding or structured value → `SessionModelState`     |
 | `setConstituentaValues(sessionId, { items })`               | Batch set values → `SessionModelState`                             |
@@ -43,6 +45,20 @@
 
 Omitted text fields default to `''` in stored state.
 
+### `SessionState` metadata
+
+Set on `createSession(initial?)` or via `importSession`:
+
+```ts
+{
+  alias: string; // library item alias
+  title: string; // display title
+  comment: string; // developer notes
+}
+```
+
+All default to `''` when omitted.
+
 ### Model and evaluation types
 
 ```ts
@@ -69,7 +85,7 @@ Base/constant bindings use `type: "basic"` and `value: { "0": "label", … }`. S
 
 Process: `npx rstool-wrapper`
 
-1. **Ready** (no request): `{"id":null,"ok":true,"result":{"ready":true,"wrapper":"rstool-stdio","contractVersion":"1.2.0"}}`
+1. **Ready** (no request): `{"id":null,"ok":true,"result":{"ready":true,"wrapper":"rstool-stdio","contractVersion":"1.4.0"}}`
 2. **Request**: `{"id":"<unique>","method":"<name>","params":{...}}`
 3. **Response**: `{"id":"<same>","ok":true,"result":...}` or `{"id":"...","ok":false,"error":{"code":"...","message":"..."}}`
 
@@ -85,6 +101,8 @@ Example chain:
 {"id":"4","method":"listDiagnostics","params":{"sessionId":"…"}}
 {"id":"5","method":"commitStep","params":{"sessionId":"…","message":"checkpoint"}}
 {"id":"6","method":"exportSession","params":{"sessionId":"…"}}
+{"id":"6a","method":"exportPortalSchema","params":{"sessionId":"…"}}
+{"id":"6b","method":"exportPortalModel","params":{"sessionId":"…"}}
 {"id":"7","method":"setConstituentaValue","params":{"sessionId":"…","input":{"target":1,"value":{"0":"a","1":"b"}}}}
 {"id":"8","method":"evaluateExpression","params":{"sessionId":"…","input":{"expression":"1+2","cstType":"term"}}}
 {"id":"9","method":"evaluateConstituenta","params":{"sessionId":"…","input":{"constituentId":3}}}
@@ -109,7 +127,7 @@ interface AnalysisResult {
 - **Term graph**: directed dependencies between constituenta via alias references in definitions.
 - **`S#` vs `D#`**: same `×` token — in `ℬ(X1×X1)` on `S#` it forms a **grade** (pair type); in `X1×X1` on `D#` it is the **Cartesian product** (all pairs). Relations: `S#` + `convention`, then derived `D#` (`Pr1(S1)`, …).
 
-Intro (help): language is FOL-based; set vs logic expression split; parameterized templates for term/predicate functions; structural expressions reshape stages.
+Intro (help): language is FOL-based; set vs logic expression split; parameterized templates for term/predicate functions.
 
 ## Grammar tokens (selected)
 
@@ -134,15 +152,15 @@ Standalone agents should consult the bundled distilled docs (`docs/*.md` inside
 
 | Topic                                | Bundled doc                                |
 | ------------------------------------ | ------------------------------------------ |
-| Identifiers, literals                | `docs/SYNTAX.md` § *Identifier rules*      |
+| Identifiers, literals                | `docs/SYNTAX.md` § _Identifier rules_      |
 | Grades, `Logic`, parameterized types | `docs/TYPIFICATION.md`                     |
-| Logical expressions                  | `docs/SYNTAX.md` § *Logical expressions*   |
-| Set operators                        | `docs/SYNTAX.md` § *Set-theoretic*         |
-| Integer arithmetic                   | `docs/SYNTAX.md` § *Arithmetic*            |
-| Structural / typification reshaping  | `docs/TYPIFICATION.md` § *Forming/derived* |
-| Quantifiers                          | `docs/SYNTAX.md` § *Quantifiers*           |
-| Parameterized functions, templates   | `docs/SYNTAX.md` § *Parameterised*         |
-| Correctness / validation mindset     | `docs/SYNTAX.md` § *Correctness model*     |
+| Logical expressions                  | `docs/SYNTAX.md` § _Logical expressions_   |
+| Set operators                        | `docs/SYNTAX.md` § _Set-theoretic_         |
+| Integer arithmetic                   | `docs/SYNTAX.md` § _Arithmetic_            |
+| Structural / typification reshaping  | `docs/TYPIFICATION.md` § _Forming/derived_ |
+| Quantifiers                          | `docs/SYNTAX.md` § _Quantifiers_           |
+| Parameterized functions, templates   | `docs/SYNTAX.md` § _Parameterised_         |
+| Correctness / validation mindset     | `docs/SYNTAX.md` § _Correctness model_     |
 | Definition semantic tests            | `docs/MODEL-TESTING.md`                    |
 | Domain vocabulary                    | `docs/DOMAIN.md`                           |
 | Constituent fields and ordering      | `docs/CONSTITUENTA.md`                     |
@@ -167,6 +185,19 @@ Categories:
 
 `exportSession(sessionId)` returns a JSON string with `{ contractVersion, state, diagnostics }`.
 
+- `state.alias`, `state.title`, `state.comment` — library-item metadata for Portal export (`comment` → JSON `description`).
 - `state.items[]` contains each constituent with `id`, `alias`, `cstType`, `definitionFormal`, optional text fields, and nested analysis output.
 - `state.model.items[]` is present when interpretation values have been set.
 - `diagnostics[]` contains accumulated diagnostics with offsets and codes.
+
+## Portal import JSON
+
+For **Load from JSON** on an existing Portal schema or model:
+
+- `exportPortalSchema(sessionId)` — schema file
+- `exportPortalModel(sessionId)` — model file
+
+Both return `contract_version` `1.0.0` plus required `title`, `alias`, `description`, and `items`. Schema files may include `attribution`. Values come from `state.title`, `state.alias`, and `state.comment` (empty fields fall back to `Conceptual schema` / `SCHEMA` or `Conceptual model` / `MODEL` and `""`).
+
+- Schema `items[]`: versioned constituent fields (`cst_type`, `definition_formal`, `term_raw`, …).
+- Model `items[]`: `{ id, type, value }` per binding.

package/src/index.ts

@@ -25,6 +25,12 @@ export {
   type EvaluationResult,
   type ListDiagnosticsFilters,
   type ModelValueState,
+  PORTAL_JSON_CONTRACT_VERSION,
+  type PortalImportMetadata,
+  type PortalModelImportData,
+  type PortalSchemaConstituenta,
+  type PortalSchemaImportData,
+  type PortalTermForm,
   type RecalculateModelResult,
   type RSToolAgentContract,
   type RSToolErrorDescription,

package/src/models/index.ts

@@ -28,6 +28,14 @@ export {
   type SetConstituentaValueInput,
   type SetConstituentaValuesInput
 } from './model-value';
+export {
+  PORTAL_JSON_CONTRACT_VERSION,
+  type PortalImportMetadata,
+  type PortalModelImportData,
+  type PortalSchemaConstituenta,
+  type PortalSchemaImportData,
+  type PortalTermForm
+} from './portal-json';
 export { RSToolAgent } from './rstool-agent';
 export { type SessionHandle, type SessionRevision, type SessionState } from './session';
 export { CONTRACT_VERSION, type RSToolAgentContract } from './tool-contract';

package/src/models/portal-json.ts

@@ -0,0 +1,45 @@
+import { type BasicBinding, type RSToolValue } from './common';
+
+/** Portal JSON import/export format version (schema and model files). */
+export const PORTAL_JSON_CONTRACT_VERSION = '1.0.0';
+
+export interface PortalImportMetadata {
+  contract_version: string;
+  title: string;
+  alias: string;
+  description: string;
+}
+
+export interface PortalTermForm {
+  text: string;
+  tags: string;
+}
+
+export interface PortalSchemaConstituenta {
+  id: number;
+  alias: string;
+  convention: string;
+  crucial: boolean;
+  cst_type: string;
+  definition_formal: string;
+  typification_manual: string;
+  value_is_property: boolean;
+  definition_raw: string;
+  definition_resolved: string;
+  term_raw: string;
+  term_resolved: string;
+  term_forms: PortalTermForm[];
+}
+
+export interface PortalSchemaImportData extends PortalImportMetadata {
+  items: PortalSchemaConstituenta[];
+  attribution: Array<{ container: number; attribute: number }>;
+}
+
+export interface PortalModelImportData extends PortalImportMetadata {
+  items: Array<{
+    id: number;
+    type: string;
+    value: RSToolValue | BasicBinding;
+  }>;
+}