parsanol 1.3.94-aarch64-linux → 1.3.96-aarch64-linux

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 9e0c1efcdfb93af513ae908d45c90b6f2d6c42015fb643e474bffbb37ae39316
-  data.tar.gz: 86ad51bce683affc8b5b94426151bf56694c41fa87b91c9e56c98b7e801c1efc
+  metadata.gz: e9e43c51b94ac9f13af86b41cf5f09eb8e0a6b96f0db9e08dd9257f39209c061
+  data.tar.gz: 41c0c989f1458fa4ac116b33ca7fb6c2ad319b6b0b0f504c2a8c9e57bf6fa8bc
 SHA512:
-  metadata.gz: 1b5aea575e016166e39822daa41c36c9ef80da76c121610231c6c359071d31362f4e5ed0efd24b4278d8db896ff70f7702e71cbfdf5d4ff4e2f36469222e5085
-  data.tar.gz: b89fe36dabaa496b63c7bb220bd5c40c5698fbc3ecac8329359d53d2319ec56df283accc410e15fcfe14d8e0729cbfd876e58c6de382079ce716f1f94e795725
+  metadata.gz: 36184b13212025e3db3d3aaf87c12253696b85253801ef351ab509c40ce8d5dfbfe22f66d46119733d3646c90e9d0fca55e9a2af990c2dea7f88e58421ecde73
+  data.tar.gz: 5254a021c8b381411b662ab48ec3752e364bb9ad5e50d24f21002a02db7174158c8edced1608d079f80e25ffa7dc15f71388027fd060e6f3a4544c0c4f6cb3b2

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: 40550656 bytes
-sha256: cff224d02b36baf6455b961827d069556a7fed497e0a8e778009065f12613f00
+size: 40739336 bytes
+sha256: 4cad7bf4894a1cea08ee2b319696f166f2e7cc38ed6eef38dee79057f9fd684a

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: 40785744 bytes
-sha256: ae67525c0f460813aed0b9fccb58809b517da84d72dae383bc232bd3c0c5d4f0
+size: 40974392 bytes
+sha256: 25df57a50ccd92bd51baaf86008559487f4259b81a899c30c61e8e023ff7ec23

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: 40781360 bytes
-sha256: e30f6696ef7f343f3edf49240039e9287277f6973d4e0bfee918939d82684056
+size: 40961728 bytes
+sha256: e6e8cae20b2ffc4754570fd4e4e19081e24e4b5c37ccc0e122619ada30ca7d97

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: 40791392 bytes
-sha256: 2f8c4e6eb46bc01f1271aeb19e5b3beb3b1c81ce1deb99b500094fabf3b11517
+size: 40971784 bytes
+sha256: 4c426cf8bfd77fb270f32e171664208d9b3fd3414bcf22b2d677fddc2ec14e9f

data/lib/parsanol/atoms/context.rb

@@ -72,6 +72,10 @@ module Parsanol
         # and the NEXT successful Named capture attaches (and drains)
         # them under `comments:`.
         @pending_trivia = []
+
+        # Recovery journal (TODO.sota/1): non-nil only in recovery
+        # re-parses; Named captures append to the shared array.
+        @recovery_journal = Parsanol::Recovery.journal if Parsanol::Recovery.journaling?
         @evict_threshold = 200
         @evict_counter = 0
         @evict_interval = 100
@@ -327,6 +331,10 @@ module Parsanol
       # @return [Parsanol::Scope] capture variable bindings
       attr_reader :captures
 
+      # Recovery journal (TODO.sota/1): a shared array when this
+      # context was created inside a recovery re-parse; nil otherwise.
+      attr_accessor :recovery_journal
+
       # @return [Parsanol::Pools::ArrayPool] array object pool
       attr_reader :array_pool
 

data/lib/parsanol/atoms/named.rb

@@ -42,6 +42,8 @@ module Parsanol
         comments = context.take_pending_trivia
         result = wrap_result(value)
         result = attach_comments(result, comments, source) unless comments.empty?
+        # Recovery journal (TODO.sota/1): nil on every normal parse.
+        context.recovery_journal << [@name, result] if context.recovery_journal
         ok(result)
       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: 36352992 bytes
-sha256: fc4e4581f2ff40db6d747bd6b6377e34da0d7389eccc7b1ecb30f485f2e59e25
+size: 36519512 bytes
+sha256: e6eab7ae66da64b0abf1e86985786423cce6eba79524e64771a52fd53d541530

data/lib/parsanol/native.rb

@@ -382,6 +382,20 @@ module Parsanol
             :unavailable
           end
         end
+        name_cache_version if @native_state == :loaded
+        @native_state
+      end
+
+      private
+
+      # Compiled VM programs are cached on disk across processes; naming
+      # this gem release in the cache key means a new release never runs
+      # a program an older one compiled. Extensions built before the
+      # engine grew the hook simply skip it.
+      def name_cache_version
+        return unless respond_to?(:_set_cache_version)
+
+        _set_cache_version("parsanol-ruby #{Parsanol::VERSION}")
       end
     end
   end

data/lib/parsanol/parg/artifact.rb

@@ -197,6 +197,53 @@ module Parsanol
         end
       end
 
+      # Best-effort recovery (TODO.sota/1, R1): on success returns
+      # {"ok": true, "shape": tree}; on ParseFailed returns
+      # {"ok": false, "error": {"offset", "message"}, "captures":
+      # {name => [values...]}} — the captures observed before the
+      # failure, from a journaling re-parse on the Ruby engine (tree
+      # parity with the native engine is enforced by the differential
+      # specs). The journal is best-effort: it may include captures
+      # from branches that later failed.
+      def parse_recovering(entry_name, input, mode: :native)
+        shape = parse(entry_name, input, mode: mode)
+        { "ok" => true, "shape" => shape }
+      rescue Parsanol::ParseFailed => e
+        { "ok" => false,
+          "error" => recovery_error(e),
+          "captures" => recovery_journal(entry_name, input, mode) }
+      end
+
+      def recovery_error(err)
+        pos = err.parse_failure_cause&.position
+        { "offset" => pos, "message" => err.message }
+      end
+
+      # Journaling re-parse — always on the Ruby engine (journaling
+      # rides the interpreter's diagnostic reparse; the native engine
+      # has no journal). Tree parity with the native engine is enforced
+      # by the differential specs, so the observed captures agree.
+      def recovery_journal(entry_name, input, _mode)
+        Parsanol::Recovery.start_journal
+        begin
+          parse(entry_name, input, mode: :ruby)
+        rescue Parsanol::ParseFailed
+          # expected: the journaling pass fails at the same point
+        end
+        Parsanol::Recovery.stop_journal.each_with_object({}) do |(name, value), out|
+          # Both the initial attempt and the diagnostic re-parse journal
+          # into the shared thread-local; identical observations dedupe.
+          wire = value.is_a?(Slice) ? slice_wire(value) : value
+          (out[name.to_s] ||= []) << wire
+          out[name.to_s].uniq!
+        end
+      end
+
+      def slice_wire(slice)
+        { "value" => slice.to_s, "offset" => slice.offset,
+          "length" => slice.content.length }
+      end
+
       def test_to_hash(test)
         {
           "entry" => test.entry,

data/lib/parsanol/recovery.rb

@@ -0,0 +1,33 @@
+# frozen_string_literal: true
+
+module Parsanol
+  # Recovery journaling (TODO.sota/1): when enabled for the current
+  # thread, every Named capture appends to a shared journal for the
+  # duration of the recovery re-parse. Success paths never enable it —
+  # normal parses see only a nil-context check.
+  module Recovery
+    module_function
+
+    def start_journal
+      Thread.current[:parsanol_recovery_journal] = []
+      Thread.current[:parsanol_recovery_journaling] = true
+    end
+
+    # Stops journaling and returns the journal: [name, value] pairs in
+    # capture order, including captures from branches that later failed
+    # (best-effort superset — same semantics as the rs recovery
+    # journal).
+    def stop_journal
+      Thread.current[:parsanol_recovery_journaling] = false
+      journal
+    end
+
+    def journal
+      Thread.current[:parsanol_recovery_journal] || []
+    end
+
+    def journaling?
+      Thread.current[:parsanol_recovery_journaling] == true
+    end
+  end
+end

data/lib/parsanol/version.rb

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

data/lib/parsanol.rb

@@ -273,6 +273,7 @@ module Parsanol
   end
   module_function :exp
 
+  autoload :Recovery, "parsanol/recovery"
   autoload :Resettable, "parsanol/resettable"
   autoload :Result, "parsanol/result"
   autoload :Slice, "parsanol/slice"

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: parsanol
 version: !ruby/object:Gem::Version
-  version: 1.3.94
+  version: 1.3.96
 platform: aarch64-linux
 authors:
 - Ribose Inc.
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2026-10-18 00:00:00.000000000 Z
+date: 2026-10-20 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
@@ -133,6 +133,7 @@ files:
 - lib/parsanol/pools/position_pool.rb
 - lib/parsanol/pools/slice_pool.rb
 - lib/parsanol/position.rb
+- lib/parsanol/recovery.rb
 - lib/parsanol/resettable.rb
 - lib/parsanol/result.rb
 - lib/parsanol/result_builder.rb