ctx_checker 0.2.2 → 0.2.3

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: cfe9d7699f554a26eef174cf473835a6354cae53a94e35b4b010b9521c1702fb
-  data.tar.gz: 111dfc67e4e7acb4d77ce2e39d59962caf0a95a55dda4dfc111a1b8d9bef9df0
+  metadata.gz: 5439af7466ca88a19bb7e41cacb918eb78e73d8ae84b2390a060dfa75d5aba4a
+  data.tar.gz: b016023aac35315ea418c880a5b1feb29e277791702351feed6115e8eaaf0cd8
 SHA512:
-  metadata.gz: 329e9a0df103da02238c0c15fd1ca251254e9147821f14da142d946a530b40b7f506ea176f61eded7034099f2512248d83228136a506f19ebb384087ee740f55
-  data.tar.gz: ef5cf8c751dccfa83e6abe7af545e50d86a01c9934b9a42fd57503960f78770c0e38ce37559fe1df94b271ad6e84469bf11b02d43c7a6619ee85b5ebaafe188c
+  metadata.gz: e087da6d36474f725cc0626762f79bdfd8b22fb28800fbb4fb98ce461ced95d6f8c72383e33be627c8ea513fe6ac988a0448d4a54ef6a1c6352ba11f2f673b91
+  data.tar.gz: bfa74421c286aefad66d9c7f2266367c79f2b6b006198b4ee461569f8ec4226b14046aeb7f8137872c38cafebe3187f35b7828c1c027b456a061430a7c9867be

data/CHANGELOG.md

@@ -2,6 +2,12 @@
 
 Changes to the public contract are recorded here. Versions follow Semantic Versioning.
 
+## 0.2.3 (2026-10-18)
+
+- Clear Bundler bootstrap variables when verifying packages in an isolated gem installation, including calls made through bundle exec.
+
+- Index protocol coverage and conflicting scopes by field sets, preserving wildcard identities and OSPF interface scopes without quadratic scans.
+
 ## 0.2.2 (2026-10-18)
 
 - Snapshot validated collection targets and dimensions before caller callbacks can alter them.

data/lib/ctx_checker/checks/routing.rb

@@ -57,6 +57,7 @@ module CtxChecker
         identities = {}
         scopes = {}
         incomplete = Hash.new { |hash, keys| hash[keys] = {} }
+        covered = covered_scope_index
         @observation.records.each do |record|
           identities[record.values_at(*fields)] = true
           scopes[record.values_at(*scope)] = true
@@ -67,7 +68,7 @@ module CtxChecker
           next if identities.key?(identity.values_at(*fields))
 
           ambiguous = incomplete.any? { |keys, values| values.key?(identity.values_at(*keys)) }
-          enumerated = @observation.covered_scopes.any? { |entry| entry.all? { |key, value| identity[key] == value } }
+          enumerated = covered.any? { |keys, values| values.key?(identity.values_at(*keys)) }
           scope_observed = scopes.key?(identity.values_at(*scope))
           status = if ambiguous
             :unknown
@@ -81,6 +82,14 @@ module CtxChecker
           finding(status, :expected_peer_missing, entity: identity, severity: :critical)
         end
       end
+
+      # 按字段组合索引覆盖范围；OSPF 的进程级与接口级证明分别匹配。
+      def covered_scope_index
+        @observation.covered_scopes.each_with_object({}) do |entry, index|
+          fields = entry.keys.sort
+          (index[fields] ||= {})[entry.values_at(*fields)] = true
+        end
+      end
     end
   end
 end

data/lib/ctx_checker/observation_merger.rb

@@ -48,9 +48,9 @@ module CtxChecker
         issues << { code: :duplicate_identity, count: grouped.duplicate_identity_count }
         records = grouped.unambiguous.dup
         # 隔离的对等体实际已被观察到，因此移除后不能再据其作用域证明缺失。
-        ambiguous = grouped.first_occurrences - grouped.unambiguous
-        covered_scopes = covered_scopes.reject do |scope|
-          ambiguous.any? { |row| scope.all? { |key, value| row[key].nil? || row[key] == value } }
+        if covered_scopes.any?
+          ambiguous = grouped.first_occurrences - grouped.unambiguous
+          covered_scopes = unambiguous_scopes(covered_scopes, ambiguous)
         end
       end
       if name == :counters && required_metrics.any?
@@ -78,5 +78,24 @@ module CtxChecker
       Observation.new(name: name, status: status, records: records, issues: issues.uniq,
         covered_scopes: covered_scopes, evidence: observations.flat_map(&:evidence))
     end
+
+    # 各覆盖字段组合只建立一次冲突索引，保留原有范围顺序。
+    def self.unambiguous_scopes(scopes, records)
+      indexes = scopes.map { |scope| scope.keys.sort }.uniq.to_h do |fields|
+        [ fields, ambiguity_index(records, fields) ]
+      end
+      scopes.reject do |scope|
+        indexes.fetch(scope.keys.sort).any? { |fields, values| values.key?(scope.values_at(*fields)) }
+      end
+    end
+
+    # 冲突记录中缺失的字段仍匹配任意值，不能据此证明某个范围为空。
+    def self.ambiguity_index(records, fields)
+      records.each_with_object({}) do |record, index|
+        present = fields.reject { |field| record[field].nil? }
+        (index[present] ||= {})[record.values_at(*present)] = true
+      end
+    end
+    private_class_method :unambiguous_scopes, :ambiguity_index
   end
 end

data/lib/ctx_checker/version.rb

@@ -2,5 +2,5 @@
 
 module CtxChecker
   # 公开包版本，供 RubyGems 元数据和运行时调用方共用。
-  VERSION = "0.2.2"
+  VERSION = "0.2.3"
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: ctx_checker
 version: !ruby/object:Gem::Version
-  version: 0.2.2
+  version: 0.2.3
 platform: ruby
 authors:
 - Gatework contributors