codex-orchestrator 2.0.10 → 2.0.11

package/dist/src/v2/spec-coordinator.js

@@ -1,4 +1,4 @@
-import { acceptSpecReview, acceptSpecRevision, createInitialSpecDelivery, freezeApprovedSpec, launchSpecInvocation, prepareSpecInvocation, recoverMalformedSpecReport, recoverSpecInvocation, } from './spec-delivery.js';
+import { acceptSpecReview, acceptSpecRevision, createInitialSpecDelivery, freezeApprovedSpec, recoverMalformedSpecReport, reserveSpecAuthorSession, reserveSpecReviewerSession, } from './spec-delivery.js';
 export class SpecCoordinator {
     dependencies;
     constructor(dependencies) {
@@ -33,56 +33,94 @@ export class SpecCoordinator {
                 current = frozen;
                 continue;
             }
-            const author = current.invocation ? current.invocation.purpose === 'author' : current.stage === 'authoring' || current.stage === 'author-repair';
-            const mode = current.invocation?.mode ?? (author ? (current.stage === 'authoring' ? 'author' : 'repair') : (current.stage === 'review-full' ? 'full' : 'closure'));
+            const author = current.stage === 'authoring' || current.stage === 'author-repair';
+            const mode = author ? (current.stage === 'authoring' ? 'author' : 'repair')
+                : (current.stage === 'review-full' ? 'full' : 'closure');
             let active = current;
-            const onPrepared = async (actor) => {
-                const next = prepareSpecInvocation(active, { purpose: author ? 'author' : 'review', mode, ...actor });
-                if (!await this.dependencies.state.compareAndSwap(active, next))
-                    throw new Error('spec prepared state conflict');
-                active = next;
-            };
-            const onLaunched = async (actor) => {
-                if (active.invocation?.attemptId !== actor.attemptId || active.invocation.sessionId !== actor.sessionId)
-                    throw new Error('spec launch actor mismatch');
-                const next = launchSpecInvocation(active, actor);
-                if (!await this.dependencies.state.compareAndSwap(active, next))
-                    throw new Error('spec launched state conflict');
-                active = next;
-            };
-            const result = current.invocation
-                ? await this.dependencies.operation.recover({ context, state: current, signal })
-                : author
-                    ? await this.dependencies.operation.author({ context, state: current, mode: mode, signal, onPrepared, onLaunched })
-                    : await this.dependencies.operation.review({ context, state: current, mode: mode, signal, onPrepared, onLaunched });
+            const authorSessionId = author ? current.authorSessionId ?? this.dependencies.createAuthorSessionId() : undefined;
+            const reviewerSessionId = author ? undefined : current.review.reviewerSessionId ?? this.dependencies.createReviewerSessionId();
+            const reviewState = author ? undefined : reserveSpecReviewerSession(current, reviewerSessionId);
+            const authorState = author ? reserveSpecAuthorSession(current, authorSessionId) : undefined;
+            const result = author
+                ? await this.dependencies.operation.author({ context, state: authorState, mode: mode, authorSessionId: authorSessionId,
+                    signal, invocationState: this.dependencies.state.authorInvocation(authorSessionId) })
+                : await this.dependencies.operation.review({ context, state: reviewState, mode: mode, reviewerSessionId: reviewerSessionId,
+                    signal, invocationState: this.dependencies.state.reviewInvocation(reviewerSessionId) });
             if (result.status === 'retryable') {
-                try {
-                    const owner = author ? 'author' : 'review';
-                    const recovered = result.code.includes('report-invalid')
-                        ? recoverMalformedSpecReport(active, owner)
-                        : recoverSpecInvocation(active, { attemptId: active.invocation.attemptId, processGroupAbsent: true });
-                    if (!await this.dependencies.state.compareAndSwap(active, recovered))
-                        return { status: 'retryable', code: 'spec-recovery-state-conflict' };
-                    current = recovered;
-                    continue;
-                }
-                catch {
-                    const exhausted = { ...structuredClone(active), stage: 'exhausted' };
-                    delete exhausted.invocation;
-                    if (!await this.dependencies.state.compareAndSwap(active, exhausted))
-                        return { status: 'retryable', code: 'spec-exhaustion-state-conflict' };
-                    return { status: 'blocked', kind: 'exhausted', code: 'spec-retry-budget-exhausted', evidence: [] };
-                }
+                return result;
+            }
+            if (result.status === 'invalid') {
+                const settlement = await this.settleInvalid(author ? 'author' : 'review', result.attemptId);
+                if (settlement.status === 'returned')
+                    return settlement.result;
+                current = settlement.state;
+                continue;
             }
             if (result.status !== 'completed')
                 return result.status === 'blocked' ? { ...result, evidence: [] } : result;
-            const next = author
-                ? acceptSpecRevision(active, result.value)
-                : acceptSpecReview(active, result.value, result.reportSha256 ?? '0'.repeat(64));
-            if (!await this.dependencies.state.compareAndSwap(active, next))
+            const refreshed = await this.dependencies.state.read();
+            if (!refreshed)
+                return { status: 'retryable', code: 'spec-state-missing' };
+            active = refreshed;
+            const attemptId = author
+                ? result.value.author.attemptId
+                : result.value.reviewer.attemptId;
+            let next;
+            try {
+                next = author
+                    ? acceptSpecRevision(active, result.value)
+                    : acceptSpecReview(active, result.value, result.reportSha256 ?? '0'.repeat(64));
+            }
+            catch {
+                const settlement = await this.settleInvalid(author ? 'author' : 'review', attemptId);
+                if (settlement.status === 'returned')
+                    return settlement.result;
+                current = settlement.state;
+                continue;
+            }
+            let saved;
+            try {
+                saved = author
+                    ? await this.dependencies.state.settleAuthor(active, next, attemptId)
+                    : await this.dependencies.state.settleReview(active, next, attemptId);
+            }
+            catch {
+                return { status: 'retryable', code: 'spec-result-state-conflict' };
+            }
+            if (!saved)
                 return { status: 'retryable', code: 'spec-result-state-conflict' };
             current = next;
         }
     }
+    async settleInvalid(owner, attemptId) {
+        const active = await this.dependencies.state.read();
+        if (!active)
+            return { status: 'returned', result: { status: 'retryable', code: 'spec-state-missing' } };
+        let next;
+        let exhausted = false;
+        try {
+            next = recoverMalformedSpecReport(active, owner);
+        }
+        catch {
+            next = { ...structuredClone(active), stage: 'exhausted' };
+            exhausted = true;
+        }
+        let settled;
+        try {
+            settled = owner === 'author'
+                ? await this.dependencies.state.settleAuthor(active, next, attemptId)
+                : await this.dependencies.state.settleReview(active, next, attemptId);
+        }
+        catch {
+            return { status: 'returned', result: { status: 'retryable', code: exhausted
+                        ? 'spec-exhaustion-state-conflict' : 'spec-recovery-state-conflict' } };
+        }
+        if (!settled)
+            return { status: 'returned', result: { status: 'retryable', code: exhausted
+                        ? 'spec-exhaustion-state-conflict' : 'spec-recovery-state-conflict' } };
+        return exhausted
+            ? { status: 'returned', result: { status: 'blocked', kind: 'exhausted', code: 'spec-retry-budget-exhausted', evidence: [] } }
+            : { status: 'continued', state: next };
+    }
 }
 //# sourceMappingURL=spec-coordinator.js.map

package/dist/src/v2/spec-coordinator.js.map

@@ -1 +1 @@
-{"version":3,"file":"spec-coordinator.js","sourceRoot":"","sources":["../../../src/v2/spec-coordinator.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,kBAAkB,EACnF,oBAAoB,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,qBAAqB,GAG/F,MAAM,oBAAoB,CAAC;AAwC5B,MAAM,OAAO,eAAe;IACG;IAA7B,YAA6B,YAA4E;QAA5E,iBAAY,GAAZ,YAAY,CAAgE;IAAG,CAAC;IAE7G,KAAK,CAAC,GAAG,CAAC,OAAyB,EAAE,MAAmB;QACtD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACtD,IAAI,OAAuB,CAAC;QAC5B,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,OAAO,GAAG,yBAAyB,CAAC;gBACxC,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK;gBACvD,wBAAwB,EAAE,OAAO,CAAC,kBAAkB,CAAC,cAAc;aACpE,CAAC,CAAC;YACH,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC;gBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC;YACnI,OAAO,GAAG,OAAO,CAAC;QACpB,CAAC;;YAAM,OAAO,GAAG,QAAQ,CAAC;QAC1B,OAAO,IAAI,EAAE,CAAC;YACZ,IAAI,MAAM,CAAC,OAAO;gBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;YACnD,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,MAAO,EAAE,CAAC;YACzF,IAAI,OAAO,CAAC,KAAK,KAAK,UAAU,IAAI,OAAO,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;gBAClE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,EAAE,QAAQ,OAAO,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;YACzI,CAAC;YACD,IAAI,OAAO,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;gBACjC,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;gBAC3C,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC;oBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC;gBACvI,OAAO,GAAG,MAAM,CAAC;gBACjB,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAY,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,WAAW,IAAI,OAAO,CAAC,KAAK,KAAK,eAAe,CAAC;YAC1J,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;YACnK,IAAI,MAAM,GAAG,OAAO,CAAC;YACrB,MAAM,UAAU,GAAG,KAAK,EAAE,KAA2F,EAAE,EAAE;gBACvH,MAAM,IAAI,GAAG,qBAAqB,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;gBACtG,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;gBACjH,MAAM,GAAG,IAAI,CAAC;YAChB,CAAC,CAAC;YACF,MAAM,UAAU,GAAG,KAAK,EAAE,KAAoF,EAAE,EAAE;gBAChH,IAAI,MAAM,CAAC,UAAU,EAAE,SAAS,KAAK,KAAK,CAAC,SAAS,IAAI,MAAM,CAAC,UAAU,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;gBACvJ,MAAM,IAAI,GAAG,oBAAoB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBACjD,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;gBACjH,MAAM,GAAG,IAAI,CAAC;YAChB,CAAC,CAAC;YACF,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU;gBAC/B,CAAC,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;gBAChF,CAAC,CAAC,MAAM;oBACN,CAAC,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAyB,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;oBACxI,CAAC,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAwB,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,CAAC;YAC5I,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;gBAClC,IAAI,CAAC;oBACH,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;oBAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC;wBACtD,CAAC,CAAC,0BAA0B,CAAC,MAAM,EAAE,KAAK,CAAC;wBAC3C,CAAC,CAAC,qBAAqB,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,UAAW,CAAC,SAAS,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,CAAC;oBACzG,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC;wBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,8BAA8B,EAAE,CAAC;oBAC3I,OAAO,GAAG,SAAS,CAAC;oBACpB,SAAS;gBACX,CAAC;gBAAC,MAAM,CAAC;oBACP,MAAM,SAAS,GAAmB,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;oBACrF,OAAO,SAAS,CAAC,UAAU,CAAC;oBAC5B,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC;wBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,gCAAgC,EAAE,CAAC;oBAC7I,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,6BAA6B,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;gBACrG,CAAC;YACH,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;gBAAE,OAAO,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;YAC7G,MAAM,IAAI,GAAmB,MAAM;gBACjC,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,KAAuB,CAAC;gBAC5D,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,KAA2B,EAAE,MAAM,CAAC,YAAY,IAAI,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;YACxG,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC;gBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC;YACpI,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;IACH,CAAC;CACF"}
+{"version":3,"file":"spec-coordinator.js","sourceRoot":"","sources":["../../../src/v2/spec-coordinator.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,kBAAkB,EACnF,0BAA0B,EAAE,wBAAwB,EAAE,0BAA0B,GAGjF,MAAM,oBAAoB,CAAC;AAyC5B,MAAM,OAAO,eAAe;IACG;IAA7B,YAA6B,YACyC;QADzC,iBAAY,GAAZ,YAAY,CAC6B;IAAG,CAAC;IAE1E,KAAK,CAAC,GAAG,CAAC,OAAyB,EAAE,MAAmB;QACtD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACtD,IAAI,OAAuB,CAAC;QAC5B,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,OAAO,GAAG,yBAAyB,CAAC;gBACxC,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK;gBACvD,wBAAwB,EAAE,OAAO,CAAC,kBAAkB,CAAC,cAAc;aACpE,CAAC,CAAC;YACH,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC;gBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC;YACnI,OAAO,GAAG,OAAO,CAAC;QACpB,CAAC;;YAAM,OAAO,GAAG,QAAQ,CAAC;QAC1B,OAAO,IAAI,EAAE,CAAC;YACZ,IAAI,MAAM,CAAC,OAAO;gBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;YACnD,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,MAAO,EAAE,CAAC;YACzF,IAAI,OAAO,CAAC,KAAK,KAAK,UAAU,IAAI,OAAO,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;gBAClE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,EAAE,QAAQ,OAAO,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;YACzI,CAAC;YACD,IAAI,OAAO,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;gBACjC,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;gBAC3C,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC;oBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC;gBACvI,OAAO,GAAG,MAAM,CAAC;gBACjB,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,KAAK,WAAW,IAAI,OAAO,CAAC,KAAK,KAAK,eAAe,CAAC;YAClF,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACzE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAC3D,IAAI,MAAM,GAAG,OAAO,CAAC;YACrB,MAAM,eAAe,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,IAAI,IAAI,CAAC,YAAY,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;YAClH,MAAM,iBAAiB,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,iBAAiB,IAAI,IAAI,CAAC,YAAY,CAAC,uBAAuB,EAAE,CAAC;YAC/H,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,0BAA0B,CAAC,OAAO,EAAE,iBAAkB,CAAC,CAAC;YACjG,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,wBAAwB,CAAC,OAAO,EAAE,eAAgB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC7F,MAAM,MAAM,GAAG,MAAM;gBACjB,CAAC,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,WAAY,EAAE,IAAI,EAAE,IAAyB,EAAE,eAAe,EAAE,eAAgB;oBAC3I,MAAM,EAAE,eAAe,EAAE,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,gBAAgB,CAAC,eAAgB,CAAC,EAAE,CAAC;gBACxF,CAAC,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,WAAY,EAAE,IAAI,EAAE,IAAwB,EAAE,iBAAiB,EAAE,iBAAkB;oBAC9I,MAAM,EAAE,eAAe,EAAE,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,gBAAgB,CAAC,iBAAkB,CAAC,EAAE,CAAC,CAAC;YAC/F,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;gBAClC,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;gBAC5F,IAAI,UAAU,CAAC,MAAM,KAAK,UAAU;oBAAE,OAAO,UAAU,CAAC,MAAM,CAAC;gBAC/D,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC;gBAC3B,SAAS;YACX,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;gBAAE,OAAO,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;YAC7G,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACvD,IAAI,CAAC,SAAS;gBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,oBAAoB,EAAE,CAAC;YAC3E,MAAM,GAAG,SAAS,CAAC;YACnB,MAAM,SAAS,GAAG,MAAM;gBACtB,CAAC,CAAE,MAAM,CAAC,KAAwB,CAAC,MAAM,CAAC,SAAS;gBACnD,CAAC,CAAE,MAAM,CAAC,KAA4B,CAAC,QAAQ,CAAC,SAAS,CAAC;YAC5D,IAAI,IAAoB,CAAC;YACzB,IAAI,CAAC;gBACH,IAAI,GAAG,MAAM;oBACX,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,KAAuB,CAAC;oBAC5D,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,KAA2B,EAAE,MAAM,CAAC,YAAY,IAAI,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;YAC1G,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;gBACrF,IAAI,UAAU,CAAC,MAAM,KAAK,UAAU;oBAAE,OAAO,UAAU,CAAC,MAAM,CAAC;gBAC/D,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC;gBAC3B,SAAS;YACX,CAAC;YACD,IAAI,KAAc,CAAC;YACnB,IAAI,CAAC;gBACH,KAAK,GAAG,MAAM;oBACZ,CAAC,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC;oBACrE,CAAC,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC1E,CAAC;YAAC,MAAM,CAAC;gBAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC;YAAC,CAAC;YAC/E,IAAI,CAAC,KAAK;gBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC;YAC/E,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,aAAa,CAAC,KAA0B,EAAE,SAAiB;QACvE,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACpD,IAAI,CAAC,MAAM;YAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE,CAAC;QACxG,IAAI,IAAoB,CAAC;QACzB,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,IAAI,CAAC;YAAC,IAAI,GAAG,0BAA0B,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAAC,CAAC;QACzD,MAAM,CAAC;YAAC,IAAI,GAAG,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;YAAC,SAAS,GAAG,IAAI,CAAC;QAAC,CAAC;QACtF,IAAI,OAAgB,CAAC;QACrB,IAAI,CAAC;YACH,OAAO,GAAG,KAAK,KAAK,QAAQ;gBAC1B,CAAC,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC;gBACrE,CAAC,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC1E,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS;wBACzE,CAAC,CAAC,gCAAgC,CAAC,CAAC,CAAC,8BAA8B,EAAE,EAAE,CAAC;QAC5E,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS;wBACvF,CAAC,CAAC,gCAAgC,CAAC,CAAC,CAAC,8BAA8B,EAAE,EAAE,CAAC;QAC1E,OAAO,SAAS;YACd,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,6BAA6B,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE;YAC7H,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC3C,CAAC;CACF"}

package/dist/src/v2/spec-delivery.d.ts

@@ -40,20 +40,6 @@ export interface SpecReviewReportV1 {
     acceptedRisks: SpecAcceptedRiskV1[];
     coverageInvalidated: boolean;
 }
-export interface SpecInvocationV1 {
-    purpose: 'author' | 'review';
-    mode: 'author' | 'repair' | 'full' | 'closure';
-    attemptId: string;
-    sessionId: string;
-    targetRevision: number;
-    targetSha256: string | null;
-    closureRequestSha256: string | null;
-    status: 'prepared' | 'launched';
-    pid: number | null;
-    processGroupId: number | null;
-    reportPath: string | null;
-    revisionPath: string | null;
-}
 export interface FrozenSpecReceiptV1 {
     version: 1;
     issueNumber: number;
@@ -77,6 +63,7 @@ export interface SpecDeliveryV1 {
     authorSessionId: string | null;
     review: {
         reviewer: SpecActorV1 | null;
+        reviewerSessionId: string | null;
         mode: 'full' | 'closure' | null;
         coverage: string[];
         defects: CodeReviewDefectV1[];
@@ -89,15 +76,12 @@ export interface SpecDeliveryV1 {
     budgets: {
         author: {
             reportRepairs: 0 | 1;
-            transportRetries: 0 | 1;
         };
         review: {
             reportRepairs: 0 | 1;
-            transportRetries: 0 | 1;
         };
         repairCycles: 0 | 1;
     };
-    invocation?: SpecInvocationV1;
     frozen?: FrozenSpecReceiptV1;
 }
 export declare function createInitialSpecDelivery(input: {
@@ -115,28 +99,13 @@ export declare function createSpecRevision(input: {
 }): SpecRevisionV1;
 export declare function hashSpecRevision(revision: Omit<SpecRevisionV1, 'revisionSha256'> | SpecRevisionV1): string;
 export declare function validateSpecRevision(value: unknown, previous: SpecRevisionV1 | null): SpecRevisionV1;
-export declare function prepareSpecInvocation(state: SpecDeliveryV1, input: {
-    purpose: 'author' | 'review';
-    mode: 'author' | 'repair' | 'full' | 'closure';
-    attemptId: string;
-    sessionId: string;
-    reportPath?: string;
-    revisionPath?: string;
-}): SpecDeliveryV1;
-export declare function launchSpecInvocation(state: SpecDeliveryV1, input: {
-    attemptId: string;
-    pid: number;
-    processGroupId: number;
-}): SpecDeliveryV1;
+export declare function reserveSpecAuthorSession(state: SpecDeliveryV1, sessionId: string): SpecDeliveryV1;
 export declare function acceptSpecRevision(state: SpecDeliveryV1, revision: SpecRevisionV1): SpecDeliveryV1;
 export declare function acceptSpecReview(state: SpecDeliveryV1, report: SpecReviewReportV1, reportSha256: string): SpecDeliveryV1;
+export declare function reserveSpecReviewerSession(state: SpecDeliveryV1, reviewerSessionId: string): SpecDeliveryV1;
 export declare function hashSpecClosureRequest(state: SpecDeliveryV1): string;
 export declare function consumeSpecReportRepair(state: SpecDeliveryV1, owner: 'author' | 'review'): SpecDeliveryV1;
 export declare function recoverMalformedSpecReport(state: SpecDeliveryV1, owner: 'author' | 'review'): SpecDeliveryV1;
-export declare function recoverSpecInvocation(state: SpecDeliveryV1, input: {
-    attemptId: string;
-    processGroupAbsent: boolean;
-}): SpecDeliveryV1;
 export declare function freezeApprovedSpec(state: SpecDeliveryV1): SpecDeliveryV1;
 export declare function validateFrozenSpecReceipt(value: unknown, state: SpecDeliveryV1): FrozenSpecReceiptV1;
 export declare function validateSpecDelivery(value: unknown): SpecDeliveryV1;

package/dist/src/v2/spec-delivery.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"spec-delivery.d.ts","sourceRoot":"","sources":["../../../src/v2/spec-delivery.ts"],"names":[],"mappings":"AAGA,OAAO,EAA6B,KAAK,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAO7F,MAAM,WAAW,cAAc;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE;AACrF,MAAM,WAAW,WAAW;IAAG,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE;AACrE,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,CAAC,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,MAAM,EAAE,WAAW,CAAC;IACpB,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,cAAc,EAAE,MAAM,CAAC;CACxB;AACD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;CACpB;AACD,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,CAAC,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IACzB,OAAO,EAAE,UAAU,GAAG,YAAY,GAAG,UAAU,CAAC;IAChD,QAAQ,EAAE,WAAW,CAAC;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,kBAAkB,EAAE,CAAC;IAC9B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,mBAAmB,EAAE,OAAO,CAAC;CAC9B;AACD,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC7B,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,SAAS,CAAC;IAC/C,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,MAAM,EAAE,UAAU,GAAG,UAAU,CAAC;IAChC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACnB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7B;AACD,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,CAAC,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,wBAAwB,EAAE,MAAM,CAAC;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;CACvB;AACD,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,CAAC,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,wBAAwB,EAAE,MAAM,CAAC;IACjC,KAAK,EAAE,WAAW,GAAG,aAAa,GAAG,eAAe,GAAG,gBAAgB,GAAG,UAAU,GAAG,QAAQ,GAAG,UAAU,GAAG,WAAW,CAAC;IAC3H,SAAS,EAAE,cAAc,EAAE,CAAC;IAC5B,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,MAAM,EAAE;QACN,QAAQ,EAAE,WAAW,GAAG,IAAI,CAAC;QAC7B,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAAC;QAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;QACnB,OAAO,EAAE,kBAAkB,EAAE,CAAC;QAC9B,iBAAiB,EAAE,MAAM,EAAE,CAAC;QAC5B,iBAAiB,EAAE,MAAM,EAAE,CAAC;QAC5B,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;QACpC,aAAa,EAAE,kBAAkB,EAAE,CAAC;QACpC,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;KACrC,CAAC;IACF,OAAO,EAAE;QACP,MAAM,EAAE;YAAE,aAAa,EAAE,CAAC,GAAG,CAAC,CAAC;YAAC,gBAAgB,EAAE,CAAC,GAAG,CAAC,CAAA;SAAE,CAAC;QAC1D,MAAM,EAAE;YAAE,aAAa,EAAE,CAAC,GAAG,CAAC,CAAC;YAAC,gBAAgB,EAAE,CAAC,GAAG,CAAC,CAAA;SAAE,CAAC;QAC1D,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC;KACrB,CAAC;IACF,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAC9B,MAAM,CAAC,EAAE,mBAAmB,CAAC;CAC9B;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE;IAC/C,WAAW,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,wBAAwB,EAAE,MAAM,CAAC;CACtE,GAAG,cAAc,CAOjB;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE;IACxC,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,cAAc,EAAE,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC;IAAC,gBAAgB,EAAE,cAAc,GAAG,IAAI,CAAC;CAC3I,GAAG,cAAc,CAOjB;AAED,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,gBAAgB,CAAC,GAAG,cAAc,GAAG,MAAM,CAG1G;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,cAAc,GAAG,IAAI,GAAG,cAAc,CAcpG;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE;IAClE,OAAO,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,SAAS,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IACnH,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAC5C,GAAG,cAAc,CAkBjB;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GAAG,cAAc,CAI7I;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,GAAG,cAAc,CAiBlG;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,GAAG,cAAc,CAgDxH;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,CAQpE;AAED,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,GAAG,QAAQ,GAAG,cAAc,CAGzG;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,GAAG,QAAQ,GAAG,cAAc,CAK5G;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,kBAAkB,EAAE,OAAO,CAAA;CAAE,GAAG,cAAc,CAStI;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,cAAc,GAAG,cAAc,CAaxE;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,cAAc,GAAG,mBAAmB,CAYpG;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,cAAc,CAqBnE"}
+{"version":3,"file":"spec-delivery.d.ts","sourceRoot":"","sources":["../../../src/v2/spec-delivery.ts"],"names":[],"mappings":"AAGA,OAAO,EAA6B,KAAK,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAO7F,MAAM,WAAW,cAAc;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE;AACrF,MAAM,WAAW,WAAW;IAAG,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE;AACrE,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,CAAC,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,MAAM,EAAE,WAAW,CAAC;IACpB,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,cAAc,EAAE,MAAM,CAAC;CACxB;AACD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;CACpB;AACD,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,CAAC,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IACzB,OAAO,EAAE,UAAU,GAAG,YAAY,GAAG,UAAU,CAAC;IAChD,QAAQ,EAAE,WAAW,CAAC;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,kBAAkB,EAAE,CAAC;IAC9B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,mBAAmB,EAAE,OAAO,CAAC;CAC9B;AACD,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,CAAC,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,wBAAwB,EAAE,MAAM,CAAC;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;CACvB;AACD,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,CAAC,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,wBAAwB,EAAE,MAAM,CAAC;IACjC,KAAK,EAAE,WAAW,GAAG,aAAa,GAAG,eAAe,GAAG,gBAAgB,GAAG,UAAU,GAAG,QAAQ,GAAG,UAAU,GAAG,WAAW,CAAC;IAC3H,SAAS,EAAE,cAAc,EAAE,CAAC;IAC5B,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,MAAM,EAAE;QACN,QAAQ,EAAE,WAAW,GAAG,IAAI,CAAC;QAC7B,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;QACjC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAAC;QAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;QACnB,OAAO,EAAE,kBAAkB,EAAE,CAAC;QAC9B,iBAAiB,EAAE,MAAM,EAAE,CAAC;QAC5B,iBAAiB,EAAE,MAAM,EAAE,CAAC;QAC5B,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;QACpC,aAAa,EAAE,kBAAkB,EAAE,CAAC;QACpC,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;KACrC,CAAC;IACF,OAAO,EAAE;QACP,MAAM,EAAE;YAAE,aAAa,EAAE,CAAC,GAAG,CAAC,CAAA;SAAE,CAAC;QACjC,MAAM,EAAE;YAAE,aAAa,EAAE,CAAC,GAAG,CAAC,CAAA;SAAE,CAAC;QACjC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC;KACrB,CAAC;IACF,MAAM,CAAC,EAAE,mBAAmB,CAAC;CAC9B;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE;IAC/C,WAAW,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,wBAAwB,EAAE,MAAM,CAAC;CACtE,GAAG,cAAc,CAOjB;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE;IACxC,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,cAAc,EAAE,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC;IAAC,gBAAgB,EAAE,cAAc,GAAG,IAAI,CAAC;CAC3I,GAAG,cAAc,CAOjB;AAED,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,gBAAgB,CAAC,GAAG,cAAc,GAAG,MAAM,CAG1G;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,cAAc,GAAG,IAAI,GAAG,cAAc,CAcpG;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,GAAG,cAAc,CAMjG;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,GAAG,cAAc,CAgBlG;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,GAAG,cAAc,CAgDxH;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,GAAG,cAAc,CAS3G;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,CAQpE;AAED,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,GAAG,QAAQ,GAAG,cAAc,CAGzG;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,GAAG,QAAQ,GAAG,cAAc,CAE5G;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,cAAc,GAAG,cAAc,CAaxE;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,cAAc,GAAG,mBAAmB,CAYpG;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,cAAc,CAsBnE"}

package/dist/src/v2/spec-delivery.js

@@ -11,8 +11,8 @@ export function createInitialSpecDelivery(input) {
     hash(input.workflowGenerationSha256, 'workflow generation hash');
     return {
         version: 1, ...input, stage: 'authoring', revisions: [], authorSessionId: null,
-        review: { reviewer: null, mode: null, coverage: [], defects: [], affectedDefectIds: [], affectedContracts: [], closureRequestSha256: null, acceptedRisks: [], acceptedReportSha256: null },
-        budgets: { author: { reportRepairs: 0, transportRetries: 0 }, review: { reportRepairs: 0, transportRetries: 0 }, repairCycles: 0 },
+        review: { reviewer: null, reviewerSessionId: null, mode: null, coverage: [], defects: [], affectedDefectIds: [], affectedContracts: [], closureRequestSha256: null, acceptedRisks: [], acceptedReportSha256: null },
+        budgets: { author: { reportRepairs: 0 }, review: { reportRepairs: 0 }, repairCycles: 0 },
     };
 }
 export function createSpecRevision(input) {
@@ -56,42 +56,18 @@ export function validateSpecRevision(value, previous) {
         throw new Error('spec revision hash is invalid');
     return structuredClone(value);
 }
-export function prepareSpecInvocation(state, input) {
+export function reserveSpecAuthorSession(state, sessionId) {
     validateSpecDelivery(state);
-    if (state.invocation)
-        throw new Error('spec invocation already exists');
-    const expected = stageInvocation(state.stage);
-    if (input.purpose !== expected.purpose || input.mode !== expected.mode)
-        throw new Error('spec invocation does not match stage');
-    actor({ attemptId: input.attemptId, sessionId: input.sessionId }, 'spec invocation actor');
-    if (input.purpose === 'review') {
-        if (input.sessionId === state.authorSessionId || state.revisions.some((revision) => revision.author.attemptId === input.attemptId))
-            throw new Error('spec reviewer is not independent');
-        if (state.review.reviewer && state.review.reviewer.sessionId !== input.sessionId)
-            throw new Error('Closure reviewer identity changed');
-    }
-    else if (state.authorSessionId && state.authorSessionId !== input.sessionId)
+    if (state.stage !== 'authoring' && state.stage !== 'author-repair')
+        throw new Error('spec stage does not accept an author session');
+    text(sessionId, 'spec author session ID');
+    if (state.authorSessionId !== null && state.authorSessionId !== sessionId)
         throw new Error('spec author session changed');
-    const target = state.revisions.at(-1);
-    const { reportPath = null, revisionPath = null, ...actorInput } = input;
-    const invocation = {
-        ...actorInput, targetRevision: target?.revision ?? 1, targetSha256: target?.revisionSha256 ?? null,
-        closureRequestSha256: input.mode === 'closure' ? state.review.closureRequestSha256 : null,
-        status: 'prepared', pid: null, processGroupId: null, reportPath, revisionPath,
-    };
-    return { ...structuredClone(state), invocation };
-}
-export function launchSpecInvocation(state, input) {
-    if (!state.invocation || state.invocation.status !== 'prepared' || state.invocation.attemptId !== input.attemptId)
-        throw new Error('prepared spec invocation mismatch');
-    positive(input.pid, 'spec process PID');
-    positive(input.processGroupId, 'spec process group ID');
-    return { ...structuredClone(state), invocation: { ...state.invocation, status: 'launched', pid: input.pid, processGroupId: input.processGroupId } };
+    return validateSpecDelivery({ ...structuredClone(state), authorSessionId: sessionId });
 }
 export function acceptSpecRevision(state, revision) {
-    if (!state.invocation || state.invocation.purpose !== 'author' || state.invocation.status !== 'launched')
-        throw new Error('spec author invocation is not launched');
-    if (revision.author.attemptId !== state.invocation.attemptId || revision.author.sessionId !== state.invocation.sessionId)
+    if ((state.stage !== 'authoring' && state.stage !== 'author-repair') || state.authorSessionId === null
+        || revision.author.sessionId !== state.authorSessionId)
         throw new Error('spec revision author correlation mismatch');
     const previous = state.revisions.at(-1) ?? null;
     const validated = validateSpecRevision(revision, previous);
@@ -101,27 +77,27 @@ export function acceptSpecRevision(state, revision) {
         : state.review.defects;
     const next = {
         ...structuredClone(state), stage: state.stage === 'authoring' ? 'review-full' : 'review-closure',
-        revisions: [...state.revisions, validated], authorSessionId: state.invocation.sessionId,
+        revisions: [...state.revisions, validated],
         review: { ...structuredClone(state.review), defects },
     };
-    delete next.invocation;
     if (next.stage === 'review-closure')
         next.review.closureRequestSha256 = hashSpecClosureRequest(next);
     return validateSpecDelivery(next);
 }
 export function acceptSpecReview(state, report, reportSha256) {
     hash(reportSha256, 'spec review report hash');
-    if (!state.invocation || state.invocation.purpose !== 'review' || state.invocation.status !== 'launched')
-        throw new Error('spec review invocation is not launched');
     const target = state.revisions.at(-1);
     validateReviewReport(report);
     validateCodeReviewDefects(report.defects, report.targetRevision);
     if (report.acceptedRisks.length !== 0)
         throw new Error('reviewer cannot authorize accepted risks');
     if (report.targetRevision !== target.revision || report.targetSha256 !== target.revisionSha256
-        || report.mode !== state.invocation.mode || report.reviewer.attemptId !== state.invocation.attemptId
-        || report.reviewer.sessionId !== state.invocation.sessionId
-        || report.closureRequestSha256 !== state.invocation.closureRequestSha256)
+        || report.mode !== (state.stage === 'review-full' ? 'full' : 'closure')
+        || report.reviewer.sessionId === state.authorSessionId
+        || state.revisions.some((revision) => revision.author.attemptId === report.reviewer.attemptId)
+        || (state.review.reviewerSessionId !== null && report.reviewer.sessionId !== state.review.reviewerSessionId)
+        || (state.review.reviewer !== null && report.reviewer.sessionId !== state.review.reviewer.sessionId)
+        || report.closureRequestSha256 !== (state.stage === 'review-closure' ? state.review.closureRequestSha256 : null))
         throw new Error('spec review correlation mismatch');
     for (const required of MANDATORY_COVERAGE)
         if (!report.coverage.includes(required))
@@ -133,7 +109,6 @@ export function acceptSpecReview(state, report, reportSha256) {
         next.review.closureRequestSha256 = null;
         next.review.affectedDefectIds = [];
         next.review.affectedContracts = [];
-        delete next.invocation;
         return validateSpecDelivery(next);
     }
     const defects = report.mode === 'closure' ? mergeClosureDefects(state, report) : structuredClone(report.defects);
@@ -151,7 +126,7 @@ export function acceptSpecReview(state, report, reportSha256) {
             : report.verdict === 'needs-work' && state.budgets.repairCycles === 0 ? 'author-repair'
                 : report.verdict === 'needs-work' ? 'exhausted' : 'rejected',
         review: {
-            reviewer: structuredClone(report.reviewer), mode: report.mode, coverage: sorted(report.coverage),
+            reviewer: structuredClone(report.reviewer), reviewerSessionId: report.reviewer.sessionId, mode: report.mode, coverage: sorted(report.coverage),
             defects: defects.sort((a, b) => a.id.localeCompare(b.id)),
             affectedDefectIds: report.verdict === 'needs-work' ? sorted(report.defects.filter((defect) => ['open', 'reopened'].includes(defect.status)).map((defect) => defect.id)) : [],
             affectedContracts: report.verdict === 'needs-work' ? sorted(report.affectedContracts) : [],
@@ -162,7 +137,19 @@ export function acceptSpecReview(state, report, reportSha256) {
             repairCycles: report.verdict === 'needs-work' && state.budgets.repairCycles === 0 ? 1 : state.budgets.repairCycles,
         },
     };
-    delete next.invocation;
+    return validateSpecDelivery(next);
+}
+export function reserveSpecReviewerSession(state, reviewerSessionId) {
+    validateSpecDelivery(state);
+    text(reviewerSessionId, 'spec reviewer session ID');
+    if (state.stage !== 'review-full' && state.stage !== 'review-closure')
+        throw new Error('spec stage does not accept a reviewer session');
+    if (reviewerSessionId === state.authorSessionId)
+        throw new Error('spec reviewer is not independent');
+    if (state.review.reviewerSessionId !== null && state.review.reviewerSessionId !== reviewerSessionId)
+        throw new Error('spec reviewer session changed');
+    const next = structuredClone(state);
+    next.review.reviewerSessionId = reviewerSessionId;
     return validateSpecDelivery(next);
 }
 export function hashSpecClosureRequest(state) {
@@ -181,24 +168,7 @@ export function consumeSpecReportRepair(state, owner) {
     return { ...structuredClone(state), budgets: { ...structuredClone(state.budgets), [owner]: { ...state.budgets[owner], reportRepairs: 1 } } };
 }
 export function recoverMalformedSpecReport(state, owner) {
-    if (!state.invocation || state.invocation.purpose !== owner)
-        throw new Error('malformed spec report owner mismatch');
-    const next = consumeSpecReportRepair(state, owner);
-    delete next.invocation;
-    return validateSpecDelivery(next);
-}
-export function recoverSpecInvocation(state, input) {
-    if (!state.invocation || state.invocation.attemptId !== input.attemptId)
-        throw new Error('spec recovery invocation mismatch');
-    if (!input.processGroupAbsent)
-        throw new Error('spec process is still active');
-    const owner = state.invocation.purpose === 'author' ? 'author' : 'review';
-    if (state.budgets[owner].transportRetries !== 0)
-        throw new Error(`${owner} transport retry budget exhausted`);
-    const next = structuredClone(state);
-    next.budgets[owner].transportRetries = 1;
-    delete next.invocation;
-    return validateSpecDelivery(next);
+    return validateSpecDelivery(consumeSpecReportRepair(state, owner));
 }
 export function freezeApprovedSpec(state) {
     validateSpecDelivery(state);
@@ -230,7 +200,7 @@ export function validateFrozenSpecReceipt(value, state) {
     return structuredClone(value);
 }
 export function validateSpecDelivery(value) {
-    const optional = ['invocation', 'frozen'].filter((key) => own(value, key));
+    const optional = ['frozen'].filter((key) => own(value, key));
     exact(value, ['version', 'issueNumber', 'runId', 'workflowGenerationSha256', 'stage', 'revisions', 'authorSessionId', 'review', 'budgets', ...optional], 'spec delivery');
     if (value.version !== 1)
         throw new Error('spec delivery version is invalid');
@@ -245,12 +215,10 @@ export function validateSpecDelivery(value) {
     for (const revision of value.revisions)
         previous = validateSpecRevision(revision, previous);
     exact(value.budgets, ['author', 'review', 'repairCycles'], 'spec budgets');
-    for (const owner of ['author', 'review']) {
-        exact(value.budgets[owner], ['reportRepairs', 'transportRetries'], `${owner} budget`);
-        for (const key of ['reportRepairs', 'transportRetries'])
-            if (![0, 1].includes(value.budgets[owner][key]))
-                throw new Error('spec budget is invalid');
-    }
+    exact(value.budgets.author, ['reportRepairs'], 'author budget');
+    exact(value.budgets.review, ['reportRepairs'], 'review budget');
+    if (![value.budgets.author.reportRepairs, value.budgets.review.reportRepairs].every((count) => count === 0 || count === 1))
+        throw new Error('spec budget is invalid');
     if (![0, 1].includes(value.budgets.repairCycles))
         throw new Error('spec repair cycle budget is invalid');
     validateReviewState(value.review);
@@ -261,8 +229,6 @@ export function validateSpecDelivery(value) {
         throw new Error('spec stage requires a revision');
     if (stage === 'approved' && (!value.review.reviewer || !value.review.acceptedReportSha256))
         throw new Error('approved spec is missing review authority');
-    if (own(value, 'invocation'))
-        validateInvocation(value.invocation, value);
     if (stage === 'frozen')
         validateFrozenSpecReceipt(value.frozen, value);
     else if (own(value, 'frozen'))
@@ -331,9 +297,13 @@ function validateReviewReport(value) {
     }
 }
 function validateReviewState(value) {
-    exact(value, ['reviewer', 'mode', 'coverage', 'defects', 'affectedDefectIds', 'affectedContracts', 'closureRequestSha256', 'acceptedRisks', 'acceptedReportSha256'], 'spec review state');
+    exact(value, ['reviewer', 'reviewerSessionId', 'mode', 'coverage', 'defects', 'affectedDefectIds', 'affectedContracts', 'closureRequestSha256', 'acceptedRisks', 'acceptedReportSha256'], 'spec review state');
     if (value.reviewer !== null)
         actor(value.reviewer, 'persisted reviewer');
+    if (value.reviewerSessionId !== null)
+        text(value.reviewerSessionId, 'persisted reviewer session ID');
+    if (value.reviewer !== null && value.reviewer.sessionId !== value.reviewerSessionId)
+        throw new Error('persisted reviewer session correlation mismatch');
     if (value.mode !== null && !['full', 'closure'].includes(value.mode))
         throw new Error('persisted review mode is invalid');
     strings(value.coverage, 'persisted coverage');
@@ -346,41 +316,6 @@ function validateReviewState(value) {
     if (value.acceptedReportSha256 !== null)
         hash(value.acceptedReportSha256, 'persisted report hash');
 }
-function validateInvocation(value, state) {
-    exact(value, ['purpose', 'mode', 'attemptId', 'sessionId', 'targetRevision', 'targetSha256', 'closureRequestSha256', 'status', 'pid', 'processGroupId', 'reportPath', 'revisionPath'], 'spec invocation');
-    const expected = stageInvocation(state.stage);
-    if (value.purpose !== expected.purpose || value.mode !== expected.mode)
-        throw new Error('spec invocation/stage mismatch');
-    actor({ attemptId: value.attemptId, sessionId: value.sessionId }, 'spec invocation actor');
-    const target = state.revisions.at(-1);
-    if (value.targetRevision !== (target?.revision ?? 1) || value.targetSha256 !== (target?.revisionSha256 ?? null))
-        throw new Error('spec invocation target mismatch');
-    if (value.closureRequestSha256 !== (value.mode === 'closure' ? state.review.closureRequestSha256 : null))
-        throw new Error('spec invocation Closure mismatch');
-    if (value.status === 'prepared' && (value.pid !== null || value.processGroupId !== null))
-        throw new Error('prepared spec invocation has process identity');
-    if (value.status === 'launched') {
-        positive(value.pid, 'spec invocation PID');
-        positive(value.processGroupId, 'spec invocation process group');
-    }
-    if (value.reportPath !== null)
-        text(value.reportPath, 'spec invocation report path');
-    if (value.revisionPath !== null)
-        text(value.revisionPath, 'spec invocation revision path');
-    if (value.purpose === 'review' && value.revisionPath !== null)
-        throw new Error('spec review invocation has revision path');
-}
-function stageInvocation(stage) {
-    if (stage === 'authoring')
-        return { purpose: 'author', mode: 'author' };
-    if (stage === 'author-repair')
-        return { purpose: 'author', mode: 'repair' };
-    if (stage === 'review-full')
-        return { purpose: 'review', mode: 'full' };
-    if (stage === 'review-closure')
-        return { purpose: 'review', mode: 'closure' };
-    throw new Error('spec stage does not accept an invocation');
-}
 function frozenDigest(payload) { return digest(`codex-orchestrator-frozen-spec-v1\0${canonicalJson(payload)}`); }
 function digest(value) { return createHash('sha256').update(value, 'utf8').digest('hex'); }
 function sorted(values) { return [...new Set(values)].sort(); }