Prove GEPA adapter roundtrip

Author: nshkrdotcom

examples/gepa_platform_roundtrip/README.md

@@ -2,3 +2,8 @@
 
 Deterministic governed GEPA roundtrip proof with mock model profiles, candidate
 evaluation, comparison, promotion gates, rollback refs, and trace refs.
+
+The proof path uses `GEPAFramework` plus `GEPA.MezzanineOptimizerAdapter`
+through `Mezzanine.OptimizationEngine.propose_candidates/3`, then projects the
+candidate through `AppKit.OptimizationSurface`. `gepa_buildout` is not required
+for this canary.

examples/gepa_platform_roundtrip/lib/stack_lab/examples/gepa_platform_roundtrip.ex

@@ -9,6 +9,8 @@ defmodule StackLab.Examples.GEPAPlatformRoundtrip.Receipt do
     :optimization_fabric_scan,
     :ai_run_lineage_scan,
     :framework_projection,
+    :candidate_receipt,
+    :appkit_projection,
     :promotion_ref,
     :rollback_ref,
     :trace_refs
@@ -22,6 +24,10 @@ defmodule StackLab.Examples.GEPAPlatformRoundtrip do
   Deterministic governed GEPA platform roundtrip proof.
   """
 
+  alias AppKit.OptimizationSurface
+  alias GEPAFramework.Runtime
+  alias Mezzanine.AIExecution.RuntimeDeps
+  alias Mezzanine.OptimizationEngine
   alias StackLab.AIRunLineageScanner
   alias StackLab.Examples.GEPAPlatformRoundtrip.Receipt
   alias StackLab.ModelInferenceScanner
@@ -31,7 +37,15 @@ defmodule StackLab.Examples.GEPAPlatformRoundtrip do
 
   @spec run() :: {:ok, Receipt.t()} | {:error, term()}
   def run do
-    with {:ok, buildout_result} <- GEPABuildout.run_domain_task(buildout_input()),
+    with {:ok, framework_result} <- Runtime.run(framework_config(), examples: example_refs()),
+         {:ok, [candidate_receipt]} <-
+           OptimizationEngine.propose_candidates(optimization_spec(), runtime_deps(),
+             examples: example_refs()
+           ),
+         {:ok, appkit_projection} <-
+           OptimizationSurface.candidate_projection(
+             appkit_candidate_projection(candidate_receipt)
+           ),
          {:ok, model_scan} <- ModelInferenceScanner.scan(model_scan_input()),
          {:ok, fabric_scan} <- OptimizationFabricScanner.scan(fabric_scan_input()),
          {:ok, lineage_scan} <- AIRunLineageScanner.scan(lineage_scan_input()) do
@@ -40,24 +54,104 @@ defmodule StackLab.Examples.GEPAPlatformRoundtrip do
          receipt_ref: "gepa-platform-roundtrip://phase-8/mock",
          fixture_refs: @fixture_refs,
          status: status([model_scan, fabric_scan, lineage_scan]),
-         provider_dependency?: buildout_result.framework_result.provider_dependency?,
+         provider_dependency?: framework_result.provider_dependency?,
          model_inference_scan: model_scan,
          optimization_fabric_scan: fabric_scan,
          ai_run_lineage_scan: lineage_scan,
-         framework_projection: buildout_result.projection,
+         framework_projection: framework_projection(framework_result),
+         candidate_receipt: candidate_receipt,
+         appkit_projection: appkit_projection,
          promotion_ref: "promotion://gepa/candidate",
          rollback_ref: "rollback://gepa/candidate",
          trace_refs: ["trace://gepa/roundtrip", "trace://candidate/eval"]
        }}
     end
   end
 
-  defp buildout_input do
+  defp runtime_deps do
+    %RuntimeDeps{optimizer_adapter: GEPA.MezzanineOptimizerAdapter}
+  end
+
+  defp example_refs, do: ["example://gepa/phase-13/1", "example://gepa/phase-13/2"]
+
+  defp framework_config do
+    %{
+      runtime_ref: "run:gepa:phase13",
+      task: %{
+        task_ref: "target://gepa/role-worker",
+        dataset_ref: "dataset://gepa/phase-13"
+      },
+      components: [
+        %{
+          component_ref: "component:gepa:mezzanine:1",
+          kind: :component,
+          content_ref: "prompt-artifact://gepa/instruction/v1"
+        }
+      ],
+      evaluator: %{
+        evaluator_ref: "eval-suite://gepa/phase-13",
+        objective_refs: ["eval-suite://gepa/phase-13"]
+      },
+      proposer: %{
+        proposer_ref: "proposer:gepa:mezzanine",
+        strategy: :deterministic_reflection
+      },
+      merge: %{
+        merge_ref: "merge:gepa:disabled",
+        strategy: :disabled
+      },
+      tracing: %{trace_refs: ["trace://gepa/roundtrip"]},
+      persistence: %{profile: :memory_ephemeral}
+    }
+  end
+
+  defp optimization_spec do
+    %{
+      run_ref: "optimization-run://gepa/phase-13",
+      tenant_ref: "tenant://phase-13",
+      authority_ref: "authority://citadel/optimization/promotion",
+      target_ref: "target://gepa/role-worker",
+      framework_run_ref: "run:gepa:phase13",
+      checkpoint_ref: "checkpoint://gepa/memory",
+      budget_ref: "budget://optimization",
+      eval_suite_ref: "eval-suite://gepa/phase-13",
+      replay_bundle_ref: "replay-bundle://gepa/phase-13",
+      trace_ref: "trace://gepa/roundtrip",
+      memory_ref_set: ["memory://gepa/promoted/context"],
+      prompt_ref_set: ["prompt-artifact://gepa/instruction/v1"],
+      context_budget_ref: "context-packet://gepa/phase-13",
+      guardrail_ref_set: ["guardrail://gepa/input", "guardrail://gepa/output"],
+      cost_budget_ref_set: ["cost://optimization"],
+      drift_ref_set: ["drift://gepa/window"],
+      persistence_ref_set: ["persistence://gepa/memory-ephemeral"],
+      promotion_ref_set: ["promotion://gepa/candidate"],
+      rollback_ref_set: ["rollback://gepa/candidate"]
+    }
+  end
+
+  defp framework_projection(framework_result) do
+    %{
+      task_ref: "target://gepa/role-worker",
+      run_ref: framework_result.run_ref,
+      candidate_refs: framework_result.candidate_refs,
+      best_candidate_ref: framework_result.best_candidate_ref,
+      checkpoint: GEPAFramework.Persistence.to_projection(framework_result.checkpoint),
+      trace_refs: framework_result.trace_refs
+    }
+  end
+
+  defp appkit_candidate_projection(candidate_receipt) do
     %{
-      task_ref: "task:gepa:phase-8",
-      dataset_ref: "dataset://gepa/phase-8",
-      example_refs: ["example://gepa/phase-8/1", "example://gepa/phase-8/2"],
-      trace_ref: "trace://gepa/roundtrip"
+      candidate_ref: candidate_receipt.candidate_ref,
+      run_ref: candidate_receipt.gepa_run_ref,
+      lineage_refs: candidate_receipt.lineage_refs,
+      score_refs: [candidate_receipt.objective_score_ref],
+      eval_refs: candidate_receipt.eval_refs,
+      replay_refs: ["replay-bundle://gepa/phase-13"],
+      budget_refs: ["budget://optimization"],
+      trace_refs: [candidate_receipt.trace_ref],
+      promotion_refs: candidate_receipt.promotion_refs,
+      rollback_refs: candidate_receipt.rollback_refs
     }
   end
 
@@ -85,7 +179,9 @@ defmodule StackLab.Examples.GEPAPlatformRoundtrip do
       optimization_facts: [
         %{
           candidate_lineage_refs: ["lineage://gepa/candidate"],
-          eval_dataset_refs: ["dataset://gepa/phase-8"],
+          context_packet_refs: ["context-packet://gepa/phase-13"],
+          route_decision_refs: ["target://gepa/role-worker"],
+          eval_dataset_refs: ["eval-suite://gepa/phase-13"],
           proposer_model_ref: "model-profile://mock/proposer",
           promotion_gate_refs: [
             "gate://eval",
@@ -96,7 +192,10 @@ defmodule StackLab.Examples.GEPAPlatformRoundtrip do
             "gate://canary",
             "gate://human-approval"
           ],
+          citadel_authority_refs: ["authority://citadel/optimization/promotion"],
+          appkit_projection_refs: ["appkit://optimization/candidate"],
           budget_refs: ["budget://optimization"],
+          cost_refs: ["cost://optimization"],
           trace_refs: ["trace://candidate/eval"],
           trace_redaction: :redacted,
           promotion_refs: ["promotion://gepa/candidate"],

examples/gepa_platform_roundtrip/mix.exs

@@ -25,7 +25,8 @@ defmodule StackLab.GEPAPlatformRoundtrip.MixProject do
   defp deps do
     [
       {:gepa_framework, path: "../../../gepa_framework"},
-      {:gepa_buildout, path: "../../../gepa_buildout"},
+      {:mezzanine_optimization_engine, path: "../../../mezzanine/core/optimization_engine"},
+      {:app_kit_optimization_surface, path: "../../../app_kit/core/optimization_surface"},
       {:stack_lab_model_inference_scanner, path: "../../support/model_inference_scanner"},
       {:stack_lab_optimization_fabric_scanner, path: "../../support/optimization_fabric_scanner"},
       {:stack_lab_ai_run_lineage_scanner, path: "../../support/ai_run_lineage_scanner"},

examples/gepa_platform_roundtrip/mix.lock

@@ -5,8 +5,10 @@
   "ex_doc": {:hex, :ex_doc, "0.40.1", "67542e4b6dde74811cfd580e2c0149b78010fd13001fda7cfeb2b2c2ffb1344d", [:mix], [{:earmark_parser, "~> 1.4.44", [hex: :earmark_parser, repo: "hexpm", optional: false]}, {:makeup_c, ">= 0.1.0", [hex: :makeup_c, repo: "hexpm", optional: true]}, {:makeup_elixir, "~> 0.14 or ~> 1.0", [hex: :makeup_elixir, repo: "hexpm", optional: false]}, {:makeup_erlang, "~> 0.1 or ~> 1.0", [hex: :makeup_erlang, repo: "hexpm", optional: false]}, {:makeup_html, ">= 0.1.0", [hex: :makeup_html, repo: "hexpm", optional: true]}], "hexpm", "bcef0e2d360d93ac19f01a85d58f91752d930c0a30e2681145feea6bd3516e00"},
   "file_system": {:hex, :file_system, "1.1.1", "31864f4685b0148f25bd3fbef2b1228457c0c89024ad67f7a81a3ffbc0bbad3a", [:mix], [], "hexpm", "7a15ff97dfe526aeefb090a7a9d3d03aa907e100e262a0f8f7746b78f8f87a5d"},
   "jason": {:hex, :jason, "1.4.5", "2e3a008590b0b8d7388c20293e9dcc9cf3e5d642fd2a114e4cbbb52e595d940a", [:mix], [{:decimal, "~> 1.0 or ~> 2.0 or ~> 3.0", [hex: :decimal, repo: "hexpm", optional: true]}], "hexpm", "b0c823996102bcd0239b3c2444eb00409b72f6a140c1950bc8b457d836b30684"},
+  "jcs": {:hex, :jcs, "0.2.0", "e0524c23b576e8247f9f5f09d1b82cb3f92c7b132932b82d5d656461831c6c99", [:mix], [{:jason, "~> 1.4", [hex: :jason, repo: "hexpm", optional: false]}], "hexpm", "f52e86571f56fab695682bf0ab7fd697768acb20de16b30809e9654d1ec1c9dd"},
   "makeup": {:hex, :makeup, "1.2.1", "e90ac1c65589ef354378def3ba19d401e739ee7ee06fb47f94c687016e3713d1", [:mix], [{:nimble_parsec, "~> 1.4", [hex: :nimble_parsec, repo: "hexpm", optional: false]}], "hexpm", "d36484867b0bae0fea568d10131197a4c2e47056a6fbe84922bf6ba71c8d17ce"},
   "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.0.3", "4252d5d4098da7415c390e847c814bad3764c94a814a0b4245176215615e1035", [:mix], [{:makeup, "~> 1.0", [hex: :makeup, repo: "hexpm", optional: false]}], "hexpm", "953297c02582a33411ac6208f2c6e55f0e870df7f80da724ed613f10e6706afd"},
   "nimble_parsec": {:hex, :nimble_parsec, "1.4.2", "8efba0122db06df95bfaa78f791344a89352ba04baedd3849593bfce4d0dc1c6", [:mix], [], "hexpm", "4b21398942dda052b403bbe1da991ccd03a053668d147d53fb8c4e0efe09c973"},
+  "telemetry": {:hex, :telemetry, "1.4.2", "a0cb522801dffb1c49fe6e30561badffc7b6d0e180db1300df759faa22062855", [:rebar3], [], "hexpm", "928f6495066506077862c0d1646609eed891a4326bee3126ba54b60af61febb1"},
 }

examples/gepa_platform_roundtrip/test/stack_lab/examples/gepa_platform_roundtrip_test.exs

@@ -14,7 +14,14 @@ defmodule StackLab.Examples.GEPAPlatformRoundtripTest do
     assert receipt.ai_run_lineage_scan.status == :pass
 
     assert receipt.framework_projection.best_candidate_ref ==
-             "candidate:component:buildout:instruction:v1"
+             "candidate:component:gepa:mezzanine:1"
+
+    assert receipt.candidate_receipt.candidate_ref ==
+             receipt.framework_projection.best_candidate_ref
+
+    assert receipt.candidate_receipt.context_packet_ref == "context-packet://gepa/phase-13"
+    assert receipt.candidate_receipt.route_decision_ref == "target://gepa/role-worker"
+    assert receipt.appkit_projection.candidate_ref == receipt.candidate_receipt.candidate_ref
 
     assert receipt.promotion_ref == "promotion://gepa/candidate"
     assert receipt.rollback_ref == "rollback://gepa/candidate"

support/optimization_fabric_scanner/lib/stack_lab/optimization_fabric_scanner.ex

@@ -32,10 +32,15 @@ defmodule StackLab.OptimizationFabricScanner do
   @scanner_ref "stack-lab.optimization-fabric-scanner.v1"
   @rules [
     :candidate_lineage_refs,
+    :context_packet_refs,
+    :route_decision_refs,
     :eval_dataset_refs,
     :proposer_model_ref,
     :promotion_gate_refs,
+    :citadel_authority_refs,
+    :appkit_projection_refs,
     :budget_refs,
+    :cost_refs,
     :trace_refs,
     :promotion_refs,
     :rollback_refs,

support/optimization_fabric_scanner/test/stack_lab/optimization_fabric_scanner_test.exs

@@ -28,10 +28,15 @@ defmodule StackLab.OptimizationFabricScannerTest do
 
     assert Enum.map(receipt.findings, & &1.rule) == [
              :candidate_lineage_refs,
+             :context_packet_refs,
+             :route_decision_refs,
              :eval_dataset_refs,
              :proposer_model_ref,
              :promotion_gate_refs,
+             :citadel_authority_refs,
+             :appkit_projection_refs,
              :budget_refs,
+             :cost_refs,
              :trace_refs,
              :promotion_refs,
              :rollback_refs,
@@ -58,6 +63,8 @@ defmodule StackLab.OptimizationFabricScannerTest do
   defp complete_fact do
     %{
       candidate_lineage_refs: ["lineage://candidate"],
+      context_packet_refs: ["context-packet://candidate"],
+      route_decision_refs: ["route-decision://candidate"],
       eval_dataset_refs: ["dataset://eval"],
       proposer_model_ref: "model-profile://mock/proposer",
       promotion_gate_refs: [
@@ -69,7 +76,10 @@ defmodule StackLab.OptimizationFabricScannerTest do
         "gate://canary",
         "gate://human-approval"
       ],
+      citadel_authority_refs: ["authority://citadel/optimization/promotion"],
+      appkit_projection_refs: ["appkit://optimization/candidate"],
       budget_refs: ["budget://optimization"],
+      cost_refs: ["cost://optimization"],
       trace_refs: ["trace://candidate/eval"],
       trace_redaction: :redacted,
       promotion_refs: ["promotion://candidate"],