codex-orchestrator 0.1.46 → 0.1.48

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 (170) hide show
  1. package/CHANGELOG.md +34 -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/runner/command-utils.d.ts.map +1 -1
  7. package/dist/src/runner/command-utils.js +1 -0
  8. package/dist/src/runner/command-utils.js.map +1 -1
  9. package/dist/src/runner/completion-report.d.ts +6 -1
  10. package/dist/src/runner/completion-report.d.ts.map +1 -1
  11. package/dist/src/runner/completion-report.js +26 -1
  12. package/dist/src/runner/completion-report.js.map +1 -1
  13. package/dist/src/runner/handoff-evidence.d.ts.map +1 -1
  14. package/dist/src/runner/handoff-evidence.js +13 -8
  15. package/dist/src/runner/handoff-evidence.js.map +1 -1
  16. package/dist/src/runner/local-execution-session.d.ts.map +1 -1
  17. package/dist/src/runner/local-execution-session.js +24 -7
  18. package/dist/src/runner/local-execution-session.js.map +1 -1
  19. package/dist/src/runner/mission-activation.d.ts +29 -0
  20. package/dist/src/runner/mission-activation.d.ts.map +1 -0
  21. package/dist/src/runner/mission-activation.js +54 -0
  22. package/dist/src/runner/mission-activation.js.map +1 -0
  23. package/dist/src/runner/mission-agent-broker.d.ts +53 -0
  24. package/dist/src/runner/mission-agent-broker.d.ts.map +1 -0
  25. package/dist/src/runner/mission-agent-broker.js +182 -0
  26. package/dist/src/runner/mission-agent-broker.js.map +1 -0
  27. package/dist/src/runner/mission-cancellation.d.ts +77 -0
  28. package/dist/src/runner/mission-cancellation.d.ts.map +1 -0
  29. package/dist/src/runner/mission-cancellation.js +180 -0
  30. package/dist/src/runner/mission-cancellation.js.map +1 -0
  31. package/dist/src/runner/mission-canonical-path.d.ts +34 -0
  32. package/dist/src/runner/mission-canonical-path.d.ts.map +1 -0
  33. package/dist/src/runner/mission-canonical-path.js +121 -0
  34. package/dist/src/runner/mission-canonical-path.js.map +1 -0
  35. package/dist/src/runner/mission-capability-kernel.d.ts +34 -0
  36. package/dist/src/runner/mission-capability-kernel.d.ts.map +1 -0
  37. package/dist/src/runner/mission-capability-kernel.js +158 -0
  38. package/dist/src/runner/mission-capability-kernel.js.map +1 -0
  39. package/dist/src/runner/mission-check-policy.d.ts +17 -0
  40. package/dist/src/runner/mission-check-policy.d.ts.map +1 -0
  41. package/dist/src/runner/mission-check-policy.js +31 -0
  42. package/dist/src/runner/mission-check-policy.js.map +1 -0
  43. package/dist/src/runner/mission-coordinator-lock.d.ts +16 -0
  44. package/dist/src/runner/mission-coordinator-lock.d.ts.map +1 -0
  45. package/dist/src/runner/mission-coordinator-lock.js +170 -0
  46. package/dist/src/runner/mission-coordinator-lock.js.map +1 -0
  47. package/dist/src/runner/mission-deployment.d.ts +21 -0
  48. package/dist/src/runner/mission-deployment.d.ts.map +1 -0
  49. package/dist/src/runner/mission-deployment.js +108 -0
  50. package/dist/src/runner/mission-deployment.js.map +1 -0
  51. package/dist/src/runner/mission-evaluation.d.ts +61 -0
  52. package/dist/src/runner/mission-evaluation.d.ts.map +1 -0
  53. package/dist/src/runner/mission-evaluation.js +183 -0
  54. package/dist/src/runner/mission-evaluation.js.map +1 -0
  55. package/dist/src/runner/mission-executor-probe.d.ts +10 -0
  56. package/dist/src/runner/mission-executor-probe.d.ts.map +1 -0
  57. package/dist/src/runner/mission-executor-probe.js +180 -0
  58. package/dist/src/runner/mission-executor-probe.js.map +1 -0
  59. package/dist/src/runner/mission-git-contracts.d.ts +75 -0
  60. package/dist/src/runner/mission-git-contracts.d.ts.map +1 -0
  61. package/dist/src/runner/mission-git-contracts.js +201 -0
  62. package/dist/src/runner/mission-git-contracts.js.map +1 -0
  63. package/dist/src/runner/mission-git-runtime-owner-ref.d.ts +13 -0
  64. package/dist/src/runner/mission-git-runtime-owner-ref.d.ts.map +1 -0
  65. package/dist/src/runner/mission-git-runtime-owner-ref.js +111 -0
  66. package/dist/src/runner/mission-git-runtime-owner-ref.js.map +1 -0
  67. package/dist/src/runner/mission-git-transaction.d.ts +97 -0
  68. package/dist/src/runner/mission-git-transaction.d.ts.map +1 -0
  69. package/dist/src/runner/mission-git-transaction.js +1009 -0
  70. package/dist/src/runner/mission-git-transaction.js.map +1 -0
  71. package/dist/src/runner/mission-identifiers.d.ts +31 -0
  72. package/dist/src/runner/mission-identifiers.d.ts.map +1 -0
  73. package/dist/src/runner/mission-identifiers.js +75 -0
  74. package/dist/src/runner/mission-identifiers.js.map +1 -0
  75. package/dist/src/runner/mission-input-snapshot.d.ts +21 -0
  76. package/dist/src/runner/mission-input-snapshot.d.ts.map +1 -0
  77. package/dist/src/runner/mission-input-snapshot.js +63 -0
  78. package/dist/src/runner/mission-input-snapshot.js.map +1 -0
  79. package/dist/src/runner/mission-ownership.d.ts +38 -0
  80. package/dist/src/runner/mission-ownership.d.ts.map +1 -0
  81. package/dist/src/runner/mission-ownership.js +88 -0
  82. package/dist/src/runner/mission-ownership.js.map +1 -0
  83. package/dist/src/runner/mission-patch-audit.d.ts +21 -0
  84. package/dist/src/runner/mission-patch-audit.d.ts.map +1 -0
  85. package/dist/src/runner/mission-patch-audit.js +186 -0
  86. package/dist/src/runner/mission-patch-audit.js.map +1 -0
  87. package/dist/src/runner/mission-path-language.d.ts +6 -0
  88. package/dist/src/runner/mission-path-language.d.ts.map +1 -0
  89. package/dist/src/runner/mission-path-language.js +106 -0
  90. package/dist/src/runner/mission-path-language.js.map +1 -0
  91. package/dist/src/runner/mission-permit-authority.d.ts +26 -0
  92. package/dist/src/runner/mission-permit-authority.d.ts.map +1 -0
  93. package/dist/src/runner/mission-permit-authority.js +145 -0
  94. package/dist/src/runner/mission-permit-authority.js.map +1 -0
  95. package/dist/src/runner/mission-plan-parent-coordinator.d.ts +87 -0
  96. package/dist/src/runner/mission-plan-parent-coordinator.d.ts.map +1 -0
  97. package/dist/src/runner/mission-plan-parent-coordinator.js +412 -0
  98. package/dist/src/runner/mission-plan-parent-coordinator.js.map +1 -0
  99. package/dist/src/runner/mission-plan-parent.d.ts +154 -0
  100. package/dist/src/runner/mission-plan-parent.d.ts.map +1 -0
  101. package/dist/src/runner/mission-plan-parent.js +583 -0
  102. package/dist/src/runner/mission-plan-parent.js.map +1 -0
  103. package/dist/src/runner/mission-process-executor.d.ts +25 -0
  104. package/dist/src/runner/mission-process-executor.d.ts.map +1 -0
  105. package/dist/src/runner/mission-process-executor.js +182 -0
  106. package/dist/src/runner/mission-process-executor.js.map +1 -0
  107. package/dist/src/runner/mission-quarantine-patch-executor.d.ts +29 -0
  108. package/dist/src/runner/mission-quarantine-patch-executor.d.ts.map +1 -0
  109. package/dist/src/runner/mission-quarantine-patch-executor.js +121 -0
  110. package/dist/src/runner/mission-quarantine-patch-executor.js.map +1 -0
  111. package/dist/src/runner/mission-repository-executor.d.ts +54 -0
  112. package/dist/src/runner/mission-repository-executor.d.ts.map +1 -0
  113. package/dist/src/runner/mission-repository-executor.js +192 -0
  114. package/dist/src/runner/mission-repository-executor.js.map +1 -0
  115. package/dist/src/runner/mission-repository-observer.d.ts +8 -0
  116. package/dist/src/runner/mission-repository-observer.d.ts.map +1 -0
  117. package/dist/src/runner/mission-repository-observer.js +24 -0
  118. package/dist/src/runner/mission-repository-observer.js.map +1 -0
  119. package/dist/src/runner/mission-reservations.d.ts +15 -0
  120. package/dist/src/runner/mission-reservations.d.ts.map +1 -0
  121. package/dist/src/runner/mission-reservations.js +116 -0
  122. package/dist/src/runner/mission-reservations.js.map +1 -0
  123. package/dist/src/runner/mission-resolution-loop.d.ts +172 -0
  124. package/dist/src/runner/mission-resolution-loop.d.ts.map +1 -0
  125. package/dist/src/runner/mission-resolution-loop.js +318 -0
  126. package/dist/src/runner/mission-resolution-loop.js.map +1 -0
  127. package/dist/src/runner/mission-runtime-owner.d.ts +36 -0
  128. package/dist/src/runner/mission-runtime-owner.d.ts.map +1 -0
  129. package/dist/src/runner/mission-runtime-owner.js +174 -0
  130. package/dist/src/runner/mission-runtime-owner.js.map +1 -0
  131. package/dist/src/runner/mission-safe-executor.d.ts +96 -0
  132. package/dist/src/runner/mission-safe-executor.d.ts.map +1 -0
  133. package/dist/src/runner/mission-safe-executor.js +288 -0
  134. package/dist/src/runner/mission-safe-executor.js.map +1 -0
  135. package/dist/src/runner/mission-sandbox.d.ts +16 -0
  136. package/dist/src/runner/mission-sandbox.d.ts.map +1 -0
  137. package/dist/src/runner/mission-sandbox.js +91 -0
  138. package/dist/src/runner/mission-sandbox.js.map +1 -0
  139. package/dist/src/runner/mission-scheduler.d.ts +57 -0
  140. package/dist/src/runner/mission-scheduler.d.ts.map +1 -0
  141. package/dist/src/runner/mission-scheduler.js +205 -0
  142. package/dist/src/runner/mission-scheduler.js.map +1 -0
  143. package/dist/src/runner/mission-scope-expansion.d.ts +47 -0
  144. package/dist/src/runner/mission-scope-expansion.d.ts.map +1 -0
  145. package/dist/src/runner/mission-scope-expansion.js +147 -0
  146. package/dist/src/runner/mission-scope-expansion.js.map +1 -0
  147. package/dist/src/runner/mission-state-machine.d.ts +118 -0
  148. package/dist/src/runner/mission-state-machine.d.ts.map +1 -0
  149. package/dist/src/runner/mission-state-machine.js +316 -0
  150. package/dist/src/runner/mission-state-machine.js.map +1 -0
  151. package/dist/src/runner/mission-state-store.d.ts +70 -0
  152. package/dist/src/runner/mission-state-store.d.ts.map +1 -0
  153. package/dist/src/runner/mission-state-store.js +856 -0
  154. package/dist/src/runner/mission-state-store.js.map +1 -0
  155. package/dist/src/runner/prompt.d.ts.map +1 -1
  156. package/dist/src/runner/prompt.js +5 -2
  157. package/dist/src/runner/prompt.js.map +1 -1
  158. package/dist/src/runner/review-gates.js +41 -1
  159. package/dist/src/runner/review-gates.js.map +1 -1
  160. package/dist/src/runner/rework-policy.d.ts +2 -1
  161. package/dist/src/runner/rework-policy.d.ts.map +1 -1
  162. package/dist/src/runner/rework-policy.js +3 -0
  163. package/dist/src/runner/rework-policy.js.map +1 -1
  164. package/dist/src/setup/project-config.d.ts.map +1 -1
  165. package/dist/src/setup/project-config.js +5 -0
  166. package/dist/src/setup/project-config.js.map +1 -1
  167. package/docs/deep-dive.md +39 -17
  168. package/package.json +1 -1
  169. package/prompts/workflows/issue-tree-orchestration.md +1 -1
  170. package/prompts/workflows/scoped-implementation.md +2 -1
@@ -0,0 +1,186 @@
1
+ import { Buffer } from 'node:buffer';
2
+ import { globMatches, normalizePath } from '../path-policy.js';
3
+ import { missionPathDenied } from './mission-path-language.js';
4
+ export function auditMissionPatch(input) {
5
+ if (!Number.isSafeInteger(input.maxBytes) || input.maxBytes <= 0) {
6
+ throw new Error('Mission patch maxBytes must be a positive integer.');
7
+ }
8
+ if (Buffer.byteLength(input.patch, 'utf8') > input.maxBytes) {
9
+ return rejected('patch-size-limit');
10
+ }
11
+ if (/^(?:GIT binary patch|Binary files )/mu.test(input.patch)) {
12
+ return rejected('binary-patch-forbidden');
13
+ }
14
+ const lines = input.patch.split(/\r?\n/u);
15
+ const files = [];
16
+ let current;
17
+ for (const line of lines) {
18
+ const header = /^diff --git a\/(\S+) b\/(\S+)$/u.exec(line);
19
+ if (line.startsWith('diff ') && !header) {
20
+ return rejected('malformed-diff-header');
21
+ }
22
+ if (header) {
23
+ if (current) {
24
+ if (current.inHunk)
25
+ return rejected('hunk-line-count-mismatch');
26
+ files.push(current);
27
+ }
28
+ if (header[1] !== header[2])
29
+ return rejected('rename-or-copy-forbidden');
30
+ const path = normalizePath(header[2]);
31
+ const pathDenial = validatePath(path, input.grantedPaths, input.deniedPaths);
32
+ if (pathDenial)
33
+ return rejected(pathDenial);
34
+ current = {
35
+ path,
36
+ oldMode: '100644',
37
+ newMode: '100644',
38
+ oldHeader: false,
39
+ newHeader: false,
40
+ hunk: false,
41
+ inHunk: false,
42
+ remainingOld: 0,
43
+ remainingNew: 0,
44
+ };
45
+ continue;
46
+ }
47
+ if (!current) {
48
+ if (/^(?:--- |\+\+\+ |@@ |Index: )/u.test(line)) {
49
+ return rejected('patch-record-before-diff-header');
50
+ }
51
+ continue;
52
+ }
53
+ if (current.inHunk) {
54
+ if (line === '\')
55
+ continue;
56
+ if (line.length === 0)
57
+ return rejected('hunk-line-count-mismatch');
58
+ if (line.startsWith(' ')) {
59
+ current.remainingOld -= 1;
60
+ current.remainingNew -= 1;
61
+ }
62
+ else if (line.startsWith('-')) {
63
+ current.remainingOld -= 1;
64
+ }
65
+ else if (line.startsWith('+')) {
66
+ current.remainingNew -= 1;
67
+ }
68
+ else {
69
+ return rejected('malformed-hunk-body');
70
+ }
71
+ if (current.remainingOld < 0 || current.remainingNew < 0) {
72
+ return rejected('hunk-line-count-mismatch');
73
+ }
74
+ if (current.remainingOld === 0 && current.remainingNew === 0) {
75
+ current.inHunk = false;
76
+ }
77
+ continue;
78
+ }
79
+ if (/^(?:rename|copy) (?:from|to) /u.test(line)) {
80
+ return rejected('rename-or-copy-forbidden');
81
+ }
82
+ const oldPath = /^--- (.+)$/u.exec(line)?.[1];
83
+ if (oldPath && current.oldHeader)
84
+ return rejected('repeated-file-header');
85
+ if (oldPath && oldPath !== '/dev/null' && oldPath !== `a/${current.path}`) {
86
+ return rejected('patch-header-path-mismatch');
87
+ }
88
+ if (oldPath) {
89
+ current.oldHeader = true;
90
+ if (oldPath === '/dev/null')
91
+ current.oldMode = null;
92
+ }
93
+ const newPath = /^\+\+\+ (.+)$/u.exec(line)?.[1];
94
+ if (newPath && current.newHeader)
95
+ return rejected('repeated-file-header');
96
+ if (newPath && newPath !== '/dev/null' && newPath !== `b/${current.path}`) {
97
+ return rejected('patch-header-path-mismatch');
98
+ }
99
+ if (newPath) {
100
+ current.newHeader = true;
101
+ if (newPath === '/dev/null')
102
+ current.newMode = null;
103
+ }
104
+ if (line.startsWith('@@')) {
105
+ const hunk = /^@@ -(\d+)(?:,(\d+))? \+(\d+)(?:,(\d+))? @@(?: .*)?$/u.exec(line);
106
+ if (!hunk || !current.oldHeader || !current.newHeader) {
107
+ return rejected('malformed-hunk-header');
108
+ }
109
+ current.remainingOld = hunk[2] === undefined ? 1 : Number(hunk[2]);
110
+ current.remainingNew = hunk[4] === undefined ? 1 : Number(hunk[4]);
111
+ if (!Number.isSafeInteger(current.remainingOld) || !Number.isSafeInteger(current.remainingNew)
112
+ || (current.remainingOld === 0 && current.remainingNew === 0)) {
113
+ return rejected('malformed-hunk-header');
114
+ }
115
+ current.hunk = true;
116
+ current.inHunk = current.remainingOld > 0 || current.remainingNew > 0;
117
+ continue;
118
+ }
119
+ const index = /^index [a-f0-9]+\.\.[a-f0-9]+(?: (\d{6}))?$/u.exec(line);
120
+ if (index?.[1]) {
121
+ current.oldMode = index[1];
122
+ current.newMode = index[1];
123
+ }
124
+ const oldMode = /^(?:old mode|deleted file mode) (\d{6})$/u.exec(line)?.[1];
125
+ const newMode = /^(?:new mode|new file mode) (\d{6})$/u.exec(line)?.[1];
126
+ if (oldMode)
127
+ current.oldMode = oldMode;
128
+ if (newMode)
129
+ current.newMode = newMode;
130
+ if (current.hunk && /^[ +\-]/u.test(line)) {
131
+ return rejected('hunk-line-count-mismatch');
132
+ }
133
+ }
134
+ if (current) {
135
+ if (current.inHunk)
136
+ return rejected('hunk-line-count-mismatch');
137
+ files.push(current);
138
+ }
139
+ if (files.length === 0) {
140
+ return rejected('no-file-diffs');
141
+ }
142
+ if (files.some((file) => !file.oldHeader || !file.newHeader || !file.hunk)) {
143
+ return rejected('incomplete-file-diff');
144
+ }
145
+ const paths = files.map((file) => file.path);
146
+ if (new Set(paths).size !== paths.length) {
147
+ return rejected('duplicate-file-diff');
148
+ }
149
+ const foldedPaths = paths.map((path) => path.normalize('NFC').toLocaleLowerCase('en-US'));
150
+ if (new Set(foldedPaths).size !== foldedPaths.length) {
151
+ return rejected('case-colliding-file-diff');
152
+ }
153
+ if (files.some((file) => (file.oldMode !== null && file.oldMode !== '100644')
154
+ || (file.newMode !== null && file.newMode !== '100644')
155
+ || (file.oldMode === null && file.newMode === null))) {
156
+ return rejected('non-regular-file-mode-forbidden');
157
+ }
158
+ return {
159
+ accepted: true,
160
+ files: files.map(({ path, oldMode, newMode }) => ({
161
+ path,
162
+ operation: oldMode === null ? 'add' : newMode === null ? 'delete' : 'modify',
163
+ oldMode,
164
+ newMode,
165
+ })),
166
+ };
167
+ }
168
+ function validatePath(path, grants, denies) {
169
+ if (path.length === 0 || path.startsWith('/') || path.split('/').includes('..')) {
170
+ return 'invalid-repository-path';
171
+ }
172
+ if (path === '.git' || path.startsWith('.git/')) {
173
+ return 'git-internal-path-forbidden';
174
+ }
175
+ if (missionPathDenied(path, denies)) {
176
+ return 'denied-path';
177
+ }
178
+ if (!grants.some((pattern) => globMatches(pattern, path))) {
179
+ return 'path-outside-granted-scope';
180
+ }
181
+ return undefined;
182
+ }
183
+ function rejected(reason) {
184
+ return { accepted: false, reason };
185
+ }
186
+ //# sourceMappingURL=mission-patch-audit.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mission-patch-audit.js","sourceRoot":"","sources":["../../../src/runner/mission-patch-audit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAoB/D,MAAM,UAAU,iBAAiB,CAAC,KAA6B;IAC7D,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC5D,OAAO,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,uCAAuC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9D,OAAO,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IAC5C,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,KAAK,GAUN,EAAE,CAAC;IACR,IAAI,OAA2C,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,iCAAiC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACxC,OAAO,QAAQ,CAAC,uBAAuB,CAAC,CAAC;QAC3C,CAAC;QACD,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,OAAO,EAAE,CAAC;gBACZ,IAAI,OAAO,CAAC,MAAM;oBAAE,OAAO,QAAQ,CAAC,0BAA0B,CAAC,CAAC;gBAChE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtB,CAAC;YACD,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC;gBAAE,OAAO,QAAQ,CAAC,0BAA0B,CAAC,CAAC;YACzE,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;YACvC,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;YAC7E,IAAI,UAAU;gBAAE,OAAO,QAAQ,CAAC,UAAU,CAAC,CAAC;YAC5C,OAAO,GAAG;gBACR,IAAI;gBACJ,OAAO,EAAE,QAAQ;gBACjB,OAAO,EAAE,QAAQ;gBACjB,SAAS,EAAE,KAAK;gBAChB,SAAS,EAAE,KAAK;gBAChB,IAAI,EAAE,KAAK;gBACX,MAAM,EAAE,KAAK;gBACb,YAAY,EAAE,CAAC;gBACf,YAAY,EAAE,CAAC;aAChB,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,IAAI,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChD,OAAO,QAAQ,CAAC,iCAAiC,CAAC,CAAC;YACrD,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACnB,IAAI,IAAI,KAAK,8BAA8B;gBAAE,SAAS;YACtD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,QAAQ,CAAC,0BAA0B,CAAC,CAAC;YACnE,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,OAAO,CAAC,YAAY,IAAI,CAAC,CAAC;gBAC1B,OAAO,CAAC,YAAY,IAAI,CAAC,CAAC;YAC5B,CAAC;iBAAM,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChC,OAAO,CAAC,YAAY,IAAI,CAAC,CAAC;YAC5B,CAAC;iBAAM,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChC,OAAO,CAAC,YAAY,IAAI,CAAC,CAAC;YAC5B,CAAC;iBAAM,CAAC;gBACN,OAAO,QAAQ,CAAC,qBAAqB,CAAC,CAAC;YACzC,CAAC;YACD,IAAI,OAAO,CAAC,YAAY,GAAG,CAAC,IAAI,OAAO,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC;gBACzD,OAAO,QAAQ,CAAC,0BAA0B,CAAC,CAAC;YAC9C,CAAC;YACD,IAAI,OAAO,CAAC,YAAY,KAAK,CAAC,IAAI,OAAO,CAAC,YAAY,KAAK,CAAC,EAAE,CAAC;gBAC7D,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC;YACzB,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,OAAO,QAAQ,CAAC,0BAA0B,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,OAAO,IAAI,OAAO,CAAC,SAAS;YAAE,OAAO,QAAQ,CAAC,sBAAsB,CAAC,CAAC;QAC1E,IAAI,OAAO,IAAI,OAAO,KAAK,WAAW,IAAI,OAAO,KAAK,KAAK,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;YAC1E,OAAO,QAAQ,CAAC,4BAA4B,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC;YACzB,IAAI,OAAO,KAAK,WAAW;gBAAE,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;QACtD,CAAC;QACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,IAAI,OAAO,IAAI,OAAO,CAAC,SAAS;YAAE,OAAO,QAAQ,CAAC,sBAAsB,CAAC,CAAC;QAC1E,IAAI,OAAO,IAAI,OAAO,KAAK,WAAW,IAAI,OAAO,KAAK,KAAK,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;YAC1E,OAAO,QAAQ,CAAC,4BAA4B,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC;YACzB,IAAI,OAAO,KAAK,WAAW;gBAAE,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;QACtD,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,uDAAuD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChF,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;gBACtD,OAAO,QAAQ,CAAC,uBAAuB,CAAC,CAAC;YAC3C,CAAC;YACD,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACnE,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACnE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC;mBACzF,CAAC,OAAO,CAAC,YAAY,KAAK,CAAC,IAAI,OAAO,CAAC,YAAY,KAAK,CAAC,CAAC,EAAE,CAAC;gBAChE,OAAO,QAAQ,CAAC,uBAAuB,CAAC,CAAC;YAC3C,CAAC;YACD,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC;YACpB,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,YAAY,GAAG,CAAC,IAAI,OAAO,CAAC,YAAY,GAAG,CAAC,CAAC;YACtE,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,8CAA8C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACf,OAAO,CAAC,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAC3B,OAAO,CAAC,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7B,CAAC;QACD,MAAM,OAAO,GAAG,2CAA2C,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5E,MAAM,OAAO,GAAG,uCAAuC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxE,IAAI,OAAO;YAAE,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC;QACvC,IAAI,OAAO;YAAE,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC;QACvC,IAAI,OAAO,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,OAAO,QAAQ,CAAC,0BAA0B,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,OAAO,CAAC,MAAM;YAAE,OAAO,QAAQ,CAAC,0BAA0B,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,QAAQ,CAAC,eAAe,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3E,OAAO,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACzC,OAAO,QAAQ,CAAC,qBAAqB,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1F,IAAI,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,MAAM,EAAE,CAAC;QACrD,OAAO,QAAQ,CAAC,0BAA0B,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC;WACxE,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC;WACpD,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC;QACvD,OAAO,QAAQ,CAAC,iCAAiC,CAAC,CAAC;IACrD,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,IAAI;QACd,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YAChD,IAAI;YACJ,SAAS,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;YAC5E,OAAO;YACP,OAAO;SACR,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,MAAgB,EAAE,MAAgB;IACpE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAChF,OAAO,yBAAyB,CAAC;IACnC,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAChD,OAAO,6BAA6B,CAAC;IACvC,CAAC;IACD,IAAI,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QACpC,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;QAC1D,OAAO,4BAA4B,CAAC;IACtC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,QAAQ,CAAC,MAAc;IAC9B,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AACrC,CAAC"}
@@ -0,0 +1,6 @@
1
+ export declare const missionDefaultDeniedRepositoryPaths: readonly [".env*", "**/.env*", ".git", ".git/**", "id_rsa", "**/id_rsa", "id_ed25519", "**/id_ed25519"];
2
+ export declare function assertMissionPathPattern(pattern: string, context: string): string;
3
+ export declare function scopePatternContainedBy(request: string, grant: string): boolean;
4
+ export declare function missionPathDenied(path: string, patterns: string[]): boolean;
5
+ export declare function missionPathPatternsOverlap(left: string, right: string): boolean;
6
+ //# sourceMappingURL=mission-path-language.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mission-path-language.d.ts","sourceRoot":"","sources":["../../../src/runner/mission-path-language.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,mCAAmC,yGAStC,CAAC;AAEX,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAOjF;AAED,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAM/E;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAQ3E;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAyB/E"}
@@ -0,0 +1,106 @@
1
+ import { globMatches, normalizePath } from '../path-policy.js';
2
+ export const missionDefaultDeniedRepositoryPaths = [
3
+ '.env*',
4
+ '**/.env*',
5
+ '.git',
6
+ '.git/**',
7
+ 'id_rsa',
8
+ '**/id_rsa',
9
+ 'id_ed25519',
10
+ '**/id_ed25519',
11
+ ];
12
+ export function assertMissionPathPattern(pattern, context) {
13
+ const normalized = normalizePath(pattern);
14
+ if (normalized.length === 0 || normalized.startsWith('/')
15
+ || normalized.split('/').some((segment) => segment.length === 0 || segment === '..')) {
16
+ throw new Error(`${context} must be a non-empty repository-relative glob without empty segments.`);
17
+ }
18
+ return normalized;
19
+ }
20
+ export function scopePatternContainedBy(request, grant) {
21
+ const normalizedRequest = assertMissionPathPattern(request, 'Mission requested path');
22
+ const normalizedGrant = assertMissionPathPattern(grant, 'Mission granted path');
23
+ if (normalizedRequest === normalizedGrant)
24
+ return true;
25
+ if (!normalizedRequest.includes('*'))
26
+ return globMatches(normalizedGrant, normalizedRequest);
27
+ return false;
28
+ }
29
+ export function missionPathDenied(path, patterns) {
30
+ const normalized = normalizePath(path).normalize('NFC');
31
+ const folded = normalized.toLocaleLowerCase('en-US');
32
+ return patterns.some((pattern) => {
33
+ const normalizedPattern = normalizePath(pattern).normalize('NFC');
34
+ return globMatches(normalizedPattern, normalized)
35
+ || globMatches(normalizedPattern.toLocaleLowerCase('en-US'), folded);
36
+ });
37
+ }
38
+ export function missionPathPatternsOverlap(left, right) {
39
+ const leftSegments = assertMissionPathPattern(left, 'Mission scope path').split('/');
40
+ const rightSegments = assertMissionPathPattern(right, 'Mission scope path').split('/');
41
+ const queue = [[0, 0]];
42
+ const visited = new Set();
43
+ while (queue.length > 0) {
44
+ const [leftIndex, rightIndex] = queue.shift();
45
+ const key = `${leftIndex}:${rightIndex}`;
46
+ if (visited.has(key))
47
+ continue;
48
+ visited.add(key);
49
+ if (leftIndex === leftSegments.length && rightIndex === rightSegments.length)
50
+ return true;
51
+ const leftSegment = leftSegments[leftIndex];
52
+ const rightSegment = rightSegments[rightIndex];
53
+ if (leftSegment === '**')
54
+ queue.push([leftIndex + 1, rightIndex]);
55
+ if (rightSegment === '**')
56
+ queue.push([leftIndex, rightIndex + 1]);
57
+ if (leftSegment === undefined || rightSegment === undefined)
58
+ continue;
59
+ if (leftSegment === '**' || rightSegment === '**'
60
+ || segmentPatternsOverlap(leftSegment, rightSegment)) {
61
+ queue.push([
62
+ leftSegment === '**' ? leftIndex : leftIndex + 1,
63
+ rightSegment === '**' ? rightIndex : rightIndex + 1,
64
+ ]);
65
+ }
66
+ }
67
+ return false;
68
+ }
69
+ function segmentPatternsOverlap(left, right) {
70
+ const alphabet = new Set([
71
+ ...[...left].filter((character) => character !== '*'),
72
+ ...[...right].filter((character) => character !== '*'),
73
+ '\u0001',
74
+ ]);
75
+ const queue = [[0, 0, false]];
76
+ const visited = new Set();
77
+ while (queue.length > 0) {
78
+ const [leftIndex, rightIndex, consumed] = queue.shift();
79
+ const key = `${leftIndex}:${rightIndex}:${consumed ? 1 : 0}`;
80
+ if (visited.has(key))
81
+ continue;
82
+ visited.add(key);
83
+ if (leftIndex === left.length && rightIndex === right.length && consumed)
84
+ return true;
85
+ if (left[leftIndex] === '*')
86
+ queue.push([leftIndex + 1, rightIndex, consumed]);
87
+ if (right[rightIndex] === '*')
88
+ queue.push([leftIndex, rightIndex + 1, consumed]);
89
+ for (const character of alphabet) {
90
+ const nextLeft = consumeSegmentCharacter(left, leftIndex, character);
91
+ const nextRight = consumeSegmentCharacter(right, rightIndex, character);
92
+ if (nextLeft !== undefined && nextRight !== undefined)
93
+ queue.push([nextLeft, nextRight, true]);
94
+ }
95
+ }
96
+ return false;
97
+ }
98
+ function consumeSegmentCharacter(pattern, index, character) {
99
+ const expected = pattern[index];
100
+ if (expected === '*')
101
+ return index;
102
+ if (expected === character)
103
+ return index + 1;
104
+ return undefined;
105
+ }
106
+ //# sourceMappingURL=mission-path-language.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mission-path-language.js","sourceRoot":"","sources":["../../../src/runner/mission-path-language.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAE/D,MAAM,CAAC,MAAM,mCAAmC,GAAG;IACjD,OAAO;IACP,UAAU;IACV,MAAM;IACN,SAAS;IACT,QAAQ;IACR,WAAW;IACX,YAAY;IACZ,eAAe;CACP,CAAC;AAEX,MAAM,UAAU,wBAAwB,CAAC,OAAe,EAAE,OAAe;IACvE,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC;WACpD,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,KAAK,IAAI,CAAC,EAAE,CAAC;QACvF,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,uEAAuE,CAAC,CAAC;IACrG,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAAe,EAAE,KAAa;IACpE,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,OAAO,EAAE,wBAAwB,CAAC,CAAC;IACtF,MAAM,eAAe,GAAG,wBAAwB,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAC;IAChF,IAAI,iBAAiB,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC;IACvD,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,WAAW,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;IAC7F,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,QAAkB;IAChE,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,UAAU,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACrD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;QAC/B,MAAM,iBAAiB,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAClE,OAAO,WAAW,CAAC,iBAAiB,EAAE,UAAU,CAAC;eAC5C,WAAW,CAAC,iBAAiB,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,IAAY,EAAE,KAAa;IACpE,MAAM,YAAY,GAAG,wBAAwB,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACrF,MAAM,aAAa,GAAG,wBAAwB,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvF,MAAM,KAAK,GAA4B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/C,MAAM,GAAG,GAAG,GAAG,SAAS,IAAI,UAAU,EAAE,CAAC;QACzC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC/B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjB,IAAI,SAAS,KAAK,YAAY,CAAC,MAAM,IAAI,UAAU,KAAK,aAAa,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAC1F,MAAM,WAAW,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;QAC5C,MAAM,YAAY,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAI,WAAW,KAAK,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;QAClE,IAAI,YAAY,KAAK,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC;QACnE,IAAI,WAAW,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS;YAAE,SAAS;QACtE,IAAI,WAAW,KAAK,IAAI,IAAI,YAAY,KAAK,IAAI;eAC5C,sBAAsB,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,CAAC;YACvD,KAAK,CAAC,IAAI,CAAC;gBACT,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC;gBAChD,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC;aACpD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAY,EAAE,KAAa;IACzD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS;QAC/B,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,GAAG,CAAC;QACrD,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,GAAG,CAAC;QACtD,QAAQ;KACT,CAAC,CAAC;IACH,MAAM,KAAK,GAAqC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QACzD,MAAM,GAAG,GAAG,GAAG,SAAS,IAAI,UAAU,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC/B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjB,IAAI,SAAS,KAAK,IAAI,CAAC,MAAM,IAAI,UAAU,KAAK,KAAK,CAAC,MAAM,IAAI,QAAQ;YAAE,OAAO,IAAI,CAAC;QACtF,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,GAAG;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/E,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,GAAG;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,UAAU,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;QACjF,KAAK,MAAM,SAAS,IAAI,QAAQ,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;YACrE,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;YACxE,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;QACjG,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,uBAAuB,CAAC,OAAe,EAAE,KAAa,EAAE,SAAiB;IAChF,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,QAAQ,KAAK,GAAG;QAAE,OAAO,KAAK,CAAC;IACnC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,GAAG,CAAC,CAAC;IAC7C,OAAO,SAAS,CAAC;AACnB,CAAC"}
@@ -0,0 +1,26 @@
1
+ import { type MissionCapabilityPermit } from './mission-capability-kernel.js';
2
+ import { MissionStateStore } from './mission-state-store.js';
3
+ export type MissionPermitBeginResult = {
4
+ kind: 'execute';
5
+ } | {
6
+ kind: 'resume-in-flight';
7
+ } | {
8
+ kind: 'completed';
9
+ receiptSha256: string;
10
+ };
11
+ export interface MissionPermitAuthority {
12
+ begin(permit: MissionCapabilityPermit): Promise<MissionPermitBeginResult>;
13
+ complete(permit: MissionCapabilityPermit, payload: Uint8Array, artifacts?: Uint8Array[]): Promise<string>;
14
+ readReceipt(receiptSha256: string): Promise<Buffer>;
15
+ }
16
+ export declare class MissionStatePermitAuthority implements MissionPermitAuthority {
17
+ private readonly store;
18
+ private readonly now;
19
+ constructor(store: MissionStateStore, now?: () => Date);
20
+ begin(permit: MissionCapabilityPermit): Promise<MissionPermitBeginResult>;
21
+ complete(permit: MissionCapabilityPermit, payload: Uint8Array, artifacts?: Uint8Array[]): Promise<string>;
22
+ readReceipt(receiptSha256: string): Promise<Buffer>;
23
+ private requireAuthorizedMission;
24
+ private assertNotExpired;
25
+ }
26
+ //# sourceMappingURL=mission-permit-authority.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mission-permit-authority.d.ts","sourceRoot":"","sources":["../../../src/runner/mission-permit-authority.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,uBAAuB,EAC7B,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,MAAM,MAAM,wBAAwB,GAChC;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,kBAAkB,CAAA;CAAE,GAC5B;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjD,MAAM,WAAW,sBAAsB;IACrC,KAAK,CAAC,MAAM,EAAE,uBAAuB,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAAC;IAC1E,QAAQ,CAAC,MAAM,EAAE,uBAAuB,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1G,WAAW,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;CACrD;AAED,qBAAa,2BAA4B,YAAW,sBAAsB;IAEtE,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,GAAG;gBADH,KAAK,EAAE,iBAAiB,EACxB,GAAG,GAAE,MAAM,IAAuB;IAGxC,KAAK,CAAC,MAAM,EAAE,uBAAuB,GAAG,OAAO,CAAC,wBAAwB,CAAC;IA2DzE,QAAQ,CACnB,MAAM,EAAE,uBAAuB,EAC/B,OAAO,EAAE,UAAU,EACnB,SAAS,GAAE,UAAU,EAAO,GAC3B,OAAO,CAAC,MAAM,CAAC;IA+CL,WAAW,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAOhE,OAAO,CAAC,wBAAwB;IAsBhC,OAAO,CAAC,gBAAgB;CAKzB"}
@@ -0,0 +1,145 @@
1
+ import { missionCapabilityPermitFingerprint, } from './mission-capability-kernel.js';
2
+ export class MissionStatePermitAuthority {
3
+ store;
4
+ now;
5
+ constructor(store, now = () => new Date()) {
6
+ this.store = store;
7
+ this.now = now;
8
+ }
9
+ async begin(permit) {
10
+ const fingerprint = missionCapabilityPermitFingerprint(permit);
11
+ for (let attempt = 0; attempt < 5; attempt += 1) {
12
+ const snapshot = await this.store.load();
13
+ const mission = this.requireAuthorizedMission(snapshot.missions[permit.missionId], permit, fingerprint);
14
+ const existing = mission.actionExecutions?.[permit.actionKey];
15
+ if (existing) {
16
+ if (existing.permitFingerprint !== fingerprint) {
17
+ if (existing.status === 'completed') {
18
+ throw new Error(`Mission completed action is bound to a different permit: ${permit.actionKey}.`);
19
+ }
20
+ try {
21
+ await this.store.mutate(snapshot.generation, (draft) => {
22
+ const current = this.requireAuthorizedMission(draft.missions[permit.missionId], permit, fingerprint);
23
+ const stale = current.actionExecutions?.[permit.actionKey];
24
+ if (!stale || stale.status !== 'in-flight') {
25
+ throw new Error(`Mission action cannot rebind permit: ${permit.actionKey}.`);
26
+ }
27
+ current.actionExecutions[permit.actionKey] = {
28
+ permitFingerprint: fingerprint,
29
+ status: 'in-flight',
30
+ };
31
+ current.revision += 1;
32
+ });
33
+ return { kind: 'execute' };
34
+ }
35
+ catch (error) {
36
+ if (error instanceof Error && /generation conflict/u.test(error.message))
37
+ continue;
38
+ throw error;
39
+ }
40
+ }
41
+ if (existing.status === 'completed') {
42
+ return { kind: 'completed', receiptSha256: existing.receiptSha256 };
43
+ }
44
+ this.assertNotExpired(permit);
45
+ return { kind: 'resume-in-flight' };
46
+ }
47
+ this.assertNotExpired(permit);
48
+ try {
49
+ await this.store.mutate(snapshot.generation, (draft) => {
50
+ const current = this.requireAuthorizedMission(draft.missions[permit.missionId], permit, fingerprint);
51
+ current.actionExecutions = {
52
+ ...(current.actionExecutions ?? {}),
53
+ [permit.actionKey]: { permitFingerprint: fingerprint, status: 'in-flight' },
54
+ };
55
+ current.revision += 1;
56
+ });
57
+ return { kind: 'execute' };
58
+ }
59
+ catch (error) {
60
+ if (error instanceof Error && /generation conflict/u.test(error.message))
61
+ continue;
62
+ throw error;
63
+ }
64
+ }
65
+ throw new Error('Mission permit could not begin after repeated generation conflicts.');
66
+ }
67
+ async complete(permit, payload, artifacts = []) {
68
+ const fingerprint = missionCapabilityPermitFingerprint(permit);
69
+ for (let attempt = 0; attempt < 5; attempt += 1) {
70
+ const snapshot = await this.store.load();
71
+ const mission = this.requireAuthorizedMission(snapshot.missions[permit.missionId], permit, fingerprint);
72
+ const existing = mission.actionExecutions?.[permit.actionKey];
73
+ if (!existing || existing.permitFingerprint !== fingerprint) {
74
+ throw new Error(`Mission action is not in flight: ${permit.actionKey}.`);
75
+ }
76
+ if (existing.status === 'completed') {
77
+ const persisted = await this.readReceipt(existing.receiptSha256);
78
+ if (!persisted.equals(Buffer.from(payload))) {
79
+ throw new Error(`Mission action completed with a different receipt: ${permit.actionKey}.`);
80
+ }
81
+ return existing.receiptSha256;
82
+ }
83
+ this.assertNotExpired(permit);
84
+ try {
85
+ const saved = await this.store.mutateWithBlobs(snapshot.generation, [payload, ...artifacts], (draft, [reference, ...artifactReferences]) => {
86
+ if (!reference)
87
+ throw new Error('Mission action receipt was not materialized.');
88
+ const current = this.requireAuthorizedMission(draft.missions[permit.missionId], permit, fingerprint);
89
+ const action = current.actionExecutions?.[permit.actionKey];
90
+ if (!action || action.permitFingerprint !== fingerprint || action.status !== 'in-flight') {
91
+ throw new Error(`Mission action is not in flight: ${permit.actionKey}.`);
92
+ }
93
+ current.actionExecutions[permit.actionKey] = {
94
+ permitFingerprint: fingerprint,
95
+ status: 'completed',
96
+ receiptSha256: reference.sha256,
97
+ };
98
+ draft.blobs[reference.sha256] = reference;
99
+ for (const artifactReference of artifactReferences) {
100
+ draft.blobs[artifactReference.sha256] = artifactReference;
101
+ }
102
+ current.revision += 1;
103
+ });
104
+ return saved.missions[permit.missionId].actionExecutions[permit.actionKey].receiptSha256;
105
+ }
106
+ catch (error) {
107
+ if (error instanceof Error && /generation conflict/u.test(error.message))
108
+ continue;
109
+ throw error;
110
+ }
111
+ }
112
+ throw new Error('Mission action could not complete after repeated generation conflicts.');
113
+ }
114
+ async readReceipt(receiptSha256) {
115
+ const snapshot = await this.store.load();
116
+ const reference = snapshot.blobs[receiptSha256];
117
+ if (!reference)
118
+ throw new Error(`Mission action receipt is missing: ${receiptSha256}.`);
119
+ return this.store.readBlob(reference);
120
+ }
121
+ requireAuthorizedMission(mission, permit, fingerprint) {
122
+ if (!mission)
123
+ throw new Error(`Mission permit references unknown mission: ${permit.missionId}.`);
124
+ if (mission.state !== 'executing') {
125
+ throw new Error(`Mission permit is revoked by current state: ${mission.state}.`);
126
+ }
127
+ if (mission.fencingEpoch !== permit.fencingEpoch) {
128
+ throw new Error('Mission permit fencing epoch is stale.');
129
+ }
130
+ if (mission.inputSnapshot !== permit.inputSnapshot) {
131
+ throw new Error('Mission permit input snapshot is stale.');
132
+ }
133
+ if (mission.actionKey !== permit.actionKey || !mission.authorizedPermit
134
+ || missionCapabilityPermitFingerprint(mission.authorizedPermit) !== fingerprint) {
135
+ throw new Error('Mission permit does not match the durable authorization.');
136
+ }
137
+ return mission;
138
+ }
139
+ assertNotExpired(permit) {
140
+ if (Date.parse(permit.expiresAt) <= this.now().getTime()) {
141
+ throw new Error('Mission permit has expired.');
142
+ }
143
+ }
144
+ }
145
+ //# sourceMappingURL=mission-permit-authority.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mission-permit-authority.js","sourceRoot":"","sources":["../../../src/runner/mission-permit-authority.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kCAAkC,GAEnC,MAAM,gCAAgC,CAAC;AAexC,MAAM,OAAO,2BAA2B;IAEnB;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,KAAK,CAAC,KAAK,CAAC,MAA+B;QAChD,MAAM,WAAW,GAAG,kCAAkC,CAAC,MAAM,CAAC,CAAC;QAC/D,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;YAChD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;YACxG,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAC9D,IAAI,QAAQ,EAAE,CAAC;gBACb,IAAI,QAAQ,CAAC,iBAAiB,KAAK,WAAW,EAAE,CAAC;oBAC/C,IAAI,QAAQ,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;wBACpC,MAAM,IAAI,KAAK,CAAC,4DAA4D,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC;oBACnG,CAAC;oBACD,IAAI,CAAC;wBACH,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,EAAE;4BACrD,MAAM,OAAO,GAAG,IAAI,CAAC,wBAAwB,CAC3C,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,WAAW,CACtD,CAAC;4BACF,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;4BAC3D,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;gCAC3C,MAAM,IAAI,KAAK,CAAC,wCAAwC,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC;4BAC/E,CAAC;4BACD,OAAO,CAAC,gBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG;gCAC5C,iBAAiB,EAAE,WAAW;gCAC9B,MAAM,EAAE,WAAW;6BACpB,CAAC;4BACF,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;wBACxB,CAAC,CAAC,CAAC;wBACH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;oBAC7B,CAAC;oBAAC,OAAO,KAAK,EAAE,CAAC;wBACf,IAAI,KAAK,YAAY,KAAK,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;4BAAE,SAAS;wBACnF,MAAM,KAAK,CAAC;oBACd,CAAC;gBACH,CAAC;gBACD,IAAI,QAAQ,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;oBACpC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,QAAQ,CAAC,aAAc,EAAE,CAAC;gBACvE,CAAC;gBACD,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;gBAC9B,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;YACtC,CAAC;YACD,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;YAC9B,IAAI,CAAC;gBACH,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,EAAE;oBACrD,MAAM,OAAO,GAAG,IAAI,CAAC,wBAAwB,CAC3C,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,WAAW,CACtD,CAAC;oBACF,OAAO,CAAC,gBAAgB,GAAG;wBACzB,GAAG,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC;wBACnC,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE;qBAC5E,CAAC;oBACF,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;gBACxB,CAAC,CAAC,CAAC;gBACH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAC7B,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,KAAK,YAAY,KAAK,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;oBAAE,SAAS;gBACnF,MAAM,KAAK,CAAC;YACd,CAAC;QACH,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;IACzF,CAAC;IAEM,KAAK,CAAC,QAAQ,CACnB,MAA+B,EAC/B,OAAmB,EACnB,YAA0B,EAAE;QAE5B,MAAM,WAAW,GAAG,kCAAkC,CAAC,MAAM,CAAC,CAAC;QAC/D,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;YAChD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;YACxG,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAC9D,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,iBAAiB,KAAK,WAAW,EAAE,CAAC;gBAC5D,MAAM,IAAI,KAAK,CAAC,oCAAoC,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC;YAC3E,CAAC;YACD,IAAI,QAAQ,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;gBACpC,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,aAAc,CAAC,CAAC;gBAClE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;oBAC5C,MAAM,IAAI,KAAK,CAAC,sDAAsD,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC;gBAC7F,CAAC;gBACD,OAAO,QAAQ,CAAC,aAAc,CAAC;YACjC,CAAC;YACD,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;YAC9B,IAAI,CAAC;gBACH,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,GAAG,kBAAkB,CAAC,EAAE,EAAE;oBACzI,IAAI,CAAC,SAAS;wBAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;oBAChF,MAAM,OAAO,GAAG,IAAI,CAAC,wBAAwB,CAC3C,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,WAAW,CACtD,CAAC;oBACF,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;oBAC5D,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,iBAAiB,KAAK,WAAW,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;wBACzF,MAAM,IAAI,KAAK,CAAC,oCAAoC,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC;oBAC3E,CAAC;oBACD,OAAO,CAAC,gBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG;wBAC5C,iBAAiB,EAAE,WAAW;wBAC9B,MAAM,EAAE,WAAW;wBACnB,aAAa,EAAE,SAAS,CAAC,MAAM;qBAChC,CAAC;oBACF,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;oBAC1C,KAAK,MAAM,iBAAiB,IAAI,kBAAkB,EAAE,CAAC;wBACnD,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAAC;oBAC5D,CAAC;oBACD,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;gBACxB,CAAC,CAAC,CAAC;gBACH,OAAO,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAE,CAAC,gBAAiB,CAAC,MAAM,CAAC,SAAS,CAAE,CAAC,aAAc,CAAC;YAC/F,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,KAAK,YAAY,KAAK,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;oBAAE,SAAS;gBACnF,MAAM,KAAK,CAAC;YACd,CAAC;QACH,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAC;IAC5F,CAAC;IAEM,KAAK,CAAC,WAAW,CAAC,aAAqB;QAC5C,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACzC,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAChD,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,aAAa,GAAG,CAAC,CAAC;QACxF,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC;IAEO,wBAAwB,CAC9B,OAAkC,EAClC,MAA+B,EAC/B,WAAmB;QAEnB,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC;QACjG,IAAI,OAAO,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,+CAA+C,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;QACnF,CAAC;QACD,IAAI,OAAO,CAAC,YAAY,KAAK,MAAM,CAAC,YAAY,EAAE,CAAC;YACjD,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,OAAO,CAAC,aAAa,KAAK,MAAM,CAAC,aAAa,EAAE,CAAC;YACnD,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC7D,CAAC;QACD,IAAI,OAAO,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,gBAAgB;eAClE,kCAAkC,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,WAAW,EAAE,CAAC;YAClF,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;QAC9E,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,gBAAgB,CAAC,MAA+B;QACtD,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;YACzD,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;CACF"}
@@ -0,0 +1,87 @@
1
+ import { type PlanParentChildDescriptor, type PlanParentIntegrationIntent, type PlanParentRecord, type PlanParentResumeTarget } from './mission-plan-parent.js';
2
+ import { type MissionClaim } from './mission-state-machine.js';
3
+ import type { MissionStateSnapshot, MissionStateStore } from './mission-state-store.js';
4
+ export declare class MissionPlanParentCoordinator {
5
+ private readonly store;
6
+ constructor(store: MissionStateStore);
7
+ create(input: {
8
+ expectedGeneration: number;
9
+ parent: PlanParentRecord;
10
+ }): Promise<MissionStateSnapshot>;
11
+ linkNextWave(input: ParentFence): Promise<MissionStateSnapshot>;
12
+ prepareWave(input: ParentFence & {
13
+ descriptors: PlanParentChildDescriptor[];
14
+ }): Promise<MissionStateSnapshot>;
15
+ startIntegration(input: ParentFence & {
16
+ intent: PlanParentIntegrationIntent;
17
+ }): Promise<MissionStateSnapshot>;
18
+ completeIntegration(input: ParentFence & {
19
+ actionKey: string;
20
+ }): Promise<MissionStateSnapshot>;
21
+ recordValidation(input: ParentFence & {
22
+ receiptIds: string[];
23
+ }): Promise<MissionStateSnapshot>;
24
+ checkpoint(input: ParentFence & {
25
+ checkpoint: {
26
+ commitSha: string;
27
+ treeSha: string;
28
+ };
29
+ }): Promise<MissionStateSnapshot>;
30
+ defer(input: ParentFence & {
31
+ resumeTarget: PlanParentResumeTarget;
32
+ actionKey: string;
33
+ nextEligibleAt: string;
34
+ reason: string;
35
+ requiredPredicate: string;
36
+ }): Promise<MissionStateSnapshot>;
37
+ claim(input: ParentFence & {
38
+ now: string;
39
+ claim: MissionClaim;
40
+ }): Promise<MissionStateSnapshot>;
41
+ recordIntegrationConflict(input: ParentFence): Promise<MissionStateSnapshot>;
42
+ completeIntegrationRecovery(input: ParentFence & {
43
+ descriptor: PlanParentChildDescriptor;
44
+ }): Promise<MissionStateSnapshot>;
45
+ recordValidationFailure(input: ParentFence): Promise<MissionStateSnapshot>;
46
+ completeValidationRecovery(input: ParentFence): Promise<MissionStateSnapshot>;
47
+ reconcileIntegration(input: ParentFence & {
48
+ execute(intent: PlanParentIntegrationIntent): Promise<{
49
+ kind: 'applied';
50
+ } | {
51
+ kind: 'transient-failure';
52
+ nextEligibleAt: string;
53
+ reason: string;
54
+ } | {
55
+ kind: 'conflict';
56
+ } | {
57
+ kind: 'safety-stop';
58
+ }>;
59
+ }): Promise<MissionStateSnapshot>;
60
+ preparePublication(input: ParentFence & {
61
+ receiptIds: string[];
62
+ publicationId: string;
63
+ candidateCommit: string;
64
+ candidateTree: string;
65
+ }): Promise<MissionStateSnapshot>;
66
+ requestCancellation(input: ParentFence & {
67
+ requestedAt: string;
68
+ requestedBy: string;
69
+ }): Promise<MissionStateSnapshot>;
70
+ reconcileCancellationIntegration(input: ParentFence & {
71
+ observedIdentity: 'old' | 'new' | 'third';
72
+ }): Promise<MissionStateSnapshot>;
73
+ completeCancellation(input: ParentFence): Promise<MissionStateSnapshot>;
74
+ }
75
+ export declare function listEligiblePlanParents(snapshot: MissionStateSnapshot, now: string, limit?: number): Array<{
76
+ parentId: string;
77
+ revision: number;
78
+ state: string;
79
+ nextEligibleAt: string;
80
+ }>;
81
+ interface ParentFence {
82
+ expectedGeneration: number;
83
+ parentId: string;
84
+ expectedRevision: number;
85
+ }
86
+ export {};
87
+ //# sourceMappingURL=mission-plan-parent-coordinator.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mission-plan-parent-coordinator.d.ts","sourceRoot":"","sources":["../../../src/runner/mission-plan-parent-coordinator.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,yBAAyB,EAC9B,KAAK,2BAA2B,EAChC,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAC5B,MAAM,0BAA0B,CAAC;AAKlC,OAAO,EAA4C,KAAK,YAAY,EAAE,MAAM,4BAA4B,CAAC;AACzG,OAAO,KAAK,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAExF,qBAAa,4BAA4B;IACpB,OAAO,CAAC,QAAQ,CAAC,KAAK;gBAAL,KAAK,EAAE,iBAAiB;IAErD,MAAM,CAAC,KAAK,EAAE;QACnB,kBAAkB,EAAE,MAAM,CAAC;QAC3B,MAAM,EAAE,gBAAgB,CAAC;KAC1B,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAS1B,YAAY,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAwB/D,WAAW,CAAC,KAAK,EAAE,WAAW,GAAG;QACtC,WAAW,EAAE,yBAAyB,EAAE,CAAC;KAC1C,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAgB1B,gBAAgB,CAAC,KAAK,EAAE,WAAW,GAAG;QAC3C,MAAM,EAAE,2BAA2B,CAAC;KACrC,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAoB1B,mBAAmB,CAAC,KAAK,EAAE,WAAW,GAAG;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAoB9F,gBAAgB,CAAC,KAAK,EAAE,WAAW,GAAG;QAAE,UAAU,EAAE,MAAM,EAAE,CAAA;KAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAU9F,UAAU,CAAC,KAAK,EAAE,WAAW,GAAG;QACrC,UAAU,EAAE;YAAE,SAAS,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAA;SAAE,CAAC;KACpD,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAU1B,KAAK,CAAC,KAAK,EAAE,WAAW,GAAG;QAChC,YAAY,EAAE,sBAAsB,CAAC;QACrC,SAAS,EAAE,MAAM,CAAC;QAClB,cAAc,EAAE,MAAM,CAAC;QACvB,MAAM,EAAE,MAAM,CAAC;QACf,iBAAiB,EAAE,MAAM,CAAC;KAC3B,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAoB1B,KAAK,CAAC,KAAK,EAAE,WAAW,GAAG;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,YAAY,CAAA;KAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC;IA+B/F,yBAAyB,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC;IA+B5E,2BAA2B,CAAC,KAAK,EAAE,WAAW,GAAG;QACtD,UAAU,EAAE,yBAAyB,CAAC;KACvC,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAa1B,uBAAuB,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAwB1E,0BAA0B,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAavE,oBAAoB,CAAC,KAAK,EAAE,WAAW,GAAG;QACrD,OAAO,CAAC,MAAM,EAAE,2BAA2B,GAAG,OAAO,CACjD;YAAE,IAAI,EAAE,SAAS,CAAA;SAAE,GACnB;YAAE,IAAI,EAAE,mBAAmB,CAAC;YAAC,cAAc,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAA;SAAE,GACrE;YAAE,IAAI,EAAE,UAAU,CAAA;SAAE,GACpB;YAAE,IAAI,EAAE,aAAa,CAAA;SAAE,CAC1B,CAAC;KACH,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAmC1B,kBAAkB,CAAC,KAAK,EAAE,WAAW,GAAG;QAC7C,UAAU,EAAE,MAAM,EAAE,CAAC;QACrB,aAAa,EAAE,MAAM,CAAC;QACtB,eAAe,EAAE,MAAM,CAAC;QACxB,aAAa,EAAE,MAAM,CAAC;KACvB,GAAG,OAAO,CAAC,oBAAoB,CAAC;IA6B1B,mBAAmB,CAAC,KAAK,EAAE,WAAW,GAAG;QAC9C,WAAW,EAAE,MAAM,CAAC;QACpB,WAAW,EAAE,MAAM,CAAC;KACrB,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAmB1B,gCAAgC,CAAC,KAAK,EAAE,WAAW,GAAG;QAC3D,gBAAgB,EAAE,KAAK,GAAG,KAAK,GAAG,OAAO,CAAC;KAC3C,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAc1B,oBAAoB,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC;CAuB/E;AAYD,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,oBAAoB,EAC9B,GAAG,EAAE,MAAM,EACX,KAAK,SAAM,GACV,KAAK,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,CAAC,CAsBtF;AAED,UAAU,WAAW;IACnB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,gBAAgB,EAAE,MAAM,CAAC;CAC1B"}