niceeval 0.14.3-canary.52 → 0.14.3

package/dist/runner/assert-first-bridge.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"assert-first-bridge.js","sourceRoot":"","sources":["assert-first-bridge.ts"],"names":[],"mappings":";;AAmGA,oEA0JC;AA7PD;;;;;GAKG;AACH,mCAAqE;AAErE,iDAAqE;AAoCrE,kEAAkE;AAClE,SAAS,aAAa;IAClB,IAAI,OAAgC,CAAC;IACrC,IAAI,MAAiC,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,OAAO,CAAQ,CAAC,cAAc,EAAE,aAAa,EAAE,EAAE;QACjE,OAAO,GAAG,cAAc,CAAC;QACzB,MAAM,GAAG,aAAa,CAAC;IAC3B,CAAC,CAAC,CAAC;IACH,uEAAuE;IACvE,6EAA6E;IAC7E,KAAK,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IACpC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AACxC,CAAC;AAoBD,SAAS,eAAe,CAAC,OAA6B,EAAE,IAAiC,EAAE,eAAyB;IAChH,OAAO,eAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACpB,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;YAChC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QACpC,CAAC;aACI,IAAI,aAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC;aACI,CAAC;YACF,wEAAwE;YACxE,+CAA+C;YAC/C,OAAO,CAAC,MAAM,CAAC,eAAe,IAAI,cAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAChE,CAAC;IACL,CAAC,CAAC,CAAC;AACP,CAAC;AACD,SAAS,WAAW,CAAC,SAAiC,EAAE,OAAe;IACnE,OAAO,SAAS,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,CAAC,CAAC,eAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC,CAAC;AAChI,CAAC;AACD;;;;GAIG;AACH,SAAgB,4BAA4B;IACxC,OAAO,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACvB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,EAAoB,CAAC;QACzD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,EAAoC,CAAC;QACxE,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,EAAiC,CAAC;QAC1E,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,EAAoC,CAAC;QACxE,MAAM,uBAAuB,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,EAAkB,CAAC;QACvE,MAAM,oBAAoB,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,EAAkB,CAAC;QACpE,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,cAAK,CAAC,SAAS,EAAwB,CAAC;QAChE,4EAA4E;QAC5E,yEAAyE;QACzE,sEAAsE;QACtE,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,cAAK,CAAC,IAAI,EAAE,CAAC;QACzC,IAAI,aAAkC,CAAC;QACvC,IAAI,mBAAwC,CAAC;QAC7C,MAAM,WAAW,GAAG,GAAY,EAAE,CAAC,aAAa,IAAI,IAAI,sCAA6B,CAAC,gBAAgB,CAAC,CAAC;QACxG,MAAM,mBAAmB,GAAG,CAAC,KAAc,EAAuB,EAAE,CAAC,eAAM,CAAC,OAAO,CAAC,GAAG,EAAE;YACrF,sEAAsE;YACtE,uEAAuE;YACvE,oEAAoE;YACpE,IAAI,aAAa,KAAK,SAAS;gBAC3B,OAAO,eAAM,CAAC,IAAI,CAAC;YACvB,aAAa,GAAG,KAAK,CAAC;YACtB,OAAO,iBAAQ,CAAC,IAAI,CAAC,oBAAoB,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;gBACjF,IAAI,CAAC,UAAU;oBACX,OAAO,eAAM,CAAC,IAAI,CAAC;gBACvB,OAAO,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;oBACvB,mEAAmE;oBACnE,kEAAkE;oBAClE,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;oBACrC,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;oBACpC,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;oBACzC,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;oBACpC,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,CAAC,uBAAuB,EAAE,KAAK,CAAC,CAAC;oBACrD,8DAA8D;oBAC9D,8DAA8D;oBAC9D,8CAA8C;oBAC9C,KAAK,CAAC,CAAC,cAAK,CAAC,KAAK,CAAC,YAAY,EAAE,aAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;oBACnD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,cAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;oBAC7C,KAAK,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,aAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;oBAC3G,KAAK,CAAC,CAAC,cAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;gBACpC,CAAC,CAAC,CAAC;YACP,CAAC,CAAC,CAAC,CAAC;QACR,CAAC,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,CAAC,IAA8B,EAAE,EAAE,CAAC,eAAM,CAAC,SAAS,CAAC,iBAAQ,CAAC,KAAK,CAAC,oBAAoB,CAAC,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,iBAAQ,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,IAAI,CAAC,CAAC;QAC/M,MAAM,UAAU,GAAG,CAAC,OAA6B,EAAuB,EAAE;YACtE,MAAM,YAAY,GAAG,GAAwB,EAAE,CAAC,aAAa,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAClI,OAAO,eAAM,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;YACjK,sEAAsE;YACtE,sEAAsE;YACtE,oEAAoE;YACpE,4DAA4D;YAC5D,eAAM,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,aAAI,CAAC,SAAS,CAAC,UAAU,CAAC;gBACpD,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,aAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,YAAY,EAAE,CAAC;gBAC5E,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC;QACF,MAAM,MAAM,GAAG,eAAM,CAAC,OAAO,CAAC,cAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,eAAM,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC;YACxN,CAAC,CAAC,eAAM,CAAC,IAAI;YACb,CAAC,CAAC,mBAAmB,CAAC,cAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,KAAK,CAAC,CAAC,eAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,CAAe,MAA0C,EAAE,IAA8B,EAAkB,EAAE;YACzH,MAAM,MAAM,GAAG,aAAa,EAAS,CAAC;YACtC,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;gBAC7B,OAAO,MAAM,CAAC,OAAO,CAAC;YAC1B,CAAC;YACD,IAAI,IAAI,KAAK,WAAW,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;gBAC5D,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;gBACnC,OAAO,MAAM,CAAC,OAAO,CAAC;YAC1B,CAAC;YACD,MAAM,OAAO,GAAyB;gBAClC,IAAI;gBACJ,MAAM;gBACN,OAAO,EAAE,MAAM,CAAC,OAAmC;gBACnD,MAAM,EAAE,MAAM,CAAC,MAAM;aACxB,CAAC;YACF,IAAI,CAAC,cAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;gBACxC,sEAAsE;gBACtE,kEAAkE;gBAClE,4BAA4B;gBAC5B,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;YACjC,CAAC;YACD,OAAO,MAAM,CAAC,OAAO,CAAC;QAC1B,CAAC,CAAC;QACF,MAAM,MAAM,GAAsC;YAC9C,YAAY,CAAC,KAAK;gBACd,OAAO,WAAW,CAAC,iBAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,wCAAwC,CAAC,CAAC;YACnG,CAAC;YACD,iBAAiB,CAAC,KAAK;gBACnB,OAAO,iBAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC;YAC7D,CAAC;YACD,YAAY;gBACR,OAAO,iBAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACnC,CAAC;YACD,cAAc,CAAC,UAAU;gBACrB,OAAO,WAAW,CAAC,iBAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,oDAAoD,CAAC,CAAC;YACnH,CAAC;YACD,WAAW;gBACP,OAAO,iBAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAClC,CAAC;YACD,gBAAgB,CAAC,MAAM;gBACnB,OAAO,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;YACxC,CAAC;YACD,aAAa,CAAC,MAAM;gBAChB,OAAO,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;YACxC,CAAC;YACD,sBAAsB,CAAC,KAAK;gBACxB,OAAO,eAAM,CAAC,OAAO,CAAC,GAAG,EAAE;oBACvB,IAAI,mBAAmB,KAAK,SAAS;wBACjC,OAAO,eAAM,CAAC,IAAI,CAAC;oBACvB,mBAAmB,GAAG,KAAK,CAAC;oBAC5B,OAAO,iBAAQ,CAAC,IAAI,CAAC,uBAAuB,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;wBACpF,IAAI,CAAC,UAAU;4BACX,OAAO,eAAM,CAAC,IAAI,CAAC;wBACvB,OAAO,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;4BACvB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,cAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;4BAC7C,KAAK,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW;gCACpE,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,aAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gCAC5C,CAAC,CAAC,cAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;wBACjF,CAAC,CAAC,CAAC;oBACP,CAAC,CAAC,CAAC,CAAC;gBACR,CAAC,CAAC,CAAC;YACP,CAAC;YACD,mBAAmB;YACnB,WAAW,CAAC,OAAO;gBACf,OAAO,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;oBACvB,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;oBACnE,IAAI,CAAC,YAAY,EAAE,CAAC;wBAChB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;wBACjD,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC;4BACpC,OAAO,KAAK,CAAC,CAAC,eAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC,CAAC;wBAChG,CAAC;oBACL,CAAC;oBACD,OAAO,KAAK,CAAC,CAAC,iBAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;gBACzC,CAAC,CAAC,CAAC;YACP,CAAC;YACD,gBAAgB;gBACZ,OAAO,iBAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YACvC,CAAC;YACD,YAAY,CAAC,KAAK;gBACd,OAAO,WAAW,CAAC,iBAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,+CAA+C,CAAC,CAAC;YACzG,CAAC;YACD,QAAQ,CAAC,KAAK;gBACV,OAAO,iBAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC;YAC5D,CAAC;SACJ,CAAC;QACF,uEAAuE;QACvE,uEAAuE;QACvE,6DAA6D;QAC7D,KAAK,CAAC,CAAC,eAAM,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,aAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,cAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;YAChH,CAAC,CAAC,IAAI,sCAA6B,CAAC,qBAAqB,CAAC;YAC1D,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACtB,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACP,CAAC","sourcesContent":["/**\n * The Promise-shaped parts of the existing Attempt body (agent setup, sandbox\n * work, trace collection) need a narrow hand-off to the Effect-owned authoring\n * runtime. The bridge is a scoped Effect resource: the Queue worker is the\n * only executor, and public Promise values are only facade adapters.\n */\nimport { Cause, Deferred, Effect, Exit, Queue, Scope } from \"effect\";\nimport type { AssertionStopError, AssertionSealOptions, AssertionsRuntime, SealedAttemptAssertions, } from \"../assertions/api.ts\";\nimport { AssertionAuthoringClosedError } from \"../assertions/api.ts\";\nimport type { AgentWorkspaceDiff } from \"../assertions/workspace-diff.ts\";\nexport type AttemptAuthorCompletion = {\n    readonly _tag: \"succeeded\";\n} | {\n    readonly _tag: \"stopped\";\n} | {\n    readonly _tag: \"failed\";\n    readonly error: unknown;\n} | {\n    readonly _tag: \"defect\";\n    readonly cause: unknown;\n};\nexport interface AssertionSealRequest {\n    readonly runtime: AssertionsRuntime<\"pass\" | \"score\">;\n    readonly options: AssertionSealOptions;\n    /** Frozen post-run evidence shared by evaluators and the Record adapter. */\n    readonly workspaceDiff?: AgentWorkspaceDiff;\n}\ntype AttemptEffectRequestKind = \"assertion\" | \"operation\";\n/**\n * A request from the Promise-shaped Attempt body into its owning Effect Scope.\n * The resolver pair is deliberately the sole native-Promise state: it adapts\n * the public callback facade after the owner fiber has classified an Exit.\n */\ninterface AttemptEffectRequest {\n    readonly kind: AttemptEffectRequestKind;\n    readonly effect: Effect.Effect<unknown, unknown, never>;\n    readonly resolve: (value: unknown) => void;\n    readonly reject: (error: unknown) => void;\n}\ninterface PromiseFacade<Value> {\n    readonly promise: Promise<Value>;\n    readonly resolve: (value: Value) => void;\n    readonly reject: (error: unknown) => void;\n}\n/** This is a facade adapter, not a bridge lifecycle primitive. */\nfunction promiseFacade<Value>(): PromiseFacade<Value> {\n    let resolve!: (value: Value) => void;\n    let reject!: (error: unknown) => void;\n    const promise = new Promise<Value>((resolvePromise, rejectPromise) => {\n        resolve = resolvePromise;\n        reject = rejectPromise;\n    });\n    // A detached author continuation may intentionally observe its failure\n    // later. Keep Node from treating the named lifecycle rejection as unhandled.\n    void promise.catch(() => undefined);\n    return { promise, resolve, reject };\n}\nexport interface AssertFirstAttemptBridge<Context> {\n    /** The Promise body submits Context completion through the owner Queue. */\n    offerContext(context: Context): Effect.Effect<void>;\n    failBeforeContext(error: unknown): Effect.Effect<void>;\n    awaitContext(): Effect.Effect<Context, unknown>;\n    completeAuthor(completion: AttemptAuthorCompletion): Effect.Effect<void>;\n    awaitAuthor(): Effect.Effect<AttemptAuthorCompletion, unknown>;\n    requestAssertion<Value>(effect: Effect.Effect<Value, AssertionStopError, never>): Promise<Value>;\n    /** Executes an internal body operation in the existing Attempt Effect Scope. */\n    requestEffect<Value, Error>(effect: Effect.Effect<Value, Error, never>): Promise<Value>;\n    /** Rejects only `orStop()` barriers after authoring has closed. */\n    closeAssertionRequests(error: unknown): Effect.Effect<void>;\n    /** Rejects every queued / in-flight bridge request during Scope release. */\n    closeEffectRequests(error: unknown): Effect.Effect<void>;\n    requestSeal(request: AssertionSealRequest): Effect.Effect<SealedAttemptAssertions, unknown>;\n    awaitSealRequest(): Effect.Effect<AssertionSealRequest, unknown>;\n    completeSeal(sealed: SealedAttemptAssertions): Effect.Effect<void>;\n    failSeal(error: unknown): Effect.Effect<void>;\n}\nfunction completeRequest(request: AttemptEffectRequest, exit: Exit.Exit<unknown, unknown>, failureOverride?: unknown): Effect.Effect<void> {\n    return Effect.sync(() => {\n        if (failureOverride !== undefined) {\n            request.reject(failureOverride);\n        }\n        else if (Exit.isSuccess(exit)) {\n            request.resolve(exit.value);\n        }\n        else {\n            // This is the sole Effect → Promise conversion. Until this boundary the\n            // full Cause remains in the owner Effect tree.\n            request.reject(failureOverride ?? Cause.squash(exit.cause));\n        }\n    });\n}\nfunction exactlyOnce(completed: Effect.Effect<boolean>, message: string): Effect.Effect<void> {\n    return completed.pipe(Effect.flatMap((accepted) => accepted ? Effect.void : Effect.die(new Error(message))), Effect.asVoid);\n}\n/**\n * Creates exactly one scoped bridge for one Attempt. No method starts a\n * runtime: public Promise methods only offer work, and the scoped worker\n * performs every Effect, response, interruption and finalization transition.\n */\nexport function makeAssertFirstAttemptBridge<Context>(): Effect.Effect<AssertFirstAttemptBridge<Context>, never, import(\"effect\").Scope.Scope> {\n    return Effect.gen(function* () {\n        const context = yield* Deferred.make<Context, unknown>();\n        const author = yield* Deferred.make<AttemptAuthorCompletion, unknown>();\n        const sealRequest = yield* Deferred.make<AssertionSealRequest, unknown>();\n        const sealed = yield* Deferred.make<SealedAttemptAssertions, unknown>();\n        const assertionRequestsClosed = yield* Deferred.make<never, unknown>();\n        const effectRequestsClosed = yield* Deferred.make<never, unknown>();\n        const requests = yield* Queue.unbounded<AttemptEffectRequest>();\n        // Each taken request runs independently in this child Scope. The dispatcher\n        // must never await a control barrier such as awaitAuthor(), otherwise an\n        // author assertion queued behind it cannot make the barrier complete.\n        const requestScope = yield* Scope.make();\n        let terminalError: unknown | undefined;\n        let assertionCloseError: unknown | undefined;\n        const closeReason = (): unknown => terminalError ?? new AssertionAuthoringClosedError(\"attempt-sealed\");\n        const closeEffectRequests = (error: unknown): Effect.Effect<void> => Effect.suspend(() => {\n            // This synchronous guard is intentionally the first close transition.\n            // Promise callers can run between later queue operations, so they must\n            // see a terminal outcome before any draining or shutdown can yield.\n            if (terminalError !== undefined)\n                return Effect.void;\n            terminalError = error;\n            return Deferred.fail(effectRequestsClosed, error).pipe(Effect.flatMap((firstClose) => {\n                if (!firstClose)\n                    return Effect.void;\n                return Effect.gen(function* () {\n                    // Wake every owner-side Deferred before removing pending work. The\n                    // worker races in-flight requests against this same close signal.\n                    yield* Deferred.fail(context, error);\n                    yield* Deferred.fail(author, error);\n                    yield* Deferred.fail(sealRequest, error);\n                    yield* Deferred.fail(sealed, error);\n                    yield* Deferred.fail(assertionRequestsClosed, error);\n                    // `terminalError` is already visible before this close. Every\n                    // in-flight child therefore settles its Promise facade by the\n                    // onExit path with the named terminal reason.\n                    yield* Scope.close(requestScope, Exit.fail(error));\n                    const pending = yield* Queue.clear(requests);\n                    yield* Effect.forEach(pending, (request) => completeRequest(request, Exit.fail(error)), { discard: true });\n                    yield* Queue.shutdown(requests);\n                });\n            }));\n        });\n        const awaitClose = (kind: AttemptEffectRequestKind) => Effect.raceFirst(Deferred.await(effectRequestsClosed), kind === \"assertion\" ? Deferred.await(assertionRequestsClosed) : Effect.never).pipe(Effect.exit);\n        const runRequest = (request: AttemptEffectRequest): Effect.Effect<void> => {\n            const closureError = (): unknown | undefined => terminalError ?? (request.kind === \"assertion\" ? assertionCloseError : undefined);\n            return Effect.raceFirst(request.effect.pipe(Effect.exit), awaitClose(request.kind)).pipe(Effect.flatMap((exit) => completeRequest(request, exit, closureError())), \n            // Scope interruption can arrive while the Queue worker is running the\n            // race. This finalizer is the in-flight counterpart to Queue.takeAll:\n            // it settles the sole Promise facade even when the worker itself is\n            // interrupted before its normal response continuation runs.\n            Effect.onExit((workerExit) => Exit.isFailure(workerExit)\n                ? completeRequest(request, Exit.failCause(workerExit.cause), closureError())\n                : Effect.void));\n        };\n        const worker = Effect.forever(Queue.take(requests).pipe(Effect.flatMap((request) => Effect.forkIn(runRequest(request), requestScope).pipe(Effect.asVoid)))).pipe(Effect.catchCause((cause) => Cause.hasInterruptsOnly(cause)\n            ? Effect.void\n            : closeEffectRequests(Cause.squash(cause))));\n        yield* Effect.forkScoped(worker);\n        const enqueue = <Value, Error>(effect: Effect.Effect<Value, Error, never>, kind: AttemptEffectRequestKind): Promise<Value> => {\n            const facade = promiseFacade<Value>();\n            if (terminalError !== undefined) {\n                facade.reject(terminalError);\n                return facade.promise;\n            }\n            if (kind === \"assertion\" && assertionCloseError !== undefined) {\n                facade.reject(assertionCloseError);\n                return facade.promise;\n            }\n            const request: AttemptEffectRequest = {\n                kind,\n                effect,\n                resolve: facade.resolve as (value: unknown) => void,\n                reject: facade.reject,\n            };\n            if (!Queue.offerUnsafe(requests, request)) {\n                // Once the Queue is shut down there is no owner fiber left to consume\n                // this facade. Return its named terminal outcome without a second\n                // lifecycle implementation.\n                facade.reject(closeReason());\n            }\n            return facade.promise;\n        };\n        const bridge: AssertFirstAttemptBridge<Context> = {\n            offerContext(value) {\n                return exactlyOnce(Deferred.succeed(context, value), \"Assert-first Context was offered twice\");\n            },\n            failBeforeContext(error) {\n                return Deferred.fail(context, error).pipe(Effect.asVoid);\n            },\n            awaitContext() {\n                return Deferred.await(context);\n            },\n            completeAuthor(completion) {\n                return exactlyOnce(Deferred.succeed(author, completion), \"Assert-first author completion was delivered twice\");\n            },\n            awaitAuthor() {\n                return Deferred.await(author);\n            },\n            requestAssertion(effect) {\n                return enqueue(effect, \"assertion\");\n            },\n            requestEffect(effect) {\n                return enqueue(effect, \"operation\");\n            },\n            closeAssertionRequests(error) {\n                return Effect.suspend(() => {\n                    if (assertionCloseError !== undefined)\n                        return Effect.void;\n                    assertionCloseError = error;\n                    return Deferred.fail(assertionRequestsClosed, error).pipe(Effect.flatMap((firstClose) => {\n                        if (!firstClose)\n                            return Effect.void;\n                        return Effect.gen(function* () {\n                            const pending = yield* Queue.clear(requests);\n                            yield* Effect.forEach(pending, (request) => request.kind === \"assertion\"\n                                ? completeRequest(request, Exit.fail(error))\n                                : Queue.offer(requests, request).pipe(Effect.asVoid), { discard: true });\n                        });\n                    }));\n                });\n            },\n            closeEffectRequests,\n            requestSeal(request) {\n                return Effect.gen(function* () {\n                    const firstRequest = yield* Deferred.succeed(sealRequest, request);\n                    if (!firstRequest) {\n                        const prior = yield* Deferred.await(sealRequest);\n                        if (prior.runtime !== request.runtime) {\n                            return yield* Effect.die(new Error(\"Assert-first Attempt requested a second runtime seal\"));\n                        }\n                    }\n                    return yield* Deferred.await(sealed);\n                });\n            },\n            awaitSealRequest() {\n                return Deferred.await(sealRequest);\n            },\n            completeSeal(value) {\n                return exactlyOnce(Deferred.succeed(sealed, value), \"Assert-first Attempt seal was completed twice\");\n            },\n            failSeal(error) {\n                return Deferred.fail(sealed, error).pipe(Effect.asVoid);\n            },\n        };\n        // This fallback is intentionally after the worker is scoped. Attempt's\n        // more specific finalizer runs first and supplies timeout/interruption\n        // detail; this one closes any exceptional construction path.\n        yield* Effect.addFinalizer((exit) => closeEffectRequests(Exit.isFailure(exit) && Cause.hasInterruptsOnly(exit.cause)\n            ? new AssertionAuthoringClosedError(\"attempt-interrupted\")\n            : closeReason()));\n        return Object.freeze(bridge);\n    });\n}\n"]}
+{"version":3,"file":"assert-first-bridge.js","sourceRoot":"","sources":["assert-first-bridge.ts"],"names":[],"mappings":";;AA8GA,oEAoOC;AAlVD;;;;;GAKG;AACH,mCAAqE;AAErE,iDAAqE;AAErE,6DAA0D;AAmC1D,kEAAkE;AAClE,SAAS,aAAa;IAClB,IAAI,OAAgC,CAAC;IACrC,IAAI,MAAiC,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,OAAO,CAAQ,CAAC,cAAc,EAAE,aAAa,EAAE,EAAE;QACjE,OAAO,GAAG,cAAc,CAAC;QACzB,MAAM,GAAG,aAAa,CAAC;IAC3B,CAAC,CAAC,CAAC;IACH,uEAAuE;IACvE,6EAA6E;IAC7E,KAAK,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IACpC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AACxC,CAAC;AA8BD,SAAS,eAAe,CAAC,OAA6B,EAAE,IAAiC,EAAE,eAAyB;IAChH,OAAO,eAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACpB,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;YAChC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QACpC,CAAC;aACI,IAAI,aAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC;aACI,CAAC;YACF,wEAAwE;YACxE,+CAA+C;YAC/C,OAAO,CAAC,MAAM,CAAC,eAAe,IAAI,cAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAChE,CAAC;IACL,CAAC,CAAC,CAAC;AACP,CAAC;AACD,SAAS,WAAW,CAAC,SAAiC,EAAE,OAAe;IACnE,OAAO,SAAS,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,CAAC,CAAC,eAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC,CAAC;AAChI,CAAC;AACD;;;;GAIG;AACH,SAAgB,4BAA4B;IACxC,OAAO,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACvB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,EAAoB,CAAC;QACzD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,EAAoC,CAAC;QACxE,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,EAAiC,CAAC;QAC1E,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,EAAoC,CAAC;QACxE,MAAM,uBAAuB,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,EAAkB,CAAC;QACvE,MAAM,oBAAoB,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,EAAkB,CAAC;QACpE,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,cAAK,CAAC,SAAS,EAAwB,CAAC;QAChE,4EAA4E;QAC5E,yEAAyE;QACzE,sEAAsE;QACtE,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,cAAK,CAAC,IAAI,EAAE,CAAC;QACzC,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,EAAQ,CAAC;QACtD,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,cAAK,CAAC,SAAS,EAAwB,CAAC;QACvE,MAAM,mBAAmB,GAAG,KAAK,CAAC,CAAC,cAAK,CAAC,IAAI,EAAE,CAAC;QAChD,IAAI,aAAkC,CAAC;QACvC,IAAI,mBAAwC,CAAC;QAC7C,IAAI,eAAe,GAAG,KAAK,CAAC;QAC5B,IAAI,cAAc,GAAG,KAAK,CAAC;QAC3B,IAAI,oBAAyC,CAAC;QAC9C,MAAM,WAAW,GAAG,GAAY,EAAE,CAAC,aAAa,IAAI,IAAI,sCAA6B,CAAC,gBAAgB,CAAC,CAAC;QACxG,MAAM,mBAAmB,GAAG,CAAC,KAAc,EAAuB,EAAE,CAAC,eAAM,CAAC,OAAO,CAAC,GAAG,EAAE;YACrF,sEAAsE;YACtE,uEAAuE;YACvE,oEAAoE;YACpE,IAAI,aAAa,KAAK,SAAS;gBAC3B,OAAO,eAAM,CAAC,IAAI,CAAC;YACvB,aAAa,GAAG,KAAK,CAAC;YACtB,OAAO,iBAAQ,CAAC,IAAI,CAAC,oBAAoB,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;gBACjF,IAAI,CAAC,UAAU;oBACX,OAAO,eAAM,CAAC,IAAI,CAAC;gBACvB,OAAO,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;oBACvB,mEAAmE;oBACnE,kEAAkE;oBAClE,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;oBACrC,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;oBACpC,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;oBACzC,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;oBACpC,KAAK,CAAC,CAAC,iBAAQ,CAAC,IAAI,CAAC,uBAAuB,EAAE,KAAK,CAAC,CAAC;oBACrD,8DAA8D;oBAC9D,8DAA8D;oBAC9D,8CAA8C;oBAC9C,KAAK,CAAC,CAAC,cAAK,CAAC,KAAK,CAAC,YAAY,EAAE,aAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;oBACnD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,cAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;oBAC7C,KAAK,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,aAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;oBAC3G,KAAK,CAAC,CAAC,cAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;gBACpC,CAAC,CAAC,CAAC;YACP,CAAC,CAAC,CAAC,CAAC;QACR,CAAC,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,CAAC,IAA8B,EAAE,EAAE,CAAC,eAAM,CAAC,SAAS,CAAC,iBAAQ,CAAC,KAAK,CAAC,oBAAoB,CAAC,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,iBAAQ,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,IAAI,CAAC,CAAC;QAC/M,MAAM,uBAAuB,GAAG,CAAC,KAAc,EAAuB,EAAE;YACpE,IAAI,oBAAoB,KAAK,SAAS;gBAClC,OAAO,eAAM,CAAC,IAAI,CAAC;YACvB,oBAAoB,GAAG,KAAK,CAAC;YAC7B,OAAO,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBACvB,KAAK,CAAC,CAAC,cAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,aAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC1D,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,cAAK,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;gBACpD,KAAK,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,aAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC3G,KAAK,CAAC,CAAC,cAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;YAC3C,CAAC,CAAC,CAAC;QACP,CAAC,CAAC;QACF,MAAM,oBAAoB,GAAG,CAAC,KAAc,EAAuB,EAAE,CAAC,eAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3H,MAAM,UAAU,GAAG,CAAC,OAA6B,EAAuB,EAAE;YACtE,MAAM,YAAY,GAAG,GAAwB,EAAE,CAAC,aAAa,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAClI,OAAO,eAAM,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;YACjK,sEAAsE;YACtE,sEAAsE;YACtE,oEAAoE;YACpE,4DAA4D;YAC5D,eAAM,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,aAAI,CAAC,SAAS,CAAC,UAAU,CAAC;gBACpD,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,aAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,YAAY,EAAE,CAAC;gBAC5E,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC;QACF,MAAM,MAAM,GAAG,eAAM,CAAC,OAAO,CAAC,cAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,eAAM,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC;YACxN,CAAC,CAAC,eAAM,CAAC,IAAI;YACb,CAAC,CAAC,mBAAmB,CAAC,cAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,KAAK,CAAC,CAAC,eAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,aAAa,GAAG,eAAM,CAAC,OAAO,CAAC,cAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,aAAI,CAAC,SAAS,CAAC,UAAU,CAAC;YACrR,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,aAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,oBAAoB,CAAC;YAClF,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC;YAC7H,CAAC,CAAC,eAAM,CAAC,IAAI;YACb,CAAC,CAAC,oBAAoB,CAAC,cAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,KAAK,CAAC,CAAC,eAAM,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,CAAe,MAA0C,EAAE,IAA8B,EAAkB,EAAE;YACzH,MAAM,MAAM,GAAG,aAAa,EAAS,CAAC;YACtC,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;gBAC7B,OAAO,MAAM,CAAC,OAAO,CAAC;YAC1B,CAAC;YACD,IAAI,IAAI,KAAK,WAAW,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;gBAC5D,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;gBACnC,OAAO,MAAM,CAAC,OAAO,CAAC;YAC1B,CAAC;YACD,MAAM,OAAO,GAAyB;gBAClC,IAAI;gBACJ,MAAM;gBACN,OAAO,EAAE,MAAM,CAAC,OAAmC;gBACnD,MAAM,EAAE,MAAM,CAAC,MAAM;aACxB,CAAC;YACF,IAAI,CAAC,cAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;gBACxC,sEAAsE;gBACtE,kEAAkE;gBAClE,4BAA4B;gBAC5B,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;YACjC,CAAC;YACD,OAAO,MAAM,CAAC,OAAO,CAAC;QAC1B,CAAC,CAAC;QACF,MAAM,cAAc,GAAG,CAAe,MAA0C,EAAkB,EAAE;YAChG,MAAM,MAAM,GAAG,aAAa,EAAS,CAAC;YACtC,IAAI,oBAAoB,KAAK,SAAS,EAAE,CAAC;gBACrC,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;gBACpC,OAAO,MAAM,CAAC,OAAO,CAAC;YAC1B,CAAC;YACD,MAAM,OAAO,GAAyB;gBAClC,IAAI,EAAE,WAAW;gBACjB,MAAM;gBACN,OAAO,EAAE,MAAM,CAAC,OAAmC;gBACnD,MAAM,EAAE,MAAM,CAAC,MAAM;aACxB,CAAC;YACF,IAAI,CAAC,cAAK,CAAC,WAAW,CAAC,eAAe,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC/C,MAAM,CAAC,MAAM,CAAC,oBAAoB,IAAI,IAAI,sCAA6B,CAAC,gBAAgB,CAAC,CAAC,CAAC;YAC/F,CAAC;YACD,OAAO,MAAM,CAAC,OAAO,CAAC;QAC1B,CAAC,CAAC;QACF,MAAM,MAAM,GAAsC;YAC9C,YAAY,CAAC,KAAK;gBACd,OAAO,WAAW,CAAC,iBAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,wCAAwC,CAAC,CAAC;YACnG,CAAC;YACD,iBAAiB,CAAC,KAAK;gBACnB,OAAO,iBAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC;YAC7D,CAAC;YACD,YAAY;gBACR,OAAO,iBAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACnC,CAAC;YACD,cAAc,CAAC,UAAU;gBACrB,OAAO,WAAW,CAAC,iBAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,oDAAoD,CAAC,CAAC;YACnH,CAAC;YACD,WAAW;gBACP,OAAO,iBAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAClC,CAAC;YACD,gBAAgB,CAAC,MAAM;gBACnB,OAAO,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;YACxC,CAAC;YACD,aAAa,CAAC,MAAM;gBAChB,OAAO,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;YACxC,CAAC;YACD,aAAa;gBACT,eAAe,GAAG,IAAI,CAAC;YAC3B,CAAC;YACD,YAAY;gBACR,IAAI,oBAAoB,KAAK,SAAS,IAAI,cAAc;oBACpD,OAAO,KAAK,CAAC;gBACjB,cAAc,GAAG,IAAI,CAAC;gBACtB,OAAO,IAAI,CAAC;YAChB,CAAC;YACD,cAAc,CAAC,MAAM;gBACjB,OAAO,cAAc,CAAC,MAAM,CAAC,CAAC;YAClC,CAAC;YACD,eAAe;gBACX,oEAAoE;gBACpE,sEAAsE;gBACtE,iBAAQ,CAAC,UAAU,CAAC,gBAAgB,EAAE,eAAM,CAAC,IAAI,CAAC,CAAC;YACvD,CAAC;YACD,YAAY;gBACR,OAAO,eAAM,CAAC,OAAO,CAAC,GAAG,EAAE;oBACvB,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC,uBAAuB,CAAC,WAAW,EAAE,CAAC,CAAC;oBAC3D,IAAI,CAAC,eAAe;wBAChB,OAAO,KAAK,EAAE,CAAC;oBACnB,OAAO,IAAA,uCAAkB,EAAC,iBAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE,CAAC,eAAM,CAAC,OAAO,CAAC,GAAG,EAAE;oBAC7J,gEAAgE;oBAChE,kEAAkE;oBAClE,gEAAgE;oBAChE,kDAAkD;oBAClD,cAAc,CAAC,CAAC,CAAC,iBAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;gBACnE,CAAC,CAAC,CAAC;YACP,CAAC;YACD,sBAAsB,CAAC,KAAK;gBACxB,OAAO,eAAM,CAAC,OAAO,CAAC,GAAG,EAAE;oBACvB,IAAI,mBAAmB,KAAK,SAAS;wBACjC,OAAO,eAAM,CAAC,IAAI,CAAC;oBACvB,mBAAmB,GAAG,KAAK,CAAC;oBAC5B,OAAO,iBAAQ,CAAC,IAAI,CAAC,uBAAuB,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;wBACpF,IAAI,CAAC,UAAU;4BACX,OAAO,eAAM,CAAC,IAAI,CAAC;wBACvB,OAAO,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;4BACvB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,cAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;4BAC7C,KAAK,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW;gCACpE,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,aAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gCAC5C,CAAC,CAAC,cAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;wBACjF,CAAC,CAAC,CAAC;oBACP,CAAC,CAAC,CAAC,CAAC;gBACR,CAAC,CAAC,CAAC;YACP,CAAC;YACD,mBAAmB;YACnB,WAAW,CAAC,OAAO;gBACf,OAAO,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;oBACvB,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;oBACnE,IAAI,CAAC,YAAY,EAAE,CAAC;wBAChB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;wBACjD,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC;4BACpC,OAAO,KAAK,CAAC,CAAC,eAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC,CAAC;wBAChG,CAAC;oBACL,CAAC;oBACD,OAAO,KAAK,CAAC,CAAC,iBAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;gBACzC,CAAC,CAAC,CAAC;YACP,CAAC;YACD,gBAAgB;gBACZ,OAAO,iBAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YACvC,CAAC;YACD,YAAY,CAAC,KAAK;gBACd,OAAO,WAAW,CAAC,iBAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,+CAA+C,CAAC,CAAC;YACzG,CAAC;YACD,QAAQ,CAAC,KAAK;gBACV,OAAO,iBAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC;YAC5D,CAAC;SACJ,CAAC;QACF,uEAAuE;QACvE,uEAAuE;QACvE,6DAA6D;QAC7D,KAAK,CAAC,CAAC,eAAM,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,EAAE;YAChC,MAAM,MAAM,GAAG,aAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,cAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;gBACtE,CAAC,CAAC,IAAI,sCAA6B,CAAC,qBAAqB,CAAC;gBAC1D,CAAC,CAAC,WAAW,EAAE,CAAC;YACpB,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1F,CAAC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACP,CAAC","sourcesContent":["/**\n * The Promise-shaped parts of the existing Attempt body (agent setup, sandbox\n * work, trace collection) need a narrow hand-off to the Effect-owned authoring\n * runtime. The bridge is a scoped Effect resource: the Queue worker is the\n * only executor, and public Promise values are only facade adapters.\n */\nimport { Cause, Deferred, Effect, Exit, Queue, Scope } from \"effect\";\nimport type { AssertionStopError, AssertionSealOptions, AssertionsRuntime, SealedAttemptAssertions, } from \"../assertions/api.ts\";\nimport { AssertionAuthoringClosedError } from \"../assertions/api.ts\";\nimport type { AgentWorkspaceDiff } from \"../assertions/workspace-diff.ts\";\nimport { withCleanupTimeout } from \"./cleanup-timeout.ts\";\nexport type AttemptAuthorCompletion = {\n    readonly _tag: \"succeeded\";\n} | {\n    readonly _tag: \"stopped\";\n} | {\n    readonly _tag: \"failed\";\n    readonly error: unknown;\n} | {\n    readonly _tag: \"defect\";\n    readonly cause: unknown;\n};\nexport interface AssertionSealRequest {\n    readonly runtime: AssertionsRuntime<\"pass\" | \"score\">;\n    readonly options: AssertionSealOptions;\n    /** Frozen post-run evidence shared by evaluators and the Record adapter. */\n    readonly workspaceDiff?: AgentWorkspaceDiff;\n}\ntype AttemptEffectRequestKind = \"assertion\" | \"operation\";\n/**\n * A request from the Promise-shaped Attempt body into its owning Effect Scope.\n * The resolver pair is deliberately the sole native-Promise state: it adapts\n * the public callback facade after the owner fiber has classified an Exit.\n */\ninterface AttemptEffectRequest {\n    readonly kind: AttemptEffectRequestKind;\n    readonly effect: Effect.Effect<unknown, unknown, never>;\n    readonly resolve: (value: unknown) => void;\n    readonly reject: (error: unknown) => void;\n}\ninterface PromiseFacade<Value> {\n    readonly promise: Promise<Value>;\n    readonly resolve: (value: Value) => void;\n    readonly reject: (error: unknown) => void;\n}\n/** This is a facade adapter, not a bridge lifecycle primitive. */\nfunction promiseFacade<Value>(): PromiseFacade<Value> {\n    let resolve!: (value: Value) => void;\n    let reject!: (error: unknown) => void;\n    const promise = new Promise<Value>((resolvePromise, rejectPromise) => {\n        resolve = resolvePromise;\n        reject = rejectPromise;\n    });\n    // A detached author continuation may intentionally observe its failure\n    // later. Keep Node from treating the named lifecycle rejection as unhandled.\n    void promise.catch(() => undefined);\n    return { promise, resolve, reject };\n}\nexport interface AssertFirstAttemptBridge<Context> {\n    /** The Promise body submits Context completion through the owner Queue. */\n    offerContext(context: Context): Effect.Effect<void>;\n    failBeforeContext(error: unknown): Effect.Effect<void>;\n    awaitContext(): Effect.Effect<Context, unknown>;\n    completeAuthor(completion: AttemptAuthorCompletion): Effect.Effect<void>;\n    awaitAuthor(): Effect.Effect<AttemptAuthorCompletion, unknown>;\n    requestAssertion<Value>(effect: Effect.Effect<Value, AssertionStopError, never>): Promise<Value>;\n    /** Executes an internal body operation in the existing Attempt Effect Scope. */\n    requestEffect<Value, Error>(effect: Effect.Effect<Value, Error, never>): Promise<Value>;\n    /** Marks that the Promise body has entered and therefore owes its ordered cleanup. */\n    expectCleanup(): void;\n    /** Atomically enters cleanup unless the owner has already abandoned the body. */\n    beginCleanup(): boolean;\n    /** Executes teardown after the forward authoring bridge has closed. */\n    requestCleanup<Value, Error>(effect: Effect.Effect<Value, Error, never>): Promise<Value>;\n    /** Completes the Promise body's cleanup obligation after its final teardown. */\n    completeCleanup(): void;\n    /** Waits for an expected Promise cleanup without accepting forward work. */\n    awaitCleanup(): Effect.Effect<void>;\n    /** Rejects only `orStop()` barriers after authoring has closed. */\n    closeAssertionRequests(error: unknown): Effect.Effect<void>;\n    /** Rejects every queued / in-flight forward request during Scope release. */\n    closeEffectRequests(error: unknown): Effect.Effect<void>;\n    requestSeal(request: AssertionSealRequest): Effect.Effect<SealedAttemptAssertions, unknown>;\n    awaitSealRequest(): Effect.Effect<AssertionSealRequest, unknown>;\n    completeSeal(sealed: SealedAttemptAssertions): Effect.Effect<void>;\n    failSeal(error: unknown): Effect.Effect<void>;\n}\nfunction completeRequest(request: AttemptEffectRequest, exit: Exit.Exit<unknown, unknown>, failureOverride?: unknown): Effect.Effect<void> {\n    return Effect.sync(() => {\n        if (failureOverride !== undefined) {\n            request.reject(failureOverride);\n        }\n        else if (Exit.isSuccess(exit)) {\n            request.resolve(exit.value);\n        }\n        else {\n            // This is the sole Effect → Promise conversion. Until this boundary the\n            // full Cause remains in the owner Effect tree.\n            request.reject(failureOverride ?? Cause.squash(exit.cause));\n        }\n    });\n}\nfunction exactlyOnce(completed: Effect.Effect<boolean>, message: string): Effect.Effect<void> {\n    return completed.pipe(Effect.flatMap((accepted) => accepted ? Effect.void : Effect.die(new Error(message))), Effect.asVoid);\n}\n/**\n * Creates exactly one scoped bridge for one Attempt. No method starts a\n * runtime: public Promise methods only offer work, and the scoped worker\n * performs every Effect, response, interruption and finalization transition.\n */\nexport function makeAssertFirstAttemptBridge<Context>(): Effect.Effect<AssertFirstAttemptBridge<Context>, never, import(\"effect\").Scope.Scope> {\n    return Effect.gen(function* () {\n        const context = yield* Deferred.make<Context, unknown>();\n        const author = yield* Deferred.make<AttemptAuthorCompletion, unknown>();\n        const sealRequest = yield* Deferred.make<AssertionSealRequest, unknown>();\n        const sealed = yield* Deferred.make<SealedAttemptAssertions, unknown>();\n        const assertionRequestsClosed = yield* Deferred.make<never, unknown>();\n        const effectRequestsClosed = yield* Deferred.make<never, unknown>();\n        const requests = yield* Queue.unbounded<AttemptEffectRequest>();\n        // Each taken request runs independently in this child Scope. The dispatcher\n        // must never await a control barrier such as awaitAuthor(), otherwise an\n        // author assertion queued behind it cannot make the barrier complete.\n        const requestScope = yield* Scope.make();\n        const cleanupCompleted = yield* Deferred.make<void>();\n        const cleanupRequests = yield* Queue.unbounded<AttemptEffectRequest>();\n        const cleanupRequestScope = yield* Scope.make();\n        let terminalError: unknown | undefined;\n        let assertionCloseError: unknown | undefined;\n        let cleanupExpected = false;\n        let cleanupStarted = false;\n        let cleanupTerminalError: unknown | undefined;\n        const closeReason = (): unknown => terminalError ?? new AssertionAuthoringClosedError(\"attempt-sealed\");\n        const closeEffectRequests = (error: unknown): Effect.Effect<void> => Effect.suspend(() => {\n            // This synchronous guard is intentionally the first close transition.\n            // Promise callers can run between later queue operations, so they must\n            // see a terminal outcome before any draining or shutdown can yield.\n            if (terminalError !== undefined)\n                return Effect.void;\n            terminalError = error;\n            return Deferred.fail(effectRequestsClosed, error).pipe(Effect.flatMap((firstClose) => {\n                if (!firstClose)\n                    return Effect.void;\n                return Effect.gen(function* () {\n                    // Wake every owner-side Deferred before removing pending work. The\n                    // worker races in-flight requests against this same close signal.\n                    yield* Deferred.fail(context, error);\n                    yield* Deferred.fail(author, error);\n                    yield* Deferred.fail(sealRequest, error);\n                    yield* Deferred.fail(sealed, error);\n                    yield* Deferred.fail(assertionRequestsClosed, error);\n                    // `terminalError` is already visible before this close. Every\n                    // in-flight child therefore settles its Promise facade by the\n                    // onExit path with the named terminal reason.\n                    yield* Scope.close(requestScope, Exit.fail(error));\n                    const pending = yield* Queue.clear(requests);\n                    yield* Effect.forEach(pending, (request) => completeRequest(request, Exit.fail(error)), { discard: true });\n                    yield* Queue.shutdown(requests);\n                });\n            }));\n        });\n        const awaitClose = (kind: AttemptEffectRequestKind) => Effect.raceFirst(Deferred.await(effectRequestsClosed), kind === \"assertion\" ? Deferred.await(assertionRequestsClosed) : Effect.never).pipe(Effect.exit);\n        const closeCleanupRequestsNow = (error: unknown): Effect.Effect<void> => {\n            if (cleanupTerminalError !== undefined)\n                return Effect.void;\n            cleanupTerminalError = error;\n            return Effect.gen(function* () {\n                yield* Scope.close(cleanupRequestScope, Exit.fail(error));\n                const pending = yield* Queue.clear(cleanupRequests);\n                yield* Effect.forEach(pending, (request) => completeRequest(request, Exit.fail(error)), { discard: true });\n                yield* Queue.shutdown(cleanupRequests);\n            });\n        };\n        const closeCleanupRequests = (error: unknown): Effect.Effect<void> => Effect.suspend(() => closeCleanupRequestsNow(error));\n        const runRequest = (request: AttemptEffectRequest): Effect.Effect<void> => {\n            const closureError = (): unknown | undefined => terminalError ?? (request.kind === \"assertion\" ? assertionCloseError : undefined);\n            return Effect.raceFirst(request.effect.pipe(Effect.exit), awaitClose(request.kind)).pipe(Effect.flatMap((exit) => completeRequest(request, exit, closureError())), \n            // Scope interruption can arrive while the Queue worker is running the\n            // race. This finalizer is the in-flight counterpart to Queue.takeAll:\n            // it settles the sole Promise facade even when the worker itself is\n            // interrupted before its normal response continuation runs.\n            Effect.onExit((workerExit) => Exit.isFailure(workerExit)\n                ? completeRequest(request, Exit.failCause(workerExit.cause), closureError())\n                : Effect.void));\n        };\n        const worker = Effect.forever(Queue.take(requests).pipe(Effect.flatMap((request) => Effect.forkIn(runRequest(request), requestScope).pipe(Effect.asVoid)))).pipe(Effect.catchCause((cause) => Cause.hasInterruptsOnly(cause)\n            ? Effect.void\n            : closeEffectRequests(Cause.squash(cause))));\n        yield* Effect.forkScoped(worker);\n        const cleanupWorker = Effect.forever(Queue.take(cleanupRequests).pipe(Effect.flatMap((request) => Effect.forkIn(request.effect.pipe(Effect.exit, Effect.flatMap((exit) => completeRequest(request, exit, cleanupTerminalError)), Effect.onExit((workerExit) => Exit.isFailure(workerExit)\n            ? completeRequest(request, Exit.failCause(workerExit.cause), cleanupTerminalError)\n            : Effect.void)), cleanupRequestScope).pipe(Effect.asVoid)))).pipe(Effect.catchCause((cause) => Cause.hasInterruptsOnly(cause)\n            ? Effect.void\n            : closeCleanupRequests(Cause.squash(cause))));\n        yield* Effect.forkScoped(cleanupWorker);\n        const enqueue = <Value, Error>(effect: Effect.Effect<Value, Error, never>, kind: AttemptEffectRequestKind): Promise<Value> => {\n            const facade = promiseFacade<Value>();\n            if (terminalError !== undefined) {\n                facade.reject(terminalError);\n                return facade.promise;\n            }\n            if (kind === \"assertion\" && assertionCloseError !== undefined) {\n                facade.reject(assertionCloseError);\n                return facade.promise;\n            }\n            const request: AttemptEffectRequest = {\n                kind,\n                effect,\n                resolve: facade.resolve as (value: unknown) => void,\n                reject: facade.reject,\n            };\n            if (!Queue.offerUnsafe(requests, request)) {\n                // Once the Queue is shut down there is no owner fiber left to consume\n                // this facade. Return its named terminal outcome without a second\n                // lifecycle implementation.\n                facade.reject(closeReason());\n            }\n            return facade.promise;\n        };\n        const enqueueCleanup = <Value, Error>(effect: Effect.Effect<Value, Error, never>): Promise<Value> => {\n            const facade = promiseFacade<Value>();\n            if (cleanupTerminalError !== undefined) {\n                facade.reject(cleanupTerminalError);\n                return facade.promise;\n            }\n            const request: AttemptEffectRequest = {\n                kind: \"operation\",\n                effect,\n                resolve: facade.resolve as (value: unknown) => void,\n                reject: facade.reject,\n            };\n            if (!Queue.offerUnsafe(cleanupRequests, request)) {\n                facade.reject(cleanupTerminalError ?? new AssertionAuthoringClosedError(\"attempt-sealed\"));\n            }\n            return facade.promise;\n        };\n        const bridge: AssertFirstAttemptBridge<Context> = {\n            offerContext(value) {\n                return exactlyOnce(Deferred.succeed(context, value), \"Assert-first Context was offered twice\");\n            },\n            failBeforeContext(error) {\n                return Deferred.fail(context, error).pipe(Effect.asVoid);\n            },\n            awaitContext() {\n                return Deferred.await(context);\n            },\n            completeAuthor(completion) {\n                return exactlyOnce(Deferred.succeed(author, completion), \"Assert-first author completion was delivered twice\");\n            },\n            awaitAuthor() {\n                return Deferred.await(author);\n            },\n            requestAssertion(effect) {\n                return enqueue(effect, \"assertion\");\n            },\n            requestEffect(effect) {\n                return enqueue(effect, \"operation\");\n            },\n            expectCleanup() {\n                cleanupExpected = true;\n            },\n            beginCleanup() {\n                if (cleanupTerminalError !== undefined || cleanupStarted)\n                    return false;\n                cleanupStarted = true;\n                return true;\n            },\n            requestCleanup(effect) {\n                return enqueueCleanup(effect);\n            },\n            completeCleanup() {\n                // The Promise body's outer finally must acknowledge completion even\n                // when a dispatcher has failed. This does not submit another request.\n                Deferred.doneUnsafe(cleanupCompleted, Effect.void);\n            },\n            awaitCleanup() {\n                return Effect.suspend(() => {\n                    const close = () => closeCleanupRequestsNow(closeReason());\n                    if (!cleanupExpected)\n                        return close();\n                    return withCleanupTimeout(Deferred.await(cleanupCompleted).pipe(Effect.interruptible)).pipe(Effect.catchTag(\"CleanupTimeoutError\", () => Effect.suspend(() => \n                    // Each started callback has its own deadline. The join may only\n                    // abandon a body that has not entered cleanup. Both this decision\n                    // and closeCleanupRequests' terminal guard run before yielding,\n                    // so a late finally cannot race resource release.\n                    cleanupStarted ? Deferred.await(cleanupCompleted) : close())));\n                });\n            },\n            closeAssertionRequests(error) {\n                return Effect.suspend(() => {\n                    if (assertionCloseError !== undefined)\n                        return Effect.void;\n                    assertionCloseError = error;\n                    return Deferred.fail(assertionRequestsClosed, error).pipe(Effect.flatMap((firstClose) => {\n                        if (!firstClose)\n                            return Effect.void;\n                        return Effect.gen(function* () {\n                            const pending = yield* Queue.clear(requests);\n                            yield* Effect.forEach(pending, (request) => request.kind === \"assertion\"\n                                ? completeRequest(request, Exit.fail(error))\n                                : Queue.offer(requests, request).pipe(Effect.asVoid), { discard: true });\n                        });\n                    }));\n                });\n            },\n            closeEffectRequests,\n            requestSeal(request) {\n                return Effect.gen(function* () {\n                    const firstRequest = yield* Deferred.succeed(sealRequest, request);\n                    if (!firstRequest) {\n                        const prior = yield* Deferred.await(sealRequest);\n                        if (prior.runtime !== request.runtime) {\n                            return yield* Effect.die(new Error(\"Assert-first Attempt requested a second runtime seal\"));\n                        }\n                    }\n                    return yield* Deferred.await(sealed);\n                });\n            },\n            awaitSealRequest() {\n                return Deferred.await(sealRequest);\n            },\n            completeSeal(value) {\n                return exactlyOnce(Deferred.succeed(sealed, value), \"Assert-first Attempt seal was completed twice\");\n            },\n            failSeal(error) {\n                return Deferred.fail(sealed, error).pipe(Effect.asVoid);\n            },\n        };\n        // This fallback is intentionally after the worker is scoped. Attempt's\n        // more specific finalizer runs first and supplies timeout/interruption\n        // detail; this one closes any exceptional construction path.\n        yield* Effect.addFinalizer((exit) => {\n            const reason = Exit.isFailure(exit) && Cause.hasInterruptsOnly(exit.cause)\n                ? new AssertionAuthoringClosedError(\"attempt-interrupted\")\n                : closeReason();\n            return closeEffectRequests(reason).pipe(Effect.andThen(closeCleanupRequests(reason)));\n        });\n        return Object.freeze(bridge);\n    });\n}\n"]}

package/dist/runner/assert-first-bridge.d.cts

@@ -34,9 +34,19 @@ export interface AssertFirstAttemptBridge<Context> {
     requestAssertion<Value>(effect: Effect.Effect<Value, AssertionStopError, never>): Promise<Value>;
     /** Executes an internal body operation in the existing Attempt Effect Scope. */
     requestEffect<Value, Error>(effect: Effect.Effect<Value, Error, never>): Promise<Value>;
+    /** Marks that the Promise body has entered and therefore owes its ordered cleanup. */
+    expectCleanup(): void;
+    /** Atomically enters cleanup unless the owner has already abandoned the body. */
+    beginCleanup(): boolean;
+    /** Executes teardown after the forward authoring bridge has closed. */
+    requestCleanup<Value, Error>(effect: Effect.Effect<Value, Error, never>): Promise<Value>;
+    /** Completes the Promise body's cleanup obligation after its final teardown. */
+    completeCleanup(): void;
+    /** Waits for an expected Promise cleanup without accepting forward work. */
+    awaitCleanup(): Effect.Effect<void>;
     /** Rejects only `orStop()` barriers after authoring has closed. */
     closeAssertionRequests(error: unknown): Effect.Effect<void>;
-    /** Rejects every queued / in-flight bridge request during Scope release. */
+    /** Rejects every queued / in-flight forward request during Scope release. */
     closeEffectRequests(error: unknown): Effect.Effect<void>;
     requestSeal(request: AssertionSealRequest): Effect.Effect<SealedAttemptAssertions, unknown>;
     awaitSealRequest(): Effect.Effect<AssertionSealRequest, unknown>;

package/dist/runner/assert-first-bridge.d.mts

@@ -34,9 +34,19 @@ export interface AssertFirstAttemptBridge<Context> {
     requestAssertion<Value>(effect: Effect.Effect<Value, AssertionStopError, never>): Promise<Value>;
     /** Executes an internal body operation in the existing Attempt Effect Scope. */
     requestEffect<Value, Error>(effect: Effect.Effect<Value, Error, never>): Promise<Value>;
+    /** Marks that the Promise body has entered and therefore owes its ordered cleanup. */
+    expectCleanup(): void;
+    /** Atomically enters cleanup unless the owner has already abandoned the body. */
+    beginCleanup(): boolean;
+    /** Executes teardown after the forward authoring bridge has closed. */
+    requestCleanup<Value, Error>(effect: Effect.Effect<Value, Error, never>): Promise<Value>;
+    /** Completes the Promise body's cleanup obligation after its final teardown. */
+    completeCleanup(): void;
+    /** Waits for an expected Promise cleanup without accepting forward work. */
+    awaitCleanup(): Effect.Effect<void>;
     /** Rejects only `orStop()` barriers after authoring has closed. */
     closeAssertionRequests(error: unknown): Effect.Effect<void>;
-    /** Rejects every queued / in-flight bridge request during Scope release. */
+    /** Rejects every queued / in-flight forward request during Scope release. */
     closeEffectRequests(error: unknown): Effect.Effect<void>;
     requestSeal(request: AssertionSealRequest): Effect.Effect<SealedAttemptAssertions, unknown>;
     awaitSealRequest(): Effect.Effect<AssertionSealRequest, unknown>;

package/dist/runner/assert-first-bridge.d.ts

@@ -34,9 +34,19 @@ export interface AssertFirstAttemptBridge<Context> {
     requestAssertion<Value>(effect: Effect.Effect<Value, AssertionStopError, never>): Promise<Value>;
     /** Executes an internal body operation in the existing Attempt Effect Scope. */
     requestEffect<Value, Error>(effect: Effect.Effect<Value, Error, never>): Promise<Value>;
+    /** Marks that the Promise body has entered and therefore owes its ordered cleanup. */
+    expectCleanup(): void;
+    /** Atomically enters cleanup unless the owner has already abandoned the body. */
+    beginCleanup(): boolean;
+    /** Executes teardown after the forward authoring bridge has closed. */
+    requestCleanup<Value, Error>(effect: Effect.Effect<Value, Error, never>): Promise<Value>;
+    /** Completes the Promise body's cleanup obligation after its final teardown. */
+    completeCleanup(): void;
+    /** Waits for an expected Promise cleanup without accepting forward work. */
+    awaitCleanup(): Effect.Effect<void>;
     /** Rejects only `orStop()` barriers after authoring has closed. */
     closeAssertionRequests(error: unknown): Effect.Effect<void>;
-    /** Rejects every queued / in-flight bridge request during Scope release. */
+    /** Rejects every queued / in-flight forward request during Scope release. */
     closeEffectRequests(error: unknown): Effect.Effect<void>;
     requestSeal(request: AssertionSealRequest): Effect.Effect<SealedAttemptAssertions, unknown>;
     awaitSealRequest(): Effect.Effect<AssertionSealRequest, unknown>;

package/dist/runner/attempt.cjs

@@ -804,13 +804,6 @@ ${recentLogs.map((l) => `  · ${l}`).join("\n")}`;
             // but cannot mask the owning Attempt's terminal cause.
             effect_1.Effect.catchCause(() => effect_1.Effect.void));
         }));
-        // Close outstanding bridge promises before the interruption seal.  This
-        // makes a detached author continuation fail by name while preserving the
-        // already declared entries for the finalizer's declaration-order seal.
-        yield* effect_1.Effect.addFinalizer((exit) => effect_1.Effect.suspend(() => {
-            const interrupted = timedOut || (effect_1.Exit.isFailure(exit) && effect_1.Cause.hasInterruptsOnly(exit.cause));
-            return assertFirst.closeEffectRequests(new api_ts_1.AssertionAuthoringClosedError(interrupted ? "attempt-interrupted" : "attempt-sealed"));
-        }));
         // Scope 的 LIFO 让作者 cleanup 在 agent teardown 后、Provider Case finalizer 前执行。
         // Cleanup must not fork back into this already-closing Attempt Scope, so it uses the resource
         // facade captured above while retaining the same physical Sandbox and provider release owner.
@@ -856,6 +849,18 @@ ${recentLogs.map((l) => `  · ${l}`).join("\n")}`;
         yield* effect_1.Effect.addFinalizer(() => (0, cleanup_timeout_ts_1.cleanupCallback)((cleanupSignal) => attemptResources.releaseAll(cleanupSignal)).pipe(effect_1.Effect.catch((error) => effect_1.Effect.sync(() => {
             reportAttemptResourceReleaseFailure(error);
         }))));
+        // Register the cleanup join after every outer resource finalizer, then
+        // register the forward close last. Scope LIFO therefore first rejects
+        // outstanding Promise work, then lets the body finish Agent teardown →
+        // managed Attempt release → Eval Plugin teardown, and only afterwards
+        // releases the enclosing Sandbox / Provider owners. The join abandons
+        // only a body that never enters cleanup; each cleanup callback owns its
+        // deadline without sharing an aggregate deadline with later callbacks.
+        yield* effect_1.Effect.addFinalizer(() => assertFirst.awaitCleanup());
+        yield* effect_1.Effect.addFinalizer((exit) => effect_1.Effect.suspend(() => {
+            const interrupted = timedOut || (effect_1.Exit.isFailure(exit) && effect_1.Cause.hasInterruptsOnly(exit.cause));
+            return assertFirst.closeEffectRequests(new api_ts_1.AssertionAuthoringClosedError(interrupted ? "attempt-interrupted" : "attempt-sealed"));
+        }));
         // The legacy setup/diff body remains Promise-shaped, while OTLP waits,
         // author execution, and sealing run in this Attempt's Effect scope. No
         // nested runtime is introduced.
@@ -1455,6 +1460,10 @@ async function executeSandboxAction(data, sandbox, managedProcess, signal, progr
 // attempt 的固定段(上传→基线→setup→驱动 agent→采 diff→脚本→评分→判定)。
 // 资源已由 runAttemptEffect 的 Sample 持有;这里只在 finally 跑 agent 自己的 cleanup/teardown。
 async function runAttemptBody(a, config, t0, base, res, parentSignal) {
+    // Mark the cleanup obligation only once the Promise body has actually
+    // entered. An interruption before tryPromise invokes this body must not make
+    // Scope shutdown wait for cleanup that can never start.
+    res.assertFirst.expectCleanup();
     const { evalDef, run, attempt } = a;
     const { sandbox: rawSandbox, materializedCase, sourceRegistry, sourceCapture, receiver, telemetry, otel, signal, log, enterPhase, getPhase, setSendActive, recorder, feedback, diagnostics, commands, sensitiveValues, observabilityRuntime, concurrencySlot, declareFailure, onEnvironmentIncomplete, isDeadlineTimedOut, layerCleanups, registerEvidence, registerLedger, retainFileChangesCapture, assertFirst, registerAssertions, prepareCoordinator, preparedSetupPrefix, } = res;
     const usesSandbox = run.agent.kind === "sandbox";
@@ -2491,73 +2500,74 @@ async function runAttemptBody(a, config, t0, base, res, parentSignal) {
         // 闭集声明一致:agent.teardown → sandbox.cleanup;各段可独立标 failed。
         // 沙箱 stop / 接收器 close 不在这里 —— 由 runAttemptEffect 的 Sample 在本函数返回后回收,
         // 并经 finalizer 计成 sandbox.stop。没有对应 teardown/cleanup 的段直接跳过，不产生空阶段。
-        if (agentSetupReached && run.agent.teardown) {
-            enterPhase("agent.teardown");
-            await recorder
-                .measureClosing("agent.teardown", async () => {
-                try {
-                    // 先按 kind 收窄 Agent 联合,再取 teardown —— 否则可选属性访问会把
-                    // AgentTeardown | DirectAgentTeardown 混成无法调用的签名。
-                    if (run.agent.kind === "sandbox") {
-                        const teardown = run.agent.teardown;
-                        if (teardown) {
-                            const context = { ...sandboxAttemptCtx, signal };
-                            const native = (0, effect_runtime_ts_1.agentTeardownEffect)(run.agent, sandbox, context);
-                            await assertFirst.requestEffect((0, cleanup_timeout_ts_1.withCleanupTimeout)(native === undefined
-                                ? (0, callback_context_ts_1.withAgentCallbackContext)(context, (callbackContext) => (0, effect_runtime_ts_1.authorCallbackEffect)(() => teardown(sandbox, callbackContext)), { inheritAttemptSignal: false })
-                                : (0, callback_context_ts_1.withAgentCallbackContext)(context, (callbackContext) => (0, effect_runtime_ts_1.agentTeardownEffect)(run.agent, sandbox, callbackContext), { inheritAttemptSignal: false })));
+        if (assertFirst.beginCleanup()) {
+            try {
+                if (agentSetupReached && run.agent.teardown) {
+                    enterPhase("agent.teardown");
+                    await recorder
+                        .measureClosing("agent.teardown", async () => {
+                        try {
+                            // 先按 kind 收窄 Agent 联合,再取 teardown —— 否则可选属性访问会把
+                            // AgentTeardown | DirectAgentTeardown 混成无法调用的签名。
+                            if (run.agent.kind === "sandbox") {
+                                const teardown = run.agent.teardown;
+                                if (teardown) {
+                                    const context = { ...sandboxAttemptCtx, signal };
+                                    const native = (0, effect_runtime_ts_1.agentTeardownEffect)(run.agent, sandbox, context);
+                                    await assertFirst.requestCleanup((0, cleanup_timeout_ts_1.withCleanupTimeout)(native === undefined
+                                        ? (0, callback_context_ts_1.withAgentCallbackContext)(context, (callbackContext) => (0, effect_runtime_ts_1.authorCallbackEffect)(() => teardown(sandbox, callbackContext)), { inheritAttemptSignal: false })
+                                        : (0, callback_context_ts_1.withAgentCallbackContext)(context, (callbackContext) => (0, effect_runtime_ts_1.agentTeardownEffect)(run.agent, sandbox, callbackContext), { inheritAttemptSignal: false })));
+                                }
+                            }
+                            else {
+                                const teardown = run.agent.teardown;
+                                if (teardown) {
+                                    const context = { ...attemptCtx, signal };
+                                    const native = (0, effect_runtime_ts_1.agentTeardownEffect)(run.agent, sandbox, context);
+                                    await assertFirst.requestCleanup((0, cleanup_timeout_ts_1.withCleanupTimeout)(native === undefined
+                                        ? (0, callback_context_ts_1.withAgentCallbackContext)(context, (callbackContext) => (0, effect_runtime_ts_1.authorCallbackEffect)(() => teardown(callbackContext)), { inheritAttemptSignal: false })
+                                        : (0, callback_context_ts_1.withAgentCallbackContext)(context, (callbackContext) => (0, effect_runtime_ts_1.agentTeardownEffect)(run.agent, sandbox, callbackContext), { inheritAttemptSignal: false })));
+                                }
+                            }
                         }
-                    }
-                    else {
-                        const teardown = run.agent.teardown;
-                        if (teardown) {
-                            const context = { ...attemptCtx, signal };
-                            const native = (0, effect_runtime_ts_1.agentTeardownEffect)(run.agent, sandbox, context);
-                            await assertFirst.requestEffect((0, cleanup_timeout_ts_1.withCleanupTimeout)(native === undefined
-                                ? (0, callback_context_ts_1.withAgentCallbackContext)(context, (callbackContext) => (0, effect_runtime_ts_1.authorCallbackEffect)(() => teardown(callbackContext)), { inheritAttemptSignal: false })
-                                : (0, callback_context_ts_1.withAgentCallbackContext)(context, (callbackContext) => (0, effect_runtime_ts_1.agentTeardownEffect)(run.agent, sandbox, callbackContext), { inheritAttemptSignal: false })));
+                        catch (e) {
+                            declareFailure("agent.teardown", e);
+                            diagnostics.push(teardownDiagnostic("agent.teardown", e));
+                            throw e;
                         }
-                    }
+                    })
+                        .catch(() => { });
                 }
-                catch (e) {
-                    declareFailure("agent.teardown", e);
-                    diagnostics.push(teardownDiagnostic("agent.teardown", e));
-                    throw e;
+                try {
+                    await assertFirst.requestCleanup((0, cleanup_timeout_ts_1.cleanupCallback)((cleanupSignal) => attemptResources.releaseAll(cleanupSignal)));
+                }
+                catch (error) {
+                    reportAttemptResourceReleaseFailure(error);
+                }
+                for (const lifecycle of evalPluginLifecycles.slice(0, activatedEvalPlugins).reverse()) {
+                    if (lifecycle.teardown === undefined)
+                        continue;
+                    try {
+                        await assertFirst.requestCleanup((0, cleanup_timeout_ts_1.cleanupCallback)((signal) => lifecycle.teardown({
+                            ...evalPluginContext,
+                            signal,
+                        })));
+                    }
+                    catch (error) {
+                        feedback.diagnostic({
+                            code: "plugin-lifecycle-teardown-failed",
+                            level: "warning",
+                            message: error instanceof Error ? error.message : String(error),
+                        });
+                    }
                 }
-            })
-                .catch(() => { });
-        }
-        try {
-            await assertFirst.requestEffect((0, cleanup_timeout_ts_1.cleanupCallback)((cleanupSignal) => attemptResources.releaseAll(cleanupSignal)));
-        }
-        catch (error) {
-            // An interrupted body can resume its Promise finally only after the
-            // Effect bridge has closed. The Scope finalizer above still performs the
-            // release; this named closure is therefore lifecycle control, not a
-            // second teardown failure.
-            if (!(error instanceof api_ts_1.AssertionAuthoringClosedError && error.reason === "attempt-interrupted")) {
-                reportAttemptResourceReleaseFailure(error);
-            }
-        }
-        for (const lifecycle of evalPluginLifecycles.slice(0, activatedEvalPlugins).reverse()) {
-            if (lifecycle.teardown === undefined)
-                continue;
-            try {
-                await assertFirst.requestEffect((0, cleanup_timeout_ts_1.cleanupCallback)((signal) => lifecycle.teardown({
-                    ...evalPluginContext,
-                    signal,
-                })));
             }
-            catch (error) {
-                feedback.diagnostic({
-                    code: "plugin-lifecycle-teardown-failed",
-                    level: "warning",
-                    message: error instanceof Error ? error.message : String(error),
-                });
+            finally {
+                assertFirst.completeCleanup();
             }
         }
-        // Agent teardown 是 Promise author 边界内最后一步；作者 cleanup / Provider Case
-        // 都由外层 Effect Scope finalizer 接管。
+        // Agent / Eval Plugin teardown 留在 Promise author 边界的同一 ordered cleanup；
+        // 作者 Sandbox cleanup / Provider Case 仍由外层 Effect Scope finalizer 接管。
     }
 }
 /** 把一次 teardown / cleanup 失败折成一条 `DiagnosticRecord`(warning,不改判定)。message 取一层