@allocator-one/rcl 4.5.3 → 4.5.5

package/dist/converge/ordinary-pending-package.js

@@ -1,4 +1,5 @@
 import { guardedInputSha256, stableStringify } from '../report/run-header.js';
+import { isDeepStrictEqual } from 'node:util';
 export function validateOrdinaryPendingPackage(value, expected) {
     const input = value?.guardedInput;
     const specPresent = !!input && Object.hasOwn(input, 'spec');
@@ -15,16 +16,29 @@ export function validateOrdinaryPendingPackage(value, expected) {
             return item && typeof item === 'object' && typeof role.name === 'string' && role.name.length > 0;
         }) &&
         (!specPresent || (input.spec && typeof input.spec === 'object'));
-    if (!value || value.target !== expected.target || value.headSha !== expected.headSha || value.baseSha !== expected.baseSha || value.attempt !== expected.attempt || value.round !== expected.round || value.pid !== expected.pid || !/^[a-f0-9]{40}$/.test(value.baseSha) ||
+    const cycleBacked = expected.cycle !== undefined;
+    const cycleFieldsValid = cycleBacked
+        ? value.version === 2 && isDeepStrictEqual(value.cycle, expected.cycle) &&
+            value.attemptCap === expected.attemptCap && value.roundCap === expected.roundCap &&
+            value.attemptsUsed === expected.attemptsUsed && value.attemptsUsed === value.attempt &&
+            value.asyncAttribution === 'cycle-history-unattributed'
+        : value.version === undefined && value.cycle === undefined && value.attemptCap === undefined &&
+            value.roundCap === undefined && value.attemptsUsed === undefined && value.asyncAttribution === undefined;
+    if (!value || !cycleFieldsValid || value.target !== expected.target || value.headSha !== expected.headSha || value.baseSha !== expected.baseSha || value.attempt !== expected.attempt || value.round !== expected.round || value.pid !== expected.pid || !/^[a-f0-9]{40}$/.test(value.baseSha) ||
         !Number.isSafeInteger(value.attempt) || value.attempt < 1 || !Number.isSafeInteger(value.round) || value.round < 1 ||
         !Number.isSafeInteger(value.pid) || value.pid < 1 || !input || Object.keys(input).sort().join(',') !== keys.join(',') ||
         !Array.isArray(value.retainedAsyncSha256) || [...value.retainedAsyncSha256].sort().join(',') !== [...expected.retainedAsyncSha256].sort().join(',') || input.head !== value.headSha || guardedInputSha256(input) !== expected.inputSha256)
         throw new Error('ordinary_pending_package_mismatch');
-    if (!structuredInput || !/^[a-f0-9]{40}$/.test(value.headSha) || !new Set(value.retainedAsyncSha256).size ||
-        new Set(value.retainedAsyncSha256).size !== value.retainedAsyncSha256.length ||
+    const cycleHistory = value.version === 2;
+    const descriptorHashes = Array.isArray(value.retainedAsync)
+        ? value.retainedAsync.map(item => item?.sha256).sort() : [];
+    if (!structuredInput || !/^[a-f0-9]{40}$/.test(value.headSha) ||
+        (!cycleHistory && (!new Set(value.retainedAsyncSha256).size ||
+            new Set(value.retainedAsyncSha256).size !== value.retainedAsyncSha256.length)) ||
         value.retainedAsyncSha256.some(hash => !digest(hash)) || !Array.isArray(value.retainedAsync) ||
         value.retainedAsync.length !== value.retainedAsyncSha256.length ||
-        new Set(value.retainedAsync.map(item => item?.sha256)).size !== value.retainedAsync.length ||
+        (!cycleHistory && new Set(value.retainedAsync.map(item => item?.sha256)).size !== value.retainedAsync.length) ||
+        descriptorHashes.join(',') !== [...value.retainedAsyncSha256].sort().join(',') ||
         value.retainedAsync.some(item => !item || !digest(item.sha256) || !value.retainedAsyncSha256.includes(item.sha256) ||
             typeof item.model !== 'string' || !item.model || typeof item.role !== 'string' || !item.role ||
             typeof item.provider !== 'string' || !item.provider || item.lane !== 'async' ||

package/dist/converge/ordinary-pending-package.js.map

@@ -1 +1 @@
-{"version":3,"file":"ordinary-pending-package.js","sourceRoot":"","sources":["../../src/converge/ordinary-pending-package.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAK9E,MAAM,UAAU,8BAA8B,CAAC,KAA6B,EAAE,QAA+B;IAC3G,MAAM,KAAK,GAAG,KAAK,EAAE,YAAY,CAAC;IAClC,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,CAAC,YAAY,EAAC,QAAQ,EAAC,MAAM,EAAC,MAAM,EAAC,MAAM,EAAC,IAAI,EAAC,SAAS,EAAC,MAAM,EAAC,QAAQ;QACrF,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,CAAC,SAAkB,EAAuB,EAAE,CAAC,OAAO,SAAS,KAAK,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9H,MAAM,eAAe,GAAG,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QACzJ,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,IAAK,KAAK,CAAC,EAAa,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;QACxG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC;QAC9F,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,CAAC;QAC5D,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,CAAC;QAC7D,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;YAC5B,MAAM,IAAI,GAAG,IAA+B,CAAC;YAC7C,OAAO,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QACnG,CAAC,CAAC;QACF,CAAC,CAAC,WAAW,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC;IACnE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,KAAK,QAAQ,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;QACvQ,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC;QAClH,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACrH,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,IAAI,kBAAkB,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,WAAW;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IAClS,IAAI,CAAC,eAAe,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,IAAI;QACrG,IAAI,GAAG,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,mBAAmB,CAAC,MAAM;QAC5E,KAAK,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC;QAC5F,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,KAAK,CAAC,mBAAmB,CAAC,MAAM;QAC/D,IAAI,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,aAAa,CAAC,MAAM;QAC1F,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC9B,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;YACjF,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI;YAC5F,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAC5E,CAAE,KAAK,CAAC,MAAoC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK,IAAI,CAAC,KAAK;gBAClF,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACpJ,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAA2B,CAAC,CAAC;AACrF,CAAC"}
+{"version":3,"file":"ordinary-pending-package.js","sourceRoot":"","sources":["../../src/converge/ordinary-pending-package.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAmC9C,MAAM,UAAU,8BAA8B,CAAC,KAA6B,EAAE,QAA+B;IAC3G,MAAM,KAAK,GAAG,KAAK,EAAE,YAAY,CAAC;IAClC,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,CAAC,YAAY,EAAC,QAAQ,EAAC,MAAM,EAAC,MAAM,EAAC,MAAM,EAAC,IAAI,EAAC,SAAS,EAAC,MAAM,EAAC,QAAQ;QACrF,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,CAAC,SAAkB,EAAuB,EAAE,CAAC,OAAO,SAAS,KAAK,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9H,MAAM,eAAe,GAAG,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QACzJ,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,IAAK,KAAK,CAAC,EAAa,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;QACxG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC;QAC9F,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,CAAC;QAC5D,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,CAAC;QAC7D,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;YAC5B,MAAM,IAAI,GAAG,IAA+B,CAAC;YAC7C,OAAO,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QACnG,CAAC,CAAC;QACF,CAAC,CAAC,WAAW,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC;IACnE,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC;IACjD,MAAM,gBAAgB,GAAG,WAAW;QAClC,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,CAAC,IAAI,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC;YACrE,KAAK,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;YAChF,KAAK,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY,IAAI,KAAK,CAAC,YAAY,KAAK,KAAK,CAAC,OAAO;YACpF,KAAK,CAAC,gBAAgB,KAAK,4BAA4B;QACzD,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS;YAC1F,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,KAAK,CAAC,gBAAgB,KAAK,SAAS,CAAC;IAC7G,IAAI,CAAC,KAAK,IAAI,CAAC,gBAAgB,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,KAAK,QAAQ,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;QAC5R,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC;QAClH,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACrH,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,IAAI,kBAAkB,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,WAAW;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IAClS,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,KAAK,CAAC,CAAC;IACzC,MAAM,gBAAgB,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC;QACzD,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,IAAI,CAAC,eAAe,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;QACzD,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,IAAI;YACzD,IAAI,GAAG,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAChF,KAAK,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC;QAC5F,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,KAAK,CAAC,mBAAmB,CAAC,MAAM;QAC/D,CAAC,CAAC,YAAY,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC;QAC7G,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;QAC9E,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC9B,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;YACjF,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI;YAC5F,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAC5E,CAAE,KAAK,CAAC,MAAoC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK,IAAI,CAAC,KAAK;gBAClF,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACpJ,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAA2B,CAAC,CAAC;AACrF,CAAC"}

package/dist/converge/pending-finalization-receipt.d.ts

@@ -0,0 +1,4 @@
+import { type GuardedLaunchState } from './launch-record.js';
+import type { ConvergeRunState } from './run-state.js';
+/** Authenticate the one terminal transition that disposes an unknown cycle dispatch. */
+export declare function verifyCyclePendingFinalization(common: string, state: ConvergeRunState, launch: GuardedLaunchState): Promise<boolean>;

package/dist/converge/pending-finalization-receipt.js

@@ -0,0 +1,102 @@
+import { createHash } from 'node:crypto';
+import { join } from 'node:path';
+import { isDeepStrictEqual } from 'node:util';
+import { z } from 'zod';
+import { launchSchema } from './launch-record.js';
+import { convergeAttemptStatePath, validateConvergeAttemptState } from './attempt-budget.js';
+import { convergeRunStatePath } from './run-state.js';
+import { stableStringify } from '../report/run-header.js';
+import { readStable } from '../telemetry/recovery/files.js';
+const digest = z.string().regex(/^[a-f0-9]{64}$/);
+const receiptSchema = z.object({
+    version: z.literal(2),
+    operation: z.literal('cycle-pending-finalize-only'),
+    target: z.string().min(1),
+    headSha: z.string().regex(/^[a-f0-9]{40}$/),
+    baseSha: z.string().regex(/^[a-f0-9]{40}$/),
+    inputSha256: digest,
+    sourceDigest: digest,
+    migrationPackageSha256: digest,
+    finalizedAttempt: z.number().int().positive().safe(),
+    round: z.number().int().positive().safe(),
+    originalPid: z.number().int().positive().safe(),
+    attemptsUsed: z.number().int().positive().safe(),
+    cap: z.number().int().positive().safe(),
+    nextFreeAttempt: z.number().int().positive().safe(),
+    blockingOutcome: z.literal('unknown'),
+    cycleId: z.string().uuid(),
+    operationId: z.string().uuid(),
+    repo: z.string().min(1),
+    prNumber: z.number().int().positive().safe(),
+    attemptCap: z.number().int().positive().safe(),
+    roundCap: z.number().int().positive().safe(),
+    asyncAttribution: z.literal('cycle-history-unattributed'),
+    retainedAsyncSha256: z.array(digest),
+    sourceNativeStateSha256: digest,
+    finalizedNativeStateSha256: digest,
+    sourceAttemptStateSha256: digest,
+    receiptDigest: digest,
+}).strict();
+/** Authenticate the one terminal transition that disposes an unknown cycle dispatch. */
+export async function verifyCyclePendingFinalization(common, state, launch) {
+    const recovery = launch.pendingRecovery;
+    const packageDigest = recovery?.migrationPackageSha256;
+    if (!state.cycle || launch.status !== 'failed' || !recovery || !packageDigest)
+        return false;
+    try {
+        const stored = await readStable(join(common, 'rcl-converge-pending-finalizations', packageDigest, 'receipt.json'));
+        const receipt = receiptSchema.parse(JSON.parse(stored.text));
+        const { receiptDigest, ...body } = receipt;
+        if (receiptDigest !== createHash('sha256').update(stableStringify(body)).digest('hex') ||
+            receipt.target !== state.target || receipt.headSha !== launch.headSha ||
+            receipt.inputSha256 !== launch.inputSha256 || receipt.sourceDigest !== recovery.sourceDigest ||
+            receipt.migrationPackageSha256 !== packageDigest || receipt.finalizedAttempt !== launch.attempt ||
+            receipt.round !== launch.round || receipt.originalPid !== launch.pid ||
+            receipt.attemptsUsed !== launch.attempt || receipt.nextFreeAttempt !== launch.attempt + 1 ||
+            receipt.cap !== receipt.attemptCap || receipt.cycleId !== state.cycle.id ||
+            receipt.operationId !== state.cycle.operationId || receipt.repo.toLowerCase() !== state.cycle.repo ||
+            receipt.prNumber !== state.cycle.prNumber || receipt.roundCap !== state.roundCap ||
+            receipt.sourceNativeStateSha256 !== recovery.nativeStateSha256 ||
+            receipt.sourceAttemptStateSha256 !== recovery.attemptStateSha256 ||
+            receipt.retainedAsyncSha256.join(',') !== [...recovery.retainedAsyncSha256].sort().join(','))
+            return false;
+        const retainedRoot = join(common, 'rcl-converge-pending-finalizations', packageDigest);
+        const [native, attempts, manifest, retainedAttempts, retainedNative] = await Promise.all([
+            readStable(convergeRunStatePath(common, state.target)),
+            readStable(convergeAttemptStatePath(common, state.target)),
+            readStable(join(common, 'rcl-converge-pending-recovery', recovery.sourceDigest, 'manifest.json')),
+            readStable(join(retainedRoot, 'source-attempt-state.json')),
+            readStable(join(retainedRoot, 'finalized-native-state.json')),
+        ]);
+        if (native.sha256 !== receipt.finalizedNativeStateSha256 ||
+            attempts.sha256 !== receipt.sourceAttemptStateSha256 ||
+            retainedAttempts.sha256 !== receipt.sourceAttemptStateSha256 ||
+            retainedNative.sha256 !== receipt.finalizedNativeStateSha256)
+            return false;
+        const sourceAttempts = validateConvergeAttemptState(JSON.parse(retainedAttempts.text), state.target, 'retained cycle pending attempt state');
+        const finalizedState = JSON.parse(retainedNative.text);
+        const finalizedLaunch = launchSchema.safeParse(finalizedState.lastLaunch);
+        if (sourceAttempts.cap !== receipt.cap || sourceAttempts.attemptsUsed !== receipt.attemptsUsed ||
+            !isDeepStrictEqual(sourceAttempts.cycle, state.cycle) ||
+            sourceAttempts.attempts.at(-1)?.attempt !== receipt.finalizedAttempt ||
+            sourceAttempts.attempts.at(-1)?.pid !== receipt.originalPid ||
+            finalizedState.target !== state.target || finalizedState.roundCap !== receipt.roundCap ||
+            !isDeepStrictEqual(finalizedState.cycle, state.cycle) || !finalizedLaunch.success ||
+            !isDeepStrictEqual(finalizedLaunch.data, launch))
+            return false;
+        const expectedManifest = { version: 1, sourceDigest: recovery.sourceDigest,
+            blockingOutcome: 'unknown', artifacts: receipt.retainedAsyncSha256.map(sha256 => ({ sha256 })).sort((a, b) => a.sha256.localeCompare(b.sha256)) };
+        if (!isDeepStrictEqual(JSON.parse(manifest.text), expectedManifest))
+            return false;
+        await Promise.all(receipt.retainedAsyncSha256.map(async (sha256) => {
+            if ((await readStable(join(common, 'rcl-converge-pending-recovery', recovery.sourceDigest, sha256))).sha256 !== sha256) {
+                throw new Error('pending_finalization_artifact_mismatch');
+            }
+        }));
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+//# sourceMappingURL=pending-finalization-receipt.js.map

package/dist/converge/pending-finalization-receipt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pending-finalization-receipt.js","sourceRoot":"","sources":["../../src/converge/pending-finalization-receipt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAA2B,MAAM,oBAAoB,CAAC;AAE3E,OAAO,EAAE,wBAAwB,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAC7F,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAE5D,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;AAClD,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7B,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACrB,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,6BAA6B,CAAC;IACnD,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC;IAC3C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC;IAC3C,WAAW,EAAE,MAAM;IACnB,YAAY,EAAE,MAAM;IACpB,sBAAsB,EAAE,MAAM;IAC9B,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE;IACpD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE;IACzC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE;IAC/C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE;IAChD,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE;IACvC,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE;IACnD,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IACrC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE;IAC1B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE;IAC9B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE;IAC5C,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE;IAC9C,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE;IAC5C,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,4BAA4B,CAAC;IACzD,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;IACpC,uBAAuB,EAAE,MAAM;IAC/B,0BAA0B,EAAE,MAAM;IAClC,wBAAwB,EAAE,MAAM;IAChC,aAAa,EAAE,MAAM;CACtB,CAAC,CAAC,MAAM,EAAE,CAAC;AAEZ,wFAAwF;AACxF,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAAC,MAAc,EAAE,KAAuB,EAC1F,MAA0B;IAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,eAAe,CAAC;IACxC,MAAM,aAAa,GAAG,QAAQ,EAAE,sBAAsB,CAAC;IACvD,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,QAAQ,IAAI,CAAC,aAAa;QAAE,OAAO,KAAK,CAAC;IAC5F,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,oCAAoC,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC,CAAC;QACnH,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7D,MAAM,EAAE,aAAa,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;QAC3C,IAAI,aAAa,KAAK,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;YAClF,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO;YACrE,OAAO,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,IAAI,OAAO,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY;YAC5F,OAAO,CAAC,sBAAsB,KAAK,aAAa,IAAI,OAAO,CAAC,gBAAgB,KAAK,MAAM,CAAC,OAAO;YAC/F,OAAO,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,IAAI,OAAO,CAAC,WAAW,KAAK,MAAM,CAAC,GAAG;YACpE,OAAO,CAAC,YAAY,KAAK,MAAM,CAAC,OAAO,IAAI,OAAO,CAAC,eAAe,KAAK,MAAM,CAAC,OAAO,GAAG,CAAC;YACzF,OAAO,CAAC,GAAG,KAAK,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,OAAO,KAAK,KAAK,CAAC,KAAK,CAAC,EAAE;YACxE,OAAO,CAAC,WAAW,KAAK,KAAK,CAAC,KAAK,CAAC,WAAW,IAAI,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,IAAI;YAClG,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC,KAAK,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;YAChF,OAAO,CAAC,uBAAuB,KAAK,QAAQ,CAAC,iBAAiB;YAC9D,OAAO,CAAC,wBAAwB,KAAK,QAAQ,CAAC,kBAAkB;YAChE,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/G,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,EAAE,oCAAoC,EAAE,aAAa,CAAC,CAAC;QACvF,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,EAAE,cAAc,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACvF,UAAU,CAAC,oBAAoB,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACtD,UAAU,CAAC,wBAAwB,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YAC1D,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,+BAA+B,EAAE,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;YACjG,UAAU,CAAC,IAAI,CAAC,YAAY,EAAE,2BAA2B,CAAC,CAAC;YAC3D,UAAU,CAAC,IAAI,CAAC,YAAY,EAAE,6BAA6B,CAAC,CAAC;SAC9D,CAAC,CAAC;QACH,IAAI,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,0BAA0B;YACpD,QAAQ,CAAC,MAAM,KAAK,OAAO,CAAC,wBAAwB;YACpD,gBAAgB,CAAC,MAAM,KAAK,OAAO,CAAC,wBAAwB;YAC5D,cAAc,CAAC,MAAM,KAAK,OAAO,CAAC,0BAA0B;YAAE,OAAO,KAAK,CAAC;QAC/E,MAAM,cAAc,GAAG,4BAA4B,CACjD,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,sCAAsC,CAAC,CAAC;QAC3F,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CAAqB,CAAC;QAC3E,MAAM,eAAe,GAAG,YAAY,CAAC,SAAS,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;QAC1E,IAAI,cAAc,CAAC,GAAG,KAAK,OAAO,CAAC,GAAG,IAAI,cAAc,CAAC,YAAY,KAAK,OAAO,CAAC,YAAY;YAC1F,CAAC,iBAAiB,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;YACrD,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC,gBAAgB;YACpE,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC,WAAW;YAC3D,cAAc,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,cAAc,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ;YACtF,CAAC,iBAAiB,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO;YACjF,CAAC,iBAAiB,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QACnE,MAAM,gBAAgB,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,QAAQ,CAAC,YAAY;YACxE,eAAe,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC3G,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACxC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC;YAAE,OAAO,KAAK,CAAC;QAClF,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAC,MAAM,EAAC,EAAE;YAC/D,IAAI,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,+BAA+B,EAAE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBACvH,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC,CAAC,CAAC,CAAC;QACJ,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}

package/dist/converge/pending-legacy-resume.d.ts

@@ -7,9 +7,10 @@ import { type NativeTargetOwnership } from './target-ownership.js';
 import { type OriginalLaunch } from '../dispatch/original-launch.js';
 import type { CapturedPreparedCouncil } from '../dispatch/capture-council.js';
 import type { CheckpointJournal } from '../dispatch/checkpoint.js';
-import type { AsyncResultReference } from '../dispatch/async-lane.js';
+import { consumeBoundAsyncHistory, type AsyncResultReference } from '../dispatch/async-lane.js';
 import { type PendingRecoverySource } from './pending-recovery-source.js';
 import { type OrdinaryPendingPackage } from './ordinary-pending-package.js';
+import type { ReviewCycleRemote } from './review-cycle.js';
 export interface PendingLegacyResumeExecution {
     context: {
         target: string;
@@ -46,6 +47,7 @@ export interface PendingLegacyResumeOptions {
     migrationPackage?: OrdinaryPendingPackage;
     preview?: boolean;
     previewMode?: 'combined' | 'finalize-only';
+    cycleRemote?: ReviewCycleRemote;
 }
 export interface PendingLegacyResumeResult {
     claim: ConvergeAttemptClaim;
@@ -75,8 +77,17 @@ export interface OrdinaryPendingFinalizeOptions {
     loadRetainedAsync: () => Promise<AsyncResultReference[]>;
     /** Fault-injection boundary for proving archive-complete/native-write recovery. */
     writeFinalizedState?: typeof writeState;
+    cycleHistory?: {
+        storeDir?: string;
+        resolveStoreDir?: () => Promise<string>;
+        targetKey: string;
+        maxResults: number;
+    };
+    /** Fault-injection boundary for proving idempotent history consumption. */
+    consumeCycleHistory?: typeof consumeBoundAsyncHistory;
+    cycleRemote?: ReviewCycleRemote;
 }
-declare const ordinaryPendingFinalizationReceiptSchema: z.ZodObject<{
+declare const ordinaryPendingFinalizationReceiptSchema: z.ZodUnion<readonly [z.ZodObject<{
     version: z.ZodLiteral<1>;
     operation: z.ZodLiteral<"ordinary-pending-finalize-only">;
     target: z.ZodString;
@@ -97,7 +108,35 @@ declare const ordinaryPendingFinalizationReceiptSchema: z.ZodObject<{
     sourceAttemptStateSha256: z.ZodString;
     finalizedNativeStateSha256: z.ZodString;
     receiptDigest: z.ZodString;
-}, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    target: z.ZodString;
+    round: z.ZodNumber;
+    headSha: z.ZodString;
+    inputSha256: z.ZodString;
+    baseSha: z.ZodString;
+    originalPid: z.ZodNumber;
+    sourceDigest: z.ZodString;
+    blockingOutcome: z.ZodLiteral<"unknown">;
+    migrationPackageSha256: z.ZodString;
+    attemptsUsed: z.ZodNumber;
+    cap: z.ZodNumber;
+    sourceNativeStateSha256: z.ZodString;
+    finalizedNativeStateSha256: z.ZodString;
+    sourceAttemptStateSha256: z.ZodString;
+    finalizedAttempt: z.ZodNumber;
+    nextFreeAttempt: z.ZodNumber;
+    version: z.ZodLiteral<2>;
+    operation: z.ZodLiteral<"cycle-pending-finalize-only">;
+    retainedAsyncSha256: z.ZodArray<z.ZodString>;
+    cycleId: z.ZodString;
+    operationId: z.ZodString;
+    repo: z.ZodString;
+    prNumber: z.ZodNumber;
+    attemptCap: z.ZodNumber;
+    roundCap: z.ZodNumber;
+    asyncAttribution: z.ZodLiteral<"cycle-history-unattributed">;
+    receiptDigest: z.ZodString;
+}, z.core.$strict>]>;
 export type OrdinaryPendingFinalizationReceipt = z.infer<typeof ordinaryPendingFinalizationReceiptSchema>;
 export interface OrdinaryPendingFinalizeResult {
     receipt: OrdinaryPendingFinalizationReceipt;

package/dist/converge/pending-legacy-resume.js

@@ -10,6 +10,7 @@ import { claimConvergeAttempt, convergeAttemptStatePath, previewConvergeAttemptS
 import { withRecoveryTarget } from './target-ownership.js';
 import { bindOriginalCouncil } from '../dispatch/original-execution.js';
 import { createOriginalLaunch } from '../dispatch/original-launch.js';
+import { consumeBoundAsyncHistory, snapshotAsyncHistory } from '../dispatch/async-lane.js';
 import { uuidv7 } from '../report/uuid.js';
 import { captureSupplementalAsync } from '../report/supplemental-async.js';
 import { stableStringify } from '../report/run-header.js';
@@ -17,8 +18,9 @@ import { readStable } from '../telemetry/recovery/files.js';
 import { serializeRecoveryDocument } from '../evidence/original-run/journal.js';
 import { prepareLockRoot } from '../evidence/original-run/lock-path.js';
 import { retainStaleFile } from './stale-report-storage.js';
-import { createPendingRecoverySource, createOrdinaryMigrationSource, pendingRecoverySourceSchema } from './pending-recovery-source.js';
+import { createPendingRecoverySource, createOrdinaryMigrationSource, createCycleMigrationSource, pendingRecoverySourceSchema } from './pending-recovery-source.js';
 import { validateOrdinaryPendingPackage } from './ordinary-pending-package.js';
+import { assertReviewCyclePair } from './fresh-review.js';
 const digestSchema = z.string().regex(/^[a-f0-9]{64}$/);
 const ordinaryPendingFinalizationReceiptBodySchema = z.object({
     version: z.literal(1),
@@ -41,18 +43,43 @@ const ordinaryPendingFinalizationReceiptBodySchema = z.object({
     sourceAttemptStateSha256: digestSchema,
     finalizedNativeStateSha256: digestSchema,
 }).strict();
-const ordinaryPendingFinalizationReceiptSchema = ordinaryPendingFinalizationReceiptBodySchema.extend({
-    receiptDigest: digestSchema,
-}).strict().superRefine((receipt, context) => {
+const cyclePendingFinalizationReceiptBodySchema = ordinaryPendingFinalizationReceiptBodySchema.omit({
+    version: true,
+    operation: true,
+    retainedAsyncSha256: true,
+}).extend({
+    version: z.literal(2),
+    operation: z.literal('cycle-pending-finalize-only'),
+    retainedAsyncSha256: z.array(digestSchema),
+    cycleId: z.string().uuid(),
+    operationId: z.string().uuid(),
+    repo: z.string().min(1),
+    prNumber: z.number().int().positive().safe(),
+    attemptCap: z.number().int().positive().safe(),
+    roundCap: z.number().int().positive().safe(),
+    asyncAttribution: z.literal('cycle-history-unattributed'),
+}).strict();
+const pendingFinalizationReceiptBodySchema = z.union([
+    ordinaryPendingFinalizationReceiptBodySchema,
+    cyclePendingFinalizationReceiptBodySchema,
+]);
+const ordinaryPendingFinalizationReceiptSchema = z.union([
+    ordinaryPendingFinalizationReceiptBodySchema.extend({ receiptDigest: digestSchema }).strict(),
+    cyclePendingFinalizationReceiptBodySchema.extend({ receiptDigest: digestSchema }).strict(),
+]).superRefine((receipt, context) => {
     const { receiptDigest, ...body } = receipt;
     if (receiptDigest !== createHash('sha256').update(stableStringify(body)).digest('hex')) {
         context.addIssue({ code: 'custom', message: 'Pending finalization receipt digest is invalid' });
     }
     if (receipt.nextFreeAttempt !== receipt.finalizedAttempt + 1 ||
         receipt.attemptsUsed !== receipt.finalizedAttempt || receipt.attemptsUsed > receipt.cap ||
-        new Set(receipt.retainedAsyncSha256).size !== receipt.retainedAsyncSha256.length) {
+        (receipt.version === 1 && (receipt.retainedAsyncSha256.length === 0 ||
+            new Set(receipt.retainedAsyncSha256).size !== receipt.retainedAsyncSha256.length))) {
         context.addIssue({ code: 'custom', message: 'Pending finalization accounting is inconsistent' });
     }
+    if (receipt.version === 2 && (receipt.attemptCap !== receipt.cap || receipt.round > receipt.roundCap)) {
+        context.addIssue({ code: 'custom', message: 'Cycle pending finalization accounting is inconsistent' });
+    }
 });
 function fail(code) { throw new Error(`pending_legacy_resume_${code}`); }
 function defaultOwnerAlive(pid) {
@@ -90,12 +117,18 @@ function sourceFromFinalized(target, launch, attempts, migrationPackage) {
         const migrationPackageSha256 = createHash('sha256').update(stableStringify(migrationPackage)).digest('hex');
         if (migrationPackageSha256 !== recovery.migrationPackageSha256)
             fail('finalization_mismatch');
-        const source = createOrdinaryMigrationSource({ version: 1, target, headSha: launch.headSha,
+        const common = { target, headSha: launch.headSha,
             inputSha256: launch.inputSha256, pendingAttempt: launch.attempt, round: launch.round,
             originalPid: launch.pid, startedAt: launch.startedAt, blockingOutcome: recovery.blockingOutcome,
             reason: recovery.reason, nativeStateSha256: recovery.nativeStateSha256,
             attemptStateSha256: recovery.attemptStateSha256, retainedAsyncSha256: recovery.retainedAsyncSha256,
-            migrationPackageSha256 });
+            migrationPackageSha256 };
+        const source = migrationPackage.version === 2
+            ? createCycleMigrationSource({ version: 2, ...common, cycle: migrationPackage.cycle,
+                cycleId: migrationPackage.cycle.id, operationId: migrationPackage.cycle.operationId,
+                attemptCap: migrationPackage.attemptCap, roundCap: migrationPackage.roundCap,
+                attemptsUsed: migrationPackage.attemptsUsed, asyncAttribution: 'cycle-history-unattributed' })
+            : createOrdinaryMigrationSource({ version: 1, ...common });
         if (source.digest !== recovery.sourceDigest)
             fail('finalization_mismatch');
         return source;
@@ -112,16 +145,47 @@ function sourceFromFinalized(target, launch, attempts, migrationPackage) {
         digest: recovery.sourceDigest,
     });
 }
+function packageExpected(state, attempts, current, input) {
+    return {
+        target: input.target, headSha: current.headSha, inputSha256: current.inputSha256,
+        baseSha: input.baseSha, attempt: current.attempt, round: current.round, pid: current.pid,
+        retainedAsyncSha256: input.retainedAsyncSha256,
+        ...(state.cycle ? { cycle: state.cycle, attemptCap: attempts.cap,
+            roundCap: state.roundCap, attemptsUsed: attempts.attemptsUsed } : {}),
+    };
+}
+async function assertCycleRecovery(options, state, attempts, packet) {
+    if (!state.cycle) {
+        if (packet.version === 2)
+            fail('cycle_mismatch');
+        return;
+    }
+    await assertReviewCyclePair(options.gitCommonDir, options.target, state.cycle);
+    if (packet.version !== 2 || !isDeepStrictEqual(packet.cycle, state.cycle))
+        fail('cycle_mismatch');
+    const remote = options.cycleRemote;
+    if (!remote || remote.repo.toLowerCase() !== state.cycle.repo ||
+        remote.prNumber !== state.cycle.prNumber || remote.url !== state.cycle.url)
+        fail('cycle_remote_mismatch');
+    if ((await remote.current())?.id !== state.cycle.id)
+        fail('cycle_superseded');
+    if (attempts.cap !== packet.attemptCap || state.roundCap !== packet.roundCap ||
+        attempts.attemptsUsed !== packet.attemptsUsed)
+        fail('cycle_accounting_mismatch');
+}
 function validateOptions(input) {
     const hashes = input?.retainedAsyncSha256;
+    const cycleFinalizePreview = input?.migrationPackage?.version === 2 &&
+        input.previewMode === 'finalize-only';
     if (!input || typeof input.gitCommonDir !== 'string' || typeof input.target !== 'string' || !input.target.trim() ||
         !/^[a-f0-9]{40}$/.test(input.headSha ?? '') ||
         (input.migrationPackage && !/^[a-f0-9]{40}$/.test(input.baseSha ?? '')) ||
         !/^[a-f0-9]{64}$/.test(input.pendingInputSha256 ?? '') ||
         !/^[a-f0-9]{64}$/.test(input.recoveryInputSha256 ?? '') ||
         typeof input.retryReason !== 'string' || !input.retryReason.trim() || input.retryReason.length > 500 ||
-        !Array.isArray(hashes) || hashes.length === 0 || hashes.some(value => !/^[a-f0-9]{64}$/.test(value)) ||
-        new Set(hashes).size !== hashes.length || typeof input.validate !== 'function' ||
+        !Array.isArray(hashes) || hashes.some(value => !/^[a-f0-9]{64}$/.test(value)) ||
+        (!cycleFinalizePreview && (hashes.length === 0 || new Set(hashes).size !== hashes.length)) ||
+        typeof input.validate !== 'function' ||
         typeof input.run !== 'function' || typeof input.loadRetainedAsync !== 'function' ||
         (!input.migrationPackage && !input.legacyRetry) ||
         !Number.isSafeInteger(input.maxAttempts) || input.maxAttempts < 1 ||
@@ -134,18 +198,48 @@ function validateOptions(input) {
 }
 function validateFinalizeOptions(input) {
     const hashes = input?.retainedAsyncSha256;
+    const cycleBacked = input?.migrationPackage?.version === 2;
+    const hasStoreDir = typeof input?.cycleHistory?.storeDir === 'string' &&
+        input.cycleHistory.storeDir.trim().length > 0;
+    const hasStoreResolver = typeof input?.cycleHistory?.resolveStoreDir === 'function';
     if (!input || typeof input.gitCommonDir !== 'string' || typeof input.target !== 'string' || !input.target.trim() ||
         !/^[a-f0-9]{40}$/.test(input.headSha ?? '') || !/^[a-f0-9]{40}$/.test(input.baseSha ?? '') ||
         !/^[a-f0-9]{64}$/.test(input.pendingInputSha256 ?? '') ||
         !/^[a-f0-9]{64}$/.test(input.nativeStateSha256 ?? '') ||
         !/^[a-f0-9]{64}$/.test(input.attemptStateSha256 ?? '') ||
-        !Array.isArray(hashes) || hashes.length === 0 || hashes.some(value => !/^[a-f0-9]{64}$/.test(value)) ||
-        new Set(hashes).size !== hashes.length || typeof input.loadRetainedAsync !== 'function' ||
+        !Array.isArray(hashes) || hashes.some(value => !/^[a-f0-9]{64}$/.test(value)) ||
+        (!cycleBacked && (hashes.length === 0 || new Set(hashes).size !== hashes.length)) ||
+        typeof input.loadRetainedAsync !== 'function' ||
         (input.writeFinalizedState !== undefined && typeof input.writeFinalizedState !== 'function') ||
+        (input.consumeCycleHistory !== undefined && typeof input.consumeCycleHistory !== 'function') ||
+        (cycleBacked && (!input.cycleHistory || hasStoreDir === hasStoreResolver ||
+            typeof input.cycleHistory.targetKey !== 'string' || !input.cycleHistory.targetKey.trim() ||
+            !Number.isSafeInteger(input.cycleHistory.maxResults) || input.cycleHistory.maxResults < 1)) ||
         !input.migrationPackage || !Number.isSafeInteger(input.maxAttempts) || input.maxAttempts < 1) {
         fail('invalid_input');
     }
 }
+async function reconcileFinalizedCycleHistory(options, mode) {
+    if (options.migrationPackage.version !== 2)
+        return;
+    const history = options.cycleHistory;
+    let storeDir;
+    try {
+        storeDir = history.storeDir ?? await history.resolveStoreDir();
+    }
+    catch (error) {
+        if (mode !== 'new-receipt' && error.code === 'ENOENT')
+            return;
+        throw error;
+    }
+    if (mode === 'advanced-replay') {
+        const live = await snapshotAsyncHistory(storeDir, history.targetKey, history.maxResults);
+        if (live.artifacts.length > 0)
+            fail('cycle_history_ambiguous_after_successor');
+        return;
+    }
+    await (options.consumeCycleHistory ?? consumeBoundAsyncHistory)(storeDir, history.targetKey, options.retainedAsyncSha256, history.maxResults);
+}
 async function archiveAsync(common, source, artifacts, packet) {
     validateAsyncArtifacts(source, artifacts, packet);
     const directory = await prepareLockRoot(join(common, 'rcl-converge-pending-recovery', source.digest));
@@ -269,7 +363,7 @@ async function assertFinalizedStateMatchesReceipt(common, receipt) {
     return { native: native.raw, attempts: attempts.raw, exact: false };
 }
 function createFinalizationReceipt(input) {
-    const body = ordinaryPendingFinalizationReceiptBodySchema.parse(input);
+    const body = pendingFinalizationReceiptBodySchema.parse(input);
     return ordinaryPendingFinalizationReceiptSchema.parse({
         ...body,
         receiptDigest: createHash('sha256').update(stableStringify(body)).digest('hex'),
@@ -284,10 +378,16 @@ function assertReceiptMatchesInput(receipt, input, migrationPackageSha256) {
         receipt.retainedAsyncSha256.join(',') !== [...input.retainedAsyncSha256].sort().join(',')) {
         fail('finalization_receipt_mismatch');
     }
+    if (receipt.version === 2 && (input.migrationPackage.cycle?.id !== receipt.cycleId ||
+        input.migrationPackage.cycle.operationId !== receipt.operationId))
+        fail('finalization_receipt_mismatch');
     return validateOrdinaryPendingPackage(input.migrationPackage, {
         target: receipt.target, headSha: receipt.headSha, inputSha256: receipt.inputSha256,
         baseSha: receipt.baseSha, attempt: receipt.finalizedAttempt, round: receipt.round,
         pid: receipt.originalPid, retainedAsyncSha256: receipt.retainedAsyncSha256,
+        ...(receipt.version === 2 ? { cycle: input.migrationPackage.cycle,
+            attemptCap: receipt.attemptCap, roundCap: receipt.roundCap,
+            attemptsUsed: receipt.attemptsUsed } : {}),
     });
 }
 async function readArchivedAsync(common, sourceDigest, retainedAsyncSha256) {
@@ -328,6 +428,13 @@ export async function finalizeOrdinaryPendingLaunch(input) {
         if (existingReceipt) {
             const packet = assertReceiptMatchesInput(existingReceipt, options, migrationPackageSha256);
             const state = await assertFinalizedStateMatchesReceipt(options.gitCommonDir, existingReceipt);
+            const [currentRun, currentAttempts] = await Promise.all([
+                loadConvergeRunState(options.gitCommonDir, options.target),
+                previewConvergeAttemptState(options.gitCommonDir, options.target),
+            ]);
+            if (!currentRun || !currentAttempts)
+                fail('finalization_receipt_state_mismatch');
+            await assertCycleRecovery(options, currentRun, currentAttempts, packet.version === 2 ? { ...packet, attemptsUsed: currentAttempts.attemptsUsed } : packet);
             validateAsyncArtifacts({ retainedAsyncSha256: existingReceipt.retainedAsyncSha256 }, await readArchivedAsync(options.gitCommonDir, existingReceipt.sourceDigest, existingReceipt.retainedAsyncSha256), packet);
             const snapshotsPresent = await finalizationSnapshotsPresent(options.gitCommonDir, existingReceipt);
             if (!snapshotsPresent) {
@@ -335,6 +442,7 @@ export async function finalizeOrdinaryPendingLaunch(input) {
                     fail('finalization_receipt_state_mismatch');
                 await retainFinalizationSnapshots(options.gitCommonDir, existingReceipt, state.attempts, state.native);
             }
+            await reconcileFinalizedCycleHistory(options, state.exact ? 'exact-replay' : 'advanced-replay');
             return { receipt: existingReceipt, reusedReceipt: true,
                 snapshotBindingUpgraded: !snapshotsPresent };
         }
@@ -351,11 +459,8 @@ export async function finalizeOrdinaryPendingLaunch(input) {
             current.inputSha256 !== options.pendingInputSha256 || !['pending', 'failed'].includes(current.status)) {
             fail('launch_mismatch');
         }
-        const packet = validateOrdinaryPendingPackage(options.migrationPackage, {
-            target: options.target, headSha: current.headSha, inputSha256: current.inputSha256,
-            baseSha: options.baseSha, attempt: current.attempt, round: current.round, pid: current.pid,
-            retainedAsyncSha256: options.retainedAsyncSha256,
-        });
+        const packet = validateOrdinaryPendingPackage(options.migrationPackage, packageExpected(state, attempts, current, options));
+        await assertCycleRecovery(options, state, attempts, packet);
         let source;
         let sourceAttemptStateBytes;
         if (current.status === 'pending') {
@@ -366,12 +471,18 @@ export async function finalizeOrdinaryPendingLaunch(input) {
                 readStable(convergeAttemptStatePath(options.gitCommonDir, options.target)),
             ]);
             sourceAttemptStateBytes = attemptBytes.raw;
-            source = createOrdinaryMigrationSource({ version: 1, target: options.target,
+            const commonSource = { target: options.target,
                 headSha: current.headSha, inputSha256: current.inputSha256, pendingAttempt: current.attempt,
                 round: current.round, originalPid: current.pid, startedAt: current.startedAt,
                 blockingOutcome: 'unknown', reason: 'coordinator_exited_without_durable_blocking_receipts',
                 nativeStateSha256: nativeBytes.sha256, attemptStateSha256: attemptBytes.sha256,
-                retainedAsyncSha256: options.retainedAsyncSha256, migrationPackageSha256 });
+                retainedAsyncSha256: options.retainedAsyncSha256, migrationPackageSha256 };
+            source = packet.version === 2
+                ? createCycleMigrationSource({ version: 2, ...commonSource, cycle: state.cycle,
+                    cycleId: state.cycle.id, operationId: state.cycle.operationId,
+                    attemptCap: attempts.cap, roundCap: state.roundCap, attemptsUsed: attempts.attemptsUsed,
+                    asyncAttribution: 'cycle-history-unattributed' })
+                : createOrdinaryMigrationSource({ version: 1, ...commonSource });
         }
         else {
             source = sourceFromFinalized(options.target, current, attempts, packet);
@@ -399,7 +510,7 @@ export async function finalizeOrdinaryPendingLaunch(input) {
         // Construct and validate the exact receipt before the first write. The
         // native serializer is shared with writeState, so its post-state digest is
         // known without publishing a partially validated operation.
-        const receipt = createFinalizationReceipt({ version: 1, operation: 'ordinary-pending-finalize-only',
+        const receiptCommon = {
             target: options.target, headSha: current.headSha, baseSha: options.baseSha,
             inputSha256: current.inputSha256, sourceDigest: source.digest, migrationPackageSha256,
             finalizedAttempt: current.attempt, round: current.round, originalPid: current.pid,
@@ -407,7 +518,15 @@ export async function finalizeOrdinaryPendingLaunch(input) {
             blockingOutcome: 'unknown', retainedAsyncSha256: options.retainedAsyncSha256,
             sourceNativeStateSha256: source.nativeStateSha256,
             sourceAttemptStateSha256: source.attemptStateSha256,
-            finalizedNativeStateSha256 });
+            finalizedNativeStateSha256
+        };
+        const receipt = packet.version === 2
+            ? createFinalizationReceipt({ version: 2, operation: 'cycle-pending-finalize-only', ...receiptCommon,
+                cycleId: state.cycle.id, operationId: state.cycle.operationId,
+                repo: state.cycle.repo, prNumber: state.cycle.prNumber,
+                attemptCap: attempts.cap, roundCap: state.roundCap,
+                asyncAttribution: 'cycle-history-unattributed' })
+            : createFinalizationReceipt({ version: 1, operation: 'ordinary-pending-finalize-only', ...receiptCommon });
         if (current.status === 'pending') {
             await preflightConvergeRunStateWrite(options.gitCommonDir, state, ownership);
         }
@@ -424,6 +543,10 @@ export async function finalizeOrdinaryPendingLaunch(input) {
         const finalizedAttempts = await readStable(convergeAttemptStatePath(options.gitCommonDir, options.target));
         sourceAttemptStateBytes ??= finalizedAttempts.raw;
         await retainFinalizationSnapshots(options.gitCommonDir, receipt, sourceAttemptStateBytes, finalizedNative.raw);
+        // Cycle history is consumed while the target remains recovery-locked and
+        // before the terminal receipt makes a successor eligible. Partial cleanup
+        // is safe to retry because consumption validates occurrence subsets.
+        await reconcileFinalizedCycleHistory(options, 'new-receipt');
         await retainFinalizationReceipt(options.gitCommonDir, receipt);
         return { receipt, reusedReceipt: false, snapshotBindingUpgraded: false };
     });
@@ -434,12 +557,12 @@ function validateAsyncArtifacts(source, artifacts, packet) {
     if (expected.length !== actual.length || expected.some((item, index) => item !== actual[index])) {
         fail('async_binding_mismatch');
     }
+    const actualDescriptors = [];
     for (const artifact of artifacts) {
         const bytes = Buffer.from(artifact.bytesBase64, 'base64');
         if (createHash('sha256').update(bytes).digest('hex') !== artifact.sha256)
             fail('async_binding_mismatch');
         if (packet) {
-            const descriptor = packet.retainedAsync.find(item => item.sha256 === artifact.sha256);
             let row;
             try {
                 row = JSON.parse(bytes.toString('utf8'));
@@ -447,9 +570,15 @@ function validateAsyncArtifacts(source, artifacts, packet) {
             catch {
                 fail('async_binding_mismatch');
             }
-            if (!descriptor || row.model !== descriptor.model || row.role !== descriptor.role ||
-                row.provider !== descriptor.provider)
-                fail('async_binding_mismatch');
+            actualDescriptors.push(JSON.stringify([artifact.sha256, row.model, row.role, row.provider]));
+        }
+    }
+    if (packet) {
+        const expectedDescriptors = packet.retainedAsync.map(item => JSON.stringify([item.sha256, item.model, item.role, item.provider])).sort();
+        actualDescriptors.sort();
+        if (expectedDescriptors.length !== actualDescriptors.length ||
+            expectedDescriptors.some((item, index) => item !== actualDescriptors[index])) {
+            fail('async_binding_mismatch');
         }
     }
 }
@@ -481,23 +610,26 @@ export async function previewOrdinaryPendingLaunch(input) {
         }
         if ((options.ownerAlive ?? defaultOwnerAlive)(current.pid))
             fail('owner_alive');
-        const packet = validateOrdinaryPendingPackage(options.migrationPackage, {
-            target: options.target, headSha: current.headSha, inputSha256: current.inputSha256,
-            baseSha: options.baseSha, attempt: current.attempt, round: current.round, pid: current.pid,
-            retainedAsyncSha256: options.retainedAsyncSha256,
-        });
+        const packet = validateOrdinaryPendingPackage(options.migrationPackage, packageExpected(state, attempts, current, options));
+        await assertCycleRecovery(options, state, attempts, packet);
         const [nativeBytes, attemptBytes] = await Promise.all([
             readStable(convergeRunStatePath(options.gitCommonDir, options.target)),
             readStable(convergeAttemptStatePath(options.gitCommonDir, options.target)),
         ]);
-        const source = createOrdinaryMigrationSource({ version: 1, target: options.target,
+        const commonSource = { target: options.target,
             headSha: current.headSha, inputSha256: current.inputSha256, pendingAttempt: current.attempt,
             round: current.round, originalPid: current.pid, startedAt: current.startedAt,
             blockingOutcome: 'unknown', reason: 'coordinator_exited_without_durable_blocking_receipts',
             nativeStateSha256: nativeBytes.sha256, attemptStateSha256: attemptBytes.sha256,
             retainedAsyncSha256: options.retainedAsyncSha256,
             migrationPackageSha256: createHash('sha256').update(stableStringify(packet)).digest('hex'),
-        });
+        };
+        const source = packet.version === 2
+            ? createCycleMigrationSource({ version: 2, ...commonSource, cycle: state.cycle,
+                cycleId: state.cycle.id, operationId: state.cycle.operationId,
+                attemptCap: attempts.cap, roundCap: state.roundCap, attemptsUsed: attempts.attemptsUsed,
+                asyncAttribution: 'cycle-history-unattributed' })
+            : createOrdinaryMigrationSource({ version: 1, ...commonSource });
         validateAsyncArtifacts(source, await options.loadRetainedAsync(), packet);
         return { source, nativeStateSha256: nativeBytes.sha256, attemptStateSha256: attemptBytes.sha256,
             attemptsUsed: attempts.attemptsUsed, cap: attempts.cap, nextAttempt: current.attempt + 1 };