branchproof 0.11.0 → 0.12.0

data/doc/Branchproof/SummaryRanking/Decision.md

@@ -0,0 +1,86 @@
+# Class Branchproof::SummaryRanking::Decision <a id="class-Branchproof-SummaryRanking-Decision"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Struct |
+| **Defined in** | lib/branchproof/summary_ranking.rb |
+
+## Attributes
+### `alternatives` [RW] <a id="attribute-i-alternatives"></a> <a id="alternatives-instance_method"></a>
+Returns the value of attribute alternatives
+- **@return** [Object] the current value of alternatives
+
+### `column` [RW] <a id="attribute-i-column"></a> <a id="column-instance_method"></a>
+Returns the value of attribute column
+- **@return** [Object] the current value of column
+
+### `conditions` [RW] <a id="attribute-i-conditions"></a> <a id="conditions-instance_method"></a>
+Returns the value of attribute conditions
+- **@return** [Object] the current value of conditions
+
+### `context` [RW] <a id="attribute-i-context"></a> <a id="context-instance_method"></a>
+Returns the value of attribute context
+- **@return** [Object] the current value of context
+
+### `expression` [RW] <a id="attribute-i-expression"></a> <a id="expression-instance_method"></a>
+Returns the value of attribute expression
+- **@return** [Object] the current value of expression
+
+### `id` [RW] <a id="attribute-i-id"></a> <a id="id-instance_method"></a>
+Returns the value of attribute id
+- **@return** [Object] the current value of id
+
+### `kind` [RW] <a id="attribute-i-kind"></a> <a id="kind-instance_method"></a>
+Returns the value of attribute kind
+- **@return** [Object] the current value of kind
+
+### `line` [RW] <a id="attribute-i-line"></a> <a id="line-instance_method"></a>
+Returns the value of attribute line
+- **@return** [Object] the current value of line
+
+### `missing_alternatives` [RW] <a id="attribute-i-missing_alternatives"></a> <a id="missing_alternatives-instance_method"></a>
+Returns the value of attribute missing_alternatives
+- **@return** [Object] the current value of missing_alternatives
+
+### `missing_rules` [RW] <a id="attribute-i-missing_rules"></a> <a id="missing_rules-instance_method"></a>
+Returns the value of attribute missing_rules
+- **@return** [Object] the current value of missing_rules
+
+### `relative_path` [RW] <a id="attribute-i-relative_path"></a> <a id="relative_path-instance_method"></a>
+Returns the value of attribute relative_path
+- **@return** [Object] the current value of relative_path
+
+### `required_rules` [RW] <a id="attribute-i-required_rules"></a> <a id="required_rules-instance_method"></a>
+Returns the value of attribute required_rules
+- **@return** [Object] the current value of required_rules
+
+### `table_calculated` [RW] <a id="attribute-i-table_calculated"></a> <a id="table_calculated-instance_method"></a>
+Returns the value of attribute table_calculated
+- **@return** [Object] the current value of table_calculated
+
+### `test_ids` [RW] <a id="attribute-i-test_ids"></a> <a id="test_ids-instance_method"></a>
+Returns the value of attribute test_ids
+- **@return** [Object] the current value of test_ids
+
+### `unexecuted` [RW] <a id="attribute-i-unexecuted"></a> <a id="unexecuted-instance_method"></a>
+Returns the value of attribute unexecuted
+- **@return** [Object] the current value of unexecuted
+
+### `unproven_conditions` [RW] <a id="attribute-i-unproven_conditions"></a> <a id="unproven_conditions-instance_method"></a>
+Returns the value of attribute unproven_conditions
+- **@return** [Object] the current value of unproven_conditions
+
+## Public Instance Methods
+### `cases_to_test()` <a id="method-i-cases_to_test"></a> <a id="cases_to_test-instance_method"></a>
+One new observation covers at most one missing rule, so missing rules are an
+exact case count. Without missing rules (no table, or only impossible rules
+left), each unproven condition or alternative counts.
+
+### `gap?()` <a id="method-i-gap-3F"></a> <a id="gap?-instance_method"></a>
+- **@return** [Boolean]
+
+### `missing_total()` <a id="method-i-missing_total"></a> <a id="missing_total-instance_method"></a>
+Not documented.
+
+### `rule_cases?()` <a id="method-i-rule_cases-3F"></a> <a id="rule_cases?-instance_method"></a>
+- **@return** [Boolean]

data/doc/Branchproof/SummaryRanking/SourceFile.md

@@ -0,0 +1,43 @@
+# Class Branchproof::SummaryRanking::SourceFile <a id="class-Branchproof-SummaryRanking-SourceFile"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Struct |
+| **Defined in** | lib/branchproof/summary_ranking.rb |
+
+## Attributes
+### `decisions` [RW] <a id="attribute-i-decisions"></a> <a id="decisions-instance_method"></a>
+Returns the value of attribute decisions
+- **@return** [Object] the current value of decisions
+
+### `relative_path` [RW] <a id="attribute-i-relative_path"></a> <a id="relative_path-instance_method"></a>
+Returns the value of attribute relative_path
+- **@return** [Object] the current value of relative_path
+
+## Public Instance Methods
+### `alternatives()` <a id="method-i-alternatives"></a> <a id="alternatives-instance_method"></a>
+Not documented.
+
+### `conditions()` <a id="method-i-conditions"></a> <a id="conditions-instance_method"></a>
+Not documented.
+
+### `gaps()` <a id="method-i-gaps"></a> <a id="gaps-instance_method"></a>
+Not documented.
+
+### `missing_alternatives()` <a id="method-i-missing_alternatives"></a> <a id="missing_alternatives-instance_method"></a>
+Not documented.
+
+### `missing_rules()` <a id="method-i-missing_rules"></a> <a id="missing_rules-instance_method"></a>
+Not documented.
+
+### `missing_total()` <a id="method-i-missing_total"></a> <a id="missing_total-instance_method"></a>
+Not documented.
+
+### `required_rules()` <a id="method-i-required_rules"></a> <a id="required_rules-instance_method"></a>
+Not documented.
+
+### `unexecuted()` <a id="method-i-unexecuted"></a> <a id="unexecuted-instance_method"></a>
+Not documented.
+
+### `unproven_conditions()` <a id="method-i-unproven_conditions"></a> <a id="unproven_conditions-instance_method"></a>
+Not documented.

data/doc/Branchproof/SummaryRanking.md

@@ -0,0 +1,36 @@
+# Class Branchproof::SummaryRanking <a id="class-Branchproof-SummaryRanking"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Object |
+| **Defined in** | lib/branchproof/summary_ranking.rb |
+
+Ranks supported decisions and source files by missing coverage obligations.
+
+Order: unexecuted decisions first, then more missing obligations
+(decision-table rules, unproven MC/DC conditions, missing alternatives), then
+source path, line, column, and ID. The order is a count, not a risk estimate.
+Unsupported decisions are counted but never ranked.
+
+## Attributes
+### `index` [R] <a id="attribute-i-index"></a> <a id="index-instance_method"></a>
+Returns the value of attribute index.
+
+## Public Instance Methods
+### `available?()` <a id="method-i-available-3F"></a> <a id="available?-instance_method"></a>
+- **@return** [Boolean]
+
+### `decisions()` <a id="method-i-decisions"></a> <a id="decisions-instance_method"></a>
+All supported decisions in the selection, ranked.
+
+### `files()` <a id="method-i-files"></a> <a id="files-instance_method"></a>
+Not documented.
+
+### `gaps()` <a id="method-i-gaps"></a> <a id="gaps-instance_method"></a>
+Not documented.
+
+### `initialize(document:, selection: = ReportSelection.new)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+- **@return** [SummaryRanking] a new instance of SummaryRanking
+
+### `unsupported_count()` <a id="method-i-unsupported_count"></a> <a id="unsupported_count-instance_method"></a>
+Not documented.

data/doc/Branchproof/SummaryReport.md

@@ -0,0 +1,42 @@
+# Class Branchproof::SummaryReport <a id="class-Branchproof-SummaryReport"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Object |
+| **Defined in** | lib/branchproof/summary_report.rb |
+
+Terminal view that lists the largest coverage gaps first.
+
+## Constants
+### `EXPRESSION_WIDTH` <a id="constant-EXPRESSION_WIDTH"></a> <a id="EXPRESSION_WIDTH-constant"></a>
+Not documented.
+
+### `ORDER_NOTE` <a id="constant-ORDER_NOTE"></a> <a id="ORDER_NOTE-constant"></a>
+Not documented.
+
+### `RULE_LABELS` <a id="constant-RULE_LABELS"></a> <a id="RULE_LABELS-constant"></a>
+Not documented.
+
+### `SHOWN_TESTS` <a id="constant-SHOWN_TESTS"></a> <a id="SHOWN_TESTS-constant"></a>
+Not documented.
+
+## Public Class Methods
+### `case_lines(decision, coordinator)` <a id="method-c-case_lines"></a> <a id="case_lines-class_method"></a>
+One line per missing case: decision-table rules when some are missing,
+otherwise unproven conditions; then missing alternatives.
+
+### `gap_summary(decision)` <a id="method-c-gap_summary"></a> <a id="gap_summary-class_method"></a>
+Shared wording for terminal rows and GitHub output.
+
+### `one_line(text, width = EXPRESSION_WIDTH)` <a id="method-c-one_line"></a> <a id="one_line-class_method"></a>
+Not documented.
+
+### `rule_text(rule, expressions, coordinator)` <a id="method-c-rule_text"></a> <a id="rule_text-class_method"></a>
+Not documented.
+
+## 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** [SummaryReport] a new instance of SummaryReport
+
+### `render()` <a id="method-i-render"></a> <a id="render-instance_method"></a>
+Not documented.

data/doc/Branchproof/Worker.md

@@ -48,5 +48,5 @@ Not documented.
 ### `write_completion(payload, result)` <a id="method-c-write_completion"></a> <a id="write_completion-class_method"></a>
 Not documented.
 
-### `write_failure(payload, code, details)` <a id="method-c-write_failure"></a> <a id="write_failure-class_method"></a>
+### `write_failure(payload, code, details, evidence: = nil)` <a id="method-c-write_failure"></a> <a id="write_failure-class_method"></a>
 Not documented.

data/doc/Branchproof.md

@@ -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/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 |
+| **Defined in** | lib/branchproof.rb, lib/branchproof/cli.rb, lib/branchproof/doctor.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/collation.rb, lib/branchproof/minimizer.rb, lib/branchproof/rake_task.rb, lib/branchproof/comparison.rb, lib/branchproof/constraints.rb, lib/branchproof/git_changes.rb, lib/branchproof/html_report.rb, lib/branchproof/instrumenter.rb, lib/branchproof/runtime_flow.rb, lib/branchproof/saved_report.rb, lib/branchproof/value_syntax.rb, lib/branchproof/changed_scope.rb, lib/branchproof/configuration.rb, lib/branchproof/github_report.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/summary_report.rb, lib/branchproof/coverage_policy.rb, lib/branchproof/decision_syntax.rb, lib/branchproof/default_runtime.rb, lib/branchproof/fallback_syntax.rb, lib/branchproof/summary_ranking.rb, lib/branchproof/changed_coverage.rb, lib/branchproof/coverage_summary.rb, lib/branchproof/exception_syntax.rb, lib/branchproof/fallback_runtime.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/collation_manifest.rb, lib/branchproof/changed_decision_map.rb, lib/branchproof/flow_instrumentation.rb, lib/branchproof/value_instrumentation.rb, lib/branchproof/default_instrumentation.rb, lib/branchproof/fallback_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,
@@ -16,6 +16,12 @@ Not documented.
 
 - [Branchproof/Analyzer.md](Branchproof/Analyzer.md)
 - [Branchproof/CLI.md](Branchproof/CLI.md)
+- [Branchproof/ChangedCoverage.md](Branchproof/ChangedCoverage.md)
+- [Branchproof/ChangedCoveragePolicy.md](Branchproof/ChangedCoveragePolicy.md)
+- [Branchproof/ChangedDecisionMap.md](Branchproof/ChangedDecisionMap.md)
+- [Branchproof/ChangedScope.md](Branchproof/ChangedScope.md)
+- [Branchproof/Collation.md](Branchproof/Collation.md)
+- [Branchproof/CollationManifest.md](Branchproof/CollationManifest.md)
 - [Branchproof/Comparison.md](Branchproof/Comparison.md)
 - [Branchproof/ComparisonReport.md](Branchproof/ComparisonReport.md)
 - [Branchproof/Configuration.md](Branchproof/Configuration.md)
@@ -23,19 +29,28 @@ Not documented.
 - [Branchproof/Constraints.md](Branchproof/Constraints.md)
 - [Branchproof/CoverageIndex.md](Branchproof/CoverageIndex.md)
 - [Branchproof/CoveragePolicy.md](Branchproof/CoveragePolicy.md)
+- [Branchproof/CoverageSummary.md](Branchproof/CoverageSummary.md)
 - [Branchproof/DecisionSyntax.md](Branchproof/DecisionSyntax.md)
 - [Branchproof/DecisionTable.md](Branchproof/DecisionTable.md)
 - [Branchproof/DefaultInstrumentation.md](Branchproof/DefaultInstrumentation.md)
 - [Branchproof/DefaultRuntime.md](Branchproof/DefaultRuntime.md)
 - [Branchproof/DefaultSyntax.md](Branchproof/DefaultSyntax.md)
+- [Branchproof/Doctor/TerminalRenderer.md](Branchproof/Doctor/TerminalRenderer.md)
+- [Branchproof/Doctor.md](Branchproof/Doctor.md)
 - [Branchproof/Error.md](Branchproof/Error.md)
 - [Branchproof/Evidence.md](Branchproof/Evidence.md)
 - [Branchproof/ExceptionInstrumentation.md](Branchproof/ExceptionInstrumentation.md)
 - [Branchproof/ExceptionRuntime.md](Branchproof/ExceptionRuntime.md)
 - [Branchproof/ExceptionSyntax.md](Branchproof/ExceptionSyntax.md)
 - [Branchproof/ExtendedAlternativeRuntime.md](Branchproof/ExtendedAlternativeRuntime.md)
+- [Branchproof/FallbackInstrumentation.md](Branchproof/FallbackInstrumentation.md)
+- [Branchproof/FallbackRuntime.md](Branchproof/FallbackRuntime.md)
+- [Branchproof/FallbackSyntax.md](Branchproof/FallbackSyntax.md)
 - [Branchproof/FlowInstrumentation.md](Branchproof/FlowInstrumentation.md)
 - [Branchproof/FocusedReport.md](Branchproof/FocusedReport.md)
+- [Branchproof/GitChanges.md](Branchproof/GitChanges.md)
+- [Branchproof/GithubReport.md](Branchproof/GithubReport.md)
+- [Branchproof/HtmlReport.md](Branchproof/HtmlReport.md)
 - [Branchproof/Instrumenter.md](Branchproof/Instrumenter.md)
 - [Branchproof/IterationInstrumentation.md](Branchproof/IterationInstrumentation.md)
 - [Branchproof/IterationRuntime.md](Branchproof/IterationRuntime.md)
@@ -54,6 +69,7 @@ Not documented.
 - [Branchproof/RSpecAdapter.md](Branchproof/RSpecAdapter.md)
 - [Branchproof/RailsSupport/Error.md](Branchproof/RailsSupport/Error.md)
 - [Branchproof/RailsSupport.md](Branchproof/RailsSupport.md)
+- [Branchproof/RakeTask.md](Branchproof/RakeTask.md)
 - [Branchproof/Records.md](Branchproof/Records.md)
 - [Branchproof/Report.md](Branchproof/Report.md)
 - [Branchproof/ReportSelection.md](Branchproof/ReportSelection.md)
@@ -61,6 +77,10 @@ Not documented.
 - [Branchproof/RuntimeFlow.md](Branchproof/RuntimeFlow.md)
 - [Branchproof/SavedReport.md](Branchproof/SavedReport.md)
 - [Branchproof/Source.md](Branchproof/Source.md)
+- [Branchproof/SummaryRanking/Decision.md](Branchproof/SummaryRanking/Decision.md)
+- [Branchproof/SummaryRanking/SourceFile.md](Branchproof/SummaryRanking/SourceFile.md)
+- [Branchproof/SummaryRanking.md](Branchproof/SummaryRanking.md)
+- [Branchproof/SummaryReport.md](Branchproof/SummaryReport.md)
 - [Branchproof/ValueInstrumentation.md](Branchproof/ValueInstrumentation.md)
 - [Branchproof/ValueRuntime.md](Branchproof/ValueRuntime.md)
 - [Branchproof/ValueSyntax.md](Branchproof/ValueSyntax.md)

data/doc/CHANGELOG.md

@@ -1,5 +1,94 @@
 ## [Unreleased]
 
+## [0.12.0] - 2026-10-05
+
+- Fix compilation of instrumented rescue bodies with early returns when Ruby
+  branch coverage is enabled, preserving return values, exception handling,
+  and `ensure` behavior.
+- Combine compatible serial reports with `branchproof collate`, recomputing
+  coverage and gates from merged observations. An optional expected-shard
+  manifest distinguishes complete collections from missing or unknown inputs;
+  incomplete collections cannot pass. Schema `1.7` retains shard provenance,
+  while existing analyze schemas remain unchanged. Terminal, GitHub, and HTML
+  output disclose collection status. No application boot or test run is needed.
+- Support serial plain Ruby applications using Minitest 6 while retaining
+  Minitest 5.25.5 and later. Doctor accepts the same `>= 5.25.5, < 7` range.
+  Recognize Minitest 6 parallel scheduling and reject bisect/server execution
+  before test bodies run. Frameworks remain application-supplied dependencies.
+- Add independent changed-decision gates with `--minimum-changed`, paired with
+  `analyze --changed-since` or a saved report's captured scope. Terminal, GitHub,
+  and HTML show changed-policy results; JSON schema `1.6` records and validates
+  them. Valid empty scopes are explicitly not applicable, and incomplete or
+  unavailable evidence cannot pass a changed gate.
+- Explain missing MC/DC evidence using captured expressions, an observed vector,
+  and a suggested counterpart. Shared report wording distinguishes hypothetical
+  candidates from observations and preserves short-circuit information.
+- Add `branchproof doctor` for static setup checks of the Ruby runtime, selected
+  test framework metadata, project configuration, and source/test file selection.
+  The command reports terminal or JSON results without loading project code or
+  running tests; it exits 2 when setup is blocked. See the README for its
+  readiness limits and JSON shape.
+- Make Minitest and RSpec application-supplied optional dependencies. Branchproof
+  now needs only Prism at runtime; saved reports can be rendered and compared
+  without either test framework installed.
+- Render saved reports as self-contained offline HTML with `branchproof report
+  snapshot.json --format html`. HTML preserves whole-run policy and exit status,
+  supports display filters, and can be uploaded as a CI artifact without rerunning
+  tests; HTML is unavailable for live analysis and comparison.
+- Add `analyze --changed-since REF` for informational coverage of current
+  decisions affected by tracked staged and unstaged worktree changes. Tests,
+  whole-run coverage, and minimum gates retain their existing scope; captured
+  changed-scope reports use JSON schema `1.5` and remain available offline.
+- Speed up level-3 supporting-set minimization by avoiding repeated Set
+  differences in greedy selection. Large synthetic RSpec and Minitest runs
+  take 70–77% less end-to-end time on Ruby 4.0.1; selected sets, search
+  budgets, report fields, and exit statuses are preserved. See the
+  [performance record](https://github.com/lucianghinda/branchproof/blob/main/docs/benchmarks/supporting-set-performance-2026-10-02.md)
+  for measurements and allocation/memory limits.
+
+- Require Ruby 4.0 or newer and run core, RSpec, and Rails CI on Ruby 4.0.
+- `branchproof mutate` now exits with status 2 and says that mutation testing
+  is not supported yet, instead of the generic unknown-command error.
+- Add RBS signatures for `Branchproof::Worker`.
+- Add `--view summary` for `analyze` and `report`. It ranks source files and
+  decisions with gaps: unexecuted decisions first, then the most missing
+  decision-table rules, unproven MC/DC conditions, and missing alternatives.
+  Each row shows its location, counts with denominators, the cases to test
+  (level 2+), and the tests that already reach the decision (level 3).
+  `--top`, `--focus`, and `--missing-only` apply; global summaries, gates,
+  and exit status are unchanged.
+- Add `--format github` for `analyze` and `report`. It prints GitHub Actions
+  annotations in summary-view order, errors for failed or incomplete runs
+  and unmet policy gates, and a final coverage notice. Annotation paths are
+  made repository-relative with `GITHUB_WORKSPACE`. When `GITHUB_STEP_SUMMARY` is set, it
+  also appends a Markdown job summary with the ladder, gates, and ranked gaps.
+- Add `Branchproof::RakeTask`. `require "branchproof/rake_task"` defines a
+  Rake task that runs `branchproof analyze` in a subprocess with the options
+  set in the Rakefile. Unset options keep the CLI and `.branchproof.json`
+  defaults, and a non-zero CLI exit status fails the Rake process with the
+  same status.
+
+- Report value-context `||` chains that end in a string, symbol, or numeric
+  literal (including interpolated strings and symbols), such as
+  `name.presence || entry&.title || "Item #{id}"`, as `fallback` alternatives:
+  each operand is an alternative, covered when a test makes it the one that
+  supplies the value. These chains are no longer Boolean `short_circuit`
+  decisions, so they leave the MC/DC and decision-table denominators. Chains
+  used as conditions (`if`, `unless`, `while`, `until`, ternary, and
+  `case`/`when`), chains that end in `true`, `false`, or `nil`, keyword `or`,
+  and chains whose operands contain `&&`, `||`, `!`, or a jump (`return`,
+  `break`, `next`, `redo`, `retry`) keep Boolean treatment.
+- Decision IDs for these expressions change because their context changes.
+  Comparisons against reports made with earlier versions show them as removed
+  `short_circuit` decisions and new `fallback` decisions.
+
+## [0.11.1] - 2026-09-28
+
+- Treat string, interpolated string, symbol, and numeric literal conditions as
+  always truthy. Rules that need such a literal to be falsey, as in
+  `name || "Item #{id}"`, are now excluded as statically impossible instead of
+  being reported as missing with unknown reachability.
+
 ## [0.11.0] - 2026-09-25
 
 - Add validated coverage policies for Decision, Condition, Condition/Decision,