parsanol 1.3.84 → 1.3.85

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 538f5154142806cd3797526af8304d450faf55e3ea08af3215990a9abab94538
-  data.tar.gz: 5e42a6e8f10a85f3dbdcff23895ef6e745aa2af46d9cb513100094efb045817b
+  metadata.gz: 38de1565e58ea110f8732c5eec590223281787eb7922f0b885ddfa76594353e4
+  data.tar.gz: 745175be31f92a3c40bac11e846b317954dfa4abe24628802aeefb1ee1adc460
 SHA512:
-  metadata.gz: d75b5ea646136ce92dcf4a811f4bd1341dd1c5372eec6e2b91d9d8734a1d3acdd8b4301f6cb671a90a5211c02444b6f2a0f5cff5d2902cb1e40fb56cf8c960e2
-  data.tar.gz: fe20987b02a24520432855e5ab081f14f8b0075fa7d4b21306ae15793942738ea5c71a64dc51db5a8acefd372161f5d7ef624f9f6c9ac42bbf129406d84b9e84
+  metadata.gz: 133c7393222f9e29c776def04d6f7b5764d344bad9d8e7dd5ce054dcacaafca8720c266fb2f7ecd48cbcc036d462747028c42659b0b2ce271aed9ede9e56aded
+  data.tar.gz: 646eb2011402310a591dc4aec7c87a5ccf58e270d9177d5c3657dd776a0e0762765f3a7be731137cadbe57ac292922de7d58008ef2b0fc908268cc8a60433510

data/lib/parsanol/native.rb

@@ -202,6 +202,38 @@ module Parsanol
         stats
       end
 
+      # True when the grammar carries no atoms the native tier cannot
+      # express (Dynamic callbacks, artifact custom bindings). Cached by
+      # grammar identity — the scan walks the atom tree once.
+      def native_expressible?(grammar)
+        root = grammar.is_a?(Parsanol::Parser) ? grammar.root : grammar
+        cache = (@expressible_cache ||= {}.compare_by_identity)
+        cache.fetch(root) do
+          expressible = !contains_inexpressible?(root, {}.compare_by_identity)
+          cache[root] = expressible
+        end
+      end
+
+      def contains_inexpressible?(atom, seen)
+        return false if seen.key?(atom)
+
+        seen[atom] = true
+        case atom
+        when Parsanol::Atoms::Dynamic, Parsanol::Atoms::CustomRef then true
+        when Parsanol::Atoms::Sequence, Parsanol::Atoms::Alternative
+          children = atom.respond_to?(:parslets) ? atom.parslets : atom.alternatives
+          children.any? { |child| contains_inexpressible?(child, seen) }
+        when Parsanol::Atoms::Entity, Parsanol::Atoms::Repetition,
+             Parsanol::Atoms::Named, Parsanol::Atoms::Capture, Parsanol::Atoms::Ignored,
+             Parsanol::Atoms::Trivia, Parsanol::Atoms::TriviaCapture, Parsanol::Atoms::Lookahead
+          inner = atom.respond_to?(:parslet) ? atom.parslet : nil
+          inner ||= atom.wrapped_atom if atom.respond_to?(:wrapped_atom)
+          inner && contains_inexpressible?(inner, seen)
+        else
+          false
+        end
+      end
+
       # Translates a native backend failure into the Parsanol error protocol.
       #
       # When the grammar atom is at hand, reparses through the pure Ruby
@@ -227,9 +259,19 @@ module Parsanol
         # across long parses (#123).
         message = error.message
         if parsanol_grammar && (pos_str = message[NATIVE_POS_MARKER, 1])
+          # The interpreter reparse exists to RECOVER grammars the
+          # native tier cannot express (Dynamic/CustomRef atoms —
+          # parsanol-ruby#80/#129). For grammars without them the
+          # native failure is authoritative and the deepest-position
+          # diagnostics ride in this message — reparsing through the
+          # interpreter buys nothing and, on capture-heavy injected
+          # grammars, explodes (#190: the interpreter memo never
+          # stores capture-spanning outcomes).
           source = Parsanol::Source.new(input)
-          success, value = grammar.run_with_context(source, nil, true)
-          return grammar.finalize_result(value) if success
+          unless native_expressible?(grammar)
+            success, value = grammar.run_with_context(source, nil, true)
+            return grammar.finalize_result(value) if success
+          end
 
           pos = pos_str.to_i
           msg = message.sub(NATIVE_POS_MARKER, "")

data/lib/parsanol/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Parsanol
-  VERSION = "1.3.84"
+  VERSION = "1.3.85"
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: parsanol
 version: !ruby/object:Gem::Version
-  version: 1.3.84
+  version: 1.3.85
 platform: ruby
 authors:
 - Ribose Inc.