parsanol 1.3.119-arm-linux → 1.3.121-arm-linux

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 81bf49f5afdc876e55e44e9be0f24f84948fe58dd34e9bb3c6fef9f08275b316
-  data.tar.gz: d3b812c019d718b6edc6d251788938599aa4a2b2446093d89288d3b85fac880d
+  metadata.gz: 74b1f1a2ea59e2c2f224deb5da423ccae5a265bc9e811ce93c43c4a3b61cf920
+  data.tar.gz: 6378391994969e589dc1ecd9ac62eca94e695a929183f9b0b791ceb4f6f0546f
 SHA512:
-  metadata.gz: 3b7ae9e4c9b77e03272f6e9d91fa10958104f7cb4b9618cc53ea24d1c357267502f75d8a1aeeafd874d5359437894c680de1b4b3a0acb3f0499240eb495e3b59
-  data.tar.gz: fcec7f75e77ea07c34f0a969644bdef1748d0891a655343f0cfad296bd7a393fe511a8adb23d1d50bbde42562f58795ab0709514759d9f5e0db029f91d03e768
+  metadata.gz: fe55b0f7ff3f5f8748f07e73c5996ffdeb834d72b17be1b8abc8e8e673daf80791902cd05a3b0f2fbe8afe37867feef1903e25af8475af8e229e85e5b95dee6c
+  data.tar.gz: 56131ae02689ebadb4343462c46ec3560b9a0287fc5fa6d1835c6dd479bdc6ceca3f12bd2ed7df09c2dfdd2221d56dfdb3ad2ff2486a7d6c76033e71f1702933

data/lib/parsanol/3.2/parsanol_native.so

@@ -1,4 +1,4 @@
 [diffend] Oversized file quarantined before diffing.
 name: data/lib/parsanol/3.2/parsanol_native.so
-size: 39544876 bytes
-sha256: e524b352f575dff3f01b7da7c82f2cd45393aa578eb89edf5c3fdf55b23c5ea0
+size: 39740052 bytes
+sha256: b70dc2b64af8f8c052309c13ef755d8a156697af55b2017eec94d1ad43eef2f2

data/lib/parsanol/3.3/parsanol_native.so

@@ -1,4 +1,4 @@
 [diffend] Oversized file quarantined before diffing.
 name: data/lib/parsanol/3.3/parsanol_native.so
-size: 39730168 bytes
-sha256: 88aa66d9210cb706edb129ef923cd4fc797d031122ceb6fa6733b5cfa3239d1c
+size: 39925296 bytes
+sha256: 3d60d5cad8c1bf5f3ae6463c82d31f8a1027a779dc4c35be5004997d2557c862

data/lib/parsanol/3.4/parsanol_native.so

@@ -1,4 +1,4 @@
 [diffend] Oversized file quarantined before diffing.
 name: data/lib/parsanol/3.4/parsanol_native.so
-size: 39724260 bytes
-sha256: 13bc130ed29c503138a1bd14812ef7a02bfb664306a49df3396900f76d48084e
+size: 39919396 bytes
+sha256: ccea4473a43405abe096c873c2c695ba93c271245db30d1b77f04b27df7b47a3

data/lib/parsanol/4.0/parsanol_native.so

@@ -1,4 +1,4 @@
 [diffend] Oversized file quarantined before diffing.
 name: data/lib/parsanol/4.0/parsanol_native.so
-size: 39733932 bytes
-sha256: b0ae5cf41e19fdefb953e27f7d94ca656cebad8762b8ccd278528e87b807860a
+size: 39929152 bytes
+sha256: 4d612343474dca5ded544fa60a9fc23bbc28d7a935ccec5546db3cbd62676540

data/lib/parsanol/native/libparsanol.so

@@ -1,4 +1,4 @@
 [diffend] Oversized file quarantined before diffing.
 name: data/lib/parsanol/native/libparsanol.so
-size: 35866044 bytes
-sha256: 02e46e493ee557802cc02afb2b06d561113b91bc3850bdd8ec06ab48bb562cf5
+size: 36060976 bytes
+sha256: 2ee2499abdc8e1b8707658bddd5a8a861961057ff0d5276849b33ec2f1e67f31

data/lib/parsanol/native/parser.rb

@@ -178,13 +178,27 @@ module Parsanol
 
         def append_atom_structure(atom, visited = {}.compare_by_identity, output = +"")
           if visited[atom]
+            # An Entity's self-reference keeps its name in the
+            # fingerprint, mirroring the non-visited branch (ruby#404).
+            if atom.is_a?(Parsanol::Atoms::Entity)
+              return output << "[:entity, " << atom.rule_name.to_s.inspect << ", [:cycle, " << atom.class.name.inspect << "]]"
+            end
+
             return output << "[:cycle, " << atom.class.name.inspect << "]"
           end
 
           visited[atom] = true
           case atom
           when Parsanol::Atoms::Entity
-            append_atom_structure(atom.parslet, visited, output)
+            # The rule name belongs in the fingerprint (rs#404-class
+            # collision): Entity is transparent in the serialized graph's
+            # STRUCTURE only when the target is spelled out, but the JSON
+            # keeps the Entity node itself — two webs whose Entities point
+            # at different rules share a transparent fingerprint while
+            # serializing differently, and the serializer cache then
+            # serves one grammar's JSON for the other.
+            output << "[:entity, " << atom.rule_name.to_s.inspect << ", "
+            append_atom_structure(atom.parslet, visited, output) << "]"
           when Parsanol::Atoms::Str
             output << "[:str, " << atom.str.inspect << "]"
           when Parsanol::Atoms::Re

data/lib/parsanol/parg/compiler.rb

@@ -261,6 +261,10 @@ module Parsanol
         # the declaration means the tree never sees this subtree named,
         # inside or out.
         return atom if glue_rule?(rule_name)
+        # A capture spans the rules it references (ruby#400): their
+        # bodies compile unwrapped so the capture's value equals its
+        # edition-1 value.
+        return atom if captured_reachable?(rule_name)
 
         wrap_uncaptured(atom)
       end
@@ -273,6 +277,57 @@ module Parsanol
         @document.glue_rules.include?(name.to_s)
       end
 
+      # The rules a text capture transitively spans (ruby#400): a
+      # capture on a reference captures the referenced rule's whole
+      # match, so every rule under a capture atom — the direct
+      # reference and everything its body transitively references —
+      # compiles unwrapped. Edition 2's Named leaves then attach only
+      # to non-captured structure, and a capture's value equals its
+      # edition-1 value (`{num: "123"}`, never a leaf array).
+      def captured_reachable?(name)
+        @capture_reachable ||= begin
+          seeds = []
+          @document.rules.each_value do |node|
+            collect_refs_under_captures(node, seeds)
+          end
+          reachable = []
+          until seeds.empty?
+            rule = seeds.pop
+            next if reachable.include?(rule) || !@document.rules.key?(rule)
+
+            reachable << rule
+            collect_all_refs(@document.rules[rule], seeds)
+          end
+          reachable
+        end
+        @capture_reachable.include?(name.to_s)
+      end
+
+      def collect_refs_under_captures(node, out)
+        walk = lambda do |n, in_capture|
+          case n.kind
+          when :ref then out << n.a if in_capture
+          when :cap then walk.call(n.b, true)
+          when :pred then walk.call(n.b, in_capture)
+          when :alt, :seq then n.a.each { |child| walk.call(child, in_capture) }
+          when :rep, :opt then walk.call(n.a, in_capture)
+          end
+        end
+        walk.call(node, false)
+      end
+
+      def collect_all_refs(node, out)
+        walk = lambda do |n|
+          case n.kind
+          when :ref then out << n.a
+          when :alt, :seq then n.a.each { |child| walk.call(child) }
+          when :cap, :pred then walk.call(n.b)
+          when :rep, :opt then walk.call(n.a)
+          end
+        end
+        walk.call(node)
+      end
+
       def wrap_uncaptured(atom)
         case atom
         when Atoms::Named
@@ -289,6 +344,7 @@ module Parsanol
           # agree by design.
           if trivia_only?(atom.rule_name.to_s, { atom.rule_name.to_s => true }) ||
               glue_rule?(atom.rule_name.to_s) ||
+              captured_reachable?(atom.rule_name.to_s) ||
               produces_capture?(atom.parslet)
             atom
           else
@@ -476,9 +532,12 @@ module Parsanol
         when Atoms::Named then nil
         when Atoms::Entity
           # Mirror wrap_uncaptured's verdicts: trivia glue, declared
-          # glue, and capture-producing refs all stay bare.
+          # glue, capture-reachable refs (ruby#400 — a capture spans
+          # them, so modern mode never names them), and
+          # capture-producing refs all stay bare.
           unless trivia_only?(atom.rule_name.to_s, { atom.rule_name.to_s => true }) ||
               glue_rule?(atom.rule_name.to_s) ||
+              captured_reachable?(atom.rule_name.to_s) ||
               produces_capture?(atom.parslet)
             lines << "rule #{site}: reference to #{atom.rule_name} produces no capture -- " \
                      "modern mode would name it #{atom.rule_name}"

data/lib/parsanol/parg/document.rb

@@ -37,8 +37,8 @@ module Parsanol
         @grammar_name = nil
         # The default capture dialect is v1 (the owner's reversal,
         # 2026-10-28): runtime compiles of unpinned sources keep the
-        # legacy shapes — the pubid fleet froze against them. mode "v2"
-        # stays the named-trees opt-in via the grammar header.
+        # legacy shapes — the pubid fleet froze against them. edition
+        # "v2" is the named-trees opt-in via the grammar header.
         @edition = "v1"
         @version = "0.0.0"
         @source = nil

data/lib/parsanol/parg/parser.rb

@@ -261,12 +261,16 @@ module Parsanol
         # the author declares, per grammar, which tree semantics the
         # grammar means. THE DEFAULT IS 1 (the legacy shapes — the
         # owner's 2026-10-28 reversal). 2 = fully named trees +
-        # explicit spans. `mode` remains accepted as a deprecated
-        # alias for the keyword. The edition is canonicalized here —
-        # everything downstream only ever sees "v1"/"v2".
-        if peek&.type == :ident && %w[edition mode].include?(peek.value)
+        # explicit spans. The edition is canonicalized here —
+        # everything downstream only ever sees "v1"/"v2". The
+        # pre-1.3.113 `mode` alias was removed (the owner's
+        # 2026-10-31 ruling): the header fails with the fix named.
+        if peek&.type == :ident && peek.value == "edition"
           advance
           document.edition = edition_value
+        elsif peek&.type == :ident && peek.value == "mode"
+          raise ParseError,
+                'the grammar header keyword is edition; mode (the pre-1.3.113 alias) was removed — write edition "v1" or edition "v2"'
         end
         punct("{")
         skip_newlines

data/lib/parsanol/version.rb

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

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: parsanol
 version: !ruby/object:Gem::Version
-  version: 1.3.119
+  version: 1.3.121
 platform: arm-linux
 authors:
 - Ribose Inc.
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2026-10-31 00:00:00.000000000 Z
+date: 2026-11-01 00:00:00.000000000 Z
 dependencies: []
 description: A small Ruby library for constructing parsers in the PEG (Parsing Expression
   Grammar) fashion. Parsanol provides Parslet-compatible API with additional features