branchproof 0.4.0 → 0.5.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: a76f20e6504affb4e614eeca901b0ef515f8bbb0785a641cf437263cac2df418
-  data.tar.gz: 87373206990831eeba3c1a2317049a4679343b4e4770015fb3e322710c7035e9
+  metadata.gz: c5b31682254d1c9db4be1d61e11743be038c65f859c730be05d1acae138e673c
+  data.tar.gz: 59a6f30a1586c0783283f32e16d1ed5626f702f3ec152ec15dfe271cfbc0c0b1
 SHA512:
-  metadata.gz: 97b1aca56ec2e2ed60f683e7647ce91ec85f3b8a2bbe457cf6844b0bd7db9b6117a126bce8ec74f04e4805dc147beef6b58fa003f74d73bd6e18884973115833
-  data.tar.gz: 1aac59c7cc767f9ef805cdcfecbe8e5e6628e25ea09cc8d862b32b0518f9aad89f6f8204b69d4183c75af1938e94a61e3ba980f6fa396bbff542b464bf371896
+  metadata.gz: 061d18741787eaeb57f5f1ec90a5e68d658fa8d9344fee52ecfa54fd70a69fcc909affe4890785031403a46379c90e11ac8a63c01766bd8477e2d7963ca14172
+  data.tar.gz: 144e5b02c3a380133015402e9ad2b47b52bc3a4d624c2f13728015159cd7ec6287fe7b3d1f167fb2ce745b3d953d5f271628a740c0912ae36af3fa7f72e13fb9

data/CHANGELOG.md

@@ -1,5 +1,12 @@
 ## [Unreleased]
 
+## [0.5.0] - 2026-09-10
+
+- Show source filenames beside diagnostics in decision, condition, and test
+  views, including reports rendered from saved JSON.
+- Explain when a selected file has no supported conditions to instrument and
+  include unsupported syntax reasons when its decisions cannot be instrumented.
+
 ## [0.4.0] - 2026-09-10
 
 - Added `branchproof` as the primary CLI command while retaining `mcdc` as a

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.4.0
+Branchproof 0.5.0
 Tests: PASSED (3 tests, 0 failed, 0 skipped)
 MC/DC: 100.0% (2/2 conditions proven)
 Analysis: COMPLETE

data/doc/Branchproof/Report.md

@@ -22,6 +22,9 @@ Not documented.
 ### `condition_explanation(decision_id:, condition_id:)` <a id="method-i-condition_explanation"></a> <a id="condition_explanation-instance_method"></a>
 Shares the existing missing-case wording with focused terminal views.
 
+### `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.
+
 ### `exit_code()` <a id="method-i-exit_code"></a> <a id="exit_code-instance_method"></a>
 Not documented.
 

data/doc/CHANGELOG.md

@@ -1,5 +1,12 @@
 ## [Unreleased]
 
+## [0.5.0] - 2026-09-10
+
+- Show source filenames beside diagnostics in decision, condition, and test
+  views, including reports rendered from saved JSON.
+- Explain when a selected file has no supported conditions to instrument and
+  include unsupported syntax reasons when its decisions cannot be instrumented.
+
 ## [0.4.0] - 2026-09-10
 
 - Added `branchproof` as the primary CLI command while retaining `mcdc` as a

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.4.0
+Branchproof 0.5.0
 Tests: PASSED (3 tests, 0 failed, 0 skipped)
 MC/DC: 100.0% (2/2 conditions proven)
 Analysis: COMPLETE

data/lib/branchproof/focused_report.rb

@@ -38,7 +38,7 @@ module Branchproof
       render_unowned(lines)
       render_unsupported(lines)
       Array(fetch(@document, :diagnostics)).each do |diagnostic|
-        lines << "Diagnostic: #{fetch(diagnostic, :message) || fetch(diagnostic, :code)}"
+        lines << "Diagnostic: #{@coordinator.diagnostic_message(diagnostic)}"
       end
       lines.join("\n") << "\n"
     end

data/lib/branchproof/loader.rb

@@ -55,7 +55,7 @@ module Branchproof
       end
       unless rewritten[:changed]
         if Array(rewritten[:diagnostics]).empty?
-          add_diagnostic("not_instrumented", "selected source had no safe edits", unit[:source_id],
+          add_diagnostic("not_instrumented", unchanged_reason(unit), unit[:source_id],
                          severity: "info")
         end
         return nil
@@ -80,6 +80,14 @@ module Branchproof
 
     private
 
+    def unchanged_reason(unit)
+      decisions = Array(unit[:decisions])
+      reasons = decisions.flat_map { |decision| Array(decision[:support_reasons]) }.uniq
+      return "conditions cannot be instrumented: #{reasons.join(", ")}" unless reasons.empty?
+
+      "no supported conditions to instrument"
+    end
+
     def hook_supported?
       defined?(RubyVM::InstructionSequence) && RubyVM::InstructionSequence.respond_to?(:compile)
     end

data/lib/branchproof/report.rb

@@ -58,6 +58,18 @@ module Branchproof
       condition_detail(decision, condition, condition_result(decision, condition))
     end
 
+    # Formats source context consistently in live and saved terminal views.
+    def diagnostic_message(diagnostic)
+      message = value(diagnostic, :message) || value(diagnostic, :code)
+      source_id = value(diagnostic, :source_id)
+      return message unless source_id
+
+      source = source_for(diagnostic)
+      path = value(source, :relative_path) || source_id
+      prefix = %w[not_instrumented unsupported_source].include?(value(diagnostic, :code).to_s) ? "Skipped " : ""
+      "#{prefix}#{path}: #{message}"
+    end
+
     def exit_code
       return 2 unless usage_valid?
 
@@ -110,7 +122,7 @@ module Branchproof
       render_minima(lines) unless @missing_only
       unless @diagnostics.empty?
         lines << "Diagnostics:"
-        @diagnostics.each { |diagnostic| lines << "  - #{value(diagnostic, :message) || value(diagnostic, :code)}" }
+        @diagnostics.each { |diagnostic| lines << "  - #{diagnostic_message(diagnostic)}" }
       end
       lines.join("\n") << "\n"
     end

data/lib/branchproof/version.rb

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

data/sig/branchproof.rbs

@@ -105,6 +105,7 @@ module Branchproof
     CRITERION_VERSION: String
     def initialize: (inventory: document, evidence: document, analysis: document?, minima: Array[document], baseline: document, diagnostics: Array[document], ?level: Integer, ?missing_only: bool, ?view: Symbol, ?run_metadata: document, ?saved_document: document?) -> void
     def self.from_document: (document: document, ?level: Integer?, ?view: Symbol, ?missing_only: bool) -> Report
+    def diagnostic_message: (Hash[Symbol | String, untyped] diagnostic) -> String
     def condition_explanation: (decision_id: String, condition_id: String) -> String
     def write: (io: _WriteIO, format: Symbol | String) -> nil
     def exit_code: () -> Integer

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: branchproof
 version: !ruby/object:Gem::Version
-  version: 0.4.0
+  version: 0.5.0
 platform: ruby
 authors:
 - Lucian Ghinda