branchproof 0.9.0 → 0.10.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 59c4f3efbd178f68f3137bae18e75de19ebc39e2ffc7873a2d84c9d5ce442b05
-  data.tar.gz: 26247e830fecbf4cdd2dd2c0eb5c50838cbe02de06f919ba7dced1c44252fd2d
+  metadata.gz: ac29ee2c9df680fb49df3bc144ed102168320ad48908bcf9ec665521ebcfec0b
+  data.tar.gz: c31a3385bdbf3e42c538d4bd85c0120ee414da71bb184653287ab644ff7d243e
 SHA512:
-  metadata.gz: e39262ef9fb55f10d3760a1e72cdff4a159f62d199d57729a19cd93b2df2720ceacf1e87317094cab76d3e15427d0e19c6dfe6968f781b7d35ff2f934d0171d5
-  data.tar.gz: f8e73473d13a6c15ba5890e0613848a1fe71d4cd092f8633ce707f1be7d63b566e9cef854bd35551ded41d2e5cd84e753932ce7f2db8e6348e7a1eba34e690e1
+  metadata.gz: 9edc32c189cdbf5fbab52e224f9a2292e3cc1ec3ac20090408f0371b2dcd76198a6295059bd65be868eb041f12f62cae54b0a4a0a61e1cc7302cd6d90cfe3475
+  data.tar.gz: 2c60434afbc2940cfcb17717c37787a3560e18d8278b46fbe7e1571bd4556e7230de7648bdff883e85666be066396c3ffbdc154937913bae54dbf365cadfde7e

data/CHANGELOG.md

@@ -1,5 +1,24 @@
 ## [Unreleased]
 
+## [0.10.0] - 2026-09-21
+
+- Add the first-release RSpec execution path for plain Ruby and Rails projects.
+  It supports RSpec 3.13, including Rails 8.1 with rspec-rails 8.x on CRuby 3.4.
+  Integration is verified against rspec-rails 8.0.4 and native RSpec behavior.
+- Add `--framework auto|minitest|rspec`, native RSpec discovery that respects
+  exclusions and custom patterns, full-description labels, and status mapping for pending,
+  skipped, fixed pending, and failed examples.
+- Keep Rails helper ownership with the application after Branchproof's loader;
+  transaction behavior, in-process specs, and context/suite/unattributed
+  evidence are recorded explicitly.
+- Allow focused pure-Ruby specs inside Rails projects without requiring Rails boot.
+- Match RSpec examples across saved reports only when spec and declaration
+  revisions agree, preventing false matches after examples are inserted or reordered.
+- Stream test progress to stderr, show quoted RSpec rerun commands, and explain
+  unmatched test globs, empty suites, and filters selecting no examples.
+- Document repeated ordinary and shared-example benchmarks with allocations
+  and peak process memory; end-to-end overhead remains substantial.
+
 ## [0.9.0] - 2026-09-18
 
 - Measure contextual predicates, guarded pattern selection, dynamic case splat

data/README.md

@@ -1,7 +1,7 @@
 # Branchproof
 
 Branchproof measures decision, condition, modified condition/decision (MC/DC),
-and decision-table coverage from one serial Minitest run. It discovers Ruby
+and decision-table coverage from one serial Minitest or RSpec run. It discovers Ruby
 decisions through Prism, records their runtime paths, and attributes evidence
 to tests. Boolean decisions receive the coverage ladder; `case`, pattern
 alternatives, safe navigation, and conditional assignments receive alternative
@@ -22,10 +22,13 @@ Or add it to a bundle:
 bundle add branchproof
 ```
 
-Branchproof targets CRuby 3.3 and 3.4, Minitest 5.x, and Prism 1.x. The
-published core runtime matrix is the CI matrix. Rails support is optional and
-has been locally checked against Rails 8.1.3.1 on CRuby 3.4.5; Rails is
-supplied by the application and is not a runtime dependency of this gem.
+Branchproof targets CRuby 3.3 and 3.4, Minitest 5.x, RSpec 3.13, and Prism 1.x. The
+published core runtime matrix is the CI matrix. Rails/RSpec execution is limited
+to Rails 8.1.x, rspec-rails 8.x, RSpec 3.13.x, and CRuby 3.4.x; passing core
+tests on Ruby 4.0 does not imply Rails/RSpec support. Integration has been checked
+with Rails 8.1.3.1, rspec-rails 8.0.4, RSpec Core 3.13.6, and CRuby 3.4.7.
+Rails and RSpec are optional dependencies supplied by the application.
+Minitest 5.x remains a runtime dependency of this gem.
 Unsupported syntax and incomplete observations remain visible in the report
 instead of being counted as coverage.
 
@@ -33,7 +36,7 @@ instead of being counted as coverage.
 
 Run `branchproof analyze` with the source files or globs to inspect, followed by
 options. A second `--` separates Branchproof options from arguments passed to
-Minitest unchanged:
+the selected test framework:
 
 ```sh
 branchproof analyze 'lib/**/*.rb' --test 'test/**/*_test.rb' \
@@ -58,22 +61,60 @@ the application's bundle and Rails version remain in effect:
 bundle exec branchproof analyze 'app/**/*.rb' --project rails --test 'test/**/*_test.rb'
 ```
 
+Choose the test framework independently from project kind:
+
+```sh
+bundle exec branchproof analyze 'app/**/*.rb' --project rails --framework rspec
+```
+
+`--framework auto|minitest|rspec` is explicit about the adapter. Auto mode
+selects RSpec when `.rspec` or `spec/**/*_spec.rb` markers exist and Minitest
+when `test/**/*_test.rb` or `test/**/test_*.rb` markers exist. If both are
+present, specify the framework. RSpec discovery uses `spec/**/*_spec.rb`; an
+explicit `--test` selection remains authoritative. Project roots are resolved
+explicitly, and report paths are relative to that root so reports from
+different checkouts can be compared.
+
+Install `rspec` in the application's test bundle; Rails applications also need
+`rspec-rails`. RSpec reads its usual option files and `SPEC_OPTS`, including
+helper requires, filters, ordering, and file or example-ID selectors. Selectors
+from RSpec configuration replace default discovery. Combining those selectors
+with an explicit Branchproof `--test` is rejected as ambiguous; ordinary filters
+such as `--tag` and `--example` can accompany `--test`.
+
+RSpec before hooks, eager `let!`, and around-hook prefixes own setup evidence.
+The example body and helpers evaluated there own body evidence; after hooks,
+mock cleanup, and around-hook suffixes own teardown evidence. Suite and context
+hooks remain unattributed. Pending and skipped examples do not invent execution;
+an unexpectedly passing pending example remains a failure.
+
+RSpec support is serial: dry-run, bisect, DRb, custom runners, nested runs, and
+repeated example attempts are rejected. Rails/RSpec supports Rails 8.1.x with
+rspec-rails 8.x on CRuby 3.4.x. Feature and system specs use the in-process
+Capybara `rack_test` driver; browser drivers require execution-context support
+outside this release. Capybara is optional for apps that do not use those specs.
+
 For a project rooted at the current directory, `--project auto` is the
 default. It selects Rails only when both `config/application.rb` and
 `config/environment.rb` exist; otherwise it selects a plain Ruby project.
 Use `--project ruby` or `--project rails` to override detection. An explicit
 Rails project without both boot files is a usage error.
 
-Project defaults discover the sorted, de-duplicated union of
+Minitest defaults discover the sorted, de-duplicated union of
 `test/**/*_test.rb` and `test/**/test_*.rb`. Helper, support, and fixture files
 are excluded from that default set. `--test` remains authoritative when test
 files are selected explicitly. The worker prepends the project's `lib` and
-`test` directories to its child load path, so application `require` calls
+`test` directories (`lib` and `spec` for RSpec) to its child load path, so application `require` calls
 resolve without changing the parent process.
 
-Rails analysis boots `config/environment.rb` and `rails/test_help` inside the
-isolated worker after Branchproof's loader and Minitest hooks are installed. The
-child receives `RAILS_ENV=test`, `RACK_ENV=test`, `PARALLEL_WORKERS=1`,
+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
+the loader; the helper must not require `branchproof` again. Selected specs
+may require only `spec_helper` and run without booting Rails,
+even when project detection selects Rails. Once Rails is loaded, Branchproof
+requires an initialized application and enforces the Rails/RSpec support limits.
+The child receives `RAILS_ENV=test`, `RACK_ENV=test`, `PARALLEL_WORKERS=1`,
 `DISABLE_BOOTSNAP=1`, and `DISABLE_SPRING=1`; the invoking process environment
 is unchanged. The Rails metadata in the report identifies the selected
 project and Rails version.
@@ -93,6 +134,17 @@ the witness pair or missing counterpart constraints beside each condition;
 Level 2 and Level 3 also list named supporting tests. Repeated supporting-set
 rows are collapsed in terminal output only.
 
+RSpec owners use the example's `full_description` and positional `example_id`.
+Terminal views include quoted rerun commands, including selectors for shared
+examples. These selectors apply to the recorded spec revision. Comparisons
+require matching spec and declaration digests before matching example owners;
+changed specs and older reports without digests are treated conservatively.
+Runner output streams to stderr while JSON reports remain on stdout.
+Pending, skipped, fixed-pending, and failed examples map to the corresponding
+baseline statuses; suite and context lifecycle events remain visible, and
+observations without a test owner are counted as unattributed. The same levels
+and terminal views are available for both adapters.
+
 For example, running the contents of the small `decision.rb` /
 `test_decision_test.rb` fixture from a project `lib/` and `test/` directory
 with the terminal format produces a summary like this:
@@ -654,12 +706,14 @@ the serial Minitest runner. This is useful for seeds and name filters:
 branchproof analyze 'lib/**/*.rb' --level 1 -- --seed 9001 -n /checkout/
 ```
 
-The 0.2 release supports serial Minitest execution in plain Ruby projects and
-Rails applications. Rails lazy and eager loading are supported when the
-application does not enable reloading for the test run. RSpec, parallel or
-forked runners, mutation execution, Rails system/browser tests, custom Rails
-test commands, generated tests, and reloading configurations are outside this
-release and produce diagnostics rather than a passing analysis.
+The first release supports serial Minitest and RSpec execution in plain Ruby
+projects and Rails applications. Rails lazy and eager loading are supported
+when the application does not enable reloading for the test run. Transactions
+and in-process specs are supported within the serial process policy. Parallel
+or forked runners, remote or threaded browser drivers, mutation execution,
+Rails system/browser tests, custom Rails test commands, generated tests, and
+reloading configurations are explicitly unsupported and produce diagnostics
+rather than a passing analysis.
 
 ## Library entry points
 
@@ -672,7 +726,8 @@ Branchproof::Records.id(name: "stable identity")
 
 `require "mcdc"` and `MCDC` are compatibility aliases for the same public
 namespace. The CLI is the supported way to run a complete analysis;
-`Branchproof::Project` exposes project selection and child-environment policy,
+`Branchproof::Project` exposes project and framework selection and
+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.
@@ -705,6 +760,10 @@ Run the commands with the Ruby executable you intend to validate. The checked
 release environments are CRuby 3.3.6 and 3.4.5. Each runtime
 must provide the declared Minitest 5.x and Prism 1.x dependencies.
 
+The repeatable native-versus-instrumented adapter benchmark and its captured
+Ruby 3.4.7 result are in
+[`docs/benchmarks/rspec-adapter.md`](docs/benchmarks/rspec-adapter.md).
+
 ## License
 
 Branchproof is available under the [Apache License, Version 2.0](LICENSE.txt).

data/doc/Branchproof/Evidence.md

@@ -44,3 +44,6 @@ Not documented.
 
 ### `snapshot()` <a id="method-i-snapshot"></a> <a id="snapshot-instance_method"></a>
 Not documented.
+
+### `test_phase_counts()` <a id="method-i-test_phase_counts"></a> <a id="test_phase_counts-instance_method"></a>
+Not documented.

data/doc/Branchproof/Project.md

@@ -8,6 +8,9 @@
 Resolves the project policy used by the isolated analysis worker.
 
 ## Constants
+### `FRAMEWORKS` <a id="constant-FRAMEWORKS"></a> <a id="FRAMEWORKS-constant"></a>
+Not documented.
+
 ### `MODES` <a id="constant-MODES"></a> <a id="MODES-constant"></a>
 Not documented.
 
@@ -15,7 +18,7 @@ Not documented.
 Not documented.
 
 ## Public Instance Methods
-### `initialize(root:, mode: = "auto")` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+### `initialize(root:, mode: = "auto", framework: = "auto")` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
 - **@raise** [ArgumentError]
 - **@return** [Project] a new instance of Project
 

data/doc/Branchproof/RSpecAdapter/ClassRunnerGuard.md

@@ -0,0 +1,11 @@
+# Module Branchproof::RSpecAdapter::ClassRunnerGuard <a id="module-Branchproof-RSpecAdapter-ClassRunnerGuard"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/rspec_adapter.rb |
+
+Rejects additional class-level runner entry points.
+
+## Public Instance Methods
+### `run(*args)` <a id="method-i-run"></a> <a id="run-instance_method"></a>
+Not documented.

data/doc/Branchproof/RSpecAdapter/ContextLifecycle.md

@@ -0,0 +1,14 @@
+# Module Branchproof::RSpecAdapter::ContextLifecycle <a id="module-Branchproof-RSpecAdapter-ContextLifecycle"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/rspec_adapter.rb |
+
+Keeps group-level hooks outside individual example ownership.
+
+## Public Instance Methods
+### `run_after_context_hooks(*args)` <a id="method-i-run_after_context_hooks"></a> <a id="run_after_context_hooks-instance_method"></a>
+Not documented.
+
+### `run_before_context_hooks(*args)` <a id="method-i-run_before_context_hooks"></a> <a id="run_before_context_hooks-instance_method"></a>
+Not documented.

data/doc/Branchproof/RSpecAdapter/DefaultDiscovery.md

@@ -0,0 +1,11 @@
+# Module Branchproof::RSpecAdapter::DefaultDiscovery <a id="module-Branchproof-RSpecAdapter-DefaultDiscovery"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/rspec_adapter.rb |
+
+Restores CLI directory discovery when RSpec runs inside the worker.
+
+## Public Instance Methods
+### `configure(configuration)` <a id="method-i-configure"></a> <a id="configure-instance_method"></a>
+Not documented.

data/doc/Branchproof/RSpecAdapter/ExampleLifecycle.md

@@ -0,0 +1,11 @@
+# Module Branchproof::RSpecAdapter::ExampleLifecycle <a id="module-Branchproof-RSpecAdapter-ExampleLifecycle"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/rspec_adapter.rb |
+
+Assigns observation phases while the reporter owns test registration.
+
+## Public Instance Methods
+### `run(*args)` <a id="method-i-run"></a> <a id="run-instance_method"></a>
+Not documented.

data/doc/Branchproof/RSpecAdapter/RunnerGuard.md

@@ -0,0 +1,11 @@
+# Module Branchproof::RSpecAdapter::RunnerGuard <a id="module-Branchproof-RSpecAdapter-RunnerGuard"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/rspec_adapter.rb |
+
+Allows only the worker-owned native runner instance.
+
+## Public Instance Methods
+### `run(*args)` <a id="method-i-run"></a> <a id="run-instance_method"></a>
+Not documented.

data/doc/Branchproof/RSpecAdapter/UnsupportedRunner.md

@@ -0,0 +1,12 @@
+# Class Branchproof::RSpecAdapter::UnsupportedRunner <a id="class-Branchproof-RSpecAdapter-UnsupportedRunner"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | ArgumentError |
+| **Defined in** | lib/branchproof/rspec_adapter.rb |
+
+Identifies runner capabilities that cannot produce supported evidence.
+
+## Public Instance Methods
+### `diagnostic_code()` <a id="method-i-diagnostic_code"></a> <a id="diagnostic_code-instance_method"></a>
+Not documented.

data/doc/Branchproof/RSpecAdapter.md

@@ -0,0 +1,47 @@
+# Class Branchproof::RSpecAdapter <a id="class-Branchproof-RSpecAdapter"></a>
+
+|  |  |
+| --- | --- |
+| **Inherits** | Object |
+| **Defined in** | lib/branchproof/rspec_adapter.rb |
+
+Bridges one serial RSpec run to Runtime lifecycle ownership.
+
+## Constants
+### `FORBIDDEN_OPTIONS` <a id="constant-FORBIDDEN_OPTIONS"></a> <a id="FORBIDDEN_OPTIONS-constant"></a>
+Not documented.
+
+## Attributes
+### `active_adapter` [RW] <a id="attribute-c-active_adapter"></a> <a id="active_adapter-class_method"></a>
+Returns the value of attribute active_adapter.
+
+### `runner_adapter` [RW] <a id="attribute-c-runner_adapter"></a> <a id="runner_adapter-class_method"></a>
+Returns the value of attribute runner_adapter.
+
+### `late_execution_error` [R] <a id="attribute-i-late_execution_error"></a> <a id="late_execution_error-instance_method"></a>
+Returns the value of attribute late_execution_error.
+
+### `tests` [R] <a id="attribute-i-tests"></a> <a id="tests-instance_method"></a>
+Returns the value of attribute tests.
+
+## Public Instance Methods
+### `enter_runner!(runner)` <a id="method-i-enter_runner-21"></a> <a id="enter_runner!-instance_method"></a>
+Not documented.
+
+### `example_finished(notification)` <a id="method-i-example_finished"></a> <a id="example_finished-instance_method"></a>
+Not documented.
+
+### `example_started(notification)` <a id="method-i-example_started"></a> <a id="example_started-instance_method"></a>
+Not documented.
+
+### `initialize(runtime:)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+- **@return** [RSpecAdapter] a new instance of RSpecAdapter
+
+### `reject_execution!(message)` <a id="method-i-reject_execution-21"></a> <a id="reject_execution!-instance_method"></a>
+- **@raise** [@run_error]
+
+### `run(test_files:, runner_args:, on_complete:, before_load: = nil, after_load: = nil, test_selection_explicit: = false)` <a id="method-i-run"></a> <a id="run-instance_method"></a>
+rubocop:disable-next Metrics/ParameterLists
+
+### `validate_runner!()` <a id="method-i-validate_runner-21"></a> <a id="validate_runner!-instance_method"></a>
+Not documented.

data/doc/Branchproof/RailsSupport.md

@@ -6,16 +6,31 @@
 
 Boots the selected Rails application after Branchproof's load hook is active.
 
+## Constants
+### `SUPPORTED_CAPYBARA_DRIVER` <a id="constant-SUPPORTED_CAPYBARA_DRIVER"></a> <a id="SUPPORTED_CAPYBARA_DRIVER-constant"></a>
+Not documented.
+
+### `SUPPORTED_RAILS` <a id="constant-SUPPORTED_RAILS"></a> <a id="SUPPORTED_RAILS-constant"></a>
+Not documented.
+
+### `SUPPORTED_RSPEC_RAILS_MAJOR` <a id="constant-SUPPORTED_RSPEC_RAILS_MAJOR"></a> <a id="SUPPORTED_RSPEC_RAILS_MAJOR-constant"></a>
+Not documented.
+
 ## Public Class Methods
 ### `boot(project:)` <a id="method-c-boot"></a> <a id="boot-class_method"></a>
-Not documented.
+Boot the Rails application for the native Minitest adapter.
 
 ### `boot_environment(environment)` <a id="method-c-boot_environment"></a> <a id="boot_environment-class_method"></a>
-Not documented.
+Require the application and validate the process-wide Rails policy. This
+method is public so adapter-specific helpers can own the remaining test
+framework setup while sharing the exact same Rails boot checks.
 
 ### `environment_path(project)` <a id="method-c-environment_path"></a> <a id="environment_path-class_method"></a>
 Not documented.
 
+### `install_rspec_driver_guard!()` <a id="method-c-install_rspec_driver_guard-21"></a> <a id="install_rspec_driver_guard!-class_method"></a>
+Not documented.
+
 ### `metadata()` <a id="method-c-metadata"></a> <a id="metadata-class_method"></a>
 Not documented.
 
@@ -25,8 +40,26 @@ Not documented.
 ### `reloading_enabled?(config)` <a id="method-c-reloading_enabled-3F"></a> <a id="reloading_enabled?-class_method"></a>
 - **@return** [Boolean]
 
+### `rspec_rails_version()` <a id="method-c-rspec_rails_version"></a> <a id="rspec_rails_version-class_method"></a>
+Not documented.
+
 ### `validate_application!()` <a id="method-c-validate_application-21"></a> <a id="validate_application!-class_method"></a>
 - **@raise** [Error]
 
+### `validate_rspec!(project:)` <a id="method-c-validate_rspec-21"></a> <a id="validate_rspec!-class_method"></a>
+Validate the seam after an RSpec Rails helper has loaded. RSpec owns requiring
+rspec/rails and configuring its example groups; this method only checks that
+that setup is attached to the same, already-validated Rails application.
+- **@raise** [Error]
+
+### `validate_rspec_driver!(example_metadata)` <a id="method-c-validate_rspec_driver-21"></a> <a id="validate_rspec_driver!-class_method"></a>
+RSpec Rails invokes this at example execution time, before the example can ask
+Capybara to launch a browser. The adapter converts this explicit rejection
+into an incomplete/error execution result.
+- **@raise** [Error]
+
 ### `validate_test_environment()` <a id="method-c-validate_test_environment"></a> <a id="validate_test_environment-class_method"></a>
 - **@raise** [Error]
+
+### `validate_version_tuple!(rails_metadata)` <a id="method-c-validate_version_tuple-21"></a> <a id="validate_version_tuple!-class_method"></a>
+- **@raise** [Error]

data/doc/Branchproof/Report.md

@@ -60,5 +60,8 @@ Not documented.
 - **@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>
 - **@raise** [ArgumentError]

data/doc/Branchproof/Runtime.md

@@ -108,6 +108,9 @@ Metrics/PerceivedComplexity
 ### `snapshot()` <a id="method-c-snapshot"></a> <a id="snapshot-class_method"></a>
 Not documented.
 
+### `test_phase_counts()` <a id="method-c-test_phase_counts"></a> <a id="test_phase_counts-class_method"></a>
+Not documented.
+
 ### `value_path(decision_id, value, domain)` <a id="method-c-value_path"></a> <a id="value_path-class_method"></a>
 rubocop:disable-next Metrics/MethodLength -- trace state branches are
 explicit. rubocop:disable-next Metrics/AbcSize, Metrics/CyclomaticComplexity,

data/doc/Branchproof/Worker.md

@@ -4,9 +4,12 @@
 | --- | --- |
 | **Defined in** | lib/branchproof/worker.rb |
 
-Runs one isolated Minitest worker and atomically exports its result.
+Runs one isolated test worker and atomically exports its result.
 
 ## Public Class Methods
+### `adapter_for(project, runtime)` <a id="method-c-adapter_for"></a> <a id="adapter_for-class_method"></a>
+Not documented.
+
 ### `boot_project(project)` <a id="method-c-boot_project"></a> <a id="boot_project-class_method"></a>
 Not documented.
 
@@ -17,6 +20,10 @@ Not documented.
 This result boundary intentionally carries the complete worker payload.
 rubocop:disable-next Metrics/ParameterLists
 
+### `guard_late_rspec_execution(adapter, payload)` <a id="method-c-guard_late_rspec_execution"></a> <a id="guard_late_rspec_execution-class_method"></a>
+Installed before application hooks, so this runs after their at_exit work. A
+rescued second runner must still invalidate the already-exported result.
+
 ### `incomplete_evidence(evidence, diagnostics)` <a id="method-c-incomplete_evidence"></a> <a id="incomplete_evidence-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/rails_support.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/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 |
 
 Keep source-boundary and parameter-binding rules together for auditing.
 rubocop:disable Metrics/AbcSize, Metrics/CyclomaticComplexity,
@@ -43,6 +43,13 @@ Not documented.
 - [Branchproof/Minimizer.md](Branchproof/Minimizer.md)
 - [Branchproof/MinitestAdapter.md](Branchproof/MinitestAdapter.md)
 - [Branchproof/Project.md](Branchproof/Project.md)
+- [Branchproof/RSpecAdapter/ClassRunnerGuard.md](Branchproof/RSpecAdapter/ClassRunnerGuard.md)
+- [Branchproof/RSpecAdapter/ContextLifecycle.md](Branchproof/RSpecAdapter/ContextLifecycle.md)
+- [Branchproof/RSpecAdapter/DefaultDiscovery.md](Branchproof/RSpecAdapter/DefaultDiscovery.md)
+- [Branchproof/RSpecAdapter/ExampleLifecycle.md](Branchproof/RSpecAdapter/ExampleLifecycle.md)
+- [Branchproof/RSpecAdapter/RunnerGuard.md](Branchproof/RSpecAdapter/RunnerGuard.md)
+- [Branchproof/RSpecAdapter/UnsupportedRunner.md](Branchproof/RSpecAdapter/UnsupportedRunner.md)
+- [Branchproof/RSpecAdapter.md](Branchproof/RSpecAdapter.md)
 - [Branchproof/RailsSupport/Error.md](Branchproof/RailsSupport/Error.md)
 - [Branchproof/RailsSupport.md](Branchproof/RailsSupport.md)
 - [Branchproof/Records.md](Branchproof/Records.md)

data/doc/CHANGELOG.md

@@ -1,5 +1,24 @@
 ## [Unreleased]
 
+## [0.10.0] - 2026-09-21
+
+- Add the first-release RSpec execution path for plain Ruby and Rails projects.
+  It supports RSpec 3.13, including Rails 8.1 with rspec-rails 8.x on CRuby 3.4.
+  Integration is verified against rspec-rails 8.0.4 and native RSpec behavior.
+- Add `--framework auto|minitest|rspec`, native RSpec discovery that respects
+  exclusions and custom patterns, full-description labels, and status mapping for pending,
+  skipped, fixed pending, and failed examples.
+- Keep Rails helper ownership with the application after Branchproof's loader;
+  transaction behavior, in-process specs, and context/suite/unattributed
+  evidence are recorded explicitly.
+- Allow focused pure-Ruby specs inside Rails projects without requiring Rails boot.
+- Match RSpec examples across saved reports only when spec and declaration
+  revisions agree, preventing false matches after examples are inserted or reordered.
+- Stream test progress to stderr, show quoted RSpec rerun commands, and explain
+  unmatched test globs, empty suites, and filters selecting no examples.
+- Document repeated ordinary and shared-example benchmarks with allocations
+  and peak process memory; end-to-end overhead remains substantial.
+
 ## [0.9.0] - 2026-09-18
 
 - Measure contextual predicates, guarded pattern selection, dynamic case splat