@rsconcept/rstool 0.1.0

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/wrapper/stdio-wrapper.ts","../../src/mappers/model-adapter.ts","../../src/mappers/types.ts","../../src/mappers/schema-adapter.ts","../../src/session/session-store.ts","../../src/models/tool-contract.ts","../../src/models/rstool-agent.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","import { Graph } from '@rsconcept/domain/graph/graph';\nimport { extractGlobals } from '@rsconcept/domain/rslang/api';\nimport { type ExpressionType, RSLangAnalyzer, type Value, type ValueClass } from '@rsconcept/domain/rslang';\nimport { isBaseSet } from '@rsconcept/domain/library/rsform-api';\nimport { type Constituenta, CstType, type RSForm } from '@rsconcept/domain/library/rsform';\nimport { RSEngine, type RSEngineServices } from '@rsconcept/domain/library/rsengine';\nimport { type BasicBinding, EvalStatus, type RSModel } from '@rsconcept/domain/library/rsmodel';\nimport {\n  isInferrable,\n  isInterpretable,\n  toBasicBinding,\n  validateBasicBindingData,\n  validateValueData\n} from '@rsconcept/domain/library/rsmodel-api';\n\nimport {\n  type ConstituentaState,\n  type EvaluationResult,\n  type RecalculateModelResult,\n  type SessionModelState,\n  type SessionState,\n  type SetConstituentaValueInput\n} from '../models';\nimport { toPublicError } from './types';\n\nconst SESSION_MODEL_ID = 0;\n\nexport class ModelAdapter {\n  public async setConstituentaValue(\n    session: SessionState,\n    input: SetConstituentaValueInput\n  ): Promise<SessionModelState> {\n    this.validateSetInput(session, input);\n    const engine = this.createEngine(session);\n    const cst = session.items.find(item => item.id === input.target)!;\n    const frontendType = cst.cstType;\n\n    if (isBaseSet(frontendType)) {\n      const binding = toBasicBinding(input.value as Record<string | number, string>);\n      await engine.setBasicValue(input.target, binding);\n    } else {\n      await engine.setStructureValue(input.target, input.value as Value);\n    }\n    session.updatedAt = new Date().toISOString();\n    return structuredClone(session.model);\n  }\n\n  public async setConstituentaValues(\n    session: SessionState,\n    input: { items: SetConstituentaValueInput[] }\n  ): Promise<SessionModelState> {\n    for (const item of input.items) {\n      await this.setConstituentaValue(session, item);\n    }\n    return structuredClone(session.model);\n  }\n\n  public async clearConstituentaValues(session: SessionState, ids: number[]): Promise<SessionModelState> {\n    const engine = this.createEngine(session);\n    for (const id of ids) {\n      await engine.resetValue(id);\n      session.updatedAt = new Date().toISOString();\n    }\n    return structuredClone(session.model);\n  }\n\n  public evaluateExpression(session: SessionState, expression: string, cstType: CstType): EvaluationResult {\n    const engine = this.createEngine(session);\n    const result = engine.evaluateExpression(expression, cstType);\n    const status =\n      result.value === null\n        ? result.errors.length > 0\n          ? EvalStatus.EVAL_FAIL\n          : EvalStatus.EMPTY\n        : EvalStatus.HAS_DATA;\n    return toPublicEvaluationResult(result.value, result.errors, result.iterations, result.cacheHits, status);\n  }\n\n  public evaluateConstituenta(session: SessionState, constituentId: number): EvaluationResult {\n    const cst = session.items.find(item => item.id === constituentId);\n    if (!cst) {\n      throw new Error(`Unknown constituent: ${constituentId}`);\n    }\n    const engine = this.createEngine(session);\n    const result = engine.calculateCst(constituentId);\n    const status = engine.getCstStatus(constituentId);\n    return toPublicEvaluationResult(result.value, result.errors, result.iterations, result.cacheHits, status);\n  }\n\n  public recalculateModel(session: SessionState): RecalculateModelResult {\n    const engine = this.createEngine(session);\n    engine.recalculateAll();\n    const items = session.items.map(item => ({\n      id: item.id,\n      alias: item.alias,\n      value: engine.getCstValue(item.id) as number | number[] | null,\n      status: engine.getCstStatus(item.id)\n    }));\n    return { items };\n  }\n\n  public createEngine(session: SessionState): RSEngine {\n    const schema = buildRSFormFromSession(session);\n    const model = buildRSModelFromSession(session);\n    const engine = new RSEngine(SESSION_MODEL_ID, createInMemoryServices(session));\n    engine.loadData(schema, model);\n    return engine;\n  }\n\n  private validateSetInput(session: SessionState, input: SetConstituentaValueInput): void {\n    const cst = session.items.find(item => item.id === input.target);\n    if (!cst) {\n      throw new Error(`Unknown constituent: ${input.target}`);\n    }\n    const frontendType = cst.cstType;\n    if (!isInterpretable(frontendType)) {\n      throw new Error(`Constituent ${cst.alias} is not interpretable`);\n    }\n    if (isInferrable(frontendType)) {\n      throw new Error(`Constituent ${cst.alias} is inferrable and cannot be set directly`);\n    }\n    if (isBaseSet(frontendType)) {\n      if (!validateBasicBindingData(input.value)) {\n        throw new Error(`Invalid basic binding for ${cst.alias}`);\n      }\n      return;\n    }\n    if (!validateValueData(input.value)) {\n      throw new Error(`Invalid structured value for ${cst.alias}`);\n    }\n  }\n}\n\nfunction createInMemoryServices(session: SessionState): RSEngineServices {\n  return {\n    setCstValue: async ({ data }) => {\n      for (const item of data) {\n        const entry = {\n          id: item.target,\n          type: item.type,\n          value: item.data as Value | BasicBinding\n        };\n        const index = session.model.items.findIndex(existing => existing.id === item.target);\n        if (index === -1) {\n          session.model.items.push(entry);\n        } else {\n          session.model.items[index] = entry;\n        }\n      }\n    },\n    clearValues: async ({ data }) => {\n      const ids = new Set(data.items);\n      session.model.items = session.model.items.filter(item => !ids.has(item.id));\n    }\n  };\n}\n\nfunction buildRSFormFromSession(session: SessionState): RSForm {\n  const graph = new Graph<number>();\n  const cstByAlias = new Map<string, Constituenta>();\n  const cstByID = new Map<number, Constituenta>();\n  const analyzer = new RSLangAnalyzer();\n\n  const items = session.items.map(item => {\n    const cst = toFrontendConstituenta(item);\n    cstByAlias.set(cst.alias, cst);\n    cstByID.set(cst.id, cst);\n    graph.addNode(cst.id);\n    if (item.cstType === CstType.BASE) {\n      analyzer.addBase(cst.alias);\n    }\n    if (cst.effectiveType) {\n      analyzer.setGlobal(cst.alias, cst.effectiveType, cst.analysis.valueClass as ValueClass | null);\n    }\n    return cst;\n  });\n\n  for (const cst of items) {\n    for (const alias of extractGlobals(cst.definition_formal)) {\n      const source = cstByAlias.get(alias);\n      if (source) {\n        graph.addEdge(source.id, cst.id);\n      }\n    }\n  }\n\n  return {\n    id: 0,\n    items,\n    cstByAlias,\n    cstByID,\n    graph,\n    analyzer,\n    inheritance: [],\n    attribution: [],\n    attribution_graph: graph.clone(),\n    oss: [],\n    models: [],\n    editors: [],\n    versions: [],\n    is_produced: false,\n    is_attributive: false,\n    version: 'latest'\n  } as unknown as RSForm;\n}\n\nfunction buildRSModelFromSession(session: SessionState): RSModel {\n  return {\n    id: SESSION_MODEL_ID,\n    schema: 0,\n    editors: [],\n    items: session.model.items.map(item => ({\n      id: item.id,\n      type: item.type,\n      value: item.value as Value | BasicBinding\n    }))\n  } as unknown as RSModel;\n}\n\nfunction toFrontendConstituenta(item: ConstituentaState): Constituenta {\n  const effectiveType = (item.analysis.type ?? null) as ExpressionType | null;\n  return {\n    id: item.id,\n    alias: item.alias,\n    cst_type: item.cstType,\n    definition_formal: item.definitionFormal,\n    definition_raw: item.definitionFormal,\n    definition_resolved: item.definitionFormal,\n    term_raw: item.term,\n    term_resolved: item.term,\n    term_forms: [],\n    convention: item.convention,\n    typification_manual: '',\n    value_is_property: false,\n    crucial: false,\n    attributes: [],\n    homonyms: [],\n    formalDuplicates: [],\n    analysis: {\n      success: item.analysis.success,\n      type: effectiveType,\n      valueClass: item.analysis.valueClass\n    },\n    effectiveType,\n    is_type_mismatch: false,\n    schema: 0,\n    cst_class: 'derived',\n    status: item.analysis.success ? 'verified' : 'incorrect',\n    is_template: false,\n    is_simple_expression: true,\n    parent_schema_index: 0,\n    parent_schema: null,\n    is_inherited: false,\n    has_inherited_children: false,\n    spawn: [],\n    spawn_alias: []\n  } as unknown as Constituenta;\n}\n\nfunction toPublicEvaluationResult(\n  value: Value | null,\n  errors: { code: number; from: number; to: number; params?: readonly string[] }[],\n  iterations: number,\n  cacheHits: number,\n  status: EvalStatus\n): EvaluationResult {\n  const diagnostics = errors.map(toPublicError);\n  return {\n    success: diagnostics.length === 0 && value !== null,\n    value: value as EvaluationResult['value'],\n    status,\n    iterations,\n    cacheHits,\n    diagnostics\n  };\n}\n","import { type ValueClass } from '@rsconcept/domain/rslang';\n\nimport { type AnalysisResult, type RSToolErrorDescription } from '../models';\n\nexport interface DomainErrorLike {\n  code: number;\n  from: number;\n  to: number;\n  params?: readonly string[];\n}\n\nexport interface DomainAnalysisLike {\n  success: boolean;\n  type: Record<string, unknown> | null;\n  valueClass: ValueClass | null;\n  errors: DomainErrorLike[];\n}\n\nexport function toPublicError(error: DomainErrorLike): RSToolErrorDescription {\n  return {\n    code: error.code,\n    from: error.from,\n    to: error.to,\n    params: error.params\n  };\n}\n\nexport function toPublicAnalysis(analysis: DomainAnalysisLike): AnalysisResult {\n  return {\n    success: analysis.success,\n    type: analysis.type,\n    valueClass: analysis.valueClass,\n    diagnostics: analysis.errors.map(toPublicError)\n  };\n}\n","import { RSLangAnalyzer, type AnalysisFull, type ValueClass } from '@rsconcept/domain/rslang';\nimport { getAnalysisFor } from '@rsconcept/domain/library/rsform-api';\nimport { CstType, type RSForm } from '@rsconcept/domain/library/rsform';\n\nimport {\n  type AnalysisResult,\n  type ConstituentaDraft,\n  type ConstituentaState,\n  type DiagnosticRecord,\n  type SessionState\n} from '../models';\nimport { toPublicAnalysis, toPublicError } from './types';\n\nexport class SchemaAdapter {\n  public analyzeAgainstSession(\n    session: SessionState,\n    draft: ConstituentaDraft\n  ): { result: AnalysisResult; diagnostics: DiagnosticRecord[] } {\n    const analyzer = this.buildAnalyzer(session);\n    const schema = this.toPseudoRSFormState(session, analyzer);\n    const analysis = getAnalysisFor(draft.definitionFormal, draft.cstType, schema as unknown as RSForm, draft.alias);\n    const result = toPublicAnalysis({\n      success: analysis.success,\n      type: analysis.type as Record<string, unknown> | null,\n      valueClass: analysis.valueClass,\n      errors: analysis.errors\n    });\n    return {\n      result,\n      diagnostics: analysis.errors.map(error => ({\n        sessionId: session.sessionId,\n        constituentId: draft.id,\n        expression: draft.definitionFormal,\n        error: toPublicError(error)\n      }))\n    };\n  }\n\n  public mergeStateWithDraft(\n    session: SessionState,\n    draft: ConstituentaDraft,\n    analysis: AnalysisResult\n  ): ConstituentaState {\n    const state: ConstituentaState = {\n      ...draft,\n      term: draft.term ?? '',\n      definitionText: draft.definitionText ?? '',\n      convention: draft.convention ?? '',\n      analysis\n    };\n    const index = session.items.findIndex(item => item.id === draft.id);\n    if (index === -1) {\n      session.items.push(state);\n    } else {\n      session.items[index] = state;\n    }\n    session.updatedAt = new Date().toISOString();\n    return state;\n  }\n\n  public toPseudoRSFormState(\n    session: SessionState,\n    analyzer: RSLangAnalyzer\n  ): Pick<RSForm, 'items' | 'cstByAlias' | 'analyzer'> {\n    const cstByAlias = new Map(session.items.map(item => [item.alias, item]));\n    return {\n      items: session.items as unknown as RSForm['items'],\n      cstByAlias: cstByAlias as unknown as RSForm['cstByAlias'],\n      analyzer\n    };\n  }\n\n  private buildAnalyzer(session: SessionState): RSLangAnalyzer {\n    const analyzer = new RSLangAnalyzer();\n    for (const item of session.items) {\n      if (item.cstType === CstType.BASE) {\n        analyzer.addBase(item.alias);\n      }\n      analyzer.setGlobal(\n        item.alias,\n        item.analysis.type as AnalysisFull['type'],\n        item.analysis.valueClass as ValueClass | null\n      );\n    }\n    return analyzer;\n  }\n}\n","import { randomUUID } from 'node:crypto';\n\nimport {\n  type DiagnosticRecord,\n  type ListDiagnosticsFilters,\n  type SessionHandle,\n  type SessionRevision,\n  type SessionState\n} from '../models';\n\ninterface SessionEnvelope {\n  state: SessionState;\n  diagnostics: DiagnosticRecord[];\n}\n\nexport class SessionStore {\n  private sessions = new Map<string, SessionEnvelope>();\n\n  public create(initial?: Partial<SessionState>, contractVersion?: string): SessionHandle {\n    const now = new Date().toISOString();\n    const sessionId = initial?.sessionId ?? randomUUID();\n    const state: SessionState = {\n      sessionId,\n      createdAt: initial?.createdAt ?? now,\n      updatedAt: now,\n      revisions: initial?.revisions ?? [],\n      items: initial?.items ?? [],\n      model: initial?.model ?? { items: [] }\n    };\n    this.sessions.set(sessionId, {\n      state,\n      diagnostics: []\n    });\n    return {\n      sessionId,\n      contractVersion: contractVersion ?? '1.0.0'\n    };\n  }\n\n  public get(sessionId: string): SessionEnvelope {\n    const found = this.sessions.get(sessionId);\n    if (!found) {\n      throw new Error(`Unknown session: ${sessionId}`);\n    }\n    return found;\n  }\n\n  public replaceState(sessionId: string, nextState: SessionState): void {\n    const found = this.get(sessionId);\n    found.state = {\n      ...nextState,\n      updatedAt: new Date().toISOString()\n    };\n  }\n\n  public addRevision(sessionId: string, message?: string): SessionRevision {\n    const found = this.get(sessionId);\n    const revision: SessionRevision = {\n      revisionId: randomUUID(),\n      at: new Date().toISOString(),\n      message\n    };\n    found.state.revisions.push(revision);\n    found.state.updatedAt = revision.at;\n    return revision;\n  }\n\n  public appendDiagnostics(sessionId: string, records: DiagnosticRecord[]): void {\n    const found = this.get(sessionId);\n    found.diagnostics.push(...records);\n    found.state.updatedAt = new Date().toISOString();\n  }\n\n  public listDiagnostics(sessionId: string, filters?: ListDiagnosticsFilters): DiagnosticRecord[] {\n    const found = this.get(sessionId);\n    if (!filters?.constituentId) {\n      return [...found.diagnostics];\n    }\n    return found.diagnostics.filter(record => record.constituentId === filters.constituentId);\n  }\n}\n","import { type AnalysisResult, type AnalyzeExpressionInput } from './analysis';\nimport {\n  type AddOrUpdateConstituentaInput,\n  type AddOrUpdateConstituentaResult\n} from './constituenta';\nimport {\n  type DiagnosticRecord,\n  type ListDiagnosticsFilters\n} from './diagnostic';\nimport {\n  type EvaluateConstituentaInput,\n  type EvaluateExpressionInput,\n  type EvaluationResult\n} from './evaluation';\nimport {\n  type ClearConstituentaValuesInput,\n  type RecalculateModelResult,\n  type SessionModelState,\n  type SetConstituentaValueInput,\n  type SetConstituentaValuesInput\n} from './model-value';\nimport {\n  type SessionHandle,\n  type SessionRevision,\n  type SessionState\n} from './session';\n\nexport const CONTRACT_VERSION = '1.2.0';\n\nexport interface RSToolAgentContract {\n  readonly contractVersion: string;\n  createSession(initial?: Partial<SessionState>): SessionHandle;\n  addOrUpdateConstituenta(sessionId: string, input: AddOrUpdateConstituentaInput): AddOrUpdateConstituentaResult;\n  analyzeExpression(sessionId: string, input: AnalyzeExpressionInput): AnalysisResult;\n  getFormState(sessionId: string): SessionState;\n  listDiagnostics(sessionId: string, filters?: ListDiagnosticsFilters): DiagnosticRecord[];\n  commitStep(sessionId: string, message?: string): SessionRevision;\n  exportSession(sessionId: string): string;\n  importSession(payload: string): SessionHandle;\n  setConstituentaValue(sessionId: string, input: SetConstituentaValueInput): Promise<SessionModelState>;\n  setConstituentaValues(sessionId: string, input: SetConstituentaValuesInput): Promise<SessionModelState>;\n  clearConstituentaValues(sessionId: string, input: ClearConstituentaValuesInput): Promise<SessionModelState>;\n  getModelState(sessionId: string): SessionModelState;\n  evaluateExpression(sessionId: string, input: EvaluateExpressionInput): EvaluationResult;\n  evaluateConstituenta(sessionId: string, input: EvaluateConstituentaInput): EvaluationResult;\n  recalculateModel(sessionId: string): RecalculateModelResult;\n}\n","import { ModelAdapter } from '../mappers/model-adapter';\nimport { SchemaAdapter } from '../mappers/schema-adapter';\nimport { SessionStore } from '../session/session-store';\nimport { type AnalysisResult, type AnalyzeExpressionInput } from './analysis';\nimport {\n  type AddOrUpdateConstituentaInput,\n  type AddOrUpdateConstituentaResult\n} from './constituenta';\nimport { type ListDiagnosticsFilters } from './diagnostic';\nimport {\n  type EvaluateConstituentaInput,\n  type EvaluateExpressionInput,\n  type EvaluationResult\n} from './evaluation';\nimport {\n  type ClearConstituentaValuesInput,\n  type RecalculateModelResult,\n  type SessionModelState,\n  type SetConstituentaValueInput,\n  type SetConstituentaValuesInput\n} from './model-value';\nimport { type SessionHandle, type SessionRevision, type SessionState } from './session';\nimport { CONTRACT_VERSION, type RSToolAgentContract } from './tool-contract';\n\nexport class RSToolAgent implements RSToolAgentContract {\n  public readonly contractVersion = CONTRACT_VERSION;\n  private readonly sessions = new SessionStore();\n  private readonly adapter = new SchemaAdapter();\n  private readonly evaluation = new ModelAdapter();\n\n  public createSession(initial?: Partial<SessionState>): SessionHandle {\n    return this.sessions.create(initial, this.contractVersion);\n  }\n\n  public addOrUpdateConstituenta(\n    sessionId: string,\n    input: AddOrUpdateConstituentaInput\n  ): AddOrUpdateConstituentaResult {\n    const envelope = this.sessions.get(sessionId);\n    const { result, diagnostics } = this.adapter.analyzeAgainstSession(envelope.state, input.draft);\n    const state = this.adapter.mergeStateWithDraft(envelope.state, input.draft, result);\n    this.sessions.appendDiagnostics(sessionId, diagnostics);\n    return {\n      state,\n      diagnostics\n    };\n  }\n\n  public analyzeExpression(sessionId: string, input: AnalyzeExpressionInput): AnalysisResult {\n    const envelope = this.sessions.get(sessionId);\n    const { result, diagnostics } = this.adapter.analyzeAgainstSession(envelope.state, {\n      id: -1,\n      alias: '_analysis',\n      cstType: input.cstType,\n      definitionFormal: input.expression\n    });\n    this.sessions.appendDiagnostics(\n      sessionId,\n      diagnostics.map(item => ({ ...item, constituentId: undefined }))\n    );\n    return result;\n  }\n\n  public getFormState(sessionId: string): SessionState {\n    const envelope = this.sessions.get(sessionId);\n    return structuredClone(envelope.state);\n  }\n\n  public listDiagnostics(sessionId: string, filters?: ListDiagnosticsFilters) {\n    return this.sessions.listDiagnostics(sessionId, filters);\n  }\n\n  public commitStep(sessionId: string, message?: string): SessionRevision {\n    return this.sessions.addRevision(sessionId, message);\n  }\n\n  public exportSession(sessionId: string): string {\n    const envelope = this.sessions.get(sessionId);\n    return JSON.stringify(\n      {\n        contractVersion: this.contractVersion,\n        state: envelope.state,\n        diagnostics: envelope.diagnostics\n      },\n      null,\n      2\n    );\n  }\n\n  public importSession(payload: string): SessionHandle {\n    const parsed = JSON.parse(payload) as {\n      state: SessionState;\n    };\n    if (!parsed.state.model) {\n      parsed.state.model = { items: [] };\n    }\n    return this.sessions.create(parsed.state, this.contractVersion);\n  }\n\n  public async setConstituentaValue(\n    sessionId: string,\n    input: SetConstituentaValueInput\n  ): Promise<SessionModelState> {\n    const envelope = this.sessions.get(sessionId);\n    return this.evaluation.setConstituentaValue(envelope.state, input);\n  }\n\n  public async setConstituentaValues(\n    sessionId: string,\n    input: SetConstituentaValuesInput\n  ): Promise<SessionModelState> {\n    const envelope = this.sessions.get(sessionId);\n    return this.evaluation.setConstituentaValues(envelope.state, input);\n  }\n\n  public async clearConstituentaValues(\n    sessionId: string,\n    input: ClearConstituentaValuesInput\n  ): Promise<SessionModelState> {\n    const envelope = this.sessions.get(sessionId);\n    return this.evaluation.clearConstituentaValues(envelope.state, input.items);\n  }\n\n  public getModelState(sessionId: string): SessionModelState {\n    const envelope = this.sessions.get(sessionId);\n    return structuredClone(envelope.state.model);\n  }\n\n  public evaluateExpression(sessionId: string, input: EvaluateExpressionInput): EvaluationResult {\n    const envelope = this.sessions.get(sessionId);\n    return this.evaluation.evaluateExpression(envelope.state, input.expression, input.cstType);\n  }\n\n  public evaluateConstituenta(sessionId: string, input: EvaluateConstituentaInput): EvaluationResult {\n    const envelope = this.sessions.get(sessionId);\n    return this.evaluation.evaluateConstituenta(envelope.state, input.constituentId);\n  }\n\n  public recalculateModel(sessionId: string): RecalculateModelResult {\n    const envelope = this.sessions.get(sessionId);\n    return this.evaluation.recalculateModel(envelope.state);\n  }\n}\n"],"mappings":";;;AACA,OAAO,cAAc;;;ACDrB,SAAS,aAAa;AACtB,SAAS,sBAAsB;AAC/B,SAA8B,sBAAmD;AACjF,SAAS,iBAAiB;AAC1B,SAA4B,eAA4B;AACxD,SAAS,gBAAuC;AAChD,SAA4B,kBAAgC;AAC5D;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,OACK;;;ACKA,SAAS,cAAc,OAAgD;AAC5E,SAAO;AAAA,IACL,MAAM,MAAM;AAAA,IACZ,MAAM,MAAM;AAAA,IACZ,IAAI,MAAM;AAAA,IACV,QAAQ,MAAM;AAAA,EAChB;AACF;AAEO,SAAS,iBAAiB,UAA8C;AAC7E,SAAO;AAAA,IACL,SAAS,SAAS;AAAA,IAClB,MAAM,SAAS;AAAA,IACf,YAAY,SAAS;AAAA,IACrB,aAAa,SAAS,OAAO,IAAI,aAAa;AAAA,EAChD;AACF;;;ADTA,IAAM,mBAAmB;AAElB,IAAM,eAAN,MAAmB;AAAA,EACxB,MAAa,qBACX,SACAA,QAC4B;AAC5B,SAAK,iBAAiB,SAASA,MAAK;AACpC,UAAM,SAAS,KAAK,aAAa,OAAO;AACxC,UAAM,MAAM,QAAQ,MAAM,KAAK,UAAQ,KAAK,OAAOA,OAAM,MAAM;AAC/D,UAAM,eAAe,IAAI;AAEzB,QAAI,UAAU,YAAY,GAAG;AAC3B,YAAM,UAAU,eAAeA,OAAM,KAAwC;AAC7E,YAAM,OAAO,cAAcA,OAAM,QAAQ,OAAO;AAAA,IAClD,OAAO;AACL,YAAM,OAAO,kBAAkBA,OAAM,QAAQA,OAAM,KAAc;AAAA,IACnE;AACA,YAAQ,aAAY,oBAAI,KAAK,GAAE,YAAY;AAC3C,WAAO,gBAAgB,QAAQ,KAAK;AAAA,EACtC;AAAA,EAEA,MAAa,sBACX,SACAA,QAC4B;AAC5B,eAAW,QAAQA,OAAM,OAAO;AAC9B,YAAM,KAAK,qBAAqB,SAAS,IAAI;AAAA,IAC/C;AACA,WAAO,gBAAgB,QAAQ,KAAK;AAAA,EACtC;AAAA,EAEA,MAAa,wBAAwB,SAAuB,KAA2C;AACrG,UAAM,SAAS,KAAK,aAAa,OAAO;AACxC,eAAW,MAAM,KAAK;AACpB,YAAM,OAAO,WAAW,EAAE;AAC1B,cAAQ,aAAY,oBAAI,KAAK,GAAE,YAAY;AAAA,IAC7C;AACA,WAAO,gBAAgB,QAAQ,KAAK;AAAA,EACtC;AAAA,EAEO,mBAAmB,SAAuB,YAAoB,SAAoC;AACvG,UAAM,SAAS,KAAK,aAAa,OAAO;AACxC,UAAM,SAAS,OAAO,mBAAmB,YAAY,OAAO;AAC5D,UAAM,SACJ,OAAO,UAAU,OACb,OAAO,OAAO,SAAS,IACrB,WAAW,YACX,WAAW,QACb,WAAW;AACjB,WAAO,yBAAyB,OAAO,OAAO,OAAO,QAAQ,OAAO,YAAY,OAAO,WAAW,MAAM;AAAA,EAC1G;AAAA,EAEO,qBAAqB,SAAuB,eAAyC;AAC1F,UAAM,MAAM,QAAQ,MAAM,KAAK,UAAQ,KAAK,OAAO,aAAa;AAChE,QAAI,CAAC,KAAK;AACR,YAAM,IAAI,MAAM,wBAAwB,aAAa,EAAE;AAAA,IACzD;AACA,UAAM,SAAS,KAAK,aAAa,OAAO;AACxC,UAAM,SAAS,OAAO,aAAa,aAAa;AAChD,UAAM,SAAS,OAAO,aAAa,aAAa;AAChD,WAAO,yBAAyB,OAAO,OAAO,OAAO,QAAQ,OAAO,YAAY,OAAO,WAAW,MAAM;AAAA,EAC1G;AAAA,EAEO,iBAAiB,SAA+C;AACrE,UAAM,SAAS,KAAK,aAAa,OAAO;AACxC,WAAO,eAAe;AACtB,UAAM,QAAQ,QAAQ,MAAM,IAAI,WAAS;AAAA,MACvC,IAAI,KAAK;AAAA,MACT,OAAO,KAAK;AAAA,MACZ,OAAO,OAAO,YAAY,KAAK,EAAE;AAAA,MACjC,QAAQ,OAAO,aAAa,KAAK,EAAE;AAAA,IACrC,EAAE;AACF,WAAO,EAAE,MAAM;AAAA,EACjB;AAAA,EAEO,aAAa,SAAiC;AACnD,UAAM,SAAS,uBAAuB,OAAO;AAC7C,UAAM,QAAQ,wBAAwB,OAAO;AAC7C,UAAM,SAAS,IAAI,SAAS,kBAAkB,uBAAuB,OAAO,CAAC;AAC7E,WAAO,SAAS,QAAQ,KAAK;AAC7B,WAAO;AAAA,EACT;AAAA,EAEQ,iBAAiB,SAAuBA,QAAwC;AACtF,UAAM,MAAM,QAAQ,MAAM,KAAK,UAAQ,KAAK,OAAOA,OAAM,MAAM;AAC/D,QAAI,CAAC,KAAK;AACR,YAAM,IAAI,MAAM,wBAAwBA,OAAM,MAAM,EAAE;AAAA,IACxD;AACA,UAAM,eAAe,IAAI;AACzB,QAAI,CAAC,gBAAgB,YAAY,GAAG;AAClC,YAAM,IAAI,MAAM,eAAe,IAAI,KAAK,uBAAuB;AAAA,IACjE;AACA,QAAI,aAAa,YAAY,GAAG;AAC9B,YAAM,IAAI,MAAM,eAAe,IAAI,KAAK,2CAA2C;AAAA,IACrF;AACA,QAAI,UAAU,YAAY,GAAG;AAC3B,UAAI,CAAC,yBAAyBA,OAAM,KAAK,GAAG;AAC1C,cAAM,IAAI,MAAM,6BAA6B,IAAI,KAAK,EAAE;AAAA,MAC1D;AACA;AAAA,IACF;AACA,QAAI,CAAC,kBAAkBA,OAAM,KAAK,GAAG;AACnC,YAAM,IAAI,MAAM,gCAAgC,IAAI,KAAK,EAAE;AAAA,IAC7D;AAAA,EACF;AACF;AAEA,SAAS,uBAAuB,SAAyC;AACvE,SAAO;AAAA,IACL,aAAa,OAAO,EAAE,KAAK,MAAM;AAC/B,iBAAW,QAAQ,MAAM;AACvB,cAAM,QAAQ;AAAA,UACZ,IAAI,KAAK;AAAA,UACT,MAAM,KAAK;AAAA,UACX,OAAO,KAAK;AAAA,QACd;AACA,cAAM,QAAQ,QAAQ,MAAM,MAAM,UAAU,cAAY,SAAS,OAAO,KAAK,MAAM;AACnF,YAAI,UAAU,IAAI;AAChB,kBAAQ,MAAM,MAAM,KAAK,KAAK;AAAA,QAChC,OAAO;AACL,kBAAQ,MAAM,MAAM,KAAK,IAAI;AAAA,QAC/B;AAAA,MACF;AAAA,IACF;AAAA,IACA,aAAa,OAAO,EAAE,KAAK,MAAM;AAC/B,YAAM,MAAM,IAAI,IAAI,KAAK,KAAK;AAC9B,cAAQ,MAAM,QAAQ,QAAQ,MAAM,MAAM,OAAO,UAAQ,CAAC,IAAI,IAAI,KAAK,EAAE,CAAC;AAAA,IAC5E;AAAA,EACF;AACF;AAEA,SAAS,uBAAuB,SAA+B;AAC7D,QAAM,QAAQ,IAAI,MAAc;AAChC,QAAM,aAAa,oBAAI,IAA0B;AACjD,QAAM,UAAU,oBAAI,IAA0B;AAC9C,QAAM,WAAW,IAAI,eAAe;AAEpC,QAAM,QAAQ,QAAQ,MAAM,IAAI,UAAQ;AACtC,UAAM,MAAM,uBAAuB,IAAI;AACvC,eAAW,IAAI,IAAI,OAAO,GAAG;AAC7B,YAAQ,IAAI,IAAI,IAAI,GAAG;AACvB,UAAM,QAAQ,IAAI,EAAE;AACpB,QAAI,KAAK,YAAY,QAAQ,MAAM;AACjC,eAAS,QAAQ,IAAI,KAAK;AAAA,IAC5B;AACA,QAAI,IAAI,eAAe;AACrB,eAAS,UAAU,IAAI,OAAO,IAAI,eAAe,IAAI,SAAS,UAA+B;AAAA,IAC/F;AACA,WAAO;AAAA,EACT,CAAC;AAED,aAAW,OAAO,OAAO;AACvB,eAAW,SAAS,eAAe,IAAI,iBAAiB,GAAG;AACzD,YAAM,SAAS,WAAW,IAAI,KAAK;AACnC,UAAI,QAAQ;AACV,cAAM,QAAQ,OAAO,IAAI,IAAI,EAAE;AAAA,MACjC;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AAAA,IACL,IAAI;AAAA,IACJ;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA,aAAa,CAAC;AAAA,IACd,aAAa,CAAC;AAAA,IACd,mBAAmB,MAAM,MAAM;AAAA,IAC/B,KAAK,CAAC;AAAA,IACN,QAAQ,CAAC;AAAA,IACT,SAAS,CAAC;AAAA,IACV,UAAU,CAAC;AAAA,IACX,aAAa;AAAA,IACb,gBAAgB;AAAA,IAChB,SAAS;AAAA,EACX;AACF;AAEA,SAAS,wBAAwB,SAAgC;AAC/D,SAAO;AAAA,IACL,IAAI;AAAA,IACJ,QAAQ;AAAA,IACR,SAAS,CAAC;AAAA,IACV,OAAO,QAAQ,MAAM,MAAM,IAAI,WAAS;AAAA,MACtC,IAAI,KAAK;AAAA,MACT,MAAM,KAAK;AAAA,MACX,OAAO,KAAK;AAAA,IACd,EAAE;AAAA,EACJ;AACF;AAEA,SAAS,uBAAuB,MAAuC;AACrE,QAAM,gBAAiB,KAAK,SAAS,QAAQ;AAC7C,SAAO;AAAA,IACL,IAAI,KAAK;AAAA,IACT,OAAO,KAAK;AAAA,IACZ,UAAU,KAAK;AAAA,IACf,mBAAmB,KAAK;AAAA,IACxB,gBAAgB,KAAK;AAAA,IACrB,qBAAqB,KAAK;AAAA,IAC1B,UAAU,KAAK;AAAA,IACf,eAAe,KAAK;AAAA,IACpB,YAAY,CAAC;AAAA,IACb,YAAY,KAAK;AAAA,IACjB,qBAAqB;AAAA,IACrB,mBAAmB;AAAA,IACnB,SAAS;AAAA,IACT,YAAY,CAAC;AAAA,IACb,UAAU,CAAC;AAAA,IACX,kBAAkB,CAAC;AAAA,IACnB,UAAU;AAAA,MACR,SAAS,KAAK,SAAS;AAAA,MACvB,MAAM;AAAA,MACN,YAAY,KAAK,SAAS;AAAA,IAC5B;AAAA,IACA;AAAA,IACA,kBAAkB;AAAA,IAClB,QAAQ;AAAA,IACR,WAAW;AAAA,IACX,QAAQ,KAAK,SAAS,UAAU,aAAa;AAAA,IAC7C,aAAa;AAAA,IACb,sBAAsB;AAAA,IACtB,qBAAqB;AAAA,IACrB,eAAe;AAAA,IACf,cAAc;AAAA,IACd,wBAAwB;AAAA,IACxB,OAAO,CAAC;AAAA,IACR,aAAa,CAAC;AAAA,EAChB;AACF;AAEA,SAAS,yBACP,OACA,QACA,YACA,WACA,QACkB;AAClB,QAAM,cAAc,OAAO,IAAI,aAAa;AAC5C,SAAO;AAAA,IACL,SAAS,YAAY,WAAW,KAAK,UAAU;AAAA,IAC/C;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,IACA;AAAA,EACF;AACF;;;AEnRA,SAAS,kBAAAC,uBAA0D;AACnE,SAAS,sBAAsB;AAC/B,SAAS,WAAAC,gBAA4B;AAW9B,IAAM,gBAAN,MAAoB;AAAA,EAClB,sBACL,SACA,OAC6D;AAC7D,UAAM,WAAW,KAAK,cAAc,OAAO;AAC3C,UAAM,SAAS,KAAK,oBAAoB,SAAS,QAAQ;AACzD,UAAM,WAAW,eAAe,MAAM,kBAAkB,MAAM,SAAS,QAA6B,MAAM,KAAK;AAC/G,UAAM,SAAS,iBAAiB;AAAA,MAC9B,SAAS,SAAS;AAAA,MAClB,MAAM,SAAS;AAAA,MACf,YAAY,SAAS;AAAA,MACrB,QAAQ,SAAS;AAAA,IACnB,CAAC;AACD,WAAO;AAAA,MACL;AAAA,MACA,aAAa,SAAS,OAAO,IAAI,YAAU;AAAA,QACzC,WAAW,QAAQ;AAAA,QACnB,eAAe,MAAM;AAAA,QACrB,YAAY,MAAM;AAAA,QAClB,OAAO,cAAc,KAAK;AAAA,MAC5B,EAAE;AAAA,IACJ;AAAA,EACF;AAAA,EAEO,oBACL,SACA,OACA,UACmB;AACnB,UAAM,QAA2B;AAAA,MAC/B,GAAG;AAAA,MACH,MAAM,MAAM,QAAQ;AAAA,MACpB,gBAAgB,MAAM,kBAAkB;AAAA,MACxC,YAAY,MAAM,cAAc;AAAA,MAChC;AAAA,IACF;AACA,UAAM,QAAQ,QAAQ,MAAM,UAAU,UAAQ,KAAK,OAAO,MAAM,EAAE;AAClE,QAAI,UAAU,IAAI;AAChB,cAAQ,MAAM,KAAK,KAAK;AAAA,IAC1B,OAAO;AACL,cAAQ,MAAM,KAAK,IAAI;AAAA,IACzB;AACA,YAAQ,aAAY,oBAAI,KAAK,GAAE,YAAY;AAC3C,WAAO;AAAA,EACT;AAAA,EAEO,oBACL,SACA,UACmD;AACnD,UAAM,aAAa,IAAI,IAAI,QAAQ,MAAM,IAAI,UAAQ,CAAC,KAAK,OAAO,IAAI,CAAC,CAAC;AACxE,WAAO;AAAA,MACL,OAAO,QAAQ;AAAA,MACf;AAAA,MACA;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,cAAc,SAAuC;AAC3D,UAAM,WAAW,IAAIC,gBAAe;AACpC,eAAW,QAAQ,QAAQ,OAAO;AAChC,UAAI,KAAK,YAAYC,SAAQ,MAAM;AACjC,iBAAS,QAAQ,KAAK,KAAK;AAAA,MAC7B;AACA,eAAS;AAAA,QACP,KAAK;AAAA,QACL,KAAK,SAAS;AAAA,QACd,KAAK,SAAS;AAAA,MAChB;AAAA,IACF;AACA,WAAO;AAAA,EACT;AACF;;;ACtFA,SAAS,kBAAkB;AAepB,IAAM,eAAN,MAAmB;AAAA,EAChB,WAAW,oBAAI,IAA6B;AAAA,EAE7C,OAAO,SAAiC,iBAAyC;AACtF,UAAM,OAAM,oBAAI,KAAK,GAAE,YAAY;AACnC,UAAM,YAAY,SAAS,aAAa,WAAW;AACnD,UAAM,QAAsB;AAAA,MAC1B;AAAA,MACA,WAAW,SAAS,aAAa;AAAA,MACjC,WAAW;AAAA,MACX,WAAW,SAAS,aAAa,CAAC;AAAA,MAClC,OAAO,SAAS,SAAS,CAAC;AAAA,MAC1B,OAAO,SAAS,SAAS,EAAE,OAAO,CAAC,EAAE;AAAA,IACvC;AACA,SAAK,SAAS,IAAI,WAAW;AAAA,MAC3B;AAAA,MACA,aAAa,CAAC;AAAA,IAChB,CAAC;AACD,WAAO;AAAA,MACL;AAAA,MACA,iBAAiB,mBAAmB;AAAA,IACtC;AAAA,EACF;AAAA,EAEO,IAAI,WAAoC;AAC7C,UAAM,QAAQ,KAAK,SAAS,IAAI,SAAS;AACzC,QAAI,CAAC,OAAO;AACV,YAAM,IAAI,MAAM,oBAAoB,SAAS,EAAE;AAAA,IACjD;AACA,WAAO;AAAA,EACT;AAAA,EAEO,aAAa,WAAmB,WAA+B;AACpE,UAAM,QAAQ,KAAK,IAAI,SAAS;AAChC,UAAM,QAAQ;AAAA,MACZ,GAAG;AAAA,MACH,YAAW,oBAAI,KAAK,GAAE,YAAY;AAAA,IACpC;AAAA,EACF;AAAA,EAEO,YAAY,WAAmB,SAAmC;AACvE,UAAM,QAAQ,KAAK,IAAI,SAAS;AAChC,UAAM,WAA4B;AAAA,MAChC,YAAY,WAAW;AAAA,MACvB,KAAI,oBAAI,KAAK,GAAE,YAAY;AAAA,MAC3B;AAAA,IACF;AACA,UAAM,MAAM,UAAU,KAAK,QAAQ;AACnC,UAAM,MAAM,YAAY,SAAS;AACjC,WAAO;AAAA,EACT;AAAA,EAEO,kBAAkB,WAAmB,SAAmC;AAC7E,UAAM,QAAQ,KAAK,IAAI,SAAS;AAChC,UAAM,YAAY,KAAK,GAAG,OAAO;AACjC,UAAM,MAAM,aAAY,oBAAI,KAAK,GAAE,YAAY;AAAA,EACjD;AAAA,EAEO,gBAAgB,WAAmB,SAAsD;AAC9F,UAAM,QAAQ,KAAK,IAAI,SAAS;AAChC,QAAI,CAAC,SAAS,eAAe;AAC3B,aAAO,CAAC,GAAG,MAAM,WAAW;AAAA,IAC9B;AACA,WAAO,MAAM,YAAY,OAAO,YAAU,OAAO,kBAAkB,QAAQ,aAAa;AAAA,EAC1F;AACF;;;ACrDO,IAAM,mBAAmB;;;ACHzB,IAAM,cAAN,MAAiD;AAAA,EACtC,kBAAkB;AAAA,EACjB,WAAW,IAAI,aAAa;AAAA,EAC5B,UAAU,IAAI,cAAc;AAAA,EAC5B,aAAa,IAAI,aAAa;AAAA,EAExC,cAAc,SAAgD;AACnE,WAAO,KAAK,SAAS,OAAO,SAAS,KAAK,eAAe;AAAA,EAC3D;AAAA,EAEO,wBACL,WACAC,QAC+B;AAC/B,UAAM,WAAW,KAAK,SAAS,IAAI,SAAS;AAC5C,UAAM,EAAE,QAAQ,YAAY,IAAI,KAAK,QAAQ,sBAAsB,SAAS,OAAOA,OAAM,KAAK;AAC9F,UAAM,QAAQ,KAAK,QAAQ,oBAAoB,SAAS,OAAOA,OAAM,OAAO,MAAM;AAClF,SAAK,SAAS,kBAAkB,WAAW,WAAW;AACtD,WAAO;AAAA,MACL;AAAA,MACA;AAAA,IACF;AAAA,EACF;AAAA,EAEO,kBAAkB,WAAmBA,QAA+C;AACzF,UAAM,WAAW,KAAK,SAAS,IAAI,SAAS;AAC5C,UAAM,EAAE,QAAQ,YAAY,IAAI,KAAK,QAAQ,sBAAsB,SAAS,OAAO;AAAA,MACjF,IAAI;AAAA,MACJ,OAAO;AAAA,MACP,SAASA,OAAM;AAAA,MACf,kBAAkBA,OAAM;AAAA,IAC1B,CAAC;AACD,SAAK,SAAS;AAAA,MACZ;AAAA,MACA,YAAY,IAAI,WAAS,EAAE,GAAG,MAAM,eAAe,OAAU,EAAE;AAAA,IACjE;AACA,WAAO;AAAA,EACT;AAAA,EAEO,aAAa,WAAiC;AACnD,UAAM,WAAW,KAAK,SAAS,IAAI,SAAS;AAC5C,WAAO,gBAAgB,SAAS,KAAK;AAAA,EACvC;AAAA,EAEO,gBAAgB,WAAmB,SAAkC;AAC1E,WAAO,KAAK,SAAS,gBAAgB,WAAW,OAAO;AAAA,EACzD;AAAA,EAEO,WAAW,WAAmB,SAAmC;AACtE,WAAO,KAAK,SAAS,YAAY,WAAW,OAAO;AAAA,EACrD;AAAA,EAEO,cAAc,WAA2B;AAC9C,UAAM,WAAW,KAAK,SAAS,IAAI,SAAS;AAC5C,WAAO,KAAK;AAAA,MACV;AAAA,QACE,iBAAiB,KAAK;AAAA,QACtB,OAAO,SAAS;AAAA,QAChB,aAAa,SAAS;AAAA,MACxB;AAAA,MACA;AAAA,MACA;AAAA,IACF;AAAA,EACF;AAAA,EAEO,cAAc,SAAgC;AACnD,UAAM,SAAS,KAAK,MAAM,OAAO;AAGjC,QAAI,CAAC,OAAO,MAAM,OAAO;AACvB,aAAO,MAAM,QAAQ,EAAE,OAAO,CAAC,EAAE;AAAA,IACnC;AACA,WAAO,KAAK,SAAS,OAAO,OAAO,OAAO,KAAK,eAAe;AAAA,EAChE;AAAA,EAEA,MAAa,qBACX,WACAA,QAC4B;AAC5B,UAAM,WAAW,KAAK,SAAS,IAAI,SAAS;AAC5C,WAAO,KAAK,WAAW,qBAAqB,SAAS,OAAOA,MAAK;AAAA,EACnE;AAAA,EAEA,MAAa,sBACX,WACAA,QAC4B;AAC5B,UAAM,WAAW,KAAK,SAAS,IAAI,SAAS;AAC5C,WAAO,KAAK,WAAW,sBAAsB,SAAS,OAAOA,MAAK;AAAA,EACpE;AAAA,EAEA,MAAa,wBACX,WACAA,QAC4B;AAC5B,UAAM,WAAW,KAAK,SAAS,IAAI,SAAS;AAC5C,WAAO,KAAK,WAAW,wBAAwB,SAAS,OAAOA,OAAM,KAAK;AAAA,EAC5E;AAAA,EAEO,cAAc,WAAsC;AACzD,UAAM,WAAW,KAAK,SAAS,IAAI,SAAS;AAC5C,WAAO,gBAAgB,SAAS,MAAM,KAAK;AAAA,EAC7C;AAAA,EAEO,mBAAmB,WAAmBA,QAAkD;AAC7F,UAAM,WAAW,KAAK,SAAS,IAAI,SAAS;AAC5C,WAAO,KAAK,WAAW,mBAAmB,SAAS,OAAOA,OAAM,YAAYA,OAAM,OAAO;AAAA,EAC3F;AAAA,EAEO,qBAAqB,WAAmBA,QAAoD;AACjG,UAAM,WAAW,KAAK,SAAS,IAAI,SAAS;AAC5C,WAAO,KAAK,WAAW,qBAAqB,SAAS,OAAOA,OAAM,aAAa;AAAA,EACjF;AAAA,EAEO,iBAAiB,WAA2C;AACjE,UAAM,WAAW,KAAK,SAAS,IAAI,SAAS;AAC5C,WAAO,KAAK,WAAW,iBAAiB,SAAS,KAAK;AAAA,EACxD;AACF;;;ANxHA,IAAM,OAAO,IAAI,YAAY;AAE7B,IAAM,UAAU;AAAA,EACd;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF;AAEA,SAAS,cAAc,UAA+B;AACpD,MAAI,CAAC,QAAQ,OAAO,YAAY,QAAQ,OAAO,aAAa,QAAQ,OAAO,eAAe;AACxF;AAAA,EACF;AACA,MAAI;AACF,YAAQ,OAAO,MAAM,GAAG,KAAK,UAAU,QAAQ,CAAC;AAAA,CAAI;AAAA,EACtD,QAAQ;AAAA,EAER;AACF;AAEA,SAAS,SAAS,OAAyC;AACzD,MAAI,CAAC,SAAS,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,GAAG;AAC/D,WAAO,CAAC;AAAA,EACV;AACA,SAAO;AACT;AAEA,SAAS,eAAeC,QAAgC,KAAqB;AAC3E,QAAM,QAAQA,OAAM,GAAG;AACvB,MAAI,OAAO,UAAU,YAAY,MAAM,WAAW,GAAG;AACnD,UAAM,IAAI,MAAM,uBAAuB,GAAG,GAAG;AAAA,EAC/C;AACA,SAAO;AACT;AAEA,eAAe,cAAc,SAA+C;AAC1E,MAAI;AACF,UAAM,SAAS,SAAS,QAAQ,MAAM;AACtC,YAAQ,QAAQ,QAAQ;AAAA,MACtB,KAAK;AACH,eAAO,EAAE,IAAI,QAAQ,IAAI,IAAI,MAAM,QAAQ,EAAE,MAAM,KAAK,EAAE;AAAA,MAC5D,KAAK;AACH,eAAO,EAAE,IAAI,QAAQ,IAAI,IAAI,MAAM,QAAQ,QAAQ;AAAA,MACrD,KAAK;AACH,eAAO;AAAA,UACL,IAAI,QAAQ;AAAA,UACZ,IAAI;AAAA,UACJ,QAAQ,KAAK,cAAc,OAAO,OAAgB;AAAA,QACpD;AAAA,MACF,KAAK;AACH,eAAO;AAAA,UACL,IAAI,QAAQ;AAAA,UACZ,IAAI;AAAA,UACJ,QAAQ,KAAK,wBAAwB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;AAAA,QACjG;AAAA,MACF,KAAK;AACH,eAAO;AAAA,UACL,IAAI,QAAQ;AAAA,UACZ,IAAI;AAAA,UACJ,QAAQ,KAAK,kBAAkB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;AAAA,QAC3F;AAAA,MACF,KAAK;AACH,eAAO;AAAA,UACL,IAAI,QAAQ;AAAA,UACZ,IAAI;AAAA,UACJ,QAAQ,KAAK,aAAa,eAAe,QAAQ,WAAW,CAAC;AAAA,QAC/D;AAAA,MACF,KAAK;AACH,eAAO;AAAA,UACL,IAAI,QAAQ;AAAA,UACZ,IAAI;AAAA,UACJ,QAAQ,KAAK,gBAAgB,eAAe,QAAQ,WAAW,GAAG,OAAO,OAAgB;AAAA,QAC3F;AAAA,MACF,KAAK;AACH,eAAO;AAAA,UACL,IAAI,QAAQ;AAAA,UACZ,IAAI;AAAA,UACJ,QAAQ,KAAK,WAAW,eAAe,QAAQ,WAAW,GAAG,OAAO,OAA6B;AAAA,QACnG;AAAA,MACF,KAAK;AACH,eAAO;AAAA,UACL,IAAI,QAAQ;AAAA,UACZ,IAAI;AAAA,UACJ,QAAQ,KAAK,cAAc,eAAe,QAAQ,WAAW,CAAC;AAAA,QAChE;AAAA,MACF,KAAK;AACH,eAAO;AAAA,UACL,IAAI,QAAQ;AAAA,UACZ,IAAI;AAAA,UACJ,QAAQ,KAAK,cAAc,eAAe,QAAQ,SAAS,CAAC;AAAA,QAC9D;AAAA,MACF,KAAK;AACH,eAAO;AAAA,UACL,IAAI,QAAQ;AAAA,UACZ,IAAI;AAAA,UACJ,QAAQ,MAAM,KAAK,qBAAqB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;AAAA,QACpG;AAAA,MACF,KAAK;AACH,eAAO;AAAA,UACL,IAAI,QAAQ;AAAA,UACZ,IAAI;AAAA,UACJ,QAAQ,MAAM,KAAK,sBAAsB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;AAAA,QACrG;AAAA,MACF,KAAK;AACH,eAAO;AAAA,UACL,IAAI,QAAQ;AAAA,UACZ,IAAI;AAAA,UACJ,QAAQ,MAAM,KAAK,wBAAwB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;AAAA,QACvG;AAAA,MACF,KAAK;AACH,eAAO;AAAA,UACL,IAAI,QAAQ;AAAA,UACZ,IAAI;AAAA,UACJ,QAAQ,KAAK,cAAc,eAAe,QAAQ,WAAW,CAAC;AAAA,QAChE;AAAA,MACF,KAAK;AACH,eAAO;AAAA,UACL,IAAI,QAAQ;AAAA,UACZ,IAAI;AAAA,UACJ,QAAQ,KAAK,mBAAmB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;AAAA,QAC5F;AAAA,MACF,KAAK;AACH,eAAO;AAAA,UACL,IAAI,QAAQ;AAAA,UACZ,IAAI;AAAA,UACJ,QAAQ,KAAK,qBAAqB,eAAe,QAAQ,WAAW,GAAG,OAAO,KAAc;AAAA,QAC9F;AAAA,MACF,KAAK;AACH,eAAO;AAAA,UACL,IAAI,QAAQ;AAAA,UACZ,IAAI;AAAA,UACJ,QAAQ,KAAK,iBAAiB,eAAe,QAAQ,WAAW,CAAC;AAAA,QACnE;AAAA,MACF;AACE,eAAO;AAAA,UACL,IAAI,QAAQ,MAAM;AAAA,UAClB,IAAI;AAAA,UACJ,OAAO;AAAA,YACL,MAAM;AAAA,YACN,SAAS,mBAAmB,QAAQ,MAAM;AAAA,UAC5C;AAAA,QACF;AAAA,IACJ;AAAA,EACF,SAAS,OAAO;AACd,WAAO;AAAA,MACL,IAAI,QAAQ,MAAM;AAAA,MAClB,IAAI;AAAA,MACJ,OAAO;AAAA,QACL,MAAM;AAAA,QACN,SAAS,iBAAiB,QAAQ,MAAM,UAAU;AAAA,QAClD,SAAS;AAAA,MACX;AAAA,IACF;AAAA,EACF;AACF;AAEA,IAAM,QAAQ,SAAS,gBAAgB;AAAA,EACrC,OAAO,QAAQ;AAAA,EACf,WAAW;AACb,CAAC;AAED,cAAc;AAAA,EACZ,IAAI;AAAA,EACJ,IAAI;AAAA,EACJ,QAAQ;AAAA,IACN,OAAO;AAAA,IACP,SAAS;AAAA,IACT,iBAAiB,KAAK;AAAA,EACxB;AACF,CAAC;AAED,MAAM,GAAG,QAAQ,UAAQ;AACvB,MAAI,CAAC,KAAK,KAAK,GAAG;AAChB;AAAA,EACF;AACA,MAAI;AACF,UAAM,UAAU,KAAK,MAAM,IAAI;AAC/B,QAAI,EAAE,QAAQ,YAAY,EAAE,YAAY,UAAU;AAChD,YAAM,IAAI,MAAM,wCAAwC;AAAA,IAC1D;AACA,SAAK,cAAc,OAAO,EAAE,KAAK,aAAa;AAAA,EAChD,SAAS,OAAO;AACd,kBAAc;AAAA,MACZ,IAAI;AAAA,MACJ,IAAI;AAAA,MACJ,OAAO;AAAA,QACL,MAAM;AAAA,QACN,SAAS,iBAAiB,QAAQ,MAAM,UAAU;AAAA,MACpD;AAAA,IACF,CAAC;AAAA,EACH;AACF,CAAC;","names":["input","RSLangAnalyzer","CstType","RSLangAnalyzer","CstType","input","input"]}

package/docs/CONSTITUENTA.md

@@ -0,0 +1,55 @@
+# Constituenta reference
+
+Distilled from `help-cst-attributes`, the rstool skill table, and `CONTEXT.md`. Use this when upserting constituents via `addOrUpdateConstituenta`.
+
+## `ConstituentaDraft` fields
+
+| Field | Required | Description |
+|-------|----------|-------------|
+| `id` | yes | Stable integer id within the session |
+| `alias` | yes | Display alias (`X1`, `D5`, `F2`) — must match `cstType` prefix |
+| `cstType` | yes | One of `CstType` values (see table below) |
+| `definitionFormal` | yes (may be empty) | RS expression. Empty for `basic` / `constant` |
+| `term` | optional | Natural-language term name |
+| `definitionText` | optional | Natural-language definition / interpretation |
+| `convention` | optional | Convention text for undefined concepts |
+
+Omitted text fields default to `''` in stored state.
+
+## `cstType` table
+
+| `cstType` (value) | Prefix | Formal definition | Notes |
+|-------|--------|-------|-------|
+| `basic` (`X`) | `X#` | **must be empty** | Base set; non-empty formal → `definitionNotAllowed` |
+| `constant` (`C`) | `C#` | **must be empty** | Constant set; same rule |
+| `nominal` (`N`) | `N#` | allowed | Free vocabulary item, no semantic constraint |
+| `structure` (`S`) | `S#` | allowed | Structured undefined concept, defines the typification grade |
+| `term` (`D`) | `D#` | allowed | Derived term (set / value) |
+| `axiom` (`A`) | `A#` | allowed (must be `Logic`) | Logical statement asserting a requirement |
+| `statement` (`T`) | `T#` | allowed (must be `Logic`) | Logical assertion about the model |
+| `function` (`F`) | `F#` | allowed (parameterised) | Term-function |
+| `predicate` (`P`) | `P#` | allowed (parameterised) | Predicate-function |
+
+### Interpretability and inferrability
+
+- **Interpretable** (a value can be assigned via `setConstituentaValue`): `basic`, `constant`, `structure`, `term`, `axiom`, `statement`.
+- **Inferrable** (computed from definitions, never set directly): `term`, `axiom`, `statement`. Assigning to an inferrable raises an error.
+
+In practice, agents only set values for `basic` and `constant` constituents (and `structure` when an explicit value is required). Everything else is recalculated via `evaluateConstituenta` / `recalculateModel`.
+
+## Validation rules
+
+1. **Prefix ↔ `cstType`**: `alias` letter must match the type prefix.
+2. **Empty formal for undefined concepts**: `basic` and `constant` must have `definitionFormal === ''`. Any non-empty value triggers `definitionNotAllowed` (`0x8862`).
+3. **Dependency declaration order**: every global identifier referenced in `definitionFormal` must correspond to an already-upserted constituent in the session.
+4. **Logical-only definitions**: `axiom` and `statement` definitions must typecheck to `Logic`; otherwise `expectedLogic`.
+5. **Empty derived expression**: a derived constituent with empty `definitionFormal` triggers `cstEmptyDerived`.
+
+## Recommended upsert order
+
+1. All `basic` (`X#`) and `constant` (`C#`) constituents (empty formal).
+2. Core `structure` (`S#`) and crucial concepts.
+3. Topological order of derived concepts: every dependency upserted before its dependent.
+4. Axioms and statements after the constituents they reference.
+
+Use `analyzeExpression` on a scratch expression before upsert; use `addOrUpdateConstituenta` only when the expression typechecks. Read `result.diagnostics` for actionable error info and patch by `from`/`to` ranges.

package/docs/DIAGNOSTICS.md

@@ -0,0 +1,125 @@
+# Diagnostics reference
+
+Distilled from `@rsconcept/domain/rslang/error.ts`, the Portal i18n catalog `rslang.en.ts`, and rstool `EXAMPLES.md`. Use this when an `analyzeExpression` / `addOrUpdateConstituenta` call returns errors in `result.diagnostics`.
+
+## How to read a diagnostic
+
+Each `DiagnosticRecord` carries:
+
+- `code` — numeric `RSErrorCode` (see table). The high nibble identifies the class (`0x82xx` lexer, `0x84xx` parser, `0x88xx` semantic, `0x81xx` runtime, `0x28xx` warnings).
+- `params` — substitution arguments for the message (identifier names, sets, etc.).
+- `from`, `to` — character positions in the *expression text* that should be patched. Always edit `definitionFormal` by range.
+- `constituentId` — present in session diagnostics from `listDiagnostics`.
+
+Map a `code` to a human-readable message via `@rsconcept/domain` helpers (`getRSErrorPrefix`, `RSErrorClass`). If you need a fully localised text, consult the Portal i18n keys `tx.rslang.error.*`; rstool does not bundle those.
+
+## Class table
+
+| Mask | Class | Behaviour |
+|------|-------|-----------|
+| `0x8400` family | Parser | Lexical / syntactic problems; expression cannot be analysed further |
+| `0x8800` family | Semantic | Definition-level issues (types, scopes, structure) |
+| `0x8100` family | Runtime / evaluation | Raised during `evaluateExpression` / `evaluateConstituenta` |
+| `0x2800` family | Warning | Not critical; expression still valid |
+| `0x88Cx` | Schema-level | Rules enforced by the schema layer (`cstEmptyDerived`, `definitionNotAllowed`) |
+
+`isCritical(code)` returns `false` only for `localDoubleDeclare` and `localNotUsed`.
+
+## High-priority codes
+
+### Parser
+
+| Code | Symbol | Typical cause | Agent fix |
+|------|--------|---------------|-----------|
+| `0x8400` | `unknownSyntax` | Stray token / typo | Re-tokenise around `from`–`to` |
+| `0x8406` | `missingParenthesis` | Unmatched `(` `)` | Insert matching paren near `to` |
+| `0x8407` | `missingCurlyBrace` | Unmatched `{` `}` | Insert matching brace |
+| `0x8408` | `missingSquareBracket` | Unmatched `[` `]` | Insert matching bracket |
+| `0x8409` | `bracketMismatch` | Mixed bracket types | Replace one bracket to match |
+| `0x840A` | `doubleParenthesis` | `(( ... ))` redundancy | Remove one pair |
+| `0x840B` | `missingOpenBracket` | Closing bracket without opener | Insert opening bracket earlier |
+| `0x8415` | `expectedLocal` | Quantifier or filter expects a local | Provide a lowercase variable |
+| `0x8416` | `expectedType` | Missing typification annotation | Add explicit grade |
+
+### Semantic — locals and scopes
+
+| Code | Symbol | Typical cause | Agent fix |
+|------|--------|---------------|-----------|
+| `0x8801` | `localUndeclared` | Variable used before declaration | Bind via quantifier / parameter |
+| `0x8802` | `localShadowing` | Local redeclared in inner scope | Rename inner variable |
+| `0x8815` | `localOutOfScope` | Local escapes its binder | Move usage inside the binder |
+| `0x2801` | `localDoubleDeclare` | Same local declared twice | Warning; rename |
+| `0x2802` | `localNotUsed` | Declared local never referenced | Warning; remove or use |
+
+### Semantic — types
+
+| Code | Symbol | Typical cause | Agent fix |
+|------|--------|---------------|-----------|
+| `0x8803` | `typesNotEqual` | Operands have different typifications | Convert / project to matching grade |
+| `0x8804` | `globalNotTyped` | Referenced global has no typification | Ensure dependency is upserted and typechecked first |
+| `0x8805` | `invalidDecart` | Cartesian product on non-set operand | Wrap operand in `ℬ(...)` if appropriate |
+| `0x8806` | `invalidBoolean` | `ℬ(...)` applied to a non-set | Use a set-grade operand |
+| `0x8807` | `invalidTypeOperation` | Operator not defined for these types | Re-check the typification table |
+| `0x8808` | `invalidCard` | `card(...)` on a non-set | Use a set operand |
+| `0x8809` | `invalidDebool` | `debool(...)` on non-singleton | Ensure exactly one element first |
+| `0x880B` | `globalFuncWithoutArgs` | Calling a function without `[]` args | Provide arguments |
+| `0x8810` | `invalidReduce` | `red(...)` on something not `ℬ(ℬ(...))` | Wrap in extra `ℬ` or change source |
+| `0x8811` | `invalidProjectionTuple` | `pr_i((a,b))` with out-of-range index | Use valid index |
+| `0x8812` | `invalidProjectionSet` | `Pr_i(S)` on non-tuple set | Use a tuple-set source |
+| `0x8813` | `invalidEnumeration` | `{a, b}` with incompatible element types | Match element typifications |
+| `0x8814` | `invalidCortegeDeclare` | Tuple declaration with mismatched arity | Match declaration to use |
+| `0x8816` | `invalidElementPredicate` | `ξ ∈ S` typification mismatch | Match `ξ`'s grade to elements of `S` |
+| `0x8817` | `invalidEmptySetUsage` | `∅` in a position that needs a concrete element | Provide explicit typified operand |
+| `0x8818` | `invalidArgsArity` | Wrong number of arguments to function | Match function declaration |
+| `0x8819` | `invalidArgumentType` | Argument typification mismatch | Adjust caller or function signature |
+| `0x881C` | `globalStructure` | Wrong structural shape of referenced global | Re-check `structure` constituent shape |
+| `0x8821` | `radicalUsage` | Radical used outside parameter domain | Move usage into parameter declarations |
+| `0x8822` | `invalidFilterArgumentType` | `Fi[D](S)` parameter does not match index typification | Match `D` to projected grade |
+| `0x8823` | `invalidFilterArity` | Filter parameter count ≠ multi-index length | Align lengths |
+| `0x8824` | `arithmeticNotSupported` | Arithmetic operator outside integer context | Use integer expressions |
+| `0x8825` | `typesNotCompatible` | Generic type incompatibility | Re-examine surrounding context |
+| `0x8826` | `orderingNotSupported` | `<`, `≤` etc. used outside integer | Ensure operands are integers |
+| `0x8827` | `expectedLogic` | Definition where `Logic` is required | Wrap in logical expression or change `cstType` |
+| `0x8828` | `expectedSetexpr` | Definition where STE required | Convert from logic to set expression |
+| `0x8829` | `invalidArgumentCortegeDeclare` | Tuple parameter declaration mismatch | Match tuple arity in declaration |
+
+### Schema / cstType validation
+
+| Code | Symbol | Trigger | Fix |
+|------|--------|---------|-----|
+| `0x8861` | `cstEmptyDerived` | Derived constituent with empty `definitionFormal` | Provide a definition |
+| `0x8862` | `definitionNotAllowed` | `basic`/`constant` with non-empty formal | Clear the formal |
+| `0x8840` | `globalNoValue` | Reference to global without a model value | Set value via `setConstituentaValue` before evaluating |
+| `0x8841` | `invalidPropertyUsage` | Property-only constituent used where value is required | Use a different operand |
+
+### Runtime (evaluation)
+
+| Code | Symbol | Cause |
+|------|--------|-------|
+| `0x8100` | `calcUnknownError` | Unspecified evaluation failure |
+| `0x8101` | `setOverflow` | Intermediate set too large |
+| `0x8102` | `booleanBaseLimit` | `ℬ(X)` overflow at runtime |
+| `0x8103` | `calcGlobalMissing` | Referenced global has no current value |
+| `0x8104` | `iterationsLimit` | Iterative computation exceeded limit |
+| `0x8105` | `calcInvalidDebool` | `debool` on multi-element set at runtime |
+| `0x8106` | `iterateInfinity` | Iteration over an infinite set |
+| `0x8107` | `calculationNotSupported` | Construct cannot be evaluated |
+
+## Common agent mistakes
+
+- **Setting a value on a derived constituent**: derived `term`, `axiom`, `statement` are inferrable. Use `evaluateConstituenta` / `recalculateModel`. Setting them throws `Constituent <alias> is inferrable and cannot be set directly`.
+- **Forgetting empty formal on `basic` / `constant`**: results in `definitionNotAllowed`. Pass `definitionFormal: ''`.
+- **Out-of-order dependencies**: referencing `D2` before upserting it raises `localUndeclared` or `globalNotTyped`. Always topologically sort.
+- **Wrong cstType for the role**: `axiom`/`statement` whose definition is not `Logic` raises `expectedLogic`. A `term` whose body is logical raises `expectedSetexpr`.
+- **Negative literals**: `-5` does not parse. Use `0 - 5`.
+- **Radicals in result expressions**: `[α∈R1] (α, R1)` raises `radicalUsage`. Use radicals only in parameter domains.
+- **Evaluating before bindings are set**: `evaluateExpression` referencing `X1` without a `setConstituentaValue(..., target: <X1.id>)` raises `calcGlobalMissing` (`0x8103`).
+
+## Diagnostics loop
+
+1. Run `analyzeExpression` on a scratch.
+2. If `analysis.success === false`, iterate `analysis.diagnostics`.
+3. For each diagnostic: read `code`, `from`, `to`, and `params`. Map `code` via `getRSErrorPrefix` if you need a category prefix.
+4. Patch `definitionFormal` based on the range — never blindly retry without changing the input.
+5. Re-send. Repeat until success.
+6. Only then call `addOrUpdateConstituenta` to commit the constituent into the session.

package/docs/DOMAIN.md

@@ -0,0 +1,89 @@
+# Domain reference
+
+Compact English distillation of the canonical Russian domain glossary (`CONTEXT.md`). Read this first if you are an agent unfamiliar with the Concept Portal vocabulary.
+
+## Core concepts
+
+- **Subject domain** — a sphere of human activity that requires coordination and communication.
+- **Conceptual schema (`КС`)** — a formal system of definitions for a subject domain, made of constituents.
+- **Conceptual model (`РСМодель`)** — a pairing of a conceptual schema with an interpretation in concrete data.
+- **Operations Synthesis Schema (`ОСС`)** — a graph of load and synthesis operations that drives schema construction and evolution.
+- **RS language (`родоструктурная экспликация`)** — the formal genus-structure language used to define concepts, relations and operations inside a schema.
+- **Typification** — the computable structural type of a constituent's formal definition; the formal constraint on admissible interpretations.
+- **Term graph** — a directed dependency graph over constituents; an edge means "constituent A appears in constituent B's definition".
+
+## Constituents
+
+A **constituent** is the atomic building block of a conceptual schema. Each constituent may carry a term, a convention, a typification, a formal definition, a textual interpretation, and a comment. By role, a constituent is either undefined, derived, or a statement.
+
+Constituent aliases follow a strict prefix scheme:
+
+| Alias prefix | Role | Notes |
+|-----|------|-------|
+| `N#` | Nominoid | Free vocabulary item, no formal definition |
+| `X#` | Base set | Undefined concept, set of distinguishable elements |
+| `C#` | Constant set | Undefined concept, set-theoretic constant with operations |
+| `S#` | Structured concept | Undefined concept with explicit typification, axioms, convention |
+| `D#` | Term | Derived concept (set / value) defined by a formal expression |
+| `F#` | Term-function | Parameterised derived concept yielding an STE |
+| `P#` | Predicate-function | Parameterised derived concept yielding a logical expression |
+| `A#` | Axiom | Logical statement asserting requirements |
+| `T#` | Statement | Logical assertion about the model |
+| `R#` | Radical | Template placeholder for arbitrary typification |
+
+**Undefined concepts** (`X#`, `C#`, `S#`) are introduced by conventions (and optional axioms); they have **no formal definition**. **Derived concepts** (`D#`, `F#`, `P#`, `A#`, `T#`) carry a formal expression and must follow declaration order — every referenced constituent must already exist.
+
+A **crucial constituent** is marked as content-bearing for filtering / focus; it has no semantic effect on the formal calculus.
+
+## Statuses
+
+Each constituent has one of the following correctness statuses:
+
+| Status | Meaning |
+|--------|---------|
+| Unknown | Not yet validated |
+| OK | Validated as correct |
+| Error | Validation failed |
+| Property | Defines a non-computable set; only membership tests are admissible |
+| Incalculable | Cannot be evaluated directly (e.g. expected exponential blow-up) |
+
+## RSModel evaluation states
+
+In a conceptual model each item has one of the following evaluation statuses:
+
+| Status | Meaning |
+|--------|---------|
+| `NO_EVAL` (1) | Not evaluated (definition is not interpretable) |
+| `NOT_PROCESSED` (2) | Interpretation has not been computed yet |
+| `INVALID_DATA` (3) | Provided data is invalid |
+| `EVAL_FAIL` (4) | Evaluation raised an error |
+| `AXIOM_FALSE` (5) | Axiom evaluated to FALSE |
+| `EMPTY` (6) | Result is the empty set |
+| `HAS_DATA` (7) | Interpretation computed and non-empty |
+
+## Synthesis and OSS
+
+- **Load operation** attaches an existing schema to the OSS graph.
+- **Synthesis operation** combines operand schemas via an **identification table** (pairs of constituents to be treated as equivalent) and produces a result schema with **inherited constituents**.
+- **Cross-cutting changes** propagate edits from a **source constituent** to its **inherited constituents** through the OSS. Inherited constituents are not edited directly.
+- **Diamond synthesis** uses operand schemas with shared ancestors.
+- **Concept block** is a nominal grouping of schemas inside the OSS.
+
+## Relationships
+
+- A conceptual schema **contains** many constituents.
+- A conceptual model **interprets** exactly one schema at a given state.
+- An OSS **contains** load and synthesis operations.
+- A synthesis operation **consumes** one or more input schemas plus an identification table and **produces** a result schema with inherited constituents.
+- Cross-cutting changes **propagate** from a source constituent to its inherited descendants.
+- The term graph is **derived** from the formal definitions of constituents.
+
+## Dependency vocabulary
+
+- **Consumers** — constituents that mention this one in their definitions.
+- **Suppliers** — constituents this one mentions in its definition.
+- **Dependents** — direct and transitive consumers.
+- **Influencers** — direct and transitive suppliers.
+- **Generating expression** — a definition referencing a single external constituent with no added content.
+- **Base concept (for generation)** — the constituent on which a generating expression is built.
+- **Generated concept** — a constituent produced from a generating expression.

package/docs/GRAMMAR-REF.md

@@ -0,0 +1,98 @@
+# Grammar reference (pointers)
+
+The full Lezer grammar ships inside `@rsconcept/domain` at `node_modules/@rsconcept/domain/src/rslang/parser/rslang.grammar`. The generated parser is `parser.ts` in the same folder. Below is a compact token map agents can use without opening the grammar.
+
+## Token classes
+
+| Class | Tokens / examples |
+|-------|-------------------|
+| Whitespace | space, tab, newline |
+| Integer literal | `0`, `42` |
+| Empty set | `∅` |
+| Integer set | `Z` |
+| Globals | `X#`, `C#`, `S#`, `D#`, `F#`, `P#`, `A#`, `T#`, `N#`, `R#` |
+| Locals | `x`, `ξ`, `μ2`, `y1` |
+| Punctuation | `(`, `)`, `[`, `]`, `{`, `}`, `,`, `;` |
+| Comment | none — RSLang has no comments inside formal expressions |
+
+## Set / structural operators
+
+| Token | Symbol |
+|-------|--------|
+| Union | `∪` |
+| Intersection | `∩` |
+| Difference | `\` |
+| Symmetric difference | `∆` |
+| Cartesian product | `×` |
+| Boolean | `ℬ` |
+| Sum set | `red` |
+| Singleton | `bool` |
+| Desingleton | `debool` |
+| Small projection | `pr1`, `pr1,3`, … |
+| Large projection | `Pr1`, `Pr2,4`, … |
+| Filter | `Fi1[D](S)`, `Fi1,2[D](S)` |
+| Cardinality | `card` |
+
+## Predicates
+
+| Token | Symbol |
+|-------|--------|
+| Membership | `∈` |
+| Non-membership | `∉` |
+| Inclusion | `⊆` |
+| Strict inclusion | `⊂` |
+| Non-inclusion | `⊄` |
+| Equality | `=` |
+| Inequality | `≠` |
+| Less | `<` |
+| Less-or-equal | `≤` |
+| Greater | `>` |
+| Greater-or-equal | `≥` |
+
+## Logical connectives
+
+| Token | Symbol |
+|-------|--------|
+| Negation | `¬` |
+| Conjunction | `&` |
+| Disjunction | `∨` |
+| Implication | `⇒` |
+| Equivalence | `⇔` |
+
+## Quantifiers
+
+| Token | Symbol |
+|-------|--------|
+| Universal | `∀` |
+| Existential | `∃` |
+
+## Declarators
+
+| Token | Form |
+|-------|------|
+| Function declaration | `F# ::= [<params>] <body STE>` |
+| Predicate declaration | `P# ::= [<params>] <body LE>` |
+| Parameter declaration | `α ∈ <STE>` (commas separate; commas inside `[]`) |
+| Function call | `F#[<arg1>, <arg2>, …]` |
+
+## Precedence (from highest to lowest)
+
+1. Function calls, projections, boolean
+2. Cartesian product `×`
+3. Multiplicative `*`
+4. Additive `+`, `-`
+5. Set operators `∪`, `∩`, `\`, `∆`
+6. Predicates (`∈`, `=`, `<`, …)
+7. Negation `¬`
+8. Conjunction `&`
+9. Disjunction `∨`
+10. Implication `⇒`
+11. Equivalence `⇔`
+
+Multi-index tokens inside projections / filters are parsed as a comma-separated list of natural numbers.
+
+## When to consult the full grammar
+
+- Grammar conflicts or surprising error positions — read `rslang.grammar` directly.
+- Adding new operators or precedence rules — must be done in the domain package, not in rstool.
+- Lezer terms / token IDs — see `@rsconcept/domain/src/rslang/parser/token.ts` and `parser.terms.ts`.

package/docs/PORTAL-API.md

@@ -0,0 +1,48 @@
+# Portal REST API (read-only reference)
+
+When an agent needs to **inspect existing** RSForms, OSS, or RSModels persisted on the Portal, use the REST API on `api.portal.acconcept.ru`. The rstool library itself never calls the Portal API — it always works on in-memory sessions. This document is for agents that combine rstool sessions with data fetched from a live Portal.
+
+## Hosts
+
+- **UI:** `https://portal.acconcept.ru/`
+- **REST API:** `https://api.portal.acconcept.ru/`
+- **Local dev:** path prefix `/api/...`, base URL from `VITE_PORTAL_BACKEND`.
+
+## Path rewrite rules
+
+Drop UI hash query params (`?tab=`, etc.). Keep numeric ids exactly as the UI shows them.
+
+| Portal UI path | REST target |
+|----------------|-------------|
+| `/rsforms/:id` | `GET /api/rsforms/:id` (metadata: owner, titles) |
+| `/rsforms/:id` (full payload) | `GET /api/rsforms/:id/details` |
+| `/rsforms/:id` (a saved version) | `GET /api/library/:id/versions/:version` |
+| `/oss/:id` | `GET /api/oss/:id` (and the sibling OSS viewset routes) |
+| `/models/:id` | `GET /api/models/:id` (RSModel router) |
+
+## OpenAPI
+
+Machine-readable schema:
+
+```
+GET https://api.portal.acconcept.ru/schema
+```
+
+Prefer `/schema` for JSON. The Swagger UI is separate.
+
+## What rstool consumes
+
+rstool itself works with in-memory sessions via `RSToolAgent` or the stdio wrapper. To bridge between the REST payload and a rstool session, the typical flow is:
+
+1. `GET /api/rsforms/:id/details` to fetch the persisted RSForm.
+2. Convert the response (constituents, formal definitions, term, convention, etc.) into a series of `addOrUpdateConstituenta` calls inside a fresh `createSession`.
+3. Operate offline: analyse, edit, evaluate, then `exportSession` for hand-off.
+
+There is no backend write path in rstool: edits never round-trip to the Portal automatically. Publish changes back to the Portal through the existing Portal UI or REST writes.
+
+## Don'ts
+
+- Do not scrape the SPA HTML.
+- Do not pass UI hash params (`?tab=editor`, etc.) to REST.
+- Do not call `/api/rsforms/:id/details` for trivial metadata — `GET /api/rsforms/:id` is cheaper.
+- Do not assume the API host is the same as the UI host in production — they are different.

package/docs/README.md

@@ -0,0 +1,15 @@
+# rstool docs
+
+Standalone English reference distilled from the Portal manuals and `CONTEXT.md`. Bundled with `@rsconcept/rstool` so external agents never need to read the Portal frontend source tree.
+
+| File | Read when |
+|------|-----------|
+| [`DOMAIN.md`](DOMAIN.md) | You need the Concept Portal vocabulary (constituenta, conceptual schema/model, OSS, synthesis). |
+| [`CONSTITUENTA.md`](CONSTITUENTA.md) | You are upserting constituents — fields, `cstType` table, validation rules, recommended order. |
+| [`SYNTAX.md`](SYNTAX.md) | You are constructing RSLang expressions — operators, quantifiers, parameterised functions, examples. |
+| [`TYPIFICATION.md`](TYPIFICATION.md) | You are interpreting `AnalysisResult.type` / `valueClass` or constructing template expressions with radicals. |
+| [`DIAGNOSTICS.md`](DIAGNOSTICS.md) | You received `analysis.diagnostics` and need to map error codes to fixes. |
+| [`PORTAL-API.md`](PORTAL-API.md) | You need to fetch an existing RSForm/OSS/RSModel from the live Portal REST API. |
+| [`GRAMMAR-REF.md`](GRAMMAR-REF.md) | You need a compact token / precedence table; the full grammar lives in `@rsconcept/domain`. |
+
+For the rstool agent contract itself (methods, types, stdio protocol) see [`../skills/rstool-helper/REFERENCE.md`](../skills/rstool-helper/REFERENCE.md).