parsanol 1.3.119 → 1.3.121

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 67aae8e5d3989aea79f8b7934427aa3bc48f5538e376b064b41139f2cf2a7ee5
-  data.tar.gz: 20e5ad4cf20805a5f5f3416bd3b9e01c6f641dae2445d426e3d18940f675084d
+  metadata.gz: 6b2308bfe0b4b5787cbfac5725e10e2afd01ade41f3ae373dd09df250dbaebd3
+  data.tar.gz: b49dc9c6b767be5c8ec34492b3e1a63683aa8bba12f8a4d194ddd107169b51da
 SHA512:
-  metadata.gz: 1c841924f938fb86048edc8aef0f3634e9f0a9a25285bf654867896ece9c5158d9e21f680a5f8d89d01dd0bf383777e6b646a40dcbc94a65b40e3f75543dbf3b
-  data.tar.gz: 99f3cfd84878458d5657f3a3626c17f74af3e7faf7bd63af4977ca6d133cdb7d9adcbb130087a783d452e4155443b51ffdfe14b77cc04019fe87c3a4ce76c44a
+  metadata.gz: 280e47f635e0319aa01a2b5b4936ddc3aa62c9eae8e6f3c13f07600a5904bafb2e7bbd7521f984e5689f5e550eb964c09ac23c8ca36ab7913d4c776f83fafea4
+  data.tar.gz: bab0183da6fcf3b5c837ba9f46e675269b5b567e77a3333ea8b5c41c5c85f5390a3f82cc8d9778b63cd57308fa7b0053d67da12d055f9a70c18e0c7c397b1c7f

data/Cargo.lock

@@ -307,9 +307,9 @@ checksum = "9f7c3e4beb33f85d45ae3e3a1792185706c8e16d043238c593331cc7cd313b50"
 
 [[package]]
 name = "parsanol"
-version = "0.19.16"
+version = "0.19.19"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f596e68877779b96fc95f22596888ae5aa225808d3036b07bbe4bdea64dc1ce7"
+checksum = "7ec17007676a476ef23db64b69c3bf5b36d741763ac11ced3089b90a96c9a716"
 dependencies = [
  "ahash",
  "getrandom 0.3.4",
@@ -326,9 +326,9 @@ dependencies = [
 
 [[package]]
 name = "parsanol-derive"
-version = "0.19.16"
+version = "0.19.19"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6c143eb5133735869adbf4740919948c5f6a2cf234beb16e0b57bcfd5fdbd1a6"
+checksum = "fc342af122d8854b8916eaacc6a6c2ad911419c605ea47b74b575c2ca24ab23d"
 dependencies = [
  "proc-macro2",
  "quote",

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,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: parsanol
 version: !ruby/object:Gem::Version
-  version: 1.3.119
+  version: 1.3.121
 platform: ruby
 authors:
 - Ribose Inc.