branchproof 0.11.0 → 0.12.0

data/doc/Branchproof/ChangedDecisionMap.md

@@ -0,0 +1,20 @@
+# Class Branchproof::ChangedDecisionMap <a id="class-Branchproof-ChangedDecisionMap"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Object |
+| **Defined in** | lib/branchproof/changed_decision_map.rb |
+
+Maps changed lines to current decision records using Prism byte locations.
+rubocop:disable-next Metrics/ClassLength -- AST ownership rules share the
+parsed current source and hunk ranges.
+
+## Constants
+### `CONTROL_NODES` <a id="constant-CONTROL_NODES"></a> <a id="CONTROL_NODES-constant"></a>
+Not documented.
+
+## Public Instance Methods
+### `call(bytes:, path:, decisions:, hunks:, old_bytes: = "")` <a id="method-i-call"></a> <a id="call-instance_method"></a>
+rubocop:disable-next Metrics/AbcSize, Metrics/CyclomaticComplexity,
+Metrics/MethodLength, Metrics/PerceivedComplexity -- Keeps one Prism walk
+across all supported contexts.

data/doc/Branchproof/ChangedScope.md

@@ -0,0 +1,18 @@
+# Class Branchproof::ChangedScope <a id="class-Branchproof-ChangedScope"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Object |
+| **Defined in** | lib/branchproof/changed_scope.rb |
+
+Describes tracked files and current decision IDs affected by the direct
+commit-to-worktree comparison.
+
+## Public Instance Methods
+### `call(inventory:)` <a id="method-i-call"></a> <a id="call-instance_method"></a>
+rubocop:disable-next Metrics/AbcSize, Metrics/CyclomaticComplexity,
+Metrics/MethodLength, Metrics/PerceivedComplexity -- Coordinates Git capture,
+inventory checks, and ordered membership.
+
+### `initialize(root:, ref:)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+- **@return** [ChangedScope] a new instance of ChangedScope

data/doc/Branchproof/Collation.md

@@ -0,0 +1,23 @@
+# Class Branchproof::Collation <a id="class-Branchproof-Collation"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Object |
+| **Defined in** | lib/branchproof/collation.rb |
+
+Reconstructs one analysis from validated, offline report artifacts.
+
+## Constants
+### `SCHEMA_VERSIONS` <a id="constant-SCHEMA_VERSIONS"></a> <a id="SCHEMA_VERSIONS-constant"></a>
+Not documented.
+
+### `STATUS_ORDER` <a id="constant-STATUS_ORDER"></a> <a id="STATUS_ORDER-constant"></a>
+Not documented.
+
+## Public Instance Methods
+### `call()` <a id="method-i-call"></a> <a id="call-instance_method"></a>
+Not documented.
+
+### `initialize(inputs:, expected_shards: = nil)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+- **@raise** [ArgumentError]
+- **@return** [Collation] a new instance of Collation

data/doc/Branchproof/CollationManifest.md

@@ -0,0 +1,29 @@
+# Class Branchproof::CollationManifest <a id="class-Branchproof-CollationManifest"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Object |
+| **Defined in** | lib/branchproof/collation_manifest.rb |
+
+Resolves supplied reports against a manifest without reading report files.
+
+## Attributes
+### `declared_identities` [R] <a id="attribute-i-declared_identities"></a> <a id="declared_identities-instance_method"></a>
+Returns the value of attribute declared_identities.
+
+### `declared_paths` [R] <a id="attribute-i-declared_paths"></a> <a id="declared_paths-instance_method"></a>
+Returns the value of attribute declared_paths.
+
+### `expected_ids` [R] <a id="attribute-i-expected_ids"></a> <a id="expected_ids-instance_method"></a>
+Returns the value of attribute expected_ids.
+
+### `inputs` [R] <a id="attribute-i-inputs"></a> <a id="inputs-instance_method"></a>
+Returns the value of attribute inputs.
+
+## Public Class Methods
+### `path_identity(path)` <a id="method-c-path_identity"></a> <a id="path_identity-class_method"></a>
+Not documented.
+
+## Public Instance Methods
+### `initialize(path:, supplied_paths:)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+- **@return** [CollationManifest] a new instance of CollationManifest

data/doc/Branchproof/CoverageSummary.md

@@ -0,0 +1,20 @@
+# Module Branchproof::CoverageSummary <a id="module-Branchproof-CoverageSummary"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/coverage_summary.rb |
+
+Totals per-decision analyzer coverage without changing its counting rules.
+
+## Public Class Methods
+### `alternative_aggregate(decisions)` <a id="method-c-alternative_aggregate"></a> <a id="alternative_aggregate-class_method"></a>
+Not documented.
+
+### `alternative_decision?(decision)` <a id="method-c-alternative_decision-3F"></a> <a id="alternative_decision?-class_method"></a>
+- **@return** [Boolean]
+
+### `call(decisions)` <a id="method-c-call"></a> <a id="call-class_method"></a>
+Not documented.
+
+### `decision_table_aggregate(boolean_supported)` <a id="method-c-decision_table_aggregate"></a> <a id="decision_table_aggregate-class_method"></a>
+Not documented.

data/doc/Branchproof/Doctor/TerminalRenderer.md

@@ -0,0 +1,15 @@
+# Class Branchproof::Doctor::TerminalRenderer <a id="class-Branchproof-Doctor-TerminalRenderer"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Object |
+| **Defined in** | lib/branchproof/doctor.rb |
+
+Formats the structured document as concise terminal output.
+
+## Public Instance Methods
+### `initialize(document)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+- **@return** [TerminalRenderer] a new instance of TerminalRenderer
+
+### `render()` <a id="method-i-render"></a> <a id="render-instance_method"></a>
+Not documented.

data/doc/Branchproof/Doctor.md

@@ -0,0 +1,34 @@
+# Class Branchproof::Doctor <a id="class-Branchproof-Doctor"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Object |
+| **Defined in** | lib/branchproof/doctor.rb |
+
+Checks static setup facts and renders diagnostics without executing project
+code.
+
+## Constants
+### `ERROR_DOCUMENT` <a id="constant-ERROR_DOCUMENT"></a> <a id="ERROR_DOCUMENT-constant"></a>
+Not documented.
+
+### `FRAMEWORK_GEMS` <a id="constant-FRAMEWORK_GEMS"></a> <a id="FRAMEWORK_GEMS-constant"></a>
+Not documented.
+
+### `LIMITATIONS` <a id="constant-LIMITATIONS"></a> <a id="LIMITATIONS-constant"></a>
+Not documented.
+
+## Public Class Methods
+### `error(message)` <a id="method-c-error"></a> <a id="error-class_method"></a>
+Not documented.
+
+### `terminal(document)` <a id="method-c-terminal"></a> <a id="terminal-class_method"></a>
+Not documented.
+
+## Public Instance Methods
+### `document(source_files:, test_files:)` <a id="method-i-document"></a> <a id="document-instance_method"></a>
+Not documented.
+
+### `initialize(options:, runtime: = { engine: RUBY_ENGINE, version: RUBY_VERSION }, loaded_features: = $LOADED_FEATURES, gem_sources: = { activated: Gem.loaded_specs,
+                                  discoverable: ->(name) { Gem::Specification.find_all_by_name(name) } })` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+- **@return** [Doctor] a new instance of Doctor

data/doc/Branchproof/FallbackInstrumentation.md

@@ -0,0 +1,8 @@
+# Module Branchproof::FallbackInstrumentation <a id="module-Branchproof-FallbackInstrumentation"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/fallback_instrumentation.rb |
+
+Wraps each fallback operand so the runtime sees the operand's own value. `||`
+still short-circuits, so later operands are never evaluated early.

data/doc/Branchproof/FallbackRuntime.md

@@ -0,0 +1,12 @@
+# Module Branchproof::FallbackRuntime <a id="module-Branchproof-FallbackRuntime"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/fallback_runtime.rb |
+
+Records which operand of a fallback chain supplied the value. Only truthy
+operands are recorded; `||` itself decides whether evaluation continues.
+
+## Public Instance Methods
+### `fallback_operand(decision_id, index, implicit, value)` <a id="method-i-fallback_operand"></a> <a id="fallback_operand-instance_method"></a>
+Not documented.

data/doc/Branchproof/FallbackSyntax.md

@@ -0,0 +1,13 @@
+# Module Branchproof::FallbackSyntax <a id="module-Branchproof-FallbackSyntax"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/fallback_syntax.rb |
+
+A value-context `||` chain that ends in an always-truthy literal returns the
+first truthy operand and is never false. It is inventoried as alternatives
+(which operand supplied the value), not as a Boolean decision.
+
+## Constants
+### `JUMP_NODES` <a id="constant-JUMP_NODES"></a> <a id="JUMP_NODES-constant"></a>
+A jump never supplies a value, so it cannot be a fallback operand.

data/doc/Branchproof/GitChanges.md

@@ -0,0 +1,19 @@
+# Class Branchproof::GitChanges <a id="class-Branchproof-GitChanges"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Object |
+| **Defined in** | lib/branchproof/git_changes.rb |
+
+Reads the tracked working-tree delta from a validated commit to the current
+index and worktree. Untracked files are intentionally outside this scope.
+rubocop:disable-next Metrics/ClassLength -- Git capture phases share one
+validated process context.
+
+## Public Instance Methods
+### `call(include_patch_lines: = false)` <a id="method-i-call"></a> <a id="call-instance_method"></a>
+rubocop:disable-next Metrics/AbcSize, Metrics/CyclomaticComplexity,
+Metrics/MethodLength -- Capture order is security-sensitive.
+
+### `initialize(root:, ref:)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+- **@return** [GitChanges] a new instance of GitChanges

data/doc/Branchproof/GithubReport.md

@@ -0,0 +1,25 @@
+# Class Branchproof::GithubReport <a id="class-Branchproof-GithubReport"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Object |
+| **Defined in** | lib/branchproof/github_report.rb |
+
+GitHub Actions output: workflow-command annotations for the ranked gaps and a
+Markdown job summary. Both reuse the summary view's ranking and wording.
+
+## Constants
+### `MARKDOWN_ROWS` <a id="constant-MARKDOWN_ROWS"></a> <a id="MARKDOWN_ROWS-constant"></a>
+Not documented.
+
+## Public Instance Methods
+### `annotations(path_prefix: = @path_prefix)` <a id="method-i-annotations"></a> <a id="annotations-instance_method"></a>
+Workflow commands for stdout, one warning per ranked decision gap.
+
+### `initialize(document:, level:, coordinator:, selection: = ReportSelection.new, path_prefix: = nil)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+path_prefix maps project-relative paths to repository-relative ones when the
+project is not at the repository root.
+- **@return** [GithubReport] a new instance of GithubReport
+
+### `step_summary()` <a id="method-i-step_summary"></a> <a id="step_summary-instance_method"></a>
+Markdown for $GITHUB_STEP_SUMMARY.

data/doc/Branchproof/HtmlReport.md

@@ -0,0 +1,22 @@
+# Class Branchproof::HtmlReport <a id="class-Branchproof-HtmlReport"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Object |
+| **Defined in** | lib/branchproof/html_report.rb |
+
+Portable, offline HTML presentation of a saved report document.
+rubocop:disable Metrics/AbcSize, Metrics/MethodLength, Metrics/ClassLength,
+Metrics/CyclomaticComplexity, Metrics/PerceivedComplexity
+
+## Constants
+### `STYLE` <a id="constant-STYLE"></a> <a id="STYLE-constant"></a>
+Keep complete HTML fragments together so their semantic structure is visible.
+rubocop:disable Layout/LineLength
+
+## Public Instance Methods
+### `initialize(document:, level:, coordinator:, missing_only: = false, selection: = ReportSelection.new)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+- **@return** [HtmlReport] a new instance of HtmlReport
+
+### `render()` <a id="method-i-render"></a> <a id="render-instance_method"></a>
+Not documented.

data/doc/Branchproof/Instrumenter.md

@@ -3,7 +3,7 @@
 |  |  |
 | --- | --- |
 | **Inherits** | Object |
-| **Includes** | [Branchproof::DefaultInstrumentation](DefaultInstrumentation.md), [Branchproof::ExceptionInstrumentation](ExceptionInstrumentation.md), [Branchproof::FlowInstrumentation](FlowInstrumentation.md), [Branchproof::IterationInstrumentation](IterationInstrumentation.md), [Branchproof::ValueInstrumentation](ValueInstrumentation.md) |
+| **Includes** | [Branchproof::DefaultInstrumentation](DefaultInstrumentation.md), [Branchproof::ExceptionInstrumentation](ExceptionInstrumentation.md), [Branchproof::FallbackInstrumentation](FallbackInstrumentation.md), [Branchproof::FlowInstrumentation](FlowInstrumentation.md), [Branchproof::IterationInstrumentation](IterationInstrumentation.md), [Branchproof::ValueInstrumentation](ValueInstrumentation.md) |
 | **Defined in** | lib/branchproof/instrumenter.rb |
 
 Applies the smallest possible source edits around inventoried expressions. The

data/doc/Branchproof/MinitestAdapter.md

@@ -14,6 +14,10 @@ Returns the value of attribute active_adapter.
 ### `tests` [R] <a id="attribute-i-tests"></a> <a id="tests-instance_method"></a>
 Returns the value of attribute tests.
 
+## Public Class Methods
+### `load_framework!()` <a id="method-c-load_framework-21"></a> <a id="load_framework!-class_method"></a>
+Not documented.
+
 ## Public Instance Methods
 ### `initialize(runtime:)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
 - **@return** [MinitestAdapter] a new instance of MinitestAdapter

data/doc/Branchproof/RakeTask.md

@@ -0,0 +1,121 @@
+# Class Branchproof::RakeTask <a id="class-Branchproof-RakeTask"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Rake::TaskLib |
+| **Defined in** | lib/branchproof/rake_task.rb |
+
+Defines a Rake task that runs `branchproof analyze` in a subprocess.
+
+The task shells out to the `branchproof` executable, so the isolated worker
+model is unchanged. Only options the Rakefile sets are passed as CLI flags.
+Everything else keeps the CLI default, and <code>.branchproof.json</code>
+precedence stays intact.
+
+**@example Minitest project**
+```ruby
+require "branchproof/rake_task"
+
+Branchproof::RakeTask.new(:branchproof) do |t|
+  t.sources = ["lib/**/*.rb"]
+  t.tests = ["test/**/*_test.rb"]
+end
+```
+
+**@example RSpec project with a coverage gate**
+```ruby
+Branchproof::RakeTask.new(:branchproof) do |t|
+  t.sources = ["app/**/*.rb"]
+  t.framework = "rspec"
+  t.minimum = ["mcdc=100"]
+end
+```
+
+## Constants
+### `DEFAULTS` <a id="constant-DEFAULTS"></a> <a id="DEFAULTS-constant"></a>
+CLI defaults. The task only passes a flag when the Rakefile sets it.
+
+### `OPTIONS` <a id="constant-OPTIONS"></a> <a id="OPTIONS-constant"></a>
+Option names in the order they appear in the built argv.
+
+### `REPEATED_FLAGS` <a id="constant-REPEATED_FLAGS"></a> <a id="REPEATED_FLAGS-constant"></a>
+Options that repeat one flag per array item.
+
+## Attributes
+### `description` [RW] <a id="attribute-i-description"></a> <a id="description-instance_method"></a>
+- **@return** [String] the task description shown by `rake -T`
+
+### `format` [R] <a id="attribute-i-format"></a> <a id="format-instance_method"></a>
+Output format: `"terminal"` or `"json"`.
+- **@return** [String]
+
+### `framework` [R] <a id="attribute-i-framework"></a> <a id="framework-instance_method"></a>
+Test framework: `"auto"`, `"minitest"`, or `"rspec"`.
+- **@return** [String]
+
+### `level` [R] <a id="attribute-i-level"></a> <a id="level-instance_method"></a>
+Report level: 1, 2, or 3.
+- **@return** [Integer]
+
+### `minimum` [R] <a id="attribute-i-minimum"></a> <a id="minimum-instance_method"></a>
+Coverage gates as `"criterion=threshold"` strings, one <code>--minimum</code>
+flag each.
+- **@return** [Array<String>]
+
+### `missing_only` [R] <a id="attribute-i-missing_only"></a> <a id="missing_only-instance_method"></a>
+When true, terminal output lists only missing evidence.
+- **@return** [Boolean]
+
+### `name` [R] <a id="attribute-i-name"></a> <a id="name-instance_method"></a>
+- **@return** [Symbol] the Rake task name
+
+### `output` [R] <a id="attribute-i-output"></a> <a id="output-instance_method"></a>
+Output path, or nil to write to stdout.
+- **@return** [String, nil]
+
+### `project` [R] <a id="attribute-i-project"></a> <a id="project-instance_method"></a>
+Project mode: `"auto"`, `"ruby"`, or `"rails"`.
+- **@return** [String]
+
+### `runner_args` [RW] <a id="attribute-i-runner_args"></a> <a id="runner_args-instance_method"></a>
+Extra arguments appended after <code>--</code> and passed to the test runner.
+- **@return** [Array<String>]
+
+### `sources` [RW] <a id="attribute-i-sources"></a> <a id="sources-instance_method"></a>
+Source globs passed as positional arguments.
+- **@return** [Array<String>]
+
+### `tests` [R] <a id="attribute-i-tests"></a> <a id="tests-instance_method"></a>
+Test globs, one <code>--test</code> flag each.
+- **@return** [Array<String>]
+
+### `view` [R] <a id="attribute-i-view"></a> <a id="view-instance_method"></a>
+Terminal view: `"decisions"`, `"conditions"`, `"tests"`, or
+`"decision-tables"`.
+- **@return** [String]
+
+## Public Instance Methods
+### `argv()` <a id="method-i-argv"></a> <a id="argv-instance_method"></a>
+Builds the CLI arguments without running anything.
+- **@return** [Array<String>] arguments for `branchproof analyze`
+
+### `command()` <a id="method-i-command"></a> <a id="command-instance_method"></a>
+Full command line, starting with the current Ruby and the gem executable.
+- **@return** [Array<String>]
+
+### `executable()` <a id="method-i-executable"></a> <a id="executable-instance_method"></a>
+Path to the `branchproof` executable. Works inside this repository and as an
+installed gem.
+- **@return** [String]
+
+### `initialize(name = :branchproof)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+Defines the task. The block receives the task so a Rakefile can set options.
+- **@param** `name` [Symbol, String] the Rake task name
+- **@return** [RakeTask] a new instance of RakeTask
+- **@yieldparam** `task` [RakeTask] this task, before it is defined
+
+### `run()` <a id="method-i-run"></a> <a id="run-instance_method"></a>
+Runs the analysis in a subprocess. A non-zero exit status ends the Rake
+process with the same status so CI fails on coverage gate failures.
+- **@raise** [Error]
+- **@return** [void]

data/doc/Branchproof/Report.md

@@ -8,6 +8,18 @@
 Renders versioned terminal and JSON analysis reports.
 
 ## Constants
+### `CHANGED_POLICY_SCHEMA_VERSION` <a id="constant-CHANGED_POLICY_SCHEMA_VERSION"></a> <a id="CHANGED_POLICY_SCHEMA_VERSION-constant"></a>
+Not documented.
+
+### `CHANGED_SCOPE_SCHEMA_VERSION` <a id="constant-CHANGED_SCOPE_SCHEMA_VERSION"></a> <a id="CHANGED_SCOPE_SCHEMA_VERSION-constant"></a>
+Not documented.
+
+### `COLLATION_SCHEMA_VERSION` <a id="constant-COLLATION_SCHEMA_VERSION"></a> <a id="COLLATION_SCHEMA_VERSION-constant"></a>
+Not documented.
+
+### `CRITERIA_LABELS` <a id="constant-CRITERIA_LABELS"></a> <a id="CRITERIA_LABELS-constant"></a>
+Not documented.
+
 ### `CRITERION_VERSION` <a id="constant-CRITERION_VERSION"></a> <a id="CRITERION_VERSION-constant"></a>
 Not documented.
 
@@ -17,6 +29,9 @@ Not documented.
 ### `DECISION_TABLE_STATUS_LABELS` <a id="constant-DECISION_TABLE_STATUS_LABELS"></a> <a id="DECISION_TABLE_STATUS_LABELS-constant"></a>
 Not documented.
 
+### `FORMATS` <a id="constant-FORMATS"></a> <a id="FORMATS-constant"></a>
+Not documented.
+
 ### `SCHEMA_VERSION` <a id="constant-SCHEMA_VERSION"></a> <a id="SCHEMA_VERSION-constant"></a>
 Not documented.
 
@@ -24,10 +39,25 @@ Not documented.
 Not documented.
 
 ## Public Class Methods
-### `from_document(document:, level: = nil, view: = :decisions, missing_only: = false, focus: = nil, top: = nil, minimum: = nil)` <a id="method-c-from_document"></a> <a id="from_document-class_method"></a>
+### `from_document(document:, level: = nil, view: = :decisions, missing_only: = false, focus: = nil, top: = nil, minimum: = nil, minimum_changed: = nil)` <a id="method-c-from_document"></a> <a id="from_document-class_method"></a>
 Not documented.
 
 ## Public Instance Methods
+### `changed_coverage_available?()` <a id="method-i-changed_coverage_available-3F"></a> <a id="changed_coverage_available?-instance_method"></a>
+- **@return** [Boolean]
+
+### `changed_coverage_policy()` <a id="method-i-changed_coverage_policy"></a> <a id="changed_coverage_policy-instance_method"></a>
+Not documented.
+
+### `changed_coverage_policy_lines()` <a id="method-i-changed_coverage_policy_lines"></a> <a id="changed_coverage_policy_lines-instance_method"></a>
+Not documented.
+
+### `changed_scope_lines()` <a id="method-i-changed_scope_lines"></a> <a id="changed_scope_lines-instance_method"></a>
+Shared informational changed-scope header for all terminal and GitHub views.
+
+### `collation_lines()` <a id="method-i-collation_lines"></a> <a id="collation_lines-instance_method"></a>
+Provenance summary for offline reports assembled from multiple shards.
+
 ### `condition_coverage_evidence(decision_id:, condition_id:)` <a id="method-i-condition_coverage_evidence"></a> <a id="condition_coverage_evidence-instance_method"></a>
 Returns condition-value evidence for focused renderers without exposing the
 report's internal document traversal or mutating saved records.
@@ -59,15 +89,23 @@ Not documented.
 ### `diagnostic_message(diagnostic)` <a id="method-i-diagnostic_message"></a> <a id="diagnostic_message-instance_method"></a>
 Formats source context consistently in live and saved terminal views.
 
+### `display_scope_path(path)` <a id="method-i-display_scope_path"></a> <a id="display_scope_path-instance_method"></a>
+Not documented.
+
 ### `exit_code()` <a id="method-i-exit_code"></a> <a id="exit_code-instance_method"></a>
 Not documented.
 
-### `initialize(inventory:, evidence:, analysis:, minima:, baseline:, diagnostics:, level: = 3, missing_only: = false, view: = :decisions, run_metadata: = {}, saved_document: = nil, focus: = nil, top: = nil, minimum: = nil)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+### `initialize(inventory:, evidence:, analysis:, minima:, baseline:, diagnostics:, level: = 3, missing_only: = false, view: = :decisions, run_metadata: = {}, saved_document: = nil, focus: = nil, top: = nil, minimum: = nil, changed_scope: = nil, minimum_changed: = nil)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
 - **@raise** [ArgumentError]
 - **@return** [Report] a new instance of Report
 
 ### `rerun_command(test_id)` <a id="method-i-rerun_command"></a> <a id="rerun_command-instance_method"></a>
 Not documented.
 
-### `write(io:, format:)` <a id="method-i-write"></a> <a id="write-instance_method"></a>
+### `step_summary()` <a id="method-i-step_summary"></a> <a id="step_summary-instance_method"></a>
+Markdown job summary for GitHub Actions ($GITHUB_STEP_SUMMARY).
+
+### `write(io:, format:, path_prefix: = nil)` <a id="method-i-write"></a> <a id="write-instance_method"></a>
+path_prefix is only used by :github, to make annotation paths
+repository-relative.
 - **@raise** [ArgumentError]

data/doc/Branchproof/ReportSelection.md

@@ -10,6 +10,9 @@ Metrics/ClassLength, Metrics/AbcSize, Metrics/CyclomaticComplexity,
 Metrics/MethodLength, Metrics/PerceivedComplexity
 
 ## Attributes
+### `decision_ids` [R] <a id="attribute-i-decision_ids"></a> <a id="decision_ids-instance_method"></a>
+Returns the value of attribute decision_ids.
+
 ### `focus` [R] <a id="attribute-i-focus"></a> <a id="focus-instance_method"></a>
 Returns the value of attribute focus.
 
@@ -20,6 +23,9 @@ Returns the value of attribute top.
 ### `active?()` <a id="method-i-active-3F"></a> <a id="active?-instance_method"></a>
 - **@return** [Boolean]
 
+### `decision_filter_active?()` <a id="method-i-decision_filter_active-3F"></a> <a id="decision_filter_active?-instance_method"></a>
+- **@return** [Boolean]
+
 ### `filter_decisions(decisions, inventory: = {})` <a id="method-i-filter_decisions"></a> <a id="filter_decisions-instance_method"></a>
 Not documented.
 
@@ -29,7 +35,7 @@ Not documented.
 ### `focus_label()` <a id="method-i-focus_label"></a> <a id="focus_label-instance_method"></a>
 Not documented.
 
-### `initialize(focus: = nil, top: = nil)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+### `initialize(focus: = nil, top: = nil, decision_ids: = nil)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
 - **@return** [ReportSelection] a new instance of ReportSelection
 
 ### `limit(items)` <a id="method-i-limit"></a> <a id="limit-instance_method"></a>
@@ -38,5 +44,8 @@ Not documented.
 ### `matching_decision_ids(document)` <a id="method-i-matching_decision_ids"></a> <a id="matching_decision_ids-instance_method"></a>
 Not documented.
 
+### `selected_decision_ids(document)` <a id="method-i-selected_decision_ids"></a> <a id="selected_decision_ids-instance_method"></a>
+Not documented.
+
 ### `sort_key(decision, inventory: = {})` <a id="method-i-sort_key"></a> <a id="sort_key-instance_method"></a>
 Not documented.

data/doc/Branchproof/Runtime.md

@@ -2,7 +2,7 @@
 
 |  |  |
 | --- | --- |
-| **Extended by** | [Branchproof::DefaultRuntime](DefaultRuntime.md), [Branchproof::ExceptionRuntime](ExceptionRuntime.md), [Branchproof::ExtendedAlternativeRuntime](ExtendedAlternativeRuntime.md), [Branchproof::IterationRuntime](IterationRuntime.md), [Branchproof::RuntimeFlow](RuntimeFlow.md), [Branchproof::ValueRuntime](ValueRuntime.md) |
+| **Extended by** | [Branchproof::DefaultRuntime](DefaultRuntime.md), [Branchproof::ExceptionRuntime](ExceptionRuntime.md), [Branchproof::ExtendedAlternativeRuntime](ExtendedAlternativeRuntime.md), [Branchproof::FallbackRuntime](FallbackRuntime.md), [Branchproof::IterationRuntime](IterationRuntime.md), [Branchproof::RuntimeFlow](RuntimeFlow.md), [Branchproof::ValueRuntime](ValueRuntime.md) |
 | **Defined in** | lib/branchproof/runtime.rb |
 
 Process-local execution recorder. It deliberately never coerces or stores
@@ -53,6 +53,9 @@ Not documented.
 ### `exception_value(decision_id, value, index)` <a id="method-c-exception_value"></a> <a id="exception_value-class_method"></a>
 Not documented.
 
+### `fallback_operand(decision_id, index, implicit, value)` <a id="method-c-fallback_operand"></a> <a id="fallback_operand-class_method"></a>
+Not documented.
+
 ### `finish(decision_id, value)` <a id="method-c-finish"></a> <a id="finish-class_method"></a>
 Not documented.
 

data/doc/Branchproof/Source.md

@@ -3,11 +3,16 @@
 |  |  |
 | --- | --- |
 | **Inherits** | Object |
-| **Includes** | [Branchproof::DecisionSyntax](DecisionSyntax.md), [Branchproof::DefaultSyntax](DefaultSyntax.md), [Branchproof::ExceptionSyntax](ExceptionSyntax.md), [Branchproof::IterationSyntax](IterationSyntax.md), [Branchproof::ValueSyntax](ValueSyntax.md) |
+| **Includes** | [Branchproof::DecisionSyntax](DecisionSyntax.md), [Branchproof::DefaultSyntax](DefaultSyntax.md), [Branchproof::ExceptionSyntax](ExceptionSyntax.md), [Branchproof::FallbackSyntax](FallbackSyntax.md), [Branchproof::IterationSyntax](IterationSyntax.md), [Branchproof::ValueSyntax](ValueSyntax.md) |
 | **Defined in** | lib/branchproof/source.rb |
 
 Inventories supported condition and decision occurrences from Ruby files.
 
+## Constants
+### `ALWAYS_TRUTHY_LITERALS` <a id="constant-ALWAYS_TRUTHY_LITERALS"></a> <a id="ALWAYS_TRUTHY_LITERALS-constant"></a>
+Strings, symbols, and numbers are always truthy. A regexp literal in a
+condition matches against $_, so its truth is not static.
+
 ## Attributes
 ### `limits` [R] <a id="attribute-i-limits"></a> <a id="limits-instance_method"></a>
 Returns the value of attribute limits.