Add unified-session contract checks (U1–U3) to smoke assertions

.github/workflows/smoke-claude-on-copilot.md

@@ -33,6 +33,21 @@ timeout-minutes: 10
 sandbox:
   agent:
     id: awf
+post-steps:
+  - name: Assert unified-session contract
+    if: always()
+    uses: actions/github-script@v9.0.0
+    with:
+      script: |
+        const path = require("node:path");
+        const { sessionContractMain } = require(path.join(process.env.RUNNER_TEMP, "gh-aw/actions/smoke_model_routing_assertions.cjs"));
+        await sessionContractMain({
+          core,
+          engine: "claude",
+          expectModelInventory: true,
+          copilotInventory: true,
+          resolutionRoles: ["main"],
+        });
 ---
 
 # Smoke Test: Claude on GitHub Inference PR Summary

.github/workflows/smoke-claude-routed.md

@@ -66,6 +66,9 @@ post-steps:
           executionOutcome: process.env.SMOKE_EXECUTION,
           allowedModels: ["claude-sonnet-5"],
           mainEndpoint: "/v1/messages",
+          expectModelInventory: true,
+          copilotInventory: true,
+          resolutionRoles: [],
         });
 ---
 

.github/workflows/smoke-claude.md

@@ -151,6 +151,21 @@ safe-outputs:
 timeout-minutes: 10
 features:
   gh-aw-detection: false
+post-steps:
+  - name: Assert unified-session contract
+    if: always()
+    uses: actions/github-script@v9.0.0
+    with:
+      script: |
+        const path = require("node:path");
+        const { sessionContractMain } = require(path.join(process.env.RUNNER_TEMP, "gh-aw/actions/smoke_model_routing_assertions.cjs"));
+        await sessionContractMain({
+          core,
+          engine: "claude",
+          expectModelInventory: true,
+          copilotInventory: false,
+          resolutionRoles: ["main"],
+        });
 ---
 
 # Smoke Test: Claude Engine Validation.