@allocator-one/rcl 4.5.4 → 4.5.6

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (64) hide show
  1. package/README.md +5 -4
  2. package/dist/converge/attempt-budget.d.ts +14 -0
  3. package/dist/converge/attempt-budget.js +216 -1
  4. package/dist/converge/attempt-budget.js.map +1 -1
  5. package/dist/converge/launch-guard.js +23 -6
  6. package/dist/converge/launch-guard.js.map +1 -1
  7. package/dist/converge/launch-record.d.ts +36 -0
  8. package/dist/converge/launch-record.js +9 -3
  9. package/dist/converge/launch-record.js.map +1 -1
  10. package/dist/converge/legacy-launch-health.d.ts +36 -0
  11. package/dist/converge/native-lock.d.ts +3 -1
  12. package/dist/converge/native-lock.js +4 -4
  13. package/dist/converge/native-lock.js.map +1 -1
  14. package/dist/converge/ordinary-pending-export.d.ts +3 -0
  15. package/dist/converge/ordinary-pending-export.js +64 -17
  16. package/dist/converge/ordinary-pending-export.js.map +1 -1
  17. package/dist/converge/ordinary-pending-package.d.ts +11 -0
  18. package/dist/converge/ordinary-pending-package.js +18 -4
  19. package/dist/converge/ordinary-pending-package.js.map +1 -1
  20. package/dist/converge/pending-finalization-receipt.d.ts +4 -0
  21. package/dist/converge/pending-finalization-receipt.js +102 -0
  22. package/dist/converge/pending-finalization-receipt.js.map +1 -0
  23. package/dist/converge/pending-legacy-resume.d.ts +48 -3
  24. package/dist/converge/pending-legacy-resume.js +215 -35
  25. package/dist/converge/pending-legacy-resume.js.map +1 -1
  26. package/dist/converge/pending-recovery-source.d.ts +114 -0
  27. package/dist/converge/pending-recovery-source.js +36 -1
  28. package/dist/converge/pending-recovery-source.js.map +1 -1
  29. package/dist/converge/process-identity.d.ts +51 -0
  30. package/dist/converge/process-identity.js +190 -0
  31. package/dist/converge/process-identity.js.map +1 -0
  32. package/dist/converge/recovery-launch.js +39 -17
  33. package/dist/converge/recovery-launch.js.map +1 -1
  34. package/dist/converge/recovery-state.d.ts +55 -0
  35. package/dist/converge/recovery-state.js +306 -0
  36. package/dist/converge/recovery-state.js.map +1 -0
  37. package/dist/converge/run-state.d.ts +39 -1
  38. package/dist/converge/run-state.js +246 -18
  39. package/dist/converge/run-state.js.map +1 -1
  40. package/dist/converge/semantic-state.d.ts +55 -0
  41. package/dist/converge/semantic-state.js +666 -0
  42. package/dist/converge/semantic-state.js.map +1 -0
  43. package/dist/converge/stale-report.d.ts +36 -0
  44. package/dist/dispatch/async-lane.d.ts +12 -0
  45. package/dist/dispatch/async-lane.js +98 -12
  46. package/dist/dispatch/async-lane.js.map +1 -1
  47. package/dist/evidence/claim-recovery/validation/native-state.d.ts +22 -0
  48. package/dist/evidence/claim-recovery/validation/native-state.js +91 -9
  49. package/dist/evidence/claim-recovery/validation/native-state.js.map +1 -1
  50. package/dist/evidence/claim-recovery/validation/obligations.js +2 -1
  51. package/dist/evidence/claim-recovery/validation/obligations.js.map +1 -1
  52. package/dist/evidence/claim-recovery/validation/semantic-validation.d.ts +11 -0
  53. package/dist/evidence/claim-recovery/validation/semantic-validation.js +105 -28
  54. package/dist/evidence/claim-recovery/validation/semantic-validation.js.map +1 -1
  55. package/dist/evidence/claim-recovery/validation/types.d.ts +10 -0
  56. package/dist/evidence/original-run/lock-scope.d.ts +12 -6
  57. package/dist/evidence/original-run/lock-scope.js +12 -9
  58. package/dist/evidence/original-run/lock-scope.js.map +1 -1
  59. package/dist/index.js +59 -13
  60. package/dist/index.js.map +1 -1
  61. package/dist/telemetry/recovery/files.d.ts +4 -0
  62. package/dist/telemetry/recovery/files.js +15 -5
  63. package/dist/telemetry/recovery/files.js.map +1 -1
  64. package/package.json +1 -1
@@ -1,4 +1,5 @@
1
1
  import { guardedInputSha256, stableStringify } from '../report/run-header.js';
2
+ import { isDeepStrictEqual } from 'node:util';
2
3
  export function validateOrdinaryPendingPackage(value, expected) {
3
4
  const input = value?.guardedInput;
4
5
  const specPresent = !!input && Object.hasOwn(input, 'spec');
@@ -15,16 +16,29 @@ export function validateOrdinaryPendingPackage(value, expected) {
15
16
  return item && typeof item === 'object' && typeof role.name === 'string' && role.name.length > 0;
16
17
  }) &&
17
18
  (!specPresent || (input.spec && typeof input.spec === 'object'));
18
- 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) ||
19
+ const cycleBacked = expected.cycle !== undefined;
20
+ const cycleFieldsValid = cycleBacked
21
+ ? value.version === 2 && isDeepStrictEqual(value.cycle, expected.cycle) &&
22
+ value.attemptCap === expected.attemptCap && value.roundCap === expected.roundCap &&
23
+ value.attemptsUsed === expected.attemptsUsed && value.attemptsUsed === value.attempt &&
24
+ value.asyncAttribution === 'cycle-history-unattributed'
25
+ : value.version === undefined && value.cycle === undefined && value.attemptCap === undefined &&
26
+ value.roundCap === undefined && value.attemptsUsed === undefined && value.asyncAttribution === undefined;
27
+ 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) ||
19
28
  !Number.isSafeInteger(value.attempt) || value.attempt < 1 || !Number.isSafeInteger(value.round) || value.round < 1 ||
20
29
  !Number.isSafeInteger(value.pid) || value.pid < 1 || !input || Object.keys(input).sort().join(',') !== keys.join(',') ||
21
30
  !Array.isArray(value.retainedAsyncSha256) || [...value.retainedAsyncSha256].sort().join(',') !== [...expected.retainedAsyncSha256].sort().join(',') || input.head !== value.headSha || guardedInputSha256(input) !== expected.inputSha256)
22
31
  throw new Error('ordinary_pending_package_mismatch');
23
- if (!structuredInput || !/^[a-f0-9]{40}$/.test(value.headSha) || !new Set(value.retainedAsyncSha256).size ||
24
- new Set(value.retainedAsyncSha256).size !== value.retainedAsyncSha256.length ||
32
+ const cycleHistory = value.version === 2;
33
+ const descriptorHashes = Array.isArray(value.retainedAsync)
34
+ ? value.retainedAsync.map(item => item?.sha256).sort() : [];
35
+ if (!structuredInput || !/^[a-f0-9]{40}$/.test(value.headSha) ||
36
+ (!cycleHistory && (!new Set(value.retainedAsyncSha256).size ||
37
+ new Set(value.retainedAsyncSha256).size !== value.retainedAsyncSha256.length)) ||
25
38
  value.retainedAsyncSha256.some(hash => !digest(hash)) || !Array.isArray(value.retainedAsync) ||
26
39
  value.retainedAsync.length !== value.retainedAsyncSha256.length ||
27
- new Set(value.retainedAsync.map(item => item?.sha256)).size !== value.retainedAsync.length ||
40
+ (!cycleHistory && new Set(value.retainedAsync.map(item => item?.sha256)).size !== value.retainedAsync.length) ||
41
+ descriptorHashes.join(',') !== [...value.retainedAsyncSha256].sort().join(',') ||
28
42
  value.retainedAsync.some(item => !item || !digest(item.sha256) || !value.retainedAsyncSha256.includes(item.sha256) ||
29
43
  typeof item.model !== 'string' || !item.model || typeof item.role !== 'string' || !item.role ||
30
44
  typeof item.provider !== 'string' || !item.provider || item.lane !== 'async' ||
@@ -1 +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"}
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;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"}
@@ -0,0 +1,4 @@
1
+ import { type GuardedLaunchState } from './launch-record.js';
2
+ import type { ConvergeRunState } from './run-state.js';
3
+ /** Authenticate the one terminal transition that disposes an unknown cycle dispatch. */
4
+ export declare function verifyCyclePendingFinalization(common: string, state: ConvergeRunState, launch: GuardedLaunchState): Promise<boolean>;
@@ -0,0 +1,102 @@
1
+ import { createHash } from 'node:crypto';
2
+ import { join } from 'node:path';
3
+ import { isDeepStrictEqual } from 'node:util';
4
+ import { z } from 'zod';
5
+ import { launchSchema } from './launch-record.js';
6
+ import { convergeAttemptStatePath, validateConvergeAttemptState } from './attempt-budget.js';
7
+ import { convergeRunStatePath } from './run-state.js';
8
+ import { stableStringify } from '../report/run-header.js';
9
+ import { readStable } from '../telemetry/recovery/files.js';
10
+ const digest = z.string().regex(/^[a-f0-9]{64}$/);
11
+ const receiptSchema = z.object({
12
+ version: z.literal(2),
13
+ operation: z.literal('cycle-pending-finalize-only'),
14
+ target: z.string().min(1),
15
+ headSha: z.string().regex(/^[a-f0-9]{40}$/),
16
+ baseSha: z.string().regex(/^[a-f0-9]{40}$/),
17
+ inputSha256: digest,
18
+ sourceDigest: digest,
19
+ migrationPackageSha256: digest,
20
+ finalizedAttempt: z.number().int().positive().safe(),
21
+ round: z.number().int().positive().safe(),
22
+ originalPid: z.number().int().positive().safe(),
23
+ attemptsUsed: z.number().int().positive().safe(),
24
+ cap: z.number().int().positive().safe(),
25
+ nextFreeAttempt: z.number().int().positive().safe(),
26
+ blockingOutcome: z.literal('unknown'),
27
+ cycleId: z.string().uuid(),
28
+ operationId: z.string().uuid(),
29
+ repo: z.string().min(1),
30
+ prNumber: z.number().int().positive().safe(),
31
+ attemptCap: z.number().int().positive().safe(),
32
+ roundCap: z.number().int().positive().safe(),
33
+ asyncAttribution: z.literal('cycle-history-unattributed'),
34
+ retainedAsyncSha256: z.array(digest),
35
+ sourceNativeStateSha256: digest,
36
+ finalizedNativeStateSha256: digest,
37
+ sourceAttemptStateSha256: digest,
38
+ receiptDigest: digest,
39
+ }).strict();
40
+ /** Authenticate the one terminal transition that disposes an unknown cycle dispatch. */
41
+ export async function verifyCyclePendingFinalization(common, state, launch) {
42
+ const recovery = launch.pendingRecovery;
43
+ const packageDigest = recovery?.migrationPackageSha256;
44
+ if (!state.cycle || launch.status !== 'failed' || !recovery || !packageDigest)
45
+ return false;
46
+ try {
47
+ const stored = await readStable(join(common, 'rcl-converge-pending-finalizations', packageDigest, 'receipt.json'));
48
+ const receipt = receiptSchema.parse(JSON.parse(stored.text));
49
+ const { receiptDigest, ...body } = receipt;
50
+ if (receiptDigest !== createHash('sha256').update(stableStringify(body)).digest('hex') ||
51
+ receipt.target !== state.target || receipt.headSha !== launch.headSha ||
52
+ receipt.inputSha256 !== launch.inputSha256 || receipt.sourceDigest !== recovery.sourceDigest ||
53
+ receipt.migrationPackageSha256 !== packageDigest || receipt.finalizedAttempt !== launch.attempt ||
54
+ receipt.round !== launch.round || receipt.originalPid !== launch.pid ||
55
+ receipt.attemptsUsed !== launch.attempt || receipt.nextFreeAttempt !== launch.attempt + 1 ||
56
+ receipt.cap !== receipt.attemptCap || receipt.cycleId !== state.cycle.id ||
57
+ receipt.operationId !== state.cycle.operationId || receipt.repo.toLowerCase() !== state.cycle.repo ||
58
+ receipt.prNumber !== state.cycle.prNumber || receipt.roundCap !== state.roundCap ||
59
+ receipt.sourceNativeStateSha256 !== recovery.nativeStateSha256 ||
60
+ receipt.sourceAttemptStateSha256 !== recovery.attemptStateSha256 ||
61
+ receipt.retainedAsyncSha256.join(',') !== [...recovery.retainedAsyncSha256].sort().join(','))
62
+ return false;
63
+ const retainedRoot = join(common, 'rcl-converge-pending-finalizations', packageDigest);
64
+ const [native, attempts, manifest, retainedAttempts, retainedNative] = await Promise.all([
65
+ readStable(convergeRunStatePath(common, state.target)),
66
+ readStable(convergeAttemptStatePath(common, state.target)),
67
+ readStable(join(common, 'rcl-converge-pending-recovery', recovery.sourceDigest, 'manifest.json')),
68
+ readStable(join(retainedRoot, 'source-attempt-state.json')),
69
+ readStable(join(retainedRoot, 'finalized-native-state.json')),
70
+ ]);
71
+ if (native.sha256 !== receipt.finalizedNativeStateSha256 ||
72
+ attempts.sha256 !== receipt.sourceAttemptStateSha256 ||
73
+ retainedAttempts.sha256 !== receipt.sourceAttemptStateSha256 ||
74
+ retainedNative.sha256 !== receipt.finalizedNativeStateSha256)
75
+ return false;
76
+ const sourceAttempts = validateConvergeAttemptState(JSON.parse(retainedAttempts.text), state.target, 'retained cycle pending attempt state');
77
+ const finalizedState = JSON.parse(retainedNative.text);
78
+ const finalizedLaunch = launchSchema.safeParse(finalizedState.lastLaunch);
79
+ if (sourceAttempts.cap !== receipt.cap || sourceAttempts.attemptsUsed !== receipt.attemptsUsed ||
80
+ !isDeepStrictEqual(sourceAttempts.cycle, state.cycle) ||
81
+ sourceAttempts.attempts.at(-1)?.attempt !== receipt.finalizedAttempt ||
82
+ sourceAttempts.attempts.at(-1)?.pid !== receipt.originalPid ||
83
+ finalizedState.target !== state.target || finalizedState.roundCap !== receipt.roundCap ||
84
+ !isDeepStrictEqual(finalizedState.cycle, state.cycle) || !finalizedLaunch.success ||
85
+ !isDeepStrictEqual(finalizedLaunch.data, launch))
86
+ return false;
87
+ const expectedManifest = { version: 1, sourceDigest: recovery.sourceDigest,
88
+ blockingOutcome: 'unknown', artifacts: receipt.retainedAsyncSha256.map(sha256 => ({ sha256 })).sort((a, b) => a.sha256.localeCompare(b.sha256)) };
89
+ if (!isDeepStrictEqual(JSON.parse(manifest.text), expectedManifest))
90
+ return false;
91
+ await Promise.all(receipt.retainedAsyncSha256.map(async (sha256) => {
92
+ if ((await readStable(join(common, 'rcl-converge-pending-recovery', recovery.sourceDigest, sha256))).sha256 !== sha256) {
93
+ throw new Error('pending_finalization_artifact_mismatch');
94
+ }
95
+ }));
96
+ return true;
97
+ }
98
+ catch {
99
+ return false;
100
+ }
101
+ }
102
+ //# sourceMappingURL=pending-finalization-receipt.js.map
@@ -0,0 +1 @@
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"}
@@ -7,9 +7,10 @@ import { type NativeTargetOwnership } from './target-ownership.js';
7
7
  import { type OriginalLaunch } from '../dispatch/original-launch.js';
8
8
  import type { CapturedPreparedCouncil } from '../dispatch/capture-council.js';
9
9
  import type { CheckpointJournal } from '../dispatch/checkpoint.js';
10
- import type { AsyncResultReference } from '../dispatch/async-lane.js';
10
+ import { consumeBoundAsyncHistory, type AsyncResultReference } from '../dispatch/async-lane.js';
11
11
  import { type PendingRecoverySource } from './pending-recovery-source.js';
12
12
  import { type OrdinaryPendingPackage } from './ordinary-pending-package.js';
13
+ import type { ReviewCycleRemote } from './review-cycle.js';
13
14
  export interface PendingLegacyResumeExecution {
14
15
  context: {
15
16
  target: string;
@@ -46,6 +47,9 @@ export interface PendingLegacyResumeOptions {
46
47
  migrationPackage?: OrdinaryPendingPackage;
47
48
  preview?: boolean;
48
49
  previewMode?: 'combined' | 'finalize-only';
50
+ cycleRemote?: ReviewCycleRemote;
51
+ /** Exact live PR head independently authenticated for a historical cycle launch. */
52
+ currentPrHeadSha?: string;
49
53
  }
50
54
  export interface PendingLegacyResumeResult {
51
55
  claim: ConvergeAttemptClaim;
@@ -59,6 +63,8 @@ export interface OrdinaryPendingPreview {
59
63
  attemptsUsed: number;
60
64
  cap: number;
61
65
  nextAttempt: number;
66
+ currentPrHeadSha?: string;
67
+ previewSha256?: string;
62
68
  }
63
69
  export interface OrdinaryPendingFinalizeOptions {
64
70
  gitCommonDir: string;
@@ -75,8 +81,19 @@ export interface OrdinaryPendingFinalizeOptions {
75
81
  loadRetainedAsync: () => Promise<AsyncResultReference[]>;
76
82
  /** Fault-injection boundary for proving archive-complete/native-write recovery. */
77
83
  writeFinalizedState?: typeof writeState;
84
+ cycleHistory?: {
85
+ storeDir?: string;
86
+ resolveStoreDir?: () => Promise<string>;
87
+ targetKey: string;
88
+ maxResults: number;
89
+ };
90
+ /** Fault-injection boundary for proving idempotent history consumption. */
91
+ consumeCycleHistory?: typeof consumeBoundAsyncHistory;
92
+ cycleRemote?: ReviewCycleRemote;
93
+ currentPrHeadSha?: string;
94
+ previewSha256?: string;
78
95
  }
79
- declare const ordinaryPendingFinalizationReceiptSchema: z.ZodObject<{
96
+ declare const ordinaryPendingFinalizationReceiptSchema: z.ZodUnion<readonly [z.ZodObject<{
80
97
  version: z.ZodLiteral<1>;
81
98
  operation: z.ZodLiteral<"ordinary-pending-finalize-only">;
82
99
  target: z.ZodString;
@@ -97,7 +114,35 @@ declare const ordinaryPendingFinalizationReceiptSchema: z.ZodObject<{
97
114
  sourceAttemptStateSha256: z.ZodString;
98
115
  finalizedNativeStateSha256: z.ZodString;
99
116
  receiptDigest: z.ZodString;
100
- }, z.core.$strict>;
117
+ }, z.core.$strict>, z.ZodObject<{
118
+ target: z.ZodString;
119
+ round: z.ZodNumber;
120
+ headSha: z.ZodString;
121
+ inputSha256: z.ZodString;
122
+ baseSha: z.ZodString;
123
+ originalPid: z.ZodNumber;
124
+ sourceDigest: z.ZodString;
125
+ blockingOutcome: z.ZodLiteral<"unknown">;
126
+ migrationPackageSha256: z.ZodString;
127
+ attemptsUsed: z.ZodNumber;
128
+ cap: z.ZodNumber;
129
+ sourceNativeStateSha256: z.ZodString;
130
+ finalizedNativeStateSha256: z.ZodString;
131
+ sourceAttemptStateSha256: z.ZodString;
132
+ finalizedAttempt: z.ZodNumber;
133
+ nextFreeAttempt: z.ZodNumber;
134
+ version: z.ZodLiteral<2>;
135
+ operation: z.ZodLiteral<"cycle-pending-finalize-only">;
136
+ retainedAsyncSha256: z.ZodArray<z.ZodString>;
137
+ cycleId: z.ZodString;
138
+ operationId: z.ZodString;
139
+ repo: z.ZodString;
140
+ prNumber: z.ZodNumber;
141
+ attemptCap: z.ZodNumber;
142
+ roundCap: z.ZodNumber;
143
+ asyncAttribution: z.ZodLiteral<"cycle-history-unattributed">;
144
+ receiptDigest: z.ZodString;
145
+ }, z.core.$strict>]>;
101
146
  export type OrdinaryPendingFinalizationReceipt = z.infer<typeof ordinaryPendingFinalizationReceiptSchema>;
102
147
  export interface OrdinaryPendingFinalizeResult {
103
148
  receipt: OrdinaryPendingFinalizationReceipt;