branchproof 0.10.0 → 0.11.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: ac29ee2c9df680fb49df3bc144ed102168320ad48908bcf9ec665521ebcfec0b
-  data.tar.gz: c31a3385bdbf3e42c538d4bd85c0120ee414da71bb184653287ab644ff7d243e
+  metadata.gz: a65f0492effca7846e6b1c25d58eef4cccf3dec446e6607f7cda648c7b39572c
+  data.tar.gz: 7144faf352290f1ebc35b799a789e9e7cf6acd18766c9d65a7a55719339d5fe1
 SHA512:
-  metadata.gz: 9edc32c189cdbf5fbab52e224f9a2292e3cc1ec3ac20090408f0371b2dcd76198a6295059bd65be868eb041f12f62cae54b0a4a0a61e1cc7302cd6d90cfe3475
-  data.tar.gz: 2c60434afbc2940cfcb17717c37787a3560e18d8278b46fbe7e1571bd4556e7230de7648bdff883e85666be066396c3ffbdc154937913bae54dbf365cadfde7e
+  metadata.gz: c4de5efafb2e4b4b0dc0d9229b55dd46cd2d234557df2cb073d922d5dea48bb931013f64941e8f0c87e258b6c3ab02478f2f4f09afaa778919a2d113bb69a694
+  data.tar.gz: f0d86816c36b90f537a26fd1485e107d154d77eb1e189522ad833da2231886c098257a881afabab50e9a41de2ea4ebcf543b30d182ce1e09731fc782e2a61669

data/CHANGELOG.md

@@ -1,5 +1,35 @@
 ## [Unreleased]
 
+## [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,
+  MC/DC, and Decision Table criteria. Repeatable `--minimum criterion=threshold`
+  options override matching project or saved-report policy entries, compare
+  exact counts, and distinguish failed gates from unavailable or incomplete
+  evidence in exit status and JSON.
+- Persist policy decisions in live schema `1.4` reports while keeping saved
+  schemas `1.0` through `1.3` readable; offline policy overrides do not load
+  project configuration or mutate snapshots.
+- Add terminal-only `--focus PATH[:LINE]` and `--top N` selection for analyze
+  and report views. Selection uses captured source spans and deterministic source
+  order while leaving global summaries, gates, diagnostics, and exit status
+  unchanged.
+- Document a GitHub Actions artifact workflow that creates the output directory
+  and uploads reports after gate failures.
+- Preserve setup, body, and teardown phase totals when independent evidence runs
+  are merged, keeping phase attribution complete in combined snapshots.
+- Add declarative `.branchproof.json` project configuration with CLI precedence,
+  source exclusions, and comparison metadata for repeatable coverage runs.
+- Add a pipeline benchmark harness that exposes timing dimensions for future
+  measurements of coverage feedback costs.
+
 ## [0.10.0] - 2026-09-21
 
 - Add the first-release RSpec execution path for plain Ruby and Rails projects.

data/README.md

@@ -107,6 +107,72 @@ files are selected explicitly. The worker prepends the project's `lib` and
 `test` directories (`lib` and `spec` for RSpec) to its child load path, so application `require` calls
 resolve without changing the parent process.
 
+Project defaults can be checked into `.branchproof.json` at the project root:
+
+```json
+{
+  "schema_version": 1,
+  "project": "rails",
+  "framework": "minitest",
+  "sources": ["app/**/*.rb"],
+  "tests": ["test/**/*_test.rb"],
+  "exclude": ["app/generated/**/*.rb"],
+  "minimum": { "mcdc": 80 }
+}
+```
+
+`project` accepts `auto`, `ruby`, or `rails`; `framework` accepts `auto`,
+`minitest`, or `rspec`. `sources` and `tests` replace their corresponding
+defaults, while `exclude` removes matching source files before inventory. A
+configuration file may live elsewhere when passed with `--config PATH`; its
+patterns are still resolved from the project root. Use `--no-config` to disable
+the default file. Command-line project, framework, source, and test selections
+take precedence over the file. Configured `exclude` patterns are applied
+before source inventory and are recorded in run metadata for comparison.
+`--config` and `--no-config` cannot be used together. RSpec configuration
+selectors continue to conflict with an explicit test selection, including one
+supplied by this file.
+
+The `minimum` values are validated percentages from 0 through 100 for the five
+supported criteria: `decision`, `condition`, `condition_decision`, `mcdc`, and
+`decision_table`. A policy is evaluated against the exact numerator and
+denominator counts in the report, so a value such as `66.67` is not rounded
+before it is compared. The policy is recorded in JSON under
+`coverage_policy`.
+
+The command line can add or replace individual policy entries with repeatable
+`--minimum` options. Use `criterion=threshold`, for example:
+
+```sh
+bundle exec branchproof analyze 'lib/**/*.rb' --minimum mcdc=80 \
+  --minimum decision_table=75
+```
+
+CLI values take precedence over matching `minimum` keys from `.branchproof.json`.
+Specifying the same criterion more than once on the command line is an error.
+The five criteria are evaluated independently. A threshold met exactly passes;
+a result below it fails. A requested gate with a zero denominator, unavailable
+coverage, or incomplete observations or analysis is `unavailable`, and exits
+with status 2. A below-threshold gate exits 1. A failed test run makes
+requested policy gates unavailable and exits 2; without a policy, a failed test
+run retains the existing exit status 1. With no policy, the existing report
+exit behavior remains unchanged.
+
+For a Minitest project, a focused configuration can select the library and
+test trees directly:
+
+```json
+{ "schema_version": 1, "framework": "minitest",
+  "sources": ["lib/**/*.rb"], "tests": ["test/**/*_test.rb"] }
+```
+
+For an RSpec project, use its spec patterns instead:
+
+```json
+{ "schema_version": 1, "framework": "rspec",
+  "sources": ["app/**/*.rb"], "tests": ["spec/**/*_spec.rb"] }
+```
+
 Rails analysis boots the application inside the isolated worker after
 Branchproof's loader and the selected framework hooks are installed. The
 application's `rails_helper` owns requiring and configuring `rspec/rails` after
@@ -208,6 +274,15 @@ that did evaluate count toward Condition Coverage even when their value was
 masked by another condition. Here, the two observations prove independence
 for `logged_in?`; `admin?` still needs `[TF] => F`.
 
+This is also a compact test-design walkthrough. A test that records
+`[F-] => F` proves the false branch of `logged_in?`; a test that records
+`[TT] => T` proves the true branch and establishes the current positive path.
+Adding a test that records `[TF] => F` evaluates `admin?` false while
+`logged_in?` stays true, so it supplies the missing independence witness and
+improves the condition, Condition/Decision, MC/DC, and applicable decision-table
+results. The report names the missing vector and its owning test when it is
+observed.
+
 Decision and Condition Coverage are calculated independently from the captured
 evidence. Condition/Decision requires both; MC/DC adds independence evidence.
 Decision Table Coverage is calculated independently of all of them: MC/DC asks
@@ -501,6 +576,34 @@ execution. JSON output always contains the complete evidence document, so an
 explicit view cannot be combined with `--format json`. The `mcdc` executable
 accepts the same arguments for existing scripts.
 
+Terminal reports can be narrowed with `--focus PATH[:LINE]` and bounded with
+`--top N`, where `N` is a positive integer. These options are accepted by
+`analyze` and `report`, and are terminal-only. Focus matches the source spans
+captured in the report; rendering does not reopen or need the original source
+file. `--focus` and `--top` affect displayed detail only: the coverage summary,
+policy gates, diagnostics, exit status, and global counts remain unchanged.
+
+The default view limits decisions. In `--view decision-tables`, the units are
+decision tables; in `--view conditions`, condition and alternative rows; and
+in `--view tests`, test rows. Rows are ordered deterministically by project-
+relative path and source line, with deterministic tie-breakers for each view:
+decisions use column and stable ID; decision tables use decision ID; conditions
+and alternatives use column, decision ID, and condition or alternative index;
+tests use test name and ID. `--top` follows that source order; it does not rank
+rows by risk or coverage. For example:
+
+```sh
+bundle exec branchproof analyze 'lib/**/*.rb' --focus lib/access.rb:12 --top 5
+bundle exec branchproof report .branchproof/current.json --view conditions \
+  --focus lib/access.rb --top 10
+```
+
+Focus and top selections never create a new test run or alter policy scope.
+They also do not generate tests. RSpec rerun labels remain the existing
+recorded selectors and commands. The main finding rows respect the selection;
+supplemental unexecuted, unattributed, and unsupported sections retain their
+run-wide counts rather than expanding into all detail rows.
+
 ### Saved reports and offline comparison
 
 Reports are saved only when requested. Create a local artifact directory and
@@ -518,13 +621,26 @@ The output's parent directory must already exist. Replacing a baseline is an
 explicit `analyze --format json --output` operation; keep CI snapshots as
 artifacts when you need to retain multiple runs.
 
-The `report` command reads the saved document without loading the application
-or running tests. It uses locations and metadata captured in the report, so
-rendering remains useful after the original checkout has moved or been
-removed. New snapshots retain the ladder at every level. Legacy snapshots
-without analysis can still be rendered at Level 1; levels 2 and 3 require
-analysis in the saved report. The repository ignores `.branchproof/`; choose a
-different path and CI artifact policy when a project needs to retain reports.
+The `report` command reads the saved document without loading the application,
+project configuration, or running tests. It uses locations and metadata
+captured in the report, so rendering remains useful after the original
+checkout has moved or been removed. A saved report's policy is inherited by
+default. Repeatable `--minimum criterion=threshold` options override matching
+saved policy entries for that rendering without changing the snapshot file;
+other saved thresholds remain inherited. Offline rendering never consults the
+current `.branchproof.json`.
+
+New live JSON reports use schema `1.4` and include the required
+`coverage_policy` object with the normalized requested minima and recomputed
+gate results. The report validates those results from its exact coverage
+counts rather than trusting a persisted percentage. Readers continue to accept
+schemas `1.0` through `1.3`; an offline policy overlay is optional and
+preserves the input snapshot's schema version, including for legacy reports.
+New snapshots retain the ladder at every level. Legacy snapshots without
+analysis can still be rendered at Level 1; levels 2 and 3 require analysis in
+the saved report.
+The repository ignores `.branchproof/`; choose a different path and CI artifact
+policy when a project needs to retain reports.
 Saved JSON includes existing raw metadata such as test names and expressions;
 relative terminal labels do not mean every legacy JSON field is sanitized.
 
@@ -560,6 +676,29 @@ Invalid input or an incomplete comparison exits 2, which takes
 precedence. Reports are explicit snapshots: comparison never creates history,
 promotes a baseline, or overwrites either input.
 
+### GitHub Actions artifacts
+
+A coverage policy can fail a job while still preserving the report for review.
+Create the output directory before invoking Branchproof and upload the report
+with `if: always()` so failed gates and failed test runs leave an artifact:
+
+```yaml
+- name: Branchproof coverage
+  run: |
+    mkdir -p .branchproof
+    bundle exec branchproof analyze 'lib/**/*.rb' --test 'test/**/*_test.rb' \
+      --format json --output .branchproof/coverage.json \
+      --minimum mcdc=80 --minimum decision_table=75
+
+- name: Upload Branchproof report
+  if: always()
+  uses: actions/upload-artifact@v4
+  with:
+    name: branchproof-coverage
+    path: .branchproof/coverage.json
+    if-no-files-found: warn
+```
+
 MC/DC has two related questions. Evaluation asks whether a condition was
 observed with a value, including short-circuiting. Independent proof asks
 whether the analyzer found a pair of observations where that condition changes
@@ -670,8 +809,8 @@ Ruby-defined custom `!` methods keep their runtime behavior;
 evidence that contradicts Boolean negation is rejected instead of proving
 coverage with an invalid logical model.
 
-New reports use schema `1.3`; saved schema `1.0`, `1.1`, and `1.2` reports
-remain readable. Comparison distinguishes decision-table coverage movement
+New reports use schema `1.4`; saved schema `1.0`, `1.1`, `1.2`, and `1.3`
+reports remain readable. Comparison distinguishes decision-table coverage movement
 (`rule coverage gained`, `rule coverage lost`) from analysis movement
 (`rule reachability changed`), and treats a structurally changed decision as a
 changed decision-table context instead of guessing which old rule a new rule
@@ -730,7 +869,11 @@ namespace. The CLI is the supported way to run a complete analysis;
 child-environment policy,
 and `Branchproof::RailsSupport` is the optional Rails boot boundary. The library
 classes expose the source, runtime, evidence, analysis, and report contracts
-for adapters and integrations.
+for adapters and integrations. `Branchproof::CoveragePolicy#call` evaluates a
+normalized `minimum` hash against a report document. `Report#coverage_policy`
+returns the recomputed policy record, and `Report#coverage_policy_lines`
+returns its terminal lines; both are available to integrations that need the
+same gate result as the CLI.
 
 ## Development
 

data/doc/Branchproof/Configuration.md

@@ -0,0 +1,28 @@
+# Class Branchproof::Configuration <a id="class-Branchproof-Configuration"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Object |
+| **Defined in** | lib/branchproof/configuration.rb |
+
+Loads and validates the project-local .branchproof.json policy.
+
+## Constants
+### `FIELDS` <a id="constant-FIELDS"></a> <a id="FIELDS-constant"></a>
+Not documented.
+
+### `FRAMEWORKS` <a id="constant-FRAMEWORKS"></a> <a id="FRAMEWORKS-constant"></a>
+Not documented.
+
+### `MINIMUM_CRITERIA` <a id="constant-MINIMUM_CRITERIA"></a> <a id="MINIMUM_CRITERIA-constant"></a>
+Not documented.
+
+### `PROJECTS` <a id="constant-PROJECTS"></a> <a id="PROJECTS-constant"></a>
+Not documented.
+
+### `SCHEMA_VERSION` <a id="constant-SCHEMA_VERSION"></a> <a id="SCHEMA_VERSION-constant"></a>
+Not documented.
+
+## Public Class Methods
+### `load(path:, root:, explicit: = false, disabled: = false)` <a id="method-c-load"></a> <a id="load-class_method"></a>
+Not documented.

data/doc/Branchproof/CoveragePolicy.md

@@ -0,0 +1,27 @@
+# Class Branchproof::CoveragePolicy <a id="class-Branchproof-CoveragePolicy"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Object |
+| **Defined in** | lib/branchproof/coverage_policy.rb |
+
+Evaluates configured coverage thresholds against the aggregate Analyzer
+coverage counts without relying on rounded percentage fields.
+
+## Constants
+### `COMPLETENESS_FIELDS` <a id="constant-COMPLETENESS_FIELDS"></a> <a id="COMPLETENESS_FIELDS-constant"></a>
+Not documented.
+
+### `CRITERIA` <a id="constant-CRITERIA"></a> <a id="CRITERIA-constant"></a>
+Not documented.
+
+## Public Class Methods
+### `normalize(minimum)` <a id="method-c-normalize"></a> <a id="normalize-class_method"></a>
+- **@raise** [ArgumentError]
+
+## Public Instance Methods
+### `call(document:)` <a id="method-i-call"></a> <a id="call-instance_method"></a>
+Not documented.
+
+### `initialize(minimum:)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+- **@return** [CoveragePolicy] a new instance of CoveragePolicy

data/doc/Branchproof/FocusedReport.md

@@ -12,7 +12,7 @@ Terminal renderings grouped around conditions or tests.
 Not documented.
 
 ## Public Instance Methods
-### `initialize(document:, view:, level:, missing_only: = false, coordinator: = nil)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+### `initialize(document:, view:, level:, missing_only: = false, coordinator: = nil, focus: = nil, top: = nil, selection: = nil)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
 - **@return** [FocusedReport] a new instance of FocusedReport
 
 ### `render()` <a id="method-i-render"></a> <a id="render-instance_method"></a>

data/doc/Branchproof/Report.md

@@ -24,7 +24,7 @@ Not documented.
 Not documented.
 
 ## Public Class Methods
-### `from_document(document:, level: = nil, view: = :decisions, missing_only: = false)` <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)` <a id="method-c-from_document"></a> <a id="from_document-class_method"></a>
 Not documented.
 
 ## Public Instance Methods
@@ -38,6 +38,12 @@ Shares the existing missing-case wording with focused terminal views.
 ### `coverage_ladder_lines()` <a id="method-i-coverage_ladder_lines"></a> <a id="coverage_ladder_lines-instance_method"></a>
 Render the shared ladder in every terminal view.
 
+### `coverage_policy()` <a id="method-i-coverage_policy"></a> <a id="coverage_policy-instance_method"></a>
+Not documented.
+
+### `coverage_policy_lines()` <a id="method-i-coverage_policy_lines"></a> <a id="coverage_policy_lines-instance_method"></a>
+Not documented.
+
 ### `coverage_status_label(status)` <a id="method-i-coverage_status_label"></a> <a id="coverage_status_label-instance_method"></a>
 Not documented.
 
@@ -56,7 +62,7 @@ Formats source context consistently in live and saved terminal views.
 ### `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)` <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)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
 - **@raise** [ArgumentError]
 - **@return** [Report] a new instance of Report
 

data/doc/Branchproof/ReportSelection.md

@@ -0,0 +1,42 @@
+# Class Branchproof::ReportSelection <a id="class-Branchproof-ReportSelection"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Object |
+| **Defined in** | lib/branchproof/report_selection.rb |
+
+Validates and applies terminal-only report display filters. rubocop:disable
+Metrics/ClassLength, Metrics/AbcSize, Metrics/CyclomaticComplexity,
+Metrics/MethodLength, Metrics/PerceivedComplexity
+
+## Attributes
+### `focus` [R] <a id="attribute-i-focus"></a> <a id="focus-instance_method"></a>
+Returns the value of attribute focus.
+
+### `top` [R] <a id="attribute-i-top"></a> <a id="top-instance_method"></a>
+Returns the value of attribute top.
+
+## Public Instance Methods
+### `active?()` <a id="method-i-active-3F"></a> <a id="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.
+
+### `focus_active?()` <a id="method-i-focus_active-3F"></a> <a id="focus_active?-instance_method"></a>
+- **@return** [Boolean]
+
+### `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>
+- **@return** [ReportSelection] a new instance of ReportSelection
+
+### `limit(items)` <a id="method-i-limit"></a> <a id="limit-instance_method"></a>
+Not documented.
+
+### `matching_decision_ids(document)` <a id="method-i-matching_decision_ids"></a> <a id="matching_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/Source.md

@@ -8,6 +8,11 @@
 
 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.

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/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](Branchproof/CLI.md)
 - [Branchproof/Comparison.md](Branchproof/Comparison.md)
 - [Branchproof/ComparisonReport.md](Branchproof/ComparisonReport.md)
+- [Branchproof/Configuration.md](Branchproof/Configuration.md)
 - [Branchproof/Constraints/Solver.md](Branchproof/Constraints/Solver.md)
 - [Branchproof/Constraints.md](Branchproof/Constraints.md)
 - [Branchproof/CoverageIndex.md](Branchproof/CoverageIndex.md)
+- [Branchproof/CoveragePolicy.md](Branchproof/CoveragePolicy.md)
 - [Branchproof/DecisionSyntax.md](Branchproof/DecisionSyntax.md)
 - [Branchproof/DecisionTable.md](Branchproof/DecisionTable.md)
 - [Branchproof/DefaultInstrumentation.md](Branchproof/DefaultInstrumentation.md)
@@ -54,6 +56,7 @@ Not documented.
 - [Branchproof/RailsSupport.md](Branchproof/RailsSupport.md)
 - [Branchproof/Records.md](Branchproof/Records.md)
 - [Branchproof/Report.md](Branchproof/Report.md)
+- [Branchproof/ReportSelection.md](Branchproof/ReportSelection.md)
 - [Branchproof/Runtime.md](Branchproof/Runtime.md)
 - [Branchproof/RuntimeFlow.md](Branchproof/RuntimeFlow.md)
 - [Branchproof/SavedReport.md](Branchproof/SavedReport.md)

data/doc/CHANGELOG.md

@@ -1,5 +1,35 @@
 ## [Unreleased]
 
+## [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,
+  MC/DC, and Decision Table criteria. Repeatable `--minimum criterion=threshold`
+  options override matching project or saved-report policy entries, compare
+  exact counts, and distinguish failed gates from unavailable or incomplete
+  evidence in exit status and JSON.
+- Persist policy decisions in live schema `1.4` reports while keeping saved
+  schemas `1.0` through `1.3` readable; offline policy overrides do not load
+  project configuration or mutate snapshots.
+- Add terminal-only `--focus PATH[:LINE]` and `--top N` selection for analyze
+  and report views. Selection uses captured source spans and deterministic source
+  order while leaving global summaries, gates, diagnostics, and exit status
+  unchanged.
+- Document a GitHub Actions artifact workflow that creates the output directory
+  and uploads reports after gate failures.
+- Preserve setup, body, and teardown phase totals when independent evidence runs
+  are merged, keeping phase attribution complete in combined snapshots.
+- Add declarative `.branchproof.json` project configuration with CLI precedence,
+  source exclusions, and comparison metadata for repeatable coverage runs.
+- Add a pipeline benchmark harness that exposes timing dimensions for future
+  measurements of coverage feedback costs.
+
 ## [0.10.0] - 2026-09-21
 
 - Add the first-release RSpec execution path for plain Ruby and Rails projects.