agentic-engineering-harness 0.8.21 → 0.9.0

package/dist/releases/release-1791157388823-17042-e49a2145/workers/agentPrompt.js

@@ -0,0 +1,1990 @@
+import fs from "node:fs/promises";
+import os from "node:os";
+import path from "node:path";
+import { randomUUID } from "node:crypto";
+import { outputJsonSchema, validateAgentOutput } from "../agents/outputContracts.js";
+import { compileOpenCodeRuntimeProjection } from "../agents/permissions.js";
+import { extractMarkedJson, StructuredOutputError } from "../agents/structuredOutput.js";
+import { loadFrozenSkillContext } from "../core/controlPlane.js";
+import { buildManagedAgentEnvironment, managedBoundedAgentPromptContext } from "../operations/executionContext.js";
+import { persistOperationAgentArtifact } from "../operations/artifacts.js";
+import { currentOperationContext, loadOperation, bindOperationParticipantExecution, recordParticipantReceipt, registerOperationAgent, updateOperationParticipant, updateRegisteredOperationParticipant } from "../operations/state.js";
+import { compilePaseoAgentLaunchSpec } from "../paseo/launchSpec.js";
+import { continueManagedPaseoAgent, launchManagedPaseoAgent, materializeManagedPaseoAgent, stopManagedPaseoAgent } from "../paseo/runtime.js";
+import { PaseoSdkUnavailableError } from "../paseo/sdk.js";
+import { allowedSandboxEnvironment, hardenedPodmanArgs, sandboxImage } from "../security/sandbox.js";
+import { runExecutable } from "../utils/process.js";
+import { activateStructuredResultTurnForAgent, acceptedStructuredResultForAgent, createStructuredResultProvenance, provisionStructuredResultChannel, bindStructuredResultChannel, finalizeStructuredResultChannelForAgent, resultSinkMcpServerDefinition, reconcileStructuredResult, structuredResultProvenanceForAgent } from "./resultGateway.js";
+import { compileAgentPromptPolicy } from "./promptPolicy.js";
+import { prepareContext } from "../context/gateway.js";
+import { semanticFirstInstruction } from "../context/repository/serena.js";
+import { resolveContextTransportCapabilities } from "../context/transport.js";
+import { sha256 } from "../context/provenance.js";
+import { outputPolicyInstruction, resolveContextPolicy } from "../context/policy.js";
+import { buildRepositoryContextMap } from "../context/repository/map.js";
+import { createMemoryProvider } from "../providers/memory.js";
+import { repositoryPath } from "../utils/repositoryPath.js";
+import { runDirectWorkerProcess } from "./directProcess.js";
+import { createDirectWorkerHome, removeDirectWorkerHome, buildDirectWorkerEnvironment } from "./directProcess.js";
+import { prepareCodexThread, prepareOpenCodeSession } from "./runtimeSessions.js";
+import { recordEvent } from "../telemetry/events.js";
+import { participantUsageObservationFromSession, recordParticipantUsageObservation, recordToolCallObservations, modelFallbackObservationV2FromV1 } from "../telemetry/efficiency.js";
+import { noModelFallbackV1 } from "../agents/modelFallback.js";
+import { initializeParticipantLivenessV1, recordParticipantExecutionActivityV1 } from "../operations/executionLiveness.js";
+import { recordParticipantTelemetry } from "../telemetry/metrics.js";
+import { resolveTelemetryCorrelation } from "../telemetry/identity.js";
+import { assertExecutionAuthority, attachParticipantScratchAuthority, prepareExecutionAuthority, provisionParticipantScratch } from "../security/executionLease.js";
+import { sha256Canonical } from "../core/digest.js";
+import { createPromptManifest } from "../context/runtimeV2.js";
+import { assertExecutionBindingV3, assertExecutionBlueprintV3, assertParticipantScratchLeaseV1, assertResolvedOperationPolicyV2, assertRoleInvocationPolicyV1, assertSkillManifestV1, compileExecutionBinding, compileResolvedOperationPolicy, compileRoleInvocationPolicy, compileSkillManifest, createExecutionBlueprintV3, participantScratchClaim, participantScratchResourceName } from "../architecture/executionIdentity.js";
+import { configuredDeliveryPolicy, requiredHumanActionAuthorizations } from "../security/actionPolicy.js";
+import { compileExecutionCatalog } from "../architecture/executionCatalog.js";
+import { defaultSkillSeed, roleProfile } from "../participants/index.js";
+import { createWorkGraph } from "../architecture/workGraph.js";
+import { candidateRevisionsEqual } from "../operations/v2Contracts.js";
+import { issueContextRefAuthorization, recordContextContinuation, validateCurrentContextAuthorization } from "../context/authorizationV2.js";
+import { bindPaseoSession, loadPaseoSessionBinding, paseoSessionBindingMatches, resolveReusablePaseoSession, rotatePaseoSessionBinding } from "../paseo/sessionBinding.js";
+async function recordAgentLifecycle(root, config, name, attributes) {
+    // Lifecycle evidence must never turn an otherwise valid agent result into a
+    // runtime failure. The event itself is durable when telemetry is enabled.
+    await recordEvent(root, config, `harness.agent.${name}`, attributes).catch(() => undefined);
+    await recordParticipantLifecycleMetric(root, config, name, attributes).catch(() => undefined);
+}
+/**
+ * Participant launch/result signals are derived from the existing lifecycle
+ * evidence and bound to the current durable operation identity. Metrics are
+ * observations; a missing identity records nothing rather than guessing.
+ */
+async function recordParticipantLifecycleMetric(root, config, name, attributes) {
+    if (name !== "participant.started" && name !== "participant.settled")
+        return;
+    const operationId = typeof attributes.operationId === "string" ? attributes.operationId : undefined;
+    if (!operationId)
+        return;
+    const participantId = typeof attributes.participantId === "string" ? attributes.participantId : undefined;
+    const correlation = await resolveTelemetryCorrelation(root, operationId, participantId);
+    if (!correlation)
+        return;
+    const transport = typeof attributes.transport === "string" ? attributes.transport : undefined;
+    if (name === "participant.started") {
+        await recordParticipantTelemetry(root, config, correlation, { event: "launch", transport });
+        return;
+    }
+    const status = typeof attributes.status === "string" ? attributes.status : typeof attributes.participantStatus === "string" ? attributes.participantStatus : undefined;
+    const durationMs = typeof attributes.durationMs === "number" ? attributes.durationMs : undefined;
+    await recordParticipantTelemetry(root, config, correlation, { event: "result", transport, status, durationMs });
+}
+export async function executeAgentPrompt(root, config, contract, selection, prompt, options = {}) {
+    const transport = selection.transport === "inherit" ? (config.orchestration?.provider ?? "none") : selection.transport;
+    if (options.requireExecutionAuthority && options.capabilityAuthority)
+        assertExecutionAuthority(options.capabilityAuthority);
+    if (options.skillManifest)
+        assertSkillManifestV1(options.skillManifest);
+    let authority = options.capabilityAuthority ?? await prepareExecutionAuthority(root, selection, { participantId: options.participantId, phase: options.phase, required: options.requireExecutionAuthority });
+    if (options.skillManifest?.entries.some((entry) => entry.kind === "ephemeral")) {
+        if (!authority)
+            throw new Error("SKILL_MANIFEST_AUTHORITY_REQUIRED: accepted ephemeral procedure content requires controller-issued participant authority.");
+        assertExecutionAuthority(authority);
+        if (authority.participantId !== options.skillManifest.scope.participantId)
+            throw new Error("SKILL_MANIFEST_ASSIGNMENT_MISMATCH: accepted procedure content is available only to its assigned authorized participant.");
+    }
+    const participantGeneration = options.executionBinding?.participantGeneration ?? options.participantGeneration ?? options.scratchLease?.participantGeneration ?? randomUUID();
+    let scratchLease = options.scratchLease ?? options.executionBinding?.scratchLease ?? authority?.scratchLease;
+    const participantIdForScratch = authority?.participantId ?? options.participantId;
+    const participantToolPack = selection.role === "Semantic Assessor" ? undefined : options.roleInvocationPolicy?.toolPack ?? options.executionBlueprint?.participants.find((participant) => participant.participantId === participantIdForScratch)?.toolPack ?? roleProfile(selection.role).toolPack;
+    const scratchClaim = participantIdForScratch ? participantScratchResourceName(selection.role, participantIdForScratch, participantToolPack) : undefined;
+    if (scratchLease && !scratchClaim)
+        throw new Error("PARTICIPANT_SCRATCH_AUTHORITY_DENIED: this frozen role/transport has no participant scratch resource claim.");
+    if (scratchClaim && !scratchLease && !options.resumeSessionId && !options.executionBinding && authority) {
+        const provisioned = await provisionParticipantScratch(root, selection, authority, participantGeneration);
+        if (!provisioned)
+            throw new Error("PARTICIPANT_SCRATCH_REQUIRED: the frozen blueprint requires private scratch but the controller did not provision it.");
+        authority = provisioned.authority;
+        scratchLease = provisioned.scratchLease;
+    }
+    if (scratchClaim && !scratchLease && currentOperationContext().id && !options.resumeSessionId)
+        throw new Error("PARTICIPANT_SCRATCH_REQUIRED: a managed mutating participant must receive its controller-owned scratch lease before prompt preparation.");
+    if (authority && scratchLease && authority.scratchLease?.digest !== scratchLease.digest)
+        authority = await attachParticipantScratchAuthority(root, authority, scratchLease);
+    if (authority && scratchLease)
+        assertExecutionAuthority(authority);
+    const authorityOptions = {
+        ...options,
+        participantGeneration,
+        ...(scratchLease ? { scratchLease } : {}),
+        ...(authority ? { participantId: authority.participantId, capabilityAuthority: authority } : {})
+    };
+    const effectiveOptions = authorityOptions.contextCapabilities
+        ? authorityOptions
+        : { ...authorityOptions, contextCapabilities: await resolveContextTransportCapabilities(root, config, selection, { mode: "live" }) };
+    const promptWithScratch = scratchLease ? scratchAwarePrompt(prompt, scratchLease) : prompt;
+    if (scratchLease && effectiveOptions.preparedPrompt && !effectiveOptions.preparedPrompt.includes(`AEH private scratch directory: ${scratchLease.path}`))
+        throw new Error("EXECUTION_BINDING_SCRATCH_MISMATCH: prepared prompt does not disclose the controller-owned scratch directory bound to this participant.");
+    const projected = effectiveOptions.preparedPrompt
+        ? verifyPreparedPrompt(effectiveOptions.preparedPrompt, effectiveOptions, selection)
+        : await buildEffectivePromptIdentity(root, config, contract, selection, promptWithScratch, effectiveOptions);
+    const identityOptions = { ...effectiveOptions, preparedPrompt: projected.prompt, contextManifest: projected.contextManifest, contextManifestDigest: projected.contextManifestDigest, promptManifestDigest: projected.promptManifestDigest };
+    let directWorkerHome = identityOptions.directWorkerHome;
+    let materializedPaseoSession = identityOptions.materializedPaseoSession;
+    let resultProvenance;
+    try {
+        if (authority || identityOptions.outputContract) {
+            const compiledIdentity = await prepareAgentExecutionIdentity(root, config, contract, selection, projected.prompt, identityOptions);
+            identityOptions.capabilityAuthority = compiledIdentity.authority;
+            identityOptions.participantId = compiledIdentity.authority.participantId;
+            identityOptions.executionBlueprint = compiledIdentity.executionBlueprint;
+            identityOptions.executionBlueprintDigest = compiledIdentity.executionBlueprint.digest;
+            identityOptions.roleInvocationPolicy = compiledIdentity.roleInvocationPolicy;
+            identityOptions.skillManifest = compiledIdentity.skillManifest;
+            if (transport === "paseo" && identityOptions.executionBinding && !identityOptions.resumeSessionId && !materializedPaseoSession)
+                throw new Error("PASEO_EXECUTION_SESSION_PREPARATION_REQUIRED: a fresh binding-bearing Paseo turn must provide its already materialized provider session.");
+            if (transport === "paseo" && !identityOptions.resumeSessionId && !materializedPaseoSession) {
+                materializedPaseoSession = await materializeAgentPrompt(root, config, contract, selection, identityOptions);
+                if (!materializedPaseoSession?.id)
+                    throw new Error("PASEO_EXECUTION_SESSION_PREPARATION_REQUIRED: an identity-bound launch requires the actual idle Paseo agent id before binding or prompt dispatch.");
+                identityOptions.materializedPaseoSession = materializedPaseoSession;
+            }
+            const sessionId = identityOptions.resumeSessionId ?? materializedPaseoSession?.id ?? identityOptions.executionBinding?.runtime.sessionId ?? identityOptions.executionSessionId ?? await prepareRuntimeSession(root, config, selection, identityOptions, authority, transport, (home) => { directWorkerHome = home; });
+            identityOptions.executionSessionId = sessionId;
+            if (directWorkerHome)
+                identityOptions.directWorkerHome = directWorkerHome;
+            await resolveExecutionBinding(root, config, contract, selection, identityOptions, authority, sessionId);
+        }
+        if (identityOptions.executionBinding && (transport === "direct" || transport === "podman") && !directWorkerHome) {
+            throw new Error("EXECUTION_BINDING_RUNTIME_SESSION_UNAVAILABLE: direct runtime binding requires the isolated home containing the exact prepared session.");
+        }
+        resultProvenance = identityOptions.outputContract
+            ? await resolveStructuredResultProvenance(root, config, contract, selection, identityOptions, authority)
+            : undefined;
+    }
+    catch (error) {
+        if (materializedPaseoSession?.id)
+            await Promise.resolve(stopManagedPaseoAgent(root, materializedPaseoSession.id)).catch(() => undefined);
+        await removeDirectWorkerHome(directWorkerHome);
+        throw error;
+    }
+    const resultOptions = resultProvenance ? { ...identityOptions, structuredResultProvenance: resultProvenance } : identityOptions;
+    const effectivePrompt = projected.prompt;
+    if (resultOptions.resumeSessionId && !resultOptions.supervisorAgent) {
+        await markOperationSessionRunning(root, resultOptions.resumeSessionId).catch(() => undefined);
+    }
+    if (resultOptions.outputContract && resultOptions.resumeSessionId && transport !== "paseo") {
+        await activateStructuredResultTurnForAgent(root, resultOptions.resumeSessionId, resultOptions.phase);
+    }
+    try {
+        let result;
+        if (transport === "paseo")
+            result = await executeViaPaseo(root, config, contract, selection, effectivePrompt, resultOptions);
+        else if (transport === "direct")
+            result = await executeDirect(root, config, selection, effectivePrompt, resultOptions);
+        else if (transport === "podman")
+            result = await executePodman(root, config, contract, selection, effectivePrompt, resultOptions);
+        else
+            throw new Error(`Unsupported agent prompt transport: ${transport}`);
+        if (resultOptions.executionBinding && result.id !== resultOptions.executionBinding.runtime.sessionId)
+            throw new Error("EXECUTION_BINDING_RUNTIME_SESSION_MISMATCH: runtime returned a missing or different durable session id than the frozen ExecutionBinding.");
+        return await finalizeOperationSession(root, config, contract, selection, { ...result, participantId: authority?.participantId, capabilityLeases: authority?.leases, executionBinding: resultOptions.executionBinding }, resultOptions);
+    }
+    finally {
+        await removeDirectWorkerHome(directWorkerHome);
+    }
+}
+export async function materializeAgentPrompt(root, config, contract, selection, options = {}) {
+    const transport = selection.transport === "inherit" ? (config.orchestration?.provider ?? "none") : selection.transport;
+    if (transport !== "paseo" || options.resumeSessionId)
+        return undefined;
+    const authority = options.capabilityAuthority ?? await prepareExecutionAuthority(root, selection, { participantId: options.participantId, phase: options.phase ?? "queued" });
+    let effectiveOptions = authority ? { ...options, participantId: authority.participantId, capabilityAuthority: authority } : options;
+    const contextCapabilities = effectiveOptions.contextCapabilities ?? await resolveContextTransportCapabilities(root, config, selection, { mode: "live" });
+    const spec = await compilePaseoAgentLaunchSpec(root, config, contract, {
+        selection,
+        phase: effectiveOptions.phase ?? "queued",
+        kind: effectiveOptions.operationKind,
+        parentAgentId: effectiveOptions.parentAgentId,
+        supervisorAgent: effectiveOptions.supervisorAgent,
+        contextCapabilities,
+        providerTurnDeadlineMs: effectiveOptions.providerTurnDeadlineMs,
+        participantId: authority?.participantId,
+        candidateDigest: authority?.candidateDigest,
+        capabilityLeases: authority?.leases,
+        executionBlueprintDigest: effectiveOptions.executionBlueprint?.digest ?? effectiveOptions.executionBlueprintDigest,
+        roleInvocationPolicyDigest: effectiveOptions.roleInvocationPolicy?.digest,
+        skillManifestDigest: effectiveOptions.skillManifest?.digest,
+        scratchLease: effectiveOptions.scratchLease,
+        contextManifestDigest: effectiveOptions.contextManifestDigest,
+        promptManifestDigest: effectiveOptions.promptManifestDigest
+    });
+    const startedAt = new Date().toISOString();
+    let structuredResultChannelId;
+    try {
+        const structuredContract = effectiveOptions.outputContract ?? selection.outputContract;
+        if (structuredContract) {
+            const stateRoot = currentOperationContext().controlRoot ?? root;
+            const operation = await loadOperation(stateRoot, spec.operationId);
+            const pending = await provisionStructuredResultChannel(stateRoot, {
+                operationId: spec.operationId,
+                logicalAgent: selection.logicalAgent,
+                role: selection.role,
+                taskId: contract.task.id,
+                operationRevision: operation.revision,
+                supervisorGeneration: spec.supervisorGeneration,
+                contract: structuredContract
+            });
+            if (pending.provenance.status !== "UNSUPPORTED" || pending.agentId || pending.activeTurn)
+                throw new Error("AEH_RESULT_CHANNEL_STATE: fresh Paseo materialization requires an inert pending result channel.");
+            structuredResultChannelId = pending.channelId;
+            spec.labels["aeh.canonical.role"] = selection.role;
+            spec.labels["aeh.output.contract"] = structuredContract;
+            spec.labels["aeh.result.channel"] = pending.channelId;
+            spec.labels["aeh.execution.binding.phase"] = "PENDING_SESSION";
+            spec.mcpServers = {
+                ...(spec.mcpServers ?? {}),
+                "aeh-result": resultSinkMcpServerDefinition(stateRoot, spec.operationId, pending.channelId)
+            };
+            spec.toolPolicy = {
+                preapproved: [
+                    ...(spec.toolPolicy?.preapproved ?? []).filter((item) => !(item.kind === "mcp" && item.server === "aeh-result" && item.tool === "aeh_submit_result")),
+                    { kind: "mcp", server: "aeh-result", tool: "aeh_submit_result" }
+                ]
+            };
+        }
+        const materialized = await materializeManagedPaseoAgent(root, {
+            cwd: spec.cwd,
+            title: spec.title,
+            provider: spec.provider,
+            model: spec.model,
+            modeId: spec.modeId,
+            modeSource: spec.modeSource,
+            thinkingOptionId: spec.thinkingOptionId,
+            env: spec.env,
+            mcpServers: spec.mcpServers,
+            toolPolicy: spec.toolPolicy,
+            providerOptions: spec.providerOptions,
+            featureValues: spec.featureValues,
+            workspaceId: spec.workspaceId,
+            outputSchema: undefined,
+            labels: spec.labels,
+            waitForFinish: false,
+            timeoutSeconds: spec.timeoutSeconds,
+            permissionScopeRoots: spec.permissionScopeRoots
+        });
+        if (structuredResultChannelId && materialized.id) {
+            await bindStructuredResultChannel(currentOperationContext().controlRoot ?? root, spec.operationId, structuredResultChannelId, materialized.id);
+        }
+        const result = session(selection, materialized.exitCode, materialized.stdout, materialized.stderr, {
+            id: materialized.id,
+            nativeAgent: spec.nativeAgentId ?? selection.nativeAgent,
+            transport: `paseo-${materialized.transport}`,
+            workspaceId: materialized.workspaceId ?? spec.workspaceId,
+            title: spec.title,
+            operationId: spec.operationId,
+            operationKind: spec.operationKind,
+            operationRevision: Number.isInteger(Number(spec.labels["aeh.operation.revision"])) ? Number(spec.labels["aeh.operation.revision"]) : undefined,
+            supervisorGeneration: spec.supervisorGeneration,
+            phase: spec.phase,
+            status: materialized.status ?? "idle",
+            startedAt,
+            participantId: authority?.participantId,
+            capabilityLeases: authority?.leases,
+            structuredResultChannelId
+        });
+        if (result.id && !options.supervisorAgent) {
+            // The runtime session is the per-turn actor identity (status, artifacts, receipts); a
+            // controller-issued launch identity remains the durable work identity and stays resumable.
+            await updateOperationParticipant(root, spec.operationId, result.id, {
+                logicalAgent: selection.logicalAgent,
+                role: selection.role,
+                stage: spec.phase,
+                phase: spec.phase,
+                parentSupervisorGeneration: spec.supervisorGeneration,
+                parentAgentId: spec.parentAgentId,
+                workspaceId: result.workspaceId,
+                transport: result.transport,
+                status: "IDLE"
+            }).catch(() => undefined);
+            await recordAgentLifecycle(root, config, "participant.created", {
+                operationId: spec.operationId,
+                participantId: result.id,
+                logicalAgent: selection.logicalAgent,
+                role: selection.role,
+                phase: spec.phase,
+                attempt: 1,
+                revision: 1,
+                status: "IDLE"
+            });
+            await recordAgentLifecycle(root, config, "session.created", {
+                operationId: spec.operationId,
+                participantId: result.id,
+                logicalAgent: selection.logicalAgent,
+                transport: result.transport,
+                workspaceId: result.workspaceId,
+                status: result.status
+            });
+        }
+        return result;
+    }
+    catch (error) {
+        if (error instanceof PaseoSdkUnavailableError || (error instanceof Error && error.name === "PaseoSdkUnavailableError"))
+            return undefined;
+        throw error;
+    }
+}
+export async function prepareAgentExecutionBinding(root, config, contract, selection, prompt, options) {
+    const identity = await prepareAgentExecutionIdentity(root, config, contract, selection, prompt, options);
+    const boundOptions = { ...options, capabilityAuthority: identity.authority, participantId: identity.authority.participantId, participantGeneration: identity.participantGeneration, ...(identity.scratchLease ? { scratchLease: identity.scratchLease } : {}), preparedPrompt: identity.prompt, contextManifest: identity.contextManifest, contextManifestDigest: identity.contextManifestDigest, promptManifestDigest: identity.promptManifestDigest, executionBlueprint: identity.executionBlueprint, executionBlueprintDigest: identity.executionBlueprint.digest, roleInvocationPolicy: identity.roleInvocationPolicy, skillManifest: identity.skillManifest };
+    const sessionId = boundOptions.executionSessionId ?? (boundOptions.resumeSessionId ? boundOptions.resumeSessionId : undefined);
+    if (!sessionId)
+        throw new Error("EXECUTION_BINDING_SESSION_REQUIRED: binding preparation requires an actual runtime session supplied by the selected adapter.");
+    const binding = await resolveExecutionBinding(root, config, contract, selection, boundOptions, identity.authority, sessionId);
+    return { binding, authority: identity.authority, prompt: identity.prompt, contextManifest: identity.contextManifest, executionBlueprint: identity.executionBlueprint, roleInvocationPolicy: identity.roleInvocationPolicy, skillManifest: identity.skillManifest };
+}
+/** Compile all controller-owned identity needed for a remote worker before it acquires its actual runtime session. */
+export async function prepareAgentExecutionIdentity(root, config, contract, selection, prompt, options) {
+    if (selection.role === "Semantic Assessor")
+        throw new Error("SEMANTIC_ASSESSOR_NOT_PARTICIPANT: bounded semantic assessments do not receive participant scratch resources.");
+    const initialAuthority = options.capabilityAuthority ?? await prepareExecutionAuthority(root, selection, { participantId: options.participantId, phase: options.phase, required: true });
+    if (!initialAuthority)
+        throw new Error("V2_AUTHORITY_REQUIRED: execution identity compilation requires controller-issued capability authority evidence.");
+    let authority = initialAuthority;
+    const participantGeneration = options.executionBinding?.participantGeneration ?? options.participantGeneration ?? options.scratchLease?.participantGeneration ?? randomUUID();
+    let scratchLease = options.scratchLease ?? options.executionBinding?.scratchLease ?? authority.scratchLease;
+    const participantToolPack = options.roleInvocationPolicy?.toolPack ?? options.executionBlueprint?.participants.find((participant) => participant.participantId === authority.participantId)?.toolPack ?? roleProfile(selection.role).toolPack;
+    const scratchClaim = participantScratchResourceName(selection.role, authority.participantId, participantToolPack);
+    if (scratchLease && !scratchClaim)
+        throw new Error("PARTICIPANT_SCRATCH_AUTHORITY_DENIED: this frozen role/transport has no participant scratch resource claim.");
+    if (scratchClaim && !scratchLease && !options.resumeSessionId && !options.executionBinding) {
+        const provisioned = await provisionParticipantScratch(root, selection, authority, participantGeneration);
+        if (!provisioned)
+            throw new Error("PARTICIPANT_SCRATCH_REQUIRED: the frozen blueprint requires private scratch but the controller did not provision it.");
+        authority = provisioned.authority;
+        scratchLease = provisioned.scratchLease;
+    }
+    if (scratchClaim && !scratchLease && !options.resumeSessionId)
+        throw new Error("PARTICIPANT_SCRATCH_REQUIRED: a managed mutating participant has no exact scratch lease.");
+    if (scratchLease && (scratchLease.participantGeneration !== participantGeneration || scratchLease.participantId !== authority.participantId || scratchLease.operationId !== authority.operationId || scratchLease.candidateDigest !== authority.candidateDigest || scratchLease.controllerEpoch !== authority.controllerEpoch))
+        throw new Error("PARTICIPANT_SCRATCH_IDENTITY_MISMATCH: scratch lease does not match the frozen participant generation.");
+    if (scratchLease && authority.scratchLease?.digest !== scratchLease.digest)
+        authority = await attachParticipantScratchAuthority(root, authority, scratchLease);
+    if (scratchLease)
+        assertExecutionAuthority(authority);
+    const contextCapabilities = options.contextCapabilities ?? await resolveContextTransportCapabilities(root, config, selection, { mode: "live" });
+    const identityOptions = { ...options, capabilityAuthority: authority, participantId: authority.participantId, participantGeneration, ...(scratchLease ? { scratchLease } : {}), contextCapabilities };
+    const promptWithScratch = scratchLease ? scratchAwarePrompt(prompt, scratchLease) : prompt;
+    if (scratchLease && options.preparedPrompt && !options.preparedPrompt.includes(`AEH private scratch directory: ${scratchLease.path}`))
+        throw new Error("EXECUTION_BINDING_SCRATCH_MISMATCH: prepared prompt does not disclose the controller-owned scratch directory bound to this participant.");
+    const projected = options.preparedPrompt
+        ? verifyPreparedPrompt(options.preparedPrompt, identityOptions, selection)
+        : await buildEffectivePromptIdentity(root, config, contract, selection, promptWithScratch, identityOptions);
+    Object.assign(identityOptions, { preparedPrompt: projected.prompt, contextManifest: projected.contextManifest, contextManifestDigest: projected.contextManifestDigest, promptManifestDigest: projected.promptManifestDigest });
+    // A detached distributed worker executes a propagated launch that already carries the frozen
+    // blueprint, role policy, skill manifest and controller-issued authority; it has no operation
+    // state root. The durable record is loaded when present and its equality checks are strictly
+    // applied; when absent, the same identity is validated against the controller-issued authority
+    // and frozen blueprint instead (AEH-V2-0131).
+    const stateRoot = currentOperationContext().controlRoot ?? root;
+    const operation = await loadOperation(stateRoot, authority.operationId).catch(() => undefined);
+    const candidate = authority.candidateRevision ?? operation?.candidateRevision;
+    const epoch = authority.controllerEpoch;
+    if (!candidate || epoch === undefined)
+        throw new Error("EXECUTION_BINDING_REQUIRED: current candidate and controller epoch are required to compile remote execution identity.");
+    if (!operation && !(options.executionBlueprint && options.roleInvocationPolicy && options.skillManifest))
+        throw new Error("EXECUTION_BINDING_REQUIRED: durable operation state or a complete propagated blueprint, role policy and skill manifest is required to compile remote execution identity.");
+    const operationIdentity = operation ?? { id: authority.operationId, operationExecutionRevision: options.executionBlueprint.operationExecutionRevision, resolvedOperationPolicy: options.executionBlueprint.resolvedOperationPolicy };
+    const compiled = await compileParticipantInvocationIdentity(root, config, contract, selection, identityOptions, operationIdentity, candidate, authority.participantId, epoch);
+    if (operation)
+        await bindResolvedPolicyIfAbsent(stateRoot, authority.operationId, compiled.policy);
+    return { authority, participantGeneration, ...(scratchLease ? { scratchLease } : {}), prompt: projected.prompt, contextManifest: projected.contextManifest, contextManifestDigest: projected.contextManifestDigest, promptManifestDigest: projected.promptManifestDigest, executionBlueprint: compiled.blueprint, roleInvocationPolicy: compiled.rolePolicy, skillManifest: compiled.skillManifest };
+}
+export async function dispatchMaterializedAgentPrompt(root, config, contract, selection, materialized, prompt, options = {}) {
+    if (!materialized?.id)
+        return executeAgentPrompt(root, config, contract, selection, prompt, options);
+    const authority = options.capabilityAuthority ?? await prepareExecutionAuthority(root, selection, { participantId: options.participantId ?? materialized.participantId ?? materialized.id, phase: options.phase ?? materialized.phase });
+    let effectiveOptions = authority ? { ...options, participantId: authority.participantId, capabilityAuthority: authority } : options;
+    const structuredContract = options.outputContract ?? selection.outputContract;
+    if (structuredContract && !effectiveOptions.outputContract)
+        effectiveOptions = { ...effectiveOptions, outputContract: structuredContract };
+    if (effectiveOptions.outputContract) {
+        const provenance = await structuredResultProvenanceForAgent(root, materialized.id);
+        if (!provenance)
+            throw new Error("AEH_RESULT_PROVENANCE_UNSUPPORTED: materialized participant has no frozen result provenance.");
+        if (provenance.status === "BOUND") {
+            const operationContext = currentOperationContext();
+            const operation = operationContext.id ? await loadOperation(operationContext.controlRoot ?? root, operationContext.id) : undefined;
+            assertResultProvenanceMatchesExecution(provenance, operation, contract, selection, effectiveOptions);
+            effectiveOptions = { ...effectiveOptions, structuredResultProvenance: provenance };
+        }
+        else if (provenance.status !== "UNSUPPORTED" || !materialized.structuredResultChannelId) {
+            throw new Error("AEH_RESULT_PROVENANCE_UNSUPPORTED: materialized structured-result participant does not have an inert pending channel.");
+        }
+    }
+    const projected = effectiveOptions.preparedPrompt
+        ? verifyPreparedPrompt(effectiveOptions.preparedPrompt, effectiveOptions, selection)
+        : await buildEffectivePromptIdentity(root, config, contract, selection, prompt, effectiveOptions);
+    effectiveOptions = { ...effectiveOptions, preparedPrompt: projected.prompt, contextManifest: projected.contextManifest, contextManifestDigest: projected.contextManifestDigest, promptManifestDigest: projected.promptManifestDigest };
+    effectiveOptions.executionSessionId = materialized.id;
+    effectiveOptions.resumeSessionId = materialized.id;
+    if (authority || effectiveOptions.outputContract)
+        await resolveExecutionBinding(root, config, contract, selection, effectiveOptions, authority, materialized.id);
+    if (effectiveOptions.outputContract) {
+        const provenance = await resolveStructuredResultProvenance(root, config, contract, selection, effectiveOptions, authority);
+        effectiveOptions = { ...effectiveOptions, structuredResultProvenance: provenance };
+    }
+    const effectivePrompt = projected.prompt;
+    if (!effectiveOptions.supervisorAgent)
+        await markOperationSessionRunning(root, materialized.id).catch(() => undefined);
+    await recordAgentLifecycle(root, config, "participant.started", {
+        operationId: materialized.operationId ?? currentOperationContext().id ?? contract.task.id,
+        participantId: materialized.id,
+        logicalAgent: selection.logicalAgent,
+        role: selection.role,
+        phase: effectiveOptions.phase ?? materialized.phase,
+        attempt: 1,
+        revision: 1,
+        status: "RUNNING"
+    });
+    await recordAgentLifecycle(root, config, "model.requested", {
+        operationId: materialized.operationId ?? currentOperationContext().id ?? contract.task.id,
+        participantId: materialized.id,
+        logicalAgent: selection.logicalAgent,
+        transport: materialized.transport,
+        phase: effectiveOptions.phase ?? materialized.phase
+    });
+    const timeout = Math.max(1, Math.ceil(providerTurnDeadlineMs(config, effectiveOptions) / 1000));
+    const schema = effectiveOptions.outputContract ? outputJsonSchema(effectiveOptions.outputContract) : undefined;
+    const executionLabels = boundPaseoExecutionLabels(effectiveOptions, selection.role, materialized.structuredResultChannelId);
+    const continued = schema
+        ? await continueWithDurableResultReconciliation(root, config, materialized, selection, effectivePrompt, timeout, schema, effectiveOptions, executionLabels)
+        : await continueManagedPaseoAgent(root, materialized.id, effectivePrompt, timeout, undefined, schema, executionLabels);
+    const result = {
+        ...materialized,
+        exitCode: continued.exitCode,
+        stdout: continued.stdout || materialized.stdout,
+        stderr: [materialized.stderr, continued.stderr].filter(Boolean).join("\n"),
+        transport: `paseo-${continued.transport}`,
+        workspaceId: continued.workspaceId ?? materialized.workspaceId,
+        status: continued.status,
+        phase: effectiveOptions.phase ?? materialized.phase,
+        participantId: authority?.participantId ?? materialized.participantId,
+        capabilityLeases: authority?.leases ?? materialized.capabilityLeases,
+        finishedAt: new Date().toISOString()
+    };
+    await recordAgentLifecycle(root, config, "runtime.terminal.observed", {
+        operationId: result.operationId ?? currentOperationContext().id ?? contract.task.id,
+        participantId: materialized.id,
+        logicalAgent: selection.logicalAgent,
+        transport: result.transport,
+        status: result.status,
+        exitCode: result.exitCode,
+        stdoutBytes: Buffer.byteLength(result.stdout),
+        stderrBytes: Buffer.byteLength(result.stderr)
+    });
+    await recordAgentLifecycle(root, config, "model.output.received", {
+        operationId: result.operationId ?? currentOperationContext().id ?? contract.task.id,
+        participantId: materialized.id,
+        logicalAgent: selection.logicalAgent,
+        outputBytes: Buffer.byteLength(result.stdout),
+        outputPresent: Boolean(result.stdout.trim())
+    });
+    const finalized = await finalizeOperationSession(root, config, contract, selection, result, effectiveOptions);
+    if (!effectiveOptions.outputContract || finalized.exitCode !== 0)
+        return finalized;
+    const delivery = validateCapturedAgentContract(effectiveOptions.outputContract, finalized.stdout, finalized.stderr);
+    if (delivery.ok)
+        return finalized;
+    const repairPhase = `${effectiveOptions.phase ?? materialized.phase ?? "work"}-contract-repair`;
+    const repairOptions = { ...effectiveOptions, phase: repairPhase };
+    const repairPrompt = await buildEffectivePrompt(root, config, contract, selection, serializationRepairPrompt(effectiveOptions.outputContract, delivery.failure), repairOptions);
+    if (!effectiveOptions.supervisorAgent)
+        await markOperationSessionRunning(root, materialized.id).catch(() => undefined);
+    const repaired = await continueManagedPaseoAgent(root, materialized.id, repairPrompt, timeout, undefined, undefined, executionLabels);
+    const repairedResult = {
+        ...materialized,
+        exitCode: repaired.exitCode,
+        stdout: repaired.stdout,
+        stderr: repaired.stderr,
+        transport: `paseo-${repaired.transport}`,
+        workspaceId: repaired.workspaceId ?? materialized.workspaceId,
+        status: repaired.status,
+        phase: repairPhase,
+        finishedAt: new Date().toISOString()
+    };
+    return finalizeOperationSession(root, config, contract, selection, repairedResult, repairOptions);
+}
+export async function resumeAgentPrompt(root, config, contract, selection, previous, prompt, options = {}) {
+    if (!previous.id)
+        return executeAgentPrompt(root, config, contract, selection, prompt, options);
+    return executeAgentPrompt(root, config, contract, selection, prompt, { ...options, resumeSessionId: previous.id });
+}
+export function validateCapturedAgentContract(contractName, stdout, stderr = "") {
+    try {
+        const parsed = extractMarkedJson(stdout, stderr);
+        const validation = validateAgentOutput(contractName, parsed);
+        return validation.ok
+            ? { ok: true }
+            : { ok: false, failure: `SCHEMA_VALIDATION_FAILED: ${validation.issues.join("; ")}` };
+    }
+    catch (error) {
+        if (error instanceof StructuredOutputError) {
+            return { ok: false, failure: `${error.reason}: ${error.message}` };
+        }
+        return { ok: false, failure: `OUTPUT_CONTRACT_UNKNOWN: ${String(error)}` };
+    }
+}
+function serializationRepairPrompt(contractName, failure) {
+    return [
+        `Your previous task is complete. Only repair delivery for the '${contractName}' output contract.`,
+        "Do not inspect files, run tools, repeat the task, add new findings, or change conclusions.",
+        `The prior delivery failed structured serialization: ${failure ?? "unknown contract failure"}.`,
+        "Serialize only the result already present in this session into the requested contract.",
+        "If aeh_submit_result is available, submit the contract object through that tool; a successful durable submission is authoritative and no marker is required.",
+        "Only if the result tool is unavailable, return exactly one plain-text marker line and nothing else:",
+        "AEH_RESULT_JSON=<valid compact JSON>",
+        "For the marker fallback use ordinary ASCII JSON double quotes (U+0022); do not use Markdown fences or typographic quotes."
+    ].join("\n");
+}
+async function executeViaPaseo(root, config, contract, selection, prompt, options = {}) {
+    const spec = await compilePaseoAgentLaunchSpec(root, config, contract, {
+        selection,
+        phase: options.phase ?? "work",
+        kind: options.operationKind,
+        parentAgentId: options.parentAgentId,
+        supervisorAgent: options.supervisorAgent,
+        contextCapabilities: options.contextCapabilities,
+        providerTurnDeadlineMs: options.providerTurnDeadlineMs,
+        supervisorSessionId: options.supervisorAgent ? options.resumeSessionId ?? options.materializedPaseoSession?.id : undefined,
+        participantId: options.participantId,
+        candidateDigest: options.capabilityAuthority?.candidateDigest,
+        capabilityLeases: options.capabilityAuthority?.leases,
+        executionBinding: options.executionBinding,
+        scratchLease: options.scratchLease ?? options.executionBinding?.scratchLease
+    });
+    attachStructuredResultProvenance(spec.labels, options.structuredResultProvenance, selection.role);
+    const startedAt = new Date().toISOString();
+    const schema = options.outputContract ? outputJsonSchema(options.outputContract) : undefined;
+    if (options.resumeSessionId) {
+        await recordProviderTurnStarted(root, options, "paseo");
+        const continued = await continueManagedPaseoAgent(root, options.resumeSessionId, prompt, spec.timeoutSeconds, undefined, schema, spec.labels, spec.permissionScopeRoots);
+        return session(selection, continued.exitCode, continued.stdout, continued.stderr, {
+            id: options.resumeSessionId,
+            nativeAgent: spec.nativeAgentId ?? selection.nativeAgent,
+            transport: `paseo-${continued.transport}`,
+            workspaceId: continued.workspaceId ?? spec.workspaceId,
+            title: spec.title,
+            operationId: spec.operationId,
+            operationKind: spec.operationKind,
+            operationRevision: Number.isInteger(Number(spec.labels["aeh.operation.revision"])) ? Number(spec.labels["aeh.operation.revision"]) : undefined,
+            supervisorGeneration: spec.supervisorGeneration,
+            phase: spec.phase,
+            status: continued.status,
+            startedAt,
+            finishedAt: new Date().toISOString(),
+            ...(continued.efficiencyTelemetry ? { efficiencyTelemetry: continued.efficiencyTelemetry } : {}),
+            ...(continued.permission ? { permissionStopDiagnostic: continued.permission } : {}),
+            participantId: options.participantId,
+            capabilityLeases: options.capabilityAuthority?.leases
+        });
+    }
+    if (options.materializedPaseoSession) {
+        const materialized = options.materializedPaseoSession;
+        if (!materialized.id || materialized.id !== options.executionBinding?.runtime.sessionId)
+            throw new Error("EXECUTION_BINDING_RUNTIME_SESSION_MISMATCH: materialized Paseo session does not match the frozen binding before first-turn dispatch.");
+        const timeout = spec.timeoutSeconds;
+        await recordProviderTurnStarted(root, options, "paseo");
+        const continued = await continueManagedPaseoAgent(root, materialized.id, prompt, timeout, undefined, schema, spec.labels, spec.permissionScopeRoots);
+        if (continued.id && continued.id !== materialized.id)
+            throw new Error("EXECUTION_BINDING_RUNTIME_SESSION_MISMATCH: Paseo continuation returned a different provider agent id than the materialized session.");
+        if (!options.supervisorAgent)
+            await markOperationSessionRunning(root, materialized.id).catch(() => undefined);
+        return {
+            ...materialized,
+            exitCode: continued.exitCode,
+            stdout: continued.stdout || materialized.stdout,
+            stderr: [materialized.stderr, continued.stderr].filter(Boolean).join("\n"),
+            transport: `paseo-${continued.transport}`,
+            workspaceId: continued.workspaceId ?? materialized.workspaceId,
+            status: continued.status,
+            startedAt,
+            finishedAt: new Date().toISOString(),
+            ...(continued.efficiencyTelemetry ? { efficiencyTelemetry: continued.efficiencyTelemetry } : {}),
+            ...(continued.permission ? { permissionStopDiagnostic: continued.permission } : {})
+        };
+    }
+    if (options.executionBinding)
+        throw new Error("PASEO_EXECUTION_SESSION_PREPARATION_REQUIRED: a fresh binding-bearing Paseo launch must continue an already materialized actual session.");
+    const launched = await launchManagedPaseoAgent(root, {
+        cwd: spec.cwd,
+        title: spec.title,
+        provider: spec.provider,
+        model: spec.model,
+        modeId: spec.modeId,
+        modeSource: spec.modeSource,
+        thinkingOptionId: spec.thinkingOptionId,
+        env: spec.env,
+        mcpServers: spec.mcpServers,
+        toolPolicy: spec.toolPolicy,
+        providerOptions: spec.providerOptions,
+        featureValues: spec.featureValues,
+        workspaceId: spec.workspaceId,
+        prompt,
+        outputSchema: schema,
+        labels: spec.labels,
+        timeoutSeconds: spec.timeoutSeconds,
+        permissionScopeRoots: spec.permissionScopeRoots
+    });
+    if (launched.id && !options.supervisorAgent)
+        await markOperationSessionRunning(root, launched.id).catch(() => undefined);
+    return session(selection, launched.exitCode, launched.stdout, launched.stderr, {
+        id: launched.id,
+        nativeAgent: spec.nativeAgentId ?? selection.nativeAgent,
+        transport: `paseo-${launched.transport}`,
+        workspaceId: launched.workspaceId ?? spec.workspaceId,
+        title: spec.title,
+        operationId: spec.operationId,
+        operationKind: spec.operationKind,
+        operationRevision: Number.isInteger(Number(spec.labels["aeh.operation.revision"])) ? Number(spec.labels["aeh.operation.revision"]) : undefined,
+        supervisorGeneration: spec.supervisorGeneration,
+        phase: spec.phase,
+        status: launched.status,
+        startedAt,
+        finishedAt: new Date().toISOString(),
+        ...(launched.efficiencyTelemetry ? { efficiencyTelemetry: launched.efficiencyTelemetry } : {}),
+        ...(launched.permission ? { permissionStopDiagnostic: launched.permission } : {}),
+        participantId: options.participantId,
+        capabilityLeases: options.capabilityAuthority?.leases
+    });
+}
+async function executeDirect(root, config, selection, prompt, options) {
+    const startedAt = new Date().toISOString();
+    await recordProviderTurnStarted(root, options, selection.runtimeAdapter);
+    const executionEnv = boundedExecutionEnvironment(selection, options);
+    if (selection.runtimeAdapter === "opencode") {
+        const projection = compileOpenCodeRuntimeProjection(selection, config, options.contextCapabilities, options.scratchLease ? [options.scratchLease.path] : undefined, root);
+        const args = ["opencode", "run", "--auto", "--format", "json", "--model", selection.modelId];
+        const sessionId = options.resumeSessionId ?? options.executionSessionId;
+        if (sessionId)
+            args.push("--session", sessionId);
+        if (selection.variant)
+            args.push("--variant", selection.variant);
+        args.push("--agent", projection.binding.agentId, ...selection.args, prompt);
+        const result = await runDirectWorkerProcess("opencode", args.slice(1), config, { cwd: root, timeoutMs: providerTurnDeadlineMs(config, options), environment: { ...withDirectContextIdentity(projection.env, root, selection, options), ...executionEnv }, homeDirectory: options.directWorkerHome?.directory });
+        const observedSessionId = extractSessionId(result.stdout);
+        if ((options.executionBinding || options.outputContract) && (!observedSessionId || observedSessionId !== sessionId))
+            throw new Error("EXECUTION_BINDING_RUNTIME_SESSION_MISMATCH: OpenCode result did not identify the exact durable session frozen in the binding.");
+        return session(selection, result.exitCode, result.stdout, result.stderr, { id: observedSessionId ?? sessionId, nativeAgent: projection.binding.agentId, ...directMetadata(options, startedAt) });
+    }
+    if (selection.runtimeAdapter === "codex")
+        return executeCodex(root, config, selection, prompt, options, startedAt, executionEnv);
+    throw new Error(`No direct runtime adapter for ${selection.runtimeAdapter}`);
+}
+async function recordProviderTurnStarted(root, options, provider) {
+    const binding = options.executionBinding;
+    if (!binding)
+        return;
+    const admittedUntil = Date.now() + Math.max(1, (await loadOperation(root, binding.operationId)).resolvedOperationPolicy?.executionLiveness.progressLeaseMs ?? 15 * 60_000);
+    for (;;) {
+        const operation = await loadOperation(root, binding.operationId);
+        if (operation.ownerEconomicBoundary)
+            throw new Error(`OWNER_DECISION_REQUIRED: ${operation.ownerEconomicBoundary.reason}`);
+        const participant = operation.participants[binding.participantId];
+        const liveness = participant?.executionLiveness;
+        if (!participant?.executionBinding || participant.executionBinding.digest !== binding.digest || !liveness)
+            throw new Error("PARTICIPANT_PROVIDER_TURN_START_REJECTED: the frozen participant binding is stale or terminal.");
+        if (["SUCCEEDED", "FAILED", "CANCELLED"].includes(operation.status) || ["COMPLETED", "FAILED", "BLOCKED", "CANCELLED"].includes(participant.status))
+            throw new Error("PARTICIPANT_PROVIDER_TURN_START_REJECTED: operation or participant reached a terminal state during bounded recovery.");
+        const hardDeadline = Date.parse(operation.origin?.rootHardDeadlineAt ?? new Date(Date.parse(operation.createdAt) + (operation.resolvedOperationPolicy?.executionLiveness.hardDeadlineMs ?? 8 * 60 * 60_000)).toISOString());
+        if (Date.now() >= hardDeadline)
+            throw new Error("OPERATION_HARD_DEADLINE_REACHED: no provider turn may start beyond the Owner-delegated hard deadline.");
+        if (liveness.providerTurns >= operation.resolvedOperationPolicy.economicEnvelope.hardProviderTurns) {
+            await recordParticipantExecutionActivityV1(root, binding.operationId, binding.participantId, {
+                kind: "PROVIDER_TURN_STARTED",
+                evidenceId: `provider-turn-attempt:${binding.runtime.sessionId}:${randomUUID()}`,
+                evidenceDigest: sha256Canonical({ provider, model: binding.runtime.model, sessionId: binding.runtime.sessionId, generation: binding.participantGeneration })
+            });
+            if (Date.now() >= admittedUntil)
+                throw new Error("PARTICIPANT_PROVIDER_TURN_CEILING_REACHED: the per-participant hard turn ceiling remains exhausted after bounded Supervisor/Lead recovery.");
+            await new Promise((resolve) => setTimeout(resolve, Math.min(1_000, admittedUntil - Date.now())));
+            continue;
+        }
+        if (liveness.providerTurns >= liveness.currentProviderTurnBudget) {
+            if (Date.now() >= admittedUntil)
+                throw new Error("SUPERVISOR_RECOVERY_WINDOW_EXPIRED: no authorized Supervisor or Lead renewed the participant provider-turn allowance within the current progress lease.");
+            await new Promise((resolve) => setTimeout(resolve, Math.min(1_000, admittedUntil - Date.now())));
+            continue;
+        }
+        const event = await recordParticipantExecutionActivityV1(root, binding.operationId, binding.participantId, {
+            kind: "PROVIDER_TURN_STARTED",
+            evidenceId: `provider-turn-attempt:${binding.runtime.sessionId}:${randomUUID()}`,
+            evidenceDigest: sha256Canonical({ provider, model: binding.runtime.model, sessionId: binding.runtime.sessionId, generation: binding.participantGeneration })
+        });
+        if (event)
+            return;
+    }
+}
+async function executeCodex(root, config, selection, prompt, options, startedAt, executionEnv) {
+    const schema = options.outputContract ? outputJsonSchema(options.outputContract) : undefined;
+    const temp = schema ? await fs.mkdtemp(path.join(options.scratchLease?.path ?? os.tmpdir(), "aeh-codex-schema-")) : undefined;
+    try {
+        const schemaFile = temp ? path.join(temp, "schema.json") : undefined;
+        const outputFile = temp ? path.join(temp, "output.json") : undefined;
+        if (schemaFile)
+            await fs.writeFile(schemaFile, `${JSON.stringify(schema, null, 2)}\n`);
+        const sessionId = options.resumeSessionId ?? options.executionSessionId;
+        const args = sessionId
+            ? ["codex", "exec", "resume", sessionId, "--json", "--model", selection.modelName]
+            : ["codex", "exec", "--json", "--model", selection.modelName];
+        if (schemaFile && outputFile)
+            args.push("--output-schema", schemaFile, "-o", outputFile);
+        args.push(...selection.args, ...codexPermissionArgs(selection, options.scratchLease?.path), prompt);
+        const result = await runDirectWorkerProcess(args[0], args.slice(1), config, { cwd: root, timeoutMs: providerTurnDeadlineMs(config, options), environment: { ...executionEnv, ...(options.directWorkerHome ? { CODEX_HOME: options.directWorkerHome.directory } : {}) }, homeDirectory: options.directWorkerHome?.directory });
+        let stdout = result.stdout;
+        if (outputFile) {
+            try {
+                stdout = await fs.readFile(outputFile, "utf8");
+            }
+            catch { /* event stream fallback */ }
+        }
+        const id = extractSessionId(result.stdout);
+        if ((options.executionBinding || options.outputContract) && (!id || id !== sessionId))
+            throw new Error("EXECUTION_BINDING_RUNTIME_SESSION_MISMATCH: Codex result did not identify the exact durable thread frozen in the binding.");
+        return session(selection, result.exitCode, stdout, [result.stderr, outputFile ? `CODEX_EVENT_STREAM:\n${result.stdout}` : ""].filter(Boolean).join("\n"), { id, ...directMetadata(options, startedAt) });
+    }
+    finally {
+        if (temp)
+            await fs.rm(temp, { recursive: true, force: true });
+    }
+}
+function codexPermissionArgs(selection, scratchPath) {
+    const args = [];
+    if (selection.permissions.write === "deny")
+        args.push("--sandbox", "read-only");
+    else if (selection.permissions.write === "allow") {
+        args.push("--sandbox", "workspace-write");
+        if (scratchPath)
+            args.push("-c", "sandbox_workspace_write.exclude_slash_tmp=true", "-c", `sandbox_workspace_write.writable_roots=${JSON.stringify([scratchPath])}`);
+    }
+    if (selection.permissions.shell === "deny")
+        args.push("--ask-for-approval", "never");
+    if (selection.permissions.network === "deny")
+        args.push("-c", "sandbox_workspace_write.network_access=false");
+    return args;
+}
+function providerTurnDeadlineMs(config, options) {
+    const configured = options.providerTurnDeadlineMs ?? config.orchestration?.operations?.liveness?.providerTurnDeadlineMs ?? 30 * 60_000;
+    if (!Number.isSafeInteger(configured) || configured < 1)
+        throw new Error("PROVIDER_TURN_DEADLINE_INVALID: provider-turn deadline must be a positive integer in milliseconds.");
+    return configured;
+}
+function withDirectContextIdentity(environment, root, selection, options) {
+    const serialized = environment.OPENCODE_CONFIG_CONTENT;
+    if (!serialized)
+        return environment;
+    try {
+        const config = JSON.parse(serialized);
+        const context = config.mcp?.["aeh-context"];
+        if (!context)
+            return environment;
+        const participantId = options.capabilityAuthority?.participantId ?? options.executionBinding?.participantId;
+        if (!participantId) {
+            delete config.mcp?.["aeh-context"];
+            return { ...environment, OPENCODE_CONFIG_CONTENT: JSON.stringify(config) };
+        }
+        context.environment = {
+            ...(context.environment ?? {}),
+            AEH_CONTEXT_ROOT: root,
+            AEH_CONTEXT_CONTROL_ROOT: currentOperationContext().controlRoot ?? process.env.AEH_CONTROL_ROOT ?? root,
+            AEH_CONTEXT_OPERATION_ID: currentOperationContext().id ?? "",
+            AEH_CONTEXT_PARTICIPANT_ID: participantId,
+            AEH_CONTEXT_SESSION_ID: options.executionBinding?.runtime.sessionId ?? options.executionSessionId ?? options.resumeSessionId ?? "",
+            AEH_LOGICAL_AGENT: selection.logicalAgent,
+            AEH_CONTEXT_PHASE: options.phase ?? "work"
+        };
+        return { ...environment, OPENCODE_CONFIG_CONTENT: JSON.stringify(config) };
+    }
+    catch {
+        return environment;
+    }
+}
+async function executePodman(root, config, contract, selection, prompt, options = {}) {
+    if (selection.runtimeAdapter !== "opencode")
+        throw new Error(`Podman prompt execution currently supports OpenCode; selected ${selection.runtimeAdapter}.`);
+    if (options.resumeSessionId)
+        throw new Error("Ephemeral hardened Podman sessions cannot resume a host agent session without an explicit persisted session volume.");
+    const startedAt = new Date().toISOString();
+    const writable = selection.permissions.write === "allow";
+    const sessionId = options.resumeSessionId ?? options.executionSessionId;
+    if (!options.directWorkerHome)
+        throw new Error("EXECUTION_BINDING_SESSION_REQUIRED: Podman execution requires the isolated home containing the prepared OpenCode session.");
+    const args = ["podman", "run", ...hardenedPodmanArgs(config, selection, writable, { persistentIsolatedHome: true })];
+    args.push("-v", `${options.directWorkerHome.directory}:/home/aeh:rw`, "-e", "HOME=/home/aeh", "-e", "XDG_CONFIG_HOME=/home/aeh/.config", "-e", "XDG_CACHE_HOME=/home/aeh/.cache");
+    args.push("-v", `${root}:/workspace:${writable ? "rw" : "ro"}`);
+    if (options.scratchLease)
+        args.push("-v", `${options.scratchLease.path}:${options.scratchLease.path}:rw`);
+    if (writable)
+        for (const relative of sealedArtifacts(config, contract))
+            args.push("-v", `${repositoryPath(root, relative)}:/workspace/${relative}:ro`);
+    const projection = compileOpenCodeRuntimeProjection(selection, config, options.contextCapabilities, options.scratchLease ? [options.scratchLease.path] : undefined, root);
+    args.push("-e", `OPENCODE_CONFIG_CONTENT=${projection.env.OPENCODE_CONFIG_CONTENT}`);
+    for (const [name, value] of Object.entries(boundedExecutionEnvironment(selection, options)))
+        args.push("-e", `${name}=${value}`);
+    for (const [name, value] of Object.entries(allowedSandboxEnvironment(config)))
+        args.push("-e", `${name}=${value}`);
+    args.push(sandboxImage(config), "sh", "-lc");
+    const runtimeArgs = ["opencode", "run", "--auto", "--format", "json", "--model", selection.modelId];
+    if (sessionId)
+        runtimeArgs.push("--session", sessionId);
+    if (selection.variant)
+        runtimeArgs.push("--variant", selection.variant);
+    runtimeArgs.push("--agent", projection.binding.agentId, ...selection.args, prompt);
+    args.push(`cd /workspace && ${runtimeArgs.map(quote).join(" ")}`);
+    const result = await runExecutable(args[0], args.slice(1), { cwd: root, timeoutMs: providerTurnDeadlineMs(config, options) });
+    const observedSessionId = extractSessionId(result.stdout);
+    if ((options.executionBinding || options.outputContract) && (!observedSessionId || observedSessionId !== sessionId))
+        throw new Error("EXECUTION_BINDING_RUNTIME_SESSION_MISMATCH: Podman OpenCode result did not identify the exact durable provider session frozen in the binding.");
+    return session(selection, result.exitCode, result.stdout, result.stderr, { id: observedSessionId ?? sessionId, nativeAgent: projection.binding.agentId, ...directMetadata(options, startedAt, "podman") });
+}
+export async function buildAgentContextFragments(root, config, contract, selection, prompt, options = {}) {
+    const transport = selection.transport === "inherit" ? (config.orchestration?.provider ?? "none") : selection.transport;
+    const operation = currentOperationContext();
+    const operationKind = operation.kind ?? options.operationKind ?? contract.routing?.intent;
+    const policy = compileAgentPromptPolicy(selection, contract, {
+        outputContract: options.outputContract,
+        phase: options.phase ?? "work",
+        operationKind,
+        transport
+    });
+    const frozenSkills = await loadFrozenSkillContext(root, config, contract.task.id, policy.skills);
+    const identity = {
+        logicalAgent: selection.logicalAgent,
+        role: selection.role,
+        operationId: operation.id ?? contract.task.id,
+        operationKind,
+        phase: options.phase ?? "work",
+        interactiveLead: false,
+        orchestrationAllowed: false
+    };
+    const hierarchy = [
+        options.supervisorAgent ? "Operation Supervisor: semantic coordination only; deterministic controller authority remains authoritative." : undefined,
+        options.parentAgentId ? `AEH semantic parent=${options.parentAgentId}; operation state remains lifecycle authority. This participant is an independent top-level Paseo session.` : undefined
+    ].filter(Boolean).join("\n");
+    const contextOutputPolicy = config.context ? outputPolicyInstruction(resolveContextPolicy(config), selection.role) : undefined;
+    const transportCapabilities = options.contextCapabilities ?? await resolveContextTransportCapabilities(root, config, selection, { mode: "live" });
+    const semanticRetrieval = transportCapabilities.semanticRetrieval;
+    const authorizedRetrieval = transportCapabilities.authorizedRetrieval && Boolean(options.capabilityAuthority?.participantId ?? options.executionBinding?.participantId) && Boolean(options.capabilityAuthority?.leases.some((lease) => lease.capability === "read"));
+    const fragments = [];
+    const add = (id, kind, preservation, priority, content, metadata) => {
+        if (content?.trim())
+            fragments.push({ id, kind, preservation, priority, content, metadata });
+    };
+    add("execution-envelope", "execution-envelope", "VERBATIM", 120, [managedBoundedAgentPromptContext(identity), hierarchy].filter(Boolean).join("\n"));
+    add("agent-charter", "agent-charter", "VERBATIM", 115, selection.description);
+    if (semanticRetrieval)
+        add("semantic-retrieval-policy", "skill", "VERBATIM", 110, semanticFirstInstruction(), { provider: "serena" });
+    for (const degradation of transportCapabilities.degradations)
+        add("context-capability-degradation", "handoff", "VERBATIM", 109, `Context capability degradation (explicit, non-authoritative fallback): ${degradation}`, { authoritative: false, source: "context-capability-resolver" });
+    add("frozen-skills", "skill", "VERBATIM", 108, frozenSkills);
+    if (options.skillManifest?.entries.some((entry) => entry.kind === "ephemeral")) {
+        const participantId = options.capabilityAuthority?.participantId ?? options.participantId;
+        if (!participantId || options.skillManifest.scope.participantId !== participantId)
+            throw new Error("SKILL_MANIFEST_ASSIGNMENT_MISMATCH: accepted procedure content is available only to its assigned authorized participant.");
+    }
+    if (options.skillManifest) {
+        for (const entry of options.skillManifest.entries) {
+            if (sha256Canonical(entry.procedure) !== entry.procedureDigest)
+                throw new Error(`SKILL_MANIFEST_INVALID: procedure digest mismatch for '${entry.skillId}'.`);
+        }
+        const procedureText = options.skillManifest.entries.map((entry) => `Skill ${entry.skillId} (${entry.competency})\n${entry.procedure.join("\n")}`).join("\n\n");
+        add("skill-manifest-procedures", "skill", "VERBATIM", 111, procedureText, {
+            participantId: options.skillManifest.scope.participantId,
+            skillManifestDigest: options.skillManifest.digest,
+            skillIds: options.skillManifest.entries.map((entry) => entry.skillId),
+            procedureDigests: options.skillManifest.entries.map((entry) => entry.procedureDigest)
+        });
+    }
+    add("output-delivery-policy", "delivery", "VERBATIM", 105, [contextOutputPolicy, policy.outputContractContext].filter(Boolean).join("\n"));
+    for (const artifact of await normativeArtifacts(root, config, contract)) {
+        add(artifact.id, "normative", "VERBATIM", 125, artifact.content, { authoritative: true, artifact: artifact.path });
+        const fragment = fragments.at(-1);
+        if (fragment)
+            fragment.source = { artifact: artifact.path, sha256: sha256(artifact.content) };
+    }
+    add("task-assignment", "instruction", "VERBATIM", 100, prompt);
+    const operationRoot = process.env.AEH_CONTROL_ROOT?.trim() || root;
+    const stateOperation = identity.operationId ? await loadOperation(operationRoot, identity.operationId).catch(() => undefined) : undefined;
+    if (stateOperation)
+        add("operation-state", "operation", "PROJECTABLE", 80, JSON.stringify(stateOperation), { authoritative: "deterministic-controller" });
+    if (options.parentAgentId)
+        add("structured-handoff-input", "handoff", "PROJECTABLE", 78, JSON.stringify({ parentAgentId: options.parentAgentId, operationId: identity.operationId, phase: identity.phase }), { authoritative: "operation-record" });
+    const validationArtifact = await readOptionalText(root, path.posix.join(config.sdd?.reportsDir ?? ".harness/reports", `${contract.task.id}.json`));
+    if (validationArtifact)
+        add("validation-evidence", "validation", "COMPRESSIBLE", 75, validationArtifact, { artifact: path.posix.join(config.sdd?.reportsDir ?? ".harness/reports", `${contract.task.id}.json`) });
+    const auditArtifact = await latestJsonArtifact(root, ".harness/audits");
+    if (auditArtifact)
+        add("audit-evidence", "audit", "PROJECTABLE", 72, auditArtifact.content, { artifact: auditArtifact.path });
+    const hasGit = await fs.access(path.join(root, ".git")).then(() => true).catch(() => false);
+    const diff = hasGit ? await runExecutable("git", ["diff", "--stat"], { cwd: root, timeoutMs: 15_000 }).catch(() => undefined) : undefined;
+    if (diff?.exitCode === 0 && diff.stdout.trim())
+        add("diff-projection", "diff", "PROJECTABLE", 70, diff.stdout.trim(), { authoritative: "current-git" });
+    const contextPolicy = config.context ? resolveContextPolicy(config) : undefined;
+    if (contextPolicy?.repositoryMap.enabled && transportCapabilities.repositoryMap) {
+        const rendered = await buildRepositoryContextMap(root, config, { allowedPaths: contract.scope?.allowed, explicitPaths: contract.scope?.allowed, maxGraphHops: contextPolicy.repositoryMap.maxGraphHops });
+        add("repository-map", "repository-map", "PROJECTABLE", 90, rendered.content, { provider: rendered.map.provider, selected: rendered.selected, omitted: rendered.omitted });
+    }
+    const memory = await createMemoryProvider(root, config).catch((error) => {
+        if (config.memory?.required)
+            throw error;
+        return undefined;
+    });
+    if (memory) {
+        const recalled = await memory.recall(config.project.name, prompt).catch((error) => {
+            if (config.memory?.required)
+                throw error;
+            return [];
+        });
+        if (recalled.length)
+            add("advisory-memory", "memory", "PROJECTABLE", 45, JSON.stringify({ advisory: true, records: recalled.slice(0, 8) }), { advisory: true, authoritative: false });
+    }
+    if (transportCapabilities.requirements.rawRetrieval !== "FORBIDDEN") {
+        add("raw-evidence-references", "raw-evidence", "RETRIEVABLE", 35, JSON.stringify({ operationId: identity.operationId, note: "Raw evidence remains in durable AEH artifacts; retrieve only through controller-authorized reference IDs." }));
+    }
+    return { fragments, capabilities: { authorizedRetrieval, semanticRetrieval } };
+}
+export async function buildEffectivePrompt(root, config, contract, selection, prompt, options = {}) {
+    return (await buildEffectivePromptIdentity(root, config, contract, selection, prompt, options)).prompt;
+}
+export async function buildEffectivePromptIdentity(root, config, contract, selection, prompt, options = {}) {
+    const preparedFragments = await buildAgentContextFragments(root, config, contract, selection, prompt, options);
+    const identity = currentOperationContext();
+    const operation = identity.id ? await loadOperation(identity.controlRoot ?? root, identity.id).catch(() => undefined) : undefined;
+    const contextManifest = {
+        version: 1,
+        operationId: identity.id ?? contract.task.id,
+        projectId: operation?.candidateRevision?.projectId ?? config.project.name,
+        candidateDigest: operation?.candidateRevision?.identityDigest,
+        participantId: options.capabilityAuthority?.participantId ?? options.participantId,
+        retrievalBudget: resolveContextPolicy(config).retrieval,
+        fragments: preparedFragments.fragments.map((fragment) => ({ id: fragment.id, kind: fragment.kind, preservation: fragment.preservation, contentDigest: sha256Canonical(fragment.content), source: fragment.source, metadata: fragment.metadata }))
+    };
+    let rendered;
+    if (!config.context)
+        rendered = preparedFragments.fragments.map((fragment) => fragment.content).filter(Boolean).join("\n\n");
+    else {
+        const prepared = await prepareContext(root, config, {
+            operationId: identity.id ?? contract.task.id,
+            participantId: options.capabilityAuthority?.participantId ?? options.participantId,
+            logicalAgent: selection.logicalAgent,
+            role: selection.role ?? "worker",
+            phase: options.phase ?? "work",
+            fragments: preparedFragments.fragments,
+            capabilities: preparedFragments.capabilities
+        });
+        rendered = prepared.rendered;
+        contextManifest.envelopeDigest = prepared.envelope.provenance.sha256;
+        contextManifest.deliveredFragments = prepared.envelope.fragments.map((fragment) => ({ id: fragment.id, contentDigest: sha256Canonical(fragment.content), source: fragment.source }));
+        contextManifest.addressableRefs = prepared.envelope.retrieval.allowedFragmentIds.map((refId) => {
+            const fragment = prepared.envelope.fragments.find((candidate) => candidate.id === refId);
+            if (!fragment?.source?.artifact || !fragment.source.sha256)
+                throw new Error(`EXECUTION_BINDING_CONTEXT_MISMATCH: addressable ref '${refId}' lacks durable source provenance.`);
+            return { refId, artifactPath: fragment.source.artifact, sourceDigest: fragment.source.sha256 };
+        });
+    }
+    freezeIdentityObject(contextManifest);
+    const contextManifestDigest = sha256Canonical(contextManifest);
+    const promptManifest = createPromptManifest({ dynamic: [{ id: "actual-rendered-prompt", content: rendered, role: selection.role, source: "agent-prompt-projection" }] });
+    return { prompt: rendered, contextManifest, contextManifestDigest, promptManifestDigest: promptManifest.digest };
+}
+async function normativeArtifacts(root, config, contract) {
+    const candidates = [
+        { id: "task-contract", path: path.posix.join(config.sdd?.contractsDir ?? ".harness/contracts", `${contract.task.id}.yaml`) },
+        { id: "sealed-acceptance", path: path.posix.join(".harness/seals", `${contract.task.id}.json`) },
+        ...Object.entries(contract.source ?? {}).map(([name, value]) => ({ id: `normative-${name}`, path: value }))
+    ];
+    const result = [];
+    for (const candidate of candidates) {
+        if (!candidate.path || candidate.path.includes("..") || path.isAbsolute(candidate.path))
+            continue;
+        try {
+            result.push({ ...candidate, path: candidate.path.replaceAll(path.sep, "/"), content: await fs.readFile(path.resolve(root, candidate.path), "utf8") });
+        }
+        catch { /* optional source artifacts */ }
+    }
+    return result;
+}
+async function readOptionalText(root, relative) {
+    try {
+        return await fs.readFile(path.resolve(root, relative), "utf8");
+    }
+    catch {
+        return undefined;
+    }
+}
+async function latestJsonArtifact(root, relativeDirectory) {
+    const directory = path.resolve(root, relativeDirectory);
+    try {
+        const names = (await fs.readdir(directory)).filter((name) => name.endsWith(".json")).sort();
+        const name = names.at(-1);
+        if (!name)
+            return undefined;
+        return { path: path.posix.join(relativeDirectory, name), content: await fs.readFile(path.join(directory, name), "utf8") };
+    }
+    catch {
+        return undefined;
+    }
+}
+function boundedExecutionEnvironment(selection, options) {
+    const operation = currentOperationContext();
+    const env = buildManagedAgentEnvironment({ logicalAgent: selection.logicalAgent, role: selection.role, operationId: operation.id, operationKind: operation.kind ?? options.operationKind, phase: options.phase ?? "work", interactiveLead: false, orchestrationAllowed: false });
+    if (options.parentAgentId)
+        env.AEH_PARENT_AGENT_ID = options.parentAgentId;
+    if (options.supervisorAgent)
+        env.AEH_OPERATION_SUPERVISOR = "1";
+    if (options.capabilityAuthority) {
+        env.AEH_CAPABILITY_LEASES = JSON.stringify(options.capabilityAuthority.leases);
+        env.AEH_PARTICIPANT_ID = options.capabilityAuthority.participantId;
+        env.AEH_CANDIDATE_DIGEST = options.capabilityAuthority.candidateDigest;
+    }
+    if (options.executionBinding) {
+        env.AEH_EXECUTION_BINDING = JSON.stringify(options.executionBinding);
+        env.AEH_CONTEXT_MANIFEST_DIGEST = options.executionBinding.contextManifestDigest;
+        env.AEH_PROMPT_MANIFEST_DIGEST = options.executionBinding.promptManifestDigest;
+        env.AEH_SKILL_MANIFEST_DIGEST = options.executionBinding.skillManifestDigest;
+    }
+    if (options.scratchLease) {
+        env.TMPDIR = options.scratchLease.path;
+        env.TEMP = options.scratchLease.path;
+        env.TMP = options.scratchLease.path;
+        env.AEH_SCRATCH_RESOURCE = options.scratchLease.resourceId;
+        env.AEH_SCRATCH_DIGEST = options.scratchLease.digest;
+    }
+    return env;
+}
+function directMetadata(options, startedAt, transport = "direct") {
+    const operation = currentOperationContext();
+    return { transport, operationId: operation.id, operationKind: operation.kind ?? options.operationKind, phase: options.phase ?? "work", status: "finished", startedAt, finishedAt: new Date().toISOString() };
+}
+function scratchAwarePrompt(prompt, lease) {
+    const marker = `AEH private scratch directory: ${lease.path}`;
+    if (prompt.includes(marker))
+        return prompt;
+    return `${prompt}\n\n${marker}\nUse TMPDIR, TEMP, or TMP for temporary files. Keep temporary output inside this directory.`;
+}
+async function markOperationSessionRunning(root, agentId) {
+    const operationId = currentOperationContext().id;
+    if (!operationId)
+        return;
+    // Runtime session ids are provenance; only a durably registered work participant is marked.
+    await updateRegisteredOperationParticipant(root, operationId, agentId, { status: "RUNNING" });
+}
+async function continueWithDurableResultReconciliation(root, config, materialized, selection, prompt, timeoutSeconds, outputSchema, options, executionIdentityLabels) {
+    const operationId = materialized.operationId ?? currentOperationContext().id;
+    if (!operationId || !materialized.id || !options.outputContract) {
+        return continueManagedPaseoAgent(root, materialized.id, prompt, timeoutSeconds, undefined, outputSchema, executionIdentityLabels);
+    }
+    const normal = continueManagedPaseoAgent(root, materialized.id, prompt, timeoutSeconds, undefined, outputSchema, executionIdentityLabels);
+    const reconciled = waitForAcceptedResult(root, materialized.id, {
+        operationId,
+        participantId: materialized.id,
+        logicalAgent: selection.logicalAgent,
+        role: selection.role,
+        contract: options.outputContract,
+        phase: options.phase ?? materialized.phase,
+        operationRevision: materialized.operationRevision,
+        supervisorGeneration: materialized.supervisorGeneration
+    }, Math.max(1, timeoutSeconds) * 1000, async (accepted) => {
+        await stopManagedPaseoAgent(root, materialized.id).catch(() => undefined);
+        await recordAgentLifecycle(root, config, "runtime.terminal.reconciled", {
+            operationId,
+            participantId: materialized.id,
+            logicalAgent: selection.logicalAgent,
+            artifact: accepted.artifact,
+            turnId: accepted.turnId,
+            channelId: accepted.channelId,
+            source: accepted.source,
+            reason: "durable-result-without-runtime-terminal-event"
+        });
+    });
+    const winner = await Promise.race([normal, reconciled]);
+    return winner ?? normal;
+}
+async function waitForAcceptedResult(root, agentId, expected, timeoutMs, onAccepted) {
+    const deadline = Date.now() + timeoutMs;
+    for (;;) {
+        const accepted = await acceptedStructuredResultForAgent(root, agentId, expected).catch(() => undefined);
+        if (accepted) {
+            await onAccepted(accepted);
+            return {
+                id: agentId,
+                exitCode: 0,
+                stdout: JSON.stringify(accepted.payload),
+                stderr: "",
+                status: "idle",
+                transport: "sdk",
+                observation: "sdk-run"
+            };
+        }
+        if (Date.now() >= deadline)
+            return undefined;
+        await new Promise((resolve) => setTimeout(resolve, 250));
+    }
+}
+/**
+ * The durable operation state root that owns transcripts, accepted structured results, and
+ * receipts. Isolated candidate-mutation runs execute in a disposable worktree but must still
+ * persist and resolve operation artifacts under the operation's control root.
+ */
+export function operationArtifactRoot(root) {
+    return currentOperationContext().controlRoot ?? root;
+}
+async function persistEfficiencyObservations(root, config, selection, session, options, stateRoot, operationId, resultStatus) {
+    if (!session.executionBinding)
+        return;
+    try {
+        const operation = await loadOperation(stateRoot, operationId);
+        const candidate = operation.candidateRevision;
+        const participantId = options.capabilityAuthority?.participantId ?? options.participantId ?? session.participantId;
+        if (!candidate || !participantId)
+            return;
+        const role = selection.role;
+        const phase = session.phase ?? options.phase ?? "work";
+        const usage = participantUsageObservationFromSession({
+            operationId,
+            participantId,
+            role,
+            phase,
+            candidate,
+            session,
+            providerTelemetry: session.efficiencyTelemetry,
+            resultStatus,
+            // Registry-driven fallback observation rides the frozen selection; untagged selections
+            // record fallbackUsed=false (fail-closed, no silent fallback).
+            fallback: modelFallbackObservationV2FromV1(selection.modelFallback ?? noModelFallbackV1())
+        });
+        if (usage)
+            await recordParticipantUsageObservation(stateRoot, config, usage).catch(() => false);
+        const providerTelemetry = session.efficiencyTelemetry;
+        if (providerTelemetry?.toolCalls.length) {
+            await recordToolCallObservations(stateRoot, config, {
+                operationId,
+                participantId,
+                role,
+                phase,
+                candidate,
+                operationExecutionRevision: session.executionBinding.operationExecutionRevision,
+                controllerEpoch: session.executionBinding.controllerEpoch,
+                participantGeneration: session.executionBinding.participantGeneration,
+                sessionId: session.executionBinding.runtime.sessionId,
+                observations: providerTelemetry.toolCalls
+            }).catch(() => 0);
+        }
+    }
+    catch {
+        // Efficiency telemetry is local, optional evidence. Observation failure never affects delivery or acceptance.
+    }
+}
+async function finalizeOperationSession(root, config, contract, selection, observed, options) {
+    const operationId = observed.operationId ?? currentOperationContext().id ?? contract.task.id;
+    // Operation state (participants, receipts, revisions) always lives under the authoritative
+    // operation state root. Isolated candidate-mutation runs execute in a disposable worktree, so
+    // resolving state through the execution root would silently no-op or target the wrong record.
+    const operationStateRoot = operationArtifactRoot(root);
+    let result = observed;
+    let accepted;
+    let contractDelivery;
+    if (options.outputContract && observed.exitCode === 0) {
+        const provenance = options.structuredResultProvenance;
+        const provenanceFailure = !provenance || provenance.status !== "BOUND"
+            ? `AEH_RESULT_PROVENANCE_INCOMPLETE: output contract '${options.outputContract}' lacks complete immutable execution identity${provenance?.unsupported.length ? `: ${provenance.unsupported.join(", ")}` : "."}`
+            : undefined;
+        const durable = observed.id
+            && !provenanceFailure
+            ? await acceptedStructuredResultForAgent(root, observed.id, {
+                operationId,
+                participantId: observed.id,
+                logicalAgent: selection.logicalAgent,
+                role: selection.role,
+                contract: options.outputContract,
+                phase: observed.phase ?? options.phase,
+                operationRevision: provenance?.operationRevision,
+                supervisorGeneration: observed.supervisorGeneration,
+                provenance: provenance ? { ...provenance } : undefined,
+                requireBoundProvenance: true,
+                verifyCurrentCandidate: true
+            }).catch(() => undefined)
+            : undefined;
+        const resolution = provenanceFailure
+            ? { ok: false, failure: provenanceFailure }
+            : durable
+                ? { ok: true, accepted: durable }
+                : await reconcileStructuredResult(root, {
+                    operationId,
+                    agentId: observed.id,
+                    logicalAgent: selection.logicalAgent,
+                    role: selection.role,
+                    taskId: contract.task.id,
+                    contract: options.outputContract,
+                    phase: observed.phase ?? options.phase,
+                    provenance,
+                    stdout: observed.stdout,
+                    stderr: observed.stderr
+                });
+        contractDelivery = resolution.ok
+            ? { ok: true }
+            : { ok: false, failure: resolution.failure ?? `invalid ${options.outputContract} output contract` };
+        await recordAgentLifecycle(root, config, "output.parsed", {
+            operationId,
+            participantId: observed.id,
+            logicalAgent: selection.logicalAgent,
+            phase: observed.phase ?? options.phase,
+            parsed: contractDelivery.ok,
+            failure: contractDelivery.failure
+        });
+        if (resolution.accepted) {
+            accepted = resolution.accepted;
+            result = { ...observed, stdout: JSON.stringify(resolution.accepted.payload) };
+            await recordAgentLifecycle(root, config, "result.persisted", {
+                operationId,
+                participantId: observed.id,
+                logicalAgent: selection.logicalAgent,
+                artifact: accepted.artifact,
+                turnId: accepted.turnId,
+                channelId: accepted.channelId,
+                source: accepted.source
+            });
+            await recordAgentLifecycle(root, config, "result.acknowledged", {
+                operationId,
+                participantId: observed.id,
+                logicalAgent: selection.logicalAgent,
+                artifact: accepted.artifact,
+                turnId: accepted.turnId,
+                turnRevision: accepted.turnId
+            });
+        }
+    }
+    if (options.supervisorAgent) {
+        await persistEfficiencyObservations(root, config, selection, result, options, operationStateRoot, operationId);
+        return result;
+    }
+    const turnStamp = (observed.finishedAt ?? new Date().toISOString()).replace(/[^0-9A-Za-z]+/g, "-");
+    const transcriptArtifact = await persistOperationAgentArtifact(operationStateRoot, operationId, `${selection.logicalAgent}-${observed.id ?? "no-session"}-${turnStamp}`, {
+        logicalAgent: selection.logicalAgent,
+        role: selection.role,
+        phase: observed.phase ?? options.phase,
+        outputContract: options.outputContract,
+        contractDelivery,
+        structuredResultArtifact: accepted?.artifact,
+        session: observed
+    }).catch(() => undefined);
+    await recordAgentLifecycle(root, config, "artifact.persisted", {
+        operationId,
+        participantId: observed.id,
+        logicalAgent: selection.logicalAgent,
+        artifact: transcriptArtifact,
+        structuredResultArtifact: accepted?.artifact
+    });
+    if (!observed.id)
+        return result;
+    // The runtime session participant carries the per-turn lifecycle (registration, status,
+    // artifacts). The controller-issued launch identity, when present, is the durable bounded-work
+    // identity that owns the receipt; the session id remains receipt provenance in `sessionId`.
+    const sessionParticipantId = observed.id;
+    const receiptParticipantId = options.capabilityAuthority?.participantId ?? options.participantId ?? observed.id;
+    let operation = await loadOperation(operationStateRoot, operationId).catch(() => undefined);
+    if (operation && !operation.participants[sessionParticipantId]) {
+        await registerOperationAgent(operationStateRoot, operationId, {
+            id: sessionParticipantId,
+            logicalAgent: selection.logicalAgent,
+            role: selection.role,
+            phase: observed.phase ?? options.phase,
+            workspaceId: observed.workspaceId,
+            transport: observed.transport?.includes("cli") ? "cli" : "sdk"
+        }).catch(() => undefined);
+        operation = await loadOperation(operationStateRoot, operationId).catch(() => undefined);
+    }
+    const contractFailure = contractDelivery && !contractDelivery.ok
+        ? contractDelivery.failure ?? `invalid ${options.outputContract ?? "agent"} output contract`
+        : undefined;
+    const failed = observed.exitCode !== 0 || Boolean(contractFailure);
+    await persistEfficiencyObservations(root, config, selection, result, options, operationStateRoot, operationId, failed ? "FAILED" : "SUCCEEDED");
+    await updateOperationParticipant(operationStateRoot, operationId, sessionParticipantId, {
+        logicalAgent: selection.logicalAgent,
+        role: selection.role,
+        stage: observed.phase ?? options.phase,
+        phase: observed.phase ?? options.phase,
+        parentAgentId: options.parentAgentId ?? operation?.participants[sessionParticipantId]?.parentAgentId,
+        parentSupervisorGeneration: operation?.participants[sessionParticipantId]?.parentSupervisorGeneration,
+        workspaceId: observed.workspaceId,
+        transport: observed.transport,
+        status: failed ? "FAILED" : "COMPLETED",
+        resultArtifact: accepted?.artifact ?? transcriptArtifact,
+        error: failed ? ((contractFailure ?? observed.stderr) || `agent exited with ${observed.exitCode}`) : undefined
+    }).catch(() => undefined);
+    const afterParticipant = await loadOperation(operationStateRoot, operationId).catch(() => undefined);
+    const receiptArtifact = accepted?.artifact ?? transcriptArtifact;
+    if (!failed && afterParticipant?.candidateRevision && receiptArtifact) {
+        const artifactPath = path.resolve(operationStateRoot, receiptArtifact);
+        const artifactContent = await fs.readFile(artifactPath).catch(() => undefined);
+        if (artifactContent) {
+            const artifactDigest = sha256(artifactContent);
+            const outcome = "SUCCEEDED";
+            const observedAt = new Date().toISOString();
+            await recordParticipantReceipt(operationStateRoot, operationId, {
+                version: 1,
+                receiptId: `receipt:${receiptParticipantId}:${observedAt}`,
+                operationId,
+                participantId: receiptParticipantId,
+                sessionId: observed.id,
+                attempt: 1,
+                parentParticipantId: options.parentAgentId,
+                supervisorGeneration: afterParticipant.participants[sessionParticipantId]?.parentSupervisorGeneration,
+                role: selection.role,
+                phase: observed.phase ?? options.phase,
+                startedAt: observed.startedAt,
+                finishedAt: observed.finishedAt ?? observedAt,
+                outputContract: options.outputContract,
+                outputDigest: sha256(observed.stdout),
+                artifactRef: receiptArtifact,
+                candidate: afterParticipant.candidateRevision,
+                outcome,
+                runtimeTerminal: { kind: "runtime-terminal", eventId: `runtime:${observed.id}:${observedAt}`, observedAt, terminal: true, status: outcome, exitCode: observed.exitCode },
+                contract: { contractId: options.outputContract ?? `task:${contract.task.id}`, contractDigest: sha256(JSON.stringify({ task: contract.task, outputContract: options.outputContract ?? "worker-result" })), valid: true },
+                artifact: { artifactId: receiptArtifact, artifactDigest, persisted: true, persistedAt: observedAt },
+                provenance: { provenanceId: `provenance:${operationId}:${observed.id}:${observedAt}`, provenanceDigest: sha256(`${afterParticipant.candidateRevision.identityDigest}:${artifactDigest}:${observed.id}`), source: "aeh-worker-finalization", valid: true },
+                settled: true,
+                createdAt: observedAt
+            });
+        }
+        else if (!failed) {
+            throw new Error(`V2_RECEIPT_REJECTED: participant artifact '${receiptArtifact}' could not be read for terminal evidence.`);
+        }
+    }
+    else if (!failed && afterParticipant?.candidateRevision) {
+        throw new Error("V2_RECEIPT_REJECTED: successful participant completion has no persisted artifact.");
+    }
+    await recordAgentLifecycle(root, config, "participant.marked_terminal", {
+        operationId,
+        participantId: observed.id,
+        logicalAgent: selection.logicalAgent,
+        status: failed ? "FAILED" : "COMPLETED",
+        artifact: accepted?.artifact ?? transcriptArtifact,
+        contractValid: !contractFailure
+    });
+    const settled = await loadOperation(operationStateRoot, operationId).catch(() => undefined);
+    const observedStartedMs = observed.startedAt ? Date.parse(observed.startedAt) : Number.NaN;
+    await recordAgentLifecycle(root, config, "participant.settled", {
+        operationId,
+        participantId: observed.id,
+        logicalAgent: selection.logicalAgent,
+        transport: observed.transport,
+        participantStatus: settled?.participants[observed.id]?.status,
+        operationStatus: settled?.status,
+        operationRevision: settled?.revision,
+        ...(Number.isFinite(observedStartedMs) ? { durationMs: Math.max(0, Date.now() - observedStartedMs) } : {})
+    });
+    return result;
+}
+/**
+ * Reserve the provider's durable session before freezing ExecutionBinding.
+ * OpenCode and Codex have idle-session APIs. Paseo uses the separate managed
+ * idle-agent materialization path before binding and first-turn dispatch.
+ * Podman prepares the same OpenCode home that is mounted into the hardened
+ * execution container.
+ */
+export async function prepareRuntimeSession(root, config, selection, options, authority, transport, onHome) {
+    if (options.resumeSessionId)
+        return options.resumeSessionId;
+    if (options.executionSessionId)
+        return options.executionSessionId;
+    if (transport === "paseo")
+        throw new Error("PASEO_EXECUTION_SESSION_PREPARATION_REQUIRED: bind the actual id returned by idle Paseo materialization before the first prompt.");
+    if (transport !== "direct" && transport !== "podman")
+        throw new Error(`EXECUTION_BINDING_SESSION_UNSUPPORTED: transport '${transport}' has no approved pre-prompt session materialization boundary.`);
+    if (transport === "podman" && selection.runtimeAdapter !== "opencode")
+        throw new Error("EXECUTION_BINDING_SESSION_UNSUPPORTED: hardened Podman session preparation currently supports only OpenCode.");
+    const home = await createDirectWorkerHome(selection.runtimeAdapter);
+    onHome?.(home);
+    try {
+        const explicit = boundedExecutionEnvironment(selection, { ...options, capabilityAuthority: authority });
+        let environment = buildDirectWorkerEnvironment(config, explicit, home.directory);
+        if (selection.runtimeAdapter === "opencode") {
+            const projection = compileOpenCodeRuntimeProjection(selection, config, options.contextCapabilities, options.scratchLease ? [options.scratchLease.path] : undefined, root);
+            environment = buildDirectWorkerEnvironment(config, { ...withDirectContextIdentity(projection.env, root, selection, options), ...explicit }, home.directory);
+            return await prepareOpenCodeSession({ cwd: root, environment, home, timeoutMs: providerTurnDeadlineMs(config, options) });
+        }
+        if (selection.runtimeAdapter === "codex") {
+            const sandbox = selection.permissions.write === "deny" ? "read-only" : selection.permissions.write === "allow" ? "workspace-write" : "danger-full-access";
+            const approvalPolicy = selection.permissions.shell === "deny" ? "never" : "on-request";
+            return await prepareCodexThread({ cwd: root, environment, home, timeoutMs: providerTurnDeadlineMs(config, options), model: selection.modelName, modelProvider: selection.modelProvider, sandbox, approvalPolicy });
+        }
+        throw new Error(`EXECUTION_BINDING_SESSION_UNSUPPORTED: direct runtime '${selection.runtimeAdapter}' has no approved idle-session API.`);
+    }
+    catch (error) {
+        await removeDirectWorkerHome(home);
+        throw error;
+    }
+}
+async function resolveStructuredResultProvenance(root, config, contract, selection, options, authority) {
+    const context = currentOperationContext();
+    const operationId = authority?.operationId ?? context.id;
+    if (!operationId)
+        throw new Error("AEH_RESULT_PROVENANCE_UNSUPPORTED: output-contract participants require a managed operation identity.");
+    const stateRoot = context.controlRoot ?? root;
+    // A detached distributed worker has no operation state root: the controller-issued
+    // ExecutionAuthorityV1 + released ExecutionBindingV3 are its complete launch identity. The
+    // durable operation record is loaded when present (controller/isolated root) and its checks are
+    // strictly applied; when absent the same binding/blueprint equality is validated against the
+    // controller-issued authority and frozen blueprint instead (AEH-V2-0131).
+    const operation = await loadOperation(stateRoot, operationId).catch(() => undefined);
+    const candidate = authority?.candidateRevision ?? operation?.candidateRevision;
+    const previous = options.resumeSessionId ? await structuredResultProvenanceForAgent(stateRoot, options.resumeSessionId) : undefined;
+    if (previous?.status === "BOUND") {
+        if (!operation)
+            throw new Error("AEH_RESULT_PROVENANCE_INCOMPLETE: a resumed structured-result channel requires the owning operation state root.");
+        assertResultProvenanceMatchesExecution(previous, operation, contract, selection, options, options.continueBoundSession === true);
+        return previous;
+    }
+    if (previous && previous.status !== "UNSUPPORTED")
+        throw new Error("AEH_RESULT_PROVENANCE_INCOMPLETE: only an inert pending Paseo channel can be finalized for a new binding.");
+    const participantId = authority?.participantId ?? options.participantId;
+    const binding = options.executionBinding;
+    if (!candidate || !participantId || !binding)
+        throw new Error("EXECUTION_BINDING_REQUIRED: structured output requires a complete versioned execution binding.");
+    if (operation) {
+        if (binding.operationId !== operation.id || binding.participantId !== participantId || binding.candidateDigest !== candidate.identityDigest || binding.controllerEpoch !== (authority?.controllerEpoch ?? operation.controller?.epoch) || binding.operationExecutionRevision !== operation.operationExecutionRevision)
+            throw new Error("EXECUTION_BINDING_STALE: binding does not match current operation, candidate, revision, epoch, or participant.");
+    }
+    else {
+        const executionRevision = options.executionBlueprint?.operationExecutionRevision;
+        const blueprintDigest = options.executionBlueprint?.digest;
+        if (!authority || authority.operationId !== operationId || authority.participantId !== participantId || authority.candidateRevision.identityDigest !== candidate.identityDigest || binding.participantId !== participantId || binding.candidateDigest !== candidate.identityDigest || binding.controllerEpoch !== authority.controllerEpoch || !Number.isSafeInteger(executionRevision) || binding.operationExecutionRevision !== executionRevision || !blueprintDigest || binding.executionBlueprintDigest !== blueprintDigest)
+            throw new Error("EXECUTION_BINDING_STALE: worker binding does not match the controller-issued authority, candidate, revision, epoch, or frozen blueprint.");
+    }
+    const outputSchema = outputJsonSchema(options.outputContract);
+    if (!outputSchema)
+        throw new Error(`OUTPUT_CONTRACT_UNKNOWN: ${options.outputContract}.`);
+    const provenance = createStructuredResultProvenance({
+        operationId,
+        projectId: authority?.projectId ?? candidate.projectId ?? config.project?.name,
+        operationRevision: operation?.revision ?? binding.operationExecutionRevision,
+        operationExecutionRevision: binding.operationExecutionRevision,
+        participantId,
+        participantGeneration: binding.participantGeneration,
+        logicalAgent: selection.logicalAgent,
+        role: selection.role,
+        taskId: contract.task.id,
+        candidate,
+        controllerEpoch: binding.controllerEpoch,
+        runtime: { provider: binding.runtime.provider, model: binding.runtime.modelId, runtimeId: binding.runtime.runtimeId, sessionId: binding.runtime.sessionId },
+        outputContract: options.outputContract,
+        outputSchemaDigest: sha256Canonical(outputSchema),
+        executionBlueprintDigest: binding.executionBlueprintDigest,
+        resolvedOperationPolicyDigest: binding.operationPolicyDigest,
+        executionBinding: binding,
+        skillManifestDigest: binding.skillManifestDigest,
+        contextManifestDigest: binding.contextManifestDigest,
+        promptManifestDigest: binding.promptManifestDigest,
+        unsupported: []
+    });
+    if (isPaseoExecution(selection, config)) {
+        if (!operation)
+            throw new Error("AEH_RESULT_PROVENANCE_INCOMPLETE: a Paseo structured-result channel requires the owning operation state root.");
+        const sessionId = binding.runtime.sessionId;
+        if (!sessionId)
+            throw new Error("EXECUTION_BINDING_SESSION_REQUIRED: structured Paseo result channel requires the materialized provider agent id.");
+        await finalizeStructuredResultChannelForAgent(stateRoot, sessionId, provenance);
+    }
+    return provenance;
+}
+async function resolveExecutionBinding(root, config, contract, selection, options, authority, actualSessionId) {
+    if (options.executionBinding) {
+        const binding = options.executionBinding;
+        assertExecutionBindingV3(binding);
+        if (binding.scratchLease && authority?.scratchLease?.digest !== binding.scratchLease.digest) {
+            if (!authority)
+                throw new Error("V2_AUTHORITY_REQUIRED: recovered participant scratch requires current controller-issued authority.");
+            authority = await attachParticipantScratchAuthority(root, authority, binding.scratchLease);
+            options.capabilityAuthority = authority;
+        }
+        if (!options.executionBlueprint || !options.roleInvocationPolicy || !options.skillManifest)
+            throw new Error("EXECUTION_BINDING_REQUIRED: propagated launch requires its complete blueprint, role policy, and skill manifest.");
+        assertExecutionBlueprintV3(options.executionBlueprint);
+        assertRoleInvocationPolicyV1(options.roleInvocationPolicy);
+        assertSkillManifestV1(options.skillManifest);
+        const blueprintParticipant = options.executionBlueprint.participants.find((participant) => participant.participantId === binding.participantId);
+        const expectedScratchResource = blueprintParticipant ? participantScratchResourceName(blueprintParticipant.role, blueprintParticipant.participantId, blueprintParticipant.toolPack) : undefined;
+        const boundScratchLease = options.scratchLease ?? binding.scratchLease;
+        if (Boolean(expectedScratchResource) !== Boolean(binding.scratchLease) || (options.scratchLease && options.scratchLease.digest !== binding.scratchLease?.digest) || (boundScratchLease && authority?.scratchLease?.digest !== boundScratchLease.digest))
+            throw new Error("EXECUTION_BINDING_SCRATCH_MISMATCH: frozen participant scratch claim, exact resource lease, and capability authority disagree.");
+        if (!blueprintParticipant || blueprintParticipant.roleInvocationPolicy.digest !== options.roleInvocationPolicy.digest || options.skillManifest.scope.participantId !== binding.participantId || options.skillManifest.scope.operationId !== binding.operationId || options.skillManifest.scope.operationExecutionRevision !== binding.operationExecutionRevision || options.skillManifest.scope.candidateRevision !== binding.candidateRevision || options.skillManifest.scope.candidateDigest !== binding.candidateDigest || options.skillManifest.scope.controllerEpoch !== binding.controllerEpoch || sha256Canonical(options.skillManifest.scope.workUnitIds) !== sha256Canonical(options.roleInvocationPolicy.workUnitIds) || sha256Canonical(options.skillManifest.scope.competencies) !== sha256Canonical(options.roleInvocationPolicy.competencies) || blueprintParticipant.skillManifestDigest !== options.skillManifest.digest || binding.executionBlueprintDigest !== options.executionBlueprint.digest || binding.operationExecutionRevision !== options.executionBlueprint.operationExecutionRevision || binding.candidateRevision !== options.executionBlueprint.candidateRevision || binding.candidateDigest !== options.executionBlueprint.candidateDigest || binding.operationPolicyDigest !== options.executionBlueprint.resolvedOperationPolicy.digest || binding.roleInvocationPolicyDigest !== options.roleInvocationPolicy.digest || binding.skillManifestDigest !== options.skillManifest.digest || binding.outputContract !== options.roleInvocationPolicy.outputContract || binding.contextManifestDigest !== options.contextManifestDigest || binding.promptManifestDigest !== options.promptManifestDigest || binding.participantId !== (authority?.participantId ?? options.participantId) || binding.candidateDigest !== authority?.candidateDigest || binding.controllerEpoch !== authority?.controllerEpoch || binding.operationId !== authority?.operationId || binding.leaseIdentities.join("\0") !== (authority?.leases.map((lease) => lease.leaseId).sort() ?? []).join("\0"))
+            throw new Error("EXECUTION_BINDING_MISMATCH: propagated binding does not match the approved remote launch and actual manifests.");
+        if (binding.runtime.runtimeId !== selection.runtimeName || binding.runtime.modelId !== selection.modelId || binding.runtime.model !== selection.modelName || binding.runtime.provider !== (selection.modelProvider ?? selection.paseoProvider ?? selection.runtimeAdapter))
+            throw new Error("EXECUTION_BINDING_RUNTIME_MISMATCH: propagated binding does not match the approved runtime and model.");
+        if (actualSessionId && binding.runtime.sessionId !== actualSessionId)
+            throw new Error("EXECUTION_BINDING_RUNTIME_SESSION_MISMATCH: propagated binding session does not match the runtime session selected for this launch.");
+        const current = currentOperationContext();
+        if (current.id) {
+            if (current.id !== binding.operationId)
+                throw new Error("EXECUTION_BINDING_STALE: propagated binding belongs to a different managed operation.");
+            const propagatedStateRoot = current.controlRoot ?? root;
+            const durable = await loadOperation(propagatedStateRoot, current.id);
+            const persisted = durable.participants[binding.participantId]?.executionBinding;
+            if (!persisted || persisted.digest !== binding.digest || !durable.candidateRevision || durable.candidateRevision.identityDigest !== binding.candidateDigest || durable.operationExecutionRevision !== binding.operationExecutionRevision || durable.resolvedOperationPolicy?.digest !== binding.operationPolicyDigest || (durable.controller?.epoch ?? 0) !== binding.controllerEpoch)
+                throw new Error("EXECUTION_BINDING_STALE: propagated binding is not the current durable participant execution identity.");
+            options.providerTurnDeadlineMs ??= durable.resolvedOperationPolicy?.executionLiveness.providerTurnDeadlineMs;
+            await initializeParticipantLivenessV1(propagatedStateRoot, durable.id, binding.participantId, binding);
+            if (isPaseoExecution(selection, config)) {
+                await assertPaseoSessionBinding(propagatedStateRoot, durable, binding, true);
+                if (Array.isArray(options.contextManifest?.addressableRefs) && options.contextManifest.addressableRefs.length)
+                    await validateCurrentContextAuthorization(propagatedStateRoot, current.id, binding.participantId, actualSessionId);
+            }
+        }
+        return binding;
+    }
+    const context = currentOperationContext();
+    const operationId = authority?.operationId ?? context.id;
+    if (!operationId)
+        throw new Error("EXECUTION_BINDING_REQUIRED: managed operation identity is required at launch.");
+    const stateRoot = context.controlRoot ?? root;
+    let operation = await loadOperation(stateRoot, operationId);
+    const candidate = authority?.candidateRevision ?? operation.candidateRevision;
+    const participantId = authority?.participantId ?? options.participantId;
+    const controllerEpoch = authority?.controllerEpoch ?? operation.controller?.epoch;
+    if (!candidate || !participantId || controllerEpoch === undefined || operation.operationExecutionRevision === undefined)
+        throw new Error("EXECUTION_BINDING_REQUIRED: operation candidate, execution revision, controller epoch, and participant identity are required.");
+    if (authority && (authority.operationId !== operation.id || !candidateRevisionsEqual(authority.candidateRevision, candidate)))
+        throw new Error("EXECUTION_BINDING_STALE: execution authority does not match the current operation candidate.");
+    if (!options.contextManifestDigest || !options.promptManifestDigest || !options.contextManifest || sha256Canonical(options.contextManifest) !== options.contextManifestDigest)
+        throw new Error("EXECUTION_BINDING_CONTEXT_MISMATCH: actual ContextManifest content is missing or does not match its digest.");
+    if (!options.preparedPrompt || createPromptManifest({ dynamic: [{ id: "actual-rendered-prompt", content: options.preparedPrompt, role: selection.role, source: "agent-prompt-projection" }] }).digest !== options.promptManifestDigest)
+        throw new Error("EXECUTION_BINDING_PROMPT_MISMATCH: actual PromptManifest content is missing or does not match its digest.");
+    if (!actualSessionId?.trim() || actualSessionId.startsWith("launch:"))
+        throw new Error("EXECUTION_BINDING_SESSION_REQUIRED: only an actual or runtime-reserved durable session identity can be bound; synthetic launch identities are unsupported.");
+    if (options.resumeSessionId) {
+        const prior = await structuredResultProvenanceForAgent(stateRoot, options.resumeSessionId);
+        if (prior?.status === "BOUND") {
+            const continuation = options.continueBoundSession === true;
+            if (!prior.executionBinding)
+                throw new Error("EXECUTION_BINDING_REQUIRED: resumed session has no full versioned binding.");
+            if (prior.executionBinding.runtime.sessionId !== actualSessionId)
+                throw new Error("EXECUTION_BINDING_RUNTIME_SESSION_MISMATCH: resumed result channel does not identify the actual runtime session being continued.");
+            assertResultProvenanceMatchesExecution(prior, operation, contract, selection, options, continuation);
+            options.scratchLease = prior.executionBinding.scratchLease;
+            options.participantGeneration = prior.executionBinding.participantGeneration;
+            if (prior.executionBinding.scratchLease) {
+                if (!authority)
+                    throw new Error("V2_AUTHORITY_REQUIRED: recovered participant scratch requires current controller-issued authority.");
+                authority = await attachParticipantScratchAuthority(root, authority, prior.executionBinding.scratchLease);
+                options.capabilityAuthority = authority;
+            }
+            options.executionBinding = prior.executionBinding;
+            if (isPaseoExecution(selection, config))
+                await assertPaseoSessionBinding(stateRoot, operation, prior.executionBinding, true);
+            if (Array.isArray(options.contextManifest?.addressableRefs) && options.contextManifest.addressableRefs.length)
+                await validateCurrentContextAuthorization(stateRoot, operationId, participantId, actualSessionId);
+            if (!continuation)
+                await recordContextContinuation(stateRoot, operationId, participantId, {
+                    operationId,
+                    projectId: identityProjectId(operation),
+                    operationExecutionRevision: prior.executionBinding.operationExecutionRevision,
+                    candidateRevision: prior.executionBinding.candidateRevision,
+                    candidateRevisionDigest: prior.executionBinding.candidateDigest,
+                    participantId,
+                    participantGeneration: prior.executionBinding.participantGeneration,
+                    executionBindingDigest: prior.executionBinding.digest,
+                    controllerEpoch: prior.executionBinding.controllerEpoch,
+                    contextManifestDigest: prior.executionBinding.contextManifestDigest,
+                    promptManifestDigest: prior.executionBinding.promptManifestDigest,
+                    previousSessionId: actualSessionId
+                });
+            return prior.executionBinding;
+        }
+        if (prior && prior.status !== "UNSUPPORTED")
+            throw new Error("EXECUTION_BINDING_REQUIRED: resumed structured-result channel has unsupported partial identity and cannot be rebound.");
+    }
+    const identity = await compileParticipantInvocationIdentity(root, config, contract, selection, options, operation, candidate, participantId, controllerEpoch);
+    options.executionBlueprint = identity.blueprint;
+    options.roleInvocationPolicy = identity.rolePolicy;
+    options.skillManifest = identity.skillManifest;
+    operation = await bindResolvedPolicyIfAbsent(stateRoot, operationId, identity.policy);
+    options.providerTurnDeadlineMs ??= operation.resolvedOperationPolicy?.executionLiveness.providerTurnDeadlineMs;
+    if (options.executionBlueprintDigest && options.executionBlueprintDigest !== identity.blueprint.digest)
+        throw new Error("EXECUTION_BLUEPRINT_MISMATCH: supplied digest does not match the frozen ExecutionBlueprint.");
+    const participantGeneration = options.participantGeneration ?? options.scratchLease?.participantGeneration ?? randomUUID();
+    const blueprintParticipant = identity.blueprint.participants.find((participant) => participant.participantId === participantId);
+    const expectedScratchResource = blueprintParticipant ? participantScratchResourceName(blueprintParticipant.role, blueprintParticipant.participantId, blueprintParticipant.toolPack) : undefined;
+    const scratchLease = options.scratchLease ?? authority?.scratchLease;
+    if (Boolean(expectedScratchResource) !== Boolean(scratchLease))
+        throw new Error("EXECUTION_BINDING_SCRATCH_REQUIRED: frozen blueprint and controller-issued private scratch lease must agree.");
+    if (scratchLease) {
+        assertParticipantScratchLeaseV1(scratchLease);
+        if (!authority?.scratchLease || authority.scratchLease.digest !== scratchLease.digest || scratchLease.operationId !== operationId || scratchLease.operationExecutionRevision !== operation.operationExecutionRevision || scratchLease.candidateRevision !== candidate.revision || scratchLease.candidateDigest !== candidate.identityDigest || scratchLease.controllerEpoch !== controllerEpoch || scratchLease.participantId !== participantId || scratchLease.participantGeneration !== participantGeneration || scratchLease.capabilityLeases.some((scratchCapabilityLease) => !authority.leases.some((lease) => lease.leaseId === scratchCapabilityLease.leaseId)))
+            throw new Error("EXECUTION_BINDING_SCRATCH_MISMATCH: scratch lease is not bound to this operation, participant generation, capability authority, and controller epoch.");
+    }
+    const binding = options.executionBinding ?? compileExecutionBinding({
+        operationId,
+        operationExecutionRevision: operation.operationExecutionRevision,
+        candidateRevision: candidate.revision,
+        candidateDigest: candidate.identityDigest,
+        controllerEpoch,
+        executionBlueprintDigest: identity.blueprint.digest,
+        operationPolicyDigest: identity.policy.digest,
+        participantId,
+        participantGeneration,
+        roleInvocationPolicyDigest: identity.rolePolicy.digest,
+        skillManifestDigest: identity.skillManifest.digest,
+        runtime: {
+            runtimeId: selection.runtimeName,
+            provider: selection.modelProvider ?? selection.paseoProvider ?? selection.runtimeAdapter,
+            modelId: selection.modelId,
+            model: selection.modelName,
+            sessionId: actualSessionId
+        },
+        contextManifestDigest: options.contextManifestDigest,
+        promptManifestDigest: options.promptManifestDigest,
+        outputContract: options.outputContract ?? identity.rolePolicy.outputContract,
+        leaseIdentities: authority?.leases.map((lease) => lease.leaseId) ?? [],
+        ...(scratchLease ? { scratchLease } : {})
+    });
+    assertExecutionBindingV3(binding);
+    if (binding.contextManifestDigest !== options.contextManifestDigest || binding.promptManifestDigest !== options.promptManifestDigest || binding.operationExecutionRevision !== operation.operationExecutionRevision || binding.candidateDigest !== candidate.identityDigest || binding.controllerEpoch !== controllerEpoch || binding.operationId !== operationId || binding.participantId !== participantId)
+        throw new Error("EXECUTION_BINDING_MISMATCH: supplied binding does not match the actual launch identity.");
+    operation = await bindOperationParticipantExecution(stateRoot, operationId, { participantId, logicalAgent: selection.logicalAgent, role: selection.role, binding });
+    await initializeParticipantLivenessV1(stateRoot, operationId, participantId, binding);
+    if (isPaseoExecution(selection, config))
+        await assertPaseoSessionBinding(stateRoot, operation, binding, false);
+    if (Array.isArray(options.contextManifest?.addressableRefs) && options.contextManifest.addressableRefs.length) {
+        if (!authority)
+            throw new Error("CONTEXT_RUNTIME_V2_AUTHORITY_REJECTED: a controller-issued read lease is required to authorize addressable context refs.");
+        const contextAuthorization = await issueContextRefAuthorization(root, stateRoot, operationId, participantId, { logicalAgent: selection.logicalAgent, phase: options.phase ?? "work", retrievalBudget: resolveContextPolicy(config).retrieval, capabilityAuthority: authority, contextManifest: options.contextManifest });
+        if (!contextAuthorization)
+            throw new Error("CONTEXT_RUNTIME_V2_ISSUE_REJECTED: the launch manifest advertises addressable refs but the controller did not persist an authorization receipt.");
+    }
+    options.executionBinding = binding;
+    options.executionBlueprintDigest = binding.executionBlueprintDigest;
+    options.resolvedOperationPolicyDigest = binding.operationPolicyDigest;
+    return binding;
+}
+function isPaseoExecution(selection, config) {
+    return selection.transport === "paseo" || (selection.transport === "inherit" && config.orchestration?.provider === "paseo");
+}
+function identityProjectId(operation) {
+    if (operation.version !== 2 || !operation.resolvedOperationPolicy?.projectId)
+        throw new Error("EXECUTION_BINDING_REQUIRED: frozen operation policy project identity is unavailable.");
+    return operation.resolvedOperationPolicy.projectId;
+}
+async function assertPaseoSessionBinding(stateRoot, operation, binding, reuseRequired) {
+    if (operation.version !== 2 || !operation.resolvedOperationPolicy)
+        throw new Error("PASEO_SESSION_BINDING_INVALID: current frozen operation policy is required.");
+    const identity = {
+        projectId: operation.resolvedOperationPolicy.projectId,
+        operationId: binding.operationId,
+        operationExecutionRevision: binding.operationExecutionRevision,
+        participantId: binding.participantId,
+        participantGeneration: binding.participantGeneration,
+        candidateRevision: binding.candidateRevision,
+        candidateDigest: binding.candidateDigest,
+        executionBlueprintDigest: binding.executionBlueprintDigest,
+        operationPolicyDigest: binding.operationPolicyDigest,
+        contextManifestDigest: binding.contextManifestDigest,
+        promptManifestDigest: binding.promptManifestDigest,
+        controllerEpoch: binding.controllerEpoch
+    };
+    const actualAgentId = binding.runtime.sessionId;
+    const current = await loadPaseoSessionBinding(stateRoot, binding.operationId, binding.participantId);
+    if (reuseRequired) {
+        const reusable = resolveReusablePaseoSession(current, identity);
+        if (!reusable || reusable.paseoAgentId !== actualAgentId)
+            throw new Error("PASEO_SESSION_BINDING_STALE: requested session does not match the complete current canonical binding.");
+        return;
+    }
+    if (!current) {
+        await bindPaseoSession(stateRoot, { ...identity, paseoAgentId: actualAgentId });
+        return;
+    }
+    if (paseoSessionBindingMatches(current, identity) && current.paseoAgentId === actualAgentId && current.status === "ACTIVE")
+        return;
+    if (current.paseoAgentId === actualAgentId)
+        throw new Error("PASEO_SESSION_BINDING_STALE: an existing live Paseo session cannot be relabeled after identity drift; materialize a new session.");
+    await rotatePaseoSessionBinding(stateRoot, { ...identity, paseoAgentId: actualAgentId });
+}
+function verifyPreparedPrompt(prompt, options, selection) {
+    if (!options.contextManifestDigest || !options.promptManifestDigest)
+        throw new Error("EXECUTION_BINDING_REQUIRED: prepared prompt requires actual context and prompt manifest digests.");
+    if (!options.contextManifest || sha256Canonical(options.contextManifest) !== options.contextManifestDigest)
+        throw new Error("EXECUTION_BINDING_CONTEXT_MISMATCH: prepared ContextManifest bytes do not match the claimed digest.");
+    const manifest = createPromptManifest({ dynamic: [{ id: "actual-rendered-prompt", content: prompt, role: selection.role, source: "agent-prompt-projection" }] });
+    if (manifest.digest !== options.promptManifestDigest)
+        throw new Error("EXECUTION_BINDING_PROMPT_MISMATCH: propagated PromptManifest digest does not match the exact prompt bytes.");
+    if (options.skillManifest?.entries.some((entry) => entry.kind === "ephemeral" && entry.procedure.some((step) => !prompt.includes(step))))
+        throw new Error("SKILL_MANIFEST_PROJECTION_MISMATCH: accepted ephemeral procedure was not projected verbatim into the assigned participant prompt.");
+    return { prompt, contextManifest: options.contextManifest, contextManifestDigest: options.contextManifestDigest, promptManifestDigest: options.promptManifestDigest };
+}
+function freezeIdentityObject(value) {
+    if (value && typeof value === "object" && !Object.isFrozen(value)) {
+        Object.freeze(value);
+        for (const nested of Object.values(value))
+            freezeIdentityObject(nested);
+    }
+    return value;
+}
+async function bindResolvedPolicyIfAbsent(root, operationId, policy) {
+    const current = await loadOperation(root, operationId);
+    if (current.resolvedOperationPolicy?.digest === policy.digest)
+        return current;
+    if (current.resolvedOperationPolicy)
+        throw new Error("EXECUTION_POLICY_RECOMPILE_REQUIRED: operation has a different frozen ResolvedOperationPolicy.");
+    const { bindResolvedOperationPolicy } = await import("../operations/state.js");
+    return bindResolvedOperationPolicy(root, operationId, policy);
+}
+async function compileParticipantInvocationIdentity(root, config, contract, selection, options, operation, candidate, participantId, controllerEpoch) {
+    if (selection.role === "Semantic Assessor")
+        throw new Error("SEMANTIC_ASSESSOR_NOT_PARTICIPANT: bounded semantic assessments execute through the controller-side Paseo gateway and do not receive WorkGraph Participant identity.");
+    if (options.executionBlueprint) {
+        assertExecutionBlueprintV3(options.executionBlueprint);
+        const policy = operation.resolvedOperationPolicy ?? options.executionBlueprint.resolvedOperationPolicy;
+        assertResolvedOperationPolicyV2(policy);
+        const participant = options.executionBlueprint.participants.find((item) => item.participantId === participantId);
+        const rolePolicy = options.roleInvocationPolicy ?? participant?.roleInvocationPolicy;
+        const skillManifest = options.skillManifest;
+        if (!policy || !rolePolicy || !skillManifest)
+            throw new Error("EXECUTION_BINDING_REQUIRED: frozen blueprint, role policy, and exact SkillManifest are required.");
+        assertRoleInvocationPolicyV1(rolePolicy);
+        assertSkillManifestV1(skillManifest);
+        if (participantId !== rolePolicy.participantId || skillManifest.scope.participantId !== participantId || skillManifest.scope.operationId !== operation.id || skillManifest.scope.operationExecutionRevision !== operation.operationExecutionRevision || skillManifest.scope.candidateRevision !== candidate.revision || skillManifest.scope.candidateDigest !== candidate.identityDigest || skillManifest.scope.controllerEpoch !== controllerEpoch || sha256Canonical(skillManifest.scope.workUnitIds) !== sha256Canonical(rolePolicy.workUnitIds) || sha256Canonical(skillManifest.scope.competencies) !== sha256Canonical(rolePolicy.competencies) || participant?.roleInvocationPolicy.digest !== rolePolicy.digest || policy.digest !== options.executionBlueprint.resolvedOperationPolicy.digest || (operation.resolvedOperationPolicy && policy.digest !== operation.resolvedOperationPolicy.digest) || participant?.skillManifestDigest !== skillManifest.digest)
+            throw new Error("EXECUTION_BINDING_INVALID: supplied participant artifacts do not match the frozen blueprint and durable operation policy.");
+        if (options.outputContract && options.outputContract !== rolePolicy.outputContract)
+            throw new Error("ROLE_INVOCATION_POLICY_VIOLATION: requested output contract exceeds or differs from the frozen role policy.");
+        return { policy, blueprint: options.executionBlueprint, rolePolicy, skillManifest };
+    }
+    if (!Number.isSafeInteger(operation.operationExecutionRevision) || operation.operationExecutionRevision < 1)
+        throw new Error("UNSUPPORTED_OPERATION_EXECUTION_REVISION: migrate this operation record before structured-result launch.");
+    if (operation.kind === undefined)
+        throw new Error("EXECUTION_POLICY_INPUT_MISSING: a durable operation kind is required to compile fresh participant identity.");
+    const route = contract.routing?.route;
+    const assurance = contract.routing?.assurance;
+    if (!route || !assurance)
+        throw new Error("EXECUTION_POLICY_INPUT_MISSING: TaskContract must carry deterministic route and minimum assurance before launch.");
+    const scope = contract.scope?.allowed;
+    if (!scope?.length)
+        throw new Error("ROLE_INVOCATION_POLICY_INVALID: TaskContract must declare bounded scope before structured-result launch.");
+    const profile = roleProfile(selection.role);
+    const seed = defaultSkillSeed().skills;
+    const selectedSkillIds = [...new Set([...profile.defaultSkills, ...selection.skills])];
+    const selectedSkills = selectedSkillIds.map((id) => seed.find((skill) => skill.id === id));
+    if (selectedSkills.some((skill) => !skill))
+        throw new Error(`SKILL_MANIFEST_INVALID: selected skill lacks procedure content: ${selectedSkillIds.filter((id) => !seed.some((skill) => skill.id === id)).join(", ")}.`);
+    const invocationWorkUnitIds = [`invocation:${participantId}`];
+    const invocationCompetencies = [...new Set([...(selection.specializations ?? []), ...(options.skillManifest?.entries.filter((entry) => entry.kind === "ephemeral").map((entry) => entry.competency) ?? [])])].sort();
+    const skillManifest = options.skillManifest ?? compileSkillManifest({ scope: { operationId: operation.id, operationExecutionRevision: operation.operationExecutionRevision, candidateRevision: candidate.revision, candidateDigest: candidate.identityDigest, controllerEpoch, participantId, workUnitIds: invocationWorkUnitIds, competencies: invocationCompetencies }, skills: selectedSkills.filter((skill) => Boolean(skill)).map((skill) => ({ id: skill.id, kind: skill.kind, competencies: skill.competencies, proceduralSteps: skill.proceduralSteps })) });
+    if (skillManifest.scope.participantId !== participantId || skillManifest.scope.operationId !== operation.id || skillManifest.scope.operationExecutionRevision !== operation.operationExecutionRevision || skillManifest.scope.candidateRevision !== candidate.revision || skillManifest.scope.candidateDigest !== candidate.identityDigest || skillManifest.scope.controllerEpoch !== controllerEpoch || sha256Canonical(skillManifest.scope.workUnitIds) !== sha256Canonical(invocationWorkUnitIds) || sha256Canonical(skillManifest.scope.competencies) !== sha256Canonical(invocationCompetencies))
+        throw new Error("SKILL_MANIFEST_ASSIGNMENT_MISMATCH: SkillManifest belongs to another operation, candidate, epoch, participant, work unit, or competency scope.");
+    const deliveryPolicy = configuredDeliveryPolicy(config, operation.kind);
+    const allowedExternalEffects = deliveryPolicy.allowedExternalEffects;
+    const humanDecisionRequirements = requiredHumanActionAuthorizations(allowedExternalEffects);
+    const policy = operation.resolvedOperationPolicy ?? compileResolvedOperationPolicy({
+        projectId: candidate.projectId ?? config.project.name,
+        operationId: operation.id,
+        operationExecutionRevision: operation.operationExecutionRevision,
+        candidateRevision: candidate.revision,
+        candidateDigest: candidate.identityDigest,
+        controllerEpoch,
+        intent: operation.intent?.request ?? contract.routing?.intent ?? contract.task.title,
+        route,
+        minimumAssurance: assurance,
+        policyVersions: { resolvedOperationPolicy: "2", roleInvocationPolicy: "1", executionBlueprint: "3", executionBinding: "3", skillManifest: "1" },
+        policyDigests: {
+            validation: sha256Canonical(contract.verification ?? {}),
+            delivery: sha256Canonical({ ...deliveryPolicy, humanDecisionRequirements }),
+            knowledge: sha256Canonical(skillManifest.entries.map((entry) => ({ sourcePackDigest: entry.sourcePackDigest, trustDecisionDigest: entry.trustDecisionDigest }))),
+            context: sha256Canonical(config.context ?? null)
+        },
+        validationPolicy: contract.verification ?? {},
+        reviewPolicy: {
+            minimumAssurance: assurance,
+            independentReviewRequired: assurance === "ELEVATED" || assurance === "CRITICAL",
+            leadAcceptance: config.workflow?.reviews?.leadAcceptance !== false,
+            leadAcceptanceDirect: config.workflow?.reviews?.leadAcceptanceDirect === true
+        },
+        deliveryPolicy,
+        knowledgePolicy: { skillManifestDigest: skillManifest.digest },
+        contextPolicy: config.context ?? { mode: "disabled" },
+        allowedExternalEffects,
+        humanDecisionRequirements
+    });
+    assertResolvedOperationPolicyV2(policy);
+    if (policy.version !== 2 || policy.operationId !== operation.id || policy.projectId !== (candidate.projectId ?? config.project.name) || policy.operationExecutionRevision !== operation.operationExecutionRevision || policy.candidateRevision !== candidate.revision || policy.candidateDigest !== candidate.identityDigest || policy.controllerEpoch !== controllerEpoch || policy.route !== route || policy.minimumAssurance !== assurance)
+        throw new Error("EXECUTION_POLICY_STALE: durable ResolvedOperationPolicy does not match the current execution inputs.");
+    const directScratchClaim = participantScratchClaim(selection.role, participantId, invocationWorkUnitIds[0], profile.toolPack);
+    const rolePolicy = options.roleInvocationPolicy ?? compileRoleInvocationPolicy({
+        operationId: operation.id,
+        operationPolicyDigest: policy.digest,
+        participantId,
+        role: selection.role,
+        workUnitIds: [`invocation:${participantId}`],
+        scope,
+        competencies: invocationCompetencies,
+        toolPack: profile.toolPack,
+        resourceClaims: directScratchClaim ? [directScratchClaim] : [],
+        outputContract: options.outputContract ?? profile.outputContract,
+        constraints: { maxCapabilities: [...profile.maxCapabilities].sort(), readOnly: selection.role === "Reviewer" }
+    });
+    assertRoleInvocationPolicyV1(rolePolicy);
+    assertSkillManifestV1(skillManifest);
+    if (options.outputContract && options.outputContract !== rolePolicy.outputContract)
+        throw new Error("ROLE_INVOCATION_POLICY_VIOLATION: requested output contract exceeds or differs from the frozen role policy.");
+    const graph = createWorkGraph({
+        taskId: contract.task.id,
+        objective: contract.task.title,
+        route,
+        assurance,
+        requirementRefs: (contract.requirements ?? []).map((item) => item.id),
+        acceptanceRefs: [],
+        units: [{ version: 1, id: `invocation:${participantId}`, objective: contract.task.title, scope: [...scope], dependencies: [], requirementRefs: (contract.requirements ?? []).map((item) => item.id), acceptanceRefs: [], competencies: invocationCompetencies, riskTags: [], changeKinds: ["source"], risk: "low", status: "PENDING", resourceClaims: [] }]
+    });
+    const catalog = compileExecutionCatalog({
+        runtimes: { [selection.runtimeName]: { adapter: selection.runtimeAdapter, paseoProvider: selection.paseoProvider, capabilities: selection.runtimeCapabilities } },
+        models: { [selection.modelAlias]: { alias: selection.modelAlias, id: selection.modelId, runtime: selection.runtimeName, provider: selection.modelProvider, model: selection.modelName, variant: selection.variant } },
+        roleBindings: { [selection.role]: { runtimeId: selection.runtimeName, modelAlias: selection.modelAlias, transport: selection.transport, profile: selection.profile, variant: selection.variant, nativeAgent: selection.nativeAgent, outputContract: options.outputContract ?? profile.outputContract, temperature: selection.temperature, args: selection.args } }
+    });
+    const validationResolution = { version: 1, requirements: [], actions: [], blocked: [], digest: sha256Canonical({ version: 1, requirements: [], actions: [], blocked: [] }) };
+    const assignment = { participantId, role: selection.role, specialization: selection.specializations?.[0] ?? selection.role, competencies: invocationCompetencies, skills: [...selection.skills], toolPack: profile.toolPack, budget: { maxTokens: 1, reservedTokens: 0, maxConcurrent: 1 }, workUnitIds: invocationWorkUnitIds, skillManifest, roleInvocationPolicy: rolePolicy };
+    const planBody = { version: 1, taskId: contract.task.id, route, assurance, assignments: [assignment], reviewDimensions: [], knowledgeRefs: skillManifest.entries.flatMap((entry) => entry.sourcePackDigest ? [entry.sourcePackDigest] : []), executionCatalogDigest: catalog.digest };
+    const participantPlan = { ...planBody, compilerDigest: sha256Canonical(planBody) };
+    const blueprint = createExecutionBlueprintV3({ projectId: policy.projectId, operationId: operation.id, operationExecutionRevision: policy.operationExecutionRevision, candidateRevision: candidate.revision, candidateDigest: candidate.identityDigest, controllerEpoch, resolvedOperationPolicy: policy, workGraph: graph, participantPlan, executionCatalog: catalog, participants: [{ participantId, role: selection.role, specialization: assignment.specialization, roleInvocationPolicy: rolePolicy, toolPack: rolePolicy.toolPack, resourceClaims: rolePolicy.resourceClaims, validationResolution, outputContract: rolePolicy.outputContract, skillManifestDigest: skillManifest.digest }], validationResolution });
+    return { policy, blueprint, rolePolicy, skillManifest };
+}
+export function assertResultProvenanceMatchesExecution(provenance, operation, contract, selection, options, continuation = false) {
+    if (!operation || provenance.operationId !== operation.id || provenance.logicalAgent !== selection.logicalAgent || provenance.role !== selection.role || provenance.taskId !== contract.task.id || provenance.outputContract !== options.outputContract) {
+        throw new Error("AEH_RESULT_PROVENANCE: materialized result channel does not match this operation, participant, task, role, or output contract.");
+    }
+    if (!operation.candidateRevision || !provenance.candidate || operation.candidateRevision.identityDigest !== provenance.candidate.identityDigest) {
+        throw new Error("AEH_RESULT_STALE_CANDIDATE: materialized result channel is bound to a prior or missing candidate.");
+    }
+    const executionBinding = provenance.participantId
+        ? operation.participants[provenance.participantId]?.executionBinding ?? operation.agents?.find((agent) => agent.id === provenance.participantId)?.executionBinding
+        : undefined;
+    if (!executionBinding || executionBinding.participantGeneration !== provenance.participantGeneration || executionBinding.operationExecutionRevision !== provenance.operationExecutionRevision || executionBinding.candidateDigest !== provenance.candidate.identityDigest || executionBinding.controllerEpoch !== provenance.controllerEpoch || executionBinding.executionBlueprintDigest !== provenance.executionBlueprintDigest || executionBinding.operationPolicyDigest !== provenance.resolvedOperationPolicyDigest || executionBinding.digest !== provenance.executionBinding?.digest) {
+        throw new Error("AEH_RESULT_STALE_EXECUTION: result channel belongs to an older participant generation, operation revision, or ExecutionBlueprint.");
+    }
+    if (continuation) {
+        // An authorized continuation turn keeps the generation's frozen binding and delivers a new
+        // event prompt/context on the same durable session. Every non-manifest identity check above
+        // still applies, and the participant identity must remain the bound generation. The event's
+        // freshly compiled blueprint/skill manifests are turn-scoped: the generation blueprint is
+        // still enforced through the durable binding checked above.
+        if (!options.contextManifestDigest || !options.promptManifestDigest)
+            throw new Error("EXECUTION_BINDING_REQUIRED: a continuation turn must carry actual ContextManifest and PromptManifest digests.");
+    }
+    else {
+        if (options.contextManifestDigest && provenance.contextManifestDigest !== options.contextManifestDigest)
+            throw new Error("EXECUTION_BINDING_STALE: ContextManifest changed after session materialization.");
+        if (options.promptManifestDigest && provenance.promptManifestDigest !== options.promptManifestDigest)
+            throw new Error("EXECUTION_BINDING_STALE: PromptManifest changed after session materialization.");
+    }
+    if (options.participantId && provenance.participantId !== options.participantId)
+        throw new Error("AEH_RESULT_PROVENANCE: result channel belongs to a different participant identity.");
+    if (options.capabilityAuthority && (options.capabilityAuthority.candidateDigest !== provenance.candidate.identityDigest || options.capabilityAuthority.controllerEpoch !== provenance.controllerEpoch)) {
+        throw new Error("AEH_RESULT_PROVENANCE: result channel does not match the current execution authority.");
+    }
+    if (!continuation && options.executionBlueprintDigest && provenance.executionBlueprintDigest !== options.executionBlueprintDigest)
+        throw new Error("AEH_RESULT_PROVENANCE: result channel belongs to a different execution blueprint.");
+    if (options.resolvedOperationPolicyDigest && provenance.resolvedOperationPolicyDigest !== options.resolvedOperationPolicyDigest)
+        throw new Error("AEH_RESULT_PROVENANCE: result channel belongs to a different operation policy.");
+}
+function attachStructuredResultProvenance(labels, provenance, role) {
+    if (!provenance)
+        return;
+    labels["aeh.canonical.role"] = role;
+    labels["aeh.execution.binding.phase"] = "BOUND";
+    labels["aeh.result.provenance"] = JSON.stringify(provenance);
+    if (provenance.executionBinding)
+        labels["aeh.execution.binding"] = JSON.stringify(provenance.executionBinding);
+    if (provenance.contextManifestDigest)
+        labels["aeh.context.manifest.digest"] = provenance.contextManifestDigest;
+    if (provenance.promptManifestDigest)
+        labels["aeh.prompt.manifest.digest"] = provenance.promptManifestDigest;
+    if (provenance.skillManifestDigest)
+        labels["aeh.skill.manifest.digest"] = provenance.skillManifestDigest;
+}
+function boundPaseoExecutionLabels(options, role, channelId) {
+    const binding = options.executionBinding;
+    if (!binding)
+        return undefined;
+    const labels = {
+        "aeh.operation": binding.operationId,
+        "aeh.canonical.role": role,
+        "aeh.execution.binding": JSON.stringify(binding),
+        "aeh.execution.binding.digest": binding.digest,
+        "aeh.execution.binding.phase": "BOUND",
+        "aeh.execution.blueprint.digest": binding.executionBlueprintDigest,
+        "aeh.role.invocation.policy.digest": binding.roleInvocationPolicyDigest,
+        "aeh.skill.manifest.digest": binding.skillManifestDigest,
+        "aeh.context.manifest.digest": binding.contextManifestDigest,
+        "aeh.prompt.manifest.digest": binding.promptManifestDigest
+    };
+    if (options.participantId)
+        labels["aeh.participant"] = options.participantId;
+    if (options.supervisorAgent)
+        labels["aeh.supervisor"] = "true";
+    if (channelId)
+        labels["aeh.result.channel"] = channelId;
+    if (options.structuredResultProvenance)
+        labels["aeh.result.provenance"] = JSON.stringify(options.structuredResultProvenance);
+    return labels;
+}
+function session(selection, exitCode, stdout, stderr, metadata = {}) {
+    return { provider: selection.runtimeAdapter, model: selection.modelName, logicalAgent: selection.logicalAgent, nativeAgent: selection.nativeAgent, runtime: selection.runtimeName, profile: selection.profile, exitCode, stdout, stderr, ...metadata };
+}
+function withAgentCharter(selection, prompt, frozenSkills, executionContext, outputContractContext) {
+    return [
+        executionContext,
+        frozenSkills ? `Frozen semantic skill context (authoritative for this run):\n${frozenSkills}` : undefined,
+        selection.description ? `Agent charter for ${selection.logicalAgent}:\n${selection.description}` : undefined,
+        outputContractContext,
+        prompt
+    ].filter(Boolean).join("\n\n");
+}
+function sealedArtifacts(config, contract) {
+    const dir = config.sdd?.contractsDir ?? ".harness/contracts";
+    return [...new Set([`${dir}/${contract.task.id}.yaml`, `.harness/seals/${contract.task.id}.json`, ...Object.values(contract.source ?? {}).filter((value) => Boolean(value))])];
+}
+function extractSessionId(text) {
+    for (const line of text.split(/\r?\n/)) {
+        let value;
+        try {
+            value = JSON.parse(line);
+        }
+        catch {
+            continue;
+        }
+        const found = findSessionId(value);
+        if (found)
+            return found;
+    }
+    return undefined;
+}
+function findSessionId(value) {
+    if (!value || typeof value !== "object")
+        return undefined;
+    if (Array.isArray(value)) {
+        for (const item of value) {
+            const found = findSessionId(item);
+            if (found)
+                return found;
+        }
+        return undefined;
+    }
+    const object = value;
+    for (const key of ["thread_id", "session_id", "sessionID", "sessionId", "threadId"])
+        if (typeof object[key] === "string")
+            return object[key];
+    const kind = String(object.type ?? object.event ?? "").toLowerCase();
+    if ((kind.includes("thread") || kind.includes("session")) && typeof object.id === "string")
+        return object.id;
+    for (const child of Object.values(object)) {
+        const found = findSessionId(child);
+        if (found)
+            return found;
+    }
+    return undefined;
+}
+function quote(value) { return `'${value.replaceAll("'", "'\\''")}'`; }
+//# sourceMappingURL=agentPrompt.js.map