branchproof 0.6.0 → 0.7.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: b5d48afceb9c6608abf5ebdb2aa6f402dd11b75f43421b49686cc49fd95641c3
-  data.tar.gz: 647789d869c3a01f1809eacc871df99e4e0f81c7d8e70ffdb27228f4fd5c797e
+  metadata.gz: c4c0c87db7babd3785baf2ea439a90ec852253e7ade2837becec235ee9ac7055
+  data.tar.gz: 29b5cd02d6ab9419343af3c9c1d49fd07a77c2487eaf2631aafbc90bafdf4296
 SHA512:
-  metadata.gz: b5f87cd4aee8588f7a86ba6a91730b7b4a787c256a0485f6dc278acbd948a5a1399669d0e2903371b28f1b7058e5339efb85fdb13d31110944e6462bdfe55b6a
-  data.tar.gz: fb81f01ba2e42014364959afcdce9c8cd218611299d8bbd27a0a9fd5ed1ce1f2d311993f834b9f960934deadab659848257010717c2bdcc6814ea01870f985e2
+  metadata.gz: bffba10f09dc43d851a79373b1e3ec8b2457179a2f69da8b8076d1f48c002f3a8f6a88e7a30f8c970c5f9960a73abbec4829dfcbee2581da61c5ff3cd1e233f4
+  data.tar.gz: c808687e23a8b27ed794d723d4a390f8296d5ade907fb6255660ac025e657530eff850d578d7d600b1177076dcf2376d577b15a4310e620cd618bf4598f626fc

data/CHANGELOG.md

@@ -1,5 +1,15 @@
 ## [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

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.
@@ -321,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
+### Supported decision forms
 
-Ordinary Ruby ternaries use the same predicate instrumentation and `&&`/`||`
-condition trees as supported `if` decisions. For example:
+Every decision has a stable `kind` and `context` in JSON. The Boolean ladder
+applies to the following forms:
 
-```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.
+| 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/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,15 @@
 ## [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

data/doc/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.
@@ -321,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
+### Supported decision forms
 
-Ordinary Ruby ternaries use the same predicate instrumentation and `&&`/`||`
-condition trees as supported `if` decisions. For example:
+Every decision has a stable `kind` and `context` in JSON. The Boolean ladder
+applies to the following forms:
 
-```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.
+| 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