Phase 36: add chassis evolution proof tag

Author: nshkrdotcom

bridges/stacklab_chassis_bridge/lib/stack_lab/chassis_bridge.ex

@@ -1,6 +1,7 @@
 defmodule StackLab.ChassisBridge do
   @moduledoc "StackLab proof catalog bridge for Chassis."
 
+  alias Chassis.Evolution.Conformance.Evidence, as: EvolutionEvidence
   alias Chassis.StackLab.Bridge.RunConformance
 
   @spec run(atom() | String.t()) :: {:ok, map()} | {:error, term()}
@@ -9,13 +10,15 @@ defmodule StackLab.ChassisBridge do
   end
 
   def run(tag) when tag in ["chassis_evolution", :chassis_evolution],
-    do: {:error, {:not_implemented, :chassis_evolution_conformance}}
+    do: Chassis.Evolution.Conformance.stacklab_report()
 
   def run(tag) when tag in ["chassis_model_asset", :chassis_model_asset],
     do: {:error, {:not_implemented, :chassis_model_asset_conformance}}
 
   def run(tag), do: {:error, {:unknown_tag, tag}}
 
   @spec jsonable_report(map()) :: map()
+  def jsonable_report(%{tag: :chassis_evolution} = report), do: EvolutionEvidence.jsonable(report)
+
   def jsonable_report(report), do: RunConformance.jsonable_report(report)
 end

bridges/stacklab_chassis_bridge/mix.exs

@@ -19,6 +19,8 @@ defmodule StackLab.ChassisBridge.MixProject do
 
   defp deps do
     [
+      {:chassis_evolution_conformance,
+       path: "../../../chassis/proof/chassis_evolution_conformance"},
       {:chassis_stacklab_bridge, path: "../../../chassis/proof/chassis_stacklab_bridge"},
       {:credo, "~> 1.7", only: [:dev, :test], runtime: false},
       {:dialyxir, "~> 1.4", only: [:dev, :test], runtime: false},

bridges/stacklab_chassis_bridge/mix.lock

@@ -11,4 +11,5 @@
   "makeup_elixir": {:hex, :makeup_elixir, "1.0.1", "e928a4f984e795e41e3abd27bfc09f51db16ab8ba1aebdba2b3a575437efafc2", [:mix], [{:makeup, "~> 1.0", [hex: :makeup, repo: "hexpm", optional: false]}, {:nimble_parsec, "~> 1.2.3 or ~> 1.3", [hex: :nimble_parsec, repo: "hexpm", optional: false]}], "hexpm", "7284900d412a3e5cfd97fdaed4f5ed389b8f2b4cb49efc0eb3bd10e2febf9507"},
   "makeup_erlang": {:hex, :makeup_erlang, "1.1.0", "835f7e60792e08824cda445639555d7bf1bbbddb1b60b306e33cb6f6db24dc74", [:mix], [{:makeup, "~> 1.0", [hex: :makeup, repo: "hexpm", optional: false]}], "hexpm", "1cd6780fb1dd1a03979abaed0fe82712b0625118fd5257d3ebbf73f960c73c3c"},
   "nimble_parsec": {:hex, :nimble_parsec, "1.4.2", "8efba0122db06df95bfaa78f791344a89352ba04baedd3849593bfce4d0dc1c6", [:mix], [], "hexpm", "4b21398942dda052b403bbe1da991ccd03a053668d147d53fb8c4e0efe09c973"},
+  "telemetry": {:hex, :telemetry, "1.4.2", "a0cb522801dffb1c49fe6e30561badffc7b6d0e180db1300df759faa22062855", [:rebar3], [], "hexpm", "928f6495066506077862c0d1646609eed891a4326bee3126ba54b60af61febb1"},
 }

bridges/stacklab_chassis_bridge/test/chassis_bridge_test.exs

@@ -29,6 +29,27 @@ defmodule StackLab.ChassisBridgeTest do
     assert Enum.all?(report.proofs, &(is_map(&1.evidence) and map_size(&1.evidence) > 0))
   end
 
+  test "runs chassis evolution proof catalog with scenario evidence" do
+    assert {:ok, report} = StackLab.ChassisBridge.run(:chassis_evolution)
+
+    assert report.tag == :chassis_evolution
+    assert report.passed == 21
+    assert report.failed == 0
+    assert report.skipped == 0
+
+    names = Enum.map(report.proofs, & &1.name)
+    assert "chassis.evolution.source_level_patch_success.v1" in names
+    assert "chassis.evolution.receipt_redaction.v1" in names
+    assert "chassis.evolution.mezzanine_projections_reduced.v1" in names
+
+    source =
+      Enum.find(report.proofs, &(&1.name == "chassis.evolution.source_level_patch_success.v1"))
+
+    assert source.status == :pass
+    assert source.evidence.final_state == :committed
+    assert length(source.evidence.spans) == 16
+  end
+
   test "unknown tags fail closed instead of returning a zero-success report" do
     assert {:error, {:unknown_tag, :missing}} = StackLab.ChassisBridge.run(:missing)
   end

test/stack_lab/run_task_test.exs

@@ -30,4 +30,21 @@ defmodule StackLab.RunTaskTest do
     assert decoded["skipped"] == 0
     assert Enum.map(decoded["proofs"], & &1["name"]) == @proof_names
   end
+
+  test "stack_lab.run emits structural JSON for chassis evolution tag" do
+    output =
+      capture_io(fn ->
+        Mix.Tasks.StackLab.Run.run(["--tag", "chassis_evolution", "--json"])
+      end)
+
+    assert {:ok, decoded} = Jason.decode(output)
+    assert decoded["tag"] == "chassis_evolution"
+    assert decoded["passed"] == 21
+    assert decoded["failed"] == 0
+
+    assert Enum.any?(
+             decoded["proofs"],
+             &(&1["name"] == "chassis.evolution.source_level_patch_success.v1")
+           )
+  end
 end