@harness-engineering/orchestrator 0.15.0 → 0.16.0

package/dist/index.d.mts

@@ -7,7 +7,7 @@ import { GraphStore } from '@harness-engineering/graph';
 import { execFile } from 'node:child_process';
 import { EventEmitter } from 'node:events';
 import { PoolStateProvider, SchedulerTimerHandle, DiscoverCandidatesOptions, DiscoverCandidatesResult } from '@harness-engineering/local-models';
-export { discoverCandidates } from '@harness-engineering/local-models';
+export { DEFAULT_POOL_STATE_PATH, PoolState, PoolStateProvider, PoolStateStore, RankProfile, discoverCandidates, poolStateToCandidates } from '@harness-engineering/local-models';
 import { z } from 'zod';
 
 /**
@@ -2213,6 +2213,26 @@ declare function deriveSeedPaths(config: WorkflowConfig): string[];
  * `main-sync` already relied on).
  */
 declare function normalizeHarnessCommand(command: string[]): string[];
+/**
+ * Truncate captured gate output to a bounded size for the re-dispatch prompt
+ * preamble (a full typecheck/test log can be enormous). Keeps the head + tail
+ * so both the first error and the summary survive.
+ */
+declare function truncateGateOutput(output: string, max?: number): string;
+/**
+ * local-backend-full-workflow Phase 2 (Option C): the production default verify
+ * runner for the local enforced gate. It runs the project's own mechanical gate
+ * (typecheck + lint + test) over `workspacePath` via `pnpm -w run <script>` for
+ * whichever of `typecheck`/`lint`/`test` the workspace's package.json declares,
+ * short-circuiting on the first red gate. Adopter-portable: it only runs the
+ * scripts that exist, and a missing package.json / no scripts → a passing gate
+ * (nothing to check). Fully self-contained; tests inject a fake via the
+ * `verifyRunner` seam so this concrete detector is never exercised in unit tests.
+ */
+declare function defaultLocalVerifyRunner(workspacePath: string): Promise<{
+    ok: boolean;
+    output: string;
+}>;
 /**
  * The central orchestrator that manages the lifecycle of coding agents.
  *
@@ -2271,6 +2291,30 @@ declare class Orchestrator extends EventEmitter {
     private overrideBackend;
     private renderer;
     private promptTemplate;
+    /**
+     * Backend-aware local dispatch template (Phase 1). Set from
+     * `overrides.localPromptTemplate` (production: threaded by the CLI from
+     * WorkflowLoader). Undefined -> resolvePromptTemplate falls back to the
+     * default template (SC5).
+     */
+    private localPromptTemplate;
+    /**
+     * local-backend-full-workflow Phase 2 (Option C): the verify runner the
+     * local-only enforced gate (`runLocalWorkflowGate`) invokes to run the
+     * project's mechanical gate (typecheck + lint + test) over the workspace.
+     * Injected in tests to force fail→pass sequences; in production it defaults
+     * to `defaultLocalVerifyRunner` (a thin project-script probe). Kept as a
+     * field seam — mirrors how `execFileFn` is injected — so the completion path
+     * is decoupled from the concrete detector.
+     */
+    private verifyRunner;
+    /**
+     * Phase 2: the most recent gate-failure reason per issue, threaded into the
+     * next dispatch's rendered prompt as a failure preamble (the re-prompt). Set
+     * when a local gate blocks; consumed + cleared at the next `dispatchIssue`
+     * render for that issue.
+     */
+    private priorGateFailureByIssue;
     private server?;
     private interval?;
     private heartbeatInterval?;
@@ -2420,6 +2464,17 @@ declare class Orchestrator extends EventEmitter {
         };
         /** Live-candidate-discovery seam: tests inject a fake so startup makes no HF calls. */
         discoverCandidates?: (opts: DiscoverCandidatesOptions) => Promise<DiscoverCandidatesResult>;
+        /** Phase 1: backend-aware local dispatch template. Undefined -> fallback. */
+        localPromptTemplate?: string;
+        /**
+         * Phase 2 (Option C) test seam: the verify runner the local enforced
+         * gate invokes. Injected so tests can force fail→pass sequences without
+         * spawning real typecheck/lint/test. Defaults to `defaultLocalVerifyRunner`.
+         */
+        verifyRunner?: (workspacePath: string) => Promise<{
+            ok: boolean;
+            output: string;
+        }>;
     });
     /**
      * Phase 5: construct the OTLP/HTTP trace exporter and wire telemetry fanout.
@@ -2564,6 +2619,24 @@ declare class Orchestrator extends EventEmitter {
      * Fire-and-forget: failures are logged but never block the caller.
      */
     private postLifecycleComment;
+    /**
+     * Phase 1 (local-backend-full-workflow): pick the dispatch template for
+     * the resolved backend. `pi`/`local` backends get the bash-shaped local
+     * template when one was loaded; every other backend — and any local
+     * backend with no local template loaded (SC5) — gets the default. Pure
+     * over (backendName, config.agent.backends, localPromptTemplate,
+     * promptTemplate); unit-tested by orchestrator.template-resolution.test.ts.
+     *
+     * NOTE: the local template file (`harness.orchestrator.local.md`) carries a
+     * full YAML frontmatter block, but that frontmatter is **intentionally
+     * ignored** at dispatch — only the markdown body is loaded (WorkflowLoader
+     * strips the frontmatter) and rendered here as the prompt. The frontmatter
+     * exists solely so the file is a valid, self-documenting scaffold that
+     * `harness init` can drop in; the orchestrator's configuration is always
+     * read from the loaded `WorkflowConfig`, never from this template file's
+     * frontmatter.
+     */
+    private resolvePromptTemplate;
     /**
      * Dispatches a new agent to work on an issue.
      *
@@ -2574,6 +2647,37 @@ declare class Orchestrator extends EventEmitter {
     private processAgentEvent;
     private awaitRateLimitClearance;
     private runAgentInBackgroundTask;
+    /**
+     * local-backend-full-workflow Phase 2 (Option C): the normal-exit completion
+     * seam, extracted so the enforced-gate loop is directly testable. Runs the
+     * LOCAL-ONLY enforced gate BEFORE the exit is treated as terminal; a red gate
+     * routes through the SHIPPED `emitWorkerExit('error', …)` retry branch — the
+     * re-dispatch IS the re-prompt (the next render threads the failure preamble),
+     * and `checkRetryBudget` exhaustion queues `needs-human`. On a green gate (or a
+     * non-local backend, where the gate is a no-op `{ ok: true }`), the existing
+     * Claude/AMR verdict feeders run and the run completes normally — composition,
+     * not replacement.
+     */
+    private finalizeNormalCompletion;
+    /**
+     * local-backend-full-workflow Phase 2 (Option C): the LOCAL-ONLY enforced
+     * gate. For a `pi`/`local` dispatch it runs the mechanical gate (verify =
+     * typecheck+lint+test via the injected `verifyRunner`) and, on green, the
+     * outcome-eval (Task 7) against the workspace branch; a red result returns a
+     * blocking `{ ok: false, reason }`. The completion path routes that reason
+     * through `emitWorkerExit('error', …)` so the shipped state-machine retry
+     * branch re-dispatches (the re-prompt) rather than marking the run complete.
+     *
+     * NON-local backends (Claude/AMR) get an unconditional `{ ok: true }` — this
+     * gate never touches their completion path (D2 scopes enforcement to the
+     * local path only; the AMR verdict feeders keep their existing behavior).
+     *
+     * Fully guarded: any thrown error → a CONSERVATIVE block `{ ok: false,
+     * reason: 'gate error: …' }`, mirroring the shipped fail-safe pattern — a
+     * gate that cannot run is treated as red (re-dispatch), never as a silent
+     * pass that could ship a bad build.
+     */
+    private runLocalWorkflowGate;
     /**
      * AMR 4c (ADR 0069): the sound single-agent quality-verdict feeder. On a normal
      * exit, when AMR is active, run a BASELINE-RELATIVE security scan of the lines
@@ -2602,6 +2706,37 @@ declare class Orchestrator extends EventEmitter {
      * evaluator's `execution_outcome` persistence is best-effort and never blocks.
      */
     private deriveAcceptanceEvalVerdict;
+    /**
+     * local-backend-full-workflow Phase 2 (Option C, SC4): the SHARED outcome-eval
+     * core, lifted out of `deriveAcceptanceEvalVerdict` so BOTH callers reuse the
+     * same `OutcomeEvaluator` engine over the introduced diff vs the spec's
+     * judgment section. It does NOT gate on `adaptiveRouter !== null` or
+     * `acceptanceEval.enabled` — those guards live in the AMR caller above; the
+     * LOCAL gate (D2) always evaluates when a spec is present. Maps a
+     * high-confidence NOT_SATISFIED to `'quality-fail'`; conservative + fully
+     * guarded: no spec / no provider / empty diff / any error → `undefined`.
+     */
+    /**
+     * local-backend-full-workflow Phase 3 (D5/SC6): resolve the AnalysisProvider
+     * for the outcome-eval gate. Caller-gated: ONLY the LOCAL gate caller consults
+     * `agent.routing.workflowGates`. The AMR caller ALWAYS uses local SEL
+     * (`resolveComplexityProvider`) so the AMR acceptance-eval path is byte-identical
+     * (SC-neutral). When `workflowGates === 'primary'` on the local caller, resolve
+     * from the primary (routing.default) backend; any miss degrades to local SEL
+     * (fail-open — an unreachable stronger provider must NOT wedge the local gate;
+     * see the fail-open note at the runLocalWorkflowGate call site).
+     */
+    private resolveOutcomeEvalProvider;
+    /**
+     * Build an AnalysisProvider from the PRIMARY (routing.default) backend for the
+     * Phase-3 `workflowGates:'primary'` seam. Reuses the shipped
+     * `buildAnalysisProvider` translator but forces the router to the default
+     * backend. Returns undefined (→ caller degrades to local SEL) when intelligence
+     * is disabled, the factory is absent, or the default backend cannot produce a
+     * provider — fully guarded, never throws.
+     */
+    private resolvePrimaryOutcomeEvalProvider;
+    private evaluateOutcomeCore;
     /**
      * Roadmap Auto-Triage Phase 4 (SC1–SC3, SC5, SC7): the post-diff routing
      * retrospective — a SIBLING quality-verdict source to the 4c feeder above,
@@ -2947,6 +3082,12 @@ interface TriageWiringDeps {
         fast?: string;
         standard?: string;
     };
+    /**
+     * Signals that a model is available but its levers were DEFERRED for this run (cheap-first).
+     * Threaded to the probe so a deferred (not missing) provider is worded accurately. See
+     * `ProbeDeps.modelDeferred`.
+     */
+    modelDeferred?: boolean;
 }
 /**
  * Run the scoping probe over a single `Issue`: build the input, resolve the injected SEL
@@ -2963,7 +3104,13 @@ interface SelForkGeneratorOptions {
     samples?: number;
     /** Optional model override threaded to the provider. */
     model?: string;
-    /** Max tokens per sample (default 512). */
+    /**
+     * Max tokens per sample (default 4096). Sized for reasoning models (Qwen3 et al.): they emit
+     * a `<think>` trace before the JSON fork step, so a tight cap truncates mid-reasoning →
+     * `finish_reason: length` → a thrown provider error → the runner halts the fork as `error`.
+     * `maxTokens` is a ceiling (a non-thinking model still stops early), so the headroom is free
+     * on the fast path and only spent when reasoning occurs.
+     */
     maxTokens?: number;
 }
 /**
@@ -3752,6 +3899,7 @@ declare const RoutingConfigSchema: z.ZodObject<{
             model?: string | undefined;
         } | undefined;
     }>>;
+    workflowGates: z.ZodOptional<z.ZodEnum<["local", "primary"]>>;
 }, "strict", z.ZodTypeAny, {
     default: string | readonly [string, ...string[]];
     'quick-fix'?: string | readonly [string, ...string[]] | undefined;
@@ -3786,6 +3934,7 @@ declare const RoutingConfigSchema: z.ZodObject<{
             model?: string | undefined;
         } | undefined;
     } | undefined;
+    workflowGates?: "local" | "primary" | undefined;
 }, {
     default: string | readonly [string, ...string[]];
     'quick-fix'?: string | readonly [string, ...string[]] | undefined;
@@ -3820,6 +3969,7 @@ declare const RoutingConfigSchema: z.ZodObject<{
             model?: string | undefined;
         } | undefined;
     } | undefined;
+    workflowGates?: "local" | "primary" | undefined;
 }>;
 
 interface ResolverLogger {
@@ -5128,4 +5278,4 @@ declare function emitProposalCreated(bus: EventEmitter, proposal: SkillProposal)
 declare function emitProposalApproved(bus: EventEmitter, proposal: SkillProposal): void;
 declare function emitProposalRejected(bus: EventEmitter, proposal: SkillProposal): void;
 
-export { AdaptiveRouter, type AdaptiveRouterDeps, type AgentDispatchResult, type AgentDispatcher, type AgentDispatcherDeps, type AgentUpdateEvent, AnalysisArchive, type AnalysisRecord, type ApplyEventResult, type ArtifactPresence, type AttemptStats, BRAINSTORM_RUBRIC, BUILT_IN_TASKS, BackendDefSchema, type BackendResolver, BackendRouter, type BackendRouterOptions, type BaseRefFallbackEvent, type BrainstormWiringDeps, type BuildArchiveHooksOptions, type BuildWorkflowContextDeps, type CheckCommandResult, type CheckCommandRunner, type CheckFailureClassification, type CheckFailureKind, CheckScriptRunner, ClaimManager, type ClaimManagerConfig, type CleanWorkspaceEffect, type CommandExecResult, type CommandExecutor, type CreateTokenInput, type CreateTokenResult, type CustomTaskValidationError, type DispatchEffect, type EmitLogEffect, type EscalateEffect, EscalationState, type ExecFileAsyncFn, type ExecFileError, type ExecFileFn$1 as ExecFileFn, type FromConfigOptions, GateNotReadyError, type GateResult, GateRunError, type HarnessSpawn, type Highlight, type HighlightsInfo, type IndexedDoc, InteractionQueue, LinearGraphQLClient, type LinearGraphQLClientOptions, type LinearGraphQLExtension, LinearGraphQLStub, type LiveSession, LocalModelResolver, type LocalModelResolverOptions, MAINTENANCE_CHECK_MAX_BUFFER, MAINTENANCE_CHECK_TIMEOUT_MS, MAX_ATTEMPTS, MaintenanceReporter, type MaintenanceReporterOptions, type MarkSkip, type MarkSkipReason, type MigrationResult, MockBackend, type NotificationSink, type NotificationSinkDeliverInput, ORCHESTRATOR_IDENTITY_FILE, Orchestrator, OrchestratorBackendFactory, type OrchestratorBackendFactoryOptions, type OrchestratorContext, type OrchestratorEvent, type OrchestratorState, PRDetector, type PRDetectorLogger, type PRLifecycleManager, type PendingInteraction, type PersistedOutputEntry, PrivacyNoMatch, PromotionError, type PromotionResult, PromptRenderer, type ProposalApprovedData, type ProposalCreatedData, type ProposalRejectedData, type PublishedIndex, type QueueInsertInput, type QueueRow, type QueueStats, RETRY_DELAYS_MS, type RateLimitSnapshot as RateLimitComputeSnapshot, type RateLimitConfig, type RateLimitSnapshot$1 as RateLimitSnapshot, type RecordPrediction, type RegistryEntry, type ReleaseClaimEffect, type ResolverLogger, type RetryEntry, type RetryFiredEvent, RoadmapTrackerAdapter, RoutingConfigSchema, RoutingValueSchema, type RunAttemptPhase, type RunHarnessCheckOptions, type RunMode, type RunOrigin, type RunResult, type RunningEntry, type ScheduleRetryEffect, type SearchOptions, type SelForkGeneratorOptions, type SelectConstraints, type SideEffect, SinkConfigError, SinkRegistry, type SkillCatalogEntry, SlackSink, type SlackSinkOptions, SqliteSearchIndex, type StallDetectedEvent, type StopEffect, type StoredOutcomeRecord, type StreamManifest, StreamRecorder, type SummarizeContext, type SummarizeResult, type SyncMainOptions, type SyncMainResult, type SyncSkipReason, type TaskDefinition, TaskOutputStore, TaskRunner, type TaskRunnerOptions, type TaskSelectionFilter, type TaskType, type TickEvent, TokenStore, type TokenTotals, type TriageConfig, type TriageDecision, type TriageMarkConfig, type TriageMarkDeps, type TriageMarkItem, type TriageMarkResult, type TriageSignals, type TriageSkill, type TriageWiringDeps, type UpdateTokensEffect, type ValidateWorkflowConfigOptions, type ValidatedWorkflowConfig, WebhookQueue, type WiredBrainstormResult, type WorkerExitEvent, WorkflowLoader, type WorkflowRouterDep, WorkspaceHooks, WorkspaceManager, type WorkspaceManagerOptions, applyEvent, artifactPresenceFromIssue, brainstormInputFromIssue, buildArchiveHooks, buildCapabilityRegistry, buildProbeInput, buildWorkflowContext, calculateRetryDelay, canDispatch, classifyCheckExecutionFailure, computeRateLimitDelay, createAgentDispatcher, createBackend, createEmptyState, crossFieldRoutingIssues, defaultFetchModels, defaultPoolCapabilities, deriveSeedPaths, detectScopeTier, discoverSkillCatalog, discoverSkillCatalogNames, emitProposalApproved, emitProposalCreated, emitProposalRejected, enrichIssueWithSpec, estimateCost, explicitFindingsCount, extractHighlights, extractTitlePrefix, getAvailableSlots, getDefaultConfig, getPerStateCount, indexSessionDirectory, isCheckTimeoutError, isEligible, isSummaryEnabled, launchTUI, loadPublishedIndex, makeBackendResolver, makeGraphScope, makeSelForkGenerator, markApprovedForDispatch, migrateAgentConfig, normalizeFts5Query, normalizeHarnessCommand, normalizeLocalModel, openSearchIndex, precedentLookupFromStored, promote, reconcile, recoverFindingsCount, reindexFromArchive, renderAnalysisComment, renderLlmSummaryMarkdown, renderPRComment, renderSpecMarkdown, resolveEscalationConfig, resolveOrchestratorId, routeIssue, routingWarnings, runBrainstormForIssue, runGate, runHarnessCheck, savePublishedIndex, searchIndexPath, selectCandidates, selectCheapestQualifying, selectTasks, slugFor, sortCandidates, summarizeArchivedSession, syncMain, triageIssue, truncateForBudget, validateCustomTasks, validateWorkflowConfig, wireNotificationSinks, workflowFor, wrapAsEnvelope };
+export { AdaptiveRouter, type AdaptiveRouterDeps, type AgentDispatchResult, type AgentDispatcher, type AgentDispatcherDeps, type AgentUpdateEvent, AnalysisArchive, type AnalysisRecord, type ApplyEventResult, type ArtifactPresence, type AttemptStats, BRAINSTORM_RUBRIC, BUILT_IN_TASKS, BackendDefSchema, type BackendResolver, BackendRouter, type BackendRouterOptions, type BaseRefFallbackEvent, type BrainstormWiringDeps, type BuildArchiveHooksOptions, type BuildWorkflowContextDeps, type CheckCommandResult, type CheckCommandRunner, type CheckFailureClassification, type CheckFailureKind, CheckScriptRunner, ClaimManager, type ClaimManagerConfig, type CleanWorkspaceEffect, type CommandExecResult, type CommandExecutor, type CreateTokenInput, type CreateTokenResult, type CustomTaskValidationError, type DispatchEffect, type EmitLogEffect, type EscalateEffect, EscalationState, type ExecFileAsyncFn, type ExecFileError, type ExecFileFn$1 as ExecFileFn, type FromConfigOptions, GateNotReadyError, type GateResult, GateRunError, type HarnessSpawn, type Highlight, type HighlightsInfo, type IndexedDoc, InteractionQueue, LinearGraphQLClient, type LinearGraphQLClientOptions, type LinearGraphQLExtension, LinearGraphQLStub, type LiveSession, LocalModelResolver, type LocalModelResolverOptions, MAINTENANCE_CHECK_MAX_BUFFER, MAINTENANCE_CHECK_TIMEOUT_MS, MAX_ATTEMPTS, MaintenanceReporter, type MaintenanceReporterOptions, type MarkSkip, type MarkSkipReason, type MigrationResult, MockBackend, type NotificationSink, type NotificationSinkDeliverInput, ORCHESTRATOR_IDENTITY_FILE, Orchestrator, OrchestratorBackendFactory, type OrchestratorBackendFactoryOptions, type OrchestratorContext, type OrchestratorEvent, type OrchestratorState, PRDetector, type PRDetectorLogger, type PRLifecycleManager, type PendingInteraction, type PersistedOutputEntry, PrivacyNoMatch, PromotionError, type PromotionResult, PromptRenderer, type ProposalApprovedData, type ProposalCreatedData, type ProposalRejectedData, type PublishedIndex, type QueueInsertInput, type QueueRow, type QueueStats, RETRY_DELAYS_MS, type RateLimitSnapshot as RateLimitComputeSnapshot, type RateLimitConfig, type RateLimitSnapshot$1 as RateLimitSnapshot, type RecordPrediction, type RegistryEntry, type ReleaseClaimEffect, type ResolverLogger, type RetryEntry, type RetryFiredEvent, RoadmapTrackerAdapter, RoutingConfigSchema, RoutingValueSchema, type RunAttemptPhase, type RunHarnessCheckOptions, type RunMode, type RunOrigin, type RunResult, type RunningEntry, type ScheduleRetryEffect, type SearchOptions, type SelForkGeneratorOptions, type SelectConstraints, type SideEffect, SinkConfigError, SinkRegistry, type SkillCatalogEntry, SlackSink, type SlackSinkOptions, SqliteSearchIndex, type StallDetectedEvent, type StopEffect, type StoredOutcomeRecord, type StreamManifest, StreamRecorder, type SummarizeContext, type SummarizeResult, type SyncMainOptions, type SyncMainResult, type SyncSkipReason, type TaskDefinition, TaskOutputStore, TaskRunner, type TaskRunnerOptions, type TaskSelectionFilter, type TaskType, type TickEvent, TokenStore, type TokenTotals, type TriageConfig, type TriageDecision, type TriageMarkConfig, type TriageMarkDeps, type TriageMarkItem, type TriageMarkResult, type TriageSignals, type TriageSkill, type TriageWiringDeps, type UpdateTokensEffect, type ValidateWorkflowConfigOptions, type ValidatedWorkflowConfig, WebhookQueue, type WiredBrainstormResult, type WorkerExitEvent, WorkflowLoader, type WorkflowRouterDep, WorkspaceHooks, WorkspaceManager, type WorkspaceManagerOptions, applyEvent, artifactPresenceFromIssue, brainstormInputFromIssue, buildArchiveHooks, buildCapabilityRegistry, buildProbeInput, buildWorkflowContext, calculateRetryDelay, canDispatch, classifyCheckExecutionFailure, computeRateLimitDelay, createAgentDispatcher, createBackend, createEmptyState, crossFieldRoutingIssues, defaultFetchModels, defaultLocalVerifyRunner, defaultPoolCapabilities, deriveSeedPaths, detectScopeTier, discoverSkillCatalog, discoverSkillCatalogNames, emitProposalApproved, emitProposalCreated, emitProposalRejected, enrichIssueWithSpec, estimateCost, explicitFindingsCount, extractHighlights, extractTitlePrefix, getAvailableSlots, getDefaultConfig, getPerStateCount, indexSessionDirectory, isCheckTimeoutError, isEligible, isSummaryEnabled, launchTUI, loadPublishedIndex, makeBackendResolver, makeGraphScope, makeSelForkGenerator, markApprovedForDispatch, migrateAgentConfig, normalizeFts5Query, normalizeHarnessCommand, normalizeLocalModel, openSearchIndex, precedentLookupFromStored, promote, reconcile, recoverFindingsCount, reindexFromArchive, renderAnalysisComment, renderLlmSummaryMarkdown, renderPRComment, renderSpecMarkdown, resolveEscalationConfig, resolveOrchestratorId, routeIssue, routingWarnings, runBrainstormForIssue, runGate, runHarnessCheck, savePublishedIndex, searchIndexPath, selectCandidates, selectCheapestQualifying, selectTasks, slugFor, sortCandidates, summarizeArchivedSession, syncMain, triageIssue, truncateForBudget, truncateGateOutput, validateCustomTasks, validateWorkflowConfig, wireNotificationSinks, workflowFor, wrapAsEnvelope };

package/dist/index.d.ts

@@ -7,7 +7,7 @@ import { GraphStore } from '@harness-engineering/graph';
 import { execFile } from 'node:child_process';
 import { EventEmitter } from 'node:events';
 import { PoolStateProvider, SchedulerTimerHandle, DiscoverCandidatesOptions, DiscoverCandidatesResult } from '@harness-engineering/local-models';
-export { discoverCandidates } from '@harness-engineering/local-models';
+export { DEFAULT_POOL_STATE_PATH, PoolState, PoolStateProvider, PoolStateStore, RankProfile, discoverCandidates, poolStateToCandidates } from '@harness-engineering/local-models';
 import { z } from 'zod';
 
 /**
@@ -2213,6 +2213,26 @@ declare function deriveSeedPaths(config: WorkflowConfig): string[];
  * `main-sync` already relied on).
  */
 declare function normalizeHarnessCommand(command: string[]): string[];
+/**
+ * Truncate captured gate output to a bounded size for the re-dispatch prompt
+ * preamble (a full typecheck/test log can be enormous). Keeps the head + tail
+ * so both the first error and the summary survive.
+ */
+declare function truncateGateOutput(output: string, max?: number): string;
+/**
+ * local-backend-full-workflow Phase 2 (Option C): the production default verify
+ * runner for the local enforced gate. It runs the project's own mechanical gate
+ * (typecheck + lint + test) over `workspacePath` via `pnpm -w run <script>` for
+ * whichever of `typecheck`/`lint`/`test` the workspace's package.json declares,
+ * short-circuiting on the first red gate. Adopter-portable: it only runs the
+ * scripts that exist, and a missing package.json / no scripts → a passing gate
+ * (nothing to check). Fully self-contained; tests inject a fake via the
+ * `verifyRunner` seam so this concrete detector is never exercised in unit tests.
+ */
+declare function defaultLocalVerifyRunner(workspacePath: string): Promise<{
+    ok: boolean;
+    output: string;
+}>;
 /**
  * The central orchestrator that manages the lifecycle of coding agents.
  *
@@ -2271,6 +2291,30 @@ declare class Orchestrator extends EventEmitter {
     private overrideBackend;
     private renderer;
     private promptTemplate;
+    /**
+     * Backend-aware local dispatch template (Phase 1). Set from
+     * `overrides.localPromptTemplate` (production: threaded by the CLI from
+     * WorkflowLoader). Undefined -> resolvePromptTemplate falls back to the
+     * default template (SC5).
+     */
+    private localPromptTemplate;
+    /**
+     * local-backend-full-workflow Phase 2 (Option C): the verify runner the
+     * local-only enforced gate (`runLocalWorkflowGate`) invokes to run the
+     * project's mechanical gate (typecheck + lint + test) over the workspace.
+     * Injected in tests to force fail→pass sequences; in production it defaults
+     * to `defaultLocalVerifyRunner` (a thin project-script probe). Kept as a
+     * field seam — mirrors how `execFileFn` is injected — so the completion path
+     * is decoupled from the concrete detector.
+     */
+    private verifyRunner;
+    /**
+     * Phase 2: the most recent gate-failure reason per issue, threaded into the
+     * next dispatch's rendered prompt as a failure preamble (the re-prompt). Set
+     * when a local gate blocks; consumed + cleared at the next `dispatchIssue`
+     * render for that issue.
+     */
+    private priorGateFailureByIssue;
     private server?;
     private interval?;
     private heartbeatInterval?;
@@ -2420,6 +2464,17 @@ declare class Orchestrator extends EventEmitter {
         };
         /** Live-candidate-discovery seam: tests inject a fake so startup makes no HF calls. */
         discoverCandidates?: (opts: DiscoverCandidatesOptions) => Promise<DiscoverCandidatesResult>;
+        /** Phase 1: backend-aware local dispatch template. Undefined -> fallback. */
+        localPromptTemplate?: string;
+        /**
+         * Phase 2 (Option C) test seam: the verify runner the local enforced
+         * gate invokes. Injected so tests can force fail→pass sequences without
+         * spawning real typecheck/lint/test. Defaults to `defaultLocalVerifyRunner`.
+         */
+        verifyRunner?: (workspacePath: string) => Promise<{
+            ok: boolean;
+            output: string;
+        }>;
     });
     /**
      * Phase 5: construct the OTLP/HTTP trace exporter and wire telemetry fanout.
@@ -2564,6 +2619,24 @@ declare class Orchestrator extends EventEmitter {
      * Fire-and-forget: failures are logged but never block the caller.
      */
     private postLifecycleComment;
+    /**
+     * Phase 1 (local-backend-full-workflow): pick the dispatch template for
+     * the resolved backend. `pi`/`local` backends get the bash-shaped local
+     * template when one was loaded; every other backend — and any local
+     * backend with no local template loaded (SC5) — gets the default. Pure
+     * over (backendName, config.agent.backends, localPromptTemplate,
+     * promptTemplate); unit-tested by orchestrator.template-resolution.test.ts.
+     *
+     * NOTE: the local template file (`harness.orchestrator.local.md`) carries a
+     * full YAML frontmatter block, but that frontmatter is **intentionally
+     * ignored** at dispatch — only the markdown body is loaded (WorkflowLoader
+     * strips the frontmatter) and rendered here as the prompt. The frontmatter
+     * exists solely so the file is a valid, self-documenting scaffold that
+     * `harness init` can drop in; the orchestrator's configuration is always
+     * read from the loaded `WorkflowConfig`, never from this template file's
+     * frontmatter.
+     */
+    private resolvePromptTemplate;
     /**
      * Dispatches a new agent to work on an issue.
      *
@@ -2574,6 +2647,37 @@ declare class Orchestrator extends EventEmitter {
     private processAgentEvent;
     private awaitRateLimitClearance;
     private runAgentInBackgroundTask;
+    /**
+     * local-backend-full-workflow Phase 2 (Option C): the normal-exit completion
+     * seam, extracted so the enforced-gate loop is directly testable. Runs the
+     * LOCAL-ONLY enforced gate BEFORE the exit is treated as terminal; a red gate
+     * routes through the SHIPPED `emitWorkerExit('error', …)` retry branch — the
+     * re-dispatch IS the re-prompt (the next render threads the failure preamble),
+     * and `checkRetryBudget` exhaustion queues `needs-human`. On a green gate (or a
+     * non-local backend, where the gate is a no-op `{ ok: true }`), the existing
+     * Claude/AMR verdict feeders run and the run completes normally — composition,
+     * not replacement.
+     */
+    private finalizeNormalCompletion;
+    /**
+     * local-backend-full-workflow Phase 2 (Option C): the LOCAL-ONLY enforced
+     * gate. For a `pi`/`local` dispatch it runs the mechanical gate (verify =
+     * typecheck+lint+test via the injected `verifyRunner`) and, on green, the
+     * outcome-eval (Task 7) against the workspace branch; a red result returns a
+     * blocking `{ ok: false, reason }`. The completion path routes that reason
+     * through `emitWorkerExit('error', …)` so the shipped state-machine retry
+     * branch re-dispatches (the re-prompt) rather than marking the run complete.
+     *
+     * NON-local backends (Claude/AMR) get an unconditional `{ ok: true }` — this
+     * gate never touches their completion path (D2 scopes enforcement to the
+     * local path only; the AMR verdict feeders keep their existing behavior).
+     *
+     * Fully guarded: any thrown error → a CONSERVATIVE block `{ ok: false,
+     * reason: 'gate error: …' }`, mirroring the shipped fail-safe pattern — a
+     * gate that cannot run is treated as red (re-dispatch), never as a silent
+     * pass that could ship a bad build.
+     */
+    private runLocalWorkflowGate;
     /**
      * AMR 4c (ADR 0069): the sound single-agent quality-verdict feeder. On a normal
      * exit, when AMR is active, run a BASELINE-RELATIVE security scan of the lines
@@ -2602,6 +2706,37 @@ declare class Orchestrator extends EventEmitter {
      * evaluator's `execution_outcome` persistence is best-effort and never blocks.
      */
     private deriveAcceptanceEvalVerdict;
+    /**
+     * local-backend-full-workflow Phase 2 (Option C, SC4): the SHARED outcome-eval
+     * core, lifted out of `deriveAcceptanceEvalVerdict` so BOTH callers reuse the
+     * same `OutcomeEvaluator` engine over the introduced diff vs the spec's
+     * judgment section. It does NOT gate on `adaptiveRouter !== null` or
+     * `acceptanceEval.enabled` — those guards live in the AMR caller above; the
+     * LOCAL gate (D2) always evaluates when a spec is present. Maps a
+     * high-confidence NOT_SATISFIED to `'quality-fail'`; conservative + fully
+     * guarded: no spec / no provider / empty diff / any error → `undefined`.
+     */
+    /**
+     * local-backend-full-workflow Phase 3 (D5/SC6): resolve the AnalysisProvider
+     * for the outcome-eval gate. Caller-gated: ONLY the LOCAL gate caller consults
+     * `agent.routing.workflowGates`. The AMR caller ALWAYS uses local SEL
+     * (`resolveComplexityProvider`) so the AMR acceptance-eval path is byte-identical
+     * (SC-neutral). When `workflowGates === 'primary'` on the local caller, resolve
+     * from the primary (routing.default) backend; any miss degrades to local SEL
+     * (fail-open — an unreachable stronger provider must NOT wedge the local gate;
+     * see the fail-open note at the runLocalWorkflowGate call site).
+     */
+    private resolveOutcomeEvalProvider;
+    /**
+     * Build an AnalysisProvider from the PRIMARY (routing.default) backend for the
+     * Phase-3 `workflowGates:'primary'` seam. Reuses the shipped
+     * `buildAnalysisProvider` translator but forces the router to the default
+     * backend. Returns undefined (→ caller degrades to local SEL) when intelligence
+     * is disabled, the factory is absent, or the default backend cannot produce a
+     * provider — fully guarded, never throws.
+     */
+    private resolvePrimaryOutcomeEvalProvider;
+    private evaluateOutcomeCore;
     /**
      * Roadmap Auto-Triage Phase 4 (SC1–SC3, SC5, SC7): the post-diff routing
      * retrospective — a SIBLING quality-verdict source to the 4c feeder above,
@@ -2947,6 +3082,12 @@ interface TriageWiringDeps {
         fast?: string;
         standard?: string;
     };
+    /**
+     * Signals that a model is available but its levers were DEFERRED for this run (cheap-first).
+     * Threaded to the probe so a deferred (not missing) provider is worded accurately. See
+     * `ProbeDeps.modelDeferred`.
+     */
+    modelDeferred?: boolean;
 }
 /**
  * Run the scoping probe over a single `Issue`: build the input, resolve the injected SEL
@@ -2963,7 +3104,13 @@ interface SelForkGeneratorOptions {
     samples?: number;
     /** Optional model override threaded to the provider. */
     model?: string;
-    /** Max tokens per sample (default 512). */
+    /**
+     * Max tokens per sample (default 4096). Sized for reasoning models (Qwen3 et al.): they emit
+     * a `<think>` trace before the JSON fork step, so a tight cap truncates mid-reasoning →
+     * `finish_reason: length` → a thrown provider error → the runner halts the fork as `error`.
+     * `maxTokens` is a ceiling (a non-thinking model still stops early), so the headroom is free
+     * on the fast path and only spent when reasoning occurs.
+     */
     maxTokens?: number;
 }
 /**
@@ -3752,6 +3899,7 @@ declare const RoutingConfigSchema: z.ZodObject<{
             model?: string | undefined;
         } | undefined;
     }>>;
+    workflowGates: z.ZodOptional<z.ZodEnum<["local", "primary"]>>;
 }, "strict", z.ZodTypeAny, {
     default: string | readonly [string, ...string[]];
     'quick-fix'?: string | readonly [string, ...string[]] | undefined;
@@ -3786,6 +3934,7 @@ declare const RoutingConfigSchema: z.ZodObject<{
             model?: string | undefined;
         } | undefined;
     } | undefined;
+    workflowGates?: "local" | "primary" | undefined;
 }, {
     default: string | readonly [string, ...string[]];
     'quick-fix'?: string | readonly [string, ...string[]] | undefined;
@@ -3820,6 +3969,7 @@ declare const RoutingConfigSchema: z.ZodObject<{
             model?: string | undefined;
         } | undefined;
     } | undefined;
+    workflowGates?: "local" | "primary" | undefined;
 }>;
 
 interface ResolverLogger {
@@ -5128,4 +5278,4 @@ declare function emitProposalCreated(bus: EventEmitter, proposal: SkillProposal)
 declare function emitProposalApproved(bus: EventEmitter, proposal: SkillProposal): void;
 declare function emitProposalRejected(bus: EventEmitter, proposal: SkillProposal): void;
 
-export { AdaptiveRouter, type AdaptiveRouterDeps, type AgentDispatchResult, type AgentDispatcher, type AgentDispatcherDeps, type AgentUpdateEvent, AnalysisArchive, type AnalysisRecord, type ApplyEventResult, type ArtifactPresence, type AttemptStats, BRAINSTORM_RUBRIC, BUILT_IN_TASKS, BackendDefSchema, type BackendResolver, BackendRouter, type BackendRouterOptions, type BaseRefFallbackEvent, type BrainstormWiringDeps, type BuildArchiveHooksOptions, type BuildWorkflowContextDeps, type CheckCommandResult, type CheckCommandRunner, type CheckFailureClassification, type CheckFailureKind, CheckScriptRunner, ClaimManager, type ClaimManagerConfig, type CleanWorkspaceEffect, type CommandExecResult, type CommandExecutor, type CreateTokenInput, type CreateTokenResult, type CustomTaskValidationError, type DispatchEffect, type EmitLogEffect, type EscalateEffect, EscalationState, type ExecFileAsyncFn, type ExecFileError, type ExecFileFn$1 as ExecFileFn, type FromConfigOptions, GateNotReadyError, type GateResult, GateRunError, type HarnessSpawn, type Highlight, type HighlightsInfo, type IndexedDoc, InteractionQueue, LinearGraphQLClient, type LinearGraphQLClientOptions, type LinearGraphQLExtension, LinearGraphQLStub, type LiveSession, LocalModelResolver, type LocalModelResolverOptions, MAINTENANCE_CHECK_MAX_BUFFER, MAINTENANCE_CHECK_TIMEOUT_MS, MAX_ATTEMPTS, MaintenanceReporter, type MaintenanceReporterOptions, type MarkSkip, type MarkSkipReason, type MigrationResult, MockBackend, type NotificationSink, type NotificationSinkDeliverInput, ORCHESTRATOR_IDENTITY_FILE, Orchestrator, OrchestratorBackendFactory, type OrchestratorBackendFactoryOptions, type OrchestratorContext, type OrchestratorEvent, type OrchestratorState, PRDetector, type PRDetectorLogger, type PRLifecycleManager, type PendingInteraction, type PersistedOutputEntry, PrivacyNoMatch, PromotionError, type PromotionResult, PromptRenderer, type ProposalApprovedData, type ProposalCreatedData, type ProposalRejectedData, type PublishedIndex, type QueueInsertInput, type QueueRow, type QueueStats, RETRY_DELAYS_MS, type RateLimitSnapshot as RateLimitComputeSnapshot, type RateLimitConfig, type RateLimitSnapshot$1 as RateLimitSnapshot, type RecordPrediction, type RegistryEntry, type ReleaseClaimEffect, type ResolverLogger, type RetryEntry, type RetryFiredEvent, RoadmapTrackerAdapter, RoutingConfigSchema, RoutingValueSchema, type RunAttemptPhase, type RunHarnessCheckOptions, type RunMode, type RunOrigin, type RunResult, type RunningEntry, type ScheduleRetryEffect, type SearchOptions, type SelForkGeneratorOptions, type SelectConstraints, type SideEffect, SinkConfigError, SinkRegistry, type SkillCatalogEntry, SlackSink, type SlackSinkOptions, SqliteSearchIndex, type StallDetectedEvent, type StopEffect, type StoredOutcomeRecord, type StreamManifest, StreamRecorder, type SummarizeContext, type SummarizeResult, type SyncMainOptions, type SyncMainResult, type SyncSkipReason, type TaskDefinition, TaskOutputStore, TaskRunner, type TaskRunnerOptions, type TaskSelectionFilter, type TaskType, type TickEvent, TokenStore, type TokenTotals, type TriageConfig, type TriageDecision, type TriageMarkConfig, type TriageMarkDeps, type TriageMarkItem, type TriageMarkResult, type TriageSignals, type TriageSkill, type TriageWiringDeps, type UpdateTokensEffect, type ValidateWorkflowConfigOptions, type ValidatedWorkflowConfig, WebhookQueue, type WiredBrainstormResult, type WorkerExitEvent, WorkflowLoader, type WorkflowRouterDep, WorkspaceHooks, WorkspaceManager, type WorkspaceManagerOptions, applyEvent, artifactPresenceFromIssue, brainstormInputFromIssue, buildArchiveHooks, buildCapabilityRegistry, buildProbeInput, buildWorkflowContext, calculateRetryDelay, canDispatch, classifyCheckExecutionFailure, computeRateLimitDelay, createAgentDispatcher, createBackend, createEmptyState, crossFieldRoutingIssues, defaultFetchModels, defaultPoolCapabilities, deriveSeedPaths, detectScopeTier, discoverSkillCatalog, discoverSkillCatalogNames, emitProposalApproved, emitProposalCreated, emitProposalRejected, enrichIssueWithSpec, estimateCost, explicitFindingsCount, extractHighlights, extractTitlePrefix, getAvailableSlots, getDefaultConfig, getPerStateCount, indexSessionDirectory, isCheckTimeoutError, isEligible, isSummaryEnabled, launchTUI, loadPublishedIndex, makeBackendResolver, makeGraphScope, makeSelForkGenerator, markApprovedForDispatch, migrateAgentConfig, normalizeFts5Query, normalizeHarnessCommand, normalizeLocalModel, openSearchIndex, precedentLookupFromStored, promote, reconcile, recoverFindingsCount, reindexFromArchive, renderAnalysisComment, renderLlmSummaryMarkdown, renderPRComment, renderSpecMarkdown, resolveEscalationConfig, resolveOrchestratorId, routeIssue, routingWarnings, runBrainstormForIssue, runGate, runHarnessCheck, savePublishedIndex, searchIndexPath, selectCandidates, selectCheapestQualifying, selectTasks, slugFor, sortCandidates, summarizeArchivedSession, syncMain, triageIssue, truncateForBudget, validateCustomTasks, validateWorkflowConfig, wireNotificationSinks, workflowFor, wrapAsEnvelope };
+export { AdaptiveRouter, type AdaptiveRouterDeps, type AgentDispatchResult, type AgentDispatcher, type AgentDispatcherDeps, type AgentUpdateEvent, AnalysisArchive, type AnalysisRecord, type ApplyEventResult, type ArtifactPresence, type AttemptStats, BRAINSTORM_RUBRIC, BUILT_IN_TASKS, BackendDefSchema, type BackendResolver, BackendRouter, type BackendRouterOptions, type BaseRefFallbackEvent, type BrainstormWiringDeps, type BuildArchiveHooksOptions, type BuildWorkflowContextDeps, type CheckCommandResult, type CheckCommandRunner, type CheckFailureClassification, type CheckFailureKind, CheckScriptRunner, ClaimManager, type ClaimManagerConfig, type CleanWorkspaceEffect, type CommandExecResult, type CommandExecutor, type CreateTokenInput, type CreateTokenResult, type CustomTaskValidationError, type DispatchEffect, type EmitLogEffect, type EscalateEffect, EscalationState, type ExecFileAsyncFn, type ExecFileError, type ExecFileFn$1 as ExecFileFn, type FromConfigOptions, GateNotReadyError, type GateResult, GateRunError, type HarnessSpawn, type Highlight, type HighlightsInfo, type IndexedDoc, InteractionQueue, LinearGraphQLClient, type LinearGraphQLClientOptions, type LinearGraphQLExtension, LinearGraphQLStub, type LiveSession, LocalModelResolver, type LocalModelResolverOptions, MAINTENANCE_CHECK_MAX_BUFFER, MAINTENANCE_CHECK_TIMEOUT_MS, MAX_ATTEMPTS, MaintenanceReporter, type MaintenanceReporterOptions, type MarkSkip, type MarkSkipReason, type MigrationResult, MockBackend, type NotificationSink, type NotificationSinkDeliverInput, ORCHESTRATOR_IDENTITY_FILE, Orchestrator, OrchestratorBackendFactory, type OrchestratorBackendFactoryOptions, type OrchestratorContext, type OrchestratorEvent, type OrchestratorState, PRDetector, type PRDetectorLogger, type PRLifecycleManager, type PendingInteraction, type PersistedOutputEntry, PrivacyNoMatch, PromotionError, type PromotionResult, PromptRenderer, type ProposalApprovedData, type ProposalCreatedData, type ProposalRejectedData, type PublishedIndex, type QueueInsertInput, type QueueRow, type QueueStats, RETRY_DELAYS_MS, type RateLimitSnapshot as RateLimitComputeSnapshot, type RateLimitConfig, type RateLimitSnapshot$1 as RateLimitSnapshot, type RecordPrediction, type RegistryEntry, type ReleaseClaimEffect, type ResolverLogger, type RetryEntry, type RetryFiredEvent, RoadmapTrackerAdapter, RoutingConfigSchema, RoutingValueSchema, type RunAttemptPhase, type RunHarnessCheckOptions, type RunMode, type RunOrigin, type RunResult, type RunningEntry, type ScheduleRetryEffect, type SearchOptions, type SelForkGeneratorOptions, type SelectConstraints, type SideEffect, SinkConfigError, SinkRegistry, type SkillCatalogEntry, SlackSink, type SlackSinkOptions, SqliteSearchIndex, type StallDetectedEvent, type StopEffect, type StoredOutcomeRecord, type StreamManifest, StreamRecorder, type SummarizeContext, type SummarizeResult, type SyncMainOptions, type SyncMainResult, type SyncSkipReason, type TaskDefinition, TaskOutputStore, TaskRunner, type TaskRunnerOptions, type TaskSelectionFilter, type TaskType, type TickEvent, TokenStore, type TokenTotals, type TriageConfig, type TriageDecision, type TriageMarkConfig, type TriageMarkDeps, type TriageMarkItem, type TriageMarkResult, type TriageSignals, type TriageSkill, type TriageWiringDeps, type UpdateTokensEffect, type ValidateWorkflowConfigOptions, type ValidatedWorkflowConfig, WebhookQueue, type WiredBrainstormResult, type WorkerExitEvent, WorkflowLoader, type WorkflowRouterDep, WorkspaceHooks, WorkspaceManager, type WorkspaceManagerOptions, applyEvent, artifactPresenceFromIssue, brainstormInputFromIssue, buildArchiveHooks, buildCapabilityRegistry, buildProbeInput, buildWorkflowContext, calculateRetryDelay, canDispatch, classifyCheckExecutionFailure, computeRateLimitDelay, createAgentDispatcher, createBackend, createEmptyState, crossFieldRoutingIssues, defaultFetchModels, defaultLocalVerifyRunner, defaultPoolCapabilities, deriveSeedPaths, detectScopeTier, discoverSkillCatalog, discoverSkillCatalogNames, emitProposalApproved, emitProposalCreated, emitProposalRejected, enrichIssueWithSpec, estimateCost, explicitFindingsCount, extractHighlights, extractTitlePrefix, getAvailableSlots, getDefaultConfig, getPerStateCount, indexSessionDirectory, isCheckTimeoutError, isEligible, isSummaryEnabled, launchTUI, loadPublishedIndex, makeBackendResolver, makeGraphScope, makeSelForkGenerator, markApprovedForDispatch, migrateAgentConfig, normalizeFts5Query, normalizeHarnessCommand, normalizeLocalModel, openSearchIndex, precedentLookupFromStored, promote, reconcile, recoverFindingsCount, reindexFromArchive, renderAnalysisComment, renderLlmSummaryMarkdown, renderPRComment, renderSpecMarkdown, resolveEscalationConfig, resolveOrchestratorId, routeIssue, routingWarnings, runBrainstormForIssue, runGate, runHarnessCheck, savePublishedIndex, searchIndexPath, selectCandidates, selectCheapestQualifying, selectTasks, slugFor, sortCandidates, summarizeArchivedSession, syncMain, triageIssue, truncateForBudget, truncateGateOutput, validateCustomTasks, validateWorkflowConfig, wireNotificationSinks, workflowFor, wrapAsEnvelope };