parsanol 1.3.127-arm-linux → 1.3.129-arm-linux

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 5101db070cd884f1f589f7c8b8d338a50231abc1a10095fede11993d1d5c4cc3
-  data.tar.gz: 22226c62d53e1a291f0ee0ca0d4499b56d6fc82848171c85bb7d947e69e1ada7
+  metadata.gz: cc5b22c92ad2b6c2155b050c0a904e293758b6ba6a50a4be0ca5f3676f957a2a
+  data.tar.gz: f600012d26f0a706a1818980a3f98148c05c8b918ab9457e205cda11abbd39ce
 SHA512:
-  metadata.gz: 131b1ee7c45c3d7103150a4fc99e22f3e3fefcb63672fa3a38151d36a16fb57f7ec7af617b17a7f5089471b8fbc24d39c1a70f9ed3846e727159aa598e413f02
-  data.tar.gz: 8ea0a3732614b334bc6729d4c1c6bb84c66fdb46ca01b020a8d73db7c8b55b989851ae0e17ce15b1cba50314365d93dbf4553178ddd7f0abb10971036b780c3b
+  metadata.gz: 65cd647e2615a8c71cf6cdad62af2cf68180057a48376ec922210823177bec264f354f8a2e71f3bbb850fc9be72819b0c509f9e86d0463f15dd7e3a880adca0d
+  data.tar.gz: 1f7a4dd5fec3525487cc74396da93cd146c32a8ab3cc5878fe4ce6a155bead0722489397adff87e4c3dd2747460e2ac99717bb788ce67a33c4e8c17e71905452

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: 39740032 bytes
-sha256: c8d53988b1b0272b424a9e999eb14410a7d8633b97a12fc7a290fbe49e8b3182
+size: 39723288 bytes
+sha256: 10f38f0f0c6e8836e1a8066a52c3cd24f470b8e8a825ac8b4d5efd77c68f20b4

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: 39925276 bytes
-sha256: 9583103439fe4fd1c54990622ca380e01cb864dc11d4946fccd72823f344d7b0
+size: 39908464 bytes
+sha256: 92b5490941807ecb46f0756350eaa5dbab93733780db0df1bc1e490abb8d2a8e

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: 39919376 bytes
-sha256: 840045138064b78a947c1e1675c57921c963a7df7cd055407572969d99a28518
+size: 39902616 bytes
+sha256: a31eb03b3424856d166daa9eaa8b0783fb78d9940cb69b330b13e48e55ec4b9b

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: 39929132 bytes
-sha256: 7c81415e962f42359724f8b8abd2d7f884f2a783faacb3857c61966e085530d3
+size: 39912372 bytes
+sha256: 8d6c76e8ca867a59018580ec7ed779798b449b53187e4fcb4e04fb44b3ef56fb

data/lib/parsanol/atoms/base.rb

@@ -253,6 +253,14 @@ module Parsanol
       # consumer's file:line:col degrades to "line 1 char 1" when the
       # interpreter raises the outermost sequence instead. Explicit
       # reporters (Tree for full cause trees) are honored unchanged.
+      #
+      # A CUSTOM reporter's #err/#err_at return value is
+      # "implementation-specific" (ErrorReporter::Base) — it observes
+      # the failure events but is not obliged to hand back a Cause. The
+      # raise-able cause is then derived by re-parsing with the #265
+      # default, so the raised ParseFailed still carries the
+      # deepest-failure diagnostics (the interpreter tier crashed with
+      # NoMethodError on the reporter's raw return value before).
       def report_detailed_error(input, consume_all, reporter, _initial_error, compatibility: :strict)
         input.bytepos = 0
         error_reporter = reporter ||
@@ -263,6 +271,13 @@ module Parsanol
         # Second parse should also fail
         raise "Invariant violation: parse succeeded during error reporting" if success
 
+        unless cause.is_a?(Parsanol::Cause)
+          input.bytepos = 0
+          success, cause = run_with_context(input, Parsanol::ErrorReporter::Deepest.new,
+                                            consume_all, **context_options)
+          raise "Invariant violation: parse succeeded during error reporting" if success
+        end
+
         cause.raise
       end
     end

data/lib/parsanol/native/libparsanol.so

@@ -1,4 +1,4 @@
 [diffend] Oversized file quarantined before diffing.
 name: data/lib/parsanol/native/libparsanol.so
-size: 36061184 bytes
-sha256: 9236ba74fe40e51df4ac355f6b1c5d8ac61ba516a58351d77dfda024c2ac62b8
+size: 36061744 bytes
+sha256: b1b4d96b84b9e088162cd1600e3cd355c65465c0d9d02194d26bd9c76561155c

data/lib/parsanol/parg/artifact.rb

@@ -26,15 +26,14 @@ module Parsanol
 
       SUPPORTED_SHAPE = "parsanol-tree/v2"
 
-      # The editions this runtime parses (ruby#357's consolidation):
-      # 1 = the legacy shapes; 2 = named trees + explicit spans.
-      SUPPORTED_EDITIONS = [1, 2].freeze
+      # Edition 2 (named trees + explicit spans) is the only edition —
+      # edition-1 artifacts are rejected with the fix named.
+      SUPPORTED_EDITIONS = [2].freeze
 
       # The header and envelope spellings that have shipped: the quoted
-      # v-forms stay loadable so artifacts baked before the numeric
+      # v-form stays loadable so artifacts baked before the numeric
       # surface remain readable.
       EDITION_ALIASES = {
-        1 => 1, "1" => 1, "v1" => 1, "classic" => 1,
         2 => 2, "2" => 2, "v2" => 2
       }.freeze
 
@@ -50,14 +49,13 @@ module Parsanol
         bindings = envelope["bindings"]
         validate_bindings!(bindings) unless bindings.nil?
         @envelope = envelope
-        # The declared edition must be one this runtime understands
-        # (ruby#357's consolidation: one axis, `edition`). Absent field
-        # = the pre-1.3.109 artifacts, whose trees are edition 1.
-        edition = EDITION_ALIASES[envelope.fetch("edition", 1)]
+        # The declared edition must be one this runtime understands.
+        # Absent field = a pre-1.3.109 edition-1 artifact — rejected.
+        edition = EDITION_ALIASES[envelope.fetch("edition", 2)]
         unless SUPPORTED_EDITIONS.include?(edition)
           raise ArtifactError,
-                "artifact declares edition #{envelope['edition'].inspect}; this " \
-                "runtime supports #{SUPPORTED_EDITIONS.map(&:inspect).join(', ')}"
+                "artifact declares edition #{envelope['edition'].inspect}; edition 1 " \
+                "was removed — recompile the grammar with edition \"v2\""
         end
         @path = path
         @tables_dir = tables_dir
@@ -71,11 +69,10 @@ module Parsanol
 
       def version = envelope["version"]
 
-      # The edition the artifact's trees carry: 1 = the legacy shapes,
-      # 2 = fully named trees. Legacy artifacts that spell the field
-      # "v2" (or omit it) normalize here.
+      # The edition the artifact's trees carry (always 2). Legacy
+      # artifacts that spell the field "v2" normalize here.
       def edition
-        EDITION_ALIASES.fetch(envelope.fetch("edition", 1))
+        EDITION_ALIASES.fetch(envelope.fetch("edition", 2))
       end
 
       # Freshness (parsanol-ruby#209): what source revision and compiler

data/lib/parsanol/parg/bindings.rb

@@ -36,11 +36,14 @@ module Parsanol
         # bound map (parsanol-ruby#413): a capture present in the parse
         # but bound nowhere is silent data loss, the one case the
         # binding layer's other checks miss. Absence in the TREE is
-        # legitimate optionality and never raises. Coverage is checked
-        # against every hash key anywhere in the bound map, not just the
-        # binding's own leaf: a `(raw)` binding carries its entire
+        # legitimate optionality and never raises. Delivery is EITHER
+        # the binding's own leaf/prefix reaching the map (the capture
+        # may rename on the way — capture "doc_year" binds under path
+        # "year", parsanol-ruby#434) OR the capture name appearing as a
+        # key anywhere in the map: a `(raw)` binding carries its entire
         # subtree, so captures nested inside a raw-bound ancestor are
-        # delivered through it (parsanol-ruby#427 — BS 9113 bundled_list).
+        # delivered through it (parsanol-ruby#427 — BS 9113
+        # bundled_list).
         bound_keys = {}
         walk_keys = lambda do |node|
           case node
@@ -53,7 +56,7 @@ module Parsanol
         walk_keys.call(out)
         lost = bindings.select do |binding|
           capture = binding["capture"].to_sym
-          present.include?(capture) && !bound_keys.key?(capture)
+          present.include?(capture) && !bound?(out, binding) && !bound_keys.key?(capture)
         end
         unless lost.empty?
           raise BindError,
@@ -63,6 +66,23 @@ module Parsanol
         out
       end
 
+      # Did this binding contribute anything to the bound map? Scalars
+      # bind under their leaf key; array groups bind under their prefix.
+      # The leaf is the PATH's tail, so a capture-to-path rename reads
+      # as delivered when its own path landed (parsanol-ruby#434).
+      def bound?(out, binding)
+        path = binding["path"].to_s
+        if path.include?("[]")
+          prefix = path.split("[]").first.to_sym
+          rows = out[prefix]
+          rows.is_a?(Array) && rows.any? do |row|
+            row.is_a?(Hash) && row.key?(leaf_key(binding))
+          end
+        else
+          out.key?(leaf_key(binding))
+        end
+      end
+
       # Canonical test-value form: one equality surface for capture and
       # example expectations on both sides of the comparison (Slice vs
       # source literal was comparing heterogeneous types). Terminals

data/lib/parsanol/parg/cli.rb

@@ -116,7 +116,6 @@ module Parsanol
       # upgrade suggestions on top.
       def lint
         source = @argv.shift
-        @captures_radar = @argv.delete("--captures") ? true : false
         tables = @tables_dir || default_tables_dir(source)
         document = Parsanol::PARG::Parser.new(PARG.read_utf8(source)).parse
         Parsanol::PARG::Imports.merge!(document, [File.dirname(source)])
@@ -132,10 +131,6 @@ module Parsanol
           Lints::CoreRuleDuplicates.new.warnings(document, compiler)
             .each { |upgrade| puts "upgrade: #{upgrade}" }
         end
-        if @captures_radar
-          # The migration radar (ruby#304): what modern mode would name.
-          compiler.modern_radar.each { |line| puts "captures: #{line}" }
-        end
         0
       rescue Parsanol::PARG::ParseError, Parsanol::PARG::Error => e
         warn "#{e.class}: #{e.message}"

data/lib/parsanol/parg/compiler.rb

@@ -252,18 +252,17 @@ module Parsanol
 
       # Modern mode (ruby#304, the #315 spec): every rule reference
       # that produces no capture is wrapped in Named(rule_name) at
-      # compile time — the tree shape consumers read, opt-in via
-      # `mode` in the grammar header. Engines see ordinary
-      # Named atoms; identity rides the differential corpus.
+      # compile time — the tree shape consumers read. Edition 2 is the
+      # only edition, so the wrap is unconditional. Engines see
+      # ordinary Named atoms; identity rides the differential corpus.
       def apply_modern_captures(atom, rule_name)
-        return atom if @document.edition == "v1"
         # A glue rule's own body compiles unwrapped (parsanol-ruby#364):
         # 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.
+        # span-joined value.
         return atom if captured_reachable?(rule_name)
 
         wrap_uncaptured(atom)
@@ -505,52 +504,6 @@ module Parsanol
         end
       end
 
-      # The migration radar (ruby#304 `parg lint --captures`): for a
-      # LEGACY grammar, every rule reference modern mode would wrap —
-      # reference site, target rule. The compiler's state is warm
-      # (all rules built) when the lint calls this.
-      def modern_radar
-        # The radar is the classic dialect's migration tool: on a v2
-        # grammar every reference is already named.
-        return [] if @document.edition != "v1"
-
-        lines = []
-        @document.rules.each_key do |name|
-          atom = @atom_cache[name]
-          next unless atom
-
-          radar_walk(atom, name, lines, [])
-        end
-        lines
-      end
-
-      def radar_walk(atom, site, lines, seen)
-        return if seen.include?(atom.object_id)
-
-        seen << atom.object_id
-        case atom
-        when Atoms::Named then nil
-        when Atoms::Entity
-          # Mirror wrap_uncaptured's verdicts: trivia glue, declared
-          # 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}"
-          end
-          radar_walk(atom.parslet, site, lines, seen)
-        when Atoms::Sequence, Atoms::Alternative
-          kids = atom.respond_to?(:alternatives) ? atom.alternatives : atom.parslets
-          kids.each { |child| radar_walk(child, site, lines, seen) }
-        when Atoms::Repetition
-          radar_walk(atom.parslet, site, lines, seen)
-        end
-      end
-
       def atom_for(name)
         inject_core_rules!
         expand_left_recursion! unless @expanded
@@ -1424,9 +1377,9 @@ module Parsanol
         }
         # ruby#304: the envelope always names the capture edition —
         # consumers read the tree-shape contract before parsing. The
-        # numeric form is canonical: 1 = the legacy shapes, 2 = fully
-        # named trees + explicit spans.
-        envelope["edition"] = @document.edition == "v2" ? 2 : 1
+        # numeric form is canonical: 2 = fully named trees + explicit
+        # spans, the only edition.
+        envelope["edition"] = 2
         if @document.skip_declaration
           # parsanol-ruby#134: declared trivia rule. Injection is baked
           # into the compiled trees (plain atom kinds), so consumers

data/lib/parsanol/parg/diff.rb

@@ -181,9 +181,12 @@ module Parsanol
       end
 
       # Artifacts baked before the numeric surface spell the edition
-      # "v1"/"v2"; they mean the same levels, not a change.
+      # Edition 2 is the only edition; envelopes that omit the field or
+      # spell it "v2" normalize to 2. Removed spellings (1/"v1"/"classic")
+      # pass through, so a legacy envelope still diffs as an edition
+      # change.
       def edition_level(envelope)
-        declared = envelope.fetch("edition", 1)
+        declared = envelope.fetch("edition", 2)
         Artifact::EDITION_ALIASES.fetch(declared, declared)
       end
 

data/lib/parsanol/parg/document.rb

@@ -35,11 +35,9 @@ module Parsanol
 
       def initialize
         @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. edition
-        # "v2" is the named-trees opt-in via the grammar header.
-        @edition = "v1"
+        # Edition 2 (named trees + explicit spans) is the only edition —
+        # edition 1 was removed. Header declaration stays optional.
+        @edition = "v2"
         @version = "0.0.0"
         @source = nil
         @rules = {}

data/lib/parsanol/parg/frontend.rb

@@ -123,12 +123,13 @@ module Parsanol
           document.grammar_name = Regexp.last_match(1)
           document.version = Regexp.last_match(2)
           tail = stripped.match(EDITION_TAIL)
-          document.edition = if tail.nil?
-                               "v1"
-                             else
-                               level = tail[:number] || tail[:quoted] || tail[:mode]
-                               ["2", "v2"].include?(level) ? "v2" : "v1"
-                             end
+          level = tail.nil? ? "2" : (tail[:number] || tail[:quoted] || tail[:mode])
+          unless ["2", "v2"].include?(level)
+            raise ParseError,
+                  "edition #{level.inspect} is not supported -- edition 1 was " \
+                  "removed; write edition \"v2\" (named trees + spans)"
+          end
+          document.edition = "v2"
           doc_comments = []
         when NAMED_SECTION
           state[:section] = Regexp.last_match(1)

data/lib/parsanol/parg/lsp.rb

@@ -524,8 +524,10 @@ module Parsanol
           if SelfHost.available?
             begin
               SelfHost.validate(source)
-            rescue Parsanol::ParseFailed
-              # fall through to line 0
+            rescue Parsanol::ParseFailed, ArtifactError
+              # a stale artifact (e.g. a sibling baked at a removed
+              # edition) must not break diagnostics — fall through to
+              # line 0
             end
           end
           diagnostics << diagnostic(line, e.message)

data/lib/parsanol/parg/parser.rb

@@ -18,11 +18,11 @@ module Parsanol
 
       IN_BLOCK_SECTIONS = %w[entry bindings preprocess test].freeze
 
-      # The header's edition spellings: the bare numbers are canonical
-      # (Rust's Cargo.toml model); the quoted forms stay accepted as
-      # aliases for grammars written before the numeric surface.
+      # The header's edition spellings: the bare number is canonical
+      # (Rust's Cargo.toml model); the quoted form stays accepted as an
+      # alias. Edition 1 was removed — grammars declaring it fail with
+      # the fix named.
       EDITIONS = {
-        "1" => "v1", "v1" => "v1", "classic" => "v1",
         "2" => "v2", "v2" => "v2"
       }.freeze
 
@@ -242,13 +242,12 @@ module Parsanol
               when :str then unquote(token.value)
               else
                 raise ParseError,
-                      "edition must be a number (1 or 2) or a quoted alias " \
-                      "(\"v1\", \"v2\", \"classic\")"
+                      "edition must be the number 2 or the quoted alias \"v2\""
               end
         EDITIONS.fetch(raw) do
           raise ParseError,
-                "unknown edition #{raw.inspect} -- supported editions are " \
-                "1 (default) and 2 (named trees)"
+                "edition #{raw.inspect} is not supported -- edition 1 was " \
+                "removed; write edition \"v2\" (named trees + spans)"
         end
       end
 
@@ -258,11 +257,9 @@ module Parsanol
         document.version = unquote(expect(:str).value)
         # `edition` — the language edition (ruby#304, ruby#357's
         # consolidation; Rust's Cargo.toml `edition` is the model):
-        # 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. The edition is canonicalized here —
-        # everything downstream only ever sees "v1"/"v2". The
+        # edition 2 = fully named trees + explicit spans, and the ONLY
+        # edition (edition 1 was removed). The edition is canonicalized
+        # here — everything downstream only ever sees "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"
@@ -270,7 +267,7 @@ module Parsanol
           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"'
+                'the grammar header keyword is edition; mode (the pre-1.3.113 alias) was removed — write edition "v2"'
         end
         punct("{")
         skip_newlines

data/lib/parsanol/version.rb

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

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: parsanol
 version: !ruby/object:Gem::Version
-  version: 1.3.127
+  version: 1.3.129
 platform: arm-linux
 authors:
 - Ribose Inc.