glossarist 0.4.36 → 0.4.37

package/src/models/concept-system.js

@@ -1,117 +0,0 @@
-// ConceptSystem — first-class concept system entity per ISO 12620 A.7.
-//
-// Promotes the previously-implicit concept system (domains + tags +
-// relation graph) to an explicit first-class entity. Per-file at
-// `concept-systems/<id>.yaml`.
-//
-// See docs/design/concept-systems.md (concept-model repo).
-
-import { GlossaristModel } from './base.js';
-import { ConceptRef } from './concept-ref.js';
-import {
-  CONCEPT_SYSTEM_TYPE,
-  CONCEPT_SYSTEM_TYPE_VALUES,
-  isValidConceptSystemType,
-} from './concept-system-type.js';
-
-export class ConceptSystem extends GlossaristModel {
-  constructor(data = {}) {
-    super();
-    this.id = _ensureNonEmptyString(data.id, 'id');
-    this.name = _ensureName(data.name);
-    this.type = _resolveType(data.type);
-    this.domain = data.domain ?? null;
-    this.purpose = data.purpose ?? null;
-    this.members = _ensureMembers(data.members);
-    this.hyperedges = Array.isArray(data.hyperedges) ? [...data.hyperedges] : [];
-    this.rootConcepts = Array.isArray(data.rootConcepts)
-      ? data.rootConcepts.map(c => c instanceof ConceptRef ? c : new ConceptRef(c))
-      : [];
-    this.sources = Array.isArray(data.sources) ? [...data.sources] : [];
-    this.status = data.status ?? null;
-  }
-
-  get isGeneric()     { return this.type === CONCEPT_SYSTEM_TYPE.GENERIC; }
-  get isPartitive()   { return this.type === CONCEPT_SYSTEM_TYPE.PARTITIVE; }
-  get isSequential()  { return this.type === CONCEPT_SYSTEM_TYPE.SEQUENTIAL; }
-  get isAssociative() { return this.type === CONCEPT_SYSTEM_TYPE.ASSOCIATIVE; }
-  get isMixed()       { return this.type === CONCEPT_SYSTEM_TYPE.MIXED; }
-
-  hasHyperedge(edgeId) {
-    return this.hyperedges.includes(edgeId);
-  }
-
-  hasMember(refOrUri) {
-    const uri = typeof refOrUri === 'string' ? refOrUri : _refUri(refOrUri);
-    return this.members.some(m => _refUri(m) === uri);
-  }
-
-  identity() {
-    return this.id;
-  }
-
-  toJSON() {
-    const obj = {
-      id: this.id,
-      name: { ...this.name },
-      type: this.type,
-      members: this.members.map(m => m.toJSON()),
-    };
-    if (this.domain != null) obj.domain = this.domain;
-    if (this.purpose != null) obj.purpose = { ...this.purpose };
-    if (this.hyperedges.length > 0) obj.hyperedges = [...this.hyperedges];
-    if (this.rootConcepts.length > 0) obj.rootConcepts = this.rootConcepts.map(c => c.toJSON());
-    if (this.sources.length > 0) obj.sources = [...this.sources];
-    if (this.status != null) obj.status = this.status;
-    return obj;
-  }
-
-  static fromJSON(data) {
-    return new ConceptSystem(data);
-  }
-}
-
-function _ensureNonEmptyString(value, fieldName) {
-  if (typeof value !== 'string' || value.length === 0) {
-    throw new Error(`ConceptSystem#${fieldName} must be a non-empty string`);
-  }
-  return value;
-}
-
-function _ensureName(value) {
-  if (value == null) return {};
-  if (typeof value !== 'object' || Array.isArray(value)) {
-    throw new Error('ConceptSystem#name must be a localized object (e.g. { eng: "..." })');
-  }
-  return { ...value };
-}
-
-function _resolveType(value) {
-  if (value == null) {
-    throw new Error(
-      'ConceptSystem#type is required; one of ' +
-      CONCEPT_SYSTEM_TYPE_VALUES.join(', '),
-    );
-  }
-  if (!isValidConceptSystemType(value)) {
-    throw new Error(
-      `ConceptSystem#type ${JSON.stringify(value)} invalid; ` +
-      `must be one of: ${CONCEPT_SYSTEM_TYPE_VALUES.join(', ')}`,
-    );
-  }
-  return value;
-}
-
-function _ensureMembers(values) {
-  if (!Array.isArray(values) || values.length === 0) {
-    throw new Error('ConceptSystem#members must be a non-empty array');
-  }
-  return values.map(v => v instanceof ConceptRef ? v : new ConceptRef(v));
-}
-
-function _refUri(ref) {
-  const r = ref?.ref ?? ref ?? {};
-  return `${r.source ?? ''}:${r.id ?? ''}`;
-}
-
-export default ConceptSystem;

package/src/models/generic-hyperedge.js

@@ -1,55 +0,0 @@
-// GenericHyperedge — an ISO 704 / ISO 1087-1 / ISO 12620 generic
-// relation connecting a comprehensive concept (the genus) to two
-// or more specific concepts (the species) which together constitute
-// a decomposition by some criterion of subdivision.
-//
-// Mirror of PartitiveHyperedge. Multiple GenericRelations on the same
-// comprehensive distinguished by `criterion` is the OIML pattern
-// (5.1 measurement standard has 6 criterion groups).
-//
-// See docs/design/generic-relation.md (concept-model repo).
-
-import { AbstractHyperedge } from './abstract-hyperedge.js';
-import { GenericMember } from './generic-member.js';
-import { HyperedgeRegistry } from './hyperedge-registry.js';
-
-export class GenericHyperedge extends AbstractHyperedge {
-  // Per-class metadata block — the OCP contract. See PartitiveHyperedge
-  // for field documentation.
-  static wireKey     = 'generic_relations';
-  static typeTag     = 'generic_relation';
-  static rdfType     = 'gloss:GenericRelation';
-  static memberClass = GenericMember;
-  static v1WireKeys  = [];
-  static kindLabel   = 'GEN';
-
-  constructor(data = {}) {
-    super(data);
-    this.members = data?.members == null
-      ? this.members
-      : (Array.isArray(data.members)
-          ? data.members.map(m =>
-              m instanceof GenericMember ? m : new GenericMember(m))
-          : this.members);
-  }
-
-  static identityOf(value) {
-    const v = value ?? {};
-    const c = v.comprehensive ?? {};
-    const memberKeys = Array.isArray(v.members)
-      ? v.members.map(m => {
-          const r = m?.ref ?? m ?? {};
-          return `${r.source ?? ''}:${r.id ?? ''}`;
-        }).sort()
-      : [];
-    return `${c.source ?? ''}:${c.id ?? ''}|${memberKeys.join('|')}`;
-  }
-
-  static fromJSON(data) {
-    return new GenericHyperedge(data);
-  }
-}
-
-export default GenericHyperedge;
-
-HyperedgeRegistry.register(GenericHyperedge);

package/src/models/generic-member.js

@@ -1,82 +0,0 @@
-// GenericMember — one member of a GenericHyperedge.
-//
-// Per ISO 704:2022 §5.5.4.2.1 (Generic relations and general concepts):
-//
-//   "In a generic relation, the intension of the subordinate concept
-//    includes the intension of the superordinate concept plus at least
-//    one additional delimiting characteristic."
-//
-// In hyperedge terms: when a GenericHyperedge has comprehensive=computer mouse
-// and criterion=means of movement detection, each member (mechanical mouse,
-// optomechanical mouse, optical mouse) carries a delimitingCharacteristic —
-// the value of the criterion for that specific concept:
-//
-//   mechanical mouse     → 'detecting movement by means of rollers'
-//   optomechanical mouse → 'detecting movement by means of rollers and light sensors'
-//   optical mouse        → 'detecting movement by means of light sensors'
-//
-// Multidimensionality (§5.6.3): the same comprehensive can be the
-// '1' side of multiple generic hyperedges simultaneously, each by a
-// different criterion. computer mouse is also comprehensive of
-// {wired mouse, wireless mouse} under criterion=computer connection.
-// That second hyperedge's members carry their own delimitingCharacteristic
-// values ('using a corded electrical connection', 'using a cordless
-// light or sound connection').
-//
-// delimitingCharacteristic is REQUIRED on GenericMember. Without it,
-// the member is just a coordinate concept with no semantic content
-// tying it to the criterion — ISO 704 says the relation is meaningless
-// without the delimiting characteristic.
-//
-// LocalizedString shape (mirrors criterion on the parent hyperedge):
-//   { eng: 'detecting movement by means of light sensors' }
-//   { eng: '...', fra: '...' }   — multiple languages supported
-
-import { HyperedgeMember } from './hyperedge-member.js';
-
-export class GenericMember extends HyperedgeMember {
-  constructor(data = {}) {
-    super(data);
-    this.delimitingCharacteristic = _resolveDelimitingCharacteristic(data.delimitingCharacteristic);
-  }
-
-  toJSON() {
-    const base = super.toJSON();
-    base.delimitingCharacteristic = { ...this.delimitingCharacteristic };
-    return base;
-  }
-}
-
-function _resolveDelimitingCharacteristic(value) {
-  if (value == null) {
-    throw new Error(
-      'GenericMember.delimitingCharacteristic is required per ISO 704:2022 §5.5.4.2.1 ' +
-      '(the intension of a subordinate concept must include at least one additional ' +
-      'delimiting characteristic beyond the superordinate).',
-    );
-  }
-  if (typeof value === 'string') {
-    if (value.length === 0) {
-      throw new Error(
-        'GenericMember.delimitingCharacteristic cannot be empty (ISO 704:2022 §5.5.4.2.1)',
-      );
-    }
-    return { default: value };
-  }
-  if (typeof value === 'object') {
-    const entries = Object.entries(value).filter(([, v]) => typeof v === 'string' && v.length > 0);
-    if (entries.length === 0) {
-      throw new Error(
-        'GenericMember.delimitingCharacteristic must have at least one non-empty string ' +
-        'value (ISO 704:2022 §5.5.4.2.1)',
-      );
-    }
-    return Object.fromEntries(entries);
-  }
-  throw new Error(
-    `GenericMember.delimitingCharacteristic must be a string or a language-keyed object; ` +
-    `got ${typeof value}`,
-  );
-}
-
-export default GenericMember;

package/src/models/partitive-hyperedge.js

@@ -1,91 +0,0 @@
-// PartitiveHyperedge — an ISO 704:2022 / ISO 1087-1 / ISO 12620
-// partitive relation connecting a comprehensive concept
-// (superordinate concept partitive) to two or more partitive
-// concepts (subordinate concepts partitive) which fitted together
-// constitute the comprehensive.
-//
-// Extends AbstractHyperedge; the leaf-specific concern is the
-// PartitiveMember type for `members`. The wire-level field name
-// stays `partitives` for v1/v2 backward compat.
-//
-// ISO 704:2022 rake diagram semantics:
-//
-//   comprehensive concept
-//   ─────────────────────
-//   │ partitive (one or more) with per-member multiplicity + optional delimiting
-//   ─────────────────────
-//
-// All partitives within one relation are coordinate concepts
-// (ISO 12620): they share the comprehensive AND share the
-// criterion of subdivision.
-//
-// "Delimiting" parts (bold/3x-width line in source diagrams) behave
-// like delimiting characteristics — they distinguish the comprehensive
-// from coordinate concepts. Whether a part is delimiting depends on
-// the concept system, the coordinate concepts, the inheritance
-// principle, and the criterion of subdivision used
-// (ISO 704:2022 §5.5.4.2.1).
-//
-// Distinguished from binary `has_part` / `is_part_of` edges, which
-// express pairwise part-of assertions without completeness,
-// multiplicity, or criterion claims. A single partitive should be
-// expressed as a binary edge, not a PartitiveHyperedge (ISO requires
-// "two or more").
-
-import { AbstractHyperedge } from './abstract-hyperedge.js';
-import { PartitiveMember } from './partitive-member.js';
-import { HyperedgeRegistry } from './hyperedge-registry.js';
-
-export class PartitiveHyperedge extends AbstractHyperedge {
-  // Per-class metadata block — the OCP contract. External systems
-  // (parser, serializer, diff, RDF emitter, validators) read from
-  // these statics and the HyperedgeRegistry. Adding a new hyperedge
-  // type = declaring these fields on a new subclass + registering
-  // it. Nothing else in the codebase changes.
-  static wireKey     = 'partitive_relations';
-  static typeTag     = 'partitive_relation';
-  static rdfType     = 'gloss:PartitiveRelation';
-  static memberClass = PartitiveMember;
-  static v1WireKeys  = ['partitive_hyperedges'];
-  static kindLabel   = 'PART';
-
-  constructor(data = {}) {
-    const members = data?.members ?? data?.partitives;
-    super({ ...data, members });
-    this.members = members == null
-      ? this.members
-      : (Array.isArray(members)
-          ? members.map(m =>
-              m instanceof PartitiveMember ? m : new PartitiveMember(m))
-          : this.members);
-  }
-
-  get partitives() { return this.members; }
-
-  toJSON() {
-    const base = super.toJSON();
-    const { members, ...rest } = base;
-    return { ...rest, partitives: members };
-  }
-
-  static identityOf(value) {
-    const v = value ?? {};
-    const c = v.comprehensive ?? {};
-    const partKeys = Array.isArray(v.partitives ?? v.members)
-      ? (v.partitives ?? v.members).map(p => {
-          const r = p?.ref ?? p ?? {};
-          return `${r.source ?? ''}:${r.id ?? ''}`;
-        }).sort()
-      : [];
-    return `${c.source ?? ''}:${c.id ?? ''}|${partKeys.join('|')}`;
-  }
-
-  static fromJSON(data) {
-    const normalized = { ...(data ?? {}), members: data?.partitives ?? data?.members };
-    return new PartitiveHyperedge(normalized);
-  }
-}
-
-export default PartitiveHyperedge;
-
-HyperedgeRegistry.register(PartitiveHyperedge);

package/src/models/sequential-hyperedge.js

@@ -1,56 +0,0 @@
-// SequentialHyperedge — an ISO 12620 A.6.3 / ISO 704:2022 §5.5.5
-// sequential relation connecting a comprehensive concept to two or
-// more subordinate concepts in an ORDERED sequence (temporal,
-// spatial, causal, developmental).
-//
-// Mirror of PartitiveHyperedge and GenericHyperedge. Member array
-// order IS significant — reversing the array reverses the sequence.
-// Use cases: manufacturing process steps, biological life cycles,
-// software release lifecycles, supply chain stages, geological eras.
-//
-// See docs/design/abstract-nary-relation.md (concept-model repo).
-
-import { AbstractHyperedge } from './abstract-hyperedge.js';
-import { SequentialMember } from './sequential-member.js';
-import { HyperedgeRegistry } from './hyperedge-registry.js';
-
-export class SequentialHyperedge extends AbstractHyperedge {
-  // Per-class metadata block — the OCP contract.
-  static wireKey     = 'sequential_relations';
-  static typeTag     = 'sequential_relation';
-  static rdfType     = 'gloss:SequentialRelation';
-  static memberClass = SequentialMember;
-  static v1WireKeys  = [];
-  static kindLabel   = 'SEQ';
-
-  constructor(data = {}) {
-    super(data);
-    this.members = data?.members == null
-      ? this.members
-      : (Array.isArray(data.members)
-          ? data.members.map(m =>
-              m instanceof SequentialMember ? m : new SequentialMember(m))
-          : this.members);
-  }
-
-  static identityOf(value) {
-    const v = value ?? {};
-    const c = v.comprehensive ?? {};
-    // For sequential, member order IS significant — do NOT sort.
-    const memberKeys = Array.isArray(v.members)
-      ? v.members.map(m => {
-          const r = m?.ref ?? m ?? {};
-          return `${r.source ?? ''}:${r.id ?? ''}`;
-        })
-      : [];
-    return `${c.source ?? ''}:${c.id ?? ''}|${memberKeys.join('|')}`;
-  }
-
-  static fromJSON(data) {
-    return new SequentialHyperedge(data);
-  }
-}
-
-export default SequentialHyperedge;
-
-HyperedgeRegistry.register(SequentialHyperedge);