branchproof 0.10.0 → 0.11.0

data/lib/branchproof/report.rb

@@ -4,11 +4,13 @@
 
 require "json"
 require "pathname"
+require_relative "coverage_policy"
+require_relative "report_selection"
 
 module Branchproof
   # Renders versioned terminal and JSON analysis reports.
   class Report
-    SCHEMA_VERSION = "1.3"
+    SCHEMA_VERSION = "1.4"
     CRITERION_VERSION = "masking_occurrence_v1"
     VIEWS = %i[decisions conditions tests decision_tables].freeze
     DECISION_TABLE_LABELS = { "true" => "T", "false" => "F", "dont_care" => "-" }.freeze
@@ -16,7 +18,7 @@ module Branchproof
                                      "excluded" => "EXCLUDED" }.freeze
 
     def initialize(inventory:, evidence:, analysis:, minima:, baseline:, diagnostics:, level: 3, missing_only: false,
-                   view: :decisions, run_metadata: {}, saved_document: nil)
+                   view: :decisions, run_metadata: {}, saved_document: nil, focus: nil, top: nil, minimum: nil)
       raise ArgumentError, "level must be 1, 2, or 3" unless [1, 2, 3].include?(level.to_i)
       unless VIEWS.include?(view.to_sym)
         raise ArgumentError, "view must be :decisions, :conditions, :tests, or :decision_tables"
@@ -33,21 +35,29 @@ module Branchproof
       @view = view.to_sym
       @run_metadata = run_metadata || {}
       @saved_document = saved_document
+      raise ArgumentError, "minimum must be a hash" if !minimum.nil? && !minimum.is_a?(Hash)
+
+      @minimum_override = minimum.is_a?(Hash) && !minimum.empty? ? CoveragePolicy.normalize(minimum) : nil
+      @minimum = effective_minimum
+      @selection = ReportSelection.new(focus: focus, top: top)
     end
 
-    def self.from_document(document:, level: nil, view: :decisions, missing_only: false)
+    def self.from_document(document:, level: nil, view: :decisions, missing_only: false, focus: nil, top: nil,
+                           minimum: nil)
       data = document || {}
       new(inventory: data[:source_inventory] || data["source_inventory"],
           evidence: data[:observations] || data["observations"],
           analysis: data[:analysis] || data["analysis"], minima: data[:minima] || data["minima"],
           baseline: data[:baseline] || data["baseline"], diagnostics: data[:diagnostics] || data["diagnostics"],
           level: level || (data[:analysis] || data["analysis"] ? 3 : 1), view: view, missing_only: missing_only,
-          run_metadata: data[:run_metadata] || data["run_metadata"], saved_document: data)
+          focus: focus, top: top,
+          run_metadata: data[:run_metadata] || data["run_metadata"], saved_document: data, minimum: minimum)
     end
 
     def write(io:, format:)
       format = format.to_sym
       raise ArgumentError, "format must be :terminal or :json" unless %i[terminal json].include?(format)
+      raise ArgumentError, "focus and top filters are terminal-only" if format == :json && @selection.active?
 
       io.write(format == :json ? JSON.generate(json_document) : terminal_document)
       nil
@@ -105,6 +115,10 @@ module Branchproof
     def exit_code
       return 2 unless usage_valid?
 
+      policy_status = value(coverage_policy, :status).to_s
+      return 2 if policy_status == "unavailable"
+      return 1 if policy_status == "failed"
+
       status = value(@baseline, :status).to_s.upcase
       return 2 if %w[ERROR INCOMPLETE].include?(status)
       return 1 if status == "FAILED"
@@ -131,7 +145,11 @@ module Branchproof
     private
 
     def json_document
-      return normalize(@saved_document) if @saved_document
+      if @saved_document
+        document = normalize(@saved_document)
+        document["coverage_policy"] = normalize(coverage_policy) if @minimum_override
+        return document
+      end
 
       normalize(schema_version: SCHEMA_VERSION,
                 tool_version: (defined?(Branchproof::VERSION) ? Branchproof::VERSION : "unknown"),
@@ -139,14 +157,15 @@ module Branchproof
                 run_ids: Array(value(@evidence, :run_ids)),
                 source_inventory: inventory_with_default_kinds, baseline: @baseline, observations: @evidence,
                 analysis: @analysis, minima: @minima, metrics: metrics,
-                diagnostics: @diagnostics, completeness: completeness,
+                diagnostics: @diagnostics, completeness: completeness, coverage_policy: coverage_policy,
                 run_metadata: @run_metadata)
     end
 
     def terminal_document
       unless @view == :decisions
         return FocusedReport.new(document: json_document, view: @view, level: @level,
-                                 missing_only: @missing_only, coordinator: self).render
+                                 missing_only: @missing_only, coordinator: self,
+                                 selection: @selection).render
       end
 
       @terminal_ids = terminal_ids
@@ -161,10 +180,13 @@ module Branchproof
                "#{metrics[:unattributed]} unattributed",
                values_legend]
       lines.concat(coverage_ladder_lines)
+      lines.concat(coverage_policy_lines)
       lines << missing_summary_line if @missing_only
+      selected_decisions, hidden = selected_decisions_for_display
+      append_selection_lines(lines, hidden, "decision")
       lines << "Scope: supported decisions, conditions, and alternatives"
       lines << ""
-      decisions_to_render.each { |decision| render_decision(lines, decision) }
+      selected_decisions.each { |decision| render_decision(lines, decision) }
       render_minima(lines) unless @missing_only
       unless @diagnostics.empty?
         lines << "Diagnostics:"
@@ -930,6 +952,33 @@ module Branchproof
         end
     end
 
+    def selected_decisions_for_display
+      decisions = decisions_to_render
+      return [decisions, 0] unless @selection.active?
+
+      inventory = value(@inventory, :source_units) ? @inventory : { source_units: [], decisions: inventory_decisions }
+      decisions = @selection.filter_decisions(decisions, inventory: inventory)
+      decisions = decisions.sort_by { |decision| @selection.sort_key(decision, inventory: inventory) }
+      @selection.limit(decisions)
+    end
+
+    def append_selection_lines(lines, hidden, unit)
+      if @selection.focus_active?
+        matching = @selection.matching_decision_ids(json_document)
+        lines << if matching.empty?
+                   "Focus: no matching decisions for #{@selection.focus_label}"
+                 else
+                   "Focus: #{@selection.focus_label}"
+                 end
+      end
+      return unless @selection.top
+
+      noun = hidden == 1 ? unit : "#{unit}s"
+      hidden_noun = hidden == 1 ? unit : "#{unit}s"
+      lines << "Display limit: top #{@selection.top} #{noun}; hidden #{hidden} #{hidden_noun} " \
+               "(not risk-ranked)"
+    end
+
     def alternatives_to_render(decision)
       alternatives = Array(value(decision, :alternatives))
       return alternatives unless @missing_only && analysis_available?
@@ -962,6 +1011,44 @@ module Branchproof
       !@analysis.nil?
     end
 
+    def coverage_policy
+      @coverage_policy ||= CoveragePolicy.new(minimum: @minimum).call(document: policy_document)
+    end
+
+    def coverage_policy_lines
+      policy = coverage_policy
+      minimum = value(policy, :minimum) || {}
+      return [] if minimum.empty?
+
+      lines = ["Coverage policy: #{value(policy, :status).to_s.upcase}"]
+      Array(value(policy, :gates)).each do |gate|
+        numerator = value(gate, :numerator)
+        denominator = value(gate, :denominator)
+        count = if denominator.nil? || (denominator.respond_to?(:zero?) && denominator.zero?)
+                  "N/A"
+                else
+                  "#{numerator || "N/A"}/#{denominator}"
+                end
+        suffix = value(gate, :reason) ? "; reason: #{value(gate, :reason)}" : ""
+        lines << "  #{value(gate, :criterion)}: #{count}, threshold #{value(gate, :minimum)}, " \
+                 "#{value(gate, :status).to_s.upcase}#{suffix}"
+      end
+      lines << ""
+      lines
+    end
+
+    def policy_document
+      { baseline: @baseline, completeness: value(@saved_document, :completeness) || completeness,
+        observations: value(@saved_document, :observations) || @evidence,
+        analysis: value(@saved_document, :analysis) || @analysis }
+    end
+
+    def effective_minimum
+      inherited = value(value(@saved_document, :coverage_policy), :minimum)
+      base = inherited.is_a?(Hash) ? CoveragePolicy.normalize(inherited) : {}
+      base.merge(@minimum_override || {})
+    end
+
     def coverage_available?
       analysis_available? && !value(@analysis, :coverage).nil?
     end
@@ -1170,7 +1257,8 @@ module Branchproof
     def normalize_unknown(object)
       object.to_s
     end
-    public :condition_coverage_evidence, :coverage_ladder_lines, :coverage_status_label,
+    public :condition_coverage_evidence, :coverage_ladder_lines, :coverage_policy_lines, :coverage_policy,
+           :coverage_status_label,
            :decision_table_requirement, :decision_table_reachability, :decision_table_expected_heading
   end
 end

data/lib/branchproof/report_selection.rb

@@ -0,0 +1,158 @@
+# frozen_string_literal: true
+
+require "pathname"
+
+module Branchproof
+  # Validates and applies terminal-only report display filters.
+  # rubocop:disable Metrics/ClassLength, Metrics/AbcSize, Metrics/CyclomaticComplexity, Metrics/MethodLength, Metrics/PerceivedComplexity
+  class ReportSelection
+    attr_reader :focus, :top
+
+    def initialize(focus: nil, top: nil)
+      @focus = normalize_focus(focus)
+      @top = normalize_top(top)
+    end
+
+    def active?
+      !@focus.nil? || !@top.nil?
+    end
+
+    def focus_active?
+      !@focus.nil?
+    end
+
+    def focus_label
+      return unless @focus
+
+      @focus[:line] ? "#{@focus[:path]}:#{@focus[:line]}" : @focus[:path]
+    end
+
+    def matching_decision_ids(document)
+      inventory = fetch(document, :source_inventory) || fetch(document, :inventory) || {}
+      sources = source_map(inventory)
+      Array(fetch(inventory, :decisions)).filter_map do |decision|
+        next unless matches_decision?(decision, sources)
+
+        fetch(decision, :id).to_s
+      end
+    end
+
+    def filter_decisions(decisions, inventory: {})
+      return decisions unless focus_active?
+
+      sources = source_map(inventory)
+      decisions.select { |decision| matches_decision?(decision, sources) }
+    end
+
+    def limit(items)
+      return [items, 0] unless @top
+
+      [items.first(@top), [items.length - @top, 0].max]
+    end
+
+    def sort_key(decision, inventory: {})
+      source = source_for(decision, source_map(inventory))
+      [normalize_source_path(fetch(source, :relative_path)).to_s,
+       fetch(decision, :line).to_i, fetch(decision, :column).to_i, fetch(decision, :id).to_s]
+    end
+
+    private
+
+    def normalize_focus(focus)
+      return nil if focus.nil?
+      raise ArgumentError, "focus must be PATH or PATH:LINE" unless focus.is_a?(String)
+
+      raw = focus.strip
+      raise ArgumentError, "focus path must not be empty" if raw.empty?
+
+      path, line = if raw.match?(/:\d+\z/)
+                     match = raw.match(/\A(.+):([0-9]+)\z/)
+                     raise ArgumentError, "focus path must not be empty" unless match
+
+                     [match[1], match[2].to_i]
+                   else
+                     raise ArgumentError, "focus line must be a positive integer" if raw.include?(":")
+
+                     [raw, nil]
+                   end
+      raise ArgumentError, "focus line must be a positive integer" if line && line <= 0
+
+      { path: normalize_path(path), line: line }.freeze
+    end
+
+    def normalize_top(top)
+      return nil if top.nil?
+
+      value = if top.is_a?(Integer)
+                top
+              elsif top.is_a?(String) && top.match?(/\A[1-9][0-9]*\z/)
+                top.to_i
+              end
+      raise ArgumentError, "top must be a positive integer" unless value&.positive?
+
+      value
+    end
+
+    def normalize_path(path)
+      text = path.to_s
+      raise ArgumentError, "focus path must not be empty" if text.empty? || text.include?("\0")
+
+      pathname = Pathname.new(text)
+      raise ArgumentError, "focus path must be project-relative" if pathname.absolute?
+
+      normalized = pathname.cleanpath.to_s
+      if normalized == "." || normalized == ".." || normalized.start_with?("../")
+        raise ArgumentError, "focus path must stay within the project"
+      end
+
+      normalized
+    rescue ArgumentError
+      raise
+    rescue StandardError => e
+      raise ArgumentError, "invalid focus path: #{e.message}"
+    end
+
+    def matches_decision?(decision, sources)
+      return false unless @focus
+
+      source = source_for(decision, sources)
+      return false unless normalize_source_path(fetch(source, :relative_path)) == @focus[:path]
+      return true unless @focus[:line]
+
+      start_line = fetch(decision, :line).to_i
+      return false unless start_line.positive?
+
+      end_line = start_line + fetch(decision, :expression).to_s.count("\n")
+      @focus[:line].between?(start_line, end_line)
+    end
+
+    def source_for(decision, sources)
+      sources[fetch(decision, :source_id).to_s] || decision
+    end
+
+    def source_map(inventory)
+      Array(fetch(inventory, :source_units)).to_h do |source|
+        [fetch(source, :source_id).to_s, source]
+      end
+    end
+
+    def normalize_source_path(path)
+      return nil if path.nil? || path.to_s.empty?
+      return nil if Pathname.new(path.to_s).absolute?
+
+      Pathname.new(path.to_s).cleanpath.to_s
+    rescue ArgumentError
+      nil
+    end
+
+    def fetch(hash, key)
+      return nil unless hash.respond_to?(:key?)
+      return hash[key] if hash.key?(key)
+      return hash[key.to_s] if hash.key?(key.to_s)
+
+      nil
+    end
+  end
+end
+
+# rubocop:enable Metrics/ClassLength, Metrics/AbcSize, Metrics/CyclomaticComplexity, Metrics/MethodLength, Metrics/PerceivedComplexity

data/lib/branchproof/saved_report.rb

@@ -7,13 +7,14 @@
 require "json"
 # rubocop:disable-next Lint/RedundantRequireStatement -- supports standalone core entry
 require "set"
+require_relative "coverage_policy"
 require_relative "decision_table"
 
 module Branchproof
   # Reads and validates a persisted JSON report without loading the project.
   class SavedReport
-    SUPPORTED_SCHEMAS = %w[1.0 1.1 1.2 1.3].freeze
-    STRICT_FLOW_SCHEMAS = %w[1.2 1.3].freeze
+    SUPPORTED_SCHEMAS = %w[1.0 1.1 1.2 1.3 1.4].freeze
+    STRICT_FLOW_SCHEMAS = %w[1.2 1.3 1.4].freeze
     DECISION_TABLE_STATUSES = %w[calculated not_calculated].freeze
     RULE_CONDITION_VALUES = DecisionTable::CONDITION_VALUES
     RULE_COVERAGE_STATUSES = DecisionTable::COVERAGE_STATUSES
@@ -60,6 +61,7 @@ module Branchproof
       validate_completeness(@document["completeness"])
       validate_completeness(@document.dig("observations", "completeness"))
       validate_completeness(@document.dig("analysis", "completeness")) if @document["analysis"]
+      validate_coverage_policy
       validate_optional_sections
       validate_analysis_coverage
       @document
@@ -218,7 +220,9 @@ module Branchproof
           fail_with("nonboolean condition results must be empty") unless results.empty?
           validate_nonboolean_analysis(decision, inventory_decision)
         elsif decision.key?("decision_table")
-          fail_with("decision tables are unsupported in legacy report schemas") unless @schema_version == "1.3"
+          unless %w[1.3 1.4].include?(@schema_version)
+            fail_with("decision tables are unsupported in legacy report schemas")
+          end
           validate_decision_table(decision["decision_table"], inventory_decision)
         end
         seen_conditions = {}
@@ -626,6 +630,28 @@ module Branchproof
       fail_with("document contains non-string object keys") unless all_hashes_have_string_keys?(@document)
     end
 
+    def validate_coverage_policy
+      policy = @document["coverage_policy"]
+      fail_with("missing field: coverage_policy") if @schema_version == "1.4" && !policy
+      return if policy.nil?
+
+      fail_with("coverage_policy must be an object") unless hash_with_string_keys?(policy)
+      minimum = policy["minimum"]
+      fail_with("coverage_policy minimum must be an object") unless hash_with_string_keys?(minimum)
+      normalized = CoveragePolicy.normalize(minimum)
+      fail_with("coverage_policy status must be a string") unless policy["status"].is_a?(String)
+      fail_with("coverage_policy gates must be an array") unless policy["gates"].is_a?(Array)
+      expected = CoveragePolicy.new(minimum: normalized).call(
+        document: { baseline: @document["baseline"], completeness: @document["completeness"],
+                    observations: @document["observations"], analysis: @document["analysis"] }
+      )
+      actual = JSON.parse(JSON.generate(policy))
+      expected = JSON.parse(JSON.generate(expected))
+      fail_with("coverage_policy does not match report coverage") unless actual == expected
+    rescue ArgumentError => e
+      fail_with(e.message.sub(/\Ainvalid saved report: /, ""))
+    end
+
     def validate_phases(vector)
       phases = vector["phases_by_test"]
       return if phases.nil?

data/lib/branchproof/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Branchproof
-  VERSION = "0.10.0"
+  VERSION = "0.11.0"
 end

data/lib/branchproof.rb

@@ -9,6 +9,9 @@ require_relative "branchproof/project"
 # Public namespace for source inventory and one-run MC/DC reporting.
 module Branchproof
   class Error < StandardError; end
+  autoload :Configuration, "branchproof/configuration"
+  autoload :CoveragePolicy, "branchproof/coverage_policy"
+  autoload :ReportSelection, "branchproof/report_selection"
   autoload :CLI, "branchproof/cli"
   autoload :Instrumenter, "branchproof/instrumenter"
   autoload :Loader, "branchproof/loader"

data/llms.txt

@@ -2,7 +2,7 @@
 
 |  |  |
 | --- | --- |
-| **Defined in** | lib/branchproof.rb, lib/branchproof/cli.rb, lib/branchproof/limits.rb, lib/branchproof/loader.rb, lib/branchproof/report.rb, lib/branchproof/source.rb, lib/branchproof/worker.rb, lib/branchproof/project.rb, lib/branchproof/records.rb, lib/branchproof/runtime.rb, lib/branchproof/version.rb, lib/branchproof/analyzer.rb, lib/branchproof/evidence.rb, lib/branchproof/minimizer.rb, lib/branchproof/comparison.rb, lib/branchproof/constraints.rb, lib/branchproof/instrumenter.rb, lib/branchproof/runtime_flow.rb, lib/branchproof/saved_report.rb, lib/branchproof/value_syntax.rb, lib/branchproof/rails_support.rb, lib/branchproof/rspec_adapter.rb, lib/branchproof/value_runtime.rb, lib/branchproof/coverage_index.rb, lib/branchproof/decision_table.rb, lib/branchproof/default_syntax.rb, lib/branchproof/focused_report.rb, lib/branchproof/decision_syntax.rb, lib/branchproof/default_runtime.rb, lib/branchproof/exception_syntax.rb, lib/branchproof/iteration_syntax.rb, lib/branchproof/minitest_adapter.rb, lib/branchproof/comparison_report.rb, lib/branchproof/exception_runtime.rb, lib/branchproof/iteration_runtime.rb, lib/branchproof/flow_instrumentation.rb, lib/branchproof/value_instrumentation.rb, lib/branchproof/default_instrumentation.rb, lib/branchproof/exception_instrumentation.rb, lib/branchproof/iteration_instrumentation.rb, lib/branchproof/extended_alternative_runtime.rb |
+| **Defined in** | lib/branchproof.rb, lib/branchproof/cli.rb, lib/branchproof/limits.rb, lib/branchproof/loader.rb, lib/branchproof/report.rb, lib/branchproof/source.rb, lib/branchproof/worker.rb, lib/branchproof/project.rb, lib/branchproof/records.rb, lib/branchproof/runtime.rb, lib/branchproof/version.rb, lib/branchproof/analyzer.rb, lib/branchproof/evidence.rb, lib/branchproof/minimizer.rb, lib/branchproof/comparison.rb, lib/branchproof/constraints.rb, lib/branchproof/instrumenter.rb, lib/branchproof/runtime_flow.rb, lib/branchproof/saved_report.rb, lib/branchproof/value_syntax.rb, lib/branchproof/configuration.rb, lib/branchproof/rails_support.rb, lib/branchproof/rspec_adapter.rb, lib/branchproof/value_runtime.rb, lib/branchproof/coverage_index.rb, lib/branchproof/decision_table.rb, lib/branchproof/default_syntax.rb, lib/branchproof/focused_report.rb, lib/branchproof/coverage_policy.rb, lib/branchproof/decision_syntax.rb, lib/branchproof/default_runtime.rb, lib/branchproof/exception_syntax.rb, lib/branchproof/iteration_syntax.rb, lib/branchproof/minitest_adapter.rb, lib/branchproof/report_selection.rb, lib/branchproof/comparison_report.rb, lib/branchproof/exception_runtime.rb, lib/branchproof/iteration_runtime.rb, lib/branchproof/flow_instrumentation.rb, lib/branchproof/value_instrumentation.rb, lib/branchproof/default_instrumentation.rb, lib/branchproof/exception_instrumentation.rb, lib/branchproof/iteration_instrumentation.rb, lib/branchproof/extended_alternative_runtime.rb |
 
 Keep source-boundary and parameter-binding rules together for auditing.
 rubocop:disable Metrics/AbcSize, Metrics/CyclomaticComplexity,
@@ -18,9 +18,11 @@ Not documented.
 - [Branchproof/CLI.md](doc/Branchproof/CLI.md)
 - [Branchproof/Comparison.md](doc/Branchproof/Comparison.md)
 - [Branchproof/ComparisonReport.md](doc/Branchproof/ComparisonReport.md)
+- [Branchproof/Configuration.md](doc/Branchproof/Configuration.md)
 - [Branchproof/Constraints/Solver.md](doc/Branchproof/Constraints/Solver.md)
 - [Branchproof/Constraints.md](doc/Branchproof/Constraints.md)
 - [Branchproof/CoverageIndex.md](doc/Branchproof/CoverageIndex.md)
+- [Branchproof/CoveragePolicy.md](doc/Branchproof/CoveragePolicy.md)
 - [Branchproof/DecisionSyntax.md](doc/Branchproof/DecisionSyntax.md)
 - [Branchproof/DecisionTable.md](doc/Branchproof/DecisionTable.md)
 - [Branchproof/DefaultInstrumentation.md](doc/Branchproof/DefaultInstrumentation.md)
@@ -54,6 +56,7 @@ Not documented.
 - [Branchproof/RailsSupport.md](doc/Branchproof/RailsSupport.md)
 - [Branchproof/Records.md](doc/Branchproof/Records.md)
 - [Branchproof/Report.md](doc/Branchproof/Report.md)
+- [Branchproof/ReportSelection.md](doc/Branchproof/ReportSelection.md)
 - [Branchproof/Runtime.md](doc/Branchproof/Runtime.md)
 - [Branchproof/RuntimeFlow.md](doc/Branchproof/RuntimeFlow.md)
 - [Branchproof/SavedReport.md](doc/Branchproof/SavedReport.md)

data/sig/branchproof.rbs

@@ -40,6 +40,15 @@ module Branchproof
     def to_h: () -> record
   end
 
+  class Configuration
+    SCHEMA_VERSION: Integer
+    PROJECTS: Array[String]
+    FRAMEWORKS: Array[String]
+    MINIMUM_CRITERIA: Array[String]
+    FIELDS: Array[String]
+    def self.load: (path: String, root: String, ?explicit: bool, ?disabled: bool) -> record?
+  end
+
   module RailsSupport
     def self.boot: (project: record) -> record
     def self.validate_rspec!: (project: record) -> record?
@@ -117,6 +126,14 @@ module Branchproof
     def missing: (decision_id: String, condition_index: Integer) -> record?
   end
 
+  class CoveragePolicy
+    CRITERIA: Hash[String, Hash[Symbol, String]]
+    COMPLETENESS_FIELDS: Array[String]
+    def self.normalize: (Hash[String | Symbol, untyped] minimum) -> Hash[String, Integer | Float]
+    def initialize: (minimum: Hash[String | Symbol, untyped]) -> void
+    def call: (document: document?) -> record
+  end
+
   module Constraints
     VERSION: Integer
     NUMERIC_OPERATORS: Array[String]
@@ -194,13 +211,15 @@ module Branchproof
     SCHEMA_VERSION: String
     CRITERION_VERSION: String
     VIEWS: Array[Symbol]
-    def initialize: (inventory: document, evidence: document, analysis: document?, minima: Array[document], baseline: document, diagnostics: Array[document], ?level: Integer, ?missing_only: bool, ?view: Symbol, ?run_metadata: document, ?saved_document: document?) -> void
-    def self.from_document: (document: document, ?level: Integer?, ?view: Symbol, ?missing_only: bool) -> Report
+    def initialize: (inventory: document, evidence: document, analysis: document?, minima: Array[document], baseline: document, diagnostics: Array[document], ?level: Integer, ?missing_only: bool, ?view: Symbol, ?run_metadata: document, ?saved_document: document?, ?focus: String?, ?top: (Integer | String)?, ?minimum: document?) -> void
+    def self.from_document: (document: document, ?level: Integer?, ?view: Symbol, ?missing_only: bool, ?focus: String?, ?top: (Integer | String)?, ?minimum: document?) -> Report
     def diagnostic_message: (Hash[Symbol | String, untyped] diagnostic) -> String
     def condition_explanation: (decision_id: String, condition_id: String) -> String
     def decision_table_requirement: (untyped value) -> String?
     def decision_table_reachability: (document rule) -> String
     def decision_table_expected_heading: (document decision) -> String
+    def coverage_policy: () -> record
+    def coverage_policy_lines: () -> Array[String]
     def rerun_command: (String test_id) -> String?
     def write: (io: _WriteIO, format: Symbol | String) -> nil
     def exit_code: () -> Integer
@@ -215,10 +234,23 @@ module Branchproof
   end
 
   class FocusedReport
-    def initialize: (document: document, view: Symbol, level: Integer, ?missing_only: bool) -> void
+    def initialize: (document: document, view: Symbol, level: Integer, ?missing_only: bool, ?coordinator: Report?, ?focus: String?, ?top: (Integer | String)?, ?selection: ReportSelection?) -> void
     def render: () -> String
   end
 
+  class ReportSelection
+    attr_reader focus: record?
+    attr_reader top: Integer?
+    def initialize: (?focus: String?, ?top: (Integer | String)?) -> void
+    def active?: () -> bool
+    def focus_active?: () -> bool
+    def focus_label: () -> String?
+    def matching_decision_ids: (document: document) -> Array[String]
+    def filter_decisions: (Array[record] decisions, ?inventory: document) -> Array[record]
+    def limit: (Array[record] items) -> [Array[record], Integer]
+    def sort_key: (record decision, ?inventory: document) -> [String, Integer, Integer, String]
+  end
+
   class SavedReport
     def self.read: (String path) -> document
   end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: branchproof
 version: !ruby/object:Gem::Version
-  version: 0.10.0
+  version: 0.11.0
 platform: ruby
 authors:
 - Lucian Ghinda
@@ -70,9 +70,11 @@ files:
 - doc/Branchproof/CLI.md
 - doc/Branchproof/Comparison.md
 - doc/Branchproof/ComparisonReport.md
+- doc/Branchproof/Configuration.md
 - doc/Branchproof/Constraints.md
 - doc/Branchproof/Constraints/Solver.md
 - doc/Branchproof/CoverageIndex.md
+- doc/Branchproof/CoveragePolicy.md
 - doc/Branchproof/DecisionSyntax.md
 - doc/Branchproof/DecisionTable.md
 - doc/Branchproof/DefaultInstrumentation.md
@@ -106,6 +108,7 @@ files:
 - doc/Branchproof/RailsSupport/Error.md
 - doc/Branchproof/Records.md
 - doc/Branchproof/Report.md
+- doc/Branchproof/ReportSelection.md
 - doc/Branchproof/Runtime.md
 - doc/Branchproof/RuntimeFlow.md
 - doc/Branchproof/SavedReport.md
@@ -123,8 +126,10 @@ files:
 - lib/branchproof/cli.rb
 - lib/branchproof/comparison.rb
 - lib/branchproof/comparison_report.rb
+- lib/branchproof/configuration.rb
 - lib/branchproof/constraints.rb
 - lib/branchproof/coverage_index.rb
+- lib/branchproof/coverage_policy.rb
 - lib/branchproof/decision_syntax.rb
 - lib/branchproof/decision_table.rb
 - lib/branchproof/default_instrumentation.rb
@@ -149,6 +154,7 @@ files:
 - lib/branchproof/rails_support.rb
 - lib/branchproof/records.rb
 - lib/branchproof/report.rb
+- lib/branchproof/report_selection.rb
 - lib/branchproof/rspec_adapter.rb
 - lib/branchproof/runtime.rb
 - lib/branchproof/runtime_flow.rb