parsanol 1.3.127-aarch64-linux → 1.3.128-aarch64-linux

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: a414d7d80c3c60e8c75348b4af940ebc39ece665b2161f78a087fc8387fd9fd8
-  data.tar.gz: 78f18689b7a0f96ddca6a92ddc0358c854ef0c7b5be1dd2c35a0f5ac8714e6f4
+  metadata.gz: '02418bfb9f910e8356cb4687038d4b10fb06aa4361c3c70931fc40fb009acf04'
+  data.tar.gz: e2d7436638cc3bc2b59723926f6bb0f058c7a9639a920557e877e581c7eb4858
 SHA512:
-  metadata.gz: b1287ff6268999ad7eaece78fa3a506e020be8d258c1dc195c2462ea72b137fcb3ecfc06843e192f1b2de69600ee68a9cc8bea2351730268b40e8baf8524d336
-  data.tar.gz: 95be672cb009898a4a23fe1e397751386f558b2cb6251e41aa6daed41e1c9da287d6e5baf632934b338508f37af89d6c500605d595cd352da5559ade668450ed
+  metadata.gz: eadd8f3cbe44778cf540608271a6fe42478ab974c0501b86316808d42b9b75dd6cfc2c38ebdbcf13b3add7372c94b12ae714a1c729d227983eaaf0e2632a1328
+  data.tar.gz: 483b9b6d55db586b5e9945f121abb7bad8d59b2764b6c25e9ad663dacd9a00f342c41306fc9cd6ce909350022645fa93b03436cdfad33182834833fb129306ea

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: 46910336 bytes
-sha256: 5cd5a302f76b0909f10f387af4c8a22dfe9da90192063253ca8410520d77267e
+size: 46909480 bytes
+sha256: b5917afaec0bf088952709bbc9d466d9523d43d2f69e61fbb93ae7cf34b7a8d4

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: 47149512 bytes
-sha256: e104c338a85bc11c45bd64f8492fd960dc47d7965da09d5ee248a2fb70c62901
+size: 47140352 bytes
+sha256: 82f28bcb6c308d92666a8db53df981bda6989a5f5d69a3eb74dc6cfb53a0edd9

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: 47153584 bytes
-sha256: fe0565167c22afdb6643360716d5e19a5d73536fdaa663fa4b7af2e12dc0131f
+size: 47136024 bytes
+sha256: 6b3c06517eb782506624ab7f9126df5bbc144943bafc64ade94e5b5be46e8dbf

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: 47163544 bytes
-sha256: feab8ac11d723ae37873cd5b48940c7c7e1e0ca0d1240286cd02500309d9757d
+size: 47146000 bytes
+sha256: bc1b98e9825576ef8b9519ced50fd0bce2c0f3a41d0c37d36a2fdc6485117f57

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: 42619384 bytes
-sha256: 6b86ec205cdca97b35f0f249d5b1e4af27278c3ec6e6c62279af613fa8ec882d
+size: 42614960 bytes
+sha256: 585cf127dcd5f801311d35755fc7a4373e1b7f24734ee69383c804751141b4f2

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/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.128"
 end

metadata

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