parsanol 1.3.77-aarch64-linux → 1.3.79-aarch64-linux

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 237536c5543feeee187f725cefadecb004938ea5fffc48f138075bf87bb8fe81
-  data.tar.gz: 2b77dca5437b84a811cf14ef76ff4a75ddabf60104c6f96ee33ae9b55d2bd47c
+  metadata.gz: 4e9d6f048282d103bf86ad942a6a4ab886cdd63e24256fda93f318bf3b49a6af
+  data.tar.gz: 4fcce5f528a27ab4463064887177e5bbe81f71d75ed2a4740824cdc3ab93224a
 SHA512:
-  metadata.gz: ad8e95dfe39e5105e088dc75bf23559dbed8d89d425ea6a7c5108f9527564b7fcf0768f17b1dd207efd88922f400d74b0a200d11a95b9c9d6ce79c2096e8c4db
-  data.tar.gz: 829a4d2ee8d777e54eabcdb05ce4d111adab5be847cfb60ad2a945ab4130ad40c045544684a9131f174f78e0b20479c8e1aeddc713dc533f7852ec71f03132d5
+  metadata.gz: 85f8051f8ad4c6b7065f3fb88ed2ed482a56517860f59c0938086b2da5859d136b2352149288c1f1a469ef5976f0279999b4e5073e31d67ba0e5f828988ea3d0
+  data.tar.gz: b24dab2ec2f2146e79bab3cfc56e5d31dadf04980f2c29c9cfa7d9051009e69f699b81c587898e0c5723c63ff444c17c31b518ca427136da2e539aafd54311ac

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: 39947696 bytes
-sha256: 3f642d14ad0b823fc3a133014ef6929d3a597c5ab9c3a832d3fa996caf7bbabc
+size: 39970840 bytes
+sha256: 2418549f6fab93c79e9ccac4bb541d78fe848f4bc77541d5fd950ec36d403dc8

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: 40182696 bytes
-sha256: 67674d19fb132d8ef5ee0aaf763d4d3df4ee823a01469e7adc1213430f6a1fc3
+size: 40205952 bytes
+sha256: 05caedfe18731bfcbb62ab895baab23913aeb41b54547b381fd119b68a213ac2

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: 40182568 bytes
-sha256: 821e0e98b25e93c7a140b795af49dd7b7ce45b7e90401142e88d255ccaf7a3c5
+size: 40213984 bytes
+sha256: de34a1df947d7a29c0b6ef3a81fde12dd7606b3b1a6a21c09ba7cdb16ae5db16

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: 40192624 bytes
-sha256: 1f5c4793a904141f174de9bd33ce872e5cef2b2637a0f69590e0da37a4ab37ad
+size: 40223960 bytes
+sha256: 34f828a479cf2e1c719c23756c285456cef7560a81fa9ecec22190064156e2e6

data/lib/parsanol/native/dynamic.rb

@@ -132,6 +132,12 @@ module Parsanol
         #
         def invoke_from_rust(callback_id, context)
           block = @mutex.synchronize { @callbacks[callback_id]&.dig(:block) }
+          if ENV["PARSANOL_INVOKE_TRACE"]
+            cont = context[:captures][:cont]
+            warn "INVOKE id=#{callback_id} pos=#{context[:pos]} " \
+                 "block=#{context[:captures][:block].inspect} " \
+                 "cont=#{cont.class}@#{cont.object_id}"
+          end
           return nil unless block
 
           # Build DynamicContext from hash
@@ -142,18 +148,33 @@ module Parsanol
           )
 
           # Call the block. Parslet-canonical blocks take two arguments
-          # (source, context): pass the restricted context for both so
-          # either convention works (GH-76). Captures are read-only
-          # snapshots of the engine state; write-dependent dispatch must
-          # run on mode: :ruby.
+          # (source, context). The source is a REAL Parsanol::Source
+          # positioned at the dispatch point: blocks that read source
+          # state (bytepos, line_and_column — the lazy-continuation
+          # guards do) previously got the context wrapper for both
+          # args and raised NoMethodError, which the bridge turned
+          # into a silent dispatch failure (rs#165). Consumption
+          # side-effects stay local to the call: the resolved fragment
+          # is the parse.
           result = if block.arity == 2
-                     block.call(ctx, ctx)
+                     dispatch_source = Parsanol::Source.new(context[:input])
+                     dispatch_source.bytepos = context[:pos]
+                     block.call(dispatch_source, ctx)
                    else
                      block.call(ctx)
                    end
 
           return nil unless result
 
+          if ENV["PARSANOL_FRAG_TRACE"]
+            begin
+              json = result.to_atom_json
+              warn "FRAG id=#{callback_id} json=#{json[0, 120]}"
+            rescue StandardError => e
+              warn "FRAG id=#{callback_id} RAISE #{e.class}: #{e.message[0, 140]}"
+            end
+          end
+
           # Capture-write contract (GH-80): return the atom and the
           # post-call captures hash; the Rust bridge diffs it against
           # the seeded values and propagates the block's writes

data/lib/parsanol/native/libparsanol.so

@@ -1,4 +1,4 @@
 [diffend] Oversized file quarantined before diffing.
 name: data/lib/parsanol/native/libparsanol.so
-size: 35749424 bytes
-sha256: 17585f657e7684ce70ff38a9bc4c85c928aa67caeaf7f7b7b5fdb32105c75980
+size: 35764456 bytes
+sha256: ff8bc8908504b2a1e70764ecab02dfdf252314b213bdcb7daa728e3902b4068e

data/lib/parsanol/native/parser.rb

@@ -121,6 +121,13 @@ module Parsanol
           }
         end
 
+        # Public (rs#166): the VM program cache shares compiled
+        # programs across fresh parser instances keyed on this —
+        # the same disambiguator the grammar cache uses.
+        def public_structure_hash(atom)
+          grammar_structure_hash(atom)
+        end
+
         private
 
         def grammar_cache_key(root_atom)

data/lib/parsanol/parg/artifact.rb

@@ -74,7 +74,15 @@ module Parsanol
             # grammar JSON and re-registered it per parse (~8x).
             # Dynamic artifacts carry ruby-tier atoms their wire
             # cannot express — they keep the interpreter.
-            return root_atom(entry_name).parse(input, mode: :native)
+            begin
+              return root_atom(entry_name).parse(input, mode: :native)
+            rescue Parsanol::ParseFailed
+              # The atom-tree native path reports the root position; the
+              # wire-registration path carries the deepest-failure
+              # diagnostics (parsanol-ruby#171). Failures pay the
+              # serialization once; successes keep the fast lane.
+              return Native.parse(JSON.generate(entry(entry_name).fetch("grammar")), input)
+            end
           end
 
           root_atom(entry_name).parse(input)

data/lib/parsanol/version.rb

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

data/lib/parsanol/vm.rb

@@ -202,6 +202,10 @@ module Parsanol
         # starts memoized on its very first parse (fresh parser instances
         # included — the seed is recomputed at every compile), so the
         # cold-start never pays the doomed unmemoized exploration.
+        # rs#166: proneness rides the structure-hash share as a bool —
+        # a later identical-structure grammar inherits the seed instead
+        # of running its cold start unmemoized because compilation was
+        # skipped entirely.
         if compiler.backtracking_prone
           (@heavy ||= {}.compare_by_identity)[root] = true
           trim_cache(@heavy)

metadata

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