expressir 2.4.29-aarch64-mingw-ucrt

data/.gitignore

@@ -0,0 +1,55 @@
+/.bundle/
+/.yardoc
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/
+/Gemfile.lock
+/.idea
+/.vscode
+/lib/expressir/express/express_parser.bundle
+/lib/expressir/express/express_parser.so
+/lib/expressir/express/*/express_parser.bundle
+/lib/expressir/express/*/express_parser.so
+/spec/syntax/*-pretty.exp
+/ext/express_parser/rice-embed
+
+# rspec failure tracking
+.rspec_status
+
+# rubocop guide
+.rubocop-https---*
+_site/
+
+Gemfile.lock
+
+# Claude Code
+.claude/
+
+# Development / transient files
+*.ler
+*.pax
+TODO.*.md
+TODO.refactor/
+debug_*.rb
+measure_mem.rb
+tmp_*.rb
+mise.toml
+Gemfile.local
+Gemfile.local.lock
+Gemfile.original
+benchmark/
+CLAUDE.md
+
+# Rust workspace
+/target/
+Cargo.lock
+/ext/expressir_core/target/
+/ext/expressir_core/*.bundle
+
+# prebuilt binding staged by rake-compiler for platform gems
+/lib/expressir/expressir_core.bundle
+/lib/expressir/expressir_core.so
+/lib/expressir/expressir_core.dll

data/.hound.yml

@@ -0,0 +1,3 @@
+ruby:
+  enabled: true
+  config_file: .rubocop.yml

data/.rspec

@@ -0,0 +1,2 @@
+--color
+--require spec_helper

data/.rubocop.yml

@@ -0,0 +1,18 @@
+inherit_from:
+  - https://raw.githubusercontent.com/riboseinc/oss-guides/main/ci/rubocop.yml
+  - .rubocop_todo.yml
+
+plugins:
+- rubocop-performance
+- rubocop-rake
+- rubocop-rspec
+
+AllCops:
+  TargetRubyVersion: 3.2
+  NewCops: enable
+  Exclude:
+    - 'vendor/**/*'
+    - 'metanorma-mirror-*/**/*'
+
+Lint/UnusedMethodArgument:
+  AllowUnusedKeywordArguments: true

data/.rubocop_todo.yml

@@ -0,0 +1,297 @@
+# This configuration was generated by
+# `rubocop --auto-gen-config`
+# on 2026-06-05 10:03:10 UTC using RuboCop version 1.86.0.
+# 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
+# versions of RuboCop, may require this file to be generated again.
+
+# Offense count: 1072
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: Max, AllowHeredoc, AllowURI, AllowQualifiedName, URISchemes, AllowRBSInlineAnnotation, AllowCopDirectives, AllowedPatterns, SplitStrings.
+# URISchemes: http, https
+Layout/LineLength:
+  Enabled: false
+
+# Offense count: 9
+# Configuration parameters: IgnoreLiteralBranches, IgnoreConstantBranches, IgnoreDuplicateElseBranch.
+Lint/DuplicateBranch:
+  Exclude:
+    - 'lib/expressir/commands/package.rb'
+    - 'lib/expressir/coverage.rb'
+    - 'lib/expressir/express/builder.rb'
+    - 'lib/expressir/express/formatters/declarations_formatter.rb'
+    - 'lib/expressir/express/remark_attacher.rb'
+    - 'lib/expressir/model/search_engine.rb'
+
+# Offense count: 1
+Lint/DuplicateCaseCondition:
+  Exclude:
+    - 'lib/expressir/commands/package.rb'
+
+# Offense count: 1
+Lint/DuplicateMethods:
+  Exclude:
+    - 'lib/expressir/commands/validate_ascii.rb'
+
+# Offense count: 2
+# Configuration parameters: AllowedPatterns.
+# AllowedPatterns: (?-mix:(exactly|at_least|at_most)\(\d+\)\.times)
+Lint/UnreachableLoop:
+  Exclude:
+    - 'lib/expressir/model/dependency_resolver.rb'
+
+# Offense count: 3
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: AllowUnusedKeywordArguments, IgnoreEmptyMethods, IgnoreNotImplementedMethods, NotImplementedExceptions.
+# NotImplementedExceptions: NotImplementedError
+Lint/UnusedMethodArgument:
+  Exclude:
+    - 'lib/expressir/express/cache.rb'
+    - 'lib/expressir/express/parser.rb'
+
+# Offense count: 2
+Lint/UselessConstantScoping:
+  Exclude:
+    - 'lib/expressir/express/remark_attacher.rb'
+
+# Offense count: 240
+# Configuration parameters: AllowedMethods, AllowedPatterns, CountRepeatedAttributes, Max.
+Metrics/AbcSize:
+  Enabled: false
+
+# Offense count: 10
+# Configuration parameters: CountComments, CountAsOne, AllowedMethods, AllowedPatterns, inherit_mode.
+# AllowedMethods: refine
+Metrics/BlockLength:
+  Max: 106
+
+# Offense count: 14
+# Configuration parameters: CountBlocks, CountModifierForms.
+Metrics/BlockNesting:
+  Max: 6
+
+# Offense count: 190
+# Configuration parameters: AllowedMethods, AllowedPatterns, Max.
+Metrics/CyclomaticComplexity:
+  Enabled: false
+
+# Offense count: 290
+# Configuration parameters: CountComments, CountAsOne, AllowedMethods, AllowedPatterns.
+Metrics/MethodLength:
+  Max: 167
+
+# Offense count: 6
+# Configuration parameters: CountKeywordArgs, MaxOptionalParameters.
+Metrics/ParameterLists:
+  Max: 8
+
+# Offense count: 162
+# Configuration parameters: AllowedMethods, AllowedPatterns, Max.
+Metrics/PerceivedComplexity:
+  Enabled: false
+
+# Offense count: 4
+# Configuration parameters: MinNameLength, AllowNamesEndingInNumbers, AllowedNames, ForbiddenNames.
+# AllowedNames: as, at, by, cc, db, id, if, in, io, ip, of, on, os, pp, to
+Naming/MethodParameterName:
+  Exclude:
+    - 'lib/expressir/model/repository_validator.rb'
+
+# Offense count: 3
+# Configuration parameters: Mode, AllowedMethods, AllowedPatterns, AllowBangMethods, WaywardPredicates.
+# AllowedMethods: call
+# WaywardPredicates: infinite?, nonzero?
+Naming/PredicateMethod:
+  Exclude:
+    - 'lib/expressir/model/indexes/reference_index.rb'
+    - 'lib/expressir/model/search_engine.rb'
+
+# Offense count: 11
+# 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:
+    - 'lib/expressir/commands/validate_ascii.rb'
+    - 'spec/expressir/commands/validate_ascii_spec.rb'
+    - 'spec/expressir/express/pretty_formatter_spec.rb'
+
+# Offense count: 6
+# Configuration parameters: MinSize.
+Performance/CollectionLiteralInLoop:
+  Exclude:
+    - 'benchmark/memory_profiler.rb'
+    - 'lib/expressir/express/parser.rb'
+    - 'lib/expressir/express/remark_attacher.rb'
+    - 'lib/expressir/express/streaming_builder.rb'
+
+# Offense count: 8
+Performance/FixedSize:
+  Exclude:
+    - 'lib/expressir/express/formatters/data_types_formatter.rb'
+    - 'lib/expressir/express/formatters/declarations_formatter.rb'
+    - 'lib/expressir/express/parser.rb'
+
+# Offense count: 6
+Performance/MapMethodChain:
+  Exclude:
+    - 'lib/expressir/commands/coverage.rb'
+    - 'spec/expressir/commands/coverage_ignore_files_spec.rb'
+    - 'spec/expressir/coverage_spec.rb'
+
+# Offense count: 1
+RSpec/AnyInstance:
+  Exclude:
+    - 'spec/expressir/commands/package_edge_cases_spec.rb'
+    - 'spec/expressir/express/remark_attacher_performance_spec.rb'
+
+# Offense count: 11
+# Configuration parameters: Prefixes, AllowedPatterns.
+# Prefixes: when, with, without
+RSpec/ContextWording:
+  Exclude:
+    - 'spec/expressir/commands/manifest_spec.rb'
+    - 'spec/expressir/commands/package_nil_guards_spec.rb'
+    - 'spec/expressir/commands/validate_ascii_spec.rb'
+    - 'spec/expressir/model/repository_spec.rb'
+
+# Offense count: 2
+# Configuration parameters: IgnoredMetadata.
+RSpec/DescribeClass:
+  Exclude:
+    - '**/spec/features/**/*'
+    - '**/spec/requests/**/*'
+    - '**/spec/routing/**/*'
+    - '**/spec/system/**/*'
+    - '**/spec/views/**/*'
+    - 'spec/expressir/express/formatter_architecture_spec.rb'
+    - 'spec/expressir/integration/package_roundtrip_spec.rb'
+
+# Offense count: 6
+RSpec/DescribeMethod:
+  Exclude:
+    - 'spec/expressir/commands/package_edge_cases_spec.rb'
+    - 'spec/expressir/commands/package_fixtures_spec.rb'
+    - 'spec/expressir/commands/package_nil_guards_spec.rb'
+    - 'spec/expressir/commands/package_nil_scenarios_spec.rb'
+    - 'spec/expressir/model/repository_statistics_spec.rb'
+    - 'spec/expressir/model/search_engine_advanced_spec.rb'
+
+# Offense count: 480
+# Configuration parameters: CountAsOne.
+RSpec/ExampleLength:
+  Max: 122
+
+# Offense count: 44
+# Configuration parameters: Max, AllowedIdentifiers, AllowedPatterns.
+RSpec/IndexedLet:
+  Exclude:
+    - 'spec/expressir/model/data_types/array_spec.rb'
+    - 'spec/expressir/model/data_types/bag_spec.rb'
+    - 'spec/expressir/model/data_types/binary_spec.rb'
+    - 'spec/expressir/model/data_types/real_spec.rb'
+    - 'spec/expressir/model/data_types/set_spec.rb'
+    - 'spec/expressir/model/data_types/string_spec.rb'
+    - 'spec/expressir/model/indexes/entity_index_spec.rb'
+    - 'spec/expressir/model/indexes/reference_index_spec.rb'
+    - 'spec/expressir/model/indexes/type_index_spec.rb'
+    - 'spec/expressir/model/repository_spec.rb'
+    - 'spec/expressir/model/repository_statistics_spec.rb'
+    - 'spec/expressir/model/repository_validator_spec.rb'
+    - 'spec/expressir/model/search_engine_advanced_spec.rb'
+
+# Offense count: 1
+# Configuration parameters: AssignmentOnly.
+RSpec/InstanceVariable:
+  Exclude:
+    - 'spec/expressir/model/interface_validator_spec.rb'
+
+# Offense count: 1
+# This cop supports safe autocorrection (--autocorrect).
+RSpec/IteratedExpectation:
+  Exclude:
+    - 'spec/expressir/model/search_engine_advanced_spec.rb'
+
+# Offense count: 1
+# Configuration parameters: .
+# SupportedStyles: have_received, receive
+RSpec/MessageSpies:
+  EnforcedStyle: receive
+
+# Offense count: 596
+RSpec/MultipleExpectations:
+  Max: 114
+
+# Offense count: 111
+# Configuration parameters: AllowSubject.
+RSpec/MultipleMemoizedHelpers:
+  Max: 18
+
+# Offense count: 5
+# Configuration parameters: AllowedGroups.
+RSpec/NestedGroups:
+  Max: 4
+
+# Offense count: 1
+RSpec/RemoveConst:
+  Exclude:
+    - 'spec/expressir/commands/package_nil_scenarios_spec.rb'
+
+# Offense count: 12
+RSpec/RepeatedExample:
+  Exclude:
+    - 'spec/expressir/commands/package_fixtures_spec.rb'
+    - 'spec/expressir/model/data_types/logical_spec.rb'
+    - 'spec/expressir/model/interface_validator_spec.rb'
+
+# Offense count: 7
+# Configuration parameters: CustomTransform, IgnoreMethods, IgnoreMetadata, InflectorPath, EnforcedInflector.
+# SupportedInflectors: default, active_support
+RSpec/SpecFilePathFormat:
+  Exclude:
+    - '**/spec/routing/**/*'
+    - 'spec/expressir/commands/package_edge_cases_spec.rb'
+    - 'spec/expressir/commands/package_fixtures_spec.rb'
+    - 'spec/expressir/commands/package_nil_guards_spec.rb'
+    - 'spec/expressir/commands/package_nil_scenarios_spec.rb'
+    - 'spec/expressir/express/visitor/remark_attacher_spec.rb'
+    - 'spec/expressir/model/repository_statistics_spec.rb'
+    - 'spec/expressir/model/search_engine_advanced_spec.rb'
+
+# Offense count: 2
+Security/MarshalLoad:
+  Exclude:
+    - 'lib/expressir/package/reader.rb'
+
+# Offense count: 1
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: EnforcedStyle, AllowComments.
+# SupportedStyles: empty, nil, both
+Style/EmptyElse:
+  Exclude:
+    - 'lib/expressir/commands/changes_validate.rb'
+
+# Offense count: 40
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: MaxUnannotatedPlaceholdersAllowed, Mode, AllowedMethods, AllowedPatterns.
+# SupportedStyles: annotated, template, unannotated
+Style/FormatStringToken:
+  EnforcedStyle: unannotated
+
+# Offense count: 1
+# Configuration parameters: MinBranchesCount.
+Style/HashLikeCase:
+  Exclude:
+    - 'lib/expressir/express/remark_attacher.rb'
+
+# Offense count: 1
+Style/MixinUsage:
+  Exclude:
+    - 'benchmark/srl_benchmark.rb'
+
+# Offense count: 3
+# Configuration parameters: AllowedClasses.
+Style/OneClassPerFile:
+  Exclude:
+    - 'benchmark/srl_benchmark.rb'

data/CHANGELOG.md

@@ -0,0 +1,159 @@
+# Changelog
+
+All notable changes to this project will be documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
+and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
+
+## [Unreleased]
+
+### Breaking Changes
+
+#### Repository Structure Change
+
+The `Repository` class now uses a `files` attribute containing `ExpFile` objects instead of a direct `schemas` attribute.
+
+**Old structure:**
+```ruby
+repository = Expressir::Model::Repository.new
+repository.schemas << schema1
+repository.schemas << schema2
+```
+
+**New structure:**
+```ruby
+repository = Expressir::Model::Repository.new
+repository.add_schema(schema1)
+repository.add_schema(schema2)
+
+# Or with files:
+exp_file = Expressir::Express::Parser.from_file("schema.exp")
+repository.files << exp_file
+```
+
+#### ExpFile Model Introduced
+
+A new `ExpFile` class represents a single EXPRESS file with its own preamble remarks and schemas:
+
+```ruby
+# ExpFile has:
+# - path: the file path
+# - schemas: array of schemas in the file
+# - untagged_remarks: file-level preamble remarks
+
+exp_file = Expressir::Model::ExpFile.new(path: "my_schema.exp")
+exp_file.schemas = [schema]
+exp_file.untagged_remarks = [remark_info]
+```
+
+#### Parser Return Type Changed
+
+`Expressir::Express::Parser.from_file` now returns an `ExpFile` instead of a `Repository`:
+
+```ruby
+# Old: returned Repository
+# New: returns ExpFile
+exp_file = Expressir::Express::Parser.from_file("schema.exp")
+exp_file.path   # => "schema.exp"
+exp_file.schemas # => [#<Expressir::Model::Declarations::Schema...>]
+```
+
+#### Error Class Changes
+
+- `InvalidSchemaManifestError` → Use `ManifestValidationError` instead
+- `Expressir::Express::CacheVersionMismatchError` → Use `Expressir::Express::Error::CacheVersionMismatchError`
+
+#### RemarkInfo Required
+
+Remark formatters now require `RemarkInfo` objects instead of strings:
+
+```ruby
+# Old:
+formatter.format_preamble_remark("This is a remark")
+
+# New:
+remark = Expressir::Model::RemarkInfo.new(text: "This is a remark")
+formatter.format_preamble_remark(remark)
+```
+
+### Added
+
+- `Expressir::Model::ExpFile` class for representing EXPRESS files
+- `Expressir::Model::Concerns` module with marker modules for O(1) type checking:
+  - `HasRemarkItems` - types that can have remark_items children
+  - `ScopeContainer` - types that can contain declarations
+  - `HasInformalPropositions` - types supporting informal propositions
+  - `HasWhereRules` - types supporting where rules
+- `Repository#add_schema(schema)` method for adding schemas
+- `Repository#files` attribute for storing ExpFile objects
+- `Package::Builder#normalize_repository` ensures proper serialization format
+
+### Changed
+
+- `Repository#schemas` now returns schemas from both `files` and internal storage
+- `Parser.from_file` returns `ExpFile` instead of `Repository`
+- `Parser.from_files` creates `Repository` with `ExpFile` objects
+- `Parser.from_exp` returns `ExpFile` instead of `Repository`
+- `format_repository` in formatters handles both file-based and direct schemas
+- Preamble remarks now attach to `ExpFile` instead of first `Schema`
+
+### Removed
+
+- All backward compatibility code for legacy serialized data
+- `Repository#schemas=` writer (use `add_schema` instead)
+- Legacy string handling in remark formatters
+- `InvalidSchemaManifestError` alias (use `ManifestValidationError`)
+- Legacy `@schemas` attribute migration in Repository
+- Array-based type checking in `remark_attacher.rb` (replaced with module markers)
+
+### Migration Guide
+
+#### Updating Code That Uses Repository
+
+```ruby
+# Before:
+repo = Expressir::Model::Repository.new
+repo.schemas << schema
+
+# After:
+repo = Expressir::Model::Repository.new
+repo.add_schema(schema)
+```
+
+#### Updating Code That Parses Files
+
+```ruby
+# Before:
+repo = Expressir::Express::Parser.from_file("schema.exp")
+schema = repo.schemas.first
+
+# After:
+exp_file = Expressir::Express::Parser.from_file("schema.exp")
+schema = exp_file.schemas.first
+
+# Or wrap in repository:
+repo = Expressir::Model::Repository.new
+repo.files << Expressir::Express::Parser.from_file("schema.exp")
+```
+
+#### Updating Serialized Packages
+
+Old `.ler` packages need to be regenerated with the new format:
+
+```ruby
+# Load old package (will fail with new code)
+# repo = Expressir::Model::Repository.from_package("old.ler")
+
+# Regenerate by parsing original EXPRESS files
+exp_file = Expressir::Express::Parser.from_file("schema.exp")
+repo = Expressir::Model::Repository.new
+repo.files << exp_file
+repo.export_to_package("new.ler", name: "My Package", version: "1.0.0")
+```
+
+## [2.2.1] - 2024-03-14
+
+### Changed
+
+- Refactored `require` to `autoload` pattern for better load performance
+- Updated error handling to use error classes instead of `abort`

data/Gemfile

@@ -0,0 +1,18 @@
+# frozen_string_literal: true
+
+source "https://rubygems.org"
+
+gemspec
+
+gem "canon"
+gem "irb"
+gem "lutaml-model", "0.8.76"
+gem "openssl", "~> 3.0"
+gem "rake"
+gem "rake-compiler"
+gem "rspec"
+gem "rubocop"
+gem "rubocop-performance"
+gem "rubocop-rake"
+gem "rubocop-rspec"
+gem "yard"