expressir 2.4.31-arm-linux → 2.4.36-arm-linux

data/lib/expressir/reference/note_catalog.rb

@@ -0,0 +1,54 @@
+# frozen_string_literal: true
+
+module Expressir
+  module Reference
+    # Catalog of Checker note ids, generated from the checker source so
+    # the published guide cannot drift from the implementation.
+    class NoteCatalog
+      CHECKER_PATH = File.expand_path("../express/checker.rb", __dir__)
+      NOTE_CALL = /note!\(:([a-z0-9_]+)/
+
+      class << self
+        def checker_path
+          CHECKER_PATH
+        end
+
+        def entries
+          File.read(CHECKER_PATH).scan(NOTE_CALL).flatten.tally.sort.to_h
+        end
+
+        def ids
+          entries.keys
+        end
+
+        def render_adoc
+          lines = [
+            "= Checker note-id catalog",
+            "",
+            "// Generated from lib/expressir/express/checker.rb by",
+            "// `rake reference:notes`. Do not edit by hand; the reference",
+            "// spec fails when this file is stale.",
+            "",
+            "== Purpose",
+            "",
+            "Every note id the Checker can raise, with the number of call",
+            "sites in the implementation. New checks use `:check_*` ids;",
+            "the conformance-derived ids (`:check_expr_*`, `:check_dialect_*`)",
+            "cite their clause in the note message.",
+            "",
+            '[cols="3,1", options="header"]',
+            "|===",
+            "| Note id | Call sites",
+            "",
+            *entries.map { |id, count| "| `#{id}` | #{count}" },
+            "|===",
+            "",
+            "The catalog covers #{ids.size} note ids.",
+            "",
+          ]
+          lines.join("\n")
+        end
+      end
+    end
+  end
+end

data/lib/expressir/reference.rb

@@ -0,0 +1,10 @@
+# frozen_string_literal: true
+
+module Expressir
+  # Citable reference artifacts generated from the implementation:
+  # the grammar cross-walk and the checker note-id catalog.
+  module Reference
+    autoload :GrammarCrosswalk, "#{__dir__}/reference/grammar_crosswalk"
+    autoload :NoteCatalog, "#{__dir__}/reference/note_catalog"
+  end
+end

data/lib/expressir/version.rb

@@ -3,6 +3,6 @@ module Expressir
   # autoload it (Ruby autoload only works for module/class constants, not
   # for string constants like `Expressir::VERSION`).
   module Version
-    VERSION = "2.4.31".freeze
+    VERSION = "2.4.36".freeze
   end
 end

data/lib/expressir.rb

@@ -30,6 +30,8 @@ module Expressir
 
   autoload :Version, "#{__dir__}/expressir/version"
   autoload :Mapping, "#{__dir__}/expressir/mapping"
+  autoload :P21, "#{__dir__}/expressir/p21"
+  autoload :Reference, "#{__dir__}/expressir/reference"
 
   # Error classes — autoload the same errors.rb file from each name.
   # The first reference triggers the load; the file defines all 21 classes.
@@ -74,9 +76,12 @@ module Expressir
   autoload :Model, "#{__dir__}/expressir/model"
   autoload :Commands, "#{__dir__}/expressir/commands"
   autoload :Changes, "#{__dir__}/expressir/changes"
+  autoload :Conformance, "#{__dir__}/expressir/conformance"
   autoload :Package, "#{__dir__}/expressir/package"
   autoload :Manifest, "#{__dir__}/expressir/manifest"
   autoload :Eengine, "#{__dir__}/expressir/eengine"
+  autoload :Interop, "#{__dir__}/expressir/interop"
+  autoload :Lsp, "#{__dir__}/expressir/lsp"
   autoload :SchemaManifest, "#{__dir__}/expressir/schema_manifest"
   autoload :SchemaManifestEntry, "#{__dir__}/expressir/schema_manifest_entry"
 

data/lib/tasks/conformance.rake

@@ -0,0 +1,27 @@
+# frozen_string_literal: true
+
+desc "Property-based conformance harness over the full corpus " \
+     "(parse → format → parse idempotence)"
+task :conformance do
+  ENV["EXPRESSIR_CONFORMANCE"] = "1"
+  sh "bundle exec rspec spec/expressir/express/formatter_roundtrip_conformance_spec.rb"
+end
+
+namespace :conformance do
+  desc "Measure parse, diagnostic and idempotence rates over the corpus " \
+       "and write a JSON trend artifact"
+  task :trend do
+    require "expressir"
+
+    stepmod = ENV["STEPMOD_DIR"] ||
+      File.expand_path("~/src/mn/iso-10303-stepmod")
+    corpus = File.join(stepmod, "data/resources")
+    files = Dir[File.join(corpus, "**/*.exp")]
+      .select { |file| File.size(file) < 250_000 }
+    output = ENV["CONFORMANCE_TREND_OUT"] || "conformance-trend.json"
+    report = Expressir::Conformance::Trend.run(files, output: output)
+    puts "wrote #{output} " \
+         "(parse #{report['parse_rate']}, idempotence " \
+         "#{report['idempotence_rate']}, diagnostics #{report['diagnostic_rate']})"
+  end
+end

data/lib/tasks/reference.rake

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+namespace :reference do
+  desc "Regenerate the grammar cross-walk guide"
+  task :crosswalk do
+    require "expressir"
+
+    path = Expressir.root_path.join(
+      "docs/_guides/reference/grammar-crosswalk.adoc",
+    )
+    File.write(path, Expressir::Reference::GrammarCrosswalk.render_adoc)
+    puts "wrote #{path}"
+  end
+
+  desc "Regenerate the checker note-id catalog"
+  task :notes do
+    require "expressir"
+
+    path = Expressir.root_path.join(
+      "docs/_guides/reference/checker-notes.adoc",
+    )
+    File.write(path, Expressir::Reference::NoteCatalog.render_adoc)
+    puts "wrote #{path}"
+  end
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: expressir
 version: !ruby/object:Gem::Version
-  version: 2.4.31
+  version: 2.4.36
 platform: arm-linux
 authors:
 - Ribose Inc.
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2026-10-12 00:00:00.000000000 Z
+date: 2026-10-21 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: base64
@@ -86,14 +86,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.8.76
+        version: 0.8.114
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.8.76
+        version: 0.8.114
 - !ruby/object:Gem::Dependency
   name: moxml
   requirement: !ruby/object:Gem::Requirement
@@ -232,12 +232,14 @@ email:
 - open.source@ribose.com
 executables:
 - expressir
+- expressir-lsp
 extensions: []
 extra_rdoc_files: []
 files:
 - ".cargo/config.toml"
 - ".github/scripts/test_installed_gem.rb"
 - ".github/workflows/codeql.yml"
+- ".github/workflows/conformance.yml"
 - ".github/workflows/docs.yml"
 - ".github/workflows/links.yml"
 - ".github/workflows/native-gems.yml"
@@ -287,6 +289,16 @@ files:
 - TODO.bugs/29-validate-ascii-god-class.md
 - TODO.bugs/30-unicode-map-extraction.md
 - TODO.bugs/README.md
+- TODO.eengine/00-overview.md
+- TODO.eengine/01-resolution-diagnostics.md
+- TODO.eengine/02-check-catalog-completion.md
+- TODO.eengine/03-entity-computations.md
+- TODO.eengine/04-shtolo-rule-audit.md
+- TODO.eengine/05-shtolo-longform-flatten.md
+- TODO.eengine/06-population-p21.md
+- TODO.eengine/07-schema-compare-patch.md
+- TODO.eengine/08-official-corpus-gate.md
+- TODO.eengine/09-mim-mapping-parser.md
 - TODO.max-perf/01-restore-ci-green.md
 - TODO.max-perf/02-streaming-parse-path.md
 - TODO.max-perf/03-cli-parallel-opt-in.md
@@ -323,6 +335,14 @@ files:
 - TODO.parity-ee/19-architecture.md
 - TODO.parity-ee/parity-matrix.md
 - TODO.refpath-v2/00-overview.md
+- TODO.sota/00-overview.md
+- TODO.sota/01-type-checking.md
+- TODO.sota/02-evaluator.md
+- TODO.sota/03-conformance.md
+- TODO.sota/04-lsp.md
+- TODO.sota/05-interop.md
+- TODO.sota/06-dialects.md
+- TODO.sota/07-reference-artifacts.md
 - TODO.suma-improvements/00-overview.md
 - TODO.suma-improvements/01-prebuilt-platform-gems.md
 - TODO.suma-improvements/02-suma-e2e.md
@@ -356,6 +376,9 @@ files:
 - docs/_guides/cli/validate-schemas.adoc
 - docs/_guides/formatter/formatter-architecture.adoc
 - docs/_guides/index.adoc
+- docs/_guides/interop/index.adoc
+- docs/_guides/interop/json-schema.adoc
+- docs/_guides/interop/owl-rdf.adoc
 - docs/_guides/ler/creating-packages.adoc
 - docs/_guides/ler/index.adoc
 - docs/_guides/ler/loading-packages.adoc
@@ -372,6 +395,14 @@ files:
 - docs/_guides/manifests/index.adoc
 - docs/_guides/manifests/resolving-manifests.adoc
 - docs/_guides/manifests/validating-manifests.adoc
+- docs/_guides/reference/checker-notes.adoc
+- docs/_guides/reference/checker.adoc
+- docs/_guides/reference/evaluator.adoc
+- docs/_guides/reference/grammar-crosswalk.adoc
+- docs/_guides/reference/index.adoc
+- docs/_guides/reference/lsp.adoc
+- docs/_guides/reference/p21.adoc
+- docs/_guides/reference/shtolo.adoc
 - docs/_guides/ruby-api/formatting-schemas.adoc
 - docs/_guides/ruby-api/index.adoc
 - docs/_guides/ruby-api/parsing-files.adoc
@@ -411,6 +442,7 @@ files:
 - exe/expressir
 - exe/expressir-format
 - exe/expressir-format-test
+- exe/expressir-lsp
 - expressir.gemspec
 - lib/expressir.rb
 - lib/expressir/3.2/expressir_core.so
@@ -435,6 +467,8 @@ files:
 - lib/expressir/commands/clean.rb
 - lib/expressir/commands/coverage.rb
 - lib/expressir/commands/expand.rb
+- lib/expressir/commands/export_json_schema.rb
+- lib/expressir/commands/export_owl.rb
 - lib/expressir/commands/file_violations.rb
 - lib/expressir/commands/fix.rb
 - lib/expressir/commands/flatten.rb
@@ -445,12 +479,15 @@ files:
 - lib/expressir/commands/non_ascii_violation_collection.rb
 - lib/expressir/commands/package.rb
 - lib/expressir/commands/parity_inputs.rb
+- lib/expressir/commands/smrl_xml_index.rb
 - lib/expressir/commands/validate.rb
 - lib/expressir/commands/validate_ascii.rb
 - lib/expressir/commands/validate_load.rb
 - lib/expressir/commands/version_command.rb
 - lib/expressir/commands/xsd.rb
 - lib/expressir/config.rb
+- lib/expressir/conformance.rb
+- lib/expressir/conformance/trend.rb
 - lib/expressir/coverage.rb
 - lib/expressir/eengine.rb
 - lib/expressir/eengine/arm_compare_report.rb
@@ -459,6 +496,12 @@ files:
 - lib/expressir/eengine/mim_compare_report.rb
 - lib/expressir/eengine/modified_object.rb
 - lib/expressir/errors.rb
+- lib/expressir/eval.rb
+- lib/expressir/eval/environment.rb
+- lib/expressir/eval/expression.rb
+- lib/expressir/eval/interpreter.rb
+- lib/expressir/eval/rules.rb
+- lib/expressir/eval/values.rb
 - lib/expressir/express.rb
 - lib/expressir/express/adoc_hyperlink_formatter.rb
 - lib/expressir/express/adoc_source_formatter.rb
@@ -504,6 +547,7 @@ files:
 - lib/expressir/express/checker.rb
 - lib/expressir/express/concatenator.rb
 - lib/expressir/express/core.rb
+- lib/expressir/express/dialect.rb
 - lib/expressir/express/error.rb
 - lib/expressir/express/formatter.rb
 - lib/expressir/express/formatters.rb
@@ -536,6 +580,7 @@ files:
 - lib/expressir/express/remark_scanner.rb
 - lib/expressir/express/resolve_references_model_visitor.rb
 - lib/expressir/express/schema_block_scanner.rb
+- lib/expressir/express/schema_compare.rb
 - lib/expressir/express/schema_head_formatter.rb
 - lib/expressir/express/schema_plain_source_formatter.rb
 - lib/expressir/express/schema_source_formatter.rb
@@ -546,7 +591,14 @@ files:
 - lib/expressir/express/source_formatter.rb
 - lib/expressir/express/streaming_builder.rb
 - lib/expressir/express/xsd.rb
+- lib/expressir/interop.rb
+- lib/expressir/interop/json_schema.rb
+- lib/expressir/interop/owl.rb
 - lib/expressir/liquid.rb
+- lib/expressir/lsp.rb
+- lib/expressir/lsp/document.rb
+- lib/expressir/lsp/server.rb
+- lib/expressir/lsp/workspace.rb
 - lib/expressir/manifest.rb
 - lib/expressir/manifest/resolver.rb
 - lib/expressir/manifest/validator.rb
@@ -648,13 +700,25 @@ files:
 - lib/expressir/model/supertype_expressions.rb
 - lib/expressir/model/supertype_expressions/binary_supertype_expression.rb
 - lib/expressir/model/supertype_expressions/oneof_supertype_expression.rb
+- lib/expressir/p21.rb
+- lib/expressir/p21/builder.rb
+- lib/expressir/p21/grammar.rb
+- lib/expressir/p21/parser.rb
+- lib/expressir/p21/population.rb
+- lib/expressir/p21/validator.rb
 - lib/expressir/package.rb
 - lib/expressir/package/builder.rb
 - lib/expressir/package/metadata.rb
 - lib/expressir/package/reader.rb
+- lib/expressir/reference.rb
+- lib/expressir/reference/grammar_crosswalk.rb
+- lib/expressir/reference/grammar_crosswalk.yml
+- lib/expressir/reference/note_catalog.rb
 - lib/expressir/schema_manifest.rb
 - lib/expressir/schema_manifest_entry.rb
 - lib/expressir/version.rb
+- lib/tasks/conformance.rake
+- lib/tasks/reference.rake
 - lib/tasks/verify_remarks.rake
 - rakelib/native.rake
 - rakelib/oracle.rake