branchproof 0.6.0 → 0.8.0

data/doc/Branchproof/DecisionTable.md

@@ -0,0 +1,153 @@
+# Module Branchproof::DecisionTable <a id="module-Branchproof-DecisionTable"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/decision_table.rb |
+
+Derives the executable logical rules of a supported Boolean decision and
+overlays the runtime evidence that the existing Branchproof run captured.
+
+Rules come from the Boolean tree itself rather than from an exhaustive
+Cartesian expansion, so Ruby's short-circuit semantics are preserved: a
+condition the interpreter would skip becomes an explicit `dont_care` value
+instead of two separate rules.
+
+Nothing here executes application code, and no additional test run is
+required: overlay consumes the vectors already recorded for the decision.
+
+## Constants
+### `CONDITION_VALUES` <a id="constant-CONDITION_VALUES"></a> <a id="CONDITION_VALUES-constant"></a>
+Not documented.
+
+### `CONSTRAINT_ANALYSIS_VERSION` <a id="constant-CONSTRAINT_ANALYSIS_VERSION"></a> <a id="CONSTRAINT_ANALYSIS_VERSION-constant"></a>
+Not documented.
+
+### `COVERAGE_STATUSES` <a id="constant-COVERAGE_STATUSES"></a> <a id="COVERAGE_STATUSES-constant"></a>
+Not documented.
+
+### `COVERAGE_SUMMARY_STATUSES` <a id="constant-COVERAGE_SUMMARY_STATUSES"></a> <a id="COVERAGE_SUMMARY_STATUSES-constant"></a>
+Not documented.
+
+### `DEFAULT_MAX_CONDITIONS` <a id="constant-DEFAULT_MAX_CONDITIONS"></a> <a id="DEFAULT_MAX_CONDITIONS-constant"></a>
+Not documented.
+
+### `DEFAULT_MAX_RULES` <a id="constant-DEFAULT_MAX_RULES"></a> <a id="DEFAULT_MAX_RULES-constant"></a>
+Not documented.
+
+### `DONT_CARE` <a id="constant-DONT_CARE"></a> <a id="DONT_CARE-constant"></a>
+Not documented.
+
+### `FALSE_VALUE` <a id="constant-FALSE_VALUE"></a> <a id="FALSE_VALUE-constant"></a>
+Not documented.
+
+### `NOT_CALCULATED_REASONS` <a id="constant-NOT_CALCULATED_REASONS"></a> <a id="NOT_CALCULATED_REASONS-constant"></a>
+Not documented.
+
+### `REACHABILITY_STATUSES` <a id="constant-REACHABILITY_STATUSES"></a> <a id="REACHABILITY_STATUSES-constant"></a>
+Not documented.
+
+### `SCHEMA_VERSION` <a id="constant-SCHEMA_VERSION"></a> <a id="SCHEMA_VERSION-constant"></a>
+Not documented.
+
+### `TABLE_STATUSES` <a id="constant-TABLE_STATUSES"></a> <a id="TABLE_STATUSES-constant"></a>
+Not documented.
+
+### `TRUE_VALUE` <a id="constant-TRUE_VALUE"></a> <a id="TRUE_VALUE-constant"></a>
+Not documented.
+
+### `VALUE_LABELS` <a id="constant-VALUE_LABELS"></a> <a id="VALUE_LABELS-constant"></a>
+Not documented.
+
+## Public Class Methods
+### `build(decision:, vectors: = [], limits: = {}, reachability: = true)` <a id="method-c-build"></a> <a id="build-class_method"></a>
+Builds the reduced, runtime-overlaid table for one Boolean decision.
+- **@raise** [ArgumentError]
+
+### `classify_vectors(rules, vectors)` <a id="method-c-classify_vectors"></a> <a id="classify_vectors-class_method"></a>
+Generated traces have nil in every skipped condition position. Their
+normalized vector is therefore an exact table key and can be classified
+without scanning every rule. Malformed or hand-built observations retain the
+historical matcher as a bounded compatibility fallback.
+
+### `combine(node, type, budget)` <a id="method-c-combine"></a> <a id="combine-class_method"></a>
+Not documented.
+
+### `coverage_entry(table)` <a id="method-c-coverage_entry"></a> <a id="coverage_entry-class_method"></a>
+The per-decision row the coverage ladder renders.
+
+### `coverage_status(covered, required, generated)` <a id="method-c-coverage_status"></a> <a id="coverage_status-class_method"></a>
+Not documented.
+
+### `enumerate(node, prefer, budget)` <a id="method-c-enumerate"></a> <a id="enumerate-class_method"></a>
+Enumerates every short-circuit evaluation path of the Boolean tree.
+
+`prefer` orders the paths deterministically: a conjunction lists its
+short-circuiting false path first, a disjunction its true path first, and a
+negation inverts the preference it inherits. Returns nil once the path count
+would exceed `budget`.
+
+### `fast_match_positions(vector, by_signature, condition_count)` <a id="method-c-fast_match_positions"></a> <a id="fast_match_positions-class_method"></a>
+Not documented.
+
+### `fetch(record, key)` <a id="method-c-fetch"></a> <a id="fetch-class_method"></a>
+Not documented.
+
+### `generic_matches(rules, vectors)` <a id="method-c-generic_matches"></a> <a id="generic_matches-class_method"></a>
+Not documented.
+
+### `limit(limits, key, fallback)` <a id="method-c-limit"></a> <a id="limit-class_method"></a>
+Not documented.
+
+### `matches?(rule, vector)` <a id="method-c-matches-3F"></a> <a id="matches?-class_method"></a>
+A runtime observation matches a rule when every required condition value
+matches and the decision outcome matches. Conditions Ruby skipped may only
+line up with don't-care positions.
+- **@return** [Boolean]
+
+### `not_calculated(decision_id, reason)` <a id="method-c-not_calculated"></a> <a id="not_calculated-class_method"></a>
+Not documented.
+
+### `overlay(decision_id:, rules:, vectors:, reachability: = true, indexed: = false)` <a id="method-c-overlay"></a> <a id="overlay-class_method"></a>
+Not documented.
+
+### `overlay_rule(decision_id, rule, vectors, diagnostics)` <a id="method-c-overlay_rule"></a> <a id="overlay_rule-class_method"></a>
+Public compatibility wrapper: callers historically passed all vectors, so
+retain matcher filtering for direct calls.
+
+### `overlay_rule_matches(decision_id, rule, matched, diagnostics)` <a id="method-c-overlay_rule_matches"></a> <a id="overlay_rule_matches-class_method"></a>
+Not documented.
+
+### `percentage(covered, required)` <a id="method-c-percentage"></a> <a id="percentage-class_method"></a>
+Not documented.
+
+### `representable?(node, condition_count)` <a id="method-c-representable-3F"></a> <a id="representable?-class_method"></a>
+Only AND, OR, NOT, and atoms within the decision's own condition range are
+representable; anything else leaves the table uncalculated rather than
+producing a table that does not describe the decision.
+- **@return** [Boolean]
+
+### `rule(decision_id, conditions, path, index, reachability: = true, prepared_constraints: = nil)` <a id="method-c-rule"></a> <a id="rule-class_method"></a>
+rubocop:disable-next Metrics/ParameterLists
+
+### `rule_id(decision_id, values, outcome)` <a id="method-c-rule_id"></a> <a id="rule_id-class_method"></a>
+Rule identity depends only on the decision, the normalized condition vector,
+the expected outcome, and the table schema version. It never depends on a test
+name, a runtime observation, or the Minitest seed.
+
+### `signature(values, outcome)` <a id="method-c-signature"></a> <a id="signature-class_method"></a>
+Not documented.
+
+### `static_reachability(conditions, values, prepared_constraints: = nil)` <a id="method-c-static_reachability"></a> <a id="static_reachability-class_method"></a>
+Conservative static reachability: prove impossibility, or answer unknown.
+
+### `summary(decision_id:, rules:, diagnostics:, reachability_analyzed: = true)` <a id="method-c-summary"></a> <a id="summary-class_method"></a>
+Not documented.
+
+### `unavailable_reason(decision, limits)` <a id="method-c-unavailable_reason"></a> <a id="unavailable_reason-class_method"></a>
+Names why a decision carries no Boolean table, or nil when it carries one.
+
+### `unique_atom_indices?(node, seen = {})` <a id="method-c-unique_atom_indices-3F"></a> <a id="unique_atom_indices?-class_method"></a>
+- **@return** [Boolean]
+
+### `unsupported_coverage_entry()` <a id="method-c-unsupported_coverage_entry"></a> <a id="unsupported_coverage_entry-class_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/FocusedReport.md

@@ -7,9 +7,12 @@
 
 Terminal renderings grouped around conditions or tests.
 
+## Constants
+### `DECISION_TABLE_LABELS` <a id="constant-DECISION_TABLE_LABELS"></a> <a id="DECISION_TABLE_LABELS-constant"></a>
+Not documented.
+
 ## Public Instance Methods
-### `initialize(document:, view:, level:, missing_only: = false)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
-- **@raise** [ArgumentError]
+### `initialize(document:, view:, level:, missing_only: = false, coordinator: = 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/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/Loader.md

@@ -7,10 +7,6 @@
 
 Owns the process-local CRuby compilation hook when the VM exposes it.
 
-## Constants
-### `STATUS_KEYS` <a id="constant-STATUS_KEYS"></a> <a id="STATUS_KEYS-constant"></a>
-Not documented.
-
 ## Public Instance Methods
 ### `diagnostics()` <a id="method-i-diagnostics"></a> <a id="diagnostics-instance_method"></a>
 Not documented.

data/doc/Branchproof/MinitestAdapter.md

@@ -15,9 +15,6 @@ Returns the value of attribute active_adapter.
 Returns the value of attribute tests.
 
 ## Public Instance Methods
-### `capabilities()` <a id="method-i-capabilities"></a> <a id="capabilities-instance_method"></a>
-Not documented.
-
 ### `initialize(runtime:)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
 - **@return** [MinitestAdapter] a new instance of MinitestAdapter
 

data/doc/Branchproof/Report.md

@@ -11,9 +11,18 @@ Renders versioned terminal and JSON analysis reports.
 ### `CRITERION_VERSION` <a id="constant-CRITERION_VERSION"></a> <a id="CRITERION_VERSION-constant"></a>
 Not documented.
 
+### `DECISION_TABLE_LABELS` <a id="constant-DECISION_TABLE_LABELS"></a> <a id="DECISION_TABLE_LABELS-constant"></a>
+Not documented.
+
+### `DECISION_TABLE_STATUS_LABELS` <a id="constant-DECISION_TABLE_STATUS_LABELS"></a> <a id="DECISION_TABLE_STATUS_LABELS-constant"></a>
+Not documented.
+
 ### `SCHEMA_VERSION` <a id="constant-SCHEMA_VERSION"></a> <a id="SCHEMA_VERSION-constant"></a>
 Not documented.
 
+### `VIEWS` <a id="constant-VIEWS"></a> <a id="VIEWS-constant"></a>
+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>
 Not documented.
@@ -32,6 +41,15 @@ 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.
 
+### `decision_table_expected_heading(decision)` <a id="method-i-decision_table_expected_heading"></a> <a id="decision_table_expected_heading-instance_method"></a>
+Not documented.
+
+### `decision_table_reachability(rule)` <a id="method-i-decision_table_reachability"></a> <a id="decision_table_reachability-instance_method"></a>
+Not documented.
+
+### `decision_table_requirement(value)` <a id="method-i-decision_table_requirement"></a> <a id="decision_table_requirement-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,12 +2,17 @@
 
 |  |  |
 | --- | --- |
+| **Extended by** | [Branchproof::RuntimeFlow](RuntimeFlow.md) |
 | **Defined in** | lib/branchproof/runtime.rb |
 
 Process-local execution recorder. It deliberately never coerces or stores
 application values: Ruby's conditional expression is used for truthiness.
 Captures condition evaluations while preserving application values.
 
+## Constants
+### `FRAME_STATE_KEY` <a id="constant-FRAME_STATE_KEY"></a> <a id="FRAME_STATE_KEY-constant"></a>
+Not documented.
+
 ## Public Class Methods
 ### `boot(evidence:)` <a id="method-c-boot"></a> <a id="boot-class_method"></a>
 Not documented.
@@ -27,6 +32,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,9 +14,30 @@ 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.
+
+### `DECISION_TABLE_STATUSES` <a id="constant-DECISION_TABLE_STATUSES"></a> <a id="DECISION_TABLE_STATUSES-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.
 
+### `RULE_CONDITION_VALUES` <a id="constant-RULE_CONDITION_VALUES"></a> <a id="RULE_CONDITION_VALUES-constant"></a>
+Not documented.
+
+### `RULE_COVERAGE_STATUSES` <a id="constant-RULE_COVERAGE_STATUSES"></a> <a id="RULE_COVERAGE_STATUSES-constant"></a>
+Not documented.
+
+### `RULE_REACHABILITY_STATUSES` <a id="constant-RULE_REACHABILITY_STATUSES"></a> <a id="RULE_REACHABILITY_STATUSES-constant"></a>
+Not documented.
+
+### `STRICT_FLOW_SCHEMAS` <a id="constant-STRICT_FLOW_SCHEMAS"></a> <a id="STRICT_FLOW_SCHEMAS-constant"></a>
+Not documented.
+
 ### `SUPPORTED_SCHEMAS` <a id="constant-SUPPORTED_SCHEMAS"></a> <a id="SUPPORTED_SCHEMAS-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/constraints.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/decision_table.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>
@@ -16,9 +17,14 @@ Not documented.
 - [Branchproof/CLI.md](Branchproof/CLI.md)
 - [Branchproof/Comparison.md](Branchproof/Comparison.md)
 - [Branchproof/ComparisonReport.md](Branchproof/ComparisonReport.md)
+- [Branchproof/Constraints/Solver.md](Branchproof/Constraints/Solver.md)
+- [Branchproof/Constraints.md](Branchproof/Constraints.md)
 - [Branchproof/CoverageIndex.md](Branchproof/CoverageIndex.md)
+- [Branchproof/DecisionSyntax.md](Branchproof/DecisionSyntax.md)
+- [Branchproof/DecisionTable.md](Branchproof/DecisionTable.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 +37,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,50 @@
 ## [Unreleased]
 
+## [0.8.0] - 2026-09-17
+
+- Derive a reduced decision table for every supported Boolean decision from its
+  `AND`/`OR`/`NOT`/atom structure, preserving Ruby short-circuit semantics with
+  an explicit `dont_care` value instead of exhaustive Cartesian expansion.
+- Give every rule a stable identity derived from the decision, its normalized
+  condition vector, the expected outcome, and the table schema version, so
+  saved reports compare across runs, test order, and Minitest seeds.
+- Overlay the existing run's observations onto the rules, attribute covered
+  rules to their Minitest tests, and describe uncovered rules as condition-value
+  requirements. No additional test execution is performed.
+- Report Decision Table Coverage as its own criterion in the coverage ladder,
+  per decision and in aggregate, independently from MC/DC in both directions.
+- Add conservative reachability: `observed`, `unknown`, and
+  `statically_impossible` with stable reason codes. Constraint analysis version 2
+  requires safe source constraints before excluding rules, keeping arbitrary
+  comparison receivers, mutation, and unordered numeric cases unknown.
+- Exclude statically impossible rules from coverage denominators while keeping
+  them visible, and let runtime evidence withdraw an impossibility claim with a
+  `constraint_model_conflict` diagnostic.
+- Add `--view decision-tables`, which honours `--missing-only` and never lists
+  an impossible rule as a missing obligation.
+- Bound table derivation with the new `max_conditions_for_decision_table` and
+  `decision_table_rules_per_decision` limits.
+- Persist the table, rule identities, coverage, attribution, and reachability in
+  schema `1.3` reports, and distinguish rule-coverage changes from reachability
+  changes in offline comparison.
+- Enforce exact rule-limit boundaries and index runtime rule matching rather
+  than scanning all observations per rule.
+- Add `--no-reachability` to keep all generated rules as coverage obligations.
+- Align the JSON regression flag with decision-table CLI failures, report
+  analysis-version changes, and validate saved rule identities and evidence.
+- Keep uncalculated decision locations and reasons in missing-only reports;
+  label `unless` and `until` outcomes as predicate values.
+
+## [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