expressir 2.4.64 → 2.4.66

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: e59a0ad2c89ffedec981b58cdfd5306091f4077b09f079cf3c4171fda74db78c
-  data.tar.gz: 19de4b36ecd8045df80e025c0f00592ceda95673fd80a15f2ee2745c39084587
+  metadata.gz: 181fe5fd66409895fe025e9c6ac010ce82af48f8ba9f51a697ab8c8910e8834f
+  data.tar.gz: 987e054bdf5ee0c6f9f2571286f518babb40ee01aa96d1c30450cf42b27e7ec2
 SHA512:
-  metadata.gz: ab2a3e695d4913149bb6f7d00717e562f139f43dd46d232fe63b958f11af74fb01520640d7896615789b785429128d235045da69afcb3bd4b74b238f2bd598ea
-  data.tar.gz: b42b3cdab3bda4ac9ce6fa9645d42a41436591036d85b60f7e18a03e2fdbe8752750a7df1bfd3ba3a9f8cea77a0fb76884362b2aadec968ff0f2d5ddcf54df96
+  metadata.gz: b9a09e37cf413fadbe54a5194cbfb902eb8e8ef5c60ece71edd7f4c1cf782b3eb7e2ebee86d3b64b7593d2629c5a8fc23734d886c62f48ffc5e49e52f1a4851e
+  data.tar.gz: bb9027b0e4b5bc568e00edcdbfd4a5f2f91d176ac32ddf5d43122b23601a2929ecfaf163dd27a80f9133f07ec9c15d0d503b85c601d2e106c02ca9c7af201af7

data/.gitattributes

@@ -0,0 +1,4 @@
+# Byte-exact fixture: the P21 artifact's checksums attest the
+# producer's exact bytes, so checkout line-ending conversion must
+# never touch it (windows CRLF checkouts would break the seal).
+lib/expressir/p21/iso-10303-21.artifact.json -text

data/.github/workflows/engine-compat.yml

@@ -0,0 +1,30 @@
+name: engine-compat
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+  workflow_dispatch:
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  engine-compat:
+    runs-on: ubuntu-24.04
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: "3.4"
+
+      # The checker is stdlib-only (json/open3/rubygems) — no bundler.
+      - name: Verify ENGINE-COMPAT.json against the ext pin and rubygems
+        run: |
+          ruby -Ilib -rexpressir/tools/check_engine_compat -e '
+            failures = Expressir::Tools::CheckEngineCompat.failures(root: Dir.pwd)
+            abort(failures.join("\n")) unless failures.empty?
+            puts "engine-compat OK"
+          '

data/.github/workflows/fuzz.yml

@@ -0,0 +1,49 @@
+# The differential fuzz (issue #624, mirroring parsanol's fuzz.yml):
+# date-seeded mutations over the corpus, parsed + attached + formatted
+# on both lanes (native extension, pure-Ruby fallback) with byte-exact
+# comparison. Drift is a release blocker.
+name: differential-fuzz
+
+permissions:
+  contents: read
+
+on:
+  schedule:
+    - cron: "0 5 * * *"
+  workflow_dispatch:
+    inputs:
+      seed:
+        description: "Generator seed (default: today, YYYYMMDD)"
+        required: false
+      cases:
+        description: "Number of mutated cases"
+        required: false
+        default: "120"
+
+jobs:
+  fuzz:
+    runs-on: ubuntu-latest
+    env:
+      FUZZ_SEED: ${{ github.event.inputs.seed }}
+      FUZZ_CASES: ${{ github.event.inputs.cases }}
+      FUZZ_EXPORT_DIR: ${{ github.workspace }}/fuzz-artifacts
+    steps:
+      - uses: actions/checkout@v4
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: "3.4"
+          bundler-cache: true
+      - name: Default the seed to today
+        run: |
+          if [ -z "$FUZZ_SEED" ]; then
+            echo "FUZZ_SEED=$(date +%Y%m%d)" >> "$GITHUB_ENV"
+          fi
+      - name: Differential fuzz across the lanes
+        run: |
+          bundle exec rake fuzz:run 2>&1 | tee fuzz.log
+          {
+            echo '### Differential fuzz'
+            echo '```'
+            grep 'fuzz stats' fuzz.log || true
+            echo '```'
+          } >> "$GITHUB_STEP_SUMMARY"

data/.github/workflows/lane-parity.yml

@@ -0,0 +1,38 @@
+# The lane-parity gate (issue #623): the pure-Ruby fallback is a
+# supported configuration, not a degraded one — the suite runs on
+# both lanes and the fallback lane must stay green. Drift between
+# the native lane and the fallback lane is a release blocker.
+name: lane-parity
+
+permissions:
+  contents: read
+
+on:
+  push:
+    branches: [master, main]
+  pull_request:
+
+jobs:
+  native-lane:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: "3.4"
+          bundler-cache: true
+      - name: Suite on the native lane
+        run: bundle exec rspec spec/expressir/express spec/expressir/p21 -f progress
+
+  fallback-lane:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: "3.4"
+          bundler-cache: true
+      - name: Suite on the pure-Ruby fallback lane
+        run: bundle exec rspec spec/expressir/express spec/expressir/p21 -f progress
+        env:
+          EXPRESSIR_DISABLE_NATIVE: "1"

data/ENGINE-COMPAT.json

@@ -0,0 +1,10 @@
+{
+  "engine_commit": "7a3fb54319a47b96ec07b9324066f98099bb2f8a",
+  "rubygems": "2.4.65",
+  "ext": "v0.1.35",
+  "crates": null,
+  "npm": null,
+  "pypi": null,
+  "released_at": "2026-11-11T02:02:03Z",
+  "_comment": "expressir#618 — the engine-compat manifest, mirroring parsanol-rs#423. Maps the expressir gem train to the expressir-rs ext tag and its engine commit; the null fields fill as the crates/npm/pypi tiers land (expressir#619/#622/#621). tools/check_engine_compat.rb verifies the pairings in CI; every release train updates this file."
+}

data/ext/expressir_core/Cargo.toml

@@ -13,7 +13,7 @@ magnus = { version = "0.9" }
 # Pinned core release (M1, TODO.parity-ee/19): the ext never floats
 # main — bump the tag per expressir release, alongside the validation
 # run that pins it.
-expressir-rs = { git = "https://github.com/lutaml/expressir-rs", tag = "v0.1.34" }
+expressir-rs = { git = "https://github.com/lutaml/expressir-rs", tag = "v0.1.35" }
 serde_json = "1.0"
 
 

data/lib/expressir/express/builder.rb

@@ -106,7 +106,7 @@ module Expressir
         # build so recursive build calls can read source/include_source via
         # `Builder.source` / `Builder.include_source`. The previous context
         # (if any) is restored on exit so nested builds are reentrant.
-        def build_with_remarks(ast, source: nil, include_source: nil)
+        def build_with_remarks(ast, source: nil, include_source: nil, annotations: false)
           # Trigger BuilderRegistry autoload so all AST node type handlers
           # are registered before build() runs. The reference to
           # BuilderRegistry resolves the autoload defined in express.rb.
@@ -123,7 +123,7 @@ module Expressir
           # Only attach remarks if include_source is explicitly true
           # (nil means use default behavior - attach remarks)
           if source && result && include_source != false
-            attacher = RemarkAttacher.new(source)
+            attacher = RemarkAttacher.new(source, annotations: annotations)
             attacher.attach(result)
           end
 

data/lib/expressir/express/core.rb

@@ -9,7 +9,11 @@ module Expressir
     # callers fall back to the pure-Ruby parser otherwise.
     #
     module Core
-      NATIVE_AVAILABLE = begin
+      # EXPRESSIR_DISABLE_NATIVE=1 forces the pure-Ruby fallback lanes
+      # even when the extension is present: the no-native lane is a
+      # supported configuration (issue #623) — CI runs the suite on
+      # both lanes so fallback drift cannot land.
+      NATIVE_AVAILABLE = ENV["EXPRESSIR_DISABLE_NATIVE"] != "1" && begin
         require "expressir/expressir_core"
         true
       rescue LoadError
@@ -68,6 +72,8 @@ module Expressir
       # RemarkScanner::Remark's fields (position, end_position, line,
       # text, tag, format), straight from the Rust scanner.
       def self.scan_remarks(source, annotations: false)
+        raise NotImplementedError, "the native extension is unavailable" unless NATIVE_AVAILABLE
+
         ::Expressir::Core.scan_remarks(source, annotations)
       end
 

data/lib/expressir/express/formatters/remark_item_formatter.rb

@@ -13,27 +13,23 @@ module Expressir
           # The tag form follows the owner: items in rule contexts
           # (WHERE/UNIQUE/IP) historically carry bare tags
           # (`--"unusual_placement" text`), WG12-style items carry the
-          # schema-relative path. node.path is rooted at the ExpFile,
-          # whose id is the file path — drop that leading segment
-          # (expressir#603).
+          # schema-relative path. A referable `__note:id` has no rule to
+          # anchor it in a bare tail tag (it would reattach to the
+          # schema), so it carries the path too (annotated-express#103).
           rule_context = node.parent.is_a?(Model::Declarations::WhereRule) ||
             node.parent.is_a?(Model::Declarations::UniqueRule) ||
             node.parent.is_a?(Model::Declarations::InformalPropositionRule)
-          if rule_context
-            tag = node.id.to_s
-          else
-            tag = node.path.to_s
-            root = node
-            root = root.parent while root.respond_to?(:parent) && root.parent
-            prefix = "#{root.id}." if root.respond_to?(:id) && root.id
-            tag = tag.delete_prefix(prefix) if prefix && tag.start_with?(prefix)
-          end
+          tag = if rule_context && !node.id.to_s.start_with?("__")
+                  node.id.to_s
+                else
+                  schema_relative_path(node)
+                end
 
           # Remark items are WG12 annotation blocks: the embedded form,
           # a block per remark, matching the source convention of the
           # annotated corpora (the conservation pairs are embedded, so
           # tail-form emission reads as phantom gains). Rule-context
-          # owners keep the historic bare-tag tail form.
+          # owners keep the historic tail form.
           if rule_context
             return node.remarks
                 .map { |remark| "--\"#{tag}\" #{remark}" }
@@ -48,6 +44,17 @@ module Expressir
             end
           end.join("\n")
         end
+
+        private
+
+        # node.path is rooted at the ExpFile, whose id is the file path
+        # or nil; drop that leading segment (expressir#603).
+        def schema_relative_path(node)
+          root = node
+          root = root.parent while root.respond_to?(:parent) && root.parent
+          prefix = root.respond_to?(:id) ? "#{root.id}." : ""
+          node.path.to_s.delete_prefix(prefix)
+        end
       end
     end
   end

data/lib/expressir/express/parser.rb

@@ -94,7 +94,8 @@ module Expressir
           end
 
           exp_file = ::Expressir::Express::Builder.build_with_remarks(ast, source: source,
-                                                                           include_source: include_source)
+                                                                           include_source: include_source,
+                                                                           annotations: annotations)
 
           # issue #537 part 2: a remark-only fragment (no SCHEMA
           # wrapper — e.g. conversion artifacts) parses to an empty

data/lib/expressir/p21/iso-10303-21.artifact.json

@@ -0,0 +1 @@
+{"bindings":null,"version":"1.0.0","grammar":"Iso1030321","shape":"parsanol-tree/v2","binding_version":1,"entries":{"exchange_structure":{"root":"exchange_structure","grammar":{"atoms":[{"Entity":{"atom":15}},{"Re":{"pattern":"[ ]"}},{"Re":{"pattern":"[\\x09]"}},{"Re":{"pattern":"[\\x0d]"}},{"Re":{"pattern":"[\\x0a]"}},{"Entity":{"atom":13}},{"Str":{"pattern":"/*"}},{"Str":{"pattern":"*/"}},{"Lookahead":{"atom":7,"positive":false}},{"Re":{"pattern":"[\\x00-\\u{10ffff}]"}},{"Sequence":{"atoms":[8,9]}},{"Repetition":{"atom":10,"min":0,"max":null,"tag":"Repetition"}},{"Str":{"pattern":"*/"}},{"Sequence":{"atoms":[6,11,12]}},{"Alternative":{"atoms":[1,2,3,4,5]}},{"Repetition":{"atom":14,"min":0,"max":null,"tag":"Repetition"}},{"Str":{"pattern":"ISO-10303-21;"}},{"Entity":{"atom":15}},{"Entity":{"atom":183}},{"Str":{"pattern":"HEADER;"}},{"Entity":{"atom":15}},{"Entity":{"atom":25}},{"Str":{"pattern":".."}},{"Entity":{"atom":15}},{"Sequence":{"atoms":[22,23]}},{"Repetition":{"atom":24,"min":0,"max":null,"tag":"Repetition"}},{"Entity":{"atom":178}},{"Entity":{"atom":174}},{"Entity":{"atom":37}},{"Str":{"pattern":"!"}},{"Repetition":{"atom":29,"min":0,"max":1,"tag":"Maybe"}},{"Re":{"pattern":"[\\x41-\\x5a]"}},{"Re":{"pattern":"[\\x61-\\x7a]"}},{"Re":{"pattern":"[\\x30-\\x39]"}},{"Re":{"pattern":"[_]"}},{"Alternative":{"atoms":[31,32,33,34]}},{"Repetition":{"atom":35,"min":1,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[30,36]}},{"Named":{"name":"keyword","atom":28}},{"Entity":{"atom":15}},{"Entity":{"atom":172}},{"Str":{"pattern":"("}},{"Entity":{"atom":15}},{"Entity":{"atom":168}},{"Entity":{"atom":166}},{"Entity":{"atom":37}},{"Named":{"name":"keyword","atom":45}},{"Entity":{"atom":15}},{"Entity":{"atom":164}},{"Named":{"name":"parameter","atom":43}},{"Str":{"pattern":","}},{"Entity":{"atom":15}},{"Entity":{"atom":158}},{"Named":{"name":"typed_parameter","atom":44}},{"Entity":{"atom":62}},{"Named":{"name":"parameter","atom":52}},{"Sequence":{"atoms":[50,51,55]}},{"Repetition":{"atom":56,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[49,57]}},{"Repetition":{"atom":58,"min":0,"max":1,"tag":"Maybe"}},{"Str":{"pattern":")"}},{"Entity":{"atom":15}},{"Sequence":{"atoms":[41,42,59,60,61]}},{"Named":{"name":"parameter_list","atom":54}},{"Entity":{"atom":68}},{"Str":{"pattern":"#"}},{"Re":{"pattern":"[\\x30-\\x39]"}},{"Repetition":{"atom":66,"min":1,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[65,67]}},{"Named":{"name":"entity_instance_name","atom":64}},{"Entity":{"atom":82}},{"Str":{"pattern":"#"}},{"Re":{"pattern":"[\\x41-\\x5a]"}},{"Re":{"pattern":"[\\x61-\\x7a]"}},{"Re":{"pattern":"[_]"}},{"Alternative":{"atoms":[72,73,74]}},{"Re":{"pattern":"[\\x41-\\x5a]"}},{"Re":{"pattern":"[\\x61-\\x7a]"}},{"Re":{"pattern":"[\\x30-\\x39]"}},{"Re":{"pattern":"[_]"}},{"Alternative":{"atoms":[76,77,78,79]}},{"Repetition":{"atom":80,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[71,75,81]}},{"Named":{"name":"constant_reference","atom":70}},{"Entity":{"atom":92}},{"Str":{"pattern":"<"}},{"Str":{"pattern":">"}},{"Lookahead":{"atom":86,"positive":false}},{"Re":{"pattern":"[\\x00-\\u{10ffff}]"}},{"Sequence":{"atoms":[87,88]}},{"Repetition":{"atom":89,"min":0,"max":null,"tag":"Repetition"}},{"Str":{"pattern":">"}},{"Sequence":{"atoms":[85,90,91]}},{"Named":{"name":"external_anchor","atom":84}},{"Entity":{"atom":117}},{"Re":{"pattern":"[+]"}},{"Re":{"pattern":"[\\-]"}},{"Alternative":{"atoms":[95,96]}},{"Repetition":{"atom":97,"min":0,"max":1,"tag":"Maybe"}},{"Re":{"pattern":"[\\x30-\\x39]"}},{"Repetition":{"atom":99,"min":1,"max":null,"tag":"Repetition"}},{"Str":{"pattern":"."}},{"Re":{"pattern":"[\\x30-\\x39]"}},{"Repetition":{"atom":102,"min":1,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[101,103]}},{"Repetition":{"atom":104,"min":0,"max":1,"tag":"Maybe"}},{"Re":{"pattern":"[E]"}},{"Re":{"pattern":"[e]"}},{"Alternative":{"atoms":[106,107]}},{"Re":{"pattern":"[+]"}},{"Re":{"pattern":"[\\-]"}},{"Alternative":{"atoms":[109,110]}},{"Repetition":{"atom":111,"min":0,"max":1,"tag":"Maybe"}},{"Re":{"pattern":"[\\x30-\\x39]"}},{"Repetition":{"atom":113,"min":1,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[108,112,114]}},{"Repetition":{"atom":115,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[98,100,105,116]}},{"Named":{"name":"number_literal","atom":94}},{"Entity":{"atom":128}},{"Str":{"pattern":"."}},{"Re":{"pattern":"[\\x41-\\x5a]"}},{"Re":{"pattern":"[\\x61-\\x7a]"}},{"Re":{"pattern":"[\\x30-\\x39]"}},{"Re":{"pattern":"[_]"}},{"Alternative":{"atoms":[121,122,123,124]}},{"Repetition":{"atom":125,"min":1,"max":null,"tag":"Repetition"}},{"Str":{"pattern":"."}},{"Sequence":{"atoms":[120,126,127]}},{"Named":{"name":"enumeration","atom":119}},{"Entity":{"atom":138}},{"Re":{"pattern":"[\"]"}},{"Re":{"pattern":"[\\x30-\\x39]"}},{"Re":{"pattern":"[\\x41-\\x46]"}},{"Re":{"pattern":"[\\x61-\\x66]"}},{"Alternative":{"atoms":[132,133,134]}},{"Repetition":{"atom":135,"min":0,"max":null,"tag":"Repetition"}},{"Re":{"pattern":"[\"]"}},{"Sequence":{"atoms":[131,136,137]}},{"Named":{"name":"binary_literal","atom":130}},{"Entity":{"atom":150}},{"Str":{"pattern":"'"}},{"Str":{"pattern":"'"}},{"Lookahead":{"atom":142,"positive":false}},{"Re":{"pattern":"[\\x00-\\u{10ffff}]"}},{"Sequence":{"atoms":[143,144]}},{"Str":{"pattern":"''"}},{"Alternative":{"atoms":[145,146]}},{"Repetition":{"atom":147,"min":0,"max":null,"tag":"Repetition"}},{"Str":{"pattern":"'"}},{"Sequence":{"atoms":[141,148,149]}},{"Named":{"name":"string_literal","atom":140}},{"Entity":{"atom":153}},{"Str":{"pattern":"$"}},{"Named":{"name":"unset","atom":152}},{"Entity":{"atom":156}},{"Str":{"pattern":"*"}},{"Named":{"name":"derived","atom":155}},{"Alternative":{"atoms":[53,63,69,83,93,118,129,139,151,154,157]}},{"Named":{"name":"parameter","atom":52}},{"Sequence":{"atoms":[50,51,159]}},{"Repetition":{"atom":160,"min":0,"max":null,"tag":"Repetition"}},{"Sequence":{"atoms":[49,161]}},{"Repetition":{"atom":162,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[41,42,163,60,61]}},{"Named":{"name":"parameter_list","atom":48}},{"Sequence":{"atoms":[46,47,165]}},{"Named":{"name":"typed_parameter","atom":44}},{"Alternative":{"atoms":[167,63,69,83,93,118,129,139,151,154,157]}},{"Named":{"name":"parameter","atom":43}},{"Sequence":{"atoms":[169,161]}},{"Repetition":{"atom":170,"min":0,"max":1,"tag":"Maybe"}},{"Sequence":{"atoms":[41,42,171,60,61]}},{"Named":{"name":"parameter_list","atom":40}},{"Sequence":{"atoms":[38,39,173]}},{"Named":{"name":"simple_record","atom":27}},{"Str":{"pattern":";"}},{"Entity":{"atom":15}},{"Sequence":{"atoms":[175,176,177]}},{"Repetition":{"atom":26,"min":1,"max":null,"tag":"Repetition"}},{"Named":{"name":"header_entity","atom":179}},{"Str":{"pattern":"ENDSEC;"}},{"Entity":{"atom":15}},{"Sequence":{"atoms":[19,20,21,180,181,182]}},{"Named":{"name":"header_section","atom":18}},{"Entity":{"atom":225}},{"Str":{"pattern":"ANCHOR;"}},{"Entity":{"atom":15}},{"Entity":{"atom":219}},{"Str":{"pattern":"<"}},{"Str":{"pattern":">"}},{"Lookahead":{"atom":190,"positive":false}},{"Re":{"pattern":"[\\x41-\\x5a]"}},{"Re":{"pattern":"[\\x61-\\x7a]"}},{"Re":{"pattern":"[\\x30-\\x39]"}},{"Re":{"pattern":"[_]"}},{"Re":{"pattern":"[.]"}},{"Re":{"pattern":"[/]"}},{"Re":{"pattern":"[:]"}},{"Re":{"pattern":"[?]"}},{"Re":{"pattern":"[=]"}},{"Re":{"pattern":"[&]"}},{"Re":{"pattern":"[%]"}},{"Re":{"pattern":"[\\-]"}},{"Alternative":{"atoms":[192,193,194,195,196,197,198,199,200,201,202,203]}},{"Repetition":{"atom":204,"min":0,"max":null,"tag":"Repetition"}},{"Named":{"name":"anchor_label","atom":205}},{"Str":{"pattern":">"}},{"Entity":{"atom":15}},{"Str":{"pattern":"="}},{"Entity":{"atom":15}},{"Entity":{"atom":68}},{"Named":{"name":"entity_instance_name","atom":211}},{"Entity":{"atom":153}},{"Named":{"name":"unset","atom":213}},{"Alternative":{"atoms":[212,214]}},{"Str":{"pattern":";"}},{"Entity":{"atom":15}},{"Sequence":{"atoms":[189,191,206,207,208,209,210,215,216,217]}},{"Named":{"name":"anchor_entry","atom":218}},{"Repetition":{"atom":188,"min":0,"max":null,"tag":"Repetition"}},{"Named":{"name":"anchor_entry","atom":220}},{"Str":{"pattern":"ENDSEC;"}},{"Entity":{"atom":15}},{"Sequence":{"atoms":[186,187,221,222,223]}},{"Named":{"name":"anchor_section","atom":224}},{"Repetition":{"atom":185,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":281}},{"Str":{"pattern":"REFERENCE;"}},{"Entity":{"atom":15}},{"Entity":{"atom":275}},{"Entity":{"atom":250}},{"Entity":{"atom":68}},{"Named":{"name":"entity_instance_name","atom":232}},{"Entity":{"atom":15}},{"Str":{"pattern":"="}},{"Entity":{"atom":15}},{"Entity":{"atom":245}},{"Str":{"pattern":"("}},{"Entity":{"atom":15}},{"Entity":{"atom":174}},{"Named":{"name":"simple_record","atom":240}},{"Repetition":{"atom":241,"min":1,"max":null,"tag":"Repetition"}},{"Str":{"pattern":")"}},{"Entity":{"atom":15}},{"Sequence":{"atoms":[238,239,242,243,244]}},{"Named":{"name":"subsuper_record","atom":237}},{"Str":{"pattern":";"}},{"Entity":{"atom":15}},{"Sequence":{"atoms":[233,234,235,236,246,247,248]}},{"Named":{"name":"complex_entity_instance","atom":249}},{"Entity":{"atom":262}},{"Entity":{"atom":68}},{"Named":{"name":"entity_instance_name","atom":252}},{"Entity":{"atom":15}},{"Str":{"pattern":"="}},{"Entity":{"atom":15}},{"Entity":{"atom":174}},{"Named":{"name":"simple_record","atom":257}},{"Str":{"pattern":";"}},{"Entity":{"atom":15}},{"Sequence":{"atoms":[253,254,255,256,258,259,260]}},{"Named":{"name":"simple_entity_instance","atom":261}},{"Entity":{"atom":274}},{"Entity":{"atom":68}},{"Named":{"name":"entity_instance_name","atom":264}},{"Entity":{"atom":15}},{"Str":{"pattern":"="}},{"Entity":{"atom":15}},{"Entity":{"atom":92}},{"Named":{"name":"external_anchor","atom":269}},{"Str":{"pattern":";"}},{"Entity":{"atom":15}},{"Sequence":{"atoms":[265,266,267,268,270,271,272]}},{"Named":{"name":"external_reference_instance","atom":273}},{"Alternative":{"atoms":[231,251,263]}},{"Repetition":{"atom":230,"min":0,"max":null,"tag":"Repetition"}},{"Named":{"name":"instance_list","atom":276}},{"Str":{"pattern":"ENDSEC;"}},{"Entity":{"atom":15}},{"Sequence":{"atoms":[228,229,277,278,279]}},{"Named":{"name":"reference_section","atom":280}},{"Repetition":{"atom":227,"min":0,"max":1,"tag":"Maybe"}},{"Entity":{"atom":297}},{"Str":{"pattern":"DATA"}},{"Entity":{"atom":15}},{"Entity":{"atom":172}},{"Named":{"name":"section_tag","atom":286}},{"Repetition":{"atom":287,"min":0,"max":1,"tag":"Maybe"}},{"Str":{"pattern":";"}},{"Entity":{"atom":15}},{"Entity":{"atom":275}},{"Repetition":{"atom":291,"min":0,"max":null,"tag":"Repetition"}},{"Named":{"name":"instance_list","atom":292}},{"Str":{"pattern":"ENDSEC;"}},{"Entity":{"atom":15}},{"Sequence":{"atoms":[284,285,288,289,290,293,294,295]}},{"Named":{"name":"data_section","atom":296}},{"Repetition":{"atom":283,"min":1,"max":null,"tag":"Repetition"}},{"Named":{"name":"data_section","atom":298}},{"Str":{"pattern":"END-ISO-10303-21;"}},{"Entity":{"atom":15}},{"Sequence":{"atoms":[0,16,17,184,226,282,299,300,301]}}],"root":302},"bindings":[]}},"preprocess":{},"tables":{},"lint":{"order_warnings":["rule parameter: branches 1 and 6 are order-dependent (shared first bytes; ordered choice is decisive)","rule parameter: branches 3 and 4 are order-dependent (shared first bytes; ordered choice is decisive)","rule entity_instance: branches 1 and 2 are order-dependent (shared first bytes; ordered choice is decisive)","rule entity_instance: branches 1 and 3 are order-dependent (shared first bytes; ordered choice is decisive)","rule entity_instance: branches 2 and 3 are order-dependent (shared first bytes; ordered choice is decisive)"]},"default_entry":"exchange_structure","render":{},"derive":{},"tests":[{"entry":"exchange_structure","kind":"accept","input":"ISO-10303-21;\nHEADER;\nFILE_DESCRIPTION(('a'),'b');\nFILE_NAME('n');\nFILE_SCHEMA(('S'));\nENDSEC;\nDATA;\n#1=E('v');\n#2=(A(1)B(2));\nENDSEC;\nEND-ISO-10303-21;\n","expect":{}},{"entry":"exchange_structure","kind":"accept","input":"ISO-10303-21;\nHEADER;\nFILE_NAME('n');\nENDSEC;\nANCHOR;\n<lbl>=#1;\nENDSEC;\nDATA;\n#1=E('v');\nENDSEC;\nEND-ISO-10303-21;\n","expect":{}},{"entry":"exchange_structure","kind":"reject","input":"ISO-10303-21;\nHEADER;\nFILE_NAME('n');\nENDSEC;\nDATA;\n#1=E('v');\n","expect":{}}],"docs":{"ws":"Whitespace and /* */ comments (clause 5.2).","string_literal":"ISO 10303-21: doubled quotes are escaped quotes.","binary_literal":"The double-quote terminal is %x22: a bare \"'\" breaks the lexer's\nquote pairing.","signature_lines":"ISO 10303-21:2016 clause 14: two signature lines open the header\nof a signed exchange structure.","anchor_entry":"ISO 10303-21:2016 clause 9: the anchor section binds labels to\nlocal instances (a promissory anchor binds the unset value).","reference_section":"ISO 10303-21:2016 clause 10: the reference section binds a local\ninstance name to an external anchor.","exchange_structure":"The section rules carry their own capture (mirroring the DSL),\nso the call sites stay bare — an extra `as` here would\ndouble-wrap the subtree."},"source":"## ISO 10303-21 exchange structure (expressir#625).\n##\n## Single source of truth for P21 parsing across engines: the rust\n## core loads the compiled artifact (assets/p21/iso-10303-21.artifact.json),\n## and the ruby `Expressir::P21` pipeline consumes the same parse tree\n## in place of its DSL grammar (which this file mirrors 1:1 — the\n## capture names are the Builder's contract).\n##\n## Reference: ISO 10303-21 (the exchange structure; clauses 8-14,\n## annexes E/H/I/J). Supported subset: the header FILE_* entities,\n## ANCHOR and REFERENCE sections, named data sections, and\n## simple/complex/external-reference instances with lists, typed\n## parameters, references, enumerations, binaries, strings, unset ($)\n## and derived (*).\n\ngrammar Iso1030321 version \"1.0.0\" {\n\n  ## Whitespace and /* */ comments (clause 5.2).\n  ws = *( %x20 / %x09 / %x0D / %x0A / comment )\n\n  comment = {\n    \"/*\" *( !\"*/\" ANY ) \"*/\"\n  }\n\n  keyword = {\n    [ \"!\" ] 1*( %x41-5A / %x61-7A / %x30-39 / %x5F )\n  }\n\n  entity_instance_name = {\n    \"#\" 1*%x30-39\n  }\n\n  constant_reference = {\n    \"#\" ( %x41-5A / %x61-7A / %x5F ) *( %x41-5A / %x61-7A / %x30-39 / %x5F )\n  }\n\n  external_anchor = {\n    \"<\" *( !\">\" ANY ) \">\"\n  }\n\n  ## ISO 10303-21: doubled quotes are escaped quotes.\n  string_literal = {\n    \"'\" *( ( !\"'\" ANY ) / \"''\" ) \"'\"\n  }\n\n  ## The double-quote terminal is %x22: a bare \"'\" breaks the lexer's\n  ## quote pairing.\n  binary_literal = {\n    %x22 *( %x30-39 / %x41-46 / %x61-66 ) %x22\n  }\n\n  enumeration = {\n    \".\" 1*( %x41-5A / %x61-7A / %x30-39 / %x5F ) \".\"\n  }\n\n  unset = {\n    \"$\"\n  }\n\n  derived = {\n    \"*\"\n  }\n\n  number_literal = {\n    [ ( %x2B / %x2D ) ] 1*%x30-39\n      [ \".\" 1*%x30-39 ]\n      [ ( %x45 / %x65 ) [ ( %x2B / %x2D ) ] 1*%x30-39 ]\n  }\n\n  parameter = {\n    ( typed_parameter as typed_parameter ) /\n    ( parameter_list as parameter_list ) /\n    ( entity_instance_name as entity_instance_name ) /\n    ( constant_reference as constant_reference ) /\n    ( external_anchor as external_anchor ) /\n    ( number_literal as number_literal ) /\n    ( enumeration as enumeration ) /\n    ( binary_literal as binary_literal ) /\n    ( string_literal as string_literal ) /\n    ( unset as unset ) /\n    ( derived as derived )\n  }\n\n  parameter_list = {\n    \"(\" ws\n      [ parameter as parameter\n        *( \",\" ws parameter as parameter )\n      ]\n      \")\" ws\n  }\n\n  typed_parameter = {\n    keyword as keyword ws parameter_list as parameter_list\n  }\n\n  simple_record = {\n    keyword as keyword ws parameter_list as parameter_list\n  }\n\n  subsuper_record = {\n    \"(\" ws 1*( simple_record as simple_record ) \")\" ws\n  }\n\n  simple_entity_instance = {\n    ( entity_instance_name as entity_instance_name ws\n      \"=\" ws simple_record as simple_record\n      \";\" ws ) as simple_entity_instance\n  }\n\n  complex_entity_instance = {\n    ( entity_instance_name as entity_instance_name ws\n      \"=\" ws subsuper_record as subsuper_record\n      \";\" ws ) as complex_entity_instance\n  }\n\n  external_reference_instance = {\n    ( entity_instance_name as entity_instance_name ws\n      \"=\" ws external_anchor as external_anchor\n      \";\" ws ) as external_reference_instance\n  }\n\n  entity_instance = {\n    complex_entity_instance / simple_entity_instance / external_reference_instance\n  }\n\n  header_entity = {\n    simple_record as simple_record \";\" ws\n  }\n\n  ## ISO 10303-21:2016 clause 14: two signature lines open the header\n  ## of a signed exchange structure.\n  signature_lines = *( \"..\" ws )\n\n  header_section = {\n    \"HEADER;\" ws signature_lines\n      1*( header_entity ) as header_entity\n      \"ENDSEC;\" ws\n  }\n\n  data_section = {\n    ( \"DATA\" ws\n      [ parameter_list as section_tag ] \";\" ws\n      *( entity_instance ) as instance_list\n      \"ENDSEC;\" ws ) as data_section\n  }\n\n  ## ISO 10303-21:2016 clause 9: the anchor section binds labels to\n  ## local instances (a promissory anchor binds the unset value).\n  anchor_entry = {\n    ( \"<\" !\">\" *( %x41-5A / %x61-7A / %x30-39 / %x5F / %x2E / %x2F / %x3A / %x3F / %x3D / %x26 / %x25 / %x2D ) as anchor_label\n      \">\" ws \"=\" ws\n      ( ( entity_instance_name as entity_instance_name ) / ( unset as unset ) )\n      \";\" ws ) as anchor_entry\n  }\n\n  anchor_section = {\n    ( \"ANCHOR;\" ws *( anchor_entry ) as anchor_entry \"ENDSEC;\" ws ) as anchor_section\n  }\n\n  ## ISO 10303-21:2016 clause 10: the reference section binds a local\n  ## instance name to an external anchor.\n  reference_section = {\n    ( \"REFERENCE;\" ws *( entity_instance ) as instance_list \"ENDSEC;\" ws ) as reference_section\n  }\n\n  entry exchange_structure: exchange_structure\n\n      ## The section rules carry their own capture (mirroring the DSL),\n      ## so the call sites stay bare — an extra `as` here would\n      ## double-wrap the subtree.\n      exchange_structure = {\n        ws \"ISO-10303-21;\" ws\n          header_section as header_section\n          [ anchor_section ]\n          [ reference_section ]\n          1*( data_section ) as data_section\n          \"END-ISO-10303-21;\" ws\n      }\n\n  test exchange_structure {\n    accept \"ISO-10303-21;\\nHEADER;\\nFILE_DESCRIPTION(('a'),'b');\\nFILE_NAME('n');\\nFILE_SCHEMA(('S'));\\nENDSEC;\\nDATA;\\n#1=E('v');\\n#2=(A(1)B(2));\\nENDSEC;\\nEND-ISO-10303-21;\\n\"\n    accept \"ISO-10303-21;\\nHEADER;\\nFILE_NAME('n');\\nENDSEC;\\nANCHOR;\\n<lbl>=#1;\\nENDSEC;\\nDATA;\\n#1=E('v');\\nENDSEC;\\nEND-ISO-10303-21;\\n\"\n    reject \"ISO-10303-21;\\nHEADER;\\nFILE_NAME('n');\\nENDSEC;\\nDATA;\\n#1=E('v');\\n\"\n  }\n}\n","source_hash":"70b966720a8c5918e203d607f35cb699068ffb95ab14e7323b3d40b76db3dc01","unicode_tables":"onigmo (Ruby 3.4.8)","compiler_version":"1.3.130","edition":2,"semantics_hash":"sha256:98a96f64d8b9013f71ec9dcb852a2739fdc77cd1d073dcb4db0c95b18a8e1063","checksum":"sha256:8c748f7a0d992894441f995cd5f9e2db821aab0ed5a6f29ef40ac9fa89b28245"}

data/lib/expressir/p21/parser.rb

@@ -4,13 +4,39 @@ module Expressir
   module P21
     # Facade: parse an ISO 10303-21 exchange structure into a
     # {Population} (TODO.eengine/06 step 1).
+    #
+    # The grammar ships as a compiled PARG artifact
+    # (+iso-10303-21.artifact.json+, the checksummed single source of
+    # truth shared with expressir-rs; issue #625): parsing runs through
+    # the artifact when it loads, with the DSL grammar as the fallback
+    # lane. The parity spec pins the two lanes byte-identically on the
+    # annex corpus.
     module Parser
       module_function
 
       def parse(source)
-        tree = Grammar.new.parse(source)
+        tree = artifact_tree(source) || Grammar.new.parse(source)
         Builder.build(tree)
       end
+
+      def artifact_tree(source)
+        artifact.parse("exchange_structure", source)
+      rescue Parsanol::PARG::ArtifactError
+        # The artifact itself is unusable (shape/edition/binding drift):
+        # fall back to the DSL grammar lane. A genuine ParseFailed from
+        # a valid artifact propagates — malformed input fails loudly on
+        # both lanes.
+        nil
+      end
+
+      def artifact
+        @artifact ||= begin
+          require "parsanol"
+          Parsanol::PARG::Artifact.load(
+            Expressir.root_path.join("lib/expressir/p21/iso-10303-21.artifact.json").to_s,
+          )
+        end
+      end
     end
   end
 end

data/lib/expressir/tools/check_engine_compat.rb

@@ -0,0 +1,89 @@
+# frozen_string_literal: true
+
+require "json"
+require "open3"
+require "rubygems/version"
+
+module Expressir
+  module Tools
+    # The engine-compat manifest checker (expressir#618, mirroring
+    # parsanol-rs#423's tools/check_engine_compat.py): ENGINE-COMPAT.json
+    # maps the gem train to the expressir-rs ext tag and its engine
+    # commit; this verifies the pairings so the train cannot ship with a
+    # stale manifest.
+    #
+    # Checks:
+    # 1. The ext pin in ext/expressir_core/Cargo.toml names
+    #    manifest["ext"].
+    # 2. The tag exists on origin and points at manifest["engine_commit"].
+    # 3. rubygems.org serves a version >= manifest["rubygems"] (>= because
+    #    CI runs on the bump commit before the tag publish catches up).
+    module CheckEngineCompat
+      MANIFEST = "ENGINE-COMPAT.json"
+      PIN_RE = /expressir-rs = \{ git = "([^"]+)", tag = "([^"]+)" \}/
+
+      module_function
+
+      def failures(root: Dir.pwd)
+        manifest = JSON.parse(File.read(File.join(root, MANIFEST)))
+        failures = []
+
+        failures.concat(pin_failures(root, manifest))
+        failures.concat(tag_failures(root, manifest))
+        failures.concat(registry_failures(manifest)) unless manifest["rubygems"].nil?
+        failures
+      rescue StandardError => e
+        ["#{MANIFEST}: #{e.message}"]
+      end
+
+      # [git url, tag] straight from the ext pin — the tag lives on the
+      # expressir-rs repository, not on expressir's origin.
+      def ext_pin(root)
+        m = File.read(File.join(root, "ext/expressir_core/Cargo.toml")).match(PIN_RE)
+        return unless m
+
+        # ssh and https forms both resolve via ls-remote; normalize to https.
+        [m[1].sub(%r{\Agit@github\.com:}, "https://github.com/"), m[2]]
+      end
+
+      def pin_failures(root, manifest)
+        pin = ext_pin(root)
+        return ["ext pin missing from ext/expressir_core/Cargo.toml"] unless pin
+        return [] if pin[1] == manifest["ext"]
+
+        ["ext pin #{pin[1].inspect} != manifest ext #{manifest['ext'].inspect}"]
+      end
+
+      def tag_failures(root, manifest)
+        pin = ext_pin(root)
+        return ["ext pin missing from ext/expressir_core/Cargo.toml"] unless pin
+
+        url, tag = pin
+        out, status = Open3.capture2("git", "ls-remote", url, "refs/tags/#{tag}")
+        return ["git ls-remote failed for #{url}"] unless status.success?
+
+        sha = out[/^([0-9a-f]{40})/, 1]
+        return ["tag #{tag.inspect} not found on #{url}"] unless sha
+
+        # annotated (release) tags carry a ^{} peeled entry; either line
+        # matching the engine commit passes.
+        return [] if out.include?(manifest["engine_commit"])
+
+        ["tag #{tag.inspect} points at #{sha[0, 7]}, " \
+         "not engine_commit #{manifest['engine_commit'][0, 7]}"]
+      end
+
+      def registry_failures(manifest)
+        url = "https://rubygems.org/api/v1/versions/expressir/latest.json"
+        out, status = Open3.capture2("curl", "-sf", "--retry", "3", url)
+        return ["rubygems query failed"] unless status.success?
+
+        served = JSON.parse(out)["version"]
+        return [] if Gem::Version.new(served) >= Gem::Version.new(manifest["rubygems"])
+
+        ["rubygems serves #{served.inspect}, manifest wants >= " \
+         "#{manifest['rubygems'].inspect}"]
+      end
+    end
+  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.64".freeze
+    VERSION = "2.4.66".freeze
   end
 end

data/rakelib/contract_matrix.rake

@@ -0,0 +1,60 @@
+# frozen_string_literal: true
+
+# The contract matrix (issue #624): the canonical lane seals one
+# artifact per wire shape; every lane re-derives the shape from the
+# same source and must be byte-identical. Drift here is a release
+# blocker — canonicalization changes are invisible to parse-level
+# differentials (the parsanol rs#397 lesson).
+#
+# No file-level constants (rake double-loads rakelib); helpers stay
+# inside the task body.
+namespace :contract_matrix do
+  require "json"
+  require "digest"
+  require "tmpdir"
+
+  desc "Seal the contract-matrix artifacts from the canonical lane"
+  task :seal do
+    require "expressir"
+    matrix = "spec/fixtures/contract-matrix"
+    source_path = File.join(matrix, "source.exp")
+
+    seal = lambda do |shape, text|
+      File.write(File.join(matrix, shape), text)
+      Digest::SHA256.hexdigest(text)
+    end
+
+    Dir.mktmpdir do |dir|
+      file = File.join(dir, "source.exp")
+      FileUtils.cp(source_path, file)
+
+      source = File.read(file)
+      wire = Expressir::Express::Core.parse_to_model_hash(source, "source.exp")
+      attached_model = Expressir::Express::Core.parse_to_model_attached_with_wire(
+        source, "source.exp"
+      )
+      attached = JSON.parse(attached_model.core_wire)
+      formatted = Expressir::Express::Core.format_model_hash(attached)
+      stripped = Expressir::Express::Core.format_model_hash(attached, no_remarks: true)
+
+      checksums = {
+        "model-hash wire" => seal.call("wire.json", "#{JSON.pretty_generate(wire)}\n"),
+        "attached wire" => seal.call("attached.json", "#{JSON.pretty_generate(attached)}\n"),
+        "formatted text" => seal.call("formatted.exp", formatted),
+        "stripped text" => seal.call("stripped.exp", stripped),
+      }
+
+      manifest = {
+        "contract" => "what the canonical lane seals, every lane re-derives byte-identically",
+        "source" => "source.exp",
+        "canonical_lane" => "Expressir::Express::Core (the native extension)",
+        "artifacts" => checksums.transform_values { |digest| "sha256:#{digest}" },
+        "shapes" => %w[
+          model-hash wire attached wire formatted text stripped text
+        ],
+      }
+      File.write(File.join(matrix, "manifest.yml"), YAML.dump(manifest))
+      puts "sealed #{checksums.size} artifacts + manifest.yml"
+    end
+  end
+end

data/rakelib/engine_compat.rake

@@ -0,0 +1,17 @@
+# frozen_string_literal: true
+
+require "rake"
+
+namespace :lint do
+  desc "Verify ENGINE-COMPAT.json against the ext pin and rubygems (#618)"
+  task :engine_compat do
+    require_relative "../lib/expressir/tools/check_engine_compat"
+    failures = Expressir::Tools::CheckEngineCompat.failures(root: Dir.pwd)
+    if failures.empty?
+      puts "lint:engine_compat OK"
+    else
+      warn failures.join("\n")
+      raise "lint:engine_compat found #{failures.length} problem(s)"
+    end
+  end
+end

data/rakelib/fuzz.rake

@@ -0,0 +1,99 @@
+# frozen_string_literal: true
+
+# The differential fuzz (issue #624, mirroring parsanol's fuzz.yml):
+# date-seeded mutations over the corpus, each source parsed + attached
+# + formatted on BOTH lanes — the native extension and the pure-Ruby
+# fallback (use_core: false, use_native: false) — with byte-exact
+# comparison. Fallback drift cannot land.
+#
+#   rake fuzz                            # today's seed, 40 cases
+#   rake fuzz SEED=20261107 CASES=200
+#
+# No file-level constants (rake double-loads rakelib); helpers stay
+# inside the task body.
+namespace :fuzz do
+  require "tmpdir"
+  require "fileutils"
+
+  desc "Date-seeded differential fuzz across the native and fallback lanes"
+  task :run do
+    require "expressir"
+
+    mutators = %i[
+      squeeze_whitespace reword_remark rename_identifier
+      splice_comment duplicate_line
+    ].freeze
+
+    corpus_sources = lambda do
+      glob = ENV.fetch("FUZZ_CORPUS", "spec/fixtures/contract-matrix/source.exp")
+      files = Dir[glob]
+      files.empty? ? ["spec/fixtures/contract-matrix/source.exp"] : files
+    end
+
+    mutate = lambda do |source, rng|
+      lines = source.lines
+      rng.rand(1..3).times do
+        case mutators[rng.rand(mutators.size)]
+        when :squeeze_whitespace then lines.each { |l| l.gsub!(/[ \t]+/, " ") }
+        when :reword_remark
+          lines.each_with_index do |l, i|
+            lines[i] = l.sub(/\(\*"(.*?)"\s*(.*?)\s*\*\)/) do
+              "(\"#{Regexp.last_match(1)}\" reworded fuzz note #{i} *)"
+            end
+          end
+        when :rename_identifier
+          lines.map! { |l| l.sub(/\b(part|compatible)\b/) { "#{Regexp.last_match(0)}_#{rng.rand(100)}" } }
+        when :splice_comment then lines.insert(rng.rand(lines.size + 1), "(* a spliced fuzz comment *)\n")
+        when :duplicate_line then lines.insert(rng.rand(lines.size + 1), lines[rng.rand(lines.size)].to_s)
+        end
+      end
+      lines.join
+    end
+
+    lane_outputs = lambda do |source, lane_options|
+      Dir.mktmpdir do |dir|
+        file = File.join(dir, "fuzz.exp")
+        File.write(file, source)
+        model = Expressir::Express::Parser.from_file(file, **lane_options)
+        {
+          "format" => Expressir::Express::Formatter.new.format(model),
+          "stripped" => Expressir::Express::Formatter.new(no_remarks: true).format(model),
+        }
+      end
+    end
+
+    seed = Integer(ENV.fetch("FUZZ_SEED", Time.now.strftime("%Y%m%d")))
+    cases = Integer(ENV.fetch("FUZZ_CASES", 40))
+    rng = Random.new(seed)
+    sources = corpus_sources.call
+    export = ENV.fetch("FUZZ_EXPORT_DIR", "tmp/fuzz")
+
+    failures = 0
+    compared = 0
+
+    cases.times do |i|
+      base = sources[rng.rand(sources.size)]
+      mutated = mutate.call(File.read(base), rng)
+      begin
+        native_outputs = lane_outputs.call(mutated, {})
+        fallback_outputs = lane_outputs.call(mutated, { use_core: false, use_native: false })
+        compared += 1
+        native_outputs.each do |key, native_text|
+          next if native_text == fallback_outputs[key]
+
+          failures += 1
+          FileUtils.mkdir_p(export)
+          File.write(File.join(export, "case-#{i}-native.#{key}"), native_text)
+          File.write(File.join(export, "case-#{i}-fallback.#{key}"), fallback_outputs[key])
+          puts "DIVERGENT case #{i} (#{File.basename(base)}, seed #{seed}): #{key} — artifacts in #{export}"
+        end
+      rescue Expressir::Express::Error::SchemaParseFailure, Parsanol::ParseFailed
+        # A mutation neither lane accepts is fine; a lane DIVERGENCE
+        # (one parses, the other refuses) is what this must catch.
+      end
+    end
+
+    puts "fuzz stats: seed=#{seed} cases=#{cases} compared=#{compared} divergent=#{failures}"
+    abort "differential fuzz found #{failures} divergences" if failures.positive?
+  end
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: expressir
 version: !ruby/object:Gem::Version
-  version: 2.4.64
+  version: 2.4.66
 platform: ruby
 authors:
 - Ribose Inc.
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2026-11-10 00:00:00.000000000 Z
+date: 2026-11-11 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rb_sys
@@ -232,11 +232,15 @@ extensions:
 extra_rdoc_files: []
 files:
 - ".cargo/config.toml"
+- ".gitattributes"
 - ".github/scripts/test_installed_gem.rb"
 - ".github/workflows/codeql.yml"
 - ".github/workflows/conformance.yml"
 - ".github/workflows/docs.yml"
+- ".github/workflows/engine-compat.yml"
+- ".github/workflows/fuzz.yml"
 - ".github/workflows/gemspec-floor.yml"
+- ".github/workflows/lane-parity.yml"
 - ".github/workflows/links.yml"
 - ".github/workflows/native-gems.yml"
 - ".github/workflows/performance-release.yml"
@@ -253,6 +257,7 @@ files:
 - ".rubocop_todo.yml"
 - CHANGELOG.md
 - Cargo.toml
+- ENGINE-COMPAT.json
 - Gemfile
 - README.adoc
 - Rakefile
@@ -765,6 +770,7 @@ files:
 - lib/expressir/p21/dataset_manifest.rb
 - lib/expressir/p21/diff.rb
 - lib/expressir/p21/grammar.rb
+- lib/expressir/p21/iso-10303-21.artifact.json
 - lib/expressir/p21/json.rb
 - lib/expressir/p21/parser.rb
 - lib/expressir/p21/population.rb
@@ -789,12 +795,16 @@ files:
 - lib/expressir/schema_manifest.rb
 - lib/expressir/schema_manifest_entry.rb
 - lib/expressir/scoreboard.rb
+- lib/expressir/tools/check_engine_compat.rb
 - lib/expressir/version.rb
 - lib/tasks/conformance.rake
 - lib/tasks/instance.rake
 - lib/tasks/reference.rake
 - lib/tasks/scoreboard.rake
 - lib/tasks/verify_remarks.rake
+- rakelib/contract_matrix.rake
+- rakelib/engine_compat.rake
+- rakelib/fuzz.rake
 - rakelib/native.rake
 - rakelib/oracle.rake
 - rakelib/verify_remarks.rake