ctx_checker 0.1.0 → 0.2.1

data/lib/ctx_checker/palo_alto/parsers/show_transceiver_all.rb

@@ -14,7 +14,7 @@ module CtxChecker
         # 解析 show transceiver all，保留不完整或不支持的证据。
         def parse_output(text, complete:)
           text = clean(text)
-          rows, issues, header = [], [], false
+          rows, issues, header = [], diagnostics, false
           text.each_line do |raw|
             line = raw.strip
             if /\APort\s+Temperature\s+Voltage\s+Current\s+Tx Power\s+Rx Power\z/i.match?(line)

data/lib/ctx_checker/palo_alto/profile.rb

@@ -18,7 +18,7 @@ module CtxChecker
   module PaloAlto
     # 声明传统路由引擎查询；高级路由格式需要独立平台策略。
     class Profile < CtxParser::Profile
-      CATALOG = CtxParser::CommandCatalog.new([
+      DECLARATIONS = CtxParser::Commands.new([
         { dimensions: [ :interfaces ], command: "show interface all", parser: Parsers::ShowInterfaceAll },
         { dimensions: [ :counters ], command: "show counter interface all", parser: Parsers::ShowCounterInterfaceAll },
         { dimensions: [ :aggregation ], command: "show lacp aggregate-ethernet all", parser: Parsers::ShowLacpAggregateEthernet },
@@ -32,8 +32,8 @@ module CtxChecker
         { dimensions: [ :alarms ], command: "show system state | match alarm", parser: Parsers::ShowSystemStateAlarms },
         { dimensions: [ :device_counters ], command: "show counter global", parser: Parsers::ShowCounterGlobal }
       ])
-      COMMANDS = CATALOG.commands
-      PARSERS = CATALOG.parsers
+      COMMANDS = DECLARATIONS.by_dimension
+      PARSERS = DECLARATIONS.parsers
     end
   end
 end

data/lib/ctx_checker/parsers/base.rb

@@ -4,6 +4,7 @@ require "ctx_parser"
 require "ctx_parser/input"
 require_relative "interface_names"
 require_relative "scoped_result"
+require_relative "diagnostics"
 
 module CtxChecker
   module Parsers
@@ -13,27 +14,33 @@ module CtxChecker
 
       private
 
+      # 各命令和共享视图使用相同的诊断预算。
+      def diagnostics = Diagnostics.new
+
       # 从归一化观测记录中移除不支持的数据。
       def clean(text)
-        @issues = []
+        @issues = diagnostics
         @unsupported = false
+        @command_failed = false
         source = CtxParser::Input.text(text, encoding: :transcode, newlines: :lf, max_bytes: MAX_BYTES)
         source.each_line.with_index(1) do |line, number|
           if /\A\s*(?:(?:%\s*)?(?:Error:\s*)?(?:Invalid (?:input|command|syntax)|Unrecognized command|Unknown command|command not (?:found|supported)|not supported on this|syntax error)|\^-+\s*unrecognized keyword\b)/i.match?(line)
             @unsupported = true
             @issues << { code: :unsupported_command, line: number }
           elsif /\A\s*(?:%\s*(?:Error|Incomplete|Ambiguous)|Error:|Permission denied|Insufficient privilege|\^-+\s*(?:incomplete command|ambiguous command|error\b))/i.match?(line)
+            @command_failed = true
             @issues << { code: :command_error, line: number }
           elsif /--\s*More\s*--|----\s*More\s*----|Press (?:any key|ENTER|<SPACE>)/i.match?(line)
             @issues << { code: :paginated_output, line: number }
           end
         end
-        source
+        # 明确失败的命令不会保留记录，无需再次逐行解析其错误正文。
+        @unsupported || @command_failed ? "" : source
       end
 
       # 隔离身份冲突，保留无歧义记录并降低覆盖完整性。
       def build_result(records, complete:, recognized:, issues: [], identity: nil, covered_scopes: [])
-        problems = Array(@issues) + issues
+        problems = diagnostics.concat(Array(@issues)).concat(issues)
         if identity
           grouped = CtxParser::Records.new(records, identity: identity)
           if grouped.duplicates?
@@ -46,7 +53,7 @@ module CtxChecker
         status = if @unsupported
           records = []
           :unsupported
-        elsif Array(@issues).any? { |issue| issue[:code] == :command_error }
+        elsif @command_failed
           records = []
           :failed
         elsif !recognized && records.empty?

data/lib/ctx_checker/parsers/diagnostics.rb

@@ -0,0 +1,47 @@
+# frozen_string_literal: true
+
+module CtxChecker
+  module Parsers
+    # 解析期只保留有界诊断样本；省略数量仍进入结果，不能将截断当作完整。
+    class Diagnostics < Array
+      MAX_SAMPLES = 128
+
+      # 每个解析视图独立拥有样本和省略计数。
+      def initialize
+        super
+        @samples = 0
+        @summary = nil
+      end
+
+      # 合并多个来源时累加原有省略数，不把摘要误计为一条普通诊断。
+      def <<(issue)
+        if issue[:code] == :diagnostics_truncated
+          omit(issue[:count])
+        elsif @samples < MAX_SAMPLES
+          insert(@samples, issue)
+          @samples += 1
+        else
+          omit(1)
+        end
+        self
+      end
+
+      # 跨视图合并仍经过同一预算，不恢复已省略的诊断。
+      def concat(issues)
+        issues.each { |issue| self << issue }
+        self
+      end
+
+      private
+
+      # 原地更新本集合持有的摘要，避免每次省略都创建一个对象。
+      def omit(count)
+        unless @summary
+          @summary = { code: :diagnostics_truncated, count: 0 }
+          self[size] = @summary
+        end
+        @summary[:count] += count
+      end
+    end
+  end
+end

data/lib/ctx_checker/policy.rb

@@ -15,22 +15,27 @@ module CtxChecker
       @system = SystemPolicy.new(resource_thresholds: resource_thresholds, temperature_thresholds: temperature_thresholds,
         required_components: required_components, required_dimensions: required_dimensions, max_clock_skew_seconds: max_clock_skew_seconds,
         max_ntp_offset_ms: max_ntp_offset_ms, device_counter_limits: device_counter_limits)
-      names!(required_interfaces)
-      unless required_members.is_a?(Hash) && required_members.all? { |group, members| text?(group) && names!(members) }
+      validate_interface_names!(required_interfaces)
+      unless required_members.is_a?(Hash) && required_members.all? { |group, members| text?(group) && validate_interface_names!(members) }
         raise ArgumentError, "Required members must map groups to interface names"
       end
       unless minimum_active_members.is_a?(Hash) && minimum_active_members.all? { |group, count| text?(group) && count.is_a?(Integer) && count.positive? }
         raise ArgumentError, "Minimum active members must be positive integers"
       end
-      peers!(expected_bgp, %i[vrf afi_safi peer])
-      peers!(expected_ospf, %i[vrf process_id interface router_id])
+      validate_neighbor_identities!(expected_bgp, %i[vrf afi_safi peer])
+      validate_neighbor_identities!(expected_ospf, %i[vrf process_id interface router_id])
+      expected_ospf = expected_ospf.map do |identity|
+        identity[:process_id].is_a?(Integer) ? identity.merge(process_id: identity[:process_id].to_s) : identity
+      end
+      validate_neighbor_identities!(expected_ospf, %i[vrf process_id interface router_id])
       unless counter_limits.is_a?(Hash) && counter_limits.all? { |metric, count| Observation::METRICS.include?(metric) && count.is_a?(Integer) && count >= 0 }
         raise ArgumentError, "Counter limits must be nonnegative integer deltas"
       end
-      optics!(optical_thresholds)
-      required_optics!(required_optics)
+      validate_optical_thresholds!(optical_thresholds)
+      validate_required_optics!(required_optics)
       @required_interfaces, @required_members, @minimum_active_members, @expected_bgp, @expected_ospf, @counter_limits =
         [ required_interfaces, required_members, minimum_active_members, expected_bgp, expected_ospf, counter_limits ].map { |value| CtxParser::Immutable.copy(value) }
+      @required_interface_index = @required_interfaces.to_h { |name| [ name, true ] }.freeze
       @optical_thresholds = CtxParser::Immutable.copy(optical_thresholds)
       @optical_index = @optical_thresholds.to_h { |row| [ row.values_at(:interface, :lane, :metric).freeze, row ] }.freeze
       @required_optics = CtxParser::Immutable.copy(required_optics)
@@ -38,14 +43,17 @@ module CtxChecker
       freeze
     end
 
+    # 按接口身份查询策略要求，避免逐条测量重复遍历列表。
+    def required_interface?(name) = @required_interface_index.key?(name)
+
     # 策略仅替换精确光通道及指标的阈值，不改变设备告警证据。
     def optical_thresholds_for(record) = @optical_index[record.values_at(:interface, :lane, :metric)]
     # 检查策略是否要求此接口提供光学诊断。
     def required_optics?(record) = @required_optical_index.key?(record.values_at(:interface, :lane, :metric))
 
     # 检查策略是否明确要求此资源或功能。
-    def required?(name)
-      return true if system.required?(name)
+    def required_dimension?(name)
+      return true if system.required_dimension?(name)
       case name
       when :interfaces then required_interfaces.any?
       when :aggregation then required_members.any? || minimum_active_members.any?
@@ -62,13 +70,13 @@ module CtxChecker
     def text?(value) = value.is_a?(String) && !value.strip.empty? && !/[\x00-\x1f\x7f]/.match?(value)
 
     # 校验策略选择器使用的资源名称是否有效且不重复。
-    def names!(values)
+    def validate_interface_names!(values)
       raise ArgumentError, "Interface names must be unique text" unless values.is_a?(Array) && values.all? { |value| text?(value) } && values.uniq == values
       true
     end
 
     # 校验协议对等体身份及对应策略要求。
-    def peers!(values, fields)
+    def validate_neighbor_identities!(values, fields)
       unless values.is_a?(Array) && values.uniq == values && values.all? do |row|
           row.is_a?(Hash) && row.keys.sort == fields.sort && row.all? { |key, value| text?(value) || key == :process_id && value.is_a?(Integer) && value >= 0 }
         end
@@ -77,7 +85,7 @@ module CtxChecker
     end
 
     # 校验光功率阈值及必需接口选择。
-    def optics!(values)
+    def validate_optical_thresholds!(values)
       fields = %i[interface lane metric] + Observation::OPTICAL_THRESHOLDS
       unless values.is_a?(Array) && values.all? { |row| row.is_a?(Hash) && (row.keys - fields).empty? }
         raise ArgumentError, "Optical policies require scoped threshold records"
@@ -93,7 +101,7 @@ module CtxChecker
     end
 
     # 必需测量必须有明确身份；仅配置阈值不表示要求资源存在。
-    def required_optics!(values)
+    def validate_required_optics!(values)
       fields = %i[interface lane metric]
       unless values.is_a?(Array) && values.all? { |row| row.is_a?(Hash) && row.keys.sort == fields }
         raise ArgumentError, "Required optics need exact interface, lane and metric identities"

data/lib/ctx_checker/radware_alteon/parsers/info_l2_lacp_dump.rb

@@ -14,7 +14,7 @@ module CtxChecker
 
         # 活跃模式需要额外运行证据，不能由重复的 trunk 记录替代。
         def parse_output(text, complete:)
-          issues, ports, header = [], [], false
+          issues, ports, header = diagnostics, {}, false
           clean(text).each_line do |raw|
             line = raw.strip
             next if line.empty? || /\A-+\z/.match?(line)
@@ -26,8 +26,8 @@ module CtxChecker
               next
             elsif header && (match = ROW.match(line)) && match[1].to_i.positive?
               port = "port#{Integer(match[1], 10)}"
-              issues << { code: :duplicate_lacp_port, interface: port } if ports.include?(port)
-              ports << port
+              issues << { code: :duplicate_lacp_port, interface: port } if ports.key?(port)
+              ports[port] = true
               if match[2].casecmp?("off")
                 unless match.captures[2..] == %w[n -- -- n]
                   issues << { code: :inconsistent_lacp_disabled_state, interface: port }

data/lib/ctx_checker/radware_alteon/parsers/info_l2_trunk.rb

@@ -14,15 +14,15 @@ module CtxChecker
 
         # 将成员限定在其所属 trunk 中，明确保留不完整聚合组。
         def parse_output(text, complete:)
-          rows, issues, groups, current = [], [], [], nil
+          rows, issues, groups, current = [], diagnostics, {}, nil
           clean(text).each_line do |raw|
             line = raw.strip
             next if line.empty? || /\A-+\z/.match?(line)
 
             if (match = GROUP.match(line)) && match[1].to_i.positive?
               current = "trunk#{Integer(match[1], 10)}"
-              issues << { code: :duplicate_aggregation_header, group: current } if groups.include?(current)
-              groups << current
+              issues << { code: :duplicate_aggregation_header, group: current } if groups.key?(current)
+              groups[current] = true
             elsif current && (match = MEMBER.match(line)) && match[1].to_i.positive?
               member = "port#{Integer(match[1], 10)}"
               state = match[2].downcase
@@ -34,7 +34,7 @@ module CtxChecker
               issues << { code: :unrecognized_aggregation_line }
             end
           end
-          (groups.uniq - rows.map { |row| row[:group] }).each do |group|
+          (groups.keys - rows.map { |row| row[:group] }).each do |group|
             rows << { group: group, member: nil, member_status: :unknown, oper_status: :unknown }
             issues << { code: :aggregation_members_unavailable, group: group }
           end

data/lib/ctx_checker/radware_alteon/parsers/info_l3_ip.rb

@@ -14,7 +14,7 @@ module CtxChecker
 
         # 将接口行限定在明确章节内，排除带编号的网关记录。
         def parse_output(text, complete:)
-          rows, issues, section = [], [], :preamble
+          rows, issues, section = [], diagnostics, :preamble
           header, interfaces, ipv6, closed = false, false, false, false
           clean(text).each_line do |raw|
             line = raw.strip

data/lib/ctx_checker/radware_alteon/parsers/info_link.rb

@@ -14,7 +14,7 @@ module CtxChecker
 
         # 链路行缺失不能证明端口已禁用或健康。
         def parse_output(text, complete:)
-          rows, issues, header = [], [], false
+          rows, issues, header = [], diagnostics, false
           clean(text).each_line do |raw|
             line = raw.strip
             next if line.empty? || /\A[-\s]+\z/.match?(line)

data/lib/ctx_checker/radware_alteon/parsers/info_transceiver.rb

@@ -17,7 +17,7 @@ module CtxChecker
 
         # 指定光学方向或单位前，先校验多行表头。
         def parse_output(text, complete:)
-          rows, issues, headings = [], [], []
+          rows, issues, headings = [], diagnostics, []
           clean(text).each_line do |raw|
             line = raw.strip
             next if line.empty? || /\A[-\s]+\z/.match?(line)

data/lib/ctx_checker/radware_alteon/parsers/stats_port_ether.rb

@@ -17,7 +17,7 @@ module CtxChecker
 
         # 将各 IEEE 计数器绑定到其明确的数据端口标题。
         def parse_output(text, complete:)
-          blocks, issues, current = [], [], nil
+          blocks, issues, current = [], diagnostics, nil
           clean(text).each_line do |raw|
             line = raw.strip
             next if line.empty? || /\A-+\z/.match?(line)

data/lib/ctx_checker/radware_alteon/parsers/stats_port_if.rb

@@ -16,7 +16,7 @@ module CtxChecker
 
         # 解释方向性测量前，要求存在带标签的累计计数列。
         def parse_output(text, complete:)
-          blocks, issues, current, section = [], [], nil, nil
+          blocks, issues, current, section = [], diagnostics, nil, nil
           clean(text).each_line do |raw|
             line = raw.strip
             next if line.empty? || /\A-+\z/.match?(line)

data/lib/ctx_checker/radware_alteon/parsers/stats_sp_allutils.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
 require_relative "../../parsers/base"
-require "ctx_parser/result_set"
+require "ctx_parser/results"
 
 module CtxChecker
   module RadwareAlteon
@@ -13,7 +13,7 @@ module CtxChecker
         # 校验回显的 SP 数量及汇总图，不混用 CPU 和内存数据。
         def parse_output(text, complete:)
           rows = { cpu: [], memory: [] }
-          issues = rows.transform_values { [] }
+          issues = rows.transform_values { diagnostics }
           sections, current = [], nil
           clean(text).each_line.with_index(1) do |raw, number|
             line = raw.strip
@@ -33,7 +33,7 @@ module CtxChecker
           end
           sections.each { |item| validate_section(item, issues.fetch(item[:dimension])) }
           validate_sections(sections, issues)
-          CtxParser::ResultSet.new(results: rows.to_h do |dimension, records|
+          CtxParser::Results.new(by_dimension: rows.to_h do |dimension, records|
             identity = dimension == :cpu ? %i[component scope window_seconds] : %i[component scope]
             [ dimension, build_result(records, complete: complete, recognized: records.any?, issues: issues.fetch(dimension), identity: identity) ]
           end)

data/lib/ctx_checker/radware_alteon/parsers/stats_sys_ntp.rb

@@ -2,7 +2,7 @@
 
 require "date"
 require_relative "../../parsers/base"
-require "ctx_parser/result_set"
+require "ctx_parser/results"
 
 module CtxChecker
   module RadwareAlteon
@@ -17,7 +17,7 @@ module CtxChecker
         def parse_output(text, complete:)
           source = clean(text)
           rows, headers, sections, time_fields = [], 0, [], []
-          counter_issues, ntp_issues, section = [], [], nil
+          counter_issues, ntp_issues, section = diagnostics, diagnostics, nil
           source.each_line.with_index(1) do |raw, number|
             line = raw.strip
             next if line.empty? || /\A-+\z/.match?(line)
@@ -52,7 +52,7 @@ module CtxChecker
             ntp_issues << { code: :ambiguous_ntp_time_field, field: field, count: time_fields.count(field) } unless time_fields.count(field) == 1
           end
           ntp_rows = headers.positive? ? [ { component: "system", synchronized: nil, last_sync_status: :unknown, last_sync_at: nil } ] : []
-          CtxParser::ResultSet.new(results: {
+          CtxParser::Results.new(by_dimension: {
             ntp: build_result(ntp_rows, complete: complete, recognized: headers.positive?, issues: ntp_issues, identity: [ :component ]),
             device_counters: build_result(rows, complete: complete, recognized: rows.any?, issues: counter_issues, identity: %i[component metric])
           })

data/lib/ctx_checker/radware_alteon/profile.rb

@@ -25,7 +25,7 @@ module CtxChecker
     # Alteon 菜单查询独立于其他 Radware 产品系列。
     class Profile < CtxParser::Profile
       MAX_DISCOVERED_PORTS = 256
-      CATALOG = CtxParser::CommandCatalog.new([
+      DECLARATIONS = CtxParser::Commands.new([
         { dimensions: [ :interfaces ], command: "/info/link", parser: Parsers::InfoLink },
         { dimensions: [ :interfaces ], command: "/info/l3/ip", parser: Parsers::InfoL3Ip },
         { dimensions: [ :aggregation ], command: "/info/l2/trunk", parser: Parsers::InfoL2Trunk },
@@ -41,33 +41,33 @@ module CtxChecker
         { dimensions: [ :clock ], command: "/info/sys/general", parser: Parsers::InfoSysGeneral },
         { dimensions: %i[ntp device_counters], command: "/stats/sys/ntp", parser: Parsers::StatsSysNtp }
       ], multi_command: true)
-      COMMANDS = CATALOG.commands
-      PARSERS = CATALOG.parsers
+      COMMANDS = DECLARATIONS.by_dimension
+      PARSERS = DECLARATIONS.parsers
 
       # 打开连接器前，拒绝已知不兼容的产品系列。
       def initialize(model: nil)
         super
         raise ArgumentError, "DefensePro requires a separate checker profile" if /defen[cs]e[\s_-]*pro/i.match?(model.to_s)
 
-        @catalog = CATALOG
+        @declarations = DECLARATIONS
       end
 
       # 扩展后的实例保留不可变命令与实现索引。
-      def commands = @catalog.commands
+      def commands = @declarations.by_dimension
 
       # 绑定端口的解析器复用基础型号覆盖及命令选择契约。
-      def parsers = @catalog.parsers
+      def parsers = @declarations.parsers
 
       # 已知光模块命令缺陷根据固件事实判断，不依据型号名称猜测。
       def with_software_version(value)
         raise ArgumentError, "Software version must be text" unless value.nil? || value.is_a?(String)
 
-        entries = @catalog.entries.reject { |entry| entry[:dimensions].include?(:optics) }
+        entries = @declarations.entries.reject { |entry| entry[:dimensions].include?(:optics) }
         if transceiver_fixed?(value)
           entries += [ { dimensions: [ :optics ], command: "/info/transceiver", parser: Parsers::InfoTransceiver } ]
         end
         expanded = dup
-        expanded.instance_variable_set(:@catalog, CtxParser::CommandCatalog.new(entries, multi_command: true))
+        expanded.instance_variable_set(:@declarations, CtxParser::Commands.new(entries, multi_command: true))
         expanded
       end
 
@@ -91,7 +91,7 @@ module CtxChecker
             { dimensions: [ :counters ], command: "/stats/port #{port}/ether", parser: Parsers::StatsPortEther.for_port(port) } ]
         end
         expanded = dup
-        expanded.instance_variable_set(:@catalog, CtxParser::CommandCatalog.new(@catalog.entries + additions, multi_command: true))
+        expanded.instance_variable_set(:@declarations, CtxParser::Commands.new(@declarations.entries + additions, multi_command: true))
         expanded
       end
 

data/lib/ctx_checker/runtime_parser.rb

@@ -39,11 +39,15 @@ module CtxChecker
 
         return names.to_h { |name| [ name, unavailable_observation(name) ] }
       end
-      candidates = names.map { |name| profile.commands_for(name) }.reduce(:&)
-      command ||= candidates.first if candidates.one?
-      raise ArgumentError, "Select one declared command or use parse_outputs for multiple sources" unless candidates.include?(command)
-      implementation = profile.parser_for(names.first, command: command)
-      command_counts = names.to_h { |name| [ name, profile.commands_for(name).size ] }
+      unless command
+        candidates = names.map { |name| @implementations.fetch(name).keys }.reduce(:&)
+        command = candidates.first if candidates.one?
+      end
+      unless command && names.all? { |name| @implementations.fetch(name).key?(command) }
+        raise ArgumentError, "Select one declared command or use parse_outputs for multiple sources"
+      end
+      implementation = @implementations.fetch(names.first).fetch(command)
+      command_counts = names.to_h { |name| [ name, @implementations.fetch(name).size ] }
       evidence = [ { command: command, sha256: Digest::SHA256.hexdigest(text), bytes: text.bytesize } ]
       source = begin
         normalized = CtxParser::Input.text(text, encoding: :transcode, newlines: :lf, max_bytes: Parsers::Base::MAX_BYTES)
@@ -178,19 +182,21 @@ module CtxChecker
       unless profile.commands.is_a?(Hash) && profile.commands.any? && (profile.commands.keys - DIMENSIONS).empty?
         raise ArgumentError, "Checker profile must declare supported dimensions"
       end
-      profile.commands.each_key do |name|
-        profile.commands_for(name).each do |command|
+      @implementations = profile.commands.to_h do |name, _commands|
+        implementations = profile.commands_for(name).to_h do |command|
           implementation = profile.parser_for(name, command: command)
           unless implementation.is_a?(Class) && implementation < CtxParser::Parser
             raise ArgumentError, "Command parser must inherit from Parser"
           end
+          [ command, implementation ]
         end
-      end
+        [ name, implementations.freeze ]
+      end.freeze
     end
 
     # 单个投影缺失不能使同一回显的其他视图失效。
     def project(name, result, command:, command_count:, evidence:)
-      if result.is_a?(CtxParser::ResultSet)
+      if result.is_a?(CtxParser::Results)
         begin
           result = result.fetch(name)
         rescue StandardError => error
@@ -203,7 +209,7 @@ module CtxChecker
 
     # 来源状态归属于单个脚本，即使归并维度仅部分完整也独立保留。
     def build_observation(name, result, command:, command_count:, evidence:)
-      raise ArgumentError, "Command parser must return a Result or ResultSet" unless result.is_a?(CtxParser::Result)
+      raise ArgumentError, "Command parser must return a Result or Results" unless result.is_a?(CtxParser::Result)
 
       status, issues = result.status, result.issues.dup
       # 仅明确的全功能声明可证明不适用；局部空邻居表不能证明。

data/lib/ctx_checker/{system_record.rb → system_fields.rb}

@@ -5,8 +5,8 @@ require "date"
 require "ctx_parser/immutable"
 
 module CtxChecker
-  # 标准化系统测量保留来源作用域与计算依据。
-  module SystemRecord
+  # 定义各系统观测维度的字段、身份及取值规则。
+  module SystemFields
     FIELDS = CtxParser::Immutable.copy(
       cpu: %i[component scope window_seconds utilization interrupt_utilization],
       memory: %i[component scope utilization total_bytes used_bytes free_bytes available_bytes basis status],
@@ -34,7 +34,7 @@ module CtxChecker
     CATEGORIES = %i[error discard policy informational unknown].freeze
 
     # 校验测量值，不将不可用读数转换为零或 false。
-    def self.valid?(name, key, value)
+    def self.valid_value?(name, key, value)
       case key
       when :status then STATES.include?(value)
       when :basis then BASES.include?(value)

data/lib/ctx_checker/system_policy.rb

@@ -12,46 +12,46 @@ module CtxChecker
     # 校验并冻结运行限制及必需组件选择。
     def initialize(resource_thresholds: {}, temperature_thresholds: {}, required_components: {}, required_dimensions: [],
       max_clock_skew_seconds: 300, max_ntp_offset_ms: 100, device_counter_limits: {})
-      resources!(resource_thresholds)
-      temperatures!(temperature_thresholds)
-      components!(required_components)
+      validate_resource_thresholds!(resource_thresholds)
+      validate_temperature_thresholds!(temperature_thresholds)
+      validate_required_components!(required_components)
       unless required_dimensions.is_a?(Array) && required_dimensions.uniq == required_dimensions && (required_dimensions - Observation::NAMES).empty?
         raise ArgumentError, "Required dimensions must be unique known names"
       end
       [ max_clock_skew_seconds, max_ntp_offset_ms ].each do |value|
-        raise ArgumentError, "Time limits must be finite and nonnegative" unless SystemRecord.number?(value) && value >= 0
+        raise ArgumentError, "Time limits must be finite and nonnegative" unless SystemFields.number?(value) && value >= 0
       end
-      unless device_counter_limits.is_a?(Hash) && device_counter_limits.all? { |metric, limit| SystemRecord.text?(metric) && limit.is_a?(Integer) && limit >= 0 }
+      unless device_counter_limits.is_a?(Hash) && device_counter_limits.all? { |metric, limit| SystemFields.text?(metric) && limit.is_a?(Integer) && limit >= 0 }
         raise ArgumentError, "Device counter limits require named metrics and nonnegative integer deltas"
       end
       @resource_thresholds = CtxParser::Immutable.copy(DEFAULT_RESOURCES.merge(resource_thresholds))
       @temperature_thresholds, @required_components, @required_dimensions, @device_counter_limits =
         [ temperature_thresholds, required_components, required_dimensions, device_counter_limits ].map { |value| CtxParser::Immutable.copy(value) }
-      @max_clock_skew_seconds, @max_ntp_offset_ms = max_clock_skew_seconds, max_ntp_offset_ms
+      @max_clock_skew_seconds, @max_ntp_offset_ms = CtxParser::Immutable.copy([ max_clock_skew_seconds, max_ntp_offset_ms ])
       freeze
     end
 
     # 检查策略是否明确要求此资源或功能。
-    def required?(name) = required_dimensions.include?(name) || required_components.fetch(name, []).any?
+    def required_dimension?(name) = required_dimensions.include?(name) || required_components.fetch(name, []).any?
 
     private
 
     # 两个资源阈值必须明确且有序，拒绝仅替换其中一个。
-    def resources!(values)
+    def validate_resource_thresholds!(values)
       unless values.is_a?(Hash) && (values.keys - DEFAULT_RESOURCES.keys).empty? && values.values.all? do |row|
-          row.is_a?(Hash) && row.keys.sort == %i[critical warning] && row.values.all? { |value| SystemRecord.number?(value) && value.between?(0, 100) } && row[:warning] <= row[:critical]
+          row.is_a?(Hash) && row.keys.sort == %i[critical warning] && row.values.all? { |value| SystemFields.number?(value) && value.between?(0, 100) } && row[:warning] <= row[:critical]
         end
         raise ArgumentError, "Resource thresholds require ordered warning and critical percentages"
       end
     end
 
     # 校验温度限制及各传感器的策略覆盖值。
-    def temperatures!(values)
+    def validate_temperature_thresholds!(values)
       unless values.is_a?(Hash) && values.all? do |component, row|
-          SystemRecord.text?(component) && row.is_a?(Hash) && (row.keys & Observation::OPTICAL_THRESHOLDS).any? &&
+          SystemFields.text?(component) && row.is_a?(Hash) && (row.keys & Observation::OPTICAL_THRESHOLDS).any? &&
             (row.keys - Observation::OPTICAL_THRESHOLDS - [ :high_comparison ]).empty? &&
             (!row.key?(:high_comparison) || %i[gt gte].include?(row[:high_comparison])) &&
-            row.except(:high_comparison).values.all? { |value| SystemRecord.number?(value) } &&
+            row.except(:high_comparison).values.all? { |value| SystemFields.number?(value) } &&
             row.values_at(*Observation::OPTICAL_THRESHOLDS).compact.each_cons(2).all? { |low, high| low <= high }
         end
         raise ArgumentError, "Temperature policies require exact sensors and ordered Celsius limits"
@@ -59,9 +59,9 @@ module CtxChecker
     end
 
     # 校验必需环境组件与允许的状态。
-    def components!(values)
+    def validate_required_components!(values)
       unless values.is_a?(Hash) && (values.keys - %i[temperature environment power]).empty? && values.values.all? do |names|
-          names.is_a?(Array) && names.uniq == names && names.all? { |name| SystemRecord.text?(name) }
+          names.is_a?(Array) && names.uniq == names && names.all? { |name| SystemFields.text?(name) }
         end
         raise ArgumentError, "Required hardware components must be unique names by dimension"
       end

data/lib/ctx_checker/version.rb

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

data/lib/ctx_checker.rb

@@ -7,7 +7,7 @@ module CtxChecker
   {
     Observation: "observation", Snapshot: "snapshot", Policy: "policy", Finding: "finding",
     Report: "report", Evaluator: "evaluator", RuntimeParser: "runtime_parser", Collector: "collector", Applicability: "applicability",
-    SystemPolicy: "system_policy", SystemRecord: "system_record", ObservationMerger: "observation_merger", Failure: "failure",
+    SystemPolicy: "system_policy", SystemFields: "system_fields", ObservationMerger: "observation_merger", Failure: "failure",
     ParserRegistry: "parser_registry", Parsers: "parsers/base", H3c: "h3c/profile",
     CiscoIos: "cisco_ios/profile", CiscoNxos: "cisco_nxos/profile", PaloAlto: "palo_alto/profile",
     Hillstone: "hillstone/profile", RadwareAlteon: "radware_alteon"