suma 0.1.26 → 0.2.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 13a0618f0faf4d08efb9d7783533cad40d31b5069b20d0107ccf6535ac5dcf7f
-  data.tar.gz: c5cf074c3c75091c41828fece24dbef27c07691f8dce321ac4d6ef7f71515640
+  metadata.gz: 66dba2821a9151d2138d223f06fbdb62e9ba99e567f6faf523cc8f9035b49c24
+  data.tar.gz: 6235ce81d8af9ad414dda81c646aeab92753c5bb85035b5665d1c67e84563ce4
 SHA512:
-  metadata.gz: c9f2807fcfd075246d53741d231b241300410ad847795d0c2575cc4cfc205c22d36c2d1f7c7648432be41e63e3f00ae45472382d4c201230e8eefc5cda4506bc
-  data.tar.gz: 189245d32cd54e2fef7090a2f6ee9ab67188265b4ff5ffbb3dd71436ccf832b618f27f2005f97c8bf9ee29db43453063b9b18f4e6f6a4e983ddc5e1c99fa9b53
+  metadata.gz: ae660ed33e9471d399985ce86eddff6ba9c5473fa3c4c1c094f06c7684ef8ab3ea89e2bdbf21f4de31484fa2dfb52657cedd829b426ba15c363957b922e70805
+  data.tar.gz: 2cf90acd2b7eab5bfd34cd9fdfbfc966e2f33735e8dcaca6b5405f3dda21ec8503182cf12d8fa5369534db54093e8d0845ebfca47f54b073b5d9b736a89eda87

data/.rubocop_todo.yml

@@ -1,6 +1,6 @@
 # This configuration was generated by
 # `rubocop --auto-gen-config`
-# on 2025-10-16 10:57:12 UTC using RuboCop version 1.81.1.
+# on 2025-12-11 03:58:36 UTC using RuboCop version 1.81.1.
 # The point is for the user to remove these configuration records
 # one by one as the offenses are removed from the code base.
 # Note that changes in the inspected code, or installation of new
@@ -18,21 +18,13 @@ Gemspec/RequiredRubyVersion:
   Exclude:
     - 'suma.gemspec'
 
-# Offense count: 84
+# Offense count: 81
 # This cop supports safe autocorrection (--autocorrect).
 # Configuration parameters: Max, AllowHeredoc, AllowURI, AllowQualifiedName, URISchemes, IgnoreCopDirectives, AllowedPatterns, SplitStrings.
 # URISchemes: http, https
 Layout/LineLength:
   Enabled: false
 
-# Offense count: 1
-# This cop supports safe autocorrection (--autocorrect).
-# Configuration parameters: EnforcedStyle.
-# SupportedStyles: final_newline, final_blank_line
-Layout/TrailingEmptyLines:
-  Exclude:
-    - 'Gemfile'
-
 # Offense count: 2
 # Configuration parameters: IgnoreLiteralBranches, IgnoreConstantBranches, IgnoreDuplicateElseBranch.
 Lint/DuplicateBranch:
@@ -91,14 +83,13 @@ Naming/PredicateMethod:
   Exclude:
     - 'lib/suma/eengine/wrapper.rb'
 
-# Offense count: 6
+# Offense count: 2
 # Configuration parameters: EnforcedStyle, CheckMethodNames, CheckSymbols, AllowedIdentifiers, AllowedPatterns.
 # SupportedStyles: snake_case, normalcase, non_integer
 # AllowedIdentifiers: TLS1_1, TLS1_2, capture3, iso8601, rfc1123_date, rfc822, rfc2822, rfc3339, x86_64
 Naming/VariableNumber:
   Exclude:
     - 'spec/suma/cli/export_spec.rb'
-    - 'spec/suma/cli/validate_ascii_spec.rb'
 
 # Offense count: 3
 # Configuration parameters: MinSize.
@@ -115,7 +106,7 @@ RSpec/ContextWording:
   Exclude:
     - 'spec/suma/cli/export_spec.rb'
 
-# Offense count: 51
+# Offense count: 48
 # Configuration parameters: CountAsOne.
 RSpec/ExampleLength:
   Max: 61
@@ -133,7 +124,7 @@ RSpec/InstanceVariable:
   Exclude:
     - 'spec/suma/cli/compare_spec.rb'
 
-# Offense count: 3
+# Offense count: 1
 # This cop supports safe autocorrection (--autocorrect).
 RSpec/IteratedExpectation:
   Exclude:
@@ -146,7 +137,7 @@ RSpec/MessageSpies:
   Exclude:
     - 'spec/suma/cli/compare_spec.rb'
 
-# Offense count: 47
+# Offense count: 43
 RSpec/MultipleExpectations:
   Max: 23
 
@@ -161,11 +152,3 @@ RSpec/SpecFilePathFormat:
 RSpec/StubbedMock:
   Exclude:
     - 'spec/suma/cli/compare_spec.rb'
-
-# Offense count: 1
-# This cop supports unsafe autocorrection (--autocorrect-all).
-# Configuration parameters: AllowedReceivers.
-# AllowedReceivers: Thread.current
-Style/HashEachMethods:
-  Exclude:
-    - 'spec/suma/cli/compare_spec.rb'

data/Gemfile

@@ -6,6 +6,7 @@ source "https://rubygems.org"
 gemspec
 
 gem "canon"
+gem "metanorma-standoc"
 gem "nokogiri"
 gem "rake"
 gem "rspec"

data/README.adoc

@@ -140,7 +140,6 @@ $ suma validate SUBCOMMAND [options]
 Subcommands:
 
 `links`:: Validate EXPRESS links
-`ascii`:: Check for non-ASCII characters in EXPRESS files
 
 ==== Links subcommand
 
@@ -176,120 +175,6 @@ This command:
 * Writes validation results to the `OUTPUT_FILE`
 * Provides progress bars to track schema loading and link validation
 
-==== ASCII subcommand
-
-The `ascii` subcommand detects non-ASCII characters in EXPRESS files and reports on those exact lines, providing replacement suggestions.
-
-[source,sh]
-----
-$ suma validate ascii EXPRESS_FILE_PATH [options]
-----
-
-Parameters:
-
-`EXPRESS_FILE_PATH`:: Path to an EXPRESS file or a folder containing EXPRESS
-files
-
-Options:
-
-`--[no-]recursive`, `-r`:: Select EXPRESS files recursively based on the specified
-folder path (default: false)
-`--[no-]yaml`, `-y`:: Output results in YAML format for machine processing (default: false)
-
-[example]
-====
-.To validate all EXPRESS files in a specific directory recursively
-[source,sh]
-----
-$ bundle exec suma validate ascii ../iso-10303/schemas -r
-----
-
-.To validate and output results in YAML format
-[source,sh]
-----
-$ bundle exec suma validate ascii ../iso-10303/schemas -r -y > validation.yml
-----
-====
-
-This command:
-
-* Loads the EXPRESS files specified in the `EXPRESS_FILE_PATH`
-* Scans each line for non-ASCII characters
-* Reports detailed information about each violation, including:
-** Filename and line number
-** The exact line content
-** Visual indication of the non-ASCII sequence location
-** Character details with hexadecimal representation
-* Provides specific replacement suggestions:
-** For math symbols: provides equivalent AsciiMath notation
-** For other non-ASCII characters: provides ISO 10303-11 encoded string literal format
-* Displays a summary table showing:
-** File path (directory/filename)
-** Each non-ASCII symbol found
-** Suggested replacement for each symbol
-** Number of occurrences of each character
-** Totals row showing unique character count and overall occurrences
-* Summarizes findings across all scanned files
-* Optionally outputs structured data in YAML format with detailed occurrence information
-
-Human-readable output format example:
-
-[source,text]
-----
-/path/to/file.exp:
-  Line 42, Column 15:
-    ENTITY some_entity (name: STRING, description: "résumé");
-                                       ^^^^^
-      "é" - Hex: 0xe9, UTF-8 bytes: 0xc3 0xa9
-      Replacement: ISO 10303-11: "000000E9"
-
-      "s" - Hex: 0x73, UTF-8 bytes: 0x73
-
-      "u" - Hex: 0x75, UTF-8 bytes: 0x75
-
-      "m" - Hex: 0x6d, UTF-8 bytes: 0x6d
-
-      "é" - Hex: 0xe9, UTF-8 bytes: 0xc3 0xa9
-      Replacement: ISO 10303-11: "000000E9"
-
-  Found 1 non-ASCII sequence(s) in file.exp
-
-Summary:
-  Scanned 3 EXPRESS file(s)
-  Found 1 non-ASCII sequence(s) in 1 file(s)
-
-+------------------+--------------------+-----------------------------+-------------+
-|       File       |       Symbol       |        Replacement          | Occurrences |
-+------------------+--------------------+-----------------------------+-------------+
-| path/to/file.exp | "é" (0xe9)         | ISO 10303-11: "000000E9"    | 2           |
-+------------------+--------------------+-----------------------------+-------------+
-| TOTAL            | 1 unique           |                             | 2           |
-+------------------+--------------------+-----------------------------+-------------+
-----
-
-===== Japanese Character Example
-
-For Japanese characters like 神戸 (Kobe), the command will provide ISO 10303-11 encoded string literal replacements:
-
-[source,text]
-----
-"神" - Hex: 0x795e, UTF-8 bytes: 0xe7 0xa5 0x9e
-Replacement: ISO 10303-11: "0000795E"
-
-"戸" - Hex: 0x6238, UTF-8 bytes: 0xe6 0x88 0xb8
-Replacement: ISO 10303-11: "00006238"
-----
-
-===== Math Symbol Example
-
-For mathematical symbols, the command will provide equivalent AsciiMath notation:
-
-[source,text]
-----
-"×" - Hex: 0xd7, UTF-8 bytes: 0xc3 0x97
-Replacement: AsciiMath: xx
-----
-
 
 === Generate schemas command
 

data/lib/suma/cli/validate.rb

@@ -15,20 +15,6 @@ module Suma
         links = Cli::ValidateLinks.new
         links.extract_and_validate(*args)
       end
-
-      desc "ascii EXPRESS_FILE_PATH",
-           "Validate EXPRESS files for ASCII-only content"
-      option :recursive, type: :boolean, default: false, aliases: "-r",
-                         desc: "Validate EXPRESS files under the specified path recursively"
-      option :yaml, type: :boolean, default: false, aliases: "-y",
-                    desc: "Output results in YAML format"
-      def ascii(express_file_path)
-        require_relative "validate_ascii"
-
-        validator = Cli::ValidateAscii.new
-        validator.options = options
-        validator.validate_ascii(express_file_path)
-      end
     end
   end
 end

data/lib/suma/collection_config.rb

@@ -3,9 +3,7 @@
 require_relative "utils"
 require "lutaml/model"
 require_relative "collection_manifest"
-require "metanorma/cli"
-require "metanorma/cli/collection"
-require "metanorma/collection/collection"
+require "metanorma"
 
 module Suma
   class CollectionConfig < Metanorma::Collection::Config::Config

data/lib/suma/collection_manifest.rb

@@ -1,8 +1,6 @@
 # frozen_string_literal: true
 
-require "metanorma/cli"
-require "metanorma/cli/collection"
-require "metanorma/collection/collection"
+require "metanorma"
 require "expressir"
 
 module Suma

data/lib/suma/processor.rb

@@ -4,9 +4,7 @@ require_relative "schema_collection"
 require_relative "utils"
 require_relative "collection_config"
 require_relative "site_config"
-require "metanorma/cli"
-require "metanorma/cli/collection"
-require "metanorma/collection/collection"
+require "metanorma"
 
 module Suma
   class Processor

data/lib/suma/schema_attachment.rb

@@ -2,7 +2,6 @@
 
 require "fileutils"
 require "expressir"
-# require "metanorma/cli"
 
 module Suma
   class SchemaAttachment

data/lib/suma/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Suma
-  VERSION = "0.1.26"
+  VERSION = "0.2.1"
 end

data/suma.gemspec

@@ -36,11 +36,12 @@ Gem::Specification.new do |spec| # rubocop:disable Metrics/BlockLength
   spec.add_dependency "expressir", ">= 2.1.29", "~> 2.1"
   spec.add_dependency "glossarist", "~> 2.3.7"
   spec.add_dependency "lutaml-model", "~> 0.7"
-  spec.add_dependency "metanorma-cli"
+  spec.add_dependency "metanorma"
   spec.add_dependency "plurimath"
   spec.add_dependency "ruby-progressbar"
   spec.add_dependency "rubyzip", "~> 2.3"
   spec.add_dependency "table_tennis"
   spec.add_dependency "thor", ">= 0.20"
+
   spec.metadata["rubygems_mfa_required"] = "true"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: suma
 version: !ruby/object:Gem::Version
-  version: 0.1.26
+  version: 0.2.1
 platform: ruby
 authors:
 - Ribose Inc.
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2025-10-16 00:00:00.000000000 Z
+date: 2025-12-11 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: expressir
@@ -59,7 +59,7 @@ dependencies:
       - !ruby/object:Gem::Version
         version: '0.7'
 - !ruby/object:Gem::Dependency
-  name: metanorma-cli
+  name: metanorma
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
@@ -175,7 +175,6 @@ files:
 - lib/suma/cli/generate_schemas.rb
 - lib/suma/cli/reformat.rb
 - lib/suma/cli/validate.rb
-- lib/suma/cli/validate_ascii.rb
 - lib/suma/cli/validate_links.rb
 - lib/suma/collection_config.rb
 - lib/suma/collection_manifest.rb

data/lib/suma/cli/validate_ascii.rb

@@ -1,551 +0,0 @@
-# frozen_string_literal: true
-
-require "thor"
-require "yaml"
-require "paint"
-require "plurimath"
-require "set" # For using Set in unique_character_count
-require "table_tennis"
-require_relative "../thor_ext"
-
-module Suma
-  module Cli
-    # Represents a non-ASCII character with its details and replacement
-    class NonAsciiCharacter
-      attr_reader :char, :hex, :utf8, :is_math, :replacement,
-                  :replacement_type, :occurrences
-
-      def initialize(char, hex, utf8, is_math, replacement, replacement_type)
-        @char = char
-        @hex = hex
-        @utf8 = utf8
-        @is_math = is_math
-        @replacement = replacement
-        @replacement_type = replacement_type
-        @occurrences = []
-      end
-
-      def add_occurrence(line_number, column, line)
-        @occurrences << {
-          line_number: line_number,
-          column: column,
-          line: line,
-        }
-      end
-
-      def replacement_text
-        @is_math ? "AsciiMath: #{@replacement}" : "ISO 10303-11: #{@replacement}"
-      end
-
-      def occurrence_count
-        @occurrences.size
-      end
-
-      def to_h
-        {
-          character: @char,
-          hex: @hex,
-          utf8: @utf8,
-          is_math: @is_math,
-          replacement_type: @replacement_type,
-          replacement: @replacement,
-          occurrence_count: occurrence_count,
-          occurrences: @occurrences,
-        }
-      end
-    end
-
-    # Represents all non-ASCII characters in a file
-    class FileViolations
-      attr_reader :path, :filename, :directory, :violations, :unique_characters
-
-      def initialize(file_path)
-        @path = file_path
-        @filename = File.basename(file_path)
-        @directory = File.dirname(file_path)
-        @characters = {}  # Map of characters to NonAsciiCharacter objects
-        @violations = []  # List of violations (line, column, etc.)
-      end
-
-      def add_violation(line_number, column, match, char_details, line)
-        violation = {
-          line_number: line_number,
-          column: column,
-          match: match,
-          char_details: char_details,
-          line: line,
-        }
-
-        @violations << violation
-
-        # Register each character
-        char_details.each do |detail|
-          char = detail[:char]
-          unless @characters[char]
-            @characters[char] = NonAsciiCharacter.new(
-              char,
-              detail[:hex],
-              detail[:utf8],
-              detail[:is_math],
-              detail[:replacement],
-              detail[:replacement_type],
-            )
-          end
-
-          @characters[char].add_occurrence(line_number, column, line)
-        end
-      end
-
-      def violation_count
-        @violations.size
-      end
-
-      def unique_characters
-        @characters.values
-      end
-
-      def display_path
-        "#{File.basename(@directory)}/#{@filename}"
-      end
-
-      def full_path
-        File.expand_path(@path)
-      end
-
-      def to_h
-        {
-          file: display_path,
-          count: violation_count,
-          non_ascii_characters: unique_characters.map(&:to_h),
-        }
-      end
-    end
-
-    # Collection of all violations across multiple files
-    class NonAsciiViolationCollection
-      attr_reader :file_violations, :total_files
-
-      def initialize
-        @file_violations = {} # Map of file paths to FileViolations objects
-        @total_files = 0
-        @unicode_to_asciimath = nil
-      end
-
-      def process_file(file)
-        @total_files += 1
-
-        # Initialize the mapping once
-        @unicode_to_asciimath ||= build_unicode_to_asciimath_map
-
-        file_violations = process_file_violations(file)
-        return if file_violations.violations.empty?
-
-        @file_violations[file] = file_violations
-      end
-
-      def files_with_violations
-        @file_violations.size
-      end
-
-      def total_violations
-        @file_violations.values.sum(&:violation_count)
-      end
-
-      def unique_character_count
-        # Get total unique characters across all files
-        all_chars = Set.new
-        @file_violations.each_value do |file_violation|
-          file_violation.unique_characters.each do |char|
-            all_chars.add(char.char)
-          end
-        end
-        all_chars.size
-      end
-
-      def total_occurrence_count
-        # Sum all occurrences of all characters across all files
-        @file_violations.values.sum do |file_violation|
-          file_violation.unique_characters.sum(&:occurrence_count)
-        end
-      end
-
-      def to_yaml_data
-        {
-          summary: {
-            total_files: @total_files,
-            files_with_violations: files_with_violations,
-            total_violations: total_violations,
-            total_unique_characters: unique_character_count,
-            total_occurrences: total_occurrence_count,
-          },
-          violations: @file_violations.transform_keys do |k|
-            File.expand_path(k)
-          end.transform_values(&:to_h),
-        }
-      end
-
-      def print_text_output
-        return if @file_violations.empty?
-
-        # Print each file's violations
-        @file_violations.each_value do |file_violation|
-          puts "\n#{Paint[file_violation.display_path, :cyan, :bold]}:"
-
-          file_violation.violations.each do |v|
-            puts "  #{Paint['Line',
-                            :blue]} #{Paint[v[:line_number],
-                                            :yellow]}, #{Paint['Column',
-                                                               :blue]} #{Paint[v[:column],
-                                                                               :yellow]}:"
-            puts "    #{v[:line]}"
-            puts "    #{' ' * v[:column]}#{Paint['^' * v[:match].length,
-                                                 :red]} #{Paint['Non-ASCII sequence',
-                                                                :red]}"
-
-            v[:char_details].each do |cd|
-              character = file_violation.unique_characters.find do |c|
-                c.char == cd[:char]
-              end
-              next unless character
-
-              puts "      #{Paint["\"#{cd[:char]}\"",
-                                  :yellow]} - Hex: #{Paint[cd[:hex],
-                                                           :magenta]}, UTF-8 bytes: #{Paint[cd[:utf8],
-                                                                                            :magenta]}"
-              puts "      #{Paint['Replacement:',
-                                  :green]} #{character.replacement_text}"
-            end
-            puts ""
-          end
-
-          puts "  #{Paint['Found',
-                          :green]} #{Paint[file_violation.violation_count,
-                                           :red]} #{Paint['non-ASCII sequence(s) in',
-                                                          :green]} #{Paint[file_violation.filename,
-                                                                           :cyan]}\n"
-        end
-
-        # Print summary
-        puts "\n#{Paint['Summary:', :blue, :bold]}"
-        puts "  #{Paint['Scanned',
-                        :green]} #{Paint[@total_files,
-                                         :yellow]} #{Paint['EXPRESS file(s)',
-                                                           :green]}"
-        puts "  #{Paint['Found',
-                        :green]} #{Paint[total_violations,
-                                         :red]} #{Paint['non-ASCII sequence(s) in',
-                                                        :green]} #{Paint[files_with_violations,
-                                                                         :red]} #{Paint['file(s)',
-                                                                                        :green]}"
-      end
-
-      def print_table_output
-        return if @file_violations.empty?
-
-        # Build rows array
-        rows = []
-        total_occurrences = 0
-
-        @file_violations.each_value do |file_violation|
-          file_violation.unique_characters.each do |character|
-            occurrence_count = character.occurrence_count
-            total_occurrences += occurrence_count
-
-            rows << {
-              file: file_violation.display_path,
-              symbol: "\"#{character.char}\" (#{character.hex})",
-              replacement: character.replacement_text,
-              occurrences: occurrence_count,
-            }
-          end
-        end
-
-        # Add total row
-        rows << {
-          file: "TOTAL",
-          symbol: "#{unique_character_count} unique",
-          replacement: "",
-          occurrences: total_occurrences,
-        }
-
-        # Use TableTennis to render
-        options = {
-          title: "Non-ASCII Characters Summary",
-          columns: %i[file symbol replacement occurrences],
-          headers: {
-            file: "File",
-            symbol: "Symbol",
-            replacement: "Replacement",
-            occurrences: "Occurrences",
-          },
-          mark: ->(row) { row[:file] == "TOTAL" },
-        }
-
-        puts "\n#{TableTennis.new(rows, options)}\n"
-      end
-
-      private
-
-      def process_file_violations(file)
-        file_violations = FileViolations.new(file)
-
-        # Process file line by line
-        File.readlines(file,
-                       encoding: "UTF-8").each_with_index do |line, line_idx|
-          line_number = line_idx + 1
-
-          # Skip if line only contains ASCII
-          next unless /[^\x00-\x7F]/.match?(line)
-
-          # Find all non-ASCII sequences
-          line.chomp.scan(/([^\x00-\x7F]+)/) do |match|
-            match = match[0]
-            column = line.index(match)
-
-            # Process each character in the sequence
-            char_details = match.chars.filter_map do |c|
-              process_non_ascii_char(c)
-            end
-
-            # Skip if no non-ASCII characters found
-            next if char_details.empty?
-
-            file_violations.add_violation(line_number, column, match,
-                                          char_details, line.chomp)
-          end
-        end
-
-        file_violations
-      end
-
-      def process_non_ascii_char(char)
-        # Skip ASCII characters
-        return nil if char.ord <= 0x7F
-
-        code_point = char.ord
-        hex = "0x#{code_point.to_s(16)}"
-        utf8 = code_point.chr(Encoding::UTF_8).bytes.map do |b|
-          "0x#{b.to_s(16)}"
-        end.join(" ")
-
-        # Check if it's a math symbol
-        if asciimath = @unicode_to_asciimath[char]
-          return {
-            char: char,
-            hex: hex,
-            utf8: utf8,
-            is_math: true,
-            replacement: asciimath,
-            replacement_type: "asciimath",
-          }
-        end
-
-        # Not a math symbol, use ISO encoding
-        {
-          char: char,
-          hex: hex,
-          utf8: utf8,
-          is_math: false,
-          replacement: encode_iso_10303_11(char),
-          replacement_type: "iso-10303-11",
-        }
-      end
-
-      def encode_iso_10303_11(char)
-        code_point = char.ord
-
-        # Format the encoded value with double quotes
-        if code_point < 0x10000
-          "\"#{sprintf('%08X', code_point)}\"" # e.g., "00000041" for 'A'
-        else
-          # For higher code points, use all four octets
-          group = (code_point >> 24) & 0xFF
-          plane = (code_point >> 16) & 0xFF
-          row = (code_point >> 8) & 0xFF
-          cell = code_point & 0xFF
-
-          "\"#{sprintf('%02X%02X%02X%02X', group, plane, row, cell)}\""
-        end
-      end
-
-      def build_unicode_to_asciimath_map
-        # Start with a pre-defined mapping of common math symbols
-        unicode_to_asciimath = {
-          # Greek letters
-          "α" => "alpha",
-          "β" => "beta",
-          "γ" => "gamma",
-          "Γ" => "Gamma",
-          "δ" => "delta",
-          "Δ" => "Delta",
-          "ε" => "epsilon",
-          "ζ" => "zeta",
-          "η" => "eta",
-          "θ" => "theta",
-          "Θ" => "Theta",
-          "ι" => "iota",
-          "κ" => "kappa",
-          "λ" => "lambda",
-          "Λ" => "Lambda",
-          "μ" => "mu",
-          "ν" => "nu",
-          "ξ" => "xi",
-          "Ξ" => "Xi",
-          "π" => "pi",
-          "Π" => "Pi",
-          "ρ" => "rho",
-          "σ" => "sigma",
-          "Σ" => "Sigma",
-          "τ" => "tau",
-          "υ" => "upsilon",
-          "φ" => "phi",
-          "Φ" => "Phi",
-          "χ" => "chi",
-          "ψ" => "psi",
-          "Ψ" => "Psi",
-          "ω" => "omega",
-          "Ω" => "Omega",
-
-          # Math operators
-          "×" => "xx",
-          "÷" => "div",
-          "±" => "pm",
-          "∓" => "mp",
-          "∞" => "oo",
-          "≤" => "le",
-          "≥" => "ge",
-          "≠" => "ne",
-          "≈" => "~~",
-          "≅" => "cong",
-          "≡" => "equiv",
-          "∈" => "in",
-          "∉" => "notin",
-          "⊂" => "subset",
-          "⊃" => "supset",
-          "∩" => "cap",
-          "∪" => "cup",
-          "∧" => "and",
-          "∨" => "or",
-          "¬" => "neg",
-          "∀" => "forall",
-          "∃" => "exists",
-          "∄" => "nexists",
-          "∇" => "grad",
-          "∂" => "del",
-          "∑" => "sum",
-          "∏" => "prod",
-          "∫" => "int",
-          "∮" => "oint",
-          "√" => "sqrt",
-          "⊥" => "perp",
-          "‖" => "norm",
-          "→" => "rarr",
-          "←" => "larr",
-          "↔" => "harr",
-          "⇒" => "rArr",
-          "⇐" => "lArr",
-          "⇔" => "hArr",
-        }
-
-        # Augment with symbols from Plurimath
-        begin
-          # Get all symbols supported by AsciiMath
-          Plurimath::Utility.symbols_files.each do |symbol_class|
-            symbol = symbol_class.new
-
-            # Get the Unicode and AsciiMath representations
-            unicodes = symbol.to_unicodemath
-            asciimaths = symbol.to_asciimath
-
-            # Skip if either representation is missing
-            next unless unicodes.is_a?(Array) && asciimaths.is_a?(Array)
-            # Skip if empty arrays
-            next if unicodes.empty? || asciimaths.empty?
-
-            unicodes.each_with_index do |unicode, index|
-              # Skip if we're beyond available AsciiMath representations
-              next if index >= asciimaths.length
-              # Skip empty string values
-              next if unicode.to_s.empty?
-
-              # Map each character to its AsciiMath equivalent
-              unicode.to_s.chars.each do |char|
-                # Only add if not already in our mapping
-                unicode_to_asciimath[char] ||= asciimaths[index]
-              end
-            end
-          rescue StandardError => e
-            # Skip this symbol class if there's an error
-            puts "Warning: Error processing symbol class #{symbol_class}: #{e.message}" if $DEBUG
-          end
-        rescue StandardError => e
-          # Continue even if Plurimath integration fails
-          puts "Warning: Error loading Plurimath symbols: #{e.message}" if $DEBUG
-        end
-
-        unicode_to_asciimath
-      end
-    end
-
-    # ValidateAscii command for checking EXPRESS files for non-ASCII characters
-    class ValidateAscii < Thor
-      desc "validate-ascii EXPRESS_FILE_PATH",
-           "Validate EXPRESS files for ASCII-only content"
-      option :recursive, type: :boolean, default: false, aliases: "-r",
-                         desc: "Validate EXPRESS files under the specified " \
-                               "path recursively"
-      option :yaml, type: :boolean, default: false, aliases: "-y",
-                    desc: "Output results in YAML format"
-
-      def validate_ascii(express_file_path) # rubocop:disable Metrics/AbcSize
-        if File.file?(express_file_path)
-          unless File.exist?(express_file_path)
-            raise Errno::ENOENT, "Specified EXPRESS file " \
-                                 "`#{express_file_path}` not found."
-          end
-
-          if File.extname(express_file_path) != ".exp"
-            raise ArgumentError, "Specified file `#{express_file_path}` is " \
-                                 "not an EXPRESS file."
-          end
-
-          exp_files = [express_file_path]
-        elsif options[:recursive]
-          # Support the relative path with glob pattern
-          base_path = File.expand_path(express_file_path)
-          exp_files = Dir.glob("#{base_path}/**/*.exp")
-        else
-          # Non-recursive option
-          base_path = File.expand_path(express_file_path)
-          exp_files = Dir.glob("#{base_path}/*.exp")
-        end
-
-        if exp_files.empty?
-          raise Errno::ENOENT, "No EXPRESS files found in " \
-                               "`#{express_file_path}`."
-        end
-
-        run(exp_files)
-      end
-
-      private
-
-      def run(exp_files)
-        # Process all files and collect violations
-        collection = NonAsciiViolationCollection.new
-
-        exp_files.each do |exp_file|
-          collection.process_file(exp_file)
-        end
-
-        # Output results based on format
-        if options[:yaml]
-          puts collection.to_yaml_data.to_yaml
-        else
-          collection.print_text_output
-          collection.print_table_output if collection.files_with_violations.positive?
-        end
-      end
-    end
-  end
-end