codex-orchestrator 0.1.47 → 0.1.49

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 (180) hide show
  1. package/CHANGELOG.md +42 -0
  2. package/dist/src/config/schema.d.ts +5 -1
  3. package/dist/src/config/schema.d.ts.map +1 -1
  4. package/dist/src/config/schema.js +16 -0
  5. package/dist/src/config/schema.js.map +1 -1
  6. package/dist/src/github/gh-issue-adapter.d.ts +3 -1
  7. package/dist/src/github/gh-issue-adapter.d.ts.map +1 -1
  8. package/dist/src/github/gh-issue-adapter.js +44 -6
  9. package/dist/src/github/gh-issue-adapter.js.map +1 -1
  10. package/dist/src/github/gh-pull-request-adapter.d.ts +3 -1
  11. package/dist/src/github/gh-pull-request-adapter.d.ts.map +1 -1
  12. package/dist/src/github/gh-pull-request-adapter.js +74 -0
  13. package/dist/src/github/gh-pull-request-adapter.js.map +1 -1
  14. package/dist/src/github/issues.d.ts +4 -0
  15. package/dist/src/github/issues.d.ts.map +1 -1
  16. package/dist/src/github/issues.js +6 -0
  17. package/dist/src/github/issues.js.map +1 -1
  18. package/dist/src/github/pull-requests.d.ts +9 -0
  19. package/dist/src/github/pull-requests.d.ts.map +1 -1
  20. package/dist/src/github/pull-requests.js +13 -0
  21. package/dist/src/github/pull-requests.js.map +1 -1
  22. package/dist/src/runner/command-utils.d.ts.map +1 -1
  23. package/dist/src/runner/command-utils.js +1 -0
  24. package/dist/src/runner/command-utils.js.map +1 -1
  25. package/dist/src/runner/local-execution-session.d.ts.map +1 -1
  26. package/dist/src/runner/local-execution-session.js +5 -2
  27. package/dist/src/runner/local-execution-session.js.map +1 -1
  28. package/dist/src/runner/mission-activation.d.ts +29 -0
  29. package/dist/src/runner/mission-activation.d.ts.map +1 -0
  30. package/dist/src/runner/mission-activation.js +54 -0
  31. package/dist/src/runner/mission-activation.js.map +1 -0
  32. package/dist/src/runner/mission-agent-broker.d.ts +53 -0
  33. package/dist/src/runner/mission-agent-broker.d.ts.map +1 -0
  34. package/dist/src/runner/mission-agent-broker.js +182 -0
  35. package/dist/src/runner/mission-agent-broker.js.map +1 -0
  36. package/dist/src/runner/mission-cancellation.d.ts +77 -0
  37. package/dist/src/runner/mission-cancellation.d.ts.map +1 -0
  38. package/dist/src/runner/mission-cancellation.js +180 -0
  39. package/dist/src/runner/mission-cancellation.js.map +1 -0
  40. package/dist/src/runner/mission-canonical-path.d.ts +34 -0
  41. package/dist/src/runner/mission-canonical-path.d.ts.map +1 -0
  42. package/dist/src/runner/mission-canonical-path.js +121 -0
  43. package/dist/src/runner/mission-canonical-path.js.map +1 -0
  44. package/dist/src/runner/mission-capability-kernel.d.ts +34 -0
  45. package/dist/src/runner/mission-capability-kernel.d.ts.map +1 -0
  46. package/dist/src/runner/mission-capability-kernel.js +158 -0
  47. package/dist/src/runner/mission-capability-kernel.js.map +1 -0
  48. package/dist/src/runner/mission-check-policy.d.ts +17 -0
  49. package/dist/src/runner/mission-check-policy.d.ts.map +1 -0
  50. package/dist/src/runner/mission-check-policy.js +31 -0
  51. package/dist/src/runner/mission-check-policy.js.map +1 -0
  52. package/dist/src/runner/mission-coordinator-lock.d.ts +16 -0
  53. package/dist/src/runner/mission-coordinator-lock.d.ts.map +1 -0
  54. package/dist/src/runner/mission-coordinator-lock.js +170 -0
  55. package/dist/src/runner/mission-coordinator-lock.js.map +1 -0
  56. package/dist/src/runner/mission-deployment.d.ts +21 -0
  57. package/dist/src/runner/mission-deployment.d.ts.map +1 -0
  58. package/dist/src/runner/mission-deployment.js +108 -0
  59. package/dist/src/runner/mission-deployment.js.map +1 -0
  60. package/dist/src/runner/mission-evaluation.d.ts +61 -0
  61. package/dist/src/runner/mission-evaluation.d.ts.map +1 -0
  62. package/dist/src/runner/mission-evaluation.js +183 -0
  63. package/dist/src/runner/mission-evaluation.js.map +1 -0
  64. package/dist/src/runner/mission-executor-probe.d.ts +10 -0
  65. package/dist/src/runner/mission-executor-probe.d.ts.map +1 -0
  66. package/dist/src/runner/mission-executor-probe.js +180 -0
  67. package/dist/src/runner/mission-executor-probe.js.map +1 -0
  68. package/dist/src/runner/mission-git-contracts.d.ts +75 -0
  69. package/dist/src/runner/mission-git-contracts.d.ts.map +1 -0
  70. package/dist/src/runner/mission-git-contracts.js +201 -0
  71. package/dist/src/runner/mission-git-contracts.js.map +1 -0
  72. package/dist/src/runner/mission-git-runtime-owner-ref.d.ts +13 -0
  73. package/dist/src/runner/mission-git-runtime-owner-ref.d.ts.map +1 -0
  74. package/dist/src/runner/mission-git-runtime-owner-ref.js +111 -0
  75. package/dist/src/runner/mission-git-runtime-owner-ref.js.map +1 -0
  76. package/dist/src/runner/mission-git-transaction.d.ts +97 -0
  77. package/dist/src/runner/mission-git-transaction.d.ts.map +1 -0
  78. package/dist/src/runner/mission-git-transaction.js +1009 -0
  79. package/dist/src/runner/mission-git-transaction.js.map +1 -0
  80. package/dist/src/runner/mission-identifiers.d.ts +31 -0
  81. package/dist/src/runner/mission-identifiers.d.ts.map +1 -0
  82. package/dist/src/runner/mission-identifiers.js +75 -0
  83. package/dist/src/runner/mission-identifiers.js.map +1 -0
  84. package/dist/src/runner/mission-input-snapshot.d.ts +21 -0
  85. package/dist/src/runner/mission-input-snapshot.d.ts.map +1 -0
  86. package/dist/src/runner/mission-input-snapshot.js +63 -0
  87. package/dist/src/runner/mission-input-snapshot.js.map +1 -0
  88. package/dist/src/runner/mission-ownership.d.ts +38 -0
  89. package/dist/src/runner/mission-ownership.d.ts.map +1 -0
  90. package/dist/src/runner/mission-ownership.js +88 -0
  91. package/dist/src/runner/mission-ownership.js.map +1 -0
  92. package/dist/src/runner/mission-patch-audit.d.ts +21 -0
  93. package/dist/src/runner/mission-patch-audit.d.ts.map +1 -0
  94. package/dist/src/runner/mission-patch-audit.js +186 -0
  95. package/dist/src/runner/mission-patch-audit.js.map +1 -0
  96. package/dist/src/runner/mission-path-language.d.ts +6 -0
  97. package/dist/src/runner/mission-path-language.d.ts.map +1 -0
  98. package/dist/src/runner/mission-path-language.js +106 -0
  99. package/dist/src/runner/mission-path-language.js.map +1 -0
  100. package/dist/src/runner/mission-permit-authority.d.ts +26 -0
  101. package/dist/src/runner/mission-permit-authority.d.ts.map +1 -0
  102. package/dist/src/runner/mission-permit-authority.js +145 -0
  103. package/dist/src/runner/mission-permit-authority.js.map +1 -0
  104. package/dist/src/runner/mission-plan-parent-coordinator.d.ts +87 -0
  105. package/dist/src/runner/mission-plan-parent-coordinator.d.ts.map +1 -0
  106. package/dist/src/runner/mission-plan-parent-coordinator.js +441 -0
  107. package/dist/src/runner/mission-plan-parent-coordinator.js.map +1 -0
  108. package/dist/src/runner/mission-plan-parent.d.ts +156 -0
  109. package/dist/src/runner/mission-plan-parent.d.ts.map +1 -0
  110. package/dist/src/runner/mission-plan-parent.js +589 -0
  111. package/dist/src/runner/mission-plan-parent.js.map +1 -0
  112. package/dist/src/runner/mission-process-executor.d.ts +25 -0
  113. package/dist/src/runner/mission-process-executor.d.ts.map +1 -0
  114. package/dist/src/runner/mission-process-executor.js +182 -0
  115. package/dist/src/runner/mission-process-executor.js.map +1 -0
  116. package/dist/src/runner/mission-publication-git.d.ts +21 -0
  117. package/dist/src/runner/mission-publication-git.d.ts.map +1 -0
  118. package/dist/src/runner/mission-publication-git.js +61 -0
  119. package/dist/src/runner/mission-publication-git.js.map +1 -0
  120. package/dist/src/runner/mission-publication.d.ts +192 -0
  121. package/dist/src/runner/mission-publication.d.ts.map +1 -0
  122. package/dist/src/runner/mission-publication.js +1001 -0
  123. package/dist/src/runner/mission-publication.js.map +1 -0
  124. package/dist/src/runner/mission-quarantine-patch-executor.d.ts +29 -0
  125. package/dist/src/runner/mission-quarantine-patch-executor.d.ts.map +1 -0
  126. package/dist/src/runner/mission-quarantine-patch-executor.js +121 -0
  127. package/dist/src/runner/mission-quarantine-patch-executor.js.map +1 -0
  128. package/dist/src/runner/mission-repository-executor.d.ts +54 -0
  129. package/dist/src/runner/mission-repository-executor.d.ts.map +1 -0
  130. package/dist/src/runner/mission-repository-executor.js +192 -0
  131. package/dist/src/runner/mission-repository-executor.js.map +1 -0
  132. package/dist/src/runner/mission-repository-observer.d.ts +8 -0
  133. package/dist/src/runner/mission-repository-observer.d.ts.map +1 -0
  134. package/dist/src/runner/mission-repository-observer.js +24 -0
  135. package/dist/src/runner/mission-repository-observer.js.map +1 -0
  136. package/dist/src/runner/mission-reservations.d.ts +15 -0
  137. package/dist/src/runner/mission-reservations.d.ts.map +1 -0
  138. package/dist/src/runner/mission-reservations.js +116 -0
  139. package/dist/src/runner/mission-reservations.js.map +1 -0
  140. package/dist/src/runner/mission-resolution-loop.d.ts +172 -0
  141. package/dist/src/runner/mission-resolution-loop.d.ts.map +1 -0
  142. package/dist/src/runner/mission-resolution-loop.js +318 -0
  143. package/dist/src/runner/mission-resolution-loop.js.map +1 -0
  144. package/dist/src/runner/mission-runtime-owner.d.ts +36 -0
  145. package/dist/src/runner/mission-runtime-owner.d.ts.map +1 -0
  146. package/dist/src/runner/mission-runtime-owner.js +174 -0
  147. package/dist/src/runner/mission-runtime-owner.js.map +1 -0
  148. package/dist/src/runner/mission-safe-executor.d.ts +96 -0
  149. package/dist/src/runner/mission-safe-executor.d.ts.map +1 -0
  150. package/dist/src/runner/mission-safe-executor.js +288 -0
  151. package/dist/src/runner/mission-safe-executor.js.map +1 -0
  152. package/dist/src/runner/mission-sandbox.d.ts +16 -0
  153. package/dist/src/runner/mission-sandbox.d.ts.map +1 -0
  154. package/dist/src/runner/mission-sandbox.js +91 -0
  155. package/dist/src/runner/mission-sandbox.js.map +1 -0
  156. package/dist/src/runner/mission-scheduler.d.ts +57 -0
  157. package/dist/src/runner/mission-scheduler.d.ts.map +1 -0
  158. package/dist/src/runner/mission-scheduler.js +205 -0
  159. package/dist/src/runner/mission-scheduler.js.map +1 -0
  160. package/dist/src/runner/mission-scope-expansion.d.ts +47 -0
  161. package/dist/src/runner/mission-scope-expansion.d.ts.map +1 -0
  162. package/dist/src/runner/mission-scope-expansion.js +147 -0
  163. package/dist/src/runner/mission-scope-expansion.js.map +1 -0
  164. package/dist/src/runner/mission-state-machine.d.ts +118 -0
  165. package/dist/src/runner/mission-state-machine.d.ts.map +1 -0
  166. package/dist/src/runner/mission-state-machine.js +316 -0
  167. package/dist/src/runner/mission-state-machine.js.map +1 -0
  168. package/dist/src/runner/mission-state-store.d.ts +70 -0
  169. package/dist/src/runner/mission-state-store.d.ts.map +1 -0
  170. package/dist/src/runner/mission-state-store.js +916 -0
  171. package/dist/src/runner/mission-state-store.js.map +1 -0
  172. package/dist/src/runner/rework-policy.d.ts +2 -1
  173. package/dist/src/runner/rework-policy.d.ts.map +1 -1
  174. package/dist/src/runner/rework-policy.js +3 -0
  175. package/dist/src/runner/rework-policy.js.map +1 -1
  176. package/dist/src/setup/project-config.d.ts.map +1 -1
  177. package/dist/src/setup/project-config.js +5 -0
  178. package/dist/src/setup/project-config.js.map +1 -1
  179. package/docs/deep-dive.md +25 -16
  180. package/package.json +1 -1
@@ -0,0 +1,116 @@
1
+ import { uniqueSortedPaths } from '../path-policy.js';
2
+ import { assertMissionPathPattern, missionPathPatternsOverlap } from './mission-path-language.js';
3
+ export class MissionReservationCoordinator {
4
+ store;
5
+ now;
6
+ constructor(store, now = () => new Date()) {
7
+ this.store = store;
8
+ this.now = now;
9
+ }
10
+ reserve(expectedGeneration, reservation) {
11
+ const normalized = normalizeReservation(reservation);
12
+ const now = this.now().toISOString();
13
+ if (normalized.leaseUntil <= now) {
14
+ throw new Error('Mission reservation leaseUntil must be in the future.');
15
+ }
16
+ return this.store.mutate(expectedGeneration, (draft) => {
17
+ const currentOwnerReservation = draft.reservations[normalized.missionId];
18
+ if (currentOwnerReservation) {
19
+ const current = parseReservation(currentOwnerReservation.value, `reservation ${normalized.missionId}`);
20
+ if (current.leaseUntil > now) {
21
+ if (normalized.fencingEpoch < current.fencingEpoch) {
22
+ throw new Error(`Mission reservation stale fencing epoch for ${normalized.missionId}.`);
23
+ }
24
+ if (normalized.fencingEpoch !== current.fencingEpoch) {
25
+ throw new Error(`Mission reservation renewal cannot change fencing epoch for ${normalized.missionId}.`);
26
+ }
27
+ if (normalized.paths.join('\0') !== current.paths.join('\0')) {
28
+ throw new Error(`Mission reservation renewal cannot change scope for ${normalized.missionId}.`);
29
+ }
30
+ if (normalized.leaseUntil < current.leaseUntil) {
31
+ throw new Error(`Mission reservation renewal cannot shorten lease for ${normalized.missionId}.`);
32
+ }
33
+ }
34
+ }
35
+ for (const [ownerId, aggregate] of Object.entries(draft.reservations)) {
36
+ if (ownerId === normalized.missionId) {
37
+ continue;
38
+ }
39
+ const existing = parseReservation(aggregate.value, `reservation ${ownerId}`);
40
+ if (existing.leaseUntil <= now) {
41
+ delete draft.reservations[ownerId];
42
+ continue;
43
+ }
44
+ if (scopesOverlap(existing.paths, normalized.paths)) {
45
+ throw new Error(`Mission scope reservation overlaps ${ownerId}.`);
46
+ }
47
+ }
48
+ const current = draft.reservations[normalized.missionId];
49
+ draft.reservations[normalized.missionId] = {
50
+ revision: (current?.revision ?? 0) + 1,
51
+ value: normalized,
52
+ };
53
+ });
54
+ }
55
+ release(expectedGeneration, missionId, fencingEpoch) {
56
+ return this.store.mutate(expectedGeneration, (draft) => {
57
+ const aggregate = draft.reservations[missionId];
58
+ if (!aggregate) {
59
+ return;
60
+ }
61
+ const reservation = parseReservation(aggregate.value, `reservation ${missionId}`);
62
+ if (reservation.missionId !== missionId) {
63
+ throw new Error(`Mission reservation owner mismatch for ${missionId}.`);
64
+ }
65
+ if (reservation.fencingEpoch !== fencingEpoch) {
66
+ throw new Error(`Mission reservation fencing epoch mismatch for ${missionId}.`);
67
+ }
68
+ delete draft.reservations[missionId];
69
+ });
70
+ }
71
+ }
72
+ function normalizeReservation(reservation) {
73
+ if (reservation.missionId.trim().length === 0) {
74
+ throw new Error('Mission reservation missionId must be non-empty.');
75
+ }
76
+ if (!Number.isSafeInteger(reservation.fencingEpoch) || reservation.fencingEpoch <= 0) {
77
+ throw new Error('Mission reservation fencing epoch must be a positive integer.');
78
+ }
79
+ const lease = Date.parse(reservation.leaseUntil);
80
+ if (!Number.isFinite(lease) || new Date(lease).toISOString() !== reservation.leaseUntil) {
81
+ throw new Error('Mission reservation leaseUntil must be an exact UTC ISO timestamp.');
82
+ }
83
+ const paths = uniqueSortedPaths(reservation.paths);
84
+ if (paths.length === 0) {
85
+ throw new Error('Mission reservation paths must be non-empty repository-relative globs.');
86
+ }
87
+ paths.forEach((path) => assertMissionPathPattern(path, 'Mission reservation path'));
88
+ return { ...reservation, paths };
89
+ }
90
+ function parseReservation(value, context) {
91
+ if (typeof value !== 'object' || value === null || Array.isArray(value)) {
92
+ throw new Error(`Invalid ${context}.`);
93
+ }
94
+ const record = value;
95
+ const exact = ['missionId', 'paths', 'fencingEpoch', 'leaseUntil'];
96
+ if (Object.keys(record).length !== exact.length || exact.some((key) => !(key in record))
97
+ || typeof record.missionId !== 'string'
98
+ || !Array.isArray(record.paths) || record.paths.some((path) => typeof path !== 'string')
99
+ || typeof record.fencingEpoch !== 'number'
100
+ || typeof record.leaseUntil !== 'string') {
101
+ throw new Error(`Invalid ${context}.`);
102
+ }
103
+ return normalizeReservation({
104
+ missionId: record.missionId,
105
+ paths: record.paths,
106
+ fencingEpoch: record.fencingEpoch,
107
+ leaseUntil: record.leaseUntil,
108
+ });
109
+ }
110
+ function scopesOverlap(left, right) {
111
+ return left.some((leftPattern) => right.some((rightPattern) => patternsOverlap(leftPattern, rightPattern)));
112
+ }
113
+ function patternsOverlap(left, right) {
114
+ return missionPathPatternsOverlap(left, right);
115
+ }
116
+ //# sourceMappingURL=mission-reservations.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mission-reservations.js","sourceRoot":"","sources":["../../../src/runner/mission-reservations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,wBAAwB,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AAUlG,MAAM,OAAO,6BAA6B;IAErB;IACA;IAFnB,YACmB,KAAwB,EACxB,MAAkB,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE;QADlC,UAAK,GAAL,KAAK,CAAmB;QACxB,QAAG,GAAH,GAAG,CAA+B;IAClD,CAAC;IAEG,OAAO,CACZ,kBAA0B,EAC1B,WAAoC;QAEpC,MAAM,UAAU,GAAG,oBAAoB,CAAC,WAAW,CAAC,CAAC;QACrD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;QACrC,IAAI,UAAU,CAAC,UAAU,IAAI,GAAG,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC,KAAK,EAAE,EAAE;YACrD,MAAM,uBAAuB,GAAG,KAAK,CAAC,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;YACzE,IAAI,uBAAuB,EAAE,CAAC;gBAC5B,MAAM,OAAO,GAAG,gBAAgB,CAC9B,uBAAuB,CAAC,KAAK,EAC7B,eAAe,UAAU,CAAC,SAAS,EAAE,CACtC,CAAC;gBACF,IAAI,OAAO,CAAC,UAAU,GAAG,GAAG,EAAE,CAAC;oBAC7B,IAAI,UAAU,CAAC,YAAY,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC;wBACnD,MAAM,IAAI,KAAK,CAAC,+CAA+C,UAAU,CAAC,SAAS,GAAG,CAAC,CAAC;oBAC1F,CAAC;oBACD,IAAI,UAAU,CAAC,YAAY,KAAK,OAAO,CAAC,YAAY,EAAE,CAAC;wBACrD,MAAM,IAAI,KAAK,CAAC,+DAA+D,UAAU,CAAC,SAAS,GAAG,CAAC,CAAC;oBAC1G,CAAC;oBACD,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC7D,MAAM,IAAI,KAAK,CAAC,uDAAuD,UAAU,CAAC,SAAS,GAAG,CAAC,CAAC;oBAClG,CAAC;oBACD,IAAI,UAAU,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC;wBAC/C,MAAM,IAAI,KAAK,CAAC,wDAAwD,UAAU,CAAC,SAAS,GAAG,CAAC,CAAC;oBACnG,CAAC;gBACH,CAAC;YACH,CAAC;YACD,KAAK,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;gBACtE,IAAI,OAAO,KAAK,UAAU,CAAC,SAAS,EAAE,CAAC;oBACrC,SAAS;gBACX,CAAC;gBACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,eAAe,OAAO,EAAE,CAAC,CAAC;gBAC7E,IAAI,QAAQ,CAAC,UAAU,IAAI,GAAG,EAAE,CAAC;oBAC/B,OAAO,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;oBACnC,SAAS;gBACX,CAAC;gBACD,IAAI,aAAa,CAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;oBACpD,MAAM,IAAI,KAAK,CAAC,sCAAsC,OAAO,GAAG,CAAC,CAAC;gBACpE,CAAC;YACH,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;YACzD,KAAK,CAAC,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG;gBACzC,QAAQ,EAAE,CAAC,OAAO,EAAE,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC;gBACtC,KAAK,EAAE,UAAkC;aAC1C,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAEM,OAAO,CACZ,kBAA0B,EAC1B,SAAiB,EACjB,YAAoB;QAEpB,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC,KAAK,EAAE,EAAE;YACrD,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;YAChD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,OAAO;YACT,CAAC;YACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,eAAe,SAAS,EAAE,CAAC,CAAC;YAClF,IAAI,WAAW,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBACxC,MAAM,IAAI,KAAK,CAAC,0CAA0C,SAAS,GAAG,CAAC,CAAC;YAC1E,CAAC;YACD,IAAI,WAAW,CAAC,YAAY,KAAK,YAAY,EAAE,CAAC;gBAC9C,MAAM,IAAI,KAAK,CAAC,kDAAkD,SAAS,GAAG,CAAC,CAAC;YAClF,CAAC;YACD,OAAO,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AAED,SAAS,oBAAoB,CAAC,WAAoC;IAChE,IAAI,WAAW,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,WAAW,CAAC,YAAY,IAAI,CAAC,EAAE,CAAC;QACrF,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC,UAAU,EAAE,CAAC;QACxF,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;IACxF,CAAC;IACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IACnD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAC;IAC5F,CAAC;IACD,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,wBAAwB,CAAC,IAAI,EAAE,0BAA0B,CAAC,CAAC,CAAC;IACpF,OAAO,EAAE,GAAG,WAAW,EAAE,KAAK,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAgB,EAAE,OAAe;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,WAAW,OAAO,GAAG,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,MAAM,GAAG,KAAkC,CAAC;IAClD,MAAM,KAAK,GAAG,CAAC,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC;IACnE,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,CAAC;WACnF,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ;WACpC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;WACrF,OAAO,MAAM,CAAC,YAAY,KAAK,QAAQ;WACvC,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,WAAW,OAAO,GAAG,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,oBAAoB,CAAC;QAC1B,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,KAAK,EAAE,MAAM,CAAC,KAAiB;QAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,UAAU,EAAE,MAAM,CAAC,UAAU;KAC9B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,IAAc,EAAE,KAAe;IACpD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,EAAE,CAC5D,eAAe,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,eAAe,CAAC,IAAY,EAAE,KAAa;IAClD,OAAO,0BAA0B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACjD,CAAC"}
@@ -0,0 +1,172 @@
1
+ import { type EvaluationResult, type EvaluationSnapshot } from './mission-evaluation.js';
2
+ import type { MissionScopeExpansionProposal } from './mission-scope-expansion.js';
3
+ export type MissionResolutionProposal = {
4
+ version: 1;
5
+ kind: 'runner-action';
6
+ executorId: string;
7
+ findingIds: string[];
8
+ rationale: string;
9
+ } | ({
10
+ kind: 'scope-expansion';
11
+ rationale: string;
12
+ } & MissionScopeExpansionProposal) | {
13
+ version: 1;
14
+ kind: 'external-input';
15
+ evidence: string[];
16
+ resumePredicate: string;
17
+ } | {
18
+ version: 1;
19
+ kind: 'safety-stop';
20
+ evidence: string[];
21
+ invariant: string;
22
+ };
23
+ export interface MissionResolutionPermit {
24
+ id: string;
25
+ actionKey: string;
26
+ strategyFingerprint: string;
27
+ proposal: MissionResolutionProposal;
28
+ }
29
+ export interface MissionExecutionReceipt {
30
+ id: string;
31
+ actionKey: string;
32
+ evidenceRefs: string[];
33
+ }
34
+ export type MissionAuthorizationDecision = {
35
+ kind: 'allowed';
36
+ permit: MissionResolutionPermit;
37
+ } | {
38
+ kind: 'rejected-recoverable';
39
+ reason: string;
40
+ alternatives: string[];
41
+ } | {
42
+ kind: 'temporary';
43
+ reason: string;
44
+ nextEligibleAt: string;
45
+ } | {
46
+ kind: 'external-input-required';
47
+ evidence: string[];
48
+ resumePredicate: string;
49
+ } | {
50
+ kind: 'safety-stop';
51
+ evidence: string[];
52
+ invariant: string;
53
+ };
54
+ export type MissionExecutionDecision = {
55
+ kind: 'completed';
56
+ receipt: MissionExecutionReceipt;
57
+ } | {
58
+ kind: 'deterministic-failure';
59
+ reason: string;
60
+ alternatives: string[];
61
+ } | {
62
+ kind: 'transient';
63
+ reason: string;
64
+ nextEligibleAt: string;
65
+ };
66
+ export type MissionReconciliationDecision = {
67
+ kind: 'satisfied';
68
+ snapshot: EvaluationSnapshot;
69
+ scope: string[];
70
+ validationReceiptIds: string[];
71
+ acceptanceCoverage: string[];
72
+ } | {
73
+ kind: 'transient';
74
+ reason: string;
75
+ nextEligibleAt: string;
76
+ } | {
77
+ kind: 'external-input-required';
78
+ evidence: string[];
79
+ resumePredicate: string;
80
+ } | {
81
+ kind: 'safety-stop';
82
+ evidence: string[];
83
+ invariant: string;
84
+ };
85
+ export interface MissionDiagnosisContext {
86
+ missionId: string;
87
+ snapshot: EvaluationSnapshot;
88
+ evaluation: EvaluationResult;
89
+ alternatives: string[];
90
+ suppressedStrategyFingerprints: string[];
91
+ history: MissionStrategyHistory[];
92
+ }
93
+ export interface MissionStrategyHistory {
94
+ actionKey: string;
95
+ strategyFingerprint: string;
96
+ outcome: 'authorization-rejected' | 'deterministic-failure' | 'strategy-stagnated' | 'proposal-suppressed' | 'progress';
97
+ reason?: string;
98
+ alternatives?: string[];
99
+ }
100
+ export interface MissionResolutionResume {
101
+ stage: 'authorizing' | 'executing' | 'reconciling';
102
+ actionKey: string;
103
+ strategyFingerprint: string;
104
+ proposal: MissionResolutionProposal;
105
+ permit?: MissionResolutionPermit;
106
+ receipt?: MissionExecutionReceipt;
107
+ }
108
+ export interface MissionResolutionInput {
109
+ missionId: string;
110
+ snapshot: EvaluationSnapshot;
111
+ scope: string[];
112
+ validationReceiptIds: string[];
113
+ acceptanceCoverage: string[];
114
+ maxSteps: number;
115
+ history?: MissionStrategyHistory[];
116
+ resume?: MissionResolutionResume;
117
+ }
118
+ export interface MissionResolutionDependencies {
119
+ diagnose(context: Readonly<MissionDiagnosisContext>): Promise<MissionResolutionProposal>;
120
+ authorize(input: Readonly<{
121
+ missionId: string;
122
+ snapshot: EvaluationSnapshot;
123
+ evaluation: EvaluationResult;
124
+ proposal: MissionResolutionProposal;
125
+ actionKey: string;
126
+ strategyFingerprint: string;
127
+ }>): Promise<MissionAuthorizationDecision>;
128
+ execute(input: Readonly<{
129
+ missionId: string;
130
+ actionKey: string;
131
+ strategyFingerprint: string;
132
+ proposal: MissionResolutionProposal;
133
+ permit: MissionResolutionPermit;
134
+ }>): Promise<MissionExecutionDecision>;
135
+ reconcile(input: Readonly<{
136
+ missionId: string;
137
+ snapshot: EvaluationSnapshot;
138
+ proposal: MissionResolutionProposal;
139
+ permit: MissionResolutionPermit;
140
+ receipt: MissionExecutionReceipt;
141
+ }>): Promise<MissionReconciliationDecision>;
142
+ nextEligibleAt(reason: string): string;
143
+ }
144
+ export type MissionResolutionOutcome = {
145
+ kind: 'candidate-ready';
146
+ snapshot: EvaluationSnapshot;
147
+ evaluation: EvaluationResult;
148
+ history: MissionStrategyHistory[];
149
+ scope: string[];
150
+ validationReceiptIds: string[];
151
+ acceptanceCoverage: string[];
152
+ } | {
153
+ kind: 'resumable';
154
+ resumeTarget: 'authorizing' | 'executing' | 'reconciling' | 'diagnosing';
155
+ reason: string;
156
+ nextEligibleAt: string;
157
+ resume?: MissionResolutionResume;
158
+ history: MissionStrategyHistory[];
159
+ } | {
160
+ kind: 'external-input-required';
161
+ evidence: string[];
162
+ resumePredicate: string;
163
+ history: MissionStrategyHistory[];
164
+ } | {
165
+ kind: 'safety-stop';
166
+ evidence: string[];
167
+ invariant: string;
168
+ history: MissionStrategyHistory[];
169
+ };
170
+ export declare function runResolutionMission(input: MissionResolutionInput, dependencies: MissionResolutionDependencies): Promise<MissionResolutionOutcome>;
171
+ export declare function missionStrategyFingerprint(proposal: MissionResolutionProposal): string;
172
+ //# sourceMappingURL=mission-resolution-loop.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mission-resolution-loop.d.ts","sourceRoot":"","sources":["../../../src/runner/mission-resolution-loop.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACxB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAElF,MAAM,MAAM,yBAAyB,GACjC;IACE,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,eAAe,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;CACnB,GACD,CAAC;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,6BAA6B,CAAC,GAChF;IACE,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,gBAAgB,CAAC;IACvB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;CACzB,GACD;IACE,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEN,MAAM,WAAW,uBAAuB;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,QAAQ,EAAE,yBAAyB,CAAC;CACrC;AAED,MAAM,WAAW,uBAAuB;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,MAAM,4BAA4B,GACpC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,sBAAsB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,EAAE,CAAA;CAAE,GACxE;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GAC7D;IAAE,IAAI,EAAE,yBAAyB,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,GAChF;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnE,MAAM,MAAM,wBAAwB,GAChC;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,uBAAuB,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,uBAAuB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,EAAE,CAAA;CAAE,GACzE;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,CAAC;AAElE,MAAM,MAAM,6BAA6B,GACrC;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,kBAAkB,EAAE,MAAM,EAAE,CAAC;CAC9B,GACD;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GAC7D;IAAE,IAAI,EAAE,yBAAyB,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,GAChF;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnE,MAAM,WAAW,uBAAuB;IACtC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,UAAU,EAAE,gBAAgB,CAAC;IAC7B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,8BAA8B,EAAE,MAAM,EAAE,CAAC;IACzC,OAAO,EAAE,sBAAsB,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,sBAAsB;IACrC,SAAS,EAAE,MAAM,CAAC;IAClB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,OAAO,EACH,wBAAwB,GACxB,uBAAuB,GACvB,oBAAoB,GACpB,qBAAqB,GACrB,UAAU,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,aAAa,GAAG,WAAW,GAAG,aAAa,CAAC;IACnD,SAAS,EAAE,MAAM,CAAC;IAClB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,QAAQ,EAAE,yBAAyB,CAAC;IACpC,MAAM,CAAC,EAAE,uBAAuB,CAAC;IACjC,OAAO,CAAC,EAAE,uBAAuB,CAAC;CACnC;AAED,MAAM,WAAW,sBAAsB;IACrC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,sBAAsB,EAAE,CAAC;IACnC,MAAM,CAAC,EAAE,uBAAuB,CAAC;CAClC;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,uBAAuB,CAAC,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;IACzF,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC;QACxB,SAAS,EAAE,MAAM,CAAC;QAClB,QAAQ,EAAE,kBAAkB,CAAC;QAC7B,UAAU,EAAE,gBAAgB,CAAC;QAC7B,QAAQ,EAAE,yBAAyB,CAAC;QACpC,SAAS,EAAE,MAAM,CAAC;QAClB,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC,GAAG,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAC3C,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC;QACtB,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,MAAM,CAAC;QAClB,mBAAmB,EAAE,MAAM,CAAC;QAC5B,QAAQ,EAAE,yBAAyB,CAAC;QACpC,MAAM,EAAE,uBAAuB,CAAC;KACjC,CAAC,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAAC;IACvC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC;QACxB,SAAS,EAAE,MAAM,CAAC;QAClB,QAAQ,EAAE,kBAAkB,CAAC;QAC7B,QAAQ,EAAE,yBAAyB,CAAC;QACpC,MAAM,EAAE,uBAAuB,CAAC;QAChC,OAAO,EAAE,uBAAuB,CAAC;KAClC,CAAC,GAAG,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAC5C,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;CACxC;AAED,MAAM,MAAM,wBAAwB,GAChC;IACE,IAAI,EAAE,iBAAiB,CAAC;IACxB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,UAAU,EAAE,gBAAgB,CAAC;IAC7B,OAAO,EAAE,sBAAsB,EAAE,CAAC;IAClC,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,kBAAkB,EAAE,MAAM,EAAE,CAAC;CAC9B,GACD;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,YAAY,EAAE,aAAa,GAAG,WAAW,GAAG,aAAa,GAAG,YAAY,CAAC;IACzE,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,CAAC,EAAE,uBAAuB,CAAC;IACjC,OAAO,EAAE,sBAAsB,EAAE,CAAC;CACnC,GACD;IACE,IAAI,EAAE,yBAAyB,CAAC;IAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,OAAO,EAAE,sBAAsB,EAAE,CAAC;CACnC,GACD;IACE,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,sBAAsB,EAAE,CAAC;CACnC,CAAC;AAEN,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,sBAAsB,EAC7B,YAAY,EAAE,6BAA6B,GAC1C,OAAO,CAAC,wBAAwB,CAAC,CAmNnC;AAED,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,yBAAyB,GAAG,MAAM,CAEtF"}
@@ -0,0 +1,318 @@
1
+ import { createHash } from 'node:crypto';
2
+ import { evaluate, } from './mission-evaluation.js';
3
+ export async function runResolutionMission(input, dependencies) {
4
+ assertInput(input);
5
+ let snapshot = structuredClone(input.snapshot);
6
+ let scope = unique(input.scope);
7
+ let validationReceiptIds = unique(input.validationReceiptIds);
8
+ let acceptanceCoverage = unique(input.acceptanceCoverage);
9
+ const history = structuredClone(input.history ?? []);
10
+ let alternatives = latestAlternatives(history);
11
+ let resume = input.resume ? structuredClone(input.resume) : undefined;
12
+ for (let step = 0; step < input.maxSteps; step += 1) {
13
+ const evaluation = evaluate(snapshot);
14
+ const direct = directEvaluationOutcome(evaluation, history);
15
+ if (direct)
16
+ return direct;
17
+ if (evaluation.blockingDisposition === 'none') {
18
+ return {
19
+ kind: 'candidate-ready',
20
+ snapshot,
21
+ evaluation,
22
+ history,
23
+ scope,
24
+ validationReceiptIds,
25
+ acceptanceCoverage,
26
+ };
27
+ }
28
+ let proposal;
29
+ let strategyFingerprint;
30
+ let actionKey;
31
+ if (resume) {
32
+ ({ proposal, strategyFingerprint, actionKey } = resume);
33
+ }
34
+ else {
35
+ const suppressed = suppressedFingerprints(history);
36
+ proposal = await dependencies.diagnose({
37
+ missionId: input.missionId,
38
+ snapshot: structuredClone(snapshot),
39
+ evaluation: structuredClone(evaluation),
40
+ alternatives: [...alternatives],
41
+ suppressedStrategyFingerprints: suppressed,
42
+ history: structuredClone(history),
43
+ });
44
+ strategyFingerprint = missionStrategyFingerprint(proposal);
45
+ actionKey = missionActionKey(input.missionId, snapshot, strategyFingerprint);
46
+ if (suppressed.includes(strategyFingerprint)) {
47
+ history.push({
48
+ actionKey,
49
+ strategyFingerprint,
50
+ outcome: 'proposal-suppressed',
51
+ reason: 'strategy-already-completed-without-progress',
52
+ alternatives: ['choose a materially different strategy'],
53
+ });
54
+ alternatives = ['choose a materially different strategy'];
55
+ continue;
56
+ }
57
+ }
58
+ if (resume && (strategyFingerprint !== missionStrategyFingerprint(proposal)
59
+ || actionKey !== missionActionKey(input.missionId, snapshot, strategyFingerprint))) {
60
+ return safety([actionKey], 'stale-resolution-resume', history);
61
+ }
62
+ let permit = resume?.permit;
63
+ if (!resume || resume.stage === 'authorizing') {
64
+ const authorization = await dependencies.authorize({
65
+ missionId: input.missionId,
66
+ snapshot: structuredClone(snapshot),
67
+ evaluation: structuredClone(evaluation),
68
+ proposal: structuredClone(proposal),
69
+ actionKey,
70
+ strategyFingerprint,
71
+ });
72
+ if (authorization.kind === 'rejected-recoverable') {
73
+ alternatives = unique(authorization.alternatives);
74
+ history.push({
75
+ actionKey,
76
+ strategyFingerprint,
77
+ outcome: 'authorization-rejected',
78
+ reason: authorization.reason,
79
+ alternatives,
80
+ });
81
+ resume = undefined;
82
+ continue;
83
+ }
84
+ if (authorization.kind === 'temporary') {
85
+ return resumable('authorizing', authorization.reason, authorization.nextEligibleAt, history, {
86
+ stage: 'authorizing', actionKey, strategyFingerprint, proposal,
87
+ });
88
+ }
89
+ if (authorization.kind === 'external-input-required') {
90
+ return external(authorization.evidence, authorization.resumePredicate, history);
91
+ }
92
+ if (authorization.kind === 'safety-stop') {
93
+ return safety(authorization.evidence, authorization.invariant, history);
94
+ }
95
+ if (proposal.kind === 'external-input' || proposal.kind === 'safety-stop') {
96
+ return safety([
97
+ `proposal:${proposal.kind}`,
98
+ `authorization:${authorization.kind}`,
99
+ ], 'terminal-boundary-not-runner-verified', history);
100
+ }
101
+ requireText(authorization.permit.id, 'permit.id');
102
+ permit = {
103
+ ...structuredClone(authorization.permit),
104
+ actionKey,
105
+ strategyFingerprint,
106
+ proposal: structuredClone(proposal),
107
+ };
108
+ }
109
+ if (!permit)
110
+ throw new Error('Mission resolution authorization produced no permit.');
111
+ let receipt = resume?.receipt;
112
+ if (!resume || resume.stage !== 'reconciling') {
113
+ const execution = await dependencies.execute({
114
+ missionId: input.missionId,
115
+ actionKey,
116
+ strategyFingerprint,
117
+ proposal: structuredClone(proposal),
118
+ permit: structuredClone(permit),
119
+ });
120
+ if (execution.kind === 'transient') {
121
+ return resumable('executing', execution.reason, execution.nextEligibleAt, history, {
122
+ stage: 'executing', actionKey, strategyFingerprint, proposal, permit,
123
+ });
124
+ }
125
+ if (execution.kind === 'deterministic-failure') {
126
+ alternatives = unique(execution.alternatives);
127
+ history.push({
128
+ actionKey,
129
+ strategyFingerprint,
130
+ outcome: 'deterministic-failure',
131
+ reason: execution.reason,
132
+ alternatives,
133
+ });
134
+ resume = undefined;
135
+ continue;
136
+ }
137
+ receipt = structuredClone(execution.receipt);
138
+ requireText(receipt.id, 'receipt.id');
139
+ if (receipt.actionKey !== actionKey) {
140
+ return safety([`expected:${actionKey}`, `received:${receipt.actionKey}`], 'execution-receipt-action-mismatch', history);
141
+ }
142
+ }
143
+ if (!receipt)
144
+ throw new Error('Mission resolution execution produced no receipt.');
145
+ const before = progressVector({
146
+ snapshot,
147
+ evaluation,
148
+ scope,
149
+ validationReceiptIds,
150
+ acceptanceCoverage,
151
+ strategyFingerprint,
152
+ });
153
+ const reconciliation = await dependencies.reconcile({
154
+ missionId: input.missionId,
155
+ snapshot: structuredClone(snapshot),
156
+ proposal: structuredClone(proposal),
157
+ permit: structuredClone(permit),
158
+ receipt: structuredClone(receipt),
159
+ });
160
+ if (reconciliation.kind === 'transient') {
161
+ return resumable('reconciling', reconciliation.reason, reconciliation.nextEligibleAt, history, {
162
+ stage: 'reconciling', actionKey, strategyFingerprint, proposal, permit, receipt,
163
+ });
164
+ }
165
+ if (reconciliation.kind === 'external-input-required') {
166
+ return external(reconciliation.evidence, reconciliation.resumePredicate, history);
167
+ }
168
+ if (reconciliation.kind === 'safety-stop') {
169
+ return safety(reconciliation.evidence, reconciliation.invariant, history);
170
+ }
171
+ if (reconciliation.snapshot.issueNumber !== snapshot.issueNumber
172
+ || reconciliation.snapshot.baseSha !== snapshot.baseSha
173
+ || reconciliation.snapshot.configHash !== snapshot.configHash) {
174
+ return safety([
175
+ `expected:${snapshot.issueNumber}:${snapshot.baseSha}:${snapshot.configHash}`,
176
+ `received:${reconciliation.snapshot.issueNumber}:${reconciliation.snapshot.baseSha}:${reconciliation.snapshot.configHash}`,
177
+ ], 'reconciliation-snapshot-identity-mismatch', history);
178
+ }
179
+ snapshot = structuredClone(reconciliation.snapshot);
180
+ scope = unique(reconciliation.scope);
181
+ validationReceiptIds = unique(reconciliation.validationReceiptIds);
182
+ acceptanceCoverage = unique(reconciliation.acceptanceCoverage);
183
+ const reevaluation = evaluate(snapshot);
184
+ const after = progressVector({
185
+ snapshot,
186
+ evaluation: reevaluation,
187
+ scope,
188
+ validationReceiptIds,
189
+ acceptanceCoverage,
190
+ strategyFingerprint,
191
+ });
192
+ history.push({
193
+ actionKey,
194
+ strategyFingerprint,
195
+ outcome: before === after ? 'strategy-stagnated' : 'progress',
196
+ ...(before === after ? {
197
+ reason: 'deterministic-action-left-progress-vector-unchanged',
198
+ alternatives: ['choose a materially different strategy'],
199
+ } : {}),
200
+ });
201
+ alternatives = before === after ? ['choose a materially different strategy'] : [];
202
+ resume = undefined;
203
+ }
204
+ return {
205
+ kind: 'resumable',
206
+ resumeTarget: 'diagnosing',
207
+ reason: 'resolution-step-budget-exhausted',
208
+ nextEligibleAt: dependencies.nextEligibleAt('resolution-step-budget-exhausted'),
209
+ history,
210
+ };
211
+ }
212
+ export function missionStrategyFingerprint(proposal) {
213
+ return digest(['mission-strategy-v1', canonicalize(proposal)]);
214
+ }
215
+ function missionActionKey(missionId, snapshot, strategyFingerprint) {
216
+ return `action:v1:${digest([missionId, progressSnapshotIdentity(snapshot), strategyFingerprint]).slice(7)}`;
217
+ }
218
+ function progressVector(input) {
219
+ return canonicalize({
220
+ findingIds: input.evaluation.findings.map((finding) => `${finding.disposition}:${finding.id}`),
221
+ candidate: normalizedCandidateIdentity(input.snapshot.candidateIdentity),
222
+ scope: unique(input.scope),
223
+ validationReceiptIds: unique(input.validationReceiptIds),
224
+ acceptanceCoverage: unique(input.acceptanceCoverage),
225
+ strategyFingerprint: input.strategyFingerprint,
226
+ });
227
+ }
228
+ function progressSnapshotIdentity(snapshot) {
229
+ return digest([
230
+ snapshot.issueNumber,
231
+ snapshot.baseSha,
232
+ snapshot.configHash,
233
+ normalizedCandidateIdentity(snapshot.candidateIdentity),
234
+ ]);
235
+ }
236
+ function directEvaluationOutcome(evaluation, history) {
237
+ if (evaluation.blockingDisposition === 'safety-stop') {
238
+ const findings = evaluation.findings.filter((finding) => finding.disposition === 'safety-stop');
239
+ return safety(findings.flatMap((finding) => [finding.id, ...finding.evidenceRefs]), findings.map((finding) => finding.key).join(',') || 'evaluation-safety-stop', history);
240
+ }
241
+ if (evaluation.blockingDisposition === 'external-input') {
242
+ const findings = evaluation.findings.filter((finding) => finding.disposition === 'external-input');
243
+ return external(findings.flatMap((finding) => [finding.id, ...finding.evidenceRefs]), findings.map((finding) => finding.reason).join('\n'), history);
244
+ }
245
+ return undefined;
246
+ }
247
+ function resumable(resumeTarget, reason, nextEligibleAt, history, resume) {
248
+ return { kind: 'resumable', resumeTarget, reason, nextEligibleAt, resume, history };
249
+ }
250
+ function external(evidence, resumePredicate, history) {
251
+ assertEvidence(evidence, 'external-input');
252
+ requireText(resumePredicate, 'resumePredicate');
253
+ return {
254
+ kind: 'external-input-required',
255
+ evidence: unique(evidence),
256
+ resumePredicate,
257
+ history,
258
+ };
259
+ }
260
+ function safety(evidence, invariant, history) {
261
+ assertEvidence(evidence, 'safety-stop');
262
+ requireText(invariant, 'invariant');
263
+ return { kind: 'safety-stop', evidence: unique(evidence), invariant, history };
264
+ }
265
+ function latestAlternatives(history) {
266
+ return unique(history.at(-1)?.alternatives ?? []);
267
+ }
268
+ function suppressedFingerprints(history) {
269
+ return unique(history
270
+ .filter((entry) => entry.outcome === 'authorization-rejected'
271
+ || entry.outcome === 'deterministic-failure'
272
+ || entry.outcome === 'strategy-stagnated'
273
+ || entry.outcome === 'proposal-suppressed')
274
+ .map((entry) => entry.strategyFingerprint));
275
+ }
276
+ function canonicalize(value) {
277
+ if (Array.isArray(value))
278
+ return `[${value.map(canonicalize).join(',')}]`;
279
+ if (value && typeof value === 'object') {
280
+ return `{${Object.entries(value)
281
+ .filter(([, item]) => item !== undefined)
282
+ .sort(([left], [right]) => compareCodeUnits(left, right))
283
+ .map(([key, item]) => `${JSON.stringify(key)}:${canonicalize(item)}`)
284
+ .join(',')}}`;
285
+ }
286
+ return JSON.stringify(value);
287
+ }
288
+ function digest(value) {
289
+ return `sha256:${createHash('sha256').update(canonicalize(value)).digest('hex')}`;
290
+ }
291
+ function normalizedCandidateIdentity(candidate) {
292
+ return candidate.kind === 'legacy-unobserved'
293
+ ? { ...candidate }
294
+ : { ...candidate, changedFiles: unique(candidate.changedFiles) };
295
+ }
296
+ function compareCodeUnits(left, right) {
297
+ return left < right ? -1 : left > right ? 1 : 0;
298
+ }
299
+ function unique(values) {
300
+ return Array.from(new Set(values.map((value) => value.trim()).filter(Boolean))).sort();
301
+ }
302
+ function assertInput(input) {
303
+ requireText(input.missionId, 'missionId');
304
+ if (!Number.isSafeInteger(input.maxSteps) || input.maxSteps <= 0) {
305
+ throw new Error('Mission resolution maxSteps must be a positive integer.');
306
+ }
307
+ }
308
+ function assertEvidence(evidence, kind) {
309
+ if (unique(evidence).length === 0) {
310
+ throw new Error(`Mission resolution ${kind} requires evidence.`);
311
+ }
312
+ }
313
+ function requireText(value, field) {
314
+ if (value.trim().length === 0) {
315
+ throw new Error(`Mission resolution ${field} must be non-empty.`);
316
+ }
317
+ }
318
+ //# sourceMappingURL=mission-resolution-loop.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mission-resolution-loop.js","sourceRoot":"","sources":["../../../src/runner/mission-resolution-loop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EACL,QAAQ,GAGT,MAAM,yBAAyB,CAAC;AAkKjC,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,KAA6B,EAC7B,YAA2C;IAE3C,WAAW,CAAC,KAAK,CAAC,CAAC;IACnB,IAAI,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC/C,IAAI,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,oBAAoB,GAAG,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAC9D,IAAI,kBAAkB,GAAG,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAC1D,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IACrD,IAAI,YAAY,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC/C,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEtE,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,uBAAuB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC5D,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,IAAI,UAAU,CAAC,mBAAmB,KAAK,MAAM,EAAE,CAAC;YAC9C,OAAO;gBACL,IAAI,EAAE,iBAAiB;gBACvB,QAAQ;gBACR,UAAU;gBACV,OAAO;gBACP,KAAK;gBACL,oBAAoB;gBACpB,kBAAkB;aACnB,CAAC;QACJ,CAAC;QAED,IAAI,QAAmC,CAAC;QACxC,IAAI,mBAA2B,CAAC;QAChC,IAAI,SAAiB,CAAC;QACtB,IAAI,MAAM,EAAE,CAAC;YACX,CAAC,EAAE,QAAQ,EAAE,mBAAmB,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC,CAAC;QAC1D,CAAC;aAAM,CAAC;YACN,MAAM,UAAU,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;YACnD,QAAQ,GAAG,MAAM,YAAY,CAAC,QAAQ,CAAC;gBACrC,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC;gBACnC,UAAU,EAAE,eAAe,CAAC,UAAU,CAAC;gBACvC,YAAY,EAAE,CAAC,GAAG,YAAY,CAAC;gBAC/B,8BAA8B,EAAE,UAAU;gBAC1C,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC;aAClC,CAAC,CAAC;YACH,mBAAmB,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;YAC3D,SAAS,GAAG,gBAAgB,CAAC,KAAK,CAAC,SAAS,EAAE,QAAQ,EAAE,mBAAmB,CAAC,CAAC;YAC7E,IAAI,UAAU,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBAC7C,OAAO,CAAC,IAAI,CAAC;oBACX,SAAS;oBACT,mBAAmB;oBACnB,OAAO,EAAE,qBAAqB;oBAC9B,MAAM,EAAE,6CAA6C;oBACrD,YAAY,EAAE,CAAC,wCAAwC,CAAC;iBACzD,CAAC,CAAC;gBACH,YAAY,GAAG,CAAC,wCAAwC,CAAC,CAAC;gBAC1D,SAAS;YACX,CAAC;QACH,CAAC;QACD,IAAI,MAAM,IAAI,CAAC,mBAAmB,KAAK,0BAA0B,CAAC,QAAQ,CAAC;eACtE,SAAS,KAAK,gBAAgB,CAAC,KAAK,CAAC,SAAS,EAAE,QAAQ,EAAE,mBAAmB,CAAC,CAAC,EAAE,CAAC;YACrF,OAAO,MAAM,CAAC,CAAC,SAAS,CAAC,EAAE,yBAAyB,EAAE,OAAO,CAAC,CAAC;QACjE,CAAC;QAED,IAAI,MAAM,GAAG,MAAM,EAAE,MAAM,CAAC;QAC5B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;YAC9C,MAAM,aAAa,GAAG,MAAM,YAAY,CAAC,SAAS,CAAC;gBACjD,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC;gBACnC,UAAU,EAAE,eAAe,CAAC,UAAU,CAAC;gBACvC,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC;gBACnC,SAAS;gBACT,mBAAmB;aACpB,CAAC,CAAC;YACH,IAAI,aAAa,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;gBAClD,YAAY,GAAG,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC;gBAClD,OAAO,CAAC,IAAI,CAAC;oBACX,SAAS;oBACT,mBAAmB;oBACnB,OAAO,EAAE,wBAAwB;oBACjC,MAAM,EAAE,aAAa,CAAC,MAAM;oBAC5B,YAAY;iBACb,CAAC,CAAC;gBACH,MAAM,GAAG,SAAS,CAAC;gBACnB,SAAS;YACX,CAAC;YACD,IAAI,aAAa,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACvC,OAAO,SAAS,CAAC,aAAa,EAAE,aAAa,CAAC,MAAM,EAAE,aAAa,CAAC,cAAc,EAAE,OAAO,EAAE;oBAC3F,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,mBAAmB,EAAE,QAAQ;iBAC/D,CAAC,CAAC;YACL,CAAC;YACD,IAAI,aAAa,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;gBACrD,OAAO,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,aAAa,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;YAClF,CAAC;YACD,IAAI,aAAa,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACzC,OAAO,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,aAAa,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAC1E,CAAC;YACD,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC1E,OAAO,MAAM,CAAC;oBACZ,YAAY,QAAQ,CAAC,IAAI,EAAE;oBAC3B,iBAAiB,aAAa,CAAC,IAAI,EAAE;iBACtC,EAAE,uCAAuC,EAAE,OAAO,CAAC,CAAC;YACvD,CAAC;YACD,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YAClD,MAAM,GAAG;gBACP,GAAG,eAAe,CAAC,aAAa,CAAC,MAAM,CAAC;gBACxC,SAAS;gBACT,mBAAmB;gBACnB,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC;aACpC,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAErF,IAAI,OAAO,GAAG,MAAM,EAAE,OAAO,CAAC;QAC9B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;YAC9C,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC;gBAC3C,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,SAAS;gBACT,mBAAmB;gBACnB,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC;gBACnC,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC;aAChC,CAAC,CAAC;YACH,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACnC,OAAO,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,cAAc,EAAE,OAAO,EAAE;oBACjF,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM;iBACrE,CAAC,CAAC;YACL,CAAC;YACD,IAAI,SAAS,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;gBAC/C,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;gBAC9C,OAAO,CAAC,IAAI,CAAC;oBACX,SAAS;oBACT,mBAAmB;oBACnB,OAAO,EAAE,uBAAuB;oBAChC,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,YAAY;iBACb,CAAC,CAAC;gBACH,MAAM,GAAG,SAAS,CAAC;gBACnB,SAAS;YACX,CAAC;YACD,OAAO,GAAG,eAAe,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YAC7C,WAAW,CAAC,OAAO,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;YACtC,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,MAAM,CAAC,CAAC,YAAY,SAAS,EAAE,EAAE,YAAY,OAAO,CAAC,SAAS,EAAE,CAAC,EACtE,mCAAmC,EAAE,OAAO,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;QAEnF,MAAM,MAAM,GAAG,cAAc,CAAC;YAC5B,QAAQ;YACR,UAAU;YACV,KAAK;YACL,oBAAoB;YACpB,kBAAkB;YAClB,mBAAmB;SACpB,CAAC,CAAC;QACH,MAAM,cAAc,GAAG,MAAM,YAAY,CAAC,SAAS,CAAC;YAClD,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC;YACnC,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC;YACnC,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC;YAC/B,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC;SAClC,CAAC,CAAC;QACH,IAAI,cAAc,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACxC,OAAO,SAAS,CAAC,aAAa,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC,cAAc,EAAE,OAAO,EAAE;gBAC7F,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO;aAChF,CAAC,CAAC;QACL,CAAC;QACD,IAAI,cAAc,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;YACtD,OAAO,QAAQ,CAAC,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,cAAc,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC1C,OAAO,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC5E,CAAC;QACD,IAAI,cAAc,CAAC,QAAQ,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW;eAC3D,cAAc,CAAC,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;eACpD,cAAc,CAAC,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU,EAAE,CAAC;YAChE,OAAO,MAAM,CAAC;gBACZ,YAAY,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,UAAU,EAAE;gBAC7E,YAAY,cAAc,CAAC,QAAQ,CAAC,WAAW,IAAI,cAAc,CAAC,QAAQ,CAAC,OAAO,IAAI,cAAc,CAAC,QAAQ,CAAC,UAAU,EAAE;aAC3H,EAAE,2CAA2C,EAAE,OAAO,CAAC,CAAC;QAC3D,CAAC;QACD,QAAQ,GAAG,eAAe,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QACpD,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACrC,oBAAoB,GAAG,MAAM,CAAC,cAAc,CAAC,oBAAoB,CAAC,CAAC;QACnE,kBAAkB,GAAG,MAAM,CAAC,cAAc,CAAC,kBAAkB,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,cAAc,CAAC;YAC3B,QAAQ;YACR,UAAU,EAAE,YAAY;YACxB,KAAK;YACL,oBAAoB;YACpB,kBAAkB;YAClB,mBAAmB;SACpB,CAAC,CAAC;QACH,OAAO,CAAC,IAAI,CAAC;YACX,SAAS;YACT,mBAAmB;YACnB,OAAO,EAAE,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,UAAU;YAC7D,GAAG,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC;gBACrB,MAAM,EAAE,qDAAqD;gBAC7D,YAAY,EAAE,CAAC,wCAAwC,CAAC;aACzD,CAAC,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC;QACH,YAAY,GAAG,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,wCAAwC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,MAAM,GAAG,SAAS,CAAC;IACrB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,YAAY,EAAE,YAAY;QAC1B,MAAM,EAAE,kCAAkC;QAC1C,cAAc,EAAE,YAAY,CAAC,cAAc,CAAC,kCAAkC,CAAC;QAC/E,OAAO;KACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,QAAmC;IAC5E,OAAO,MAAM,CAAC,CAAC,qBAAqB,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,gBAAgB,CACvB,SAAiB,EACjB,QAA4B,EAC5B,mBAA2B;IAE3B,OAAO,aAAa,MAAM,CAAC,CAAC,SAAS,EAAE,wBAAwB,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAC9G,CAAC;AAED,SAAS,cAAc,CAAC,KAOvB;IACC,OAAO,YAAY,CAAC;QAClB,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;QAC9F,SAAS,EAAE,2BAA2B,CAAC,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QACxE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAC1B,oBAAoB,EAAE,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC;QACxD,kBAAkB,EAAE,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC;QACpD,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;KAC/C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAAC,QAA4B;IAC5D,OAAO,MAAM,CAAC;QACZ,QAAQ,CAAC,WAAW;QACpB,QAAQ,CAAC,OAAO;QAChB,QAAQ,CAAC,UAAU;QACnB,2BAA2B,CAAC,QAAQ,CAAC,iBAAiB,CAAC;KACxD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAC9B,UAA4B,EAC5B,OAAiC;IAEjC,IAAI,UAAU,CAAC,mBAAmB,KAAK,aAAa,EAAE,CAAC;QACrD,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,KAAK,aAAa,CAAC,CAAC;QAChG,OAAO,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,EAChF,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,wBAAwB,EAAE,OAAO,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,UAAU,CAAC,mBAAmB,KAAK,gBAAgB,EAAE,CAAC;QACxD,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,KAAK,gBAAgB,CAAC,CAAC;QACnG,OAAO,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,EAClF,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,SAAS,CAChB,YAAyD,EACzD,MAAc,EACd,cAAsB,EACtB,OAAiC,EACjC,MAA+B;IAE/B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AACtF,CAAC;AAED,SAAS,QAAQ,CACf,QAAkB,EAClB,eAAuB,EACvB,OAAiC;IAEjC,cAAc,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;IAC3C,WAAW,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;IAChD,OAAO;QACL,IAAI,EAAE,yBAAyB;QAC/B,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC;QAC1B,eAAe;QACf,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CACb,QAAkB,EAClB,SAAiB,EACjB,OAAiC;IAEjC,cAAc,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IACxC,WAAW,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACpC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;AACjF,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAiC;IAC3D,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAiC;IAC/D,OAAO,MAAM,CAAC,OAAO;SAClB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,wBAAwB;WACxD,KAAK,CAAC,OAAO,KAAK,uBAAuB;WACzC,KAAK,CAAC,OAAO,KAAK,oBAAoB;WACtC,KAAK,CAAC,OAAO,KAAK,qBAAqB,CAAC;SAC5C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC1E,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;aACxD,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;aACxC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;aACxD,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;aACpE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAClB,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACpF,CAAC;AAED,SAAS,2BAA2B,CAClC,SAAkD;IAElD,OAAO,SAAS,CAAC,IAAI,KAAK,mBAAmB;QAC3C,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE;QAClB,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,YAAY,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;AACrE,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY,EAAE,KAAa;IACnD,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,MAAM,CAAC,MAAgB;IAC9B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACzF,CAAC;AAED,SAAS,WAAW,CAAC,KAA6B;IAChD,WAAW,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC1C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,QAAkB,EAAE,IAAY;IACtD,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,qBAAqB,CAAC,CAAC;IACnE,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAa,EAAE,KAAa;IAC/C,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,sBAAsB,KAAK,qBAAqB,CAAC,CAAC;IACpE,CAAC;AACH,CAAC"}