@rsconcept/rstool 0.1.0 → 0.2.1

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

@@ -1 +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"]}
+{"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"}

package/docs/CONCEPTUAL-SCHEMA.md

@@ -0,0 +1,168 @@
+# Conceptual schema (КС) — agent recommendations
+
+This note complements the mechanistic references:
+
+- `CONSTITUENTA.md` — how to upsert constituents correctly (fields, order, validation)
+- `SYNTAX.md` / `TYPIFICATION.md` — how to construct correct RS expressions
+
+Here we focus on **how to design and analyse a conceptual schema as a system of constituents**.
+
+## What makes a schema valuable
+
+The value of a conceptual schema is the **diversity of concepts expressed in it**.
+
+- A good schema forms a **domain thesaurus**: a stable set of terms and distinctions that people can use for communication and decision-making.
+- “Diversity” is not the same as “many aliases”. Prefer concepts that introduce **new distinctions** (new criteria, roles, constraints, invariants) instead of synonyms.
+
+Practical agent heuristic:
+
+- If you can remove a derived concept `D#` and lose no important language for reasoning, it is probably redundant.
+- If stakeholders keep rephrasing the same thing in different words, the schema likely misses one or more constituents that capture the missing distinction.
+
+## Rule for text fields (term / definitionText / convention)
+
+When you write natural-language text in a schema, follow this strict rule:
+
+- **Use only terms that are introduced in the schema itself.**
+
+Rationale:
+
+- Text definitions that rely on “external vocabulary” quietly import unstated assumptions and weaken the schema as a shared thesaurus.
+
+Agent checklist:
+
+- When you add a new `definitionText`, scan it for nouns/terms. If a term is essential, introduce it explicitly (typically as `N#`, `X#`, `S#`, or a derived `D#`).
+- Prefer short “closed-world” definitions: explain a concept using already-introduced schema terms plus logical connectives (“and”, “or”, “not”), quantifiers (“for all”, “exists”), and references to RS expressions.
+
+## Modeling genus structures (родовые структуры) as `S#`
+
+`S#` constituents represent **base structured concepts**: their `definitionFormal` is a **typification** (grade), and their meaning is set by `convention` plus axioms.
+
+### Define structure components explicitly
+
+For a genus structure `S#`, it is often useful to define **all components** as named derived terms.
+
+Why:
+
+- It gives names to projections / reduced parts of a structure, making the thesaurus usable.
+- It shortens later formulas and prevents agents from repeating long projection chains differently in different places.
+
+Typical pattern for a binary relation over a base set:
+
+- `X1` — base set (undefined)
+- `S1 : ℬ(X1×X1)` — relation as a structure (undefined, meaning via convention)
+- Component terms:
+  - `D_dom := Pr1(S1)` — “domain” / “left elements”
+  - `D_cod := Pr2(S1)` — “codomain” / “right elements”
+  - `D_pairs := red(bool(S1))` is usually nonsense; instead name the parts you truly use
+  - For higher-arity structures, define `Pr1`, `Pr2`, … and relevant multi-projections (`Pr1,3`, etc.)
+
+More generally:
+
+- **Projections** (`Pr*`, `pr*`) are the main tool for naming components.
+- **Reduce** (`red`) is useful when a component is a set-of-sets and you need a flattened union; introduce a named `D#` when you use `red` in more than one place.
+
+### Avoid “anonymous structure usage”
+
+If later definitions repeatedly use expressions like `Pr2(Fi1[D](S7))`, it is usually a sign that:
+
+- the schema is missing a named constituent for that concept, or
+- the structure `S7` is underspecified (needs conventions/axioms).
+
+Prefer to introduce:
+
+- an intermediate derived term `D#` for the filtered relation/set, and
+- separate terms for the projections you interpret in text.
+
+## Axioms as semantic direction
+
+An axiom `A#` is a **true statement** that:
+
+- defines the intended semantics of genus structures, and
+- enables safe derivations (“in a certain direction”) by providing guarantees needed for operations.
+
+Think of axioms as giving you _permission to use certain operators_ without risking typification/runtime failures or semantic ambiguity.
+
+### Example: singleton guarantee for `debool`
+
+`debool(S)` is only meaningful when `S` is guaranteed to be a **singleton**.
+
+In practice, when you build `S` as a projection/filter result, you often need an axiom that guarantees uniqueness.
+
+For example, for a binary relation `S1 : ℬ(X1×X1)` you may want to define a function-like choice:
+
+- `D_childOf(x) := debool(Pr2(Fi1[bool(x)](S1)))`
+
+This is only valid if for every `x` the filtered projection yields exactly one element.
+That guarantee is provided by an axiom of **right-uniqueness** (functional dependency) for the relation (written in RS logic for your specific structure).
+
+Agent rule:
+
+- If you see `debool(...)` in a definition, ensure there is an axiom that makes the inner set a singleton on the intended domain.
+- If the axiom is absent, either (a) add the axiom, (b) replace `debool` by keeping the set-valued result, or (c) restrict the domain explicitly so the singleton property holds.
+
+## Expression hygiene: avoid tautological membership checks
+
+In well-typed/correct RS expressions, you should avoid adding membership predicates that only restate what is already guaranteed by typification and by the correctness model.
+
+Specifically, avoid “sanity checks” like:
+
+- `x ∈ X1`
+- `x ∈ ℬ(X1)` (and other plain grade constructions such as `X1×X2`, `B(X1)`, etc.)
+
+when `x` is already bound/typed as an element compatible with `X1` (or with the intended element structure induced by `ℬ(X1)`, `X1×X2`, …).
+
+Why this is usually meaningless:
+
+- `AnalysisResult` checks expressions in a **global context** where identifiers must have known typifications and must satisfy **bijective portability**.
+- Under these guarantees, values of an element grade “already belong” to the corresponding set/grade in the semantic sense; so the predicate becomes (effectively) TRUE and adds no discriminating information.
+
+Agent rule:
+
+- Use membership (`∈` / `Fi*`) to express *nontrivial* schema semantics (e.g. defining/characterising derived sets), not to re-check that a value matches its own typification.
+
+## Bijective portability (биективная переносимость)
+
+**Bijective portability** means that a formal meaning/definition of a constituent depends only on the *structure* that the schema intends, and not on arbitrary “names” of undefined-concept interpretations.
+
+Concretely, if you replace interpretations of undefined concepts by a bijective renaming (structure-preserving renaming), then:
+
+- the evaluation result of every bijectively portable definition is unchanged up to the same renaming,
+- therefore definitions are stable and reusable across equivalent models.
+
+In rstool’s correctness model this property is not optional for the formal part:
+
+- all formal definitions are required to be **bijectively portable**,
+- expression checking assumes bijective portability for every referenced identifier.
+
+Because of this, membership checks against base sets/grades become redundant in correct expressions: the type discipline plus portability already guarantee the relevant “belonging” constraints.
+
+## Analysis: how to review a schema as a system
+
+### Thesaurus health
+
+- **Coverage**: do core domain nouns/roles appear as constituents (`N#`, `X#`, `S#`, `D#`)?
+- **Non-synonymy**: if two terms are interchangeable in all axioms/definitions, collapse or differentiate them.
+- **Naming stability**: avoid renaming “public” terms frequently; prefer adding refined terms and marking old ones as deprecated in text (if your workflow supports that).
+
+### Term graph health (dependencies)
+
+- Prefer a **layered graph**: bases/constants → core structures → derived projections/components → higher-level derived concepts → axioms/statements.
+
+### Axiom health
+
+- Every axiom should have a clear intent: uniqueness, totality, disjointness, ordering, invariance, domain/range constraints, etc.
+- Prefer a small set of high-leverage axioms that unlock safe derivations, rather than many weak axioms with overlapping meaning.
+- If axioms regularly fail in model evaluation, either the interpretation data violates the intended semantics or the semantics are wrong — in both cases the schema needs revision.
+
+## Practical workflow for agents (recommended)
+
+1. **Start with a vocabulary list** (domain nouns, roles, relations) → introduce `N#` for stable names when formalisation is not ready yet.
+2. **Introduce bases/constants** (`X#`, `C#`) early with conventions.
+3. **Introduce core structures** (`S#`) with typifications + conventions; immediately add the most important component terms (`Pr*`, `red`-based terms).
+4. **Add derived concepts** (`D#`, `F#`, `P#`) incrementally; keep definitions short by using named components.
+5. **Add axioms** (`A#`) that:
+   - encode intended semantics of structures,
+   - justify `debool`/functional choices, and
+   - restrict domains/ranges so derived concepts remain meaningful.
+6. Run analysis on scratch expressions before committing, and keep text definitions closed-world (schema terms only).

package/docs/CONSTITUENTA.md

@@ -1,41 +1,64 @@
 # Constituenta reference
 
-Distilled from `help-cst-attributes`, the rstool skill table, and `CONTEXT.md`. Use this when upserting constituents via `addOrUpdateConstituenta`.
+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 |
+| 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.
 
+## Language of text fields
+
+The natural-language fields `term`, `definitionText`, and `convention` should be written in **one consistent language**:
+
+- When editing/extending an existing schema, keep the **same language** that is already used in the schema’s text fields.
+- When creating a new schema from scratch, use the **language of the user’s request**.
+
 ## `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 |
+| `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                   | **Base** structured concept; `definitionFormal` is its **typification** (grade), not a definition |
+| `term` (`D`)      | `D#`   | allowed                   | **Derived** concept; `definitionFormal` is its **definition** (value computed in the model)       |
+| `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`.
+- **Interpretable** (a value can be assigned via `setConstituentaValue`): `basic`, `constant`, `structure`.
 - **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`.
+## Structure (`S#`) vs term (`D#`)
+
+Do not treat `structure` and `term` as interchangeable because both may contain `×`, `ℬ`, or projections.
+
+|                    | `structure` (`S#`)                                                                          | `term` (`D#`)                                                                                        |
+| ------------------ | ------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------- |
+| `definitionFormal` | **Typification** — which grade the elements have (e.g. `ℬ(X1×X1)` = set of pairs over `X1`) | **Definition** — how to obtain the concept (e.g. `Pr1(S1)` = first projection of relation `S1`)      |
+| Introduction       | `convention` (+ optional axioms); interpretation from the subject domain                    | Formal expression only; interpretation is **evaluated**                                              |
+| `X1×X1` in context | Inside a grade: **one** pair type `(X1, X1)`                                                | As the whole body: **Cartesian product** `X1 × X1` (all pairs) — rarely what you want for a relation |
+
+**Typical pattern (relation over a base set):**
+
+1. `X1` — base set, empty formal, `convention` names the domain elements.
+2. `S1` — `definitionFormal: 'ℬ(X1×X1)'`, `convention` explains pair order (e.g. parent, child).
+3. `D1` — `definitionFormal: 'Pr1(S1)'` (or filters / term-functions), `definitionText` explains the derived set.
+
+Worked example: `examples/build-kinship-rsform.ts`.
 
 ## Validation rules
 

package/docs/DIAGNOSTICS.md

@@ -1,6 +1,6 @@
 # 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`.
+Use this when an `analyzeExpression` / `addOrUpdateConstituenta` call returns errors in `result.diagnostics`.
 
 ## How to read a diagnostic
 
@@ -8,20 +8,25 @@ 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.
+- `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.
+Resolve `code` from **`@rsconcept/domain`** (installed: `node_modules/@rsconcept/domain/src/rslang/error.ts`):
+
+- **`RSErrorCode`** — reverse-lookup the numeric value to its symbol name (`missingParenthesis`, `globalNotTyped`, …). The identifier is the canonical error kind; inline comments on each member document the hex id.
+- **`getRSErrorPrefix(code)`** — short label with class + hex (`P8406`, `S8803`, …).
+- **`params`** — substitution arguments from the reporter (see `*.test.ts` cases in `domain/src/rslang/` for examples per code).
+- **Tables below** — typical causes and agent fixes when patching `definitionFormal`.
 
 ## 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`) |
+| 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`.
 
@@ -29,81 +34,81 @@ Map a `code` to a human-readable message via `@rsconcept/domain` helpers (`getRS
 
 ### 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 |
+| 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 |
+| 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 |
+| 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 |
+| 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 |
+| 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
 
@@ -119,7 +124,7 @@ Map a `code` to a human-readable message via `@rsconcept/domain` helpers (`getRS
 
 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.
+3. For each diagnostic: read `code`, `from`, `to`, and `params`. Look up `code` in `RSErrorCode` (`error.ts`) and use `getRSErrorPrefix` if you need a display id.
 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.