glossarist 2.13.6 → 2.13.7

data/lib/glossarist/validation/rules/concept_context.rb

@@ -9,13 +9,21 @@ module Glossarist
       # rules examining the same concept share one extraction pass (DRY,
       # single source of truth). Rules ask the context for references rather
       # than instantiating their own ReferenceExtractor.
+      #
+      # In V3, n-ary relations (PartitiveHyperedge, GenericHyperedge) are
+      # per-file (see Glossarist::V3::RelationLoader). Each concept's
+      # relations are looked up via the relations lookup passed here.
+      # Pass an explicit `relations:` list when constructing the context
+      # — the loader does not run on demand so the validator behaviour
+      # is fully deterministic given the load.
       class ConceptContext
-        attr_reader :concept, :file_name, :collection_context
+        attr_reader :concept, :file_name, :collection_context, :relations
 
-        def initialize(concept, file_name:, collection_context:)
+        def initialize(concept, file_name:, collection_context:, relations: [])
           @concept = concept
           @file_name = file_name
           @collection_context = collection_context
+          @relations = Array(relations)
         end
 
         def concept_id

data/lib/glossarist/validation/rules/{partitive_relation_rule.rb → hyperedge_coherence_rule.rb}

@@ -3,14 +3,17 @@
 module Glossarist
   module Validation
     module Rules
-      # Validates semantic invariants of PartitiveRelation entries
-      # that the model constructor does NOT enforce. Specifically:
+      # Validates semantic invariants of n-ary relation entries
+      # (PartitiveHyperedge, GenericHyperedge) that the model constructor
+      # does NOT enforce. The relations are passed in via the
+      # ConceptContext (per-file storage — see Glossarist::V3::RelationLoader).
       #
-      #   - error when a relation has fewer than 2 partitives
-      #     (ISO 704: "two or more"; single binary should use
+      # Checks:
+      #   - error when a relation has fewer than 2 members
+      #     (ISO 704: "two or more"; single binary should use a
       #     has_part edge instead)
       #   - error when two relations share the same comprehensive
-      #     AND the same non-nil criterion (duplicate decomposition;
+      #     AND the same non-empty criterion (duplicate decomposition;
       #     ISO 12620 coordinate-concept coherence)
       #   - warning when a relation has no criterion (cannot
       #     distinguish from siblings sharing the comprehensive)
@@ -21,12 +24,16 @@ module Glossarist
       #     at least one designation
       #
       # The model constructor already rejects empty comprehensive,
-      # empty partitives list, self-loops, invalid enum values, and
+      # empty members list, self-loops, invalid enum values, and
       # the optional + at_least_one combination.
-      class PartitiveRelationRule < Base
+      class HyperedgeCoherenceRule < Base
         DEFAULT_PRESENCE = "required"
         DEFAULT_COUNT = "exactly_one"
 
+        # Stable identifier for downstream issue trackers / config.
+        # Originally assigned when the rule was partitive-only; kept
+        # after the rename to GenericHyperedge + n-ary generalization
+        # so existing suppression configs continue to work.
         def code = "GLS-221"
         def category = :schema
         def severity = "error"
@@ -36,18 +43,17 @@ module Glossarist
           concept = context.concept
           return false unless concept.is_a?(V3::ManagedConcept)
 
-          concept.partitive_relations&.any? || external?(concept)
+          context.relations&.any? || external?(concept)
         end
 
         def check(context)
           concept = context.concept
           fname = context.file_name
+          relations = context.relations
           issues = []
 
           return issues unless concept.is_a?(V3::ManagedConcept)
 
-          relations = Array(concept.partitive_relations)
-
           relations.each_with_index do |rel, idx|
             check_cardinality(rel, idx, fname, issues)
             check_criterion_present(rel, idx, fname, issues)
@@ -67,10 +73,10 @@ module Glossarist
         end
 
         def check_cardinality(rel, idx, fname, issues)
-          return if rel.partitives.length >= 2
+          return if rel.members.length >= 2
 
           issues << issue(
-            "partitive_relation #{idx + 1} has fewer than 2 partitives " \
+            "relation #{idx + 1} has fewer than 2 members " \
             "(ISO 704 requires two or more); a single binary has_part edge " \
             "should be used instead",
             location: fname,
@@ -81,7 +87,7 @@ module Glossarist
           return if rel.criterion && !rel.criterion.empty?
 
           issues << issue(
-            "partitive_relation #{idx + 1} has no criterion; cannot verify " \
+            "relation #{idx + 1} has no criterion; cannot verify " \
             "distinctness from sibling relations sharing the comprehensive " \
             "(ISO 12620 coordinate-concept coherence)",
             severity: "warning",
@@ -97,14 +103,14 @@ module Glossarist
         # legal; the warning encourages an explicit, reviewed choice
         # rather than an accidental non-default.
         def check_member_dimensions(rel, idx, fname, issues)
-          rel.partitives.each_with_index do |member, mi|
+          rel.members.each_with_index do |member, mi|
             non_default = []
             non_default << "presence='#{member.presence}'" if member.presence != DEFAULT_PRESENCE
             non_default << "count='#{member.count}'" if member.count != DEFAULT_COUNT
             next if non_default.empty?
 
             issues << issue(
-              "partitive_relation #{idx + 1}.partitives[#{mi}] uses " \
+              "relation #{idx + 1}.members[#{mi}] uses " \
               "non-default #{non_default.join(' ')} " \
               "(defaults: presence=#{DEFAULT_PRESENCE}, count=#{DEFAULT_COUNT}) " \
               "— confirm the dimensions are intentional",
@@ -129,7 +135,7 @@ module Glossarist
             next if idxs.length == 1
 
             issues << issue(
-              "duplicate PartitiveRelation for comprehensive " \
+              "duplicate relation for comprehensive " \
               "#{key.first.inspect} with criterion #{key.last.inspect} " \
               "(relations ##{idxs.map { |i| i + 1 }.join(', ')}); " \
               "two relations sharing comprehensive AND criterion are the " \

data/lib/glossarist/version.rb

@@ -4,5 +4,5 @@
 #
 
 module Glossarist
-  VERSION = "2.13.6"
+  VERSION = "2.13.7"
 end

data/lib/glossarist.rb

@@ -85,6 +85,7 @@ module Glossarist
   autoload :VERSION,                  "glossarist/version"
   autoload :GlossaryDefinition,       "glossarist/glossary_definition"
   autoload :GlossaryStore,            "glossarist/glossary_store"
+  autoload :Tasks,                    "glossarist/tasks"
 
   LANG_CODES = %w[eng ara deu fra spa ita jpn kor pol por srp swe zho rus fin
                   dan nld msa nob nno].freeze

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: glossarist
 version: !ruby/object:Gem::Version
-  version: 2.13.6
+  version: 2.13.7
 platform: ruby
 authors:
 - Ribose
@@ -307,9 +307,13 @@ files:
 - lib/glossarist/rdf/gloss_figure.rb
 - lib/glossarist/rdf/gloss_figure_image.rb
 - lib/glossarist/rdf/gloss_formula.rb
+- lib/glossarist/rdf/gloss_generic_member.rb
+- lib/glossarist/rdf/gloss_generic_relation.rb
 - lib/glossarist/rdf/gloss_grammar_info.rb
 - lib/glossarist/rdf/gloss_locality.rb
 - lib/glossarist/rdf/gloss_localized_concept.rb
+- lib/glossarist/rdf/gloss_nary_member.rb
+- lib/glossarist/rdf/gloss_nary_relation.rb
 - lib/glossarist/rdf/gloss_non_verbal_rep.rb
 - lib/glossarist/rdf/gloss_partitive_member.rb
 - lib/glossarist/rdf/gloss_partitive_relation.rb
@@ -359,6 +363,7 @@ files:
 - lib/glossarist/sts/term_mapper.rb
 - lib/glossarist/table.rb
 - lib/glossarist/table_reference.rb
+- lib/glossarist/tasks.rb
 - lib/glossarist/tasks/shacl.rake
 - lib/glossarist/tasks/sync.rake
 - lib/glossarist/tasks/sync_model.rb
@@ -386,6 +391,7 @@ files:
 - lib/glossarist/v2/managed_concept_data.rb
 - lib/glossarist/v2/related_concept.rb
 - lib/glossarist/v3.rb
+- lib/glossarist/v3/abstract_hyperedge.rb
 - lib/glossarist/v3/citation.rb
 - lib/glossarist/v3/concept_data.rb
 - lib/glossarist/v3/concept_date.rb
@@ -393,14 +399,22 @@ files:
 - lib/glossarist/v3/concept_ref.rb
 - lib/glossarist/v3/concept_source.rb
 - lib/glossarist/v3/configuration.rb
+- lib/glossarist/v3/definition_type.rb
 - lib/glossarist/v3/detailed_definition.rb
+- lib/glossarist/v3/generic_hyperedge.rb
+- lib/glossarist/v3/generic_member.rb
+- lib/glossarist/v3/hyperedge_index.rb
+- lib/glossarist/v3/hyperedge_member.rb
+- lib/glossarist/v3/hyperedge_registry.rb
+- lib/glossarist/v3/hyperedge_writer.rb
 - lib/glossarist/v3/localized_concept.rb
 - lib/glossarist/v3/managed_concept.rb
 - lib/glossarist/v3/managed_concept_data.rb
 - lib/glossarist/v3/multiplicity.rb
+- lib/glossarist/v3/partitive_hyperedge.rb
 - lib/glossarist/v3/partitive_member.rb
-- lib/glossarist/v3/partitive_relation.rb
 - lib/glossarist/v3/related_concept.rb
+- lib/glossarist/v3/relation_loader.rb
 - lib/glossarist/validation.rb
 - lib/glossarist/validation/asset_index.rb
 - lib/glossarist/validation/bibliography_index.rb
@@ -430,6 +444,7 @@ files:
 - lib/glossarist/validation/rules/entry_status_rule.rb
 - lib/glossarist/validation/rules/filename_id_rule.rb
 - lib/glossarist/validation/rules/gcr_context.rb
+- lib/glossarist/validation/rules/hyperedge_coherence_rule.rb
 - lib/glossarist/validation/rules/image_reference_rule.rb
 - lib/glossarist/validation/rules/l10n_uuid_integrity_rule.rb
 - lib/glossarist/validation/rules/language_code_format_rule.rb
@@ -442,7 +457,6 @@ files:
 - lib/glossarist/validation/rules/orphaned_bibliography_rule.rb
 - lib/glossarist/validation/rules/orphaned_images_rule.rb
 - lib/glossarist/validation/rules/orphaned_l10n_files_rule.rb
-- lib/glossarist/validation/rules/partitive_relation_rule.rb
 - lib/glossarist/validation/rules/preferred_term_rule.rb
 - lib/glossarist/validation/rules/ref_shape_rule.rb
 - lib/glossarist/validation/rules/registry.rb

data/lib/glossarist/v3/partitive_relation.rb

@@ -1,114 +0,0 @@
-# frozen_string_literal: true
-
-module Glossarist
-  module V3
-    # PartitiveRelation — an ISO 704 / 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.
-    #
-    # Shown as a rake or bracket in source diagrams. All partitives
-    # within one relation are coordinate concepts: they share the
-    # comprehensive AND share the criterion of subdivision.
-    #
-    # Per-partitive metadata (ISO 704:2022, MECE decomposition):
-    #   - presence (required, optional) — line style: solid vs dashed
-    #   - count (exactly_one, at_least_one, multiple) — line count
-    #   - is_delimiting — orthogonal flag; a delimiting part behaves
-    #     like a delimiting characteristic (distinguishes the
-    #     comprehensive from coordinate concepts)
-    #
-    # Replaces the prior PartitiveHyperedge class. The "hyperedge"
-    # framing was graph-theoretic; ISO calls this a *relation*.
-    class PartitiveRelation < Lutaml::Model::Serializable
-      DEFAULT_COMPLETENESS = "complete"
-
-      attribute :comprehensive, ConceptRef
-      attribute :partitives, PartitiveMember, collection: true
-      attribute :completeness, :string,
-                values: Glossarist::GlossaryDefinition::COMPLETENESS_VALUES,
-                default: -> { DEFAULT_COMPLETENESS }
-      attribute :criterion, :hash
-
-      key_value do
-        map :comprehensive, to: :comprehensive
-        map :partitives, to: :partitives
-        map :completeness, to: :completeness
-        map :criterion, to: :criterion
-      end
-
-      def validate!
-        validate_comprehensive!
-        validate_partitives!
-        validate_self_loop!
-        validate_completeness!
-        self
-      end
-
-      def complete?
-        completeness == "complete"
-      end
-
-      def partial?
-        completeness == "partial"
-      end
-
-      # ISO 704: a partitive relation connects to two or more
-      # partitives. A single binary has_part edge is not a
-      # PartitiveRelation.
-      def coordinate?
-        partitives.length >= 2
-      end
-
-      private
-
-      def validate_comprehensive!
-        return if comprehensive.is_a?(ConceptRef) &&
-                  (comprehensive.source || comprehensive.id || comprehensive.text)
-
-        raise ArgumentError,
-              "PartitiveRelation#comprehensive must be a non-empty " \
-              "ConceptRef (source, id, or text required)"
-      end
-
-      def validate_partitives!
-        if partitives.empty?
-          raise ArgumentError, "PartitiveRelation requires at least one partitive"
-        end
-        unless coordinate?
-          raise ArgumentError,
-                "PartitiveRelation requires ≥2 partitives (ISO 704); a single " \
-                "binary has_part edge should be used instead"
-        end
-
-        partitives.each(&:validate!)
-      end
-
-      def validate_self_loop!
-        return unless comprehensive.is_a?(ConceptRef)
-
-        comp_key = [comprehensive.source, comprehensive.id]
-        partitives.each do |member|
-          next unless member.ref.is_a?(ConceptRef)
-          next unless [member.ref.source, member.ref.id] == comp_key
-
-          raise ArgumentError,
-                "PartitiveRelation#partitives cannot include the comprehensive"
-        end
-      end
-
-      def validate_completeness!
-        return if completeness.nil?
-
-        unless Glossarist::GlossaryDefinition::COMPLETENESS_VALUES
-                 .include?(completeness)
-          raise ArgumentError,
-                "PartitiveRelation#completeness has invalid value " \
-                "#{completeness.inspect}; must be one of " \
-                "#{GlossaryDefinition::COMPLETENESS_VALUES.join(', ')}"
-        end
-      end
-    end
-  end
-end