branchproof 0.7.0 → 0.9.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/DefaultInstrumentation.md

@@ -0,0 +1,13 @@
+# Module Branchproof::DefaultInstrumentation <a id="module-Branchproof-DefaultInstrumentation"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/default_instrumentation.rb |
+
+Defaults stay inline in their original lexical scope. The owner decision makes
+body entry edits part of the same original AST edit tree as the parameter
+expression edits.
+
+## Public Instance Methods
+### `rewrite(unit:)` <a id="method-i-rewrite"></a> <a id="rewrite-instance_method"></a>
+Not documented.

data/doc/Branchproof/DefaultRuntime.md

@@ -0,0 +1,11 @@
+# Module Branchproof::DefaultRuntime <a id="module-Branchproof-DefaultRuntime"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/default_runtime.rb |
+
+Binding events are immediate; no pending state survives a failed default.
+
+## Public Instance Methods
+### `default_binding(decision_id, index)` <a id="method-i-default_binding"></a> <a id="default_binding-instance_method"></a>
+Not documented.

data/doc/Branchproof/DefaultSyntax.md

@@ -0,0 +1,7 @@
+# Module Branchproof::DefaultSyntax <a id="module-Branchproof-DefaultSyntax"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/default_syntax.rb |
+
+Each optional parameter has an independent supplied/defaulted obligation.

data/doc/Branchproof/ExceptionInstrumentation.md

@@ -0,0 +1,9 @@
+# Module Branchproof::ExceptionInstrumentation <a id="module-Branchproof-ExceptionInstrumentation"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/exception_instrumentation.rb |
+
+Textual edits for native rescue control flow.  The edits only add calls at
+Ruby's own protected-region and handler boundaries; exception matching, `$!`,
+retry, ensure ordering, and nonlocal transfers remain Ruby-owned.

data/doc/Branchproof/ExceptionRuntime.md

@@ -0,0 +1,27 @@
+# Module Branchproof::ExceptionRuntime <a id="module-Branchproof-ExceptionRuntime"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/exception_runtime.rb |
+
+Record native clause selection and escaping exceptions. Generated wrappers
+re-raise the same exception; nonlocal transfers remain aborted observations.
+
+## Public Instance Methods
+### `exception_enter(decision_id, unhandled_index)` <a id="method-i-exception_enter"></a> <a id="exception_enter-instance_method"></a>
+Not documented.
+
+### `exception_finish(decision_id, value)` <a id="method-i-exception_finish"></a> <a id="exception_finish-instance_method"></a>
+Not documented.
+
+### `exception_leave(decision_id)` <a id="method-i-exception_leave"></a> <a id="exception_leave-instance_method"></a>
+Not documented.
+
+### `exception_path(decision_id, index)` <a id="method-i-exception_path"></a> <a id="exception_path-instance_method"></a>
+Not documented.
+
+### `exception_unhandled(decision_id)` <a id="method-i-exception_unhandled"></a> <a id="exception_unhandled-instance_method"></a>
+Not documented.
+
+### `exception_value(decision_id, value, index)` <a id="method-i-exception_value"></a> <a id="exception_value-instance_method"></a>
+Not documented.

data/doc/Branchproof/ExceptionSyntax.md

@@ -0,0 +1,9 @@
+# Module Branchproof::ExceptionSyntax <a id="module-Branchproof-ExceptionSyntax"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/exception_syntax.rb |
+
+Replaces unsupported standalone rescue-clause records with decisions for
+Ruby's enclosing protected region.  Ruby chooses a rescue clause as part of
+executing BeginNode; a RescueNode by itself is not executable syntax.

data/doc/Branchproof/ExtendedAlternativeRuntime.md

@@ -0,0 +1,19 @@
+# Module Branchproof::ExtendedAlternativeRuntime <a id="module-Branchproof-ExtendedAlternativeRuntime"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/extended_alternative_runtime.rb |
+
+Runtime hooks for decisions whose native evaluation has a third path. Runtime
+includes this module explicitly; it is kept separate so the ordinary two-path
+helpers remain unchanged.
+
+## Public Instance Methods
+### `flow_assignment_finish(decision_id, value, default_path = nil)` <a id="method-i-flow_assignment_finish"></a> <a id="flow_assignment_finish-instance_method"></a>
+Not documented.
+
+### `flow_assignment_path(decision_id, index)` <a id="method-i-flow_assignment_path"></a> <a id="flow_assignment_path-instance_method"></a>
+Not documented.
+
+### `flow_assignment_receiver(decision_id, receiver)` <a id="method-i-flow_assignment_receiver"></a> <a id="flow_assignment_receiver-instance_method"></a>
+Not documented.

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,7 +3,7 @@
 |  |  |
 | --- | --- |
 | **Inherits** | Object |
-| **Includes** | [Branchproof::FlowInstrumentation](FlowInstrumentation.md) |
+| **Includes** | [Branchproof::DefaultInstrumentation](DefaultInstrumentation.md), [Branchproof::ExceptionInstrumentation](ExceptionInstrumentation.md), [Branchproof::FlowInstrumentation](FlowInstrumentation.md), [Branchproof::IterationInstrumentation](IterationInstrumentation.md), [Branchproof::ValueInstrumentation](ValueInstrumentation.md) |
 | **Defined in** | lib/branchproof/instrumenter.rb |
 
 Applies the smallest possible source edits around inventoried expressions. The

data/doc/Branchproof/IterationInstrumentation.md

@@ -0,0 +1,7 @@
+# Module Branchproof::IterationInstrumentation <a id="module-Branchproof-IterationInstrumentation"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/iteration_instrumentation.rb |
+
+Keep matching and iteration in the original lexical scope.

data/doc/Branchproof/IterationRuntime.md

@@ -0,0 +1,21 @@
+# Module Branchproof::IterationRuntime <a id="module-Branchproof-IterationRuntime"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/iteration_runtime.rb |
+
+Runtime support for callback based iteration, including lazy receivers whose
+callbacks execute after the constructing call has returned.
+
+## Public Instance Methods
+### `flow_iteration_begin(decision_id, receiver, alternative_count = 2)` <a id="method-i-flow_iteration_begin"></a> <a id="flow_iteration_begin-instance_method"></a>
+Not documented.
+
+### `flow_iteration_callback(decision_id, alternative_count = 2)` <a id="method-i-flow_iteration_callback"></a> <a id="flow_iteration_callback-instance_method"></a>
+rubocop:disable-next Metrics/MethodLength
+
+### `flow_iteration_finish(decision_id, value, default_path = nil)` <a id="method-i-flow_iteration_finish"></a> <a id="flow_iteration_finish-instance_method"></a>
+Not documented.
+
+### `flow_iteration_leave(decision_id)` <a id="method-i-flow_iteration_leave"></a> <a id="flow_iteration_leave-instance_method"></a>
+Not documented.

data/doc/Branchproof/IterationSyntax.md

@@ -0,0 +1,11 @@
+# Module Branchproof::IterationSyntax <a id="module-Branchproof-IterationSyntax"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/iteration_syntax.rb |
+
+Observe entry into source-visible callback bodies, not library internals.
+
+## Constants
+### `ITERATORS` <a id="constant-ITERATORS"></a> <a id="ITERATORS-constant"></a>
+Not documented.

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,13 +2,17 @@
 
 |  |  |
 | --- | --- |
-| **Extended by** | [Branchproof::RuntimeFlow](RuntimeFlow.md) |
+| **Extended by** | [Branchproof::DefaultRuntime](DefaultRuntime.md), [Branchproof::ExceptionRuntime](ExceptionRuntime.md), [Branchproof::ExtendedAlternativeRuntime](ExtendedAlternativeRuntime.md), [Branchproof::IterationRuntime](IterationRuntime.md), [Branchproof::RuntimeFlow](RuntimeFlow.md), [Branchproof::ValueRuntime](ValueRuntime.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.
@@ -19,21 +23,66 @@ Not documented.
 ### `context(test_id:, phase:)` <a id="method-c-context"></a> <a id="context-class_method"></a>
 Not documented.
 
+### `default_binding(decision_id, index)` <a id="method-c-default_binding"></a> <a id="default_binding-class_method"></a>
+Not documented.
+
 ### `diagnostics()` <a id="method-c-diagnostics"></a> <a id="diagnostics-class_method"></a>
 Not documented.
 
+### `dispatch_path(decision_id, value, raised)` <a id="method-c-dispatch_path"></a> <a id="dispatch_path-class_method"></a>
+Not documented.
+
 ### `enter(decision_id)` <a id="method-c-enter"></a> <a id="enter-class_method"></a>
 Not documented.
 
+### `exception_enter(decision_id, unhandled_index)` <a id="method-c-exception_enter"></a> <a id="exception_enter-class_method"></a>
+Not documented.
+
+### `exception_finish(decision_id, value)` <a id="method-c-exception_finish"></a> <a id="exception_finish-class_method"></a>
+Not documented.
+
+### `exception_leave(decision_id)` <a id="method-c-exception_leave"></a> <a id="exception_leave-class_method"></a>
+Not documented.
+
+### `exception_path(decision_id, index)` <a id="method-c-exception_path"></a> <a id="exception_path-class_method"></a>
+Not documented.
+
+### `exception_unhandled(decision_id)` <a id="method-c-exception_unhandled"></a> <a id="exception_unhandled-class_method"></a>
+Not documented.
+
+### `exception_value(decision_id, value, index)` <a id="method-c-exception_value"></a> <a id="exception_value-class_method"></a>
+Not documented.
+
 ### `finish(decision_id, value)` <a id="method-c-finish"></a> <a id="finish-class_method"></a>
 Not documented.
 
+### `flow_assignment_finish(decision_id, value, default_path = nil)` <a id="method-c-flow_assignment_finish"></a> <a id="flow_assignment_finish-class_method"></a>
+Not documented.
+
+### `flow_assignment_path(decision_id, index)` <a id="method-c-flow_assignment_path"></a> <a id="flow_assignment_path-class_method"></a>
+Not documented.
+
+### `flow_assignment_receiver(decision_id, receiver)` <a id="method-c-flow_assignment_receiver"></a> <a id="flow_assignment_receiver-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_iteration_begin(decision_id, receiver, alternative_count = 2)` <a id="method-c-flow_iteration_begin"></a> <a id="flow_iteration_begin-class_method"></a>
+Not documented.
+
+### `flow_iteration_callback(decision_id, alternative_count = 2)` <a id="method-c-flow_iteration_callback"></a> <a id="flow_iteration_callback-class_method"></a>
+rubocop:disable-next Metrics/MethodLength
+
+### `flow_iteration_finish(decision_id, value, default_path = nil)` <a id="method-c-flow_iteration_finish"></a> <a id="flow_iteration_finish-class_method"></a>
+Not documented.
+
+### `flow_iteration_leave(decision_id)` <a id="method-c-flow_iteration_leave"></a> <a id="flow_iteration_leave-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.
 
@@ -52,5 +101,15 @@ Not documented.
 ### `register_test(test:)` <a id="method-c-register_test"></a> <a id="register_test-class_method"></a>
 Not documented.
 
+### `set_alternative_count(decision_id, count)` <a id="method-c-set_alternative_count"></a> <a id="set_alternative_count-class_method"></a>
+rubocop:enable Style/CaseEquality, Metrics/CyclomaticComplexity,
+Metrics/PerceivedComplexity
+
 ### `snapshot()` <a id="method-c-snapshot"></a> <a id="snapshot-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,
+Metrics/PerceivedComplexity -- domain dispatch mirrors the observable value
+contract.

data/doc/Branchproof/SavedReport.md

@@ -17,12 +17,27 @@ 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,7 +3,7 @@
 |  |  |
 | --- | --- |
 | **Inherits** | Object |
-| **Includes** | [Branchproof::DecisionSyntax](DecisionSyntax.md) |
+| **Includes** | [Branchproof::DecisionSyntax](DecisionSyntax.md), [Branchproof::DefaultSyntax](DefaultSyntax.md), [Branchproof::ExceptionSyntax](ExceptionSyntax.md), [Branchproof::IterationSyntax](IterationSyntax.md), [Branchproof::ValueSyntax](ValueSyntax.md) |
 | **Defined in** | lib/branchproof/source.rb |
 
 Inventories supported condition and decision occurrences from Ruby files.
@@ -22,3 +22,9 @@ Returns the value of attribute root.
 
 ### `inventory(paths:)` <a id="method-i-inventory"></a> <a id="inventory-instance_method"></a>
 - **@raise** [ArgumentError]
+
+### `value_decisions_for(program, bytes, source_id, nodes: = nil, occupied_ranges: = {}, file_reasons: = [], encoding: = "UTF-8")` <a id="method-i-value_decisions_for"></a> <a id="value_decisions_for-instance_method"></a>
+<code>nodes:</code> is supplied by Source's fused AST walk. It remains
+optional for the standalone discovery API used by focused syntax tests.
+rubocop:disable-next Metrics/MethodLength, Metrics/ParameterLists -- source
+seam mirrors Source#decisions_for.

data/doc/Branchproof/ValueInstrumentation.md

@@ -0,0 +1,7 @@
+# Module Branchproof::ValueInstrumentation <a id="module-Branchproof-ValueInstrumentation"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/value_instrumentation.rb |
+
+Source rewrite for value observations; it preserves the wrapped value.

data/doc/Branchproof/ValueRuntime.md

@@ -0,0 +1,26 @@
+# Module Branchproof::ValueRuntime <a id="module-Branchproof-ValueRuntime"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/value_runtime.rb |
+
+Runtime mapping for value observations.
+
+## Public Class Methods
+### `comparison_index(value)` <a id="method-c-comparison_index"></a> <a id="comparison_index-class_method"></a>
+rubocop:disable Style/CaseEquality, Metrics/CyclomaticComplexity,
+Metrics/PerceivedComplexity
+
+## Public Instance Methods
+### `dispatch_path(decision_id, value, raised)` <a id="method-i-dispatch_path"></a> <a id="dispatch_path-instance_method"></a>
+Not documented.
+
+### `set_alternative_count(decision_id, count)` <a id="method-i-set_alternative_count"></a> <a id="set_alternative_count-instance_method"></a>
+rubocop:enable Style/CaseEquality, Metrics/CyclomaticComplexity,
+Metrics/PerceivedComplexity
+
+### `value_path(decision_id, value, domain)` <a id="method-i-value_path"></a> <a id="value_path-instance_method"></a>
+rubocop:disable-next Metrics/MethodLength -- trace state branches are
+explicit. rubocop:disable-next Metrics/AbcSize, Metrics/CyclomaticComplexity,
+Metrics/PerceivedComplexity -- domain dispatch mirrors the observable value
+contract.

data/doc/Branchproof/ValueSyntax.md

@@ -0,0 +1,26 @@
+# Module Branchproof::ValueSyntax <a id="module-Branchproof-ValueSyntax"></a>
+
+|  |  |
+| --- | --- |
+| **Defined in** | lib/branchproof/value_syntax.rb |
+
+Inventory for expressions whose result is itself the observable value. This
+deliberately excludes control-flow predicates already owned by Source.
+
+## Constants
+### `BOOLEAN_OPERATORS` <a id="constant-BOOLEAN_OPERATORS"></a> <a id="BOOLEAN_OPERATORS-constant"></a>
+Not documented.
+
+### `DISPATCH_METHODS` <a id="constant-DISPATCH_METHODS"></a> <a id="DISPATCH_METHODS-constant"></a>
+Not documented.
+
+## Public Instance Methods
+### `additional_decisions_for(program, bytes, source_id, file_reasons, encoding, decisions:, collected:)` <a id="method-i-additional_decisions_for"></a> <a id="additional_decisions_for-instance_method"></a>
+rubocop:disable-next Metrics/ParameterLists -- source seam mirrors
+Source#decisions_for.
+
+### `value_decisions_for(program, bytes, source_id, nodes: = nil, occupied_ranges: = {}, file_reasons: = [], encoding: = "UTF-8")` <a id="method-i-value_decisions_for"></a> <a id="value_decisions_for-instance_method"></a>
+<code>nodes:</code> is supplied by Source's fused AST walk. It remains
+optional for the standalone discovery API used by focused syntax tests.
+rubocop:disable-next Metrics/MethodLength, Metrics/ParameterLists -- source
+seam mirrors Source#decisions_for.