Add router fabric roundtrip proof

Author: nshkrdotcom

build_support/weld.exs

@@ -15,6 +15,7 @@ defmodule StackLab.Build.WeldContract do
     "support/coordination_fabric_scanner",
     "support/cost_budget_scanner",
     "support/context_abi_scanner",
+    "support/router_fabric_scanner",
     "support/adaptive_control_scanner",
     "support/ai_run_lineage_scanner",
     "support/persistence_matrix_scanner",
@@ -34,6 +35,7 @@ defmodule StackLab.Build.WeldContract do
     "examples/replay_roundtrip",
     "examples/cost_roundtrip",
     "examples/context_abi_roundtrip",
+    "examples/nshkr_router_fabric_roundtrip",
     "examples/gepa_platform_roundtrip",
     "examples/trinity_platform_roundtrip",
     "examples/adaptive_control_roundtrip",

build_support/workspace_contract.exs

@@ -14,6 +14,7 @@ defmodule StackLab.Build.WorkspaceContract do
     "support/coordination_fabric_scanner",
     "support/cost_budget_scanner",
     "support/context_abi_scanner",
+    "support/router_fabric_scanner",
     "support/adaptive_control_scanner",
     "support/ai_run_lineage_scanner",
     "support/persistence_matrix_scanner",
@@ -39,6 +40,7 @@ defmodule StackLab.Build.WorkspaceContract do
     "examples/replay_roundtrip",
     "examples/cost_roundtrip",
     "examples/context_abi_roundtrip",
+    "examples/nshkr_router_fabric_roundtrip",
     "examples/toy_document_review",
     "examples/synapse_product_acceptance",
     "examples/gepa_platform_roundtrip",

docs/gn_ten_proof_matrix.md

@@ -134,6 +134,11 @@ path, and run GitHub or Linear live commands by prefixing them with
   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.
+- `nshkr_router_fabric_roundtrip`: runs the deterministic fugu router fabric
+  proof from admitted Context ABI packet through
+  `Trinity.MezzanineRouterAdapter`, Mezzanine render handoff, Jido fake model
+  invocation, AITrace bounded route/model/eval facts, AppKit projections, and
+  StackLab context/router/coordination/model 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/layout.md

@@ -28,6 +28,9 @@ The workspace is organized as:
 - `support/context_abi_scanner/`
   - Context ABI packet, authority, admission, route, render, model invocation,
     AppKit projection, tenant, and AITrace linkage checks
+- `support/router_fabric_scanner/`
+  - TRINITY router adapter, route request/decision, policy, authority,
+    allowlist, and handoff-ref checks
 - `support/adaptive_control_scanner/`
   - TRINITY trace, dataset, GEPA target, gate, promotion, rollback, stale
     rejection, AppKit projection, and receipt checks
@@ -43,6 +46,7 @@ The workspace is organized as:
   - `atom_cleanup_harness`
   - `pressure_failover_drill`
   - `context_abi_roundtrip`
+  - `nshkr_router_fabric_roundtrip`
   - `gepa_platform_roundtrip`
   - `trinity_platform_roundtrip`
   - `adaptive_control_roundtrip`

examples/nshkr_router_fabric_roundtrip/.formatter.exs

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

examples/nshkr_router_fabric_roundtrip/README.md

@@ -0,0 +1,9 @@
+# StackLab NSHKR Router Fabric Roundtrip
+
+`stack_lab_nshkr_router_fabric_roundtrip` proves the first NSHKR router MVP:
+an admitted Context ABI packet is routed through
+`Trinity.MezzanineRouterAdapter`, rendered through OuterBrain, invoked through
+the Jido fake runtime, recorded in AITrace, and projected through AppKit.
+
+The proof is deterministic and provider-free. It does not prove live-provider
+quality, distributed placement, GEPA optimization, or production persistence.

examples/nshkr_router_fabric_roundtrip/lib/mix/tasks/stack_lab.nshkr.router_fabric.roundtrip.ex

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