deepline 0.3.195 → 0.3.197

package/dist/bundling-sources/sdk/src/client.ts

@@ -793,6 +793,13 @@ export type PlaysListOptions = {
    */
   grepMode?: 'all' | 'any' | 'phrase';
   categories?: string | string[];
+  /**
+   * Keep only plays carrying one of these tags — the job a play does, not the
+   * tools it calls. Deepline's closed vocabulary today: `smb`,
+   * `find-prospects`, `qualify`, `contact-info`, `signals`. Several tags widen
+   * the result rather than narrowing it, because a play carries exactly one.
+   */
+  tags?: string | string[];
   includeToolCategories?: boolean;
   includeArchived?: boolean;
   includeCostEstimates?: boolean;
@@ -5420,6 +5427,12 @@ export class DeeplineClient {
     if (options?.categories || options?.includeToolCategories) {
       params.set('include_tool_categories', '1');
     }
+    if (options?.tags) {
+      params.set(
+        'tags',
+        Array.isArray(options.tags) ? options.tags.join(',') : options.tags,
+      );
+    }
     if (options?.includeArchived) params.set('include_archived', '1');
     if (options?.includeCostEstimates) {
       params.set('include_cost_estimates', '1');

package/dist/bundling-sources/sdk/src/release.ts

@@ -200,7 +200,7 @@ export const SDK_RELEASE = {
   // getters keep their established compatibility behavior.
   // 0.3.1 deprecated the legacy `deepline enrich` command in favor of Plays.
   // 0.3.90 is the first deliberately versioned SDK release for API v3.
-  version: '0.3.195',
+  version: '0.3.197',
   updateSummary:
     'Play grep now returns concise results with the matched fields and terms. Automatic CLI updates are enabled by default; use `deepline settings autoupdate off` to opt out, `deepline settings autoupdate on` to re-enable updates, or `deepline settings autoupdate pin <version>` to hold an exact release.',
   packageCapabilities: {

package/dist/bundling-sources/sdk/src/types.ts

@@ -1378,6 +1378,14 @@ export interface PlayListItem {
   description?: string | null;
   pinned?: boolean;
   toolCategories?: string[];
+  /**
+   * The job the play does, from Deepline's closed prebuilt tag vocabulary
+   * (`smb`, `find-prospects`, `qualify`, `contact-info`, `signals`) — a
+   * different question from `toolCategories`, which reports the tools it
+   * calls. Empty for org-owned plays; absent from a server too old to report
+   * it.
+   */
+  tags?: string[];
   origin?: 'prebuilt' | 'owned';
   ownerType?: 'deepline' | 'org';
   ownerSlug?: string;
@@ -1469,6 +1477,16 @@ export interface PlayDescription {
   description?: string | null;
   pinned?: boolean;
   toolCategories?: string[];
+  /**
+   * What job this play does, as a closed vocabulary — `smb`,
+   * `find-prospects`, `qualify`, `contact-info`, `signals`.
+   *
+   * Distinct from `toolCategories`, which is derived from the tool ids a play
+   * calls and so describes its MACHINERY. A play that calls an email tool is
+   * not thereby an email play; every SMB play calls one and none of them is.
+   * Empty for org-owned plays, which carry no registry tag.
+   */
+  tags?: string[];
   origin?: 'prebuilt' | 'owned';
   ownerType?: 'deepline' | 'org';
   canEdit?: boolean;

package/dist/bundling-sources/shared_libs/observability/scheduled-jobs.json

@@ -885,6 +885,24 @@
     "failureAlert": "convex_action_wrapper",
     "domainReportRequired": true
   },
+  {
+    "id": "convex.cleanup-expired-api-key-claims",
+    "name": "Cleanup expired API key claims",
+    "scheduler": "convex_cron",
+    "cadence": "7 4 * * *",
+    "timezone": "UTC",
+    "source": "packages/convex/crons.ts",
+    "locator": "cleanup expired API key claims",
+    "owner": "auth",
+    "criticality": "maintenance",
+    "purpose": "Delete expired CLI claim tokens from apiKeyClaims, which had no reaper while a settings page view minted one durable claim row per unclaimed active key.",
+    "successDefinition": "The sweep advances its monotone createdAt watermark and deletes every expired claim it examines; zero expired claims is a valid no-op.",
+    "failureDefinition": "The sweep fails or stops advancing its watermark, leaving expired claim credentials retained indefinitely.",
+    "startGraceMs": 120000,
+    "runTimeoutMs": 1800000,
+    "failureAlert": "convex_action_wrapper",
+    "domainReportRequired": true
+  },
   {
     "id": "convex.cleanup-expired-analytics-ip2company-cache",
     "name": "Cleanup expired Analytics IP2Company cache entries",

package/dist/bundling-sources/shared_libs/observability/scheduled-work-manual.ts

@@ -11,6 +11,7 @@ export const MANUALLY_RUNNABLE_CONVEX_CRON_JOB_IDS = [
   'convex.fold-usage-rollups',
   'convex.record-neon-managed-project-usage',
   'convex.cleanup-expired-mcp-oauth-codes',
+  'convex.cleanup-expired-api-key-claims',
   'convex.cleanup-expired-analytics-ip2company-cache',
   'convex.cleanup-expired-domain-health-cache',
   'convex.salesforce-oauth-refresh-maintenance',

package/dist/bundling-sources/shared_libs/play-runtime/scheduler-backends/absurd-runtime-worker.ts

@@ -72,7 +72,6 @@ import {
 } from '../runtime-api';
 import { PLAY_RUNTIME_ATTEMPT_EXECUTOR_TOKEN_PATH } from '../runtime-api-paths';
 import { vercelProtectionBypassHeaders } from '../vercel-protection';
-import { installPgRuntimePoolDriver } from '../runtime-pg-driver-pg';
 import {
   isManagedSandboxRuntimeBackend,
   normalizePlayRuntimeBackend,
@@ -302,7 +301,16 @@ class AttemptExecutorTokenCapacityError extends RuntimeSchedulerCapacityError {
     this.name = 'AttemptExecutorTokenCapacityError';
   }
 }
-installPgRuntimePoolDriver();
+
+// No `installPgRuntimePoolDriver()` here: the runtime Postgres driver belongs to
+// the process that owns this module's boot — `apps/absurd-runtime-worker` and
+// `apps/absurd-release-scaler` install it at their entrypoints. `apps/deepline-api`
+// imports the lane-count helpers below from a request path
+// (`src/lib/plays/runtime-lanes.ts`), and the Next.js dev server re-evaluates that
+// module graph on every recompile while `registerRuntimePoolFactory`'s registry
+// lives on `globalThis` under a `Symbol.for` key and survives. A module-scope
+// install therefore handed the registry a fresh factory object after each
+// recompile and tripped its one-driver-per-process assertion.
 
 /**
  * A slot supervises one remote Daytona sandbox; it is not a local compute

package/dist/bundling-sources/shared_libs/play-runtime/scheduler-backends/postgres.ts

@@ -62,6 +62,7 @@ import {
   type RuntimeReceiptValueReference,
 } from '../runtime-receipt-value';
 import { PLAY_RUNTIME_WORK_RECEIPT_LEASE_TTL_MS } from '../lease-policy';
+import { RUNTIME_CAPACITY_POLICY } from '../runtime-capacity-policy';
 import { RUNTIME_RELIABILITY_POLICY } from '../runtime-reliability-policy';
 import { COMPLETED_RECEIPT_CACHE_INSERT_LEASE_ID } from '../durable-receipt-execution';
 import {
@@ -159,6 +160,7 @@ import { requireRuntimeAuthorityDescriptor } from '../execution-capabilities';
 import { stringifyPostgresJson } from '../postgres-json';
 import {
   buildPlayLaunchIdentity,
+  PLAY_LAUNCH_ENVELOPE_FIELD_ROLES,
   withPlayLaunchIdentityDigest,
 } from '../launch-identity';
 import { PlayRunLaunchConflictError } from '../play-runs/admission/contracts';
@@ -173,7 +175,10 @@ import {
   recordSchedulerLaunchRead,
   type SchedulerLaunchReadCaller,
 } from './scheduler-launch-read-observability';
-import { emitPlayTelemetry } from '../runtime-telemetry';
+import {
+  emitPlayRunLaunchConflictTelemetry,
+  emitPlayTelemetry,
+} from '../runtime-telemetry';
 import { buildAbsurdPlayRunTask } from './absurd-play-run-task';
 import {
   buildAbsurdCronFireTask,
@@ -4509,6 +4514,38 @@ export async function submitPostgresAbsurdPlayRun(
   };
 }
 
+function isJsonObject(value: unknown): value is Record<string, unknown> {
+  return Boolean(value) && typeof value === 'object' && !Array.isArray(value);
+}
+
+/**
+ * Reasons this build cannot prove a stored launch has the incoming named
+ * intent. Empty only when the stored envelope is readable, contains no field
+ * this build does not know (a newer writer may have added identity), and
+ * every named intent field matches.
+ */
+function launchIntentRematchBlockers(
+  existingLaunchJson: unknown,
+  incomingLaunch: PlaySchedulerSubmitInput,
+): string[] {
+  if (!isJsonObject(existingLaunchJson)) return ['launch'];
+  const unknownFields = Object.keys(existingLaunchJson).filter(
+    (field) =>
+      !Object.prototype.hasOwnProperty.call(
+        PLAY_LAUNCH_ENVELOPE_FIELD_ROLES,
+        field,
+      ),
+  );
+  if (unknownFields.length > 0) return unknownFields.sort();
+  return launchIdentityConflictFields(existingLaunchJson, incomingLaunch);
+}
+
+function launchIdentityDigestOf(launchJson: unknown): string | null {
+  if (!isJsonObject(launchJson)) return null;
+  const digest = launchJson.launchIdentityDigest;
+  return typeof digest === 'string' && digest.trim() ? digest.trim() : null;
+}
+
 function launchIdentityConflictFields(
   existingLaunchJson: unknown,
   incomingLaunch: PlaySchedulerSubmitInput,
@@ -4559,12 +4596,18 @@ async function submitPostgresSchedulerRunTransaction(
     options: unknown;
     recoverExistingTask?: boolean;
   },
+  /**
+   * Set only on the single re-admission after the current build proved the
+   * existing Run has the same named launch intent (see the conflict branch).
+   */
+  existingLaunchIntentMatches = false,
 ): Promise<{
   absurdTaskId: string | null;
   runCreated: boolean;
   taskCreated: boolean;
   taskRecoveryRequired: boolean;
 }> {
+  const requestedInput = input;
   // Persist the ABI with every new launch. Null is reserved for genuinely
   // historic rows already in storage, where readers interpret it as legacy.
   input = {
@@ -4591,6 +4634,9 @@ async function submitPostgresSchedulerRunTransaction(
   // fields are removed so they can never change the durable launch identity.
   input = withPlayLaunchIdentityDigest(durableInput);
   const existingOnlySql = requestedExistingOnly === true ? 'true' : 'false';
+  const existingLaunchIntentMatchesSql = existingLaunchIntentMatches
+    ? 'true'
+    : 'false';
   const releaseId = input.absurdReleaseId?.trim() || null;
   const legacyPreviewRelease =
     releaseId === 'dev' || releaseId?.startsWith('dev-') === true;
@@ -4717,9 +4763,12 @@ async function submitPostgresSchedulerRunTransaction(
         FOR UPDATE
       ), existing_run AS (
         SELECT
-          ${quoteIdent(schemaName(options))}.runtime_launch_admission_matches(
-            coalesce(runs.admission_json, runs.launch_json),
-            $8::jsonb
+          (
+            ${existingLaunchIntentMatchesSql}
+            OR ${quoteIdent(schemaName(options))}.runtime_launch_admission_matches(
+              coalesce(runs.admission_json, runs.launch_json),
+              $8::jsonb
+            )
           ) AS matches_launch,
           coalesce(runs.admission_json, runs.launch_json) AS launch_json,
           runs.absurd_task_id,
@@ -4985,13 +5034,42 @@ async function submitPostgresSchedulerRunTransaction(
     );
   }
   if (row?.accepted === false && row.existing_run && !row.matching_existing) {
-    throw new PlayRunLaunchConflictError(input.runId, {
-      conflictReason: 'launch_identity_mismatch',
-      conflictingFields: launchIdentityConflictFields(
-        row.existing_launch_json,
-        input,
-      ),
+    const rematchBlockers = launchIntentRematchBlockers(
+      row.existing_launch_json,
+      input,
+    );
+    if (existingLaunchIntentMatches || rematchBlockers.length > 0) {
+      throw new PlayRunLaunchConflictError(input.runId, {
+        conflictReason: 'launch_identity_mismatch',
+        conflictingFields: rematchBlockers,
+      });
+    }
+    // The stored envelope was written by another build (no digest, or a
+    // digest this build cannot reproduce), but every named intent field
+    // matches. Re-admit once as a match so the Run's normal matched path,
+    // including task recovery, runs instead of failing an at-least-once retry.
+    emitPlayTelemetry({
+      level: 'warn',
+      event: 'play.run.admission_intent_rematch',
+      tag: '[play.run.admission_intent_rematch]',
+      fields: {
+        runId: input.runId,
+        orgId: input.orgId,
+        playName: input.playName,
+        triggerSource: input.triggerSource ?? null,
+        existingLaunchIdentityDigest: launchIdentityDigestOf(
+          row.existing_launch_json,
+        ),
+        launchIdentityDigest: input.launchIdentityDigest ?? null,
+      },
     });
+    return submitPostgresSchedulerRunTransaction(
+      client,
+      requestedInput,
+      options,
+      absurdTask,
+      true,
+    );
   }
   if (row?.accepted === false && !row?.existing_run && requestedExistingOnly) {
     throw new Error(
@@ -5683,10 +5761,11 @@ export type FirePostgresSchedulerCronScheduleInput = {
  * cursor and is a harmless `superseded` no-op.
  *
  * A re-fire of the same occurrence whose deterministic Run already exists is
- * an idempotent re-fire, not a no-op. The cursor advances when the existing
- * launch identity matches, even if this statement did not create the Run.
- * A genuine identity mismatch is returned as `stalled` so it cannot silently
- * freeze the schedule behind an indistinguishable replay.
+ * an idempotent re-fire, not a no-op. The cursor advances over any existing
+ * Run, even when a mixed-version or competing launch makes the named identity
+ * comparator disagree. The persisted Run is authoritative for this
+ * deterministic occurrence; a conflict is emitted for owner-visible
+ * diagnosis, never converted into a permanent blocked cursor.
  */
 export async function firePostgresSchedulerCronSchedule(
   client: PostgresSchedulerQueryClient,
@@ -5698,6 +5777,7 @@ export async function firePostgresSchedulerCronSchedule(
       runId: string;
       successorDueAtMs: number;
       reused: boolean;
+      conflictingFields?: string[];
     }
   | { status: 'superseded' }
   | { status: 'stalled'; runId: string; reason: string }
@@ -5772,6 +5852,7 @@ export async function firePostgresSchedulerCronSchedule(
     schedule_current: boolean;
     existing_run: boolean;
     matching_existing: boolean;
+    existing_launch_json: unknown | null;
     release_accepting: boolean;
   }>(
     `
@@ -5797,6 +5878,7 @@ export async function firePostgresSchedulerCronSchedule(
         FOR UPDATE
       ), existing_run AS MATERIALIZED (
         SELECT runs.run_id,
+               coalesce(runs.admission_json, runs.launch_json) AS launch_json,
                ${quoteIdent(schemaName(options))}.runtime_launch_admission_matches(
                  coalesce(runs.admission_json, runs.launch_json),
                  $6::jsonb
@@ -5864,7 +5946,6 @@ export async function firePostgresSchedulerCronSchedule(
            OR (
              occurrence.schedule_current
              AND occurrence.existing_run
-             AND occurrence.matching_existing
            )
       ), successor_task_request AS (
         SELECT $11::text AS queue_name,
@@ -5953,6 +6034,7 @@ export async function firePostgresSchedulerCronSchedule(
              (SELECT schedule_current FROM occurrence) AS schedule_current,
              (SELECT existing_run FROM occurrence) AS existing_run,
              (SELECT matching_existing FROM occurrence) AS matching_existing,
+             (SELECT launch_json FROM existing_run) AS existing_launch_json,
              coalesce(
                (SELECT accepting
                   FROM ${tableName('runtime_release_admission', options)}
@@ -5986,24 +6068,53 @@ export async function firePostgresSchedulerCronSchedule(
     );
   }
   if (fired.advanced === true) {
+    const conflictingFields =
+      fired.existing_run === true && fired.matching_existing !== true
+        ? launchIntentRematchBlockers(fired.existing_launch_json, launch)
+        : [];
+    if (conflictingFields.length === 0 && fired.existing_run === true) {
+      emitPlayTelemetry({
+        level: 'warn',
+        event: 'play.run.admission_intent_rematch',
+        tag: '[play.run.admission_intent_rematch]',
+        fields: {
+          runId: launch.runId,
+          orgId: launch.orgId,
+          playName: launch.playName,
+          triggerSource: 'cron',
+          scheduleId: schedule.scheduleId,
+          existingLaunchIdentityDigest: launchIdentityDigestOf(
+            fired.existing_launch_json,
+          ),
+          launchIdentityDigest: launch.launchIdentityDigest ?? null,
+        },
+      });
+    } else if (conflictingFields.length > 0) {
+      const conflict = new Error(
+        `Cron occurrence "${launch.runId}" already exists with a different launch identity: ${conflictingFields.join(', ')}`,
+      );
+      emitPlayRunLaunchConflictTelemetry({
+        orgId: launch.orgId,
+        runId: launch.runId,
+        playName: launch.playName,
+        triggerSource: 'cron',
+        workflowFamilyKey: launch.workflowFamilyKey,
+        revisionId: launch.revisionId,
+        artifactHash: launch.artifactHash,
+        graphHash: launch.graphHash,
+        inputSha256: launch.inputSha256,
+        launchIdentityDigest: launch.launchIdentityDigest,
+        conflictReason: 'launch_identity_mismatch',
+        conflictingFields,
+        error: conflict,
+      });
+    }
     return {
       status: 'admitted',
       runId: launch.runId,
       successorDueAtMs,
       reused: fired.run_created !== true,
-    };
-  }
-  if (
-    fired.schedule_current === true &&
-    fired.existing_run === true &&
-    fired.matching_existing !== true
-  ) {
-    return {
-      status: 'stalled',
-      runId: launch.runId,
-      reason:
-        `Cron schedule "${schedule.scheduleId}" generation ${schedule.generation} cannot advance past ` +
-        `occurrence ${schedule.dueAtMs}: Run "${launch.runId}" already exists with a different launch identity.`,
+      ...(conflictingFields.length > 0 ? { conflictingFields } : {}),
     };
   }
   return { status: 'superseded' };
@@ -16711,7 +16822,12 @@ export async function listPostgresSchedulerOutboxMaterializationPlans(
  */
 export type RunLedgerOutboxTokenAuthority = 'local_mint' | 'gateway';
 
-const POSTGRES_SCHEDULER_CANCELLATION_OUTBOX_LEASE_SECONDS = 15;
+const POSTGRES_SCHEDULER_CANCELLATION_OUTBOX_LEASE_SECONDS =
+  // The direct projection can run for the full app-runtime request deadline.
+  // Keep another 30 seconds for dispatch setup and acknowledgement so a
+  // background projector cannot reclaim an append that is still in flight.
+  Math.ceil(RUNTIME_CAPACITY_POLICY.receiptGateway.requestTimeoutMs / 1_000) +
+  30;
 
 /**
  * Stable lease identity shared by the atomic scheduler cancellation and the

package/dist/bundling-sources/shared_libs/plays/docflow-binding-owner.ts

@@ -91,6 +91,21 @@ export function flattenSubsteps(
   return flat;
 }
 
+/**
+ * The names a substep's `field` answers to.
+ *
+ * A tool substep's field is a PATH, not a name: a step inside a `steps()`
+ * program is `steps.<step name>`, and a column's producer is
+ * `<column>.<step name>`. An `out:` contract names the step or column itself,
+ * so matching the whole path would never hit — `out:"contactout_personal"`
+ * against `steps.contactout_personal`. Both ends of the path are offered: the
+ * full path, and the last segment, which is the step/column the author named.
+ */
+function substepFieldSymbols(field: string): Set<string> {
+  const segments = field.split('.');
+  return new Set([field, segments[segments.length - 1]!]);
+}
+
 /** How a binding reached its substep — see the module header for the rules. */
 export type DocflowJoinVia = 'symbol' | 'extent';
 
@@ -115,6 +130,10 @@ export type DocflowLineExtent = { startLine: number; endLine: number };
 export function substepSourceExtent(
   substep: PlayStaticSubstep,
 ): DocflowLineExtent | null {
+  // Resolved through a call: the substep and everything under it live in the
+  // callee, so the only interval an annotation here can contain is the call.
+  const viaCall = callSiteExtent(substep);
+  if (viaCall) return viaCall;
   const ranges: PlayStaticSourceRange[] = [];
   const collect = (candidate: PlayStaticSubstep) => {
     if (candidate.sourceRange) ranges.push(candidate.sourceRange);
@@ -194,30 +213,73 @@ export type DocflowExtentResolver = (
 export function substepOwnSourceExtent(
   substep: PlayStaticSubstep,
 ): DocflowLineExtent | null {
+  const viaCall = callSiteExtent(substep);
+  if (viaCall) return viaCall;
   const range = substep.sourceRange;
   return range ? { startLine: range.startLine, endLine: range.endLine } : null;
 }
 
+/**
+ * The extent of the call a substep was reached through, when the extractor
+ * followed TypeScript symbol resolution into another function to find it.
+ *
+ * This is what lets a box annotated on `const x = await helper(ctx, …)` own the
+ * provider calls inside `helper` — including when `helper` is imported from
+ * another module, where the callee's own range is not even comparable to a line
+ * number in this file.
+ */
+function callSiteExtent(
+  substep: PlayStaticSubstep,
+): DocflowLineExtent | null {
+  const range = substep.callSiteRange;
+  return range ? { startLine: range.startLine, endLine: range.endLine } : null;
+}
+
+/**
+ * The extent a binding's line may be compared against.
+ *
+ * An annotation written in the ENTRY file keeps the existing behavior exactly:
+ * whatever the resolver prefers, no path check. An annotation written in an
+ * imported module is only comparable to a range from that same module — two
+ * files both have a line 42 — so it picks the substep's own range or its call
+ * site, whichever was recorded in the annotation's file, and matches nothing
+ * when neither was.
+ */
+function extentForBinding(
+  substep: PlayStaticSubstep,
+  binding: PlayDocflowBinding,
+  extentOf: DocflowExtentResolver,
+): DocflowLineExtent | null {
+  if (!binding.sourcePath) return extentOf(substep);
+  for (const range of [substep.sourceRange, substep.callSiteRange]) {
+    if (range?.sourcePath !== binding.sourcePath) continue;
+    return { startLine: range.startLine, endLine: range.endLine };
+  }
+  return null;
+}
+
 function extentContainsLine(
   substep: PlayStaticSubstep,
-  line: number,
+  binding: PlayDocflowBinding,
   extentOf: DocflowExtentResolver,
 ): DocflowLineExtent | null {
-  const extent = extentOf(substep);
+  const extent = extentForBinding(substep, binding, extentOf);
   if (!extent) return null;
-  return line >= extent.startLine && line <= extent.endLine ? extent : null;
+  return binding.line >= extent.startLine && binding.line <= extent.endLine
+    ? extent
+    : null;
 }
 
 /** Smallest containing extent wins, so a nested construct beats its parent. */
 function smallestContaining<TSubstep extends PlayStaticSubstep>(
   candidates: readonly TSubstep[],
-  line: number,
+  binding: PlayDocflowBinding,
   extentOf: DocflowExtentResolver = substepSourceExtent,
 ): TSubstep | null {
   let best: TSubstep | null = null;
   let bestSpan = Number.POSITIVE_INFINITY;
   for (const candidate of candidates) {
-    const extent = extentContainsLine(candidate, line, extentOf);
+    const extent = extentContainsLine(candidate, binding, extentOf);
     if (!extent) continue;
     const span = extent.endLine - extent.startLine;
     if (span < bestSpan) {
@@ -269,12 +331,12 @@ function joinBySymbolThenExtent<TSubstep extends PlayStaticSubstep>(
       // Two constructs compute the same column name. The one whose body the
       // annotation actually sits in decides; otherwise this is drift, and a
       // guess would attribute a member's rows to the wrong table.
-      const narrowed = smallestContaining(matches, binding.line, extentOf);
+      const narrowed = smallestContaining(matches, binding, extentOf);
       if (narrowed) return { substep: narrowed, via: 'symbol' };
       return { substep: null, reason: 'ambiguous' };
     }
   }
-  const positional = smallestContaining(candidates, binding.line, extentOf);
+  const positional = smallestContaining(candidates, binding, extentOf);
   if (positional) return { substep: positional, via: 'extent' };
   return { substep: null, reason: 'no-owner' };
 }
@@ -326,13 +388,53 @@ export function resolveDocflowBoundTool(
   const tools = substeps.filter(
     (substep): substep is DocflowToolSubstep => substep.type === 'tool',
   );
-  return joinBySymbolThenExtent(
-    binding,
-    tools,
-    (substep) => new Set([substep.field]),
+  return joinBySymbolThenExtent(binding, tools, (substep) =>
+    substepFieldSymbols(substep.field),
   );
 }
 
+/**
+ * EVERY tool a binding names, not just the one it unambiguously resolves to.
+ *
+ * {@link resolveDocflowBoundTool} answers "which single provider is this box",
+ * and correctly declines when a step calls two — a finder plus a validator, the
+ * shape every waterfall leg has. That decline is right for a headline tool and
+ * wrong for the Config surface, which exists to list a step's provider calls
+ * and their params. So this returns the whole set, in source order.
+ *
+ * Symbol match only: a step's tools are named by its `out:` contract. Extent is
+ * deliberately not a fallback here, because "every tool whose lines happen to
+ * sit inside this construct" would sweep up a sibling leg's calls.
+ */
+export function docflowBoundToolSubsteps(
+  binding: PlayDocflowBinding,
+  substeps: readonly PlayStaticSubstep[],
+): DocflowToolSubstep[] {
+  const roots = docflowOutputRoots(binding);
+  if (roots.length === 0) return [];
+  const matched: DocflowToolSubstep[] = [];
+  const seen = new Set<string>();
+  // Callers hand over whatever shape they hold — the config model passes the
+  // top-level stages, whose tools sit several levels down inside step suites
+  // and control flow. Flatten here so the answer never depends on that.
+  for (const substep of flattenSubsteps(substeps)) {
+    if (substep.type !== 'tool') continue;
+    const symbols = substepFieldSymbols(substep.field);
+    if (!roots.some((root) => symbols.has(root))) continue;
+    if (binding.sourcePath) {
+      const paths = [substep.sourceRange, substep.callSiteRange].map(
+        (range) => range?.sourcePath,
+      );
+      if (!paths.includes(binding.sourcePath)) continue;
+    }
+    const identity = `${substep.toolId}::${substep.paramsSource ?? ''}`;
+    if (seen.has(identity)) continue;
+    seen.add(identity);
+    matched.push(substep);
+  }
+  return matched;
+}
+
 /**
  * The `ctx.runPlay` or `ctx.runPlayAsync` call a `type:"play"` docflow node
  * names. Same join as every other binding — symbol first, extent as the fallback
@@ -386,6 +488,13 @@ function legNameFromField(suiteField: string, legField: string): string {
  * field, and carrying only decidable facts about the text — never a claim about
  * whether this run reached it.
  */
+/** One provider call inside a leg, with the source of its input. */
+export type DocflowLegCall = {
+  toolId: string;
+  /** The authored expression passed as `input`, verbatim. Absent if unparsed. */
+  paramsSource?: string;
+};
+
 export type DocflowStepSuiteLeg = {
   /** The leg's durable step name — the string the author passed `.step(…)`. */
   name: string;
@@ -395,6 +504,14 @@ export type DocflowStepSuiteLeg = {
   toolId: string | null;
   /** Every provider call the leg makes, in order. */
   toolIds: string[];
+  /**
+   * The same calls, each with the source text of the input it is given.
+   *
+   * `toolIds` answers "which provider"; a reader looking at one attempt of a
+   * nine-attempt cascade also needs "with what" — the pane used to name the
+   * provider twice and never once say what it was called with.
+   */
+  calls: DocflowLegCall[];
   /** The leg is `runIf`-guarded, so whether it runs depends on earlier legs. */
   conditional: boolean;
   /** Every substep of the leg is statically off (`runIf: () => false`). */
@@ -415,12 +532,18 @@ export function stepSuiteLegs(
   for (const child of suite.steps ?? []) {
     const field = (child as { field?: string }).field ?? '';
     if (!field) continue;
-    const toolIds = flattenSubsteps([child])
-      .filter((step): step is DocflowToolSubstep => step.type === 'tool')
-      .map((step) => step.toolId);
+    const toolSteps = flattenSubsteps([child]).filter(
+      (step): step is DocflowToolSubstep => step.type === 'tool',
+    );
+    const toolIds = toolSteps.map((step) => step.toolId);
+    const calls: DocflowLegCall[] = toolSteps.map((step) => ({
+      toolId: step.toolId,
+      ...(step.paramsSource ? { paramsSource: step.paramsSource } : {}),
+    }));
     const existing = byField.get(field);
     if (existing) {
       existing.toolIds.push(...toolIds);
+      existing.calls.push(...calls);
       existing.toolId ??= toolIds[0] ?? null;
       existing.conditional ||= child.conditional === true;
       existing.disabled &&= child.disabled === true;
@@ -432,6 +555,7 @@ export function stepSuiteLegs(
       field,
       toolId: toolIds[0] ?? null,
       toolIds: [...toolIds],
+      calls: [...calls],
       conditional: child.conditional === true,
       disabled: child.disabled === true,
       nested: child.type === 'step_suite',