@gakim-digital/dexter-bridge 0.11.4 → 0.11.6

package/README.md

@@ -47,15 +47,18 @@ Native shell, filesystem, web, and unrelated-project access are disabled for
 Framer outcome runs. Publishing is denied unless a future assignment explicitly
 authorizes it.
 
-Bridges advertise `framer-interaction-verification-v1`,
+Bridges advertise `framer-interaction-verification-v3`,
 `framer-behavior-contract-v1`, and `framer-mechanism-verification-v1` only
 when interaction work is declared as observable behavior, checked against the
 selected Framer mechanism before mutation, and verified from live canonical
-Framer nodes afterward. Repeated behavior is verified on one representative
-target before the remaining targets are changed. Declarative `hoverEffect`,
-`tapEffect`, and `appearEffect` styling uses the `native_effect` mechanism and
-is verified from the exact reflected property on each target. A failed
-representative may receive scoped `SET` repairs without unlocking fan-out.
+Framer nodes afterward. Verification is tri-state: `verified`,
+`contradicted`, or `unknown`. Unknown evidence cannot trigger a repair or
+reject a mechanism. Native navigation is verified from link and component
+control destinations instead of requiring synthetic frame events. Repeated
+behavior is verified on one declared representative target before the
+remaining targets are changed. Only a concrete contradiction may receive one
+scoped `SET` repair. Repeated unchanged evidence is bounded and exits as a
+partial result rather than looping.
 
 Project connection is handled inside Dexter and completes before the model
 starts:
@@ -196,6 +199,12 @@ DEXTER_BRIDGE_AGENT=claude-code npx @gakim-digital/dexter-bridge start
 DEXTER_BRIDGE_AGENT=codex npx @gakim-digital/dexter-bridge start
 ```
 
+The bridge discovers models from the signed-in local runtime instead of relying
+on a release-time list. Claude Code models come from the official Agent SDK's
+`supportedModels()` result, and Codex models come from every page of App
+Server's `model/list` result. The desktop bridge refreshes this catalog during
+its normal heartbeat loop; the CLI refreshes it every five minutes.
+
 Codex App Server runs planning turns as a model-only engine in a dedicated
 empty temporary workspace. For an App Builder outcome, it receives a disposable
 snapshot and workspace-write access only inside that snapshot; network, app,
@@ -307,10 +316,10 @@ Recommended release env:
 
 ```bash
 FRAMER_COMPANION_DOWNLOAD_URL=https://instawebai.com/dexter-bridge
-NEXT_PUBLIC_DEXTER_BRIDGE_VERSION=0.11.1
+NEXT_PUBLIC_DEXTER_BRIDGE_VERSION=0.11.5
 NEXT_PUBLIC_DEXTER_BRIDGE_DOWNLOAD_BASE_URL=https://instawebai.com/downloads/dexter-bridge
-NEXT_PUBLIC_DEXTER_BRIDGE_MAC_ARM64_URL=https://instawebai.com/downloads/dexter-bridge/Dexter-Bridge-0.11.1-mac-arm64.dmg
-NEXT_PUBLIC_DEXTER_BRIDGE_MAC_X64_URL=https://instawebai.com/downloads/dexter-bridge/Dexter-Bridge-0.11.1-mac-x64.dmg
-NEXT_PUBLIC_DEXTER_BRIDGE_MAC_ZIP_URL=https://instawebai.com/downloads/dexter-bridge/Dexter-Bridge-0.11.1-mac-universal.zip
-NEXT_PUBLIC_DEXTER_BRIDGE_WIN_X64_URL=https://instawebai.com/downloads/dexter-bridge/Dexter-Bridge-0.11.1-win-x64.exe
+NEXT_PUBLIC_DEXTER_BRIDGE_MAC_ARM64_URL=https://instawebai.com/downloads/dexter-bridge/Dexter-Bridge-0.11.5-mac-arm64.dmg
+NEXT_PUBLIC_DEXTER_BRIDGE_MAC_X64_URL=https://instawebai.com/downloads/dexter-bridge/Dexter-Bridge-0.11.5-mac-x64.dmg
+NEXT_PUBLIC_DEXTER_BRIDGE_MAC_ZIP_URL=https://instawebai.com/downloads/dexter-bridge/Dexter-Bridge-0.11.5-mac-universal.zip
+NEXT_PUBLIC_DEXTER_BRIDGE_WIN_X64_URL=https://instawebai.com/downloads/dexter-bridge/Dexter-Bridge-0.11.5-win-x64.exe
 ```

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@gakim-digital/dexter-bridge",
-  "version": "0.11.4",
+  "version": "0.11.6",
   "description": "Local bridge for InstaWebAI and Dexter — runs Codex, Claude Code, or OpenCode on your machine.",
   "type": "module",
   "bin": {
@@ -32,13 +32,14 @@
   },
   "license": "SEE LICENSE IN LICENSE",
   "dependencies": {
-    "@framer/agent": "0.0.44",
     "@ai-sdk/anthropic": "^4.0.46",
     "@ai-sdk/deepseek": "^3.0.37",
     "@ai-sdk/google": "^4.0.58",
     "@ai-sdk/openai": "^4.0.52",
     "@ai-sdk/openai-compatible": "^3.0.41",
     "@ai-sdk/xai": "^4.0.50",
+    "@anthropic-ai/claude-agent-sdk": "^0.2.73",
+    "@framer/agent": "0.0.44",
     "@modelcontextprotocol/sdk": "^1.30.0",
     "@opencode-ai/sdk": "^1.18.25",
     "@openrouter/ai-sdk-provider": "^3.0.0",

package/src/agent.js

@@ -35,6 +35,7 @@ import {
   normalizeOutcomeCompletion,
   normalizeStructuredResponseContract,
   outcomeOutputSchema,
+  outcomeSuccessStatus,
   runSummary,
   STRUCTURED_RESPONSE_CONTRACTS,
 } from './protocol.js';
@@ -46,6 +47,7 @@ import {
   normalizeNativeSkills,
 } from './nativeSkills.js';
 import { createLocalAgentAdapter } from './providers/index.js';
+import { discoverClaudeCodeModels } from './providers/claudeAgentSdk.js';
 import {
   collectOutcomeWorkspaceChanges,
   materializeOutcomeReferenceAssets,
@@ -294,13 +296,6 @@ function argsWithRequiredAgentFlags(args, definition) {
   return [...args, '--skip-git-repo-check'];
 }
 
-const CLAUDE_CLI_MODEL_IDS = {
-  fable: 'claude-fable-5',
-  opus: 'claude-opus-5',
-  sonnet: 'claude-sonnet-5',
-  haiku: 'claude-haiku-4-5-20251001',
-};
-
 function claudeModelEngineSystemPrompt(product) {
   const name = normalizeBridgeProduct(product).name;
   return [
@@ -342,8 +337,7 @@ function claudeOutcomeSystemPrompt(product) {
 }
 
 export function mapClaudeCliModelId(value) {
-  const raw = String(value || '').trim();
-  return CLAUDE_CLI_MODEL_IDS[raw.toLowerCase()] || raw;
+  return String(value || '').trim();
 }
 
 function argsWithSelectedModel(args, modelDefinition, definition) {
@@ -1324,6 +1318,14 @@ function adapterInvocationModel(run, selectedModel, agent) {
   if (typeof runtimeInvocation === 'string' && runtimeInvocation.trim()) {
     return runtimeInvocation.trim();
   }
+  const explicitModel = run?.companion?.model;
+  if (
+    explicitModel?.id === selectedModel?.id
+    && typeof explicitModel?.invocationName === 'string'
+    && explicitModel.invocationName.trim()
+  ) {
+    return explicitModel.invocationName.trim();
+  }
   if (
     run?.companion?.modelPolicy?.owner === 'harness'
     && typeof selectedModel?.invocationName === 'string'
@@ -1331,7 +1333,7 @@ function adapterInvocationModel(run, selectedModel, agent) {
   ) {
     return selectedModel.invocationName.trim();
   }
-  const explicit = run?.companion?.model?.invocationName;
+  const explicit = explicitModel?.invocationName;
   if (typeof explicit === 'string' && explicit.trim()) return explicit.trim();
   if (selectedModel?.invocationName) return selectedModel.invocationName;
   const id = run?.companion?.model?.id || run?.model;
@@ -2443,7 +2445,8 @@ async function executeOutcomeRun(run, send, agent, options = {}) {
         onActivity: progress,
       });
   let prompt = '';
-  const schema = outcomeOutputSchema();
+  const successStatus = outcomeSuccessStatus(executionOutcome, product);
+  const schema = outcomeOutputSchema(successStatus);
   assertOutcomeResponseContract(
     STRUCTURED_RESPONSE_CONTRACTS.OUTCOME,
     schema,
@@ -2649,18 +2652,19 @@ async function executeOutcomeRun(run, send, agent, options = {}) {
     let rawCompletion = normalizeOutcomeCompletion(
       extractJsonObject(result?.text || result?.resultText || ''),
       run?.outcome?.outcomeId,
+      successStatus,
     );
     let synchronization = null;
     if (harnessTools.directWorkspace) {
       synchronization = await harnessTools.inspect();
     } else if (
-      rawCompletion.status === 'completed'
+      rawCompletion.status === successStatus
       || harnessTools.hasPendingChanges()
     ) {
       synchronization = await harnessTools.synchronize();
     }
     const repairPrompt =
-      rawCompletion.status === 'completed'
+      rawCompletion.status === successStatus
       && typeof harnessTools.verificationRepairPrompt === 'function'
         ? harnessTools.verificationRepairPrompt()
         : null;
@@ -2696,6 +2700,7 @@ async function executeOutcomeRun(run, send, agent, options = {}) {
           repairResult?.text || repairResult?.resultText || '',
         ),
         run?.outcome?.outcomeId,
+        successStatus,
       );
       synchronization = harnessTools.directWorkspace
         ? await harnessTools.inspect()
@@ -2749,7 +2754,7 @@ async function executeOutcomeRun(run, send, agent, options = {}) {
           outcomeId: run?.outcome?.outcomeId,
           model: selectedModelId,
           status:
-            normalized.status === 'completed'
+            normalized.status === successStatus
               ? 'succeeded'
               : normalized.status,
           durationMs: Date.now() - callStartedAt,
@@ -3057,6 +3062,7 @@ export async function checkAgentAvailability(agent, model, options = {}) {
         label: definition.label,
         models: reportedModels.map((candidate) => candidate.id),
         modelDetails: reportedModels,
+        modelCatalogSource: 'runtime',
         installed: true,
         signedIn: true,
         status: 'ready',
@@ -3070,14 +3076,39 @@ export async function checkAgentAvailability(agent, model, options = {}) {
     platform: options.platform,
     inspect: options.inspectAuthentication,
   });
+  let reportedModels = supportedModels;
+  let modelCatalogSource = 'fallback';
+  let modelCatalogError = null;
+  if (authentication.ok && normalizedAgent === 'claude-code') {
+    try {
+      const discovered = await (
+        options.discoverClaudeModels
+        || discoverClaudeCodeModels
+      )({
+        command: runtime.command,
+        env: options.env,
+        cacheKey: `${runtime.command}:${runtime.version || 'unknown'}`,
+        forceRefresh: options.forceModelRefresh === true,
+        queryFactory: options.claudeQueryFactory,
+      });
+      if (discovered.length > 0) {
+        reportedModels = discovered;
+        modelCatalogSource = 'runtime';
+      }
+    } catch (error) {
+      modelCatalogError = error?.message || String(error);
+    }
+  }
   return {
     ...runtime,
     ...authentication,
     ok: runtime.ok && authentication.ok,
     agent: definition.id,
     label: definition.label,
-    models: supportedModels.map((candidate) => candidate.id),
-    modelDetails: supportedModels,
+    models: reportedModels.map((candidate) => candidate.id),
+    modelDetails: reportedModels,
+    modelCatalogSource,
+    ...(modelCatalogError ? { modelCatalogError } : {}),
     installed: true,
   };
 }

package/src/cli.js

@@ -37,6 +37,8 @@ import {
   runtimeProfileMap,
 } from './runtimeProfiles.js';
 
+const MODEL_CATALOG_REFRESH_MS = 5 * 60 * 1000;
+
 function usage() {
   return [
     'Local Agent Bridge for Dexter and InstaWebAI',
@@ -508,20 +510,20 @@ async function startCommand({ apiBaseUrl, config, flags, configDir }) {
   const waitMs = Number(flags['wait-ms'] || 25000);
   const once = Boolean(flags.once);
   const bridgeEnv = agentEnvironment(activeConfig);
-  const availability = await inspectAvailability(activeConfig, runtimeSelection);
-  const runtimeProfile = runtimeSelection
+  let availability = await inspectAvailability(activeConfig, runtimeSelection);
+  let runtimeProfile = runtimeSelection
     ? requireAvailableRuntime(availability, runtimeSelection)
     : null;
-  const check = runtimeProfile
+  let check = runtimeProfile
     ? null
     : requireAvailableAgent(availability, agent);
-  const model = runtimeProfile
+  let model = runtimeProfile
     ? runtimeProfile.models.find((candidate) => candidate.id === requestedModel)?.id
       || runtimeProfile.models[0].id
     : availableModel(check, requestedModel);
-  const metadata = availability.metadata;
+  let metadata = availability.metadata;
   const pollLogger = createRunLogger({ runId: 'bridge-poll' });
-  const profiles = runtimeProfileMap(availability.runtimeProfiles);
+  let profiles = runtimeProfileMap(availability.runtimeProfiles);
   const providerAdapters = new Map();
   const providerAdapterForProfile = (runtimeProfile) => {
     const profile = profiles.get(runtimeProfile?.id) || runtimeProfile;
@@ -537,6 +539,7 @@ async function startCommand({ apiBaseUrl, config, flags, configDir }) {
     return adapter;
   };
   let pollFailureCount = 0;
+  let nextCatalogRefreshAt = Date.now() + MODEL_CATALOG_REFRESH_MS;
 
   console.log(`${product.name} Bridge connected to ${apiBaseUrl}`);
   console.log(
@@ -550,6 +553,34 @@ async function startCommand({ apiBaseUrl, config, flags, configDir }) {
 
   try {
     while (true) {
+      if (Date.now() >= nextCatalogRefreshAt) {
+        try {
+          const refreshedAvailability = await inspectAvailability(activeConfig, runtimeSelection);
+          const refreshedRuntimeProfile = runtimeSelection
+            ? requireAvailableRuntime(refreshedAvailability, runtimeSelection)
+            : null;
+          const refreshedCheck = refreshedRuntimeProfile
+            ? null
+            : requireAvailableAgent(refreshedAvailability, agent);
+          availability = refreshedAvailability;
+          runtimeProfile = refreshedRuntimeProfile;
+          check = refreshedCheck;
+          model = runtimeProfile
+            ? runtimeProfile.models.find((candidate) => candidate.id === requestedModel)?.id
+              || runtimeProfile.models[0].id
+            : availableModel(check, requestedModel);
+          metadata = availability.metadata;
+          profiles = runtimeProfileMap(availability.runtimeProfiles);
+          pollLogger.info('model_catalog_refreshed', {
+            models: availability.runtimeProfiles.flatMap((profile) =>
+              profile.models.map((candidate) => candidate.id)),
+          });
+        } catch (error) {
+          pollLogger.warn('model_catalog_refresh_failed', { error: errorMeta(error) });
+        } finally {
+          nextCatalogRefreshAt = Date.now() + MODEL_CATALOG_REFRESH_MS;
+        }
+      }
       let poll;
       try {
         poll = await pollRun(apiBaseUrl, {

package/src/config.js

@@ -25,6 +25,7 @@ export const BRIDGE_BUILD_FINGERPRINT = crypto
     './outcomeWorkspace.js',
     './runtimeProfiles.js',
     './providers/index.js',
+    './providers/claudeAgentSdk.js',
     './providers/codexAppServer.js',
     './providers/codexStructuredOutput.js',
     './providers/directByok.js',
@@ -42,7 +43,7 @@ export const BRIDGE_CAPABILITIES = [
   'framer-agent-v1',
   'framer-project-bootstrap-v1',
   'framer-project-verification-v1',
-  'framer-interaction-verification-v1',
+  'framer-interaction-verification-v3',
   'framer-behavior-contract-v1',
   'framer-mechanism-verification-v1',
   'project-shell-v1',
@@ -261,7 +262,10 @@ export function companionModelDefinition(value, agent = DEFAULT_BRIDGE_AGENT) {
   const prefix = `${normalizedAgent}:`;
   if (raw.startsWith(prefix)) {
     const invocationName = raw.slice(prefix.length);
-    if (/^[a-z0-9][a-z0-9._-]{0,159}$/.test(invocationName)) {
+    if (
+      !invocationName.includes('..')
+      && /^[a-z0-9][a-z0-9._/-]{0,253}$/.test(invocationName)
+    ) {
       return {
         id: `${normalizedAgent}:${invocationName}`,
         agent: normalizedAgent,