branchproof 0.2.0 → 0.3.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: c5027104f6aeb6181f75ccc463ef93d6cf78489ba28e8c6824308d13546a5586
-  data.tar.gz: 442f07bf0dc87e1f3ed5bcc371d130da1612afd91f69837f8869b81fdf7c95f6
+  metadata.gz: 54d2cbd08336e8e70fa291f82e821043d06572485a57c0aa500656b29500688f
+  data.tar.gz: 805857b4b676e3d3cef1627890a2ab62fb7e7cda404b43907e9b2b1db2bbedca
 SHA512:
-  metadata.gz: 707ca0fff8681d36f7a0e635513c3914ed403ddaf0e96c1ddec646574abee54daf50e60f05c16a79d2b522a7f568a09ee99da3807161dd471646291442f80323
-  data.tar.gz: 3c446a3c71dd5a89cc0f12fa77ef61ef96a339a81bffd744dad86db4d2d7044f28c34a294342b29868b2ed848be1892892d8e28eff29f4e55f9b72a4ee57be62
+  metadata.gz: 44aed1ac067e6d1f0d2a5858b1b3ba14f102805f0b16c3b63cfdb9a605fb2df26bc113a1d70c53236ce1023aa991b05ae1c600439b89cb35297134883a0b5b86
+  data.tar.gz: d003e7b90e2413d20b788f9717f6df5512611bfbd4e3b1e8a0695b55bc9d62fbbbb3c10097905653f03119c2eb30a47d098051e5e0579a58ef51c0ce5b9dbcba

data/CHANGELOG.md

@@ -1,5 +1,11 @@
 ## [Unreleased]
 
+## [0.3.0] - 2026-09-10
+
+- Add `--missing-only` to focus terminal reports on unproven conditions.
+- Explain missing observations with required truth values and comparison tests.
+- Fix incorrect `INFEASIBLE_IN_MODEL` results caused by missing source identifiers.
+
 ## [0.2.0] - 2026-09-09
 
 - Prepared the initial public-release candidate.

data/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

data/README.md

@@ -97,7 +97,7 @@ For example, running the contents of the small `decision.rb` /
 with the terminal format produces a summary like this:
 
 ```text
-Branchproof 0.2.0
+Branchproof 0.3.0
 Tests: PASSED (3 tests, 0 failed, 0 skipped)
 MC/DC: 100.0% (2/2 conditions proven)
 Analysis: COMPLETE
@@ -126,6 +126,53 @@ 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.
 
+### Find missing cases
+
+Use `--missing-only` to focus the terminal report on conditions that still
+lack independence evidence:
+
+```sh
+bundle exec mcdc analyze 'lib/**/*.rb' --missing-only
+```
+
+This keeps the overall summary and diagnostics, hides proven conditions and
+supporting-set lists, and shows missing scenarios using the source expressions.
+It works with levels 2 and 3 (the default). JSON remains the complete report;
+`--missing-only` cannot be combined with `--format json` or `--level 1`.
+
+For example, given this decision:
+
+```ruby
+content && Instruction.installed?(content)
+```
+
+Observing `[TT]` and `[F-]` proves the effect of `content`, but does not prove
+the effect of `Instruction.installed?(content)`. The missing case is `[TF]`:
+`content` must be truthy and `Instruction.installed?(content)` must be falsey,
+making the decision false. The missing condition is presented as:
+
+```text
+  Condition 1: Instruction.installed?(content)
+    NOT_PROVEN — missing observation
+      Need an observation where:
+        content is truthy
+        Instruction.installed?(content) is falsey
+        Expected decision: false [TF]
+```
+
+An existing file without the instruction block
+may produce this case; the test must reach the reported line. The report
+describes required truth values, not application inputs or guaranteed
+reachable paths. In Ruby, only `false` and `nil` are falsey; an empty string
+is truthy.
+
+`NOT_PROVEN` means analysis ran but did not find the required pair of
+observations. `NOT CALCULATED` means analysis was not available or was not
+requested; check the test status and diagnostics before adding tests.
+`Analysis: COMPLETE` means the analysis finished, not that every condition
+was proven. Missing conditions may require new tests or changes to existing
+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.

data/doc/Branchproof/Report.md

@@ -18,7 +18,7 @@ Not documented.
 ### `exit_code()` <a id="method-i-exit_code"></a> <a id="exit_code-instance_method"></a>
 Not documented.
 
-### `initialize(inventory:, evidence:, analysis:, minima:, baseline:, diagnostics:, level: = 3)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
+### `initialize(inventory:, evidence:, analysis:, minima:, baseline:, diagnostics:, level: = 3, missing_only: = false)` <a id="method-i-initialize"></a> <a id="initialize-instance_method"></a>
 - **@raise** [ArgumentError]
 - **@return** [Report] a new instance of Report
 

data/doc/CHANGELOG.md

@@ -1,5 +1,11 @@
 ## [Unreleased]
 
+## [0.3.0] - 2026-09-10
+
+- Add `--missing-only` to focus terminal reports on unproven conditions.
+- Explain missing observations with required truth values and comparison tests.
+- Fix incorrect `INFEASIBLE_IN_MODEL` results caused by missing source identifiers.
+
 ## [0.2.0] - 2026-09-09
 
 - Prepared the initial public-release candidate.

data/doc/README.md

@@ -97,7 +97,7 @@ For example, running the contents of the small `decision.rb` /
 with the terminal format produces a summary like this:
 
 ```text
-Branchproof 0.2.0
+Branchproof 0.3.0
 Tests: PASSED (3 tests, 0 failed, 0 skipped)
 MC/DC: 100.0% (2/2 conditions proven)
 Analysis: COMPLETE
@@ -126,6 +126,53 @@ 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.
 
+### Find missing cases
+
+Use `--missing-only` to focus the terminal report on conditions that still
+lack independence evidence:
+
+```sh
+bundle exec mcdc analyze 'lib/**/*.rb' --missing-only
+```
+
+This keeps the overall summary and diagnostics, hides proven conditions and
+supporting-set lists, and shows missing scenarios using the source expressions.
+It works with levels 2 and 3 (the default). JSON remains the complete report;
+`--missing-only` cannot be combined with `--format json` or `--level 1`.
+
+For example, given this decision:
+
+```ruby
+content && Instruction.installed?(content)
+```
+
+Observing `[TT]` and `[F-]` proves the effect of `content`, but does not prove
+the effect of `Instruction.installed?(content)`. The missing case is `[TF]`:
+`content` must be truthy and `Instruction.installed?(content)` must be falsey,
+making the decision false. The missing condition is presented as:
+
+```text
+  Condition 1: Instruction.installed?(content)
+    NOT_PROVEN — missing observation
+      Need an observation where:
+        content is truthy
+        Instruction.installed?(content) is falsey
+        Expected decision: false [TF]
+```
+
+An existing file without the instruction block
+may produce this case; the test must reach the reported line. The report
+describes required truth values, not application inputs or guaranteed
+reachable paths. In Ruby, only `false` and `nil` are falsey; an empty string
+is truthy.
+
+`NOT_PROVEN` means analysis ran but did not find the required pair of
+observations. `NOT CALCULATED` means analysis was not available or was not
+requested; check the test status and diagnostics before adding tests.
+`Analysis: COMPLETE` means the analysis finished, not that every condition
+was proven. Missing conditions may require new tests or changes to existing
+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.

data/lib/branchproof/analyzer.rb

@@ -181,7 +181,7 @@ module Branchproof
       end
 
       effective_mask(vector, id(decision, :id), decision[:tree])
-      vector
+      decision_source.nil? ? vector : vector.merge(source_id: decision_source)
     rescue ArgumentError
       @analysis_invalid = true
       add_diagnostic("invalid_vector", "error", id(vector, :id))

data/lib/branchproof/cli.rb

@@ -69,7 +69,7 @@ module Branchproof
       minima = options[:level] == 1 ? [] : Array(value(baseline, :minima))
       report = Report.new(inventory: inventory, evidence: value(baseline, :evidence) || evidence.snapshot,
                           analysis: analysis, minima: minima, baseline: baseline, diagnostics: diagnostics,
-                          level: options[:level])
+                          level: options[:level], missing_only: options[:missing_only])
       output_report(report, options)
       report.exit_code
     rescue ArgumentError => e
@@ -88,10 +88,12 @@ module Branchproof
       runner_args = delimiter ? args[(delimiter + 1)..] : []
       args = args[0...delimiter] if delimiter
       options = { level: 3, format: :terminal, output: nil, tests: [], source_paths: [], limits: Limits.default,
-                  runner_args: runner_args, project: nil }
+                  runner_args: runner_args, project: nil, missing_only: false }
       until args.empty?
         token = args.shift
         case token
+        when "--missing-only"
+          options[:missing_only] = true
         when "--level"
           level = Integer(args.shift.to_s, 10)
           raise ArgumentError, "level must be 1, 2, or 3" unless (1..3).cover?(level)
@@ -126,6 +128,10 @@ module Branchproof
           options[:source_paths] << token
         end
       end
+      if options[:missing_only] && (options[:format] != :terminal || options[:level] == 1)
+        raise ArgumentError, "--missing-only requires terminal format and level 2 or 3"
+      end
+
       options[:project] ||= Project.new(root: Dir.pwd, mode: "auto").to_h
       options[:source_paths] = default_sources if options[:source_paths].empty?
       options[:tests] = default_tests if options[:tests].empty?

data/lib/branchproof/report.rb

@@ -8,7 +8,7 @@ module Branchproof
     SCHEMA_VERSION = "1.0"
     CRITERION_VERSION = "masking_occurrence_v1"
 
-    def initialize(inventory:, evidence:, analysis:, minima:, baseline:, diagnostics:, level: 3)
+    def initialize(inventory:, evidence:, analysis:, minima:, baseline:, diagnostics:, level: 3, missing_only: false)
       raise ArgumentError, "level must be 1, 2, or 3" unless [1, 2, 3].include?(level.to_i)
 
       @inventory = inventory || {}
@@ -18,6 +18,7 @@ module Branchproof
       @baseline = baseline || {}
       @diagnostics = Array(diagnostics)
       @level = level.to_i
+      @missing_only = !!missing_only
     end
 
     def write(io:, format:)
@@ -64,10 +65,11 @@ module Branchproof
                "Observations: #{metrics[:completed]} completed, #{metrics[:aborted]} aborted, " \
                "#{metrics[:unattributed]} unattributed",
                "Values: T=true, F=false, -=short-circuited"]
+      lines << missing_summary_line if @missing_only
       lines << "Scope: supported decisions and conditions"
       lines << ""
-      inventory_decisions.each { |decision| render_decision(lines, decision) }
-      render_minima(lines)
+      decisions_to_render.each { |decision| render_decision(lines, decision) }
+      render_minima(lines) unless @missing_only
       unless @diagnostics.empty?
         lines << "Diagnostics:"
         @diagnostics.each { |diagnostic| lines << "  - #{value(diagnostic, :message) || value(diagnostic, :code)}" }
@@ -82,9 +84,9 @@ module Branchproof
       lines << decision_label
       lines << "  Decision: #{value(decision, :expression)}"
       lines << "  Status: #{value(decision, :support_status) || "SUPPORTED"}"
-      Array(value(decision, :conditions)).each do |condition|
+      conditions_to_render(decision).each do |condition|
         result = condition_result(decision, condition)
-        detail = condition_detail(result)
+        detail = condition_detail(decision, condition, result)
         status = if @analysis.nil? || @level == 1
                    "NOT CALCULATED"
                  else
@@ -93,7 +95,7 @@ module Branchproof
         lines << "  Condition #{value(condition, :index)}: #{value(condition, :expression)}"
         lines << "    #{status}#{detail}"
       end
-      vectors_for(decision).each do |vector|
+      vectors_to_render(decision).each do |vector|
         values = Array(value(vector, :values)).map do |item|
           if item.nil?
             "-"
@@ -169,6 +171,11 @@ module Branchproof
           [value(result, :condition_id), *Array(value(result, :canonical_pair))]
         end
       end)
+      ids.concat(Array(value(@analysis, :decisions)).flat_map do |decision|
+        Array(value(decision, :condition_results)).flat_map do |result|
+          Array(value(value(result, :constraint_result), :candidate_vectors)).map { |vector| value(vector, :id) }
+        end
+      end)
       ids = ids.compact.map(&:to_s).reject(&:empty?).uniq
       by_prefix = ids.group_by { |id| id[0, 8] }
       ids.to_h do |id|
@@ -264,24 +271,104 @@ module Branchproof
       end
     end
 
-    def condition_detail(result)
-      return "" unless result && @level == 3
+    def condition_detail(decision, _condition, result)
+      return "" unless result && (@level == 3 || @missing_only)
 
       pair = value(result, :canonical_pair)
       return " (witness #{Array(pair).map { |id| short_id(id) }.join(" + ")})" if pair
 
       constraint = value(result, :constraint_result)
       if constraint
-        constraints = Array(value(constraint, :constraints)).map { |item| item.is_a?(Hash) ? item.inspect : item.to_s }
+        constraints = readable_constraints(decision, constraint)
         detail = constraints.empty? ? value(constraint, :status) : constraints.join(", ")
         statement = value(constraint, :feasibility_statement)
         detail = [detail, statement].compact.reject(&:empty?).join("; ")
+        candidates = Array(value(constraint, :candidate_vectors))
+        existing = existing_vector_for(constraint)
+        unless candidates.empty?
+          detail_lines = [" — missing observation"]
+          candidates.each do |candidate|
+            detail_lines << "      Need an observation where:"
+            detail_lines.concat(candidate_requirements(decision, candidate).map { |item| "        #{item}" })
+            outcome = value(candidate, :outcome) ? "true" : "false"
+            detail_lines << "        Expected decision: #{outcome} [#{vector_values(candidate)}]"
+          end
+          detail_lines << "      #{statement}" unless statement.to_s.empty?
+          detail_lines << "      Compare with: #{existing_vector_context(existing)}"
+          return detail_lines.join("\n")
+        end
+        unless existing.nil?
+          owner_ids = Array(value(existing, :test_ids))
+          owners = owner_ids.first(2).map { |id| test_label(id) }
+          owners << "#{owner_ids.length - 2} more" if owner_ids.length > 2
+          owner_detail = owners.empty? ? nil : " (#{owners.join(", ")})"
+          detail = [detail, "existing observation: #{short_id(value(existing, :id))}#{owner_detail}"].compact.join("; ")
+        end
         return " (missing counterpart: #{detail})" unless detail.empty?
       end
 
       ""
     end
 
+    def readable_constraints(decision, constraint)
+      Array(value(constraint, :constraints)).filter_map do |item|
+        if item.respond_to?(:key?)
+          index = value(item, :condition_index)
+          expression = condition_expression(decision, index) || "condition #{index}"
+          required = value(item, :required)
+          required = value(item, :value) if required.nil?
+          "requires #{expression}=#{required ? "true" : "false"}"
+        else
+          item.to_s
+        end
+      end
+    end
+
+    def condition_expression(decision, index)
+      condition = Array(value(decision, :conditions)).find { |item| value(item, :index).to_i == index.to_i }
+      value(condition, :expression)
+    end
+
+    def candidate_requirements(decision, candidate)
+      Array(value(candidate, :values)).each_with_index.map do |required, index|
+        expression = condition_expression(decision, index) || "condition #{index}"
+        if required.nil?
+          "#{expression} is not evaluated (short-circuited)"
+        else
+          "#{expression} is #{required ? "truthy" : "falsey"}"
+        end
+      end
+    end
+
+    def vector_values(vector)
+      Array(value(vector, :values)).map do |item|
+        if item.nil?
+          "-"
+        elsif item
+          "T"
+        else
+          "F"
+        end
+      end.join
+    end
+
+    def existing_vector_context(existing)
+      return "no existing effective observation" unless existing
+
+      owner_ids = Array(value(existing, :test_ids))
+      owners = owner_ids.first(2).map { |id| test_label(id) }
+      owners << "#{owner_ids.length - 2} more" if owner_ids.length > 2
+      context = "[#{vector_values(existing)}] => #{value(existing, :outcome) ? "true" : "false"}"
+      owners.empty? ? context : "#{context} (#{owners.join(", ")})"
+    end
+
+    def existing_vector_for(constraint)
+      id = value(constraint, :existing_vector_id).to_s
+      return if id.empty?
+
+      vectors.find { |vector| value(vector, :id).to_s == id }
+    end
+
     def metrics
       decisions = inventory_decisions
       unsupported, supported = decisions.partition { |decision| unsupported?(decision) }
@@ -349,6 +436,50 @@ module Branchproof
       end
     end
 
+    def decisions_to_render
+      return inventory_decisions unless @missing_only
+      return [] unless analysis_available?
+
+      inventory_decisions
+        .reject { |decision| unsupported?(decision) }
+        .select { |decision| conditions_to_render(decision).any? }
+    end
+
+    def conditions_to_render(decision)
+      conditions = Array(value(decision, :conditions))
+      return conditions unless @missing_only && analysis_available?
+
+      conditions.reject { |condition| value(condition_result(decision, condition), :status).to_s.upcase == "PROVEN" }
+    end
+
+    def vectors_to_render(decision)
+      return vectors_for(decision) unless @missing_only
+
+      []
+    end
+
+    def analysis_available?
+      !@analysis.nil? && @level > 1
+    end
+
+    def analysis_complete?
+      analysis_available? && baseline_status == "PASSED" && completeness.values.all?
+    end
+
+    def missing_condition_count
+      decisions_to_render.sum { |decision| conditions_to_render(decision).length }
+    end
+
+    def missing_summary_line
+      return "Missing conditions: Cannot identify missing conditions (analysis unavailable)" unless analysis_available?
+      return "Missing conditions: Cannot identify missing conditions (analysis incomplete)" unless analysis_complete?
+      return "No eligible conditions" if metrics[:eligible_conditions].zero?
+      return "No missing conditions" if analysis_complete? && missing_condition_count.zero?
+
+      count = decisions_to_render.length
+      "Missing conditions: #{missing_condition_count} across #{count} #{count == 1 ? "decision" : "decisions"}"
+    end
+
     def analysis_for(decision)
       Array(value(@analysis, :decisions)).find do |item|
         value(item, :decision_id).to_s == value(decision, :id).to_s

data/lib/branchproof/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Branchproof
-  VERSION = "0.2.0"
+  VERSION = "0.3.0"
 end

data/sig/branchproof.rbs

@@ -102,7 +102,7 @@ module Branchproof
   class Report
     SCHEMA_VERSION: String
     CRITERION_VERSION: String
-    def initialize: (inventory: record, evidence: record, analysis: record?, minima: Array[record], baseline: record, diagnostics: Array[record]) -> void
+    def initialize: (inventory: record, evidence: record, analysis: record?, minima: Array[record], baseline: record, diagnostics: Array[record], ?level: Integer, ?missing_only: bool) -> void
     def write: (io: _WriteIO, format: Symbol | String) -> nil
     def exit_code: () -> Integer
   end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: branchproof
 version: !ruby/object:Gem::Version
-  version: 0.2.0
+  version: 0.3.0
 platform: ruby
 authors:
 - Lucian Ghinda
@@ -60,6 +60,7 @@ extra_rdoc_files: []
 files:
 - CHANGELOG.md
 - CODE_OF_CONDUCT.md
+- LICENSE
 - LICENSE.txt
 - NOTICE
 - README.md