branchproof 0.5.0 → 0.7.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: c5b31682254d1c9db4be1d61e11743be038c65f859c730be05d1acae138e673c
-  data.tar.gz: 59a6f30a1586c0783283f32e16d1ed5626f702f3ec152ec15dfe271cfbc0c0b1
+  metadata.gz: c4c0c87db7babd3785baf2ea439a90ec852253e7ade2837becec235ee9ac7055
+  data.tar.gz: 29b5cd02d6ab9419343af3c9c1d49fd07a77c2487eaf2631aafbc90bafdf4296
 SHA512:
-  metadata.gz: 061d18741787eaeb57f5f1ec90a5e68d658fa8d9344fee52ecfa54fd70a69fcc909affe4890785031403a46379c90e11ac8a63c01766bd8477e2d7963ca14172
-  data.tar.gz: 144e5b02c3a380133015402e9ad2b47b52bc3a4d624c2f13728015159cd7ec6287fe7b3d1f167fb2ce745b3d953d5f271628a740c0912ae36af3fa7f72e13fb9
+  metadata.gz: bffba10f09dc43d851a79373b1e3ec8b2457179a2f69da8b8076d1f48c002f3a8f6a88e7a30f8c970c5f9960a73abbec4829dfcbee2581da61c5ff3cd1e233f4
+  data.tar.gz: c808687e23a8b27ed794d723d4a390f8296d5ade907fb6255660ac025e657530eff850d578d7d600b1177076dcf2376d577b15a4310e620cd618bf4598f626fc

data/CHANGELOG.md

@@ -1,5 +1,25 @@
 ## [Unreleased]
 
+## [0.7.0] - 2026-09-10
+
+- Discover Boolean loop predicates, subjectless case candidates, standalone
+  short-circuit expressions, and pattern predicates through Prism.
+- Analyze unary NOT and keyword `and`/`or` with Ruby's parsed precedence.
+- Attribute selected paths for ordinary case, unguarded case/in, safe navigation,
+  and conditional assignments without adding them to MC/DC denominators.
+- Expose decision kinds, contexts, alternative evidence, and explicit unsupported
+  constructs in schema 1.2 reports while retaining older saved-report support.
+
+## [0.6.0] - 2026-09-10
+
+- Report Decision, Condition, and Condition/Decision Coverage alongside
+  existing MC/DC evidence from one test execution.
+- Show explicit coverage counts, supporting tests, and missing Boolean
+  observations in decision, condition, and test views and JSON reports.
+- Calculate the same coverage criteria at every reporting level and retain
+  analysis in level-1 snapshots for offline inspection at higher detail.
+  Continue to support legacy snapshots without analysis at level 1.
+
 ## [0.5.0] - 2026-09-10
 
 - Show source filenames beside diagnostics in decision, condition, and test

data/README.md

@@ -1,10 +1,10 @@
 # Branchproof
 
-Branchproof measures modified condition/decision coverage (MC/DC) from one
-serial Minitest run. It inventories supported `if`, `unless`, `elsif`,
-modifier, and ordinary ternary (`?:`) decisions, records observed vectors,
-and reports independence evidence, missing counterpart constraints, and
-smaller supporting test sets.
+Branchproof measures decision, condition, and modified condition/decision
+coverage (MC/DC) from one serial Minitest 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 coverage.
 
 The gem and primary command are named `branchproof`. The `mcdc` command and
 `MCDC` namespace remain compatibility aliases with the same behavior.
@@ -126,6 +126,50 @@ Additional tests outside this MC/DC evidence set may improve coverage.
 The test execution still runs once for the selected level. Use `--format
 json` when a consumer needs the complete identifiers and versioned schema.
 
+### Coverage ladder
+
+Each successful `analyze` run calculates four criteria from the same completed
+observations. The report shows their status for each supported decision and
+aggregate counts with explicit denominators:
+
+| Criterion | Requirement | Aggregate denominator |
+| --- | --- | --- |
+| Decision | The decision produced both true and false | Supported decisions |
+| Condition | Every atomic condition evaluated both true and false | Two required truth values per supported condition |
+| Condition/Decision | Both Decision and Condition Coverage hold for a decision | Supported decisions |
+| MC/DC | Every condition has an independence witness pair | Supported conditions |
+
+For `logged_in? && admin?`, observations `[F-] => F` and `[TT] => T` give:
+
+```text
+Decision                    PASS
+Condition                   FAIL (3/4 values observed)
+Condition/Decision          FAIL
+MC/DC                       FAIL (1/2 conditions proven)
+```
+
+The skipped `admin?` in `[F-]` counts as neither true nor false. Conditions
+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`.
+
+Decision and Condition Coverage are calculated independently from the captured
+evidence. Condition/Decision requires both; MC/DC adds independence evidence.
+Unsupported decisions are excluded from every denominator, while
+unexecuted supported decisions remain in scope. Empty denominators are N/A.
+
+Reports retain the observations and owning tests for each decision outcome
+and condition value. Missing values describe required runtime observations,
+not application inputs or a guarantee that the path is reachable. Unattributed
+observations can provide truth-value evidence without identifying a test;
+the report's completeness and diagnostics still apply.
+
+JSON stores aggregate counts under `analysis.coverage`, per-decision results
+under `analysis.decisions[].coverage`, and condition value evidence under
+`analysis.decisions[].condition_results[].coverage`. Existing MC/DC witness
+pairs, counterpart constraints, and raw vectors remain available. Statuses
+distinguish `covered`, `partial`, `unexecuted`, and `unsupported` results.
+
 ### Find missing cases
 
 Use `--missing-only` to focus the terminal report on conditions that still
@@ -175,15 +219,17 @@ test inputs; they do not by themselves prove a bug in the application.
 
 The levels select how much of the one-run result is displayed:
 
-* Level 1 reports observed vectors grouped by their raw decision outcomes.
+* Level 1 reports the coverage ladder and observed vectors grouped by their
+  raw decision outcomes.
 * Level 2 includes the smallest supporting sets found for vectors and tests.
 * Level 3 (the default) includes condition independence witnesses and
   counterpart constraints, as well as the Level 1 and 2 evidence.
 
-Level 2 and Level 3 compute from the same captured run. They do not rerun the
-test suite. A failed, unsupported, or incomplete run is reported with its
-status and diagnostics and cannot become a successful coverage result by
-changing the display level.
+All levels calculate the same criteria from one captured run. The level
+controls displayed evidence, not the coverage criterion; JSON retains the
+analysis even at Level 1. A failed, unsupported, or incomplete run is reported
+with its status and diagnostics and cannot become a successful coverage
+result by changing the display level.
 
 ### Focused condition and test views
 
@@ -232,7 +278,8 @@ 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. Level 1 reports observations; levels 2 and 3 require corresponding
+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.
 Saved JSON includes existing raw metadata such as test names and expressions;
@@ -274,26 +321,77 @@ short-circuited or masked rather than fixed to the same observed values. For exa
 short-circuits it once, but does not prove `right`; `[TF]` is also required.
 The condition and test views preserve that distinction.
 
-### Supported conditional forms
-
-Ordinary Ruby ternaries use the same predicate instrumentation and `&&`/`||`
-condition trees as supported `if` decisions. For example:
-
-```ruby
-value = ready ? false : true
-```
-
-Branchproof records `ready` as the ternary predicate. The decision outcome is
-therefore the truth value of `ready`, even though the selected branch returns
-`false` or `true`; branch selection, returned values, object identity, and
-evaluation order are unchanged. Ternaries nested inside other predicates are
-also inventoried at their own level, including all executed nested levels.
-Expanding the supported syntax increases the eligible-condition denominator,
-so percentages should be compared with that changed scope in mind.
-
-The existing predicate exclusions and analysis limits still apply. Keyword
-`and`/`or` expressions, contextual syntax, unsafe or ambiguous predicates,
-and limit overflows remain diagnostics rather than eligible coverage.
+### Supported decision forms
+
+Every decision has a stable `kind` and `context` in JSON. The Boolean ladder
+applies to the following forms:
+
+| Construct | Kind | Context |
+| --- | --- | --- |
+| `if`, modifier `if`, `elsif`, `unless`, ternary | `boolean` | `if`, `elsif`, `unless`, `ternary` |
+| `while`, `until`, including modifier and post-test loops | `boolean` | `while`, `until` |
+| Each subjectless `case` candidate | `boolean` | `case_when` |
+| Standalone `value in pattern` | `boolean` | `pattern_in` |
+| Evaluated pattern guard predicate | `boolean` | `pattern_guard` |
+| Standalone `&&`, `||`, `and`, `or` | `boolean` | `short_circuit` |
+
+Prism determines precedence. `!` and `not` appear as NOT nodes in the Boolean
+tree; their operands remain the conditions. Short-circuited operands remain
+not evaluated. A Boolean subtree already decomposed in a decision is not
+inventoried again as a standalone decision.
+
+Loop outcomes describe the predicate as written: an `until` predicate that
+returns true ends the loop. Every predicate evaluation receives an execution
+ID. Repeated equivalent executions aggregate into a vector's `count`, retaining
+the supporting tests. Ternary outcomes likewise describe the predicate, not
+the value returned by the chosen branch.
+
+Other constructs use alternative coverage, separate from MC/DC:
+
+| Construct | Kind | Context | Required alternatives |
+| --- | --- | --- | --- |
+| `case subject` | `multiway` | `case` | Each `when` candidate and `else` (or implicit no-match path) |
+| `case/in` | `pattern` | `case_in` | Each pattern clause and explicit `else`, if present |
+| `receiver&.method` | `implicit` | `safe_navigation` | Receiver nil / non-nil |
+| `lhs ||= rhs` | `implicit` | `or_assignment` | RHS skipped / executed |
+| `lhs &&= rhs` | `implicit` | `and_assignment` | RHS skipped / executed |
+
+Each safe-navigation operation in a chain is a distinct decision. Assignment
+instrumentation preserves Ruby's native local, instance, class, global,
+constant, method, and indexed assignment operations, including receiver and
+index evaluation order. Safe navigation distinguishes nil from false.
+
+For multiway decisions, vector values mean selected (`true`), evaluated but
+not selected (`false`), and skipped (`null`). Later alternatives remain skipped
+when an earlier candidate matches. Implicit vectors record the selected path
+and its unselected complement. Their `outcome` is a selection marker, not the
+truthiness of the application's return value. Reports label these as paths,
+not Boolean outcomes. Each alternative exposes selected, not-selected, and
+skipped evidence with test and vector IDs. The alternative denominator is the
+number of supported selectable alternatives; these decisions do not enter
+Boolean-ladder or MC/DC denominators.
+
+A `case/in` without `else` retains Ruby's native no-match exception. An execution
+that fails before choosing a branch is aborted, not counted as a selected
+alternative. Selected branches and assignment paths remain observed even when
+their bodies or right-hand sides subsequently raise or return.
+
+Unsupported syntax stays visible and outside coverage denominators. Current
+exclusions include guarded `case/in` (`unsupported_pattern_guard`), dynamic
+`when` splats (`unsupported_case_splat`), safe-navigation compound assignment
+(`unsupported_assignment_target`), and rescue alternatives
+(`unsupported_rescue_control_flow`). A guard predicate can still supply Boolean
+evidence when Ruby evaluates it; an unsupported guarded case does not claim
+pattern-match coverage from that evidence. Flip-flops remain
+`unsupported_flip_flop`. Decisions inside `defined?`, contextual regular
+expressions, heredocs, unsafe predicates, and limit overflows retain explicit
+exclusions. 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.2`; saved schema `1.0` and `1.1` reports remain
+readable. Expanded discovery changes coverage denominators, so compare reports
+with their supported syntax scope in mind.
 
 ### Limits
 

data/doc/Branchproof/CoverageIndex.md

@@ -8,6 +8,9 @@
 Derives condition- and test-oriented rows from one report document.
 
 ## Attributes
+### `alternatives` [R] <a id="attribute-i-alternatives"></a> <a id="alternatives-instance_method"></a>
+Returns the value of attribute alternatives.
+
 ### `conditions` [R] <a id="attribute-i-conditions"></a> <a id="conditions-instance_method"></a>
 Returns the value of attribute conditions.
 

data/doc/Branchproof/DecisionSyntax.md

@@ -0,0 +1,20 @@
+# Module Branchproof::DecisionSyntax <a id="module-Branchproof-DecisionSyntax"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/decision_syntax.rb |
+
+Discovers control-flow expressions whose truth is not represented by an
+ordinary Prism IfNode.  The records intentionally contain byte ranges and
+scalar metadata only; Prism nodes must not escape the source pass.
+
+## Constants
+### `AND_WRITE_NODE_NAMES` <a id="constant-AND_WRITE_NODE_NAMES"></a> <a id="AND_WRITE_NODE_NAMES-constant"></a>
+Not documented.
+
+### `OR_WRITE_NODE_NAMES` <a id="constant-OR_WRITE_NODE_NAMES"></a> <a id="OR_WRITE_NODE_NAMES-constant"></a>
+Not documented.
+
+## Public Instance Methods
+### `flow_decisions_for(program, bytes, source_id, file_reasons = [], encoding = "UTF-8")` <a id="method-i-flow_decisions_for"></a> <a id="flow_decisions_for-instance_method"></a>
+Not documented.

data/doc/Branchproof/FlowInstrumentation.md

@@ -0,0 +1,7 @@
+# Module Branchproof::FlowInstrumentation <a id="module-Branchproof-FlowInstrumentation"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/flow_instrumentation.rb |
+
+Source-location edits around Ruby's native matching and assignment operations.

data/doc/Branchproof/Instrumenter.md

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

data/doc/Branchproof/Report.md

@@ -19,9 +19,19 @@ Not documented.
 Not documented.
 
 ## Public Instance Methods
+### `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.
+
 ### `condition_explanation(decision_id:, condition_id:)` <a id="method-i-condition_explanation"></a> <a id="condition_explanation-instance_method"></a>
 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_status_label(status)` <a id="method-i-coverage_status_label"></a> <a id="coverage_status_label-instance_method"></a>
+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.
 

data/doc/Branchproof/Runtime.md

@@ -2,6 +2,7 @@
 
 |  |  |
 | --- | --- |
+| **Extended by** | [Branchproof::RuntimeFlow](RuntimeFlow.md) |
 | **Defined in** | lib/branchproof/runtime.rb |
 
 Process-local execution recorder. It deliberately never coerces or stores
@@ -27,6 +28,24 @@ Not documented.
 ### `finish(decision_id, value)` <a id="method-c-finish"></a> <a id="finish-class_method"></a>
 Not documented.
 
+### `flow_candidate(decision_id, index)` <a id="method-c-flow_candidate"></a> <a id="flow_candidate-class_method"></a>
+Not documented.
+
+### `flow_finish(decision_id, value, default_path = nil)` <a id="method-c-flow_finish"></a> <a id="flow_finish-class_method"></a>
+Not documented.
+
+### `flow_path(decision_id, index)` <a id="method-c-flow_path"></a> <a id="flow_path-class_method"></a>
+Not documented.
+
+### `flow_receiver(decision_id, receiver)` <a id="method-c-flow_receiver"></a> <a id="flow_receiver-class_method"></a>
+Not documented.
+
+### `flow_select(decision_id, index)` <a id="method-c-flow_select"></a> <a id="flow_select-class_method"></a>
+Not documented.
+
+### `flow_selected(decision_id)` <a id="method-c-flow_selected"></a> <a id="flow_selected-class_method"></a>
+Not documented.
+
 ### `leave(decision_id)` <a id="method-c-leave"></a> <a id="leave-class_method"></a>
 Not documented.
 

data/doc/Branchproof/RuntimeFlow.md

@@ -0,0 +1,27 @@
+# Module Branchproof::RuntimeFlow <a id="module-Branchproof-RuntimeFlow"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/runtime_flow.rb |
+
+Records native Ruby path selection without evaluating application values
+twice.
+
+## Public Instance Methods
+### `flow_candidate(decision_id, index)` <a id="method-i-flow_candidate"></a> <a id="flow_candidate-instance_method"></a>
+Not documented.
+
+### `flow_finish(decision_id, value, default_path = nil)` <a id="method-i-flow_finish"></a> <a id="flow_finish-instance_method"></a>
+Not documented.
+
+### `flow_path(decision_id, index)` <a id="method-i-flow_path"></a> <a id="flow_path-instance_method"></a>
+Not documented.
+
+### `flow_receiver(decision_id, receiver)` <a id="method-i-flow_receiver"></a> <a id="flow_receiver-instance_method"></a>
+Not documented.
+
+### `flow_select(decision_id, index)` <a id="method-i-flow_select"></a> <a id="flow_select-instance_method"></a>
+Not documented.
+
+### `flow_selected(decision_id)` <a id="method-i-flow_selected"></a> <a id="flow_selected-instance_method"></a>
+Not documented.

data/doc/Branchproof/SavedReport.md

@@ -14,6 +14,12 @@ Not documented.
 ### `CRITERION_VERSION` <a id="constant-CRITERION_VERSION"></a> <a id="CRITERION_VERSION-constant"></a>
 Not documented.
 
+### `DECISION_KINDS` <a id="constant-DECISION_KINDS"></a> <a id="DECISION_KINDS-constant"></a>
+Not documented.
+
+### `NONBOOLEAN_KINDS` <a id="constant-NONBOOLEAN_KINDS"></a> <a id="NONBOOLEAN_KINDS-constant"></a>
+Not documented.
+
 ### `REQUIRED_FIELDS` <a id="constant-REQUIRED_FIELDS"></a> <a id="REQUIRED_FIELDS-constant"></a>
 Not documented.
 

data/doc/Branchproof/Source.md

@@ -3,6 +3,7 @@
 |  |  |
 | --- | --- |
 | **Inherits** | Object |
+| **Includes** | [Branchproof::DecisionSyntax](DecisionSyntax.md) |
 | **Defined in** | lib/branchproof/source.rb |
 
 Inventories supported condition and decision occurrences from Ruby files.

data/doc/Branchproof.md

@@ -2,9 +2,10 @@
 
 |  |  |
 | --- | --- |
-| **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/instrumenter.rb, lib/branchproof/saved_report.rb, lib/branchproof/rails_support.rb, lib/branchproof/coverage_index.rb, lib/branchproof/focused_report.rb, lib/branchproof/minitest_adapter.rb, lib/branchproof/comparison_report.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/instrumenter.rb, lib/branchproof/runtime_flow.rb, lib/branchproof/saved_report.rb, lib/branchproof/rails_support.rb, lib/branchproof/coverage_index.rb, lib/branchproof/focused_report.rb, lib/branchproof/decision_syntax.rb, lib/branchproof/minitest_adapter.rb, lib/branchproof/comparison_report.rb, lib/branchproof/flow_instrumentation.rb |
 
-Public namespace for source inventory and one-run MC/DC reporting.
+Keep each bounded source rewrite together so its evaluation order can be
+audited. rubocop:disable Metrics/AbcSize, Metrics/MethodLength
 
 ## Constants
 ### `VERSION` <a id="constant-VERSION"></a> <a id="VERSION-constant"></a>
@@ -17,8 +18,10 @@ Not documented.
 - [Branchproof/Comparison.md](Branchproof/Comparison.md)
 - [Branchproof/ComparisonReport.md](Branchproof/ComparisonReport.md)
 - [Branchproof/CoverageIndex.md](Branchproof/CoverageIndex.md)
+- [Branchproof/DecisionSyntax.md](Branchproof/DecisionSyntax.md)
 - [Branchproof/Error.md](Branchproof/Error.md)
 - [Branchproof/Evidence.md](Branchproof/Evidence.md)
+- [Branchproof/FlowInstrumentation.md](Branchproof/FlowInstrumentation.md)
 - [Branchproof/FocusedReport.md](Branchproof/FocusedReport.md)
 - [Branchproof/Instrumenter.md](Branchproof/Instrumenter.md)
 - [Branchproof/Limits.md](Branchproof/Limits.md)
@@ -31,6 +34,7 @@ Not documented.
 - [Branchproof/Records.md](Branchproof/Records.md)
 - [Branchproof/Report.md](Branchproof/Report.md)
 - [Branchproof/Runtime.md](Branchproof/Runtime.md)
+- [Branchproof/RuntimeFlow.md](Branchproof/RuntimeFlow.md)
 - [Branchproof/SavedReport.md](Branchproof/SavedReport.md)
 - [Branchproof/Source.md](Branchproof/Source.md)
 - [Branchproof/Worker.md](Branchproof/Worker.md)

data/doc/CHANGELOG.md

@@ -1,5 +1,25 @@
 ## [Unreleased]
 
+## [0.7.0] - 2026-09-10
+
+- Discover Boolean loop predicates, subjectless case candidates, standalone
+  short-circuit expressions, and pattern predicates through Prism.
+- Analyze unary NOT and keyword `and`/`or` with Ruby's parsed precedence.
+- Attribute selected paths for ordinary case, unguarded case/in, safe navigation,
+  and conditional assignments without adding them to MC/DC denominators.
+- Expose decision kinds, contexts, alternative evidence, and explicit unsupported
+  constructs in schema 1.2 reports while retaining older saved-report support.
+
+## [0.6.0] - 2026-09-10
+
+- Report Decision, Condition, and Condition/Decision Coverage alongside
+  existing MC/DC evidence from one test execution.
+- Show explicit coverage counts, supporting tests, and missing Boolean
+  observations in decision, condition, and test views and JSON reports.
+- Calculate the same coverage criteria at every reporting level and retain
+  analysis in level-1 snapshots for offline inspection at higher detail.
+  Continue to support legacy snapshots without analysis at level 1.
+
 ## [0.5.0] - 2026-09-10
 
 - Show source filenames beside diagnostics in decision, condition, and test