Add Context ABI roundtrip proof

Author: nshkrdotcom

.blitz/test_state_v1/indexes/task_states.ndjson

@@ -14,6 +14,7 @@ defmodule StackLab.Build.WeldContract do
     "support/optimization_fabric_scanner",
     "support/coordination_fabric_scanner",
     "support/cost_budget_scanner",
+    "support/context_abi_scanner",
     "support/adaptive_control_scanner",
     "support/ai_run_lineage_scanner",
     "support/persistence_matrix_scanner",
@@ -32,6 +33,7 @@ defmodule StackLab.Build.WeldContract do
     "examples/guardrail_roundtrip",
     "examples/replay_roundtrip",
     "examples/cost_roundtrip",
+    "examples/context_abi_roundtrip",
     "examples/gepa_platform_roundtrip",
     "examples/trinity_platform_roundtrip",
     "examples/adaptive_control_roundtrip",

build_support/weld.exs

@@ -13,6 +13,7 @@ defmodule StackLab.Build.WorkspaceContract do
     "support/optimization_fabric_scanner",
     "support/coordination_fabric_scanner",
     "support/cost_budget_scanner",
+    "support/context_abi_scanner",
     "support/adaptive_control_scanner",
     "support/ai_run_lineage_scanner",
     "support/persistence_matrix_scanner",
@@ -37,6 +38,7 @@ defmodule StackLab.Build.WorkspaceContract do
     "examples/guardrail_roundtrip",
     "examples/replay_roundtrip",
     "examples/cost_roundtrip",
+    "examples/context_abi_roundtrip",
     "examples/toy_document_review",
     "examples/synapse_product_acceptance",
     "examples/gepa_platform_roundtrip",

build_support/workspace_contract.exs

@@ -45,7 +45,7 @@ not claim authoritative audit truth or production deployment proof.
 | 000 repo contracts | docs + repo owners | documentation complete | copy reviewed repo-agent instructions into repo roots |
 | 100 development process | `stack_lab`, `AITrace` | StackLab development loop and local trace fixtures implemented | keep trace fixtures current with proof loop changes |
 | 200 refactoring | repo owners | refactoring deletion backlog proof implemented with inventory, deletion campaign links, and retention/no-op receipts | keep inventory current and open concrete deletion campaigns when active candidates appear |
-| 300 architecture | docs + `stack_lab` | manifest, artifact ledger, and product no-bypass fixtures implemented | keep product fixture proof wired into CI and expand fixtures as product shapes change |
+| 300 architecture | docs + `stack_lab` | manifest, artifact ledger, product no-bypass, and Context ABI roundtrip fixtures implemented | keep product and Context ABI fixture proofs wired into CI and expand fixtures as product shapes change |
 | 400 agent patterns | `outer_brain`, `citadel`, `jido_integration`, `execution_plane` | connector provider-free, budget, and agent-turn runtime pattern proofs implemented | add live runtime drills only when release claims require them |
 | 500 governance | `citadel`, `mezzanine`, `jido_integration` | tenant isolation, connector secret lease, prompt-injection fixtures, and governed connector compliance export fixture implemented | add incident export and production compliance-retention fixtures only when release claims require them |
 | 600 deployment | `stack_lab`, `mezzanine`, `AITrace` | local single-node deployment rehearsal implemented | convert local rehearsals into clean-host operator drills once deploy scripts are repo-owned |
@@ -129,6 +129,11 @@ path, and run GitHub or Linear live commands by prefixing them with
   with mock route selection, role injection, provider pool readiness, verifier
   refs, handoff scope refs, AppKit coordination projections, coordination
   fabric scanner receipts, trace refs, and replay refs.
+- `context_abi_roundtrip`: runs the deterministic fugu Context ABI proof from
+  AppKit context-surface input through OuterBrain packet compile and render
+  refs, Citadel authority, Mezzanine admission/routing/render handoff, Jido
+  fake model invocation, AITrace bounded evidence, AppKit projections, and
+  StackLab context/model/cost/lineage/tenant/memory scanner receipts.
 - `cost_budget_scanner`: verifies adaptive token, provider request,
   self-hosted GPU minute, endpoint startup, eval batch, replay, optimization
   search, provider pool turn, role budget, promotion, failed retry, budget

docs/gn_ten_proof_matrix.md

@@ -25,6 +25,9 @@ The workspace is organized as:
 - `support/cost_budget_scanner/`
   - adaptive token, model, GPU, eval, replay, optimization, provider pool,
     role, promotion, retry, exhaustion, projection, span, and receipt checks
+- `support/context_abi_scanner/`
+  - Context ABI packet, authority, admission, route, render, model invocation,
+    AppKit projection, tenant, and AITrace linkage checks
 - `support/adaptive_control_scanner/`
   - TRINITY trace, dataset, GEPA target, gate, promotion, rollback, stale
     rejection, AppKit projection, and receipt checks
@@ -39,6 +42,7 @@ The workspace is organized as:
   - `restart_authority_drill`
   - `atom_cleanup_harness`
   - `pressure_failover_drill`
+  - `context_abi_roundtrip`
   - `gepa_platform_roundtrip`
   - `trinity_platform_roundtrip`
   - `adaptive_control_roundtrip`

docs/layout.md

@@ -0,0 +1,3 @@
+[
+  inputs: ["{mix,.formatter}.exs", "{lib,test}/**/*.{ex,exs}"]
+]

examples/context_abi_roundtrip/.formatter.exs

@@ -0,0 +1,12 @@
+# StackLab Context ABI Roundtrip
+
+Deterministic fugu Context ABI proof app.
+
+The roundtrip enters through AppKit, compiles a Context ABI packet in
+OuterBrain, authorizes it in Citadel, admits it in Mezzanine, renders prompt
+and provider payload refs through the Mezzanine AI execution handoff, invokes
+the Jido Integration fake runtime, emits bounded AITrace facts, and projects
+product-safe AppKit summaries.
+
+The proof is provider-free and ref-only. It does not prove live provider
+behavior, production persistence, or distributed node placement.

examples/context_abi_roundtrip/README.md

@@ -0,0 +1,29 @@
+defmodule Mix.Tasks.StackLab.ContextAbi.Roundtrip do
+  @moduledoc "Runs the deterministic Context ABI roundtrip proof."
+  @shortdoc "Runs the deterministic Context ABI roundtrip proof"
+
+  use Mix.Task
+
+  alias StackLab.Examples.ContextABIRoundtrip
+
+  @impl true
+  def run(args) do
+    Mix.Task.run("app.start")
+
+    json? = "--json" in args
+
+    case ContextABIRoundtrip.run() do
+      {:ok, receipt} when json? ->
+        Mix.shell().info(ContextABIRoundtrip.to_json!(receipt))
+
+      {:ok, receipt} ->
+        Mix.shell().info("status=#{receipt.status}")
+        Mix.shell().info("receipt_ref=#{receipt.receipt_ref}")
+        Mix.shell().info("context_packet_ref=#{receipt.context_packet_ref}")
+        Mix.shell().info("model_receipt_ref=#{receipt.model_receipt_ref}")
+
+      {:error, reason} ->
+        Mix.raise("context ABI roundtrip failed: #{inspect(reason)}")
+    end
+  end
+end