@shivaedev/work-fleet 0.0.0 → 0.1.1

package/dist/engine/obtainReview.js

@@ -0,0 +1,100 @@
+import { Effect, Result } from "effect";
+import { admit } from "#admit.ts";
+import { workRevision } from "#board/workRevision.ts";
+import { validateReview } from "#completion.ts";
+import { launchObservationRetries } from "#engine/launchObservationRetries.ts";
+import { reconcileAttempt } from "#engine/reconcileAttempt.ts";
+import { submissionFailure } from "#engine/submissionFailure.ts";
+import { policyGuidance } from "#policyGuidance.ts";
+import { readReviewerVerdict, reviewerPrompt } from "#prompt/reviewer.ts";
+export function obtainReview(state) {
+    const { store, policy, sessions, save, board } = state;
+    return Effect.fn("Fleet.obtainReview")(function* (stored, work, result, retry) {
+        if (stored.value.review?.head === result.head) {
+            return stored.value.review.receipt;
+        }
+        const previous = stored.value.attempts.at(-1);
+        const continuation = retry ?? stalledReviewRetry(previous, policy.now());
+        const previousHead = reviewAttemptHead(stored.value, previous);
+        const unusable = yield* invalidPriorReview(stored.value, previous, result.head);
+        if (reusableReview(previous, work, result.head, previousHead, unusable)) {
+            return previous.receipt ?? (yield* reconcileAttempt(state)(stored, previous));
+        }
+        const reviewerGuidance = yield* policyGuidance(policy, "reviewer");
+        const prompt = continuation?.prompt
+            ?? reviewerPrompt({
+                result,
+                ...(reviewerGuidance === undefined ? {} : { reviewerGuidance }),
+                ...(policy.sharedEnvironment === undefined ? {} : { sharedEnvironment: policy.sharedEnvironment }),
+                task: work.context,
+            });
+        const settings = { ...policy.launch };
+        const attempt = {
+            observationRetries: launchObservationRetries(stored.value, retry?.observationRetries),
+            operationId: policy.operationId(),
+            prompt,
+            providerFailures: stored.value.launchRetry?.rejections,
+            reviewHead: result.head,
+            reviewRevision: workRevision(work.revision, work.context),
+            role: "reviewer",
+            sessionId: continuation?.sessionId,
+            settings,
+            stallRecovery: continuation?.stallRecovery,
+            status: "submitting",
+            submittedAt: policy.now(),
+        };
+        const quota = yield* policy.refreshQuota === undefined ? Effect.succeed(policy.quota) : policy.refreshQuota();
+        yield* admit(work, (yield* store.list()).map(({ value }) => value), { ...policy, quota }, board.get);
+        yield* save(stored, {
+            ...stored.value,
+            attempts: [...stored.value.attempts, attempt],
+            launchRetry: undefined,
+            mergeAreasReleased: undefined,
+            mergeReadyAt: undefined,
+            mergeReadyHead: undefined,
+        }, { quota, role: "reviewer" });
+        const input = {
+            access: "read-only",
+            cwd: stored.value.cwd,
+            operationId: attempt.operationId,
+            prompt,
+            settings,
+        };
+        return yield* (continuation === undefined ? sessions.start(input) : sessions.continue({ ...input, sessionId: continuation.sessionId })).pipe(Effect.tapError((error) => submissionFailure(state, stored.value.workId, attempt.operationId, error, "Restore provider access and retry this review")));
+    });
+}
+function reviewAttemptHead(record, attempt) {
+    const review = record.review;
+    const reviewedHead = review !== undefined && review.receipt.sessionId === attempt?.receipt?.sessionId && review.receipt.turnId === attempt?.receipt?.turnId
+        ? review.head
+        : undefined;
+    return attempt?.reviewHead ?? reviewedHead;
+}
+const invalidPriorReview = Effect.fn("Fleet.invalidPriorReview")(function* (record, previous, head) {
+    if (record.responses?.at(-1)?.action !== "retry"
+        || previous?.status !== "completed"
+        || previous.role !== "reviewer"
+        || previous.receipt === undefined) {
+        return false;
+    }
+    const parsed = yield* readReviewerVerdict(previous.output ?? "", previous.receipt).pipe(Effect.tap((review) => validateReview(record, review, head)), Effect.result);
+    return Result.isFailure(parsed);
+});
+export function reviewMatchesBrief(attempt, work) {
+    return attempt?.reviewRevision === undefined || attempt.reviewRevision === workRevision(work.revision, work.context);
+}
+function reusableReview(previous, work, head, previousHead, unusable) {
+    return (previous?.role === "reviewer"
+        && !(unusable || ["failed", "interrupted"].includes(previous.status))
+        && (previous.status !== "completed" || reviewMatchesBrief(previous, work))
+        && (previousHead === undefined || previousHead === head));
+}
+function stalledReviewRetry(previous, now) {
+    return previous?.role === "reviewer"
+        && previous.status === "interrupted"
+        && previous.stallRecovery?.interruptRequestedAt !== undefined
+        && previous.receipt !== undefined
+        ? { prompt: previous.prompt ?? "Continue the review", sessionId: previous.receipt.sessionId, stallRecovery: { count: 2, lastActionAt: now } }
+        : undefined;
+}
+//# sourceMappingURL=obtainReview.js.map

package/dist/engine/obtainReview.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"obtainReview.js","sourceRoot":"","sources":["../../src/engine/obtainReview.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,wBAAwB,EAAE,MAAM,qCAAqC,CAAC;AAE/E,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAGjE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAG1E,MAAM,UAAU,YAAY,CAAC,KAAkB;IAC9C,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACvD,OAAO,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,QAAQ,CAAC,EAC/C,MAA8B,EAC9B,IAAe,EACf,MAAkB,EAClB,KAKC;QAED,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/C,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC;QACpC,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,YAAY,GAAG,KAAK,IAAI,kBAAkB,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;QACzE,MAAM,YAAY,GAAG,iBAAiB,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAChF,IAAI,cAAc,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,QAAQ,CAAC,EAAE,CAAC;YACzE,OAAO,QAAQ,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACnE,MAAM,MAAM,GACX,YAAY,EAAE,MAAM;eACjB,cAAc,CAAC;gBACjB,MAAM;gBACN,GAAG,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC;gBAC/D,GAAG,CAAC,MAAM,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC;gBAClG,IAAI,EAAE,IAAI,CAAC,OAAO;aAClB,CAAC,CAAC;QAEJ,MAAM,QAAQ,GAAG,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACtC,MAAM,OAAO,GAAY;YACxB,kBAAkB,EAAE,wBAAwB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,kBAAkB,CAAC;YACrF,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE;YACjC,MAAM;YACN,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,UAAU;YACtD,UAAU,EAAE,MAAM,CAAC,IAAI;YACvB,cAAc,EAAE,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC;YACzD,IAAI,EAAE,UAAU;YAChB,SAAS,EAAE,YAAY,EAAE,SAAS;YAClC,QAAQ;YACR,aAAa,EAAE,YAAY,EAAE,aAAa;YAC1C,MAAM,EAAE,YAAY;YACpB,WAAW,EAAE,MAAM,CAAC,GAAG,EAAE;SACzB,CAAC;QACF,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC;QAC9G,KAAK,CAAC,CAAC,KAAK,CACX,IAAI,EACJ,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAC/C,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,EACpB,KAAK,CAAC,GAAG,CACT,CAAC;QACF,KAAK,CAAC,CAAC,IAAI,CACV,MAAM,EACN;YACC,GAAG,MAAM,CAAC,KAAK;YACf,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC;YAC7C,WAAW,EAAE,SAAS;YACtB,kBAAkB,EAAE,SAAS;YAC7B,YAAY,EAAE,SAAS;YACvB,cAAc,EAAE,SAAS;SACzB,EACD,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,CAC3B,CAAC;QACF,MAAM,KAAK,GAAG;YACb,MAAM,EAAE,WAAW;YACnB,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG;YACrB,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,MAAM;YACN,QAAQ;SACC,CAAC;QACX,OAAO,KAAK,CAAC,CAAC,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,YAAY,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAC3I,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACzB,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,KAAK,EAAE,+CAA+C,CAAC,CAC1H,CACD,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAmB,EAAE,OAA4B;IAC3E,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,MAAM,YAAY,GACjB,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,KAAK,OAAO,EAAE,OAAO,EAAE,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,OAAO,EAAE,OAAO,EAAE,MAAM;QACrI,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,SAAS,CAAC;IACd,OAAO,OAAO,EAAE,UAAU,IAAI,YAAY,CAAC;AAC5C,CAAC;AAED,MAAM,kBAAkB,GAAG,MAAM,CAAC,EAAE,CAAC,0BAA0B,CAAC,CAAC,QAAQ,CAAC,EAAE,MAAmB,EAAE,QAA6B,EAAE,IAAY;IAC3I,IACC,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO;WACzC,QAAQ,EAAE,MAAM,KAAK,WAAW;WAChC,QAAQ,CAAC,IAAI,KAAK,UAAU;WAC5B,QAAQ,CAAC,OAAO,KAAK,SAAS,EAChC,CAAC;QACF,OAAO,KAAK,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CACtF,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,EAC5D,MAAM,CAAC,MAAM,CACb,CAAC;IACF,OAAO,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC;AAEH,MAAM,UAAU,kBAAkB,CAAC,OAA4B,EAAE,IAAe;IAC/E,OAAO,OAAO,EAAE,cAAc,KAAK,SAAS,IAAI,OAAO,CAAC,cAAc,KAAK,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;AACtH,CAAC;AAED,SAAS,cAAc,CACtB,QAA6B,EAC7B,IAAe,EACf,IAAY,EACZ,YAAgC,EAChC,QAAiB;IAEjB,OAAO,CACN,QAAQ,EAAE,IAAI,KAAK,UAAU;WAC1B,CAAC,CAAC,QAAQ,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;WAClE,CAAC,QAAQ,CAAC,MAAM,KAAK,WAAW,IAAI,kBAAkB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;WACvE,CAAC,YAAY,KAAK,SAAS,IAAI,YAAY,KAAK,IAAI,CAAC,CACxD,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,QAA6B,EAAE,GAAW;IACrE,OAAO,QAAQ,EAAE,IAAI,KAAK,UAAU;WAChC,QAAQ,CAAC,MAAM,KAAK,aAAa;WACjC,QAAQ,CAAC,aAAa,EAAE,oBAAoB,KAAK,SAAS;WAC1D,QAAQ,CAAC,OAAO,KAAK,SAAS;QACjC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,IAAI,qBAAqB,EAAE,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,aAAa,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE;QAC7I,CAAC,CAAC,SAAS,CAAC;AACd,CAAC"}