@rsconcept/domain 1.0.0 → 1.2.0

package/dist/library/rsform.d.ts

@@ -1,206 +1,198 @@
-import { Graph } from '../graph/graph.js';
-import { ExpressionType, TypePath } from '../rslang/semantic/typification.js';
-import { AnalysisBase, RSLangAnalyzer } from '../rslang/semantic/analyzer.js';
-import { LibraryItem, CurrentVersion, VersionInfo, LibraryItemReference } from './library.js';
-import '../shared/branded.js';
-import '../parsing/ast.js';
-import '@lezer/common';
-import '../rslang/error.js';
-import '../rslang/semantic/value-class.js';
-
-/**
- * Module: Models for formal representation for systems of concepts.
- */
-
+import { t as Graph } from "../graph-DR8rL2o3.js";
+import { i as LibraryItemReference, n as CurrentVersion, r as LibraryItem, s as VersionInfo } from "../library-CYun28Xz.js";
+import { f as ExpressionType, y as TypePath } from "../typification-Dk-fisgO.js";
+import { a as RSLangAnalyzer, t as AnalysisBase } from "../analyzer-DlSq3Y3r.js";
+//#region src/library/rsform.d.ts
 /** Represents {@link Constituenta} type. */
 declare const CstType: {
-    readonly NOMINAL: "nominal";
-    readonly BASE: "basic";
-    readonly STRUCTURED: "structure";
-    readonly TERM: "term";
-    readonly AXIOM: "axiom";
-    readonly FUNCTION: "function";
-    readonly PREDICATE: "predicate";
-    readonly CONSTANT: "constant";
-    readonly STATEMENT: "statement";
+  readonly NOMINAL: "nominal";
+  readonly BASE: "basic";
+  readonly STRUCTURED: "structure";
+  readonly TERM: "term";
+  readonly AXIOM: "axiom";
+  readonly FUNCTION: "function";
+  readonly PREDICATE: "predicate";
+  readonly CONSTANT: "constant";
+  readonly STATEMENT: "statement";
 };
 type CstType = (typeof CstType)[keyof typeof CstType];
 /** Represents attribution of a {@link Constituenta} to another {@link Constituenta}. */
 interface Attribution {
-    container: number;
-    attribute: number;
+  container: number;
+  attribute: number;
 }
 /** Represents global identifier type info. */
 interface TypeInfo {
-    alias: string;
-    type: ExpressionType;
+  alias: string;
+  type: ExpressionType;
 }
 /** Represents function argument value. */
 interface ArgumentValue {
-    alias: string;
-    typification: string;
-    value?: string;
+  alias: string;
+  typification: string;
+  value?: string;
 }
 /** Represents Constituenta classification in terms of system of concepts. */
 declare const CstClass: {
-    readonly NOMINAL: "nominal";
-    readonly BASIC: "basic";
-    readonly DERIVED: "derived";
-    readonly STATEMENT: "statement";
-    readonly TEMPLATE: "template";
+  readonly NOMINAL: "nominal";
+  readonly BASIC: "basic";
+  readonly DERIVED: "derived";
+  readonly STATEMENT: "statement";
+  readonly TEMPLATE: "template";
 };
 type CstClass = (typeof CstClass)[keyof typeof CstClass];
 /** Represents formal expression Status. */
 declare const CstStatus: {
-    readonly VERIFIED: "verified";
-    readonly INCORRECT: "incorrect";
-    readonly INCALCULABLE: "incalculable";
-    readonly PROPERTY: "property";
-    readonly UNKNOWN: "unknown";
+  readonly VERIFIED: "verified";
+  readonly INCORRECT: "incorrect";
+  readonly INCALCULABLE: "incalculable";
+  readonly PROPERTY: "property";
+  readonly UNKNOWN: "unknown";
 };
 type CstStatus = (typeof CstStatus)[keyof typeof CstStatus];
 /** Represents substitution of {@link Constituenta}. */
 interface Substitution {
-    original: number;
-    substitution: number;
+  original: number;
+  substitution: number;
 }
 /** Represents word form for natural language. */
 interface TermForm {
-    text: string;
-    tags: string;
+  text: string;
+  tags: string;
 }
 /** Represents Constituenta. */
 interface Constituenta {
-    id: number;
-    crucial: boolean;
-    alias: string;
-    convention: string;
-    cst_type: CstType;
-    definition_formal: string;
-    definition_raw: string;
-    definition_resolved: string;
-    term_raw: string;
-    term_resolved: string;
-    term_forms: TermForm[];
-    attributes: number[];
-    /** Manual typification of the constituent */
-    typification_manual: string;
-    /** Controls whether base concepts expose property values or full values */
-    value_is_property: boolean;
-    homonyms: number[];
-    formalDuplicates: number[];
-    analysis: AnalysisBase;
-    /** Typification used for dependents, model values, and display (manual when it overrides computed). */
-    effectiveType: ExpressionType | null;
-    /**
-     * True when manual typification is non-empty, parses to a type, and its label differs from the
-     * typification inferred from the formal definition ({@link Constituenta.analysis}.type).
-     */
-    is_type_mismatch: boolean;
-    /** Identifier of {@link LibraryItem} containing this {@link Constituenta}. */
-    schema: number;
-    /** {@link CstClass} of this {@link Constituenta}. */
-    cst_class: CstClass;
-    /** {@link CstStatus} of this {@link Constituenta}. */
-    status: CstStatus;
-    /** Indicates if this {@link Constituenta} is a template. */
-    is_template: boolean;
-    /** Indicates if this {@link Constituenta} has a simple expression. */
-    is_simple_expression: boolean;
-    /** Index of {@link LibraryItem} that contains this cst (or inheritance parent).
-     *  0 - not inherited, 1 - inherited by 1st schema, 2 - inherited by 2nd schema, etc.
-     */
-    parent_schema_index: number;
-    /** {@link LibraryItem} that contains parent of this inherited {@link Constituenta}. */
-    parent_schema: number | null;
-    /** Indicates if this {@link Constituenta} is inherited. */
-    is_inherited: boolean;
-    /** Indicates if this {@link Constituenta} has children that are inherited. */
-    has_inherited_children: boolean;
-    /** {@link Constituenta} that spawned this one. */
-    spawner?: number;
-    /** Alias of {@link Constituenta} that spawned this one. */
-    spawner_alias?: string;
-    /** Structure path that spawned this one. */
-    spawner_path?: TypePath;
-    /** List of {@link Constituenta} that are spawned by this one. */
-    spawn: number[];
-    /** List of aliases of {@link Constituenta} that are spawned by this one. */
-    spawn_alias: string[];
+  id: number;
+  crucial: boolean;
+  alias: string;
+  convention: string;
+  cst_type: CstType;
+  definition_formal: string;
+  definition_raw: string;
+  definition_resolved: string;
+  term_raw: string;
+  term_resolved: string;
+  term_forms: TermForm[];
+  attributes: number[];
+  /** Manual typification of the constituent */
+  typification_manual: string;
+  /** Controls whether base concepts expose property values or full values */
+  value_is_property: boolean;
+  homonyms: number[];
+  formalDuplicates: number[];
+  analysis: AnalysisBase;
+  /** Typification used for dependents, model values, and display (manual when it overrides computed). */
+  effectiveType: ExpressionType | null;
+  /**
+   * True when manual typification is non-empty, parses to a type, and its label differs from the
+   * typification inferred from the formal definition ({@link Constituenta.analysis}.type).
+   */
+  is_type_mismatch: boolean;
+  /** Identifier of {@link LibraryItem} containing this {@link Constituenta}. */
+  schema: number;
+  /** {@link CstClass} of this {@link Constituenta}. */
+  cst_class: CstClass;
+  /** {@link CstStatus} of this {@link Constituenta}. */
+  status: CstStatus;
+  /** Indicates if this {@link Constituenta} is a template. */
+  is_template: boolean;
+  /** Indicates if this {@link Constituenta} has a simple expression. */
+  is_simple_expression: boolean;
+  /** Index of {@link LibraryItem} that contains this cst (or inheritance parent).
+   *  0 - not inherited, 1 - inherited by 1st schema, 2 - inherited by 2nd schema, etc.
+   */
+  parent_schema_index: number;
+  /** {@link LibraryItem} that contains parent of this inherited {@link Constituenta}. */
+  parent_schema: number | null;
+  /** Indicates if this {@link Constituenta} is inherited. */
+  is_inherited: boolean;
+  /** Indicates if this {@link Constituenta} has children that are inherited. */
+  has_inherited_children: boolean;
+  /** {@link Constituenta} that spawned this one. */
+  spawner?: number;
+  /** Alias of {@link Constituenta} that spawned this one. */
+  spawner_alias?: string;
+  /** Structure path that spawned this one. */
+  spawner_path?: TypePath;
+  /** List of {@link Constituenta} that are spawned by this one. */
+  spawn: number[];
+  /** List of aliases of {@link Constituenta} that are spawned by this one. */
+  spawn_alias: string[];
 }
 /** Represents {@link RSForm} statistics. */
 interface RSFormStats {
-    step_complexity: number;
-    /** Total number of constituents in the RSForm. */
-    count_all: number;
-    /** Number of crucial constituents in the RSForm. */
-    count_crucial: number;
-    count_problematic: number;
-    /** Constituents that have same term. */
-    count_homonyms: number;
-    /** Constituents that have same formal definition and term. */
-    count_formal_duplicates: number;
-    /** Base constituents with no convention and alias. */
-    count_missing_convention: number;
-    /** Constituents with non-empty manual typification that disagrees with inferred typification. */
-    count_type_mismatch: number;
-    count_incorrect: number;
-    count_property: number;
-    count_incalculable: number;
-    count_inherited: number;
-    count_text_term: number;
-    count_definition: number;
-    count_convention: number;
-    count_comment: number;
-    count_base: number;
-    count_constant: number;
-    count_structured: number;
-    count_axiom: number;
-    count_term: number;
-    count_function: number;
-    count_predicate: number;
-    count_statement: number;
-    count_nominal: number;
+  step_complexity: number;
+  /** Total number of constituents in the RSForm. */
+  count_all: number;
+  /** Number of crucial constituents in the RSForm. */
+  count_crucial: number;
+  count_problematic: number;
+  /** Constituents that have same term. */
+  count_homonyms: number;
+  /** Constituents that have same formal definition and term. */
+  count_formal_duplicates: number;
+  /** Base constituents with no convention and alias. */
+  count_missing_convention: number;
+  /** Constituents with non-empty manual typification that disagrees with inferred typification. */
+  count_type_mismatch: number;
+  count_incorrect: number;
+  count_property: number;
+  count_incalculable: number;
+  count_inherited: number;
+  count_text_term: number;
+  count_definition: number;
+  count_convention: number;
+  count_comment: number;
+  count_base: number;
+  count_constant: number;
+  count_structured: number;
+  count_axiom: number;
+  count_term: number;
+  count_function: number;
+  count_predicate: number;
+  count_statement: number;
+  count_nominal: number;
 }
 /** Represents inheritance data for {@link RSForm}. */
 interface InheritanceInfo {
-    child: number;
-    child_source: number;
-    parent: number;
-    parent_source: number;
+  child: number;
+  child_source: number;
+  parent: number;
+  parent_source: number;
 }
 /** Represents formal explication for set of concepts. */
 interface RSForm extends LibraryItem {
-    /** Whether this RSForm was produced (vs imported or inherited) */
-    is_produced: boolean;
-    /** Whether this RSForm has attribution feature */
-    is_attributive: boolean;
-    /** List of user IDs who can edit this RSForm */
-    editors: number[];
-    /** Information about the current version of this RSForm */
-    version: CurrentVersion;
-    /** Full version history of this RSForm */
-    versions: VersionInfo[];
-    /** Full list of constituents in the RSForm */
-    items: Constituenta[];
-    /** List of inheritance relationships between constituents */
-    inheritance: InheritanceInfo[];
-    /** List of constituent attribution relationships */
-    attribution: Attribution[];
-    /** References to Operational Schemes/Systems associated with the RSForm */
-    oss: LibraryItemReference[];
-    /** References to conceptual models associated with the RSForm */
-    models: LibraryItemReference[];
-    /** Analyzer instance for RS language features and validation */
-    analyzer: RSLangAnalyzer;
-    /** Graph structure representing formal dependencies between constituents */
-    graph: Graph;
-    /** Graph structure representing attribution relationships */
-    attribution_graph: Graph;
-    /** Map for quick lookup of constituents by alias */
-    cstByAlias: Map<string, Constituenta>;
-    /** Map for quick lookup of constituents by ID */
-    cstByID: Map<number, Constituenta>;
+  /** Whether this RSForm was produced (vs imported or inherited) */
+  is_produced: boolean;
+  /** Whether this RSForm has attribution feature */
+  is_attributive: boolean;
+  /** List of user IDs who can edit this RSForm */
+  editors: number[];
+  /** Information about the current version of this RSForm */
+  version: CurrentVersion;
+  /** Full version history of this RSForm */
+  versions: VersionInfo[];
+  /** Full list of constituents in the RSForm */
+  items: Constituenta[];
+  /** List of inheritance relationships between constituents */
+  inheritance: InheritanceInfo[];
+  /** List of constituent attribution relationships */
+  attribution: Attribution[];
+  /** References to Operational Schemes/Systems associated with the RSForm */
+  oss: LibraryItemReference[];
+  /** References to conceptual models associated with the RSForm */
+  models: LibraryItemReference[];
+  /** Analyzer instance for RS language features and validation */
+  analyzer: RSLangAnalyzer;
+  /** Graph structure representing formal dependencies between constituents */
+  graph: Graph;
+  /** Graph structure representing attribution relationships */
+  attribution_graph: Graph;
+  /** Map for quick lookup of constituents by alias */
+  cstByAlias: Map<string, Constituenta>;
+  /** Map for quick lookup of constituents by ID */
+  cstByID: Map<number, Constituenta>;
 }
-
-export { type ArgumentValue, type Attribution, type Constituenta, CstClass, CstStatus, CstType, type RSForm, type RSFormStats, type Substitution, type TypeInfo };
+//#endregion
+export { ArgumentValue, Attribution, Constituenta, CstClass, CstStatus, CstType, RSForm, RSFormStats, Substitution, TypeInfo };
+//# sourceMappingURL=rsform.d.ts.map

package/dist/library/rsform.js

@@ -1,32 +1,33 @@
-// src/library/rsform.ts
-var CstType = {
-  NOMINAL: "nominal",
-  BASE: "basic",
-  STRUCTURED: "structure",
-  TERM: "term",
-  AXIOM: "axiom",
-  FUNCTION: "function",
-  PREDICATE: "predicate",
-  CONSTANT: "constant",
-  STATEMENT: "statement"
+//#region src/library/rsform.ts
+/** Represents {@link Constituenta} type. */
+const CstType = {
+	NOMINAL: "nominal",
+	BASE: "basic",
+	STRUCTURED: "structure",
+	TERM: "term",
+	AXIOM: "axiom",
+	FUNCTION: "function",
+	PREDICATE: "predicate",
+	CONSTANT: "constant",
+	STATEMENT: "statement"
 };
-var CstClass = {
-  NOMINAL: "nominal",
-  BASIC: "basic",
-  DERIVED: "derived",
-  STATEMENT: "statement",
-  TEMPLATE: "template"
+/** Represents Constituenta classification in terms of system of concepts. */
+const CstClass = {
+	NOMINAL: "nominal",
+	BASIC: "basic",
+	DERIVED: "derived",
+	STATEMENT: "statement",
+	TEMPLATE: "template"
 };
-var CstStatus = {
-  VERIFIED: "verified",
-  INCORRECT: "incorrect",
-  INCALCULABLE: "incalculable",
-  PROPERTY: "property",
-  UNKNOWN: "unknown"
-};
-export {
-  CstClass,
-  CstStatus,
-  CstType
+/** Represents formal expression Status. */
+const CstStatus = {
+	VERIFIED: "verified",
+	INCORRECT: "incorrect",
+	INCALCULABLE: "incalculable",
+	PROPERTY: "property",
+	UNKNOWN: "unknown"
 };
+//#endregion
+export { CstClass, CstStatus, CstType };
+
 //# sourceMappingURL=rsform.js.map

package/dist/library/rsform.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/library/rsform.ts"],"sourcesContent":["/**\n * Module: Models for formal representation for systems of concepts.\n */\n\nimport { type Graph } from '../graph';\nimport { type AnalysisBase, type ExpressionType, type RSLangAnalyzer, type TypePath } from '../rslang';\n\nimport { type CurrentVersion, type LibraryItem, type LibraryItemReference, type VersionInfo } from './library';\n\n/** Represents {@link Constituenta} type. */\nexport const CstType = {\n  NOMINAL: 'nominal',\n  BASE: 'basic',\n  STRUCTURED: 'structure',\n  TERM: 'term',\n  AXIOM: 'axiom',\n  FUNCTION: 'function',\n  PREDICATE: 'predicate',\n  CONSTANT: 'constant',\n  STATEMENT: 'statement'\n} as const;\nexport type CstType = (typeof CstType)[keyof typeof CstType];\n\n/** Represents attribution of a {@link Constituenta} to another {@link Constituenta}. */\nexport interface Attribution {\n  container: number;\n  attribute: number;\n}\n\n/** Represents global identifier type info. */\nexport interface TypeInfo {\n  alias: string;\n  type: ExpressionType;\n}\n\n/** Represents function argument value. */\nexport interface ArgumentValue {\n  alias: string;\n  typification: string;\n  value?: string;\n}\n\n/** Represents Constituenta classification in terms of system of concepts. */\nexport const CstClass = {\n  NOMINAL: 'nominal',\n  BASIC: 'basic',\n  DERIVED: 'derived',\n  STATEMENT: 'statement',\n  TEMPLATE: 'template'\n} as const;\nexport type CstClass = (typeof CstClass)[keyof typeof CstClass];\n\n/** Represents formal expression Status. */\nexport const CstStatus = {\n  VERIFIED: 'verified',\n  INCORRECT: 'incorrect',\n  INCALCULABLE: 'incalculable',\n  PROPERTY: 'property',\n  UNKNOWN: 'unknown'\n} as const;\nexport type CstStatus = (typeof CstStatus)[keyof typeof CstStatus];\n\n/** Represents substitution of {@link Constituenta}. */\nexport interface Substitution {\n  original: number;\n  substitution: number;\n}\n\n/** Represents word form for natural language. */\ninterface TermForm {\n  text: string;\n  tags: string;\n}\n\n/** Represents Constituenta. */\nexport interface Constituenta {\n  id: number;\n  crucial: boolean;\n  alias: string;\n  convention: string;\n  cst_type: CstType;\n  definition_formal: string;\n  definition_raw: string;\n  definition_resolved: string;\n  term_raw: string;\n  term_resolved: string;\n  term_forms: TermForm[];\n  attributes: number[];\n\n  /** Manual typification of the constituent */\n  typification_manual: string;\n\n  /** Controls whether base concepts expose property values or full values */\n  value_is_property: boolean;\n\n  homonyms: number[];\n  formalDuplicates: number[];\n  analysis: AnalysisBase;\n\n  /** Typification used for dependents, model values, and display (manual when it overrides computed). */\n  effectiveType: ExpressionType | null;\n\n  /**\n   * True when manual typification is non-empty, parses to a type, and its label differs from the\n   * typification inferred from the formal definition ({@link Constituenta.analysis}.type).\n   */\n  is_type_mismatch: boolean;\n\n  /** Identifier of {@link LibraryItem} containing this {@link Constituenta}. */\n  schema: number;\n\n  /** {@link CstClass} of this {@link Constituenta}. */\n  cst_class: CstClass;\n  /** {@link CstStatus} of this {@link Constituenta}. */\n  status: CstStatus;\n\n  /** Indicates if this {@link Constituenta} is a template. */\n  is_template: boolean;\n  /** Indicates if this {@link Constituenta} has a simple expression. */\n  is_simple_expression: boolean;\n\n  /** Index of {@link LibraryItem} that contains this cst (or inheritance parent).\n   *  0 - not inherited, 1 - inherited by 1st schema, 2 - inherited by 2nd schema, etc.\n   */\n  parent_schema_index: number;\n  /** {@link LibraryItem} that contains parent of this inherited {@link Constituenta}. */\n  parent_schema: number | null;\n  /** Indicates if this {@link Constituenta} is inherited. */\n  is_inherited: boolean;\n  /** Indicates if this {@link Constituenta} has children that are inherited. */\n  has_inherited_children: boolean;\n\n  /** {@link Constituenta} that spawned this one. */\n  spawner?: number;\n  /** Alias of {@link Constituenta} that spawned this one. */\n  spawner_alias?: string;\n  /** Structure path that spawned this one. */\n  spawner_path?: TypePath;\n\n  /** List of {@link Constituenta} that are spawned by this one. */\n  spawn: number[];\n  /** List of aliases of {@link Constituenta} that are spawned by this one. */\n  spawn_alias: string[];\n}\n\n/** Represents {@link RSForm} statistics. */\nexport interface RSFormStats {\n  step_complexity: number;\n\n  /** Total number of constituents in the RSForm. */\n  count_all: number;\n  /** Number of crucial constituents in the RSForm. */\n  count_crucial: number;\n\n  count_problematic: number;\n  /** Constituents that have same term. */\n  count_homonyms: number;\n  /** Constituents that have same formal definition and term. */\n  count_formal_duplicates: number;\n  /** Base constituents with no convention and alias. */\n  count_missing_convention: number;\n  /** Constituents with non-empty manual typification that disagrees with inferred typification. */\n  count_type_mismatch: number;\n\n  count_incorrect: number;\n  count_property: number;\n  count_incalculable: number;\n  count_inherited: number;\n\n  count_text_term: number;\n  count_definition: number;\n  count_convention: number;\n  count_comment: number;\n\n  count_base: number;\n  count_constant: number;\n  count_structured: number;\n  count_axiom: number;\n  count_term: number;\n  count_function: number;\n  count_predicate: number;\n  count_statement: number;\n  count_nominal: number;\n}\n\n/** Represents inheritance data for {@link RSForm}. */\ninterface InheritanceInfo {\n  child: number;\n  child_source: number;\n  parent: number;\n  parent_source: number;\n}\n\n/** Represents formal explication for set of concepts. */\nexport interface RSForm extends LibraryItem {\n  /** Whether this RSForm was produced (vs imported or inherited) */\n  is_produced: boolean;\n  /** Whether this RSForm has attribution feature */\n  is_attributive: boolean;\n  /** List of user IDs who can edit this RSForm */\n  editors: number[];\n  /** Information about the current version of this RSForm */\n  version: CurrentVersion;\n  /** Full version history of this RSForm */\n  versions: VersionInfo[];\n\n  /** Full list of constituents in the RSForm */\n  items: Constituenta[];\n  /** List of inheritance relationships between constituents */\n  inheritance: InheritanceInfo[];\n  /** List of constituent attribution relationships */\n  attribution: Attribution[];\n  /** References to Operational Schemes/Systems associated with the RSForm */\n  oss: LibraryItemReference[];\n  /** References to conceptual models associated with the RSForm */\n  models: LibraryItemReference[];\n\n  /** Analyzer instance for RS language features and validation */\n  analyzer: RSLangAnalyzer;\n  /** Graph structure representing formal dependencies between constituents */\n  graph: Graph;\n  /** Graph structure representing attribution relationships */\n  attribution_graph: Graph;\n  /** Map for quick lookup of constituents by alias */\n  cstByAlias: Map<string, Constituenta>;\n  /** Map for quick lookup of constituents by ID */\n  cstByID: Map<number, Constituenta>;\n}\n"],"mappings":";AAUO,IAAM,UAAU;AAAA,EACrB,SAAS;AAAA,EACT,MAAM;AAAA,EACN,YAAY;AAAA,EACZ,MAAM;AAAA,EACN,OAAO;AAAA,EACP,UAAU;AAAA,EACV,WAAW;AAAA,EACX,UAAU;AAAA,EACV,WAAW;AACb;AAuBO,IAAM,WAAW;AAAA,EACtB,SAAS;AAAA,EACT,OAAO;AAAA,EACP,SAAS;AAAA,EACT,WAAW;AAAA,EACX,UAAU;AACZ;AAIO,IAAM,YAAY;AAAA,EACvB,UAAU;AAAA,EACV,WAAW;AAAA,EACX,cAAc;AAAA,EACd,UAAU;AAAA,EACV,SAAS;AACX;","names":[]}
+{"version":3,"file":"rsform.js","names":[],"sources":["../../src/library/rsform.ts"],"sourcesContent":["/**\n * Module: Models for formal representation for systems of concepts.\n */\n\nimport { type Graph } from '../graph';\nimport { type AnalysisBase, type ExpressionType, type RSLangAnalyzer, type TypePath } from '../rslang';\n\nimport { type CurrentVersion, type LibraryItem, type LibraryItemReference, type VersionInfo } from './library';\n\n/** Represents {@link Constituenta} type. */\nexport const CstType = {\n  NOMINAL: 'nominal',\n  BASE: 'basic',\n  STRUCTURED: 'structure',\n  TERM: 'term',\n  AXIOM: 'axiom',\n  FUNCTION: 'function',\n  PREDICATE: 'predicate',\n  CONSTANT: 'constant',\n  STATEMENT: 'statement'\n} as const;\nexport type CstType = (typeof CstType)[keyof typeof CstType];\n\n/** Represents attribution of a {@link Constituenta} to another {@link Constituenta}. */\nexport interface Attribution {\n  container: number;\n  attribute: number;\n}\n\n/** Represents global identifier type info. */\nexport interface TypeInfo {\n  alias: string;\n  type: ExpressionType;\n}\n\n/** Represents function argument value. */\nexport interface ArgumentValue {\n  alias: string;\n  typification: string;\n  value?: string;\n}\n\n/** Represents Constituenta classification in terms of system of concepts. */\nexport const CstClass = {\n  NOMINAL: 'nominal',\n  BASIC: 'basic',\n  DERIVED: 'derived',\n  STATEMENT: 'statement',\n  TEMPLATE: 'template'\n} as const;\nexport type CstClass = (typeof CstClass)[keyof typeof CstClass];\n\n/** Represents formal expression Status. */\nexport const CstStatus = {\n  VERIFIED: 'verified',\n  INCORRECT: 'incorrect',\n  INCALCULABLE: 'incalculable',\n  PROPERTY: 'property',\n  UNKNOWN: 'unknown'\n} as const;\nexport type CstStatus = (typeof CstStatus)[keyof typeof CstStatus];\n\n/** Represents substitution of {@link Constituenta}. */\nexport interface Substitution {\n  original: number;\n  substitution: number;\n}\n\n/** Represents word form for natural language. */\ninterface TermForm {\n  text: string;\n  tags: string;\n}\n\n/** Represents Constituenta. */\nexport interface Constituenta {\n  id: number;\n  crucial: boolean;\n  alias: string;\n  convention: string;\n  cst_type: CstType;\n  definition_formal: string;\n  definition_raw: string;\n  definition_resolved: string;\n  term_raw: string;\n  term_resolved: string;\n  term_forms: TermForm[];\n  attributes: number[];\n\n  /** Manual typification of the constituent */\n  typification_manual: string;\n\n  /** Controls whether base concepts expose property values or full values */\n  value_is_property: boolean;\n\n  homonyms: number[];\n  formalDuplicates: number[];\n  analysis: AnalysisBase;\n\n  /** Typification used for dependents, model values, and display (manual when it overrides computed). */\n  effectiveType: ExpressionType | null;\n\n  /**\n   * True when manual typification is non-empty, parses to a type, and its label differs from the\n   * typification inferred from the formal definition ({@link Constituenta.analysis}.type).\n   */\n  is_type_mismatch: boolean;\n\n  /** Identifier of {@link LibraryItem} containing this {@link Constituenta}. */\n  schema: number;\n\n  /** {@link CstClass} of this {@link Constituenta}. */\n  cst_class: CstClass;\n  /** {@link CstStatus} of this {@link Constituenta}. */\n  status: CstStatus;\n\n  /** Indicates if this {@link Constituenta} is a template. */\n  is_template: boolean;\n  /** Indicates if this {@link Constituenta} has a simple expression. */\n  is_simple_expression: boolean;\n\n  /** Index of {@link LibraryItem} that contains this cst (or inheritance parent).\n   *  0 - not inherited, 1 - inherited by 1st schema, 2 - inherited by 2nd schema, etc.\n   */\n  parent_schema_index: number;\n  /** {@link LibraryItem} that contains parent of this inherited {@link Constituenta}. */\n  parent_schema: number | null;\n  /** Indicates if this {@link Constituenta} is inherited. */\n  is_inherited: boolean;\n  /** Indicates if this {@link Constituenta} has children that are inherited. */\n  has_inherited_children: boolean;\n\n  /** {@link Constituenta} that spawned this one. */\n  spawner?: number;\n  /** Alias of {@link Constituenta} that spawned this one. */\n  spawner_alias?: string;\n  /** Structure path that spawned this one. */\n  spawner_path?: TypePath;\n\n  /** List of {@link Constituenta} that are spawned by this one. */\n  spawn: number[];\n  /** List of aliases of {@link Constituenta} that are spawned by this one. */\n  spawn_alias: string[];\n}\n\n/** Represents {@link RSForm} statistics. */\nexport interface RSFormStats {\n  step_complexity: number;\n\n  /** Total number of constituents in the RSForm. */\n  count_all: number;\n  /** Number of crucial constituents in the RSForm. */\n  count_crucial: number;\n\n  count_problematic: number;\n  /** Constituents that have same term. */\n  count_homonyms: number;\n  /** Constituents that have same formal definition and term. */\n  count_formal_duplicates: number;\n  /** Base constituents with no convention and alias. */\n  count_missing_convention: number;\n  /** Constituents with non-empty manual typification that disagrees with inferred typification. */\n  count_type_mismatch: number;\n\n  count_incorrect: number;\n  count_property: number;\n  count_incalculable: number;\n  count_inherited: number;\n\n  count_text_term: number;\n  count_definition: number;\n  count_convention: number;\n  count_comment: number;\n\n  count_base: number;\n  count_constant: number;\n  count_structured: number;\n  count_axiom: number;\n  count_term: number;\n  count_function: number;\n  count_predicate: number;\n  count_statement: number;\n  count_nominal: number;\n}\n\n/** Represents inheritance data for {@link RSForm}. */\ninterface InheritanceInfo {\n  child: number;\n  child_source: number;\n  parent: number;\n  parent_source: number;\n}\n\n/** Represents formal explication for set of concepts. */\nexport interface RSForm extends LibraryItem {\n  /** Whether this RSForm was produced (vs imported or inherited) */\n  is_produced: boolean;\n  /** Whether this RSForm has attribution feature */\n  is_attributive: boolean;\n  /** List of user IDs who can edit this RSForm */\n  editors: number[];\n  /** Information about the current version of this RSForm */\n  version: CurrentVersion;\n  /** Full version history of this RSForm */\n  versions: VersionInfo[];\n\n  /** Full list of constituents in the RSForm */\n  items: Constituenta[];\n  /** List of inheritance relationships between constituents */\n  inheritance: InheritanceInfo[];\n  /** List of constituent attribution relationships */\n  attribution: Attribution[];\n  /** References to Operational Schemes/Systems associated with the RSForm */\n  oss: LibraryItemReference[];\n  /** References to conceptual models associated with the RSForm */\n  models: LibraryItemReference[];\n\n  /** Analyzer instance for RS language features and validation */\n  analyzer: RSLangAnalyzer;\n  /** Graph structure representing formal dependencies between constituents */\n  graph: Graph;\n  /** Graph structure representing attribution relationships */\n  attribution_graph: Graph;\n  /** Map for quick lookup of constituents by alias */\n  cstByAlias: Map<string, Constituenta>;\n  /** Map for quick lookup of constituents by ID */\n  cstByID: Map<number, Constituenta>;\n}\n"],"mappings":";;AAUA,MAAa,UAAU;CACrB,SAAS;CACT,MAAM;CACN,YAAY;CACZ,MAAM;CACN,OAAO;CACP,UAAU;CACV,WAAW;CACX,UAAU;CACV,WAAW;AACb;;AAuBA,MAAa,WAAW;CACtB,SAAS;CACT,OAAO;CACP,SAAS;CACT,WAAW;CACX,UAAU;AACZ;;AAIA,MAAa,YAAY;CACvB,UAAU;CACV,WAAW;CACX,cAAc;CACd,UAAU;CACV,SAAS;AACX"}

package/dist/library/rsmodel-api.d.ts

@@ -1,18 +1,10 @@
-import { Typification, ExpressionType } from '../rslang/semantic/typification.js';
-import { Value, ValuePath } from '../rslang/eval/value.js';
-import { RSEngine } from './rsengine.js';
-import { RSForm, Constituenta, CstType } from './rsform.js';
-import { RSModelStats, BasicBinding, EvalStatus } from './rsmodel.js';
-import '../shared/branded.js';
-import '../parsing/ast.js';
-import '@lezer/common';
-import '../rslang/eval/calculator.js';
-import '../rslang/error.js';
-import '../graph/graph.js';
-import '../rslang/semantic/analyzer.js';
-import '../rslang/semantic/value-class.js';
-import './library.js';
+import { b as Typification, f as ExpressionType } from "../typification-Dk-fisgO.js";
+import { c as Value, u as ValuePath } from "../value-CTjX6825.js";
+import { Constituenta, CstType, RSForm } from "./rsform.js";
+import { BasicBinding, EvalStatus, RSModelStats } from "./rsmodel.js";
+import { RSEngine } from "./rsengine.js";
 
+//#region src/library/rsmodel-api.d.ts
 /** Evaluate if parsed data is a basic binding data. */
 declare function validateBasicBindingData(data: unknown): data is Record<string, string>;
 /** Convert parsed data to a basic binding. */
@@ -39,5 +31,6 @@ declare function tryFixValue(value: Value, type: ExpressionType, targetAlias: st
 declare function updateValueElement(value: Value | null, path: ValuePath, newValue: number): Value | null;
 declare function deleteValueElement(value: Value | null, path: ValuePath, type: Typification, target: number): Value | null;
 declare function addValueElement(value: Value | null, path: ValuePath, type: Typification, currentType: Typification): Value | null;
-
+//#endregion
 export { addValueElement, calculateModelStats, deleteValueElement, generateRandomValue, inferEvalStatus, isInferrable, isInterpretable, isModelIssue, toBasicBinding, tryFixValue, updateValueElement, validateBasicBindingData, validateValueData };
+//# sourceMappingURL=rsmodel-api.d.ts.map