@maiaos/node 0.1.0-canary.44938d4.manual.1

package/dist/harness/codex/session-service.d.ts

@@ -0,0 +1,59 @@
+import type { Turn, TurnTokenUsage } from "@maiaos/protocol";
+import { Effect, type Scope } from "effect";
+import { type NodeRuntimeError } from "../../runtime/errors.js";
+import type { ProcessResourceManagerService } from "../../runtime/process/resource/contract.js";
+import { type SessionRuntimeAdmission } from "../../session/runtime/admission.js";
+import type { CodexSessionBinding, CodexSessionSandboxMode } from "./session-protocol.js";
+import { type CodexSessionActivationRequest } from "./session-transport.js";
+import { type CodexCommand } from "./transport.js";
+import { type CodexTurnInterruptAcknowledgement } from "./turn/transport.js";
+export type CodexSessionTurnOperations = {
+    readonly beforeDispatch: (turn: Turn) => Effect.Effect<void, NodeRuntimeError>;
+    readonly claimNext: () => Effect.Effect<Turn | undefined, NodeRuntimeError>;
+    readonly onCompleted: (input: {
+        readonly responseText: string;
+        readonly tokenUsage?: TurnTokenUsage;
+        readonly turnId: string;
+    }) => Effect.Effect<void, NodeRuntimeError>;
+    readonly onFailed: (input: {
+        readonly reason: "approval_required" | "output_limit_exceeded" | "protocol_invalid" | "repository_changed" | "runtime_exited" | "runtime_failed" | "turn_deadline_exceeded" | "turn_rejected";
+        readonly state: "failed" | "outcome-unknown";
+        readonly turnId: string;
+    }) => Effect.Effect<void, NodeRuntimeError>;
+    readonly onInterrupted: (turnId: string) => Effect.Effect<void, NodeRuntimeError>;
+    readonly onStarted: (input: {
+        readonly runtimeTurnId: string;
+        readonly turnId: string;
+    }) => Effect.Effect<void, NodeRuntimeError>;
+};
+export type CodexSessionActivationInput = {
+    readonly command: CodexCommand;
+    readonly commandId: string;
+    readonly maiaVersion: string;
+    readonly onFailed: (reason: "activation_failed" | "runtime_exited") => Effect.Effect<void, NodeRuntimeError>;
+    readonly onStarted: (binding: CodexSessionBinding) => Effect.Effect<void, NodeRuntimeError>;
+    readonly request: CodexSessionActivationRequest;
+    readonly sandboxMode?: CodexSessionSandboxMode;
+    readonly sessionId: string;
+    readonly turns: CodexSessionTurnOperations;
+    readonly workingDirectory: string;
+    readonly workspaceId: string;
+};
+export type CodexRunningTurnInterruptInput = {
+    readonly runtimeTurnId: string;
+    readonly sessionId: string;
+};
+export type CodexSessionScheduler = {
+    readonly interruptRunningTurn: (input: CodexRunningTurnInterruptInput) => Effect.Effect<CodexTurnInterruptAcknowledgement, NodeRuntimeError>;
+    readonly schedule: (input: CodexSessionActivationInput) => Effect.Effect<void, NodeRuntimeError>;
+    readonly wake: (sessionId: string) => Effect.Effect<void, NodeRuntimeError>;
+};
+export type CodexSessionSupervisionFailureHandler = (failure: NodeRuntimeError) => Effect.Effect<void>;
+type CodexSessionSchedulerOptions = {
+    readonly admission?: SessionRuntimeAdmission;
+    readonly handleSupervisionFailure?: CodexSessionSupervisionFailureHandler;
+    readonly manager: ProcessResourceManagerService;
+};
+export declare const makeCodexSessionScheduler: (options: CodexSessionSchedulerOptions) => Effect.Effect<CodexSessionScheduler, never, Scope.Scope>;
+export {};
+//# sourceMappingURL=session-service.d.ts.map

package/dist/harness/codex/session-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"session-service.d.ts","sourceRoot":"","sources":["../../../src/harness/codex/session-service.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAS,MAAM,EAAmB,KAAK,KAAK,EAAa,MAAM,QAAQ,CAAC;AAG/E,OAAO,EAGL,KAAK,gBAAgB,EACtB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,4CAA4C,CAAC;AAChG,OAAO,EAEL,KAAK,uBAAuB,EAC7B,MAAM,oCAAoC,CAAC;AAW5C,OAAO,KAAK,EACV,mBAAmB,EACnB,uBAAuB,EAExB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAEL,KAAK,6BAA6B,EACnC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAEL,KAAK,YAAY,EAIlB,MAAM,gBAAgB,CAAC;AAUxB,OAAO,EAIL,KAAK,iCAAiC,EAGvC,MAAM,qBAAqB,CAAC;AAK7B,MAAM,MAAM,0BAA0B,GAAG;IACvC,QAAQ,CAAC,cAAc,EAAE,CACvB,IAAI,EAAE,IAAI,KACP,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,GAAG,SAAS,EAAE,gBAAgB,CAAC,CAAC;IAC5E,QAAQ,CAAC,WAAW,EAAE,CAAC,KAAK,EAAE;QAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;QACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE;QACzB,QAAQ,CAAC,MAAM,EACX,mBAAmB,GACnB,uBAAuB,GACvB,kBAAkB,GAClB,oBAAoB,GACpB,gBAAgB,GAChB,gBAAgB,GAChB,wBAAwB,GACxB,eAAe,CAAC;QACpB,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,iBAAiB,CAAC;QAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC5C,QAAQ,CAAC,aAAa,EAAE,CACtB,MAAM,EAAE,MAAM,KACX,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE;QAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;CAC7C,CAAC;AAEF,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,CACjB,MAAM,EAAE,mBAAmB,GAAG,gBAAgB,KAC3C,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,CAClB,OAAO,EAAE,mBAAmB,KACzB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,6BAA6B,CAAC;IAChD,QAAQ,CAAC,WAAW,CAAC,EAAE,uBAAuB,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,0BAA0B,CAAC;IAC3C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,8BAA8B,GAAG;IAC3C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,oBAAoB,EAAE,CAC7B,KAAK,EAAE,8BAA8B,KAClC,MAAM,CAAC,MAAM,CAAC,iCAAiC,EAAE,gBAAgB,CAAC,CAAC;IACxE,QAAQ,CAAC,QAAQ,EAAE,CACjB,KAAK,EAAE,2BAA2B,KAC/B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;CAC7E,CAAC;AAEF,MAAM,MAAM,qCAAqC,GAAG,CAClD,OAAO,EAAE,gBAAgB,KACtB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AA+iBzB,KAAK,4BAA4B,GAAG;IAClC,QAAQ,CAAC,SAAS,CAAC,EAAE,uBAAuB,CAAC;IAC7C,QAAQ,CAAC,wBAAwB,CAAC,EAAE,qCAAqC,CAAC;IAC1E,QAAQ,CAAC,OAAO,EAAE,6BAA6B,CAAC;CACjD,CAAC;AAeF,eAAO,MAAM,yBAAyB,qGAyBpC,CAAC"}

package/dist/harness/codex/session-service.js

@@ -0,0 +1,340 @@
+import { Clock, Effect, FiberSet, Queue, Semaphore } from "effect";
+import { createActor } from "xstate";
+import { asNodeRuntimeError, makeNodeRuntimeError, } from "../../runtime/errors.js";
+import { makeSessionRuntimeAdmission, } from "../../session/runtime/admission.js";
+import { codexSessionLifecycleMachine, } from "./session-lifecycle.js";
+import { recordActiveCodexSessions, recordCodexSessionActivation, recordCodexSessionOutcome, } from "./session-observability.js";
+import { activateCodexSession, } from "./session-transport.js";
+import { acquireCodexAppServerProcess, CodexProbeFailure, } from "./transport.js";
+import { codexTurnLifecycleMachine, } from "./turn/lifecycle.js";
+import { annotateCodexAdapterDiscriminator, recordCodexTurnOutcome, } from "./turn/observability.js";
+import { CodexTurnFailure, interruptCodexTurn, startCodexTurn, } from "./turn/transport.js";
+const transition = (actor, event) => Effect.sync(() => {
+    actor.send(event);
+});
+const transitionTurn = (actor, event) => Effect.sync(() => {
+    actor.send(event);
+});
+const openSessionRuntime = Effect.fn("CodexSession.openRuntime")(function* (manager, input) {
+    const owned = yield* acquireCodexAppServerProcess(manager, input.command, {
+        commandId: input.commandId,
+        kind: "codex-session",
+        sessionId: input.sessionId,
+        workspaceId: input.workspaceId,
+    });
+    const binding = yield* activateCodexSession(owned, {
+        maiaVersion: input.maiaVersion,
+        request: input.request,
+        ...(input.sandboxMode === undefined
+            ? {}
+            : { sandboxMode: input.sandboxMode }),
+        sessionId: input.sessionId,
+        workingDirectory: input.workingDirectory,
+    });
+    yield* input.onStarted(binding);
+    return { binding, owned };
+});
+const activateSessionRuntime = (manager, input, operation) => Effect.gen(function* () {
+    const [duration, outcome] = yield* Effect.timed(Effect.result(openSessionRuntime(manager, input)));
+    if (outcome._tag === "Failure") {
+        yield* recordCodexSessionActivation(operation, "activation_failed", duration);
+        return yield* Effect.fail(outcome.failure);
+    }
+    yield* recordCodexSessionActivation(operation, "ready", duration);
+    return outcome.success;
+}).pipe(Effect.withSpan("maia.node.runtime.codex.session.activation", {
+    attributes: { operation, runtime: "codex" },
+}));
+const turnFailureState = (reason) => reason === "approval_required" ? "failed" : "outcome-unknown";
+const turnFailureOutcome = (reason) => reason === "approval_required" ? `failed:${reason}` : `unknown:${reason}`;
+const turnCompletionOutcome = (completion) => {
+    if (completion.state === "completed")
+        return "completed";
+    return completion.state === "interrupted"
+        ? "interrupted"
+        : "failed:turn_rejected";
+};
+const annotateTurnOutcome = (turnOutcome) => Effect.annotateCurrentSpan({ turnOutcome });
+const liveTurnUnavailableError = () => makeNodeRuntimeError("resource_not_found", "The live Codex turn is not available.");
+const liveTurnFailedError = (error) => asNodeRuntimeError(error, "outcome_unknown", "The Codex turn interrupt failed.");
+const registerLiveTurn = (liveTurns, sessionId, running) => {
+    liveTurns.set(sessionId, running);
+};
+const unregisterLiveTurn = (liveTurns, sessionId, running) => {
+    if (liveTurns.get(sessionId) === running)
+        liveTurns.delete(sessionId);
+};
+const revalidateTurnRepository = Effect.fn("CodexTurn.revalidate")(function* (context) {
+    const repository = yield* Effect.result(context.input.turns.beforeDispatch(context.turn));
+    if (repository._tag === "Success")
+        return true;
+    yield* context.input.turns.onFailed({
+        reason: "repository_changed",
+        state: "failed",
+        turnId: context.turn.id,
+    });
+    yield* transitionTurn(context.actor, { type: "fail" });
+    yield* recordCodexTurnOutcome("failed:repository_changed", context.startedAtNanos);
+    return false;
+});
+const bindLiveRuntimeTurn = Effect.fn("CodexTurn.bindLive")(function* (context, running) {
+    registerLiveTurn(context.liveTurns, context.input.sessionId, running);
+    const started = yield* Effect.result(context.input.turns.onStarted({
+        runtimeTurnId: running.runtimeTurnId,
+        turnId: context.turn.id,
+    }));
+    if (started._tag === "Failure") {
+        unregisterLiveTurn(context.liveTurns, context.input.sessionId, running);
+        return yield* Effect.fail(started.failure);
+    }
+    yield* transitionTurn(context.actor, { type: "start" });
+});
+const executeRuntimeTurn = Effect.fn("CodexTurn.executeRuntime")(function* (context) {
+    const running = yield* startCodexTurn(context.owned, context.binding, context.turn.input);
+    yield* bindLiveRuntimeTurn(context, running);
+    return yield* running.completion.pipe(Effect.ensuring(Effect.sync(() => {
+        unregisterLiveTurn(context.liveTurns, context.input.sessionId, running);
+    })));
+});
+const persistTurnFailure = Effect.fn("CodexTurn.persistFailure")(function* (context, failure) {
+    const reason = failure.reason;
+    const state = turnFailureState(reason);
+    if (failure.discriminator !== undefined) {
+        yield* annotateCodexAdapterDiscriminator(failure.discriminator);
+    }
+    yield* context.input.turns.onFailed({
+        reason,
+        state,
+        turnId: context.turn.id,
+    });
+    yield* transitionTurn(context.actor, {
+        type: state === "failed" ? "fail" : "unknown",
+    });
+    yield* recordCodexTurnOutcome(turnFailureOutcome(reason), context.startedAtNanos);
+    if (reason !== "approval_required")
+        return yield* Effect.fail(failure);
+});
+const persistCompletedTurn = Effect.fn("CodexTurn.persistCompleted")(function* (context, execution) {
+    if (execution.state !== "completed")
+        return;
+    yield* context.input.turns.onCompleted({
+        responseText: execution.responseText,
+        ...(execution.tokenUsage === undefined
+            ? {}
+            : { tokenUsage: execution.tokenUsage }),
+        turnId: context.turn.id,
+    });
+    yield* transitionTurn(context.actor, { type: "complete" });
+    yield* recordCodexTurnOutcome("completed", context.startedAtNanos, execution.tokenUsage);
+});
+const persistInterruptedTurn = Effect.fn("CodexTurn.persistInterrupted")(function* (context) {
+    yield* context.input.turns.onInterrupted(context.turn.id);
+    yield* transitionTurn(context.actor, { type: "interrupt" });
+    yield* recordCodexTurnOutcome("interrupted", context.startedAtNanos);
+});
+const persistRejectedTurn = Effect.fn("CodexTurn.persistRejected")(function* (context) {
+    yield* context.input.turns.onFailed({
+        reason: "turn_rejected",
+        state: "failed",
+        turnId: context.turn.id,
+    });
+    yield* transitionTurn(context.actor, { type: "fail" });
+    yield* recordCodexTurnOutcome("failed:turn_rejected", context.startedAtNanos);
+});
+const persistTurnSuccess = (context, execution) => {
+    if (execution.state === "completed") {
+        return persistCompletedTurn(context, execution);
+    }
+    if (execution.state === "interrupted") {
+        return persistInterruptedTurn(context);
+    }
+    return persistRejectedTurn(context);
+};
+const runCodexTurn = Effect.fn("maia.node.runtime.codex.turn")(function* (pending) {
+    const startedAtNanos = yield* Clock.monotonicTimeNanos;
+    const actor = yield* Effect.acquireRelease(Effect.sync(() => createActor(codexTurnLifecycleMachine).start()), (value) => Effect.sync(() => value.stop()));
+    const context = { ...pending, actor, startedAtNanos };
+    yield* transitionTurn(actor, { type: "dispatch" });
+    if (!(yield* revalidateTurnRepository(context))) {
+        yield* annotateTurnOutcome("failed:repository_changed");
+        return;
+    }
+    const execution = yield* Effect.result(executeRuntimeTurn(context));
+    if (execution._tag === "Success") {
+        yield* persistTurnSuccess(context, execution.success);
+        yield* annotateTurnOutcome(turnCompletionOutcome(execution.success));
+        return;
+    }
+    if (execution.failure instanceof CodexTurnFailure) {
+        yield* annotateTurnOutcome(turnFailureOutcome(execution.failure.reason));
+        return yield* persistTurnFailure(context, execution.failure);
+    }
+    return yield* Effect.fail(execution.failure);
+});
+const runNextAvailableTurn = Effect.fn("CodexSession.runNextAvailableTurn")(function* (context) {
+    const turn = yield* context.input.turns.claimNext();
+    if (turn === undefined)
+        return false;
+    yield* Effect.scoped(runCodexTurn({ ...context, turn })).pipe(Effect.annotateSpans({ runtime: "codex" }));
+    return true;
+});
+const runAvailableTurns = (context) => runNextAvailableTurn(context).pipe(Effect.repeat({ while: (claimed) => claimed }), Effect.asVoid, Effect.withSpan("CodexSession.runAvailableTurns"));
+const runTurnWorker = Effect.fn("CodexSession.runTurnWorker")(function* (context, wake) {
+    yield* Effect.forever(Queue.take(wake).pipe(Effect.andThen(() => runAvailableTurns(context))));
+});
+const turnFailureReasonFromTransport = (reason) => {
+    if (reason === "output_limit_exceeded")
+        return "output_limit_exceeded";
+    if (reason === "protocol_invalid")
+        return "protocol_invalid";
+    return "runtime_exited";
+};
+const awaitUnexpectedSessionExit = (input) => input.owned.transport
+    .failure()
+    .pipe(Effect.mapError((failure) => new CodexTurnFailure(turnFailureReasonFromTransport(failure.reason))));
+const runActivation = Effect.fn("CodexSession.runActivation")(function* (context) {
+    const { actor, input, liveTurns, manager, wake } = context;
+    const operation = input.request.kind;
+    yield* transition(actor, {
+        type: operation === "resume" ? "recover" : "claim",
+    });
+    const runtime = yield* activateSessionRuntime(manager, input, operation);
+    yield* transition(actor, { type: "ready" });
+    yield* Queue.offer(wake, true);
+    yield* Effect.raceFirst(runTurnWorker({
+        binding: runtime.binding,
+        input,
+        liveTurns,
+        owned: runtime.owned,
+    }, wake), awaitUnexpectedSessionExit(runtime));
+});
+const handleActivationError = (input, actor, error) => {
+    if (!(error instanceof CodexProbeFailure) &&
+        !(error instanceof CodexTurnFailure)) {
+        return Effect.fail(error);
+    }
+    const reason = error instanceof CodexProbeFailure ? "activation_failed" : "runtime_exited";
+    actor.send({ type: "fail" });
+    return Effect.logWarning("maia.node.codex_session_failed", new Map([
+        ["failureReason", error.reason],
+        ["operation", input.request.kind],
+        ["sessionOutcome", reason],
+    ])).pipe(Effect.andThen(input.onFailed(reason)), Effect.andThen(recordCodexSessionOutcome(input.request.kind, reason)));
+};
+const runOwnedActivation = Effect.fn("CodexSession.runOwnedActivation")(function* (context) {
+    const actor = yield* Effect.acquireRelease(Effect.sync(() => createActor(codexSessionLifecycleMachine).start()), (value) => Effect.sync(() => value.stop()));
+    return yield* runActivation({
+        actor,
+        input: context.input,
+        liveTurns: context.liveTurns,
+        manager: context.manager,
+        wake: context.wake,
+    }).pipe(Effect.catch((error) => handleActivationError(context.input, actor, error)));
+});
+const makeSessionAdmission = (active, sharedAdmission) => Effect.fn("CodexSession.admit")(function* (input) {
+    if (active.has(input.sessionId))
+        return false;
+    if (!(yield* sharedAdmission.admit(input.sessionId)))
+        return false;
+    active.add(input.sessionId);
+    yield* recordActiveCodexSessions(active.size);
+    return true;
+});
+const releaseManagedActivation = (context) => Effect.gen(function* () {
+    const wake = context.wakeups.get(context.input.sessionId);
+    context.wakeups.delete(context.input.sessionId);
+    context.liveTurns.delete(context.input.sessionId);
+    if (wake !== undefined)
+        yield* Queue.shutdown(wake);
+    context.active.delete(context.input.sessionId);
+    yield* context.admission.release(context.input.sessionId);
+    yield* recordActiveCodexSessions(context.active.size);
+});
+const makeManagedActivation = (context) => Effect.scoped(Effect.gen(function* () {
+    const wake = yield* Queue.dropping(1);
+    context.wakeups.set(context.input.sessionId, wake);
+    yield* runOwnedActivation({
+        input: context.input,
+        liveTurns: context.liveTurns,
+        manager: context.manager,
+        wake,
+    });
+})).pipe(Effect.asVoid, Effect.ensuring(releaseManagedActivation(context)));
+const escalateSupervisionFailure = (failure) => Effect.logFatal("maia.node.codex_session_supervision_failed", new Map([["code", failure.code]])).pipe(Effect.andThen(Effect.sync(() => {
+    try {
+        process.kill(process.pid, "SIGTERM");
+    }
+    catch {
+        // The fatal local diagnostic already records the failed escalation.
+    }
+})));
+const makeSessionSchedule = (input) => {
+    const admit = makeSessionAdmission(input.active, input.sharedAdmission);
+    return Effect.fn("CodexSession.schedule")((activationInput) => input.admission.withPermit(Effect.gen(function* () {
+        if (!(yield* admit(activationInput)))
+            return;
+        const activation = makeManagedActivation({
+            active: input.active,
+            admission: input.sharedAdmission,
+            input: activationInput,
+            liveTurns: input.liveTurns,
+            manager: input.manager,
+            wakeups: input.wakeups,
+        });
+        yield* FiberSet.run(input.fibers, activation);
+    })));
+};
+const makeSessionWake = (wakeups) => Effect.fn("CodexSession.wake")(function* (sessionId) {
+    const wake = wakeups.get(sessionId);
+    if (wake === undefined)
+        return;
+    yield* Queue.offer(wake, true);
+});
+const resolveLiveTurn = (liveTurns, input) => {
+    if (input.sessionId.length === 0 || input.runtimeTurnId.length === 0) {
+        return undefined;
+    }
+    const live = liveTurns.get(input.sessionId);
+    return live?.runtimeTurnId === input.runtimeTurnId ? live : undefined;
+};
+const makeSessionInterrupt = (liveTurns) => Effect.fn("CodexSession.interruptRunningTurn")(function* (input) {
+    const live = resolveLiveTurn(liveTurns, input);
+    if (live === undefined) {
+        return yield* Effect.fail(liveTurnUnavailableError());
+    }
+    const outcome = yield* Effect.result(interruptCodexTurn(live));
+    if (outcome._tag === "Success")
+        return outcome.success;
+    if (outcome.failure instanceof CodexTurnFailure &&
+        outcome.failure.discriminator !== undefined) {
+        yield* annotateCodexAdapterDiscriminator(outcome.failure.discriminator);
+    }
+    return yield* Effect.fail(liveTurnFailedError(outcome.failure));
+});
+const acquireSessionFibers = Effect.fn("CodexSession.acquireFibers")(function* (options) {
+    const fibers = yield* FiberSet.make();
+    yield* FiberSet.join(fibers).pipe(Effect.catch(options.handleSupervisionFailure ?? escalateSupervisionFailure), Effect.forkScoped);
+    return fibers;
+});
+export const makeCodexSessionScheduler = Effect.fn("CodexSession.makeScheduler")(function* (options) {
+    const fibers = yield* acquireSessionFibers(options);
+    const admission = yield* Semaphore.make(1);
+    const sharedAdmission = options.admission ?? (yield* makeSessionRuntimeAdmission());
+    const active = new Set();
+    const liveTurns = new Map();
+    const wakeups = new Map();
+    return {
+        interruptRunningTurn: makeSessionInterrupt(liveTurns),
+        schedule: makeSessionSchedule({
+            active,
+            admission,
+            fibers,
+            liveTurns,
+            manager: options.manager,
+            sharedAdmission,
+            wakeups,
+        }),
+        wake: makeSessionWake(wakeups),
+    };
+});
+//# sourceMappingURL=session-service.js.map

package/dist/harness/codex/session-service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"session-service.js","sourceRoot":"","sources":["../../../src/harness/codex/session-service.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAc,SAAS,EAAE,MAAM,QAAQ,CAAC;AAC/E,OAAO,EAAqB,WAAW,EAAE,MAAM,QAAQ,CAAC;AAExD,OAAO,EACL,kBAAkB,EAClB,oBAAoB,GAErB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EACL,2BAA2B,GAE5B,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAEL,4BAA4B,GAC7B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,yBAAyB,EACzB,4BAA4B,EAC5B,yBAAyB,GAC1B,MAAM,4BAA4B,CAAC;AAMpC,OAAO,EACL,oBAAoB,GAErB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,4BAA4B,EAG5B,iBAAiB,GAElB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAEL,yBAAyB,GAC1B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,iCAAiC,EAEjC,sBAAsB,GACvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAEL,gBAAgB,EAGhB,kBAAkB,EAClB,cAAc,GACf,MAAM,qBAAqB,CAAC;AA0E7B,MAAM,UAAU,GAAG,CAAC,KAAmB,EAAE,KAAiC,EAAE,EAAE,CAC5E,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;IACf,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACpB,CAAC,CAAC,CAAC;AAEL,MAAM,cAAc,GAAG,CAAC,KAAgB,EAAE,KAA8B,EAAE,EAAE,CAC1E,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;IACf,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACpB,CAAC,CAAC,CAAC;AAEL,MAAM,kBAAkB,GAAG,MAAM,CAAC,EAAE,CAAC,0BAA0B,CAAC,CAAC,QAAQ,CAAC,EACxE,OAAsC,EACtC,KAAkC;IAElC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,4BAA4B,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE;QACxE,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,IAAI,EAAE,eAAe;QACrB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,WAAW,EAAE,KAAK,CAAC,WAAW;KAC/B,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,oBAAoB,CAAC,KAAK,EAAE;QACjD,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS;YACjC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC;QACvC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;KACzC,CAAC,CAAC;IACH,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAChC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC,CAAC,CAAC;AAEH,MAAM,sBAAsB,GAAG,CAC7B,OAAsC,EACtC,KAAkC,EAClC,SAA6B,EAC7B,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAC7C,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAClD,CAAC;IACF,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/B,KAAK,CAAC,CAAC,4BAA4B,CACjC,SAAS,EACT,mBAAmB,EACnB,QAAQ,CACT,CAAC;QACF,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC;IACD,KAAK,CAAC,CAAC,4BAA4B,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClE,OAAO,OAAO,CAAC,OAAO,CAAC;AACzB,CAAC,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CAAC,4CAA4C,EAAE;IAC5D,UAAU,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE;CAC5C,CAAC,CACH,CAAC;AAEJ,MAAM,gBAAgB,GAAG,CACvB,MAA8B,EACA,EAAE,CAChC,MAAM,KAAK,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC;AAEhE,MAAM,kBAAkB,GAAG,CACzB,MAA8B,EACZ,EAAE,CACpB,MAAM,KAAK,mBAAmB,CAAC,CAAC,CAAC,UAAU,MAAM,EAAE,CAAC,CAAC,CAAC,WAAW,MAAM,EAAE,CAAC;AAE5E,MAAM,qBAAqB,GAAG,CAC5B,UAA+B,EACb,EAAE;IACpB,IAAI,UAAU,CAAC,KAAK,KAAK,WAAW;QAAE,OAAO,WAAW,CAAC;IACzD,OAAO,UAAU,CAAC,KAAK,KAAK,aAAa;QACvC,CAAC,CAAC,aAAa;QACf,CAAC,CAAC,sBAAsB,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,WAA6B,EAAE,EAAE,CAC5D,MAAM,CAAC,mBAAmB,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC;AAI9C,MAAM,wBAAwB,GAAG,GAAG,EAAE,CACpC,oBAAoB,CAClB,oBAAoB,EACpB,uCAAuC,CACxC,CAAC;AAEJ,MAAM,mBAAmB,GAAG,CAAC,KAAc,EAAE,EAAE,CAC7C,kBAAkB,CAChB,KAAK,EACL,iBAAiB,EACjB,kCAAkC,CACnC,CAAC;AAEJ,MAAM,gBAAgB,GAAG,CACvB,SAA2B,EAC3B,SAAiB,EACjB,OAAyB,EACnB,EAAE;IACR,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,SAA2B,EAC3B,SAAiB,EACjB,OAAyB,EACnB,EAAE;IACR,IAAI,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,OAAO;QAAE,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;AACxE,CAAC,CAAC;AAiBF,MAAM,wBAAwB,GAAG,MAAM,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,QAAQ,CAAC,EAC1E,OAA6B;IAE7B,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CACrC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,CACjD,CAAC;IACF,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC/C,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC;QAClC,MAAM,EAAE,oBAAoB;QAC5B,KAAK,EAAE,QAAQ;QACf,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE;KACxB,CAAC,CAAC;IACH,KAAK,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACvD,KAAK,CAAC,CAAC,sBAAsB,CAC3B,2BAA2B,EAC3B,OAAO,CAAC,cAAc,CACvB,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,QAAQ,CAAC,EACnE,OAA6B,EAC7B,OAAyB;IAEzB,gBAAgB,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAClC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC;QAC5B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE;KACxB,CAAC,CACH,CAAC;IACF,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/B,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACxE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC;IACD,KAAK,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;AAC1D,CAAC,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,MAAM,CAAC,EAAE,CAAC,0BAA0B,CAAC,CAAC,QAAQ,CAAC,EACxE,OAA6B;IAE7B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,cAAc,CACnC,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,IAAI,CAAC,KAAK,CACnB,CAAC;IACF,KAAK,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC7C,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CACnC,MAAM,CAAC,QAAQ,CACb,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACf,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC1E,CAAC,CAAC,CACH,CACF,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,MAAM,CAAC,EAAE,CAAC,0BAA0B,CAAC,CAAC,QAAQ,CAAC,EACxE,OAA6B,EAC7B,OAAyB;IAEzB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAC9B,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACxC,KAAK,CAAC,CAAC,iCAAiC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAClE,CAAC;IACD,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC;QAClC,MAAM;QACN,KAAK;QACL,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE;KACxB,CAAC,CAAC;IACH,KAAK,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE;QACnC,IAAI,EAAE,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;KAC9C,CAAC,CAAC;IACH,KAAK,CAAC,CAAC,sBAAsB,CAC3B,kBAAkB,CAAC,MAAM,CAAC,EAC1B,OAAO,CAAC,cAAc,CACvB,CAAC;IACF,IAAI,MAAM,KAAK,mBAAmB;QAAE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACzE,CAAC,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,MAAM,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAC,QAAQ,CAAC,EAC5E,OAA6B,EAC7B,SAA8B;IAE9B,IAAI,SAAS,CAAC,KAAK,KAAK,WAAW;QAAE,OAAO;IAC5C,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC;QACrC,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,GAAG,CAAC,SAAS,CAAC,UAAU,KAAK,SAAS;YACpC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,UAAU,EAAE,SAAS,CAAC,UAAU,EAAE,CAAC;QACzC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE;KACxB,CAAC,CAAC;IACH,KAAK,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;IAC3D,KAAK,CAAC,CAAC,sBAAsB,CAC3B,WAAW,EACX,OAAO,CAAC,cAAc,EACtB,SAAS,CAAC,UAAU,CACrB,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,MAAM,sBAAsB,GAAG,MAAM,CAAC,EAAE,CAAC,8BAA8B,CAAC,CACtE,QAAQ,CAAC,EAAE,OAA6B;IACtC,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1D,KAAK,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;IAC5D,KAAK,CAAC,CAAC,sBAAsB,CAAC,aAAa,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;AACvE,CAAC,CACF,CAAC;AAEF,MAAM,mBAAmB,GAAG,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,QAAQ,CAAC,EAC1E,OAA6B;IAE7B,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC;QAClC,MAAM,EAAE,eAAe;QACvB,KAAK,EAAE,QAAQ;QACf,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE;KACxB,CAAC,CAAC;IACH,KAAK,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACvD,KAAK,CAAC,CAAC,sBAAsB,CAAC,sBAAsB,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;AAChF,CAAC,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,CACzB,OAA6B,EAC7B,SAA8B,EAC9B,EAAE;IACF,IAAI,SAAS,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QACpC,OAAO,oBAAoB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,SAAS,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;QACtC,OAAO,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,mBAAmB,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,MAAM,CAAC,EAAE,CAAC,8BAA8B,CAAC,CAAC,QAAQ,CAAC,EACtE,OAA6B;IAE7B,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACvD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,cAAc,CACxC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,yBAAyB,CAAC,CAAC,KAAK,EAAE,CAAC,EACjE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAC3C,CAAC;IACF,MAAM,OAAO,GAAG,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;IACtD,KAAK,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;IACnD,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAChD,KAAK,CAAC,CAAC,mBAAmB,CAAC,2BAA2B,CAAC,CAAC;QACxD,OAAO;IACT,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC;IACpE,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACjC,KAAK,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;QACtD,KAAK,CAAC,CAAC,mBAAmB,CAAC,qBAAqB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;QACrE,OAAO;IACT,CAAC;IACD,IAAI,SAAS,CAAC,OAAO,YAAY,gBAAgB,EAAE,CAAC;QAClD,KAAK,CAAC,CAAC,mBAAmB,CAAC,kBAAkB,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QACzE,OAAO,KAAK,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,MAAM,CAAC,EAAE,CAAC,mCAAmC,CAAC,CACzE,QAAQ,CAAC,EAAE,OAA2C;IACpD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;IACpD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAC3D,MAAM,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAC3C,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC,CACF,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,OAA2C,EACe,EAAE,CAC5D,oBAAoB,CAAC,OAAO,CAAC,CAAC,IAAI,CAChC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,EAC9C,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,QAAQ,CAAC,gCAAgC,CAAC,CAClD,CAAC;AAEJ,MAAM,aAAa,GAAG,MAAM,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAC,QAAQ,CAAC,EACrE,OAA2C,EAC3C,IAA0B;IAE1B,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,CACxE,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,MAAM,8BAA8B,GAAG,CACrC,MAAmC,EAInC,EAAE;IACF,IAAI,MAAM,KAAK,uBAAuB;QAAE,OAAO,uBAAuB,CAAC;IACvE,IAAI,MAAM,KAAK,kBAAkB;QAAE,OAAO,kBAAkB,CAAC;IAC7D,OAAO,gBAAgB,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,KAEnC,EAAE,EAAE,CACH,KAAK,CAAC,KAAK,CAAC,SAAS;KAClB,OAAO,EAAE;KACT,IAAI,CACH,MAAM,CAAC,QAAQ,CACb,CAAC,OAAO,EAAE,EAAE,CACV,IAAI,gBAAgB,CAAC,8BAA8B,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CACvE,CACF,CAAC;AAEN,MAAM,aAAa,GAAG,MAAM,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAC3D,QAAQ,CAAC,EAAE,OAMV;IACC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IAC3D,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;IACrC,KAAK,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE;QACvB,IAAI,EAAE,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;KACnD,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,sBAAsB,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IACzE,KAAK,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAC5C,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/B,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,CACrB,aAAa,CACX;QACE,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK;QACL,SAAS;QACT,KAAK,EAAE,OAAO,CAAC,KAAK;KACrB,EACD,IAAI,CACL,EACD,0BAA0B,CAAC,OAAO,CAAC,CACpC,CAAC;AACJ,CAAC,CACF,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,KAAkC,EAClC,KAAmB,EACnB,KAA8D,EAC9D,EAAE;IACF,IACE,CAAC,CAAC,KAAK,YAAY,iBAAiB,CAAC;QACrC,CAAC,CAAC,KAAK,YAAY,gBAAgB,CAAC,EACpC,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IACD,MAAM,MAAM,GACV,KAAK,YAAY,iBAAiB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,gBAAgB,CAAC;IAC9E,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAC7B,OAAO,MAAM,CAAC,UAAU,CACtB,gCAAgC,EAChC,IAAI,GAAG,CAAkB;QACvB,CAAC,eAAe,EAAE,KAAK,CAAC,MAAM,CAAC;QAC/B,CAAC,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QACjC,CAAC,gBAAgB,EAAE,MAAM,CAAC;KAC3B,CAAC,CACH,CAAC,IAAI,CACJ,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EACtC,MAAM,CAAC,OAAO,CAAC,yBAAyB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CACtE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,MAAM,CAAC,EAAE,CAAC,iCAAiC,CAAC,CACrE,QAAQ,CAAC,EAAE,OAKV;IACC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,cAAc,CACxC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,4BAA4B,CAAC,CAAC,KAAK,EAAE,CAAC,EACpE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAC3C,CAAC;IACF,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC;QAC1B,KAAK;QACL,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,IAAI,EAAE,OAAO,CAAC,IAAI;KACnB,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACrB,qBAAqB,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CACnD,CACF,CAAC;AACJ,CAAC,CACF,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,MAAmB,EACnB,eAAwC,EACxC,EAAE,CACF,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,QAAQ,CAAC,EACvC,KAAkC;IAElC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9C,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACnE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC5B,KAAK,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9C,OAAO,IAAI,CAAC;AACd,CAAC,CAAC,CAAC;AAEL,MAAM,wBAAwB,GAAG,CAAC,OAMjC,EAAE,EAAE,CACH,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC1D,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAChD,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,IAAI,KAAK,SAAS;QAAE,KAAK,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACpD,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC/C,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC1D,KAAK,CAAC,CAAC,yBAAyB,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AACxD,CAAC,CAAC,CAAC;AAEL,MAAM,qBAAqB,GAAG,CAAC,OAO9B,EAAE,EAAE,CACH,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAU,CAAC,CAAC,CAAC;IAC/C,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IACnD,KAAK,CAAC,CAAC,kBAAkB,CAAC;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,IAAI;KACL,CAAC,CAAC;AACL,CAAC,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAE5E,MAAM,0BAA0B,GAA0C,CACxE,OAAO,EACP,EAAE,CACF,MAAM,CAAC,QAAQ,CACb,4CAA4C,EAC5C,IAAI,GAAG,CAAkB,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CACnD,CAAC,IAAI,CACJ,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;IACf,IAAI,CAAC;QACH,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACvC,CAAC;IAAC,MAAM,CAAC;QACP,oEAAoE;IACtE,CAAC;AACH,CAAC,CAAC,CACH,CACF,CAAC;AAEJ,MAAM,mBAAmB,GAAG,CAAC,KAQ5B,EAAE,EAAE;IACH,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;IACxE,OAAO,MAAM,CAAC,EAAE,CAAC,uBAAuB,CAAC,CACvC,CAAC,eAA4C,EAAE,EAAE,CAC/C,KAAK,CAAC,SAAS,CAAC,UAAU,CACxB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YAAE,OAAO;QAC7C,MAAM,UAAU,GAAG,qBAAqB,CAAC;YACvC,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,SAAS,EAAE,KAAK,CAAC,eAAe;YAChC,KAAK,EAAE,eAAe;YACtB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC,CAAC;QACH,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAChD,CAAC,CAAC,CACH,CACJ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,OAA0C,EAAE,EAAE,CACrE,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,EAAE,SAAiB;IACzD,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACpC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO;IAC/B,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC;AAEL,MAAM,eAAe,GAAG,CACtB,SAA2B,EAC3B,KAAqC,EACP,EAAE;IAChC,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC5C,OAAO,IAAI,EAAE,aAAa,KAAK,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACxE,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,SAA2B,EAAE,EAAE,CAC3D,MAAM,CAAC,EAAE,CAAC,mCAAmC,CAAC,CAAC,QAAQ,CAAC,EACtD,KAAqC;IAErC,MAAM,IAAI,GAAG,eAAe,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAC/C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,wBAAwB,EAAE,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/D,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,OAAO,CAAC;IACvD,IACE,OAAO,CAAC,OAAO,YAAY,gBAAgB;QAC3C,OAAO,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,EAC3C,CAAC;QACD,KAAK,CAAC,CAAC,iCAAiC,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;AAClE,CAAC,CAAC,CAAC;AAQL,MAAM,oBAAoB,GAAG,MAAM,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAC,QAAQ,CAAC,EAC5E,OAAqC;IAErC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAA6B,CAAC;IACjE,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAC/B,MAAM,CAAC,KAAK,CACV,OAAO,CAAC,wBAAwB,IAAI,0BAA0B,CAC/D,EACD,MAAM,CAAC,UAAU,CAClB,CAAC;IACF,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,MAAM,CAAC,EAAE,CAChD,4BAA4B,CAC7B,CAAC,QAAQ,CAAC,EACT,OAAqC;IAErC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,eAAe,GACnB,OAAO,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,CAAC,2BAA2B,EAAE,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,SAAS,GAAqB,IAAI,GAAG,EAAE,CAAC;IAC9C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgC,CAAC;IACxD,OAAO;QACL,oBAAoB,EAAE,oBAAoB,CAAC,SAAS,CAAC;QACrD,QAAQ,EAAE,mBAAmB,CAAC;YAC5B,MAAM;YACN,SAAS;YACT,MAAM;YACN,SAAS;YACT,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,eAAe;YACf,OAAO;SACR,CAAC;QACF,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC;KAC/B,CAAC;AACJ,CAAC,CAAC,CAAC"}

package/dist/harness/codex/session-transport.d.ts

@@ -0,0 +1,22 @@
+import { Effect } from "effect";
+import { type CodexSessionBinding, type CodexSessionSandboxMode } from "./session-protocol.js";
+import { type CodexOwnedProcess, CodexProbeFailure } from "./transport.js";
+export type CodexSessionActivationRequest = {
+    readonly kind: "resume";
+    readonly runtimeSessionId: string;
+    readonly runtimeThreadId: string;
+} | {
+    readonly kind: "start";
+};
+type CodexSessionActivationInput = {
+    readonly maiaVersion: string;
+    readonly request: CodexSessionActivationRequest;
+    readonly sandboxMode?: CodexSessionSandboxMode;
+    readonly sessionId: string;
+    readonly workingDirectory: string;
+};
+export declare const decodeSessionProtocol: <TValue>(decode: () => TValue) => TValue;
+export declare const activateCodexSession: (owned: CodexOwnedProcess, input: CodexSessionActivationInput) => Effect.Effect<CodexSessionBinding, CodexProbeFailure>;
+export declare const awaitCodexSessionExit: (owned: CodexOwnedProcess) => Effect.Effect<void>;
+export {};
+//# sourceMappingURL=session-transport.d.ts.map

package/dist/harness/codex/session-transport.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"session-transport.d.ts","sourceRoot":"","sources":["../../../src/harness/codex/session-transport.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAe,MAAM,QAAQ,CAAC;AAG7C,OAAO,EACL,KAAK,mBAAmB,EAIxB,KAAK,uBAAuB,EAQ7B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAIL,KAAK,iBAAiB,EACtB,iBAAiB,EAGlB,MAAM,gBAAgB,CAAC;AAExB,MAAM,MAAM,6BAA6B,GACrC;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAE/B,KAAK,2BAA2B,GAAG;IACjC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,6BAA6B,CAAC;IAChD,QAAQ,CAAC,WAAW,CAAC,EAAE,uBAAuB,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAAI,MAAM,EAAE,QAAQ,MAAM,MAAM,KAAG,MAYpE,CAAC;AAgMF,eAAO,MAAM,oBAAoB,GAC/B,OAAO,iBAAiB,EACxB,OAAO,2BAA2B,KACjC,MAAM,CAAC,MAAM,CAAC,mBAAmB,EAAE,iBAAiB,CAMpD,CAAC;AAEJ,eAAO,MAAM,qBAAqB,GAChC,OAAO,iBAAiB,KACvB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAyD,CAAC"}

package/dist/harness/codex/session-transport.js

@@ -0,0 +1,152 @@
+import { Effect, SchemaError } from "effect";
+import { codexProbePolicy } from "./policy.js";
+import { codexSessionInitializeRecord, codexSessionPostInitializeRecords, CodexSessionProtocolFailure, codexThreadResumeRecord, codexThreadSetNameRecord, codexThreadStartRecord, parseSessionInitializeResponse, parseThreadStartResponse, requireSessionAccountReadResponse, requireThreadSetNameResponse, } from "./session-protocol.js";
+import { cleanupCodexOwnedProcess, CodexProbeFailure, ProcessObserver, } from "./transport.js";
+export const decodeSessionProtocol = (decode) => {
+    try {
+        return decode();
+    }
+    catch (error) {
+        if (error instanceof CodexSessionProtocolFailure ||
+            SchemaError.isSchemaError(error)) {
+            throw new CodexProbeFailure("protocol_invalid");
+        }
+        throw error;
+    }
+};
+class SessionActivationObserver {
+    input;
+    #binding;
+    #executableVersion;
+    #stage = "initialize";
+    constructor(input) {
+        this.input = input;
+    }
+    start() {
+        this.write(codexSessionInitializeRecord(this.input.maiaVersion));
+    }
+    onRecord(value) {
+        if (typeof value !== "object" || value === null || !("id" in value)) {
+            return "defer";
+        }
+        if (this.acceptInitialize(value) ||
+            this.acceptAccount(value) ||
+            this.acceptThread(value) ||
+            this.acceptName(value)) {
+            return "consume";
+        }
+        if (value.id === 0 || value.id === 1 || value.id === 2 || value.id === 3) {
+            throw new CodexProbeFailure("protocol_invalid");
+        }
+        return "defer";
+    }
+    acceptInitialize(value) {
+        if (this.#stage === "initialize" && value.id === 0) {
+            const handshake = decodeSessionProtocol(() => parseSessionInitializeResponse(value));
+            if (handshake.executableVersion !==
+                codexProbePolicy.supportedExecutableVersion) {
+                throw new CodexProbeFailure("protocol_invalid");
+            }
+            this.#executableVersion = handshake.executableVersion;
+            this.#stage = "account";
+            codexSessionPostInitializeRecords.forEach((record) => {
+                this.write(record);
+            });
+            return true;
+        }
+        return false;
+    }
+    acceptAccount(value) {
+        if (this.#stage === "account" && value.id === 1) {
+            decodeSessionProtocol(() => {
+                requireSessionAccountReadResponse(value);
+            });
+            this.#stage = "thread";
+            this.write(this.input.request.kind === "resume"
+                ? codexThreadResumeRecord(this.input.request.runtimeThreadId, this.input.sandboxMode)
+                : codexThreadStartRecord(this.input.workingDirectory, this.input.sandboxMode));
+            return true;
+        }
+        return false;
+    }
+    acceptThread(value) {
+        if (this.#stage === "thread" && value.id === 2) {
+            if (this.#executableVersion === undefined) {
+                throw new CodexProbeFailure("protocol_invalid");
+            }
+            const binding = {
+                executableVersion: this.#executableVersion,
+                ...decodeSessionProtocol(() => parseThreadStartResponse(value)),
+            };
+            if (this.input.request.kind === "resume" &&
+                (binding.runtimeThreadId !== this.input.request.runtimeThreadId ||
+                    binding.runtimeSessionId !== this.input.request.runtimeSessionId)) {
+                throw new CodexProbeFailure("protocol_invalid");
+            }
+            this.finishThread(binding);
+            return true;
+        }
+        return false;
+    }
+    finishThread(binding) {
+        if (this.input.request.kind === "resume") {
+            this.input.observer.finish(Effect.succeed(binding));
+            return;
+        }
+        this.#binding = binding;
+        this.#stage = "name";
+        this.write(codexThreadSetNameRecord(binding.runtimeThreadId, this.input.sessionId));
+    }
+    acceptName(value) {
+        if (this.#stage !== "name" || value.id !== 3)
+            return false;
+        decodeSessionProtocol(() => {
+            requireThreadSetNameResponse(value);
+        });
+        if (this.#binding === undefined) {
+            throw new CodexProbeFailure("protocol_invalid");
+        }
+        this.input.observer.finish(Effect.succeed(this.#binding));
+        return true;
+    }
+    write(record) {
+        this.input.transport.write(record);
+    }
+}
+const noOperation = () => undefined;
+const activationFailureReason = (reason) => reason === "protocol_invalid" || reason === "output_limit_exceeded"
+    ? "protocol_invalid"
+    : "handshake_failed";
+const registerActivationRoute = (owned, observer, activation) => owned.transport.register({
+    maximumBytes: codexProbePolicy.maximumOutputBytes,
+    maximumChunks: codexProbePolicy.maximumOutputChunks,
+    maximumRecords: codexProbePolicy.maximumOutputRecords,
+    onFailure: (failure) => {
+        observer.finish(failure.pipe(Effect.mapError((transportFailure) => new CodexProbeFailure(activationFailureReason(transportFailure.reason)))));
+    },
+    onRecord: (value) => activation.onRecord(value),
+    outputFailureReason: "protocol_invalid",
+});
+const observeSessionActivation = (owned, input) => Effect.callback((resume) => {
+    let releaseRoute = noOperation;
+    const observer = new ProcessObserver(resume, () => {
+        releaseRoute();
+    });
+    const activation = new SessionActivationObserver({
+        ...input,
+        observer,
+        transport: owned.transport,
+    });
+    const registration = registerActivationRoute(owned, observer, activation);
+    releaseRoute = registration.release;
+    if (observer.settled)
+        releaseRoute();
+    activation.start();
+    return Effect.sync(releaseRoute).pipe(Effect.andThen(cleanupCodexOwnedProcess(owned)));
+});
+export const activateCodexSession = (owned, input) => observeSessionActivation(owned, input).pipe(Effect.timeoutOrElse({
+    duration: codexProbePolicy.sessionActivationDeadline,
+    orElse: () => Effect.fail(new CodexProbeFailure("handshake_failed")),
+}));
+export const awaitCodexSessionExit = (owned) => owned.process.exit.pipe(Effect.asVoid, Effect.orDie);
+//# sourceMappingURL=session-transport.js.map

package/dist/harness/codex/session-transport.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"session-transport.js","sourceRoot":"","sources":["../../../src/harness/codex/session-transport.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAE7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAEL,4BAA4B,EAC5B,iCAAiC,EACjC,2BAA2B,EAE3B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,EACtB,8BAA8B,EAC9B,wBAAwB,EACxB,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,wBAAwB,EAIxB,iBAAiB,EAEjB,eAAe,GAChB,MAAM,gBAAgB,CAAC;AAkBxB,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAS,MAAoB,EAAU,EAAE;IAC5E,IAAI,CAAC;QACH,OAAO,MAAM,EAAE,CAAC;IAClB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IACE,KAAK,YAAY,2BAA2B;YAC5C,WAAW,CAAC,aAAa,CAAC,KAAK,CAAC,EAChC,CAAC;YACD,MAAM,IAAI,iBAAiB,CAAC,kBAAkB,CAAC,CAAC;QAClD,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,yBAAyB;IAMV;IALnB,QAAQ,CAAkC;IAC1C,kBAAkB,CAAqB;IACvC,MAAM,GAAiD,YAAY,CAAC;IAEpE,YACmB,KAQhB;QARgB,UAAK,GAAL,KAAK,CAQrB;IACA,CAAC;IAEJ,KAAK;QACH,IAAI,CAAC,KAAK,CAAC,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,QAAQ,CAAC,KAAc;QACrB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;YACpE,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,IACE,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC;YAC5B,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;YACzB,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;YACxB,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EACtB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,KAAK,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;YACzE,MAAM,IAAI,iBAAiB,CAAC,kBAAkB,CAAC,CAAC;QAClD,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,gBAAgB,CAAC,KAA+B;QACtD,IAAI,IAAI,CAAC,MAAM,KAAK,YAAY,IAAI,KAAK,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;YACnD,MAAM,SAAS,GAAG,qBAAqB,CAAC,GAAG,EAAE,CAC3C,8BAA8B,CAAC,KAAK,CAAC,CACtC,CAAC;YACF,IACE,SAAS,CAAC,iBAAiB;gBAC3B,gBAAgB,CAAC,0BAA0B,EAC3C,CAAC;gBACD,MAAM,IAAI,iBAAiB,CAAC,kBAAkB,CAAC,CAAC;YAClD,CAAC;YACD,IAAI,CAAC,kBAAkB,GAAG,SAAS,CAAC,iBAAiB,CAAC;YACtD,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;YACxB,iCAAiC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;gBACnD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACrB,CAAC,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,aAAa,CAAC,KAA+B;QACnD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;YAChD,qBAAqB,CAAC,GAAG,EAAE;gBACzB,iCAAiC,CAAC,KAAK,CAAC,CAAC;YAC3C,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;YACvB,IAAI,CAAC,KAAK,CACR,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ;gBAClC,CAAC,CAAC,uBAAuB,CACrB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,EAClC,IAAI,CAAC,KAAK,CAAC,WAAW,CACvB;gBACH,CAAC,CAAC,sBAAsB,CACpB,IAAI,CAAC,KAAK,CAAC,gBAAgB,EAC3B,IAAI,CAAC,KAAK,CAAC,WAAW,CACvB,CACN,CAAC;YACF,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,YAAY,CAAC,KAA+B;QAClD,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;YAC/C,IAAI,IAAI,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;gBAC1C,MAAM,IAAI,iBAAiB,CAAC,kBAAkB,CAAC,CAAC;YAClD,CAAC;YACD,MAAM,OAAO,GAAG;gBACd,iBAAiB,EAAE,IAAI,CAAC,kBAAkB;gBAC1C,GAAG,qBAAqB,CAAC,GAAG,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC;aAChE,CAAC;YACF,IACE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ;gBACpC,CAAC,OAAO,CAAC,eAAe,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe;oBAC7D,OAAO,CAAC,gBAAgB,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,EACnE,CAAC;gBACD,MAAM,IAAI,iBAAiB,CAAC,kBAAkB,CAAC,CAAC;YAClD,CAAC;YACD,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YAC3B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,YAAY,CAAC,OAA4B;QAC/C,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;YACpD,OAAO;QACT,CAAC;QACD,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,KAAK,CACR,wBAAwB,CAAC,OAAO,CAAC,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CACxE,CAAC;IACJ,CAAC;IAEO,UAAU,CAAC,KAA+B;QAChD,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,EAAE,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3D,qBAAqB,CAAC,GAAG,EAAE;YACzB,4BAA4B,CAAC,KAAK,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QACH,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,IAAI,iBAAiB,CAAC,kBAAkB,CAAC,CAAC;QAClD,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC1D,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,KAAK,CAAC,MAAc;QAC1B,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrC,CAAC;CACF;AAED,MAAM,WAAW,GAAG,GAAS,EAAE,CAAC,SAAS,CAAC;AAE1C,MAAM,uBAAuB,GAAG,CAC9B,MAAmC,EACM,EAAE,CAC3C,MAAM,KAAK,kBAAkB,IAAI,MAAM,KAAK,uBAAuB;IACjE,CAAC,CAAC,kBAAkB;IACpB,CAAC,CAAC,kBAAkB,CAAC;AAEzB,MAAM,uBAAuB,GAAG,CAC9B,KAAwB,EACxB,QAA8C,EAC9C,UAAqC,EACrC,EAAE,CACF,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC;IACvB,YAAY,EAAE,gBAAgB,CAAC,kBAAkB;IACjD,aAAa,EAAE,gBAAgB,CAAC,mBAAmB;IACnD,cAAc,EAAE,gBAAgB,CAAC,oBAAoB;IACrD,SAAS,EAAE,CAAC,OAAO,EAAE,EAAE;QACrB,QAAQ,CAAC,MAAM,CACb,OAAO,CAAC,IAAI,CACV,MAAM,CAAC,QAAQ,CACb,CAAC,gBAAgB,EAAE,EAAE,CACnB,IAAI,iBAAiB,CACnB,uBAAuB,CAAC,gBAAgB,CAAC,MAAM,CAAC,CACjD,CACJ,CACF,CACF,CAAC;IACJ,CAAC;IACD,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC;IAC/C,mBAAmB,EAAE,kBAAkB;CACxC,CAAC,CAAC;AAEL,MAAM,wBAAwB,GAAG,CAC/B,KAAwB,EACxB,KAAkC,EACqB,EAAE,CACzD,MAAM,CAAC,QAAQ,CAAyC,CAAC,MAAM,EAAE,EAAE;IACjE,IAAI,YAAY,GAAG,WAAW,CAAC;IAC/B,MAAM,QAAQ,GAAG,IAAI,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE;QAChD,YAAY,EAAE,CAAC;IACjB,CAAC,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,IAAI,yBAAyB,CAAC;QAC/C,GAAG,KAAK;QACR,QAAQ;QACR,SAAS,EAAE,KAAK,CAAC,SAAS;KAC3B,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,uBAAuB,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC1E,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC;IACpC,IAAI,QAAQ,CAAC,OAAO;QAAE,YAAY,EAAE,CAAC;IACrC,UAAU,CAAC,KAAK,EAAE,CAAC;IACnB,OAAO,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,CACnC,MAAM,CAAC,OAAO,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAChD,CAAC;AACJ,CAAC,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAAwB,EACxB,KAAkC,EACqB,EAAE,CACzD,wBAAwB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,IAAI,CACzC,MAAM,CAAC,aAAa,CAAC;IACnB,QAAQ,EAAE,gBAAgB,CAAC,yBAAyB;IACpD,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,kBAAkB,CAAC,CAAC;CACrE,CAAC,CACH,CAAC;AAEJ,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAAwB,EACH,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC"}