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.
- package/CHANGELOG.md +42 -0
- package/dist/src/config/schema.d.ts +5 -1
- package/dist/src/config/schema.d.ts.map +1 -1
- package/dist/src/config/schema.js +16 -0
- package/dist/src/config/schema.js.map +1 -1
- package/dist/src/github/gh-issue-adapter.d.ts +3 -1
- package/dist/src/github/gh-issue-adapter.d.ts.map +1 -1
- package/dist/src/github/gh-issue-adapter.js +44 -6
- package/dist/src/github/gh-issue-adapter.js.map +1 -1
- package/dist/src/github/gh-pull-request-adapter.d.ts +3 -1
- package/dist/src/github/gh-pull-request-adapter.d.ts.map +1 -1
- package/dist/src/github/gh-pull-request-adapter.js +74 -0
- package/dist/src/github/gh-pull-request-adapter.js.map +1 -1
- package/dist/src/github/issues.d.ts +4 -0
- package/dist/src/github/issues.d.ts.map +1 -1
- package/dist/src/github/issues.js +6 -0
- package/dist/src/github/issues.js.map +1 -1
- package/dist/src/github/pull-requests.d.ts +9 -0
- package/dist/src/github/pull-requests.d.ts.map +1 -1
- package/dist/src/github/pull-requests.js +13 -0
- package/dist/src/github/pull-requests.js.map +1 -1
- package/dist/src/runner/command-utils.d.ts.map +1 -1
- package/dist/src/runner/command-utils.js +1 -0
- package/dist/src/runner/command-utils.js.map +1 -1
- package/dist/src/runner/local-execution-session.d.ts.map +1 -1
- package/dist/src/runner/local-execution-session.js +5 -2
- package/dist/src/runner/local-execution-session.js.map +1 -1
- package/dist/src/runner/mission-activation.d.ts +29 -0
- package/dist/src/runner/mission-activation.d.ts.map +1 -0
- package/dist/src/runner/mission-activation.js +54 -0
- package/dist/src/runner/mission-activation.js.map +1 -0
- package/dist/src/runner/mission-agent-broker.d.ts +53 -0
- package/dist/src/runner/mission-agent-broker.d.ts.map +1 -0
- package/dist/src/runner/mission-agent-broker.js +182 -0
- package/dist/src/runner/mission-agent-broker.js.map +1 -0
- package/dist/src/runner/mission-cancellation.d.ts +77 -0
- package/dist/src/runner/mission-cancellation.d.ts.map +1 -0
- package/dist/src/runner/mission-cancellation.js +180 -0
- package/dist/src/runner/mission-cancellation.js.map +1 -0
- package/dist/src/runner/mission-canonical-path.d.ts +34 -0
- package/dist/src/runner/mission-canonical-path.d.ts.map +1 -0
- package/dist/src/runner/mission-canonical-path.js +121 -0
- package/dist/src/runner/mission-canonical-path.js.map +1 -0
- package/dist/src/runner/mission-capability-kernel.d.ts +34 -0
- package/dist/src/runner/mission-capability-kernel.d.ts.map +1 -0
- package/dist/src/runner/mission-capability-kernel.js +158 -0
- package/dist/src/runner/mission-capability-kernel.js.map +1 -0
- package/dist/src/runner/mission-check-policy.d.ts +17 -0
- package/dist/src/runner/mission-check-policy.d.ts.map +1 -0
- package/dist/src/runner/mission-check-policy.js +31 -0
- package/dist/src/runner/mission-check-policy.js.map +1 -0
- package/dist/src/runner/mission-coordinator-lock.d.ts +16 -0
- package/dist/src/runner/mission-coordinator-lock.d.ts.map +1 -0
- package/dist/src/runner/mission-coordinator-lock.js +170 -0
- package/dist/src/runner/mission-coordinator-lock.js.map +1 -0
- package/dist/src/runner/mission-deployment.d.ts +21 -0
- package/dist/src/runner/mission-deployment.d.ts.map +1 -0
- package/dist/src/runner/mission-deployment.js +108 -0
- package/dist/src/runner/mission-deployment.js.map +1 -0
- package/dist/src/runner/mission-evaluation.d.ts +61 -0
- package/dist/src/runner/mission-evaluation.d.ts.map +1 -0
- package/dist/src/runner/mission-evaluation.js +183 -0
- package/dist/src/runner/mission-evaluation.js.map +1 -0
- package/dist/src/runner/mission-executor-probe.d.ts +10 -0
- package/dist/src/runner/mission-executor-probe.d.ts.map +1 -0
- package/dist/src/runner/mission-executor-probe.js +180 -0
- package/dist/src/runner/mission-executor-probe.js.map +1 -0
- package/dist/src/runner/mission-git-contracts.d.ts +75 -0
- package/dist/src/runner/mission-git-contracts.d.ts.map +1 -0
- package/dist/src/runner/mission-git-contracts.js +201 -0
- package/dist/src/runner/mission-git-contracts.js.map +1 -0
- package/dist/src/runner/mission-git-runtime-owner-ref.d.ts +13 -0
- package/dist/src/runner/mission-git-runtime-owner-ref.d.ts.map +1 -0
- package/dist/src/runner/mission-git-runtime-owner-ref.js +111 -0
- package/dist/src/runner/mission-git-runtime-owner-ref.js.map +1 -0
- package/dist/src/runner/mission-git-transaction.d.ts +97 -0
- package/dist/src/runner/mission-git-transaction.d.ts.map +1 -0
- package/dist/src/runner/mission-git-transaction.js +1009 -0
- package/dist/src/runner/mission-git-transaction.js.map +1 -0
- package/dist/src/runner/mission-identifiers.d.ts +31 -0
- package/dist/src/runner/mission-identifiers.d.ts.map +1 -0
- package/dist/src/runner/mission-identifiers.js +75 -0
- package/dist/src/runner/mission-identifiers.js.map +1 -0
- package/dist/src/runner/mission-input-snapshot.d.ts +21 -0
- package/dist/src/runner/mission-input-snapshot.d.ts.map +1 -0
- package/dist/src/runner/mission-input-snapshot.js +63 -0
- package/dist/src/runner/mission-input-snapshot.js.map +1 -0
- package/dist/src/runner/mission-ownership.d.ts +38 -0
- package/dist/src/runner/mission-ownership.d.ts.map +1 -0
- package/dist/src/runner/mission-ownership.js +88 -0
- package/dist/src/runner/mission-ownership.js.map +1 -0
- package/dist/src/runner/mission-patch-audit.d.ts +21 -0
- package/dist/src/runner/mission-patch-audit.d.ts.map +1 -0
- package/dist/src/runner/mission-patch-audit.js +186 -0
- package/dist/src/runner/mission-patch-audit.js.map +1 -0
- package/dist/src/runner/mission-path-language.d.ts +6 -0
- package/dist/src/runner/mission-path-language.d.ts.map +1 -0
- package/dist/src/runner/mission-path-language.js +106 -0
- package/dist/src/runner/mission-path-language.js.map +1 -0
- package/dist/src/runner/mission-permit-authority.d.ts +26 -0
- package/dist/src/runner/mission-permit-authority.d.ts.map +1 -0
- package/dist/src/runner/mission-permit-authority.js +145 -0
- package/dist/src/runner/mission-permit-authority.js.map +1 -0
- package/dist/src/runner/mission-plan-parent-coordinator.d.ts +87 -0
- package/dist/src/runner/mission-plan-parent-coordinator.d.ts.map +1 -0
- package/dist/src/runner/mission-plan-parent-coordinator.js +441 -0
- package/dist/src/runner/mission-plan-parent-coordinator.js.map +1 -0
- package/dist/src/runner/mission-plan-parent.d.ts +156 -0
- package/dist/src/runner/mission-plan-parent.d.ts.map +1 -0
- package/dist/src/runner/mission-plan-parent.js +589 -0
- package/dist/src/runner/mission-plan-parent.js.map +1 -0
- package/dist/src/runner/mission-process-executor.d.ts +25 -0
- package/dist/src/runner/mission-process-executor.d.ts.map +1 -0
- package/dist/src/runner/mission-process-executor.js +182 -0
- package/dist/src/runner/mission-process-executor.js.map +1 -0
- package/dist/src/runner/mission-publication-git.d.ts +21 -0
- package/dist/src/runner/mission-publication-git.d.ts.map +1 -0
- package/dist/src/runner/mission-publication-git.js +61 -0
- package/dist/src/runner/mission-publication-git.js.map +1 -0
- package/dist/src/runner/mission-publication.d.ts +192 -0
- package/dist/src/runner/mission-publication.d.ts.map +1 -0
- package/dist/src/runner/mission-publication.js +1001 -0
- package/dist/src/runner/mission-publication.js.map +1 -0
- package/dist/src/runner/mission-quarantine-patch-executor.d.ts +29 -0
- package/dist/src/runner/mission-quarantine-patch-executor.d.ts.map +1 -0
- package/dist/src/runner/mission-quarantine-patch-executor.js +121 -0
- package/dist/src/runner/mission-quarantine-patch-executor.js.map +1 -0
- package/dist/src/runner/mission-repository-executor.d.ts +54 -0
- package/dist/src/runner/mission-repository-executor.d.ts.map +1 -0
- package/dist/src/runner/mission-repository-executor.js +192 -0
- package/dist/src/runner/mission-repository-executor.js.map +1 -0
- package/dist/src/runner/mission-repository-observer.d.ts +8 -0
- package/dist/src/runner/mission-repository-observer.d.ts.map +1 -0
- package/dist/src/runner/mission-repository-observer.js +24 -0
- package/dist/src/runner/mission-repository-observer.js.map +1 -0
- package/dist/src/runner/mission-reservations.d.ts +15 -0
- package/dist/src/runner/mission-reservations.d.ts.map +1 -0
- package/dist/src/runner/mission-reservations.js +116 -0
- package/dist/src/runner/mission-reservations.js.map +1 -0
- package/dist/src/runner/mission-resolution-loop.d.ts +172 -0
- package/dist/src/runner/mission-resolution-loop.d.ts.map +1 -0
- package/dist/src/runner/mission-resolution-loop.js +318 -0
- package/dist/src/runner/mission-resolution-loop.js.map +1 -0
- package/dist/src/runner/mission-runtime-owner.d.ts +36 -0
- package/dist/src/runner/mission-runtime-owner.d.ts.map +1 -0
- package/dist/src/runner/mission-runtime-owner.js +174 -0
- package/dist/src/runner/mission-runtime-owner.js.map +1 -0
- package/dist/src/runner/mission-safe-executor.d.ts +96 -0
- package/dist/src/runner/mission-safe-executor.d.ts.map +1 -0
- package/dist/src/runner/mission-safe-executor.js +288 -0
- package/dist/src/runner/mission-safe-executor.js.map +1 -0
- package/dist/src/runner/mission-sandbox.d.ts +16 -0
- package/dist/src/runner/mission-sandbox.d.ts.map +1 -0
- package/dist/src/runner/mission-sandbox.js +91 -0
- package/dist/src/runner/mission-sandbox.js.map +1 -0
- package/dist/src/runner/mission-scheduler.d.ts +57 -0
- package/dist/src/runner/mission-scheduler.d.ts.map +1 -0
- package/dist/src/runner/mission-scheduler.js +205 -0
- package/dist/src/runner/mission-scheduler.js.map +1 -0
- package/dist/src/runner/mission-scope-expansion.d.ts +47 -0
- package/dist/src/runner/mission-scope-expansion.d.ts.map +1 -0
- package/dist/src/runner/mission-scope-expansion.js +147 -0
- package/dist/src/runner/mission-scope-expansion.js.map +1 -0
- package/dist/src/runner/mission-state-machine.d.ts +118 -0
- package/dist/src/runner/mission-state-machine.d.ts.map +1 -0
- package/dist/src/runner/mission-state-machine.js +316 -0
- package/dist/src/runner/mission-state-machine.js.map +1 -0
- package/dist/src/runner/mission-state-store.d.ts +70 -0
- package/dist/src/runner/mission-state-store.d.ts.map +1 -0
- package/dist/src/runner/mission-state-store.js +916 -0
- package/dist/src/runner/mission-state-store.js.map +1 -0
- package/dist/src/runner/rework-policy.d.ts +2 -1
- package/dist/src/runner/rework-policy.d.ts.map +1 -1
- package/dist/src/runner/rework-policy.js +3 -0
- package/dist/src/runner/rework-policy.js.map +1 -1
- package/dist/src/setup/project-config.d.ts.map +1 -1
- package/dist/src/setup/project-config.js +5 -0
- package/dist/src/setup/project-config.js.map +1 -1
- package/docs/deep-dive.md +25 -16
- package/package.json +1 -1
|
@@ -0,0 +1,91 @@
|
|
|
1
|
+
import { realpathSync } from 'node:fs';
|
|
2
|
+
import { homedir, tmpdir } from 'node:os';
|
|
3
|
+
export function buildMissionSandboxInvocation(input) {
|
|
4
|
+
assertAbsolute(input.workspaceRoot, 'workspaceRoot');
|
|
5
|
+
assertAbsolute(input.quarantineRoot, 'quarantineRoot');
|
|
6
|
+
assertAbsolute(input.command, 'command');
|
|
7
|
+
const workspaceRoot = canonicalExistingPath(input.workspaceRoot);
|
|
8
|
+
const quarantineRoot = canonicalExistingPath(input.quarantineRoot);
|
|
9
|
+
if (input.backend === 'macos-sandbox') {
|
|
10
|
+
const deniedUserRoots = [...new Set([
|
|
11
|
+
'/Users', homedir(), tmpdir(), '/private/tmp', '/tmp', '/Volumes',
|
|
12
|
+
].flatMap((path) => {
|
|
13
|
+
const canonical = canonicalPathIfPresent(path);
|
|
14
|
+
return canonical === undefined ? [] : [canonical];
|
|
15
|
+
}))];
|
|
16
|
+
const profile = [
|
|
17
|
+
'(version 1)',
|
|
18
|
+
'(deny default)',
|
|
19
|
+
'(deny network*)',
|
|
20
|
+
'(allow process-exec)',
|
|
21
|
+
'(allow signal (target self))',
|
|
22
|
+
'(allow sysctl-read)',
|
|
23
|
+
'(allow file-read*)',
|
|
24
|
+
'(allow file-write* (literal "/dev/null"))',
|
|
25
|
+
`(deny file-read-data ${deniedUserRoots.map((path) => `(subpath ${quoted(path)})`).join(' ')})`,
|
|
26
|
+
`(allow file-read-data (subpath ${quoted(workspaceRoot)}) (subpath ${quoted(quarantineRoot)}))`,
|
|
27
|
+
...(input.deniedReadPaths ?? []).map((path) => {
|
|
28
|
+
assertAbsolute(path, 'deniedReadPaths entry');
|
|
29
|
+
const canonical = canonicalExistingPath(path);
|
|
30
|
+
return `(deny file-read-data (literal ${quoted(canonical)}) (subpath ${quoted(canonical)}))`;
|
|
31
|
+
}),
|
|
32
|
+
...(input.mode === 'quarantine-write'
|
|
33
|
+
? [`(allow file-write* (subpath ${quoted(quarantineRoot)}))`]
|
|
34
|
+
: []),
|
|
35
|
+
].join('');
|
|
36
|
+
return {
|
|
37
|
+
file: '/usr/bin/sandbox-exec',
|
|
38
|
+
args: ['-p', profile, input.command, ...input.args],
|
|
39
|
+
};
|
|
40
|
+
}
|
|
41
|
+
const args = [
|
|
42
|
+
'--die-with-parent',
|
|
43
|
+
'--new-session',
|
|
44
|
+
'--unshare-net',
|
|
45
|
+
'--proc', '/proc',
|
|
46
|
+
'--dev', '/dev',
|
|
47
|
+
'--ro-bind', '/usr', '/usr',
|
|
48
|
+
'--ro-bind', '/bin', '/bin',
|
|
49
|
+
'--ro-bind', workspaceRoot, workspaceRoot,
|
|
50
|
+
];
|
|
51
|
+
if (input.mode === 'quarantine-write') {
|
|
52
|
+
args.push('--bind', quarantineRoot, quarantineRoot);
|
|
53
|
+
}
|
|
54
|
+
else {
|
|
55
|
+
args.push('--ro-bind', quarantineRoot, quarantineRoot);
|
|
56
|
+
}
|
|
57
|
+
args.push('--chdir', workspaceRoot, input.command, ...input.args);
|
|
58
|
+
return { file: '/usr/bin/bwrap', args };
|
|
59
|
+
}
|
|
60
|
+
function canonicalExistingPath(value) {
|
|
61
|
+
try {
|
|
62
|
+
return realpathSync.native(value);
|
|
63
|
+
}
|
|
64
|
+
catch (error) {
|
|
65
|
+
throw new Error(`Mission sandbox path must resolve to an existing canonical path: ${value}.`, {
|
|
66
|
+
cause: error,
|
|
67
|
+
});
|
|
68
|
+
}
|
|
69
|
+
}
|
|
70
|
+
function canonicalPathIfPresent(value) {
|
|
71
|
+
try {
|
|
72
|
+
return realpathSync.native(value);
|
|
73
|
+
}
|
|
74
|
+
catch (error) {
|
|
75
|
+
const code = error.code;
|
|
76
|
+
if (code === 'ENOENT' || code === 'ENOTDIR')
|
|
77
|
+
return undefined;
|
|
78
|
+
throw new Error(`Mission sandbox system path could not be canonicalized: ${value}.`, {
|
|
79
|
+
cause: error,
|
|
80
|
+
});
|
|
81
|
+
}
|
|
82
|
+
}
|
|
83
|
+
function quoted(value) {
|
|
84
|
+
return `"${value.replaceAll('\\', '\\\\').replaceAll('"', '\\"')}"`;
|
|
85
|
+
}
|
|
86
|
+
function assertAbsolute(value, field) {
|
|
87
|
+
if (!value.startsWith('/')) {
|
|
88
|
+
throw new Error(`Mission sandbox ${field} must be absolute.`);
|
|
89
|
+
}
|
|
90
|
+
}
|
|
91
|
+
//# sourceMappingURL=mission-sandbox.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mission-sandbox.js","sourceRoot":"","sources":["../../../src/runner/mission-sandbox.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAmB1C,MAAM,UAAU,6BAA6B,CAAC,KAA0B;IACtE,cAAc,CAAC,KAAK,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;IACrD,cAAc,CAAC,KAAK,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;IACvD,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACzC,MAAM,aAAa,GAAG,qBAAqB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IACjE,MAAM,cAAc,GAAG,qBAAqB,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACnE,IAAI,KAAK,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QACtC,MAAM,eAAe,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC;gBAClC,QAAQ,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU;aAClE,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBACjB,MAAM,SAAS,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;gBAC/C,OAAO,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YACpD,CAAC,CAAC,CAAC,CAAC,CAAC;QACL,MAAM,OAAO,GAAG;YACd,aAAa;YACb,gBAAgB;YAChB,iBAAiB;YACjB,sBAAsB;YACtB,8BAA8B;YAC9B,qBAAqB;YACrB,oBAAoB;YACpB,2CAA2C;YAC3C,wBAAwB,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;YAC/F,kCAAkC,MAAM,CAAC,aAAa,CAAC,cAAc,MAAM,CAAC,cAAc,CAAC,IAAI;YAC/F,GAAG,CAAC,KAAK,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC5C,cAAc,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;gBAC9C,MAAM,SAAS,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBAC9C,OAAO,iCAAiC,MAAM,CAAC,SAAS,CAAC,cAAc,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC;YAC/F,CAAC,CAAC;YACF,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB;gBACnC,CAAC,CAAC,CAAC,+BAA+B,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC;gBAC7D,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACX,OAAO;YACL,IAAI,EAAE,uBAAuB;YAC7B,IAAI,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;SACpD,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG;QACX,mBAAmB;QACnB,eAAe;QACf,eAAe;QACf,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,MAAM;QACf,WAAW,EAAE,MAAM,EAAE,MAAM;QAC3B,WAAW,EAAE,MAAM,EAAE,MAAM;QAC3B,WAAW,EAAE,aAAa,EAAE,aAAa;KAC1C,CAAC;IACF,IAAI,KAAK,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACtC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC;IACtD,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAClE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAa;IAC1C,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,oEAAoE,KAAK,GAAG,EAAE;YAC5F,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAa;IAC3C,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI,CAAC;QACnD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC9D,MAAM,IAAI,KAAK,CAAC,2DAA2D,KAAK,GAAG,EAAE;YACnF,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;AACtE,CAAC;AAED,SAAS,cAAc,CAAC,KAAa,EAAE,KAAa;IAClD,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,oBAAoB,CAAC,CAAC;IAChE,CAAC;AACH,CAAC"}
|
|
@@ -0,0 +1,57 @@
|
|
|
1
|
+
import type { MissionEvent, MissionProcessHandle, MissionRecord } from './mission-state-machine.js';
|
|
2
|
+
import type { MissionStateSnapshot, MissionStateStore } from './mission-state-store.js';
|
|
3
|
+
type MissionDeferralEvent = Extract<MissionEvent, {
|
|
4
|
+
actionKey: string;
|
|
5
|
+
nextEligibleAt: string;
|
|
6
|
+
}>;
|
|
7
|
+
export interface EligibleMission {
|
|
8
|
+
missionId: string;
|
|
9
|
+
revision: number;
|
|
10
|
+
state: MissionRecord['state'];
|
|
11
|
+
nextEligibleAt: string;
|
|
12
|
+
actionKey?: string;
|
|
13
|
+
recovery: boolean;
|
|
14
|
+
}
|
|
15
|
+
export declare class MissionScheduler {
|
|
16
|
+
private readonly store;
|
|
17
|
+
constructor(store: MissionStateStore);
|
|
18
|
+
defer(input: {
|
|
19
|
+
expectedGeneration: number;
|
|
20
|
+
missionId: string;
|
|
21
|
+
expectedRevision: number;
|
|
22
|
+
event: MissionDeferralEvent;
|
|
23
|
+
reason: string;
|
|
24
|
+
requiredPredicate: string;
|
|
25
|
+
}): Promise<MissionStateSnapshot>;
|
|
26
|
+
claim(input: {
|
|
27
|
+
expectedGeneration: number;
|
|
28
|
+
missionId: string;
|
|
29
|
+
expectedRevision: number;
|
|
30
|
+
now: string;
|
|
31
|
+
claim: NonNullable<MissionRecord['claim']>;
|
|
32
|
+
}): Promise<MissionStateSnapshot>;
|
|
33
|
+
registerProcess(input: {
|
|
34
|
+
expectedGeneration: number;
|
|
35
|
+
missionId: string;
|
|
36
|
+
expectedRevision: number;
|
|
37
|
+
claimToken: string;
|
|
38
|
+
process: MissionProcessHandle;
|
|
39
|
+
}): Promise<MissionStateSnapshot>;
|
|
40
|
+
completeProcess(input: {
|
|
41
|
+
expectedGeneration: number;
|
|
42
|
+
missionId: string;
|
|
43
|
+
expectedRevision: number;
|
|
44
|
+
claimToken: string;
|
|
45
|
+
actionKey: string;
|
|
46
|
+
pid: number;
|
|
47
|
+
}): Promise<MissionStateSnapshot>;
|
|
48
|
+
compactTerminal(input: {
|
|
49
|
+
expectedGeneration: number;
|
|
50
|
+
missionId: string;
|
|
51
|
+
expectedRevision: number;
|
|
52
|
+
retainedAt: string;
|
|
53
|
+
}): Promise<MissionStateSnapshot>;
|
|
54
|
+
}
|
|
55
|
+
export declare function listEligibleMissions(snapshot: MissionStateSnapshot, now: string, limit?: number): EligibleMission[];
|
|
56
|
+
export {};
|
|
57
|
+
//# sourceMappingURL=mission-scheduler.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mission-scheduler.d.ts","sourceRoot":"","sources":["../../../src/runner/mission-scheduler.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAEpG,OAAO,KAAK,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAExF,KAAK,oBAAoB,GAAG,OAAO,CAAC,YAAY,EAAE;IAChD,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;CACxB,CAAC,CAAC;AAEH,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IAC9B,cAAc,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,qBAAa,gBAAgB;IACR,OAAO,CAAC,QAAQ,CAAC,KAAK;gBAAL,KAAK,EAAE,iBAAiB;IAErD,KAAK,CAAC,KAAK,EAAE;QAClB,kBAAkB,EAAE,MAAM,CAAC;QAC3B,SAAS,EAAE,MAAM,CAAC;QAClB,gBAAgB,EAAE,MAAM,CAAC;QACzB,KAAK,EAAE,oBAAoB,CAAC;QAC5B,MAAM,EAAE,MAAM,CAAC;QACf,iBAAiB,EAAE,MAAM,CAAC;KAC3B,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAuB1B,KAAK,CAAC,KAAK,EAAE;QAClB,kBAAkB,EAAE,MAAM,CAAC;QAC3B,SAAS,EAAE,MAAM,CAAC;QAClB,gBAAgB,EAAE,MAAM,CAAC;QACzB,GAAG,EAAE,MAAM,CAAC;QACZ,KAAK,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;KAC5C,GAAG,OAAO,CAAC,oBAAoB,CAAC;IA2C1B,eAAe,CAAC,KAAK,EAAE;QAC5B,kBAAkB,EAAE,MAAM,CAAC;QAC3B,SAAS,EAAE,MAAM,CAAC;QAClB,gBAAgB,EAAE,MAAM,CAAC;QACzB,UAAU,EAAE,MAAM,CAAC;QACnB,OAAO,EAAE,oBAAoB,CAAC;KAC/B,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAe1B,eAAe,CAAC,KAAK,EAAE;QAC5B,kBAAkB,EAAE,MAAM,CAAC;QAC3B,SAAS,EAAE,MAAM,CAAC;QAClB,gBAAgB,EAAE,MAAM,CAAC;QACzB,UAAU,EAAE,MAAM,CAAC;QACnB,SAAS,EAAE,MAAM,CAAC;QAClB,GAAG,EAAE,MAAM,CAAC;KACb,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAoB1B,eAAe,CAAC,KAAK,EAAE;QAC5B,kBAAkB,EAAE,MAAM,CAAC;QAC3B,SAAS,EAAE,MAAM,CAAC;QAClB,gBAAgB,EAAE,MAAM,CAAC;QACzB,UAAU,EAAE,MAAM,CAAC;KACpB,GAAG,OAAO,CAAC,oBAAoB,CAAC;CAiBlC;AAED,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,oBAAoB,EAC9B,GAAG,EAAE,MAAM,EACX,KAAK,SAAM,GACV,eAAe,EAAE,CA6BnB"}
|
|
@@ -0,0 +1,205 @@
|
|
|
1
|
+
import { terminalMissionStates, transitionMission } from './mission-state-machine.js';
|
|
2
|
+
export class MissionScheduler {
|
|
3
|
+
store;
|
|
4
|
+
constructor(store) {
|
|
5
|
+
this.store = store;
|
|
6
|
+
}
|
|
7
|
+
defer(input) {
|
|
8
|
+
requireText(input.reason, 'deferral reason');
|
|
9
|
+
requireText(input.requiredPredicate, 'required predicate');
|
|
10
|
+
assertTimestamp(input.event.nextEligibleAt, 'nextEligibleAt');
|
|
11
|
+
return this.store.mutate(input.expectedGeneration, (draft) => {
|
|
12
|
+
const current = requireMission(draft.missions[input.missionId], input);
|
|
13
|
+
if ((current.claim?.processes.length ?? 0) > 0) {
|
|
14
|
+
throw new Error('Mission scheduler cannot defer while live process handles remain.');
|
|
15
|
+
}
|
|
16
|
+
const deferred = transitionMission(current, input.event);
|
|
17
|
+
if (deferred.state !== 'resumable' || !deferred.resumeTarget || !deferred.nextEligibleAt) {
|
|
18
|
+
throw new Error('Mission scheduler deferral event did not produce resumable state.');
|
|
19
|
+
}
|
|
20
|
+
draft.missions[input.missionId] = {
|
|
21
|
+
...deferred,
|
|
22
|
+
resumableReason: input.reason,
|
|
23
|
+
requiredPredicate: input.requiredPredicate,
|
|
24
|
+
};
|
|
25
|
+
draft.nextEligibleAt[input.missionId] = deferred.nextEligibleAt;
|
|
26
|
+
delete draft.reservations[input.missionId];
|
|
27
|
+
});
|
|
28
|
+
}
|
|
29
|
+
claim(input) {
|
|
30
|
+
assertTimestamp(input.now, 'claim now');
|
|
31
|
+
validateClaim(input.claim);
|
|
32
|
+
if (input.claim.claimedAt !== input.now || input.claim.leaseUntil <= input.now) {
|
|
33
|
+
throw new Error('Mission scheduler claim timestamps are inconsistent.');
|
|
34
|
+
}
|
|
35
|
+
return this.store.mutate(input.expectedGeneration, (draft) => {
|
|
36
|
+
const current = requireMission(draft.missions[input.missionId], input);
|
|
37
|
+
const indexedAt = draft.nextEligibleAt[input.missionId];
|
|
38
|
+
if (!indexedAt || indexedAt > input.now) {
|
|
39
|
+
throw new Error('Mission scheduler claim is not eligible.');
|
|
40
|
+
}
|
|
41
|
+
let claimed;
|
|
42
|
+
let priorProcesses = [];
|
|
43
|
+
if (current.state === 'resumable') {
|
|
44
|
+
if (current.nextEligibleAt !== indexedAt) {
|
|
45
|
+
throw new Error('Mission scheduler resumable index does not match the aggregate.');
|
|
46
|
+
}
|
|
47
|
+
claimed = transitionMission(current, { type: 'resume-eligible', now: input.now });
|
|
48
|
+
}
|
|
49
|
+
else {
|
|
50
|
+
if (!current.claim || current.claim.leaseUntil !== indexedAt
|
|
51
|
+
|| current.claim.leaseUntil > input.now) {
|
|
52
|
+
throw new Error('Mission scheduler active claim is not expired.');
|
|
53
|
+
}
|
|
54
|
+
if (input.claim.fencingEpoch < current.claim.fencingEpoch) {
|
|
55
|
+
throw new Error('Mission scheduler claim fencing epoch is stale.');
|
|
56
|
+
}
|
|
57
|
+
if (current.claim.hostId !== input.claim.hostId) {
|
|
58
|
+
throw new Error('Mission scheduler cannot reclaim a claim from another host.');
|
|
59
|
+
}
|
|
60
|
+
priorProcesses = current.claim.bootNonce === input.claim.bootNonce
|
|
61
|
+
? current.claim.processes : [];
|
|
62
|
+
claimed = { ...current, revision: current.revision + 1 };
|
|
63
|
+
}
|
|
64
|
+
claimed.claim = {
|
|
65
|
+
...structuredClone(input.claim),
|
|
66
|
+
processes: mergeProcesses(priorProcesses, input.claim.processes),
|
|
67
|
+
};
|
|
68
|
+
draft.missions[input.missionId] = claimed;
|
|
69
|
+
draft.nextEligibleAt[input.missionId] = input.claim.leaseUntil;
|
|
70
|
+
});
|
|
71
|
+
}
|
|
72
|
+
registerProcess(input) {
|
|
73
|
+
validateProcess(input.process);
|
|
74
|
+
return this.store.mutate(input.expectedGeneration, (draft) => {
|
|
75
|
+
const current = requireMission(draft.missions[input.missionId], input);
|
|
76
|
+
if (!current.claim || current.claim.token !== input.claimToken) {
|
|
77
|
+
throw new Error('Mission scheduler claim token mismatch.');
|
|
78
|
+
}
|
|
79
|
+
if (current.state === 'cancelling' || terminalMissionStates.has(current.state)) {
|
|
80
|
+
throw new Error(`Mission scheduler cannot register a process in ${current.state}.`);
|
|
81
|
+
}
|
|
82
|
+
current.claim.processes = mergeProcesses(current.claim.processes, [input.process]);
|
|
83
|
+
current.revision += 1;
|
|
84
|
+
});
|
|
85
|
+
}
|
|
86
|
+
completeProcess(input) {
|
|
87
|
+
requireText(input.actionKey, 'completed process actionKey');
|
|
88
|
+
if (!Number.isSafeInteger(input.pid) || input.pid <= 0) {
|
|
89
|
+
throw new Error('Mission scheduler completed process pid must be a positive integer.');
|
|
90
|
+
}
|
|
91
|
+
return this.store.mutate(input.expectedGeneration, (draft) => {
|
|
92
|
+
const current = requireMission(draft.missions[input.missionId], input);
|
|
93
|
+
if (!current.claim || current.claim.token !== input.claimToken) {
|
|
94
|
+
throw new Error('Mission scheduler claim token mismatch.');
|
|
95
|
+
}
|
|
96
|
+
const before = current.claim.processes.length;
|
|
97
|
+
current.claim.processes = current.claim.processes.filter((process) => process.actionKey !== input.actionKey || process.pid !== input.pid);
|
|
98
|
+
if (current.claim.processes.length === before) {
|
|
99
|
+
throw new Error('Mission scheduler completed process handle is missing.');
|
|
100
|
+
}
|
|
101
|
+
current.revision += 1;
|
|
102
|
+
});
|
|
103
|
+
}
|
|
104
|
+
compactTerminal(input) {
|
|
105
|
+
assertTimestamp(input.retainedAt, 'retainedAt');
|
|
106
|
+
return this.store.mutate(input.expectedGeneration, (draft) => {
|
|
107
|
+
const current = requireMission(draft.missions[input.missionId], input);
|
|
108
|
+
if (!terminalMissionStates.has(current.state)) {
|
|
109
|
+
throw new Error('Mission scheduler can compact only terminal missions.');
|
|
110
|
+
}
|
|
111
|
+
delete draft.missions[input.missionId];
|
|
112
|
+
delete draft.nextEligibleAt[input.missionId];
|
|
113
|
+
delete draft.reservations[input.missionId];
|
|
114
|
+
draft.tombstones[input.missionId] = {
|
|
115
|
+
kind: 'mission',
|
|
116
|
+
terminalState: current.state,
|
|
117
|
+
retainedAt: input.retainedAt,
|
|
118
|
+
};
|
|
119
|
+
});
|
|
120
|
+
}
|
|
121
|
+
}
|
|
122
|
+
export function listEligibleMissions(snapshot, now, limit = 100) {
|
|
123
|
+
assertTimestamp(now, 'scheduler now');
|
|
124
|
+
if (!Number.isSafeInteger(limit) || limit <= 0) {
|
|
125
|
+
throw new Error('Mission scheduler limit must be a positive integer.');
|
|
126
|
+
}
|
|
127
|
+
const result = [];
|
|
128
|
+
const entries = Object.entries(snapshot.nextEligibleAt)
|
|
129
|
+
.filter(([, nextEligibleAt]) => nextEligibleAt <= now)
|
|
130
|
+
.sort(([leftId, leftTime], [rightId, rightTime]) => compare(leftTime, rightTime) || compare(leftId, rightId));
|
|
131
|
+
for (const [missionId, nextEligibleAt] of entries) {
|
|
132
|
+
if (result.length >= Math.min(limit, 100))
|
|
133
|
+
break;
|
|
134
|
+
const mission = snapshot.missions[missionId];
|
|
135
|
+
if (!mission)
|
|
136
|
+
continue;
|
|
137
|
+
const resumable = mission.state === 'resumable'
|
|
138
|
+
&& mission.nextEligibleAt === nextEligibleAt && !mission.claim;
|
|
139
|
+
const recovery = Boolean(mission.claim && mission.claim.leaseUntil === nextEligibleAt
|
|
140
|
+
&& mission.claim.leaseUntil <= now);
|
|
141
|
+
if (!resumable && !recovery)
|
|
142
|
+
continue;
|
|
143
|
+
result.push({
|
|
144
|
+
missionId,
|
|
145
|
+
revision: mission.revision,
|
|
146
|
+
state: mission.state,
|
|
147
|
+
nextEligibleAt,
|
|
148
|
+
...(mission.actionKey ? { actionKey: mission.actionKey } : {}),
|
|
149
|
+
recovery,
|
|
150
|
+
});
|
|
151
|
+
}
|
|
152
|
+
return result;
|
|
153
|
+
}
|
|
154
|
+
function requireMission(mission, input) {
|
|
155
|
+
if (!mission)
|
|
156
|
+
throw new Error(`Mission scheduler cannot find ${input.missionId}.`);
|
|
157
|
+
if (mission.revision !== input.expectedRevision) {
|
|
158
|
+
throw new Error(`Mission scheduler revision conflict for ${input.missionId}.`);
|
|
159
|
+
}
|
|
160
|
+
return mission;
|
|
161
|
+
}
|
|
162
|
+
function validateClaim(claim) {
|
|
163
|
+
if (claim.version !== 1 || !Number.isSafeInteger(claim.fencingEpoch) || claim.fencingEpoch <= 0) {
|
|
164
|
+
throw new Error('Mission scheduler claim is invalid.');
|
|
165
|
+
}
|
|
166
|
+
for (const [value, field] of [
|
|
167
|
+
[claim.token, 'token'], [claim.daemonId, 'daemonId'], [claim.hostId, 'hostId'],
|
|
168
|
+
[claim.bootNonce, 'bootNonce'],
|
|
169
|
+
])
|
|
170
|
+
requireText(value, `claim ${field}`);
|
|
171
|
+
assertTimestamp(claim.claimedAt, 'claim claimedAt');
|
|
172
|
+
assertTimestamp(claim.leaseUntil, 'claim leaseUntil');
|
|
173
|
+
claim.processes.forEach(validateProcess);
|
|
174
|
+
}
|
|
175
|
+
function validateProcess(process) {
|
|
176
|
+
requireText(process.actionKey, 'process actionKey');
|
|
177
|
+
requireText(process.hostId, 'process hostId');
|
|
178
|
+
requireText(process.bootNonce, 'process bootNonce');
|
|
179
|
+
if (!Number.isSafeInteger(process.pid) || process.pid <= 0) {
|
|
180
|
+
throw new Error('Mission scheduler process pid must be a positive integer.');
|
|
181
|
+
}
|
|
182
|
+
assertTimestamp(process.startedAt, 'process startedAt');
|
|
183
|
+
}
|
|
184
|
+
function mergeProcesses(left, right) {
|
|
185
|
+
const merged = new Map();
|
|
186
|
+
for (const process of [...left, ...right]) {
|
|
187
|
+
validateProcess(process);
|
|
188
|
+
merged.set(`${process.hostId}:${process.bootNonce}:${process.pid}:${process.actionKey}`, structuredClone(process));
|
|
189
|
+
}
|
|
190
|
+
return [...merged.values()].sort((a, b) => compare(a.actionKey, b.actionKey) || a.pid - b.pid);
|
|
191
|
+
}
|
|
192
|
+
function assertTimestamp(value, field) {
|
|
193
|
+
const milliseconds = Date.parse(value);
|
|
194
|
+
if (!Number.isFinite(milliseconds) || new Date(milliseconds).toISOString() !== value) {
|
|
195
|
+
throw new Error(`Mission scheduler ${field} must be an exact UTC ISO timestamp.`);
|
|
196
|
+
}
|
|
197
|
+
}
|
|
198
|
+
function requireText(value, field) {
|
|
199
|
+
if (value.trim().length === 0)
|
|
200
|
+
throw new Error(`Mission scheduler ${field} must be non-empty.`);
|
|
201
|
+
}
|
|
202
|
+
function compare(left, right) {
|
|
203
|
+
return left < right ? -1 : left > right ? 1 : 0;
|
|
204
|
+
}
|
|
205
|
+
//# sourceMappingURL=mission-scheduler.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mission-scheduler.js","sourceRoot":"","sources":["../../../src/runner/mission-scheduler.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAiBtF,MAAM,OAAO,gBAAgB;IACS;IAApC,YAAoC,KAAwB;QAAxB,UAAK,GAAL,KAAK,CAAmB;IAAG,CAAC;IAEzD,KAAK,CAAC,KAOZ;QACC,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;QAC7C,WAAW,CAAC,KAAK,CAAC,iBAAiB,EAAE,oBAAoB,CAAC,CAAC;QAC3D,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,EAAE,CAAC,KAAK,EAAE,EAAE;YAC3D,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;YACvE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC/C,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;YACvF,CAAC;YACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YACzD,IAAI,QAAQ,CAAC,KAAK,KAAK,WAAW,IAAI,CAAC,QAAQ,CAAC,YAAY,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC;gBACzF,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;YACvF,CAAC;YACD,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG;gBAChC,GAAG,QAAQ;gBACX,eAAe,EAAE,KAAK,CAAC,MAAM;gBAC7B,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;aAC3C,CAAC;YACF,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,QAAQ,CAAC,cAAc,CAAC;YAChE,OAAO,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;IACL,CAAC;IAEM,KAAK,CAAC,KAMZ;QACC,eAAe,CAAC,KAAK,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QACxC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,KAAK,CAAC,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,GAAG,EAAE,CAAC;YAC/E,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,EAAE,CAAC,KAAK,EAAE,EAAE;YAC3D,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;YACvE,MAAM,SAAS,GAAG,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACxD,IAAI,CAAC,SAAS,IAAI,SAAS,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;gBACxC,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;YAC9D,CAAC;YACD,IAAI,OAAsB,CAAC;YAC3B,IAAI,cAAc,GAA2B,EAAE,CAAC;YAChD,IAAI,OAAO,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;gBAClC,IAAI,OAAO,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;oBACzC,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;gBACrF,CAAC;gBACD,OAAO,GAAG,iBAAiB,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;YACpF,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS;uBACvD,OAAO,CAAC,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;oBAC1C,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;gBACpE,CAAC;gBACD,IAAI,KAAK,CAAC,KAAK,CAAC,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;oBAC1D,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;gBACrE,CAAC;gBACD,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBAChD,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;gBACjF,CAAC;gBACD,cAAc,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,KAAK,CAAC,SAAS;oBAChE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjC,OAAO,GAAG,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;YAC3D,CAAC;YACD,OAAO,CAAC,KAAK,GAAG;gBACd,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC;gBAC/B,SAAS,EAAE,cAAc,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC;aACjE,CAAC;YACF,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC;YAC1C,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC;QACjE,CAAC,CAAC,CAAC;IACL,CAAC;IAEM,eAAe,CAAC,KAMtB;QACC,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,EAAE,CAAC,KAAK,EAAE,EAAE;YAC3D,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;YACvE,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;gBAC/D,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;YAC7D,CAAC;YACD,IAAI,OAAO,CAAC,KAAK,KAAK,YAAY,IAAI,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC/E,MAAM,IAAI,KAAK,CAAC,kDAAkD,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;YACtF,CAAC;YACD,OAAO,CAAC,KAAK,CAAC,SAAS,GAAG,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YACnF,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;IACL,CAAC;IAEM,eAAe,CAAC,KAOtB;QACC,WAAW,CAAC,KAAK,CAAC,SAAS,EAAE,6BAA6B,CAAC,CAAC;QAC5D,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;QACzF,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,EAAE,CAAC,KAAK,EAAE,EAAE;YAC3D,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;YACvE,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;gBAC/D,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;YAC7D,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;YAC9C,OAAO,CAAC,KAAK,CAAC,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CACnE,OAAO,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,IAAI,OAAO,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC;YACtE,IAAI,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC9C,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;YAC5E,CAAC;YACD,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;IACL,CAAC;IAEM,eAAe,CAAC,KAKtB;QACC,eAAe,CAAC,KAAK,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;QAChD,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,EAAE,CAAC,KAAK,EAAE,EAAE;YAC3D,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;YACvE,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9C,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;YAC3E,CAAC;YACD,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACvC,OAAO,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC7C,OAAO,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC3C,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG;gBAClC,IAAI,EAAE,SAAS;gBACf,aAAa,EAAE,OAAO,CAAC,KAAK;gBAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;aAC7B,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AAED,MAAM,UAAU,oBAAoB,CAClC,QAA8B,EAC9B,GAAW,EACX,KAAK,GAAG,GAAG;IAEX,eAAe,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC;SACpD,MAAM,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,cAAc,IAAI,GAAG,CAAC;SACrD,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,CACjD,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC9D,KAAK,MAAM,CAAC,SAAS,EAAE,cAAc,CAAC,IAAI,OAAO,EAAE,CAAC;QAClD,IAAI,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC;YAAE,MAAM;QACjD,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC7C,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,KAAK,WAAW;eAC1C,OAAO,CAAC,cAAc,KAAK,cAAc,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QACjE,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,UAAU,KAAK,cAAc;eAChF,OAAO,CAAC,KAAK,CAAC,UAAU,IAAI,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,SAAS,IAAI,CAAC,QAAQ;YAAE,SAAS;QACtC,MAAM,CAAC,IAAI,CAAC;YACV,SAAS;YACT,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,cAAc;YACd,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CACrB,OAAkC,EAClC,KAAsD;IAEtD,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;IACnF,IAAI,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC,gBAAgB,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,2CAA2C,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,KAA0C;IAC/D,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC,YAAY,IAAI,CAAC,EAAE,CAAC;QAChG,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI;QAC3B,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC9E,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC;KACtB;QAAE,WAAW,CAAC,KAAK,EAAE,SAAS,KAAK,EAAE,CAAC,CAAC;IACjD,eAAe,CAAC,KAAK,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;IACpD,eAAe,CAAC,KAAK,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;IACtD,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,eAAe,CAAC,OAA6B;IACpD,WAAW,CAAC,OAAO,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;IACpD,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC9C,WAAW,CAAC,OAAO,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;IACpD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC/E,CAAC;IACD,eAAe,CAAC,OAAO,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,cAAc,CAAC,IAA4B,EAAE,KAA6B;IACjF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC;QAC1C,eAAe,CAAC,OAAO,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,SAAS,EAAE,EACrF,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACxC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,eAAe,CAAC,KAAa,EAAE,KAAa;IACnD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK,EAAE,CAAC;QACrF,MAAM,IAAI,KAAK,CAAC,qBAAqB,KAAK,sCAAsC,CAAC,CAAC;IACpF,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAa,EAAE,KAAa;IAC/C,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,KAAK,qBAAqB,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,KAAa;IAC1C,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"}
|
|
@@ -0,0 +1,47 @@
|
|
|
1
|
+
export declare const missionScopeRelationshipKinds: readonly ["imports", "imported-by", "test-for", "implementation-for", "config-consumer", "generated-from", "acceptance-artifact-owner"];
|
|
2
|
+
export type MissionScopeRelationshipKind = (typeof missionScopeRelationshipKinds)[number];
|
|
3
|
+
export interface MissionScopeRelationship {
|
|
4
|
+
kind: MissionScopeRelationshipKind;
|
|
5
|
+
from: string;
|
|
6
|
+
to: string;
|
|
7
|
+
evidenceId: string;
|
|
8
|
+
generatorId?: string;
|
|
9
|
+
}
|
|
10
|
+
export interface MissionScopeExpansionProposal {
|
|
11
|
+
version: 1;
|
|
12
|
+
repository: string;
|
|
13
|
+
paths: string[];
|
|
14
|
+
evidenceIds: string[];
|
|
15
|
+
relationship: {
|
|
16
|
+
kind: MissionScopeRelationshipKind;
|
|
17
|
+
from: string;
|
|
18
|
+
generatorId?: string;
|
|
19
|
+
};
|
|
20
|
+
}
|
|
21
|
+
export interface MissionScopeExpansionContext {
|
|
22
|
+
repository: string;
|
|
23
|
+
repositoryPaths: string[];
|
|
24
|
+
grantedPaths: string[];
|
|
25
|
+
evidenceIds: string[];
|
|
26
|
+
relationships: MissionScopeRelationship[];
|
|
27
|
+
allowlistedGeneratorIds: string[];
|
|
28
|
+
deniedPaths: string[];
|
|
29
|
+
maxExpandedPaths: number;
|
|
30
|
+
}
|
|
31
|
+
export type MissionScopeExpansionDecision = {
|
|
32
|
+
kind: 'allowed';
|
|
33
|
+
repository: string;
|
|
34
|
+
paths: string[];
|
|
35
|
+
relationship: MissionScopeRelationshipKind;
|
|
36
|
+
evidenceIds: string[];
|
|
37
|
+
} | {
|
|
38
|
+
kind: 'rejected-recoverable';
|
|
39
|
+
reason: string;
|
|
40
|
+
alternatives: string[];
|
|
41
|
+
} | {
|
|
42
|
+
kind: 'safety-stop';
|
|
43
|
+
reason: string;
|
|
44
|
+
evidence: string[];
|
|
45
|
+
};
|
|
46
|
+
export declare function authorizeMissionScopeExpansion(context: MissionScopeExpansionContext, proposal: MissionScopeExpansionProposal): MissionScopeExpansionDecision;
|
|
47
|
+
//# sourceMappingURL=mission-scope-expansion.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mission-scope-expansion.d.ts","sourceRoot":"","sources":["../../../src/runner/mission-scope-expansion.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,6BAA6B,yIAQhC,CAAC;AAEX,MAAM,MAAM,4BAA4B,GAAG,CAAC,OAAO,6BAA6B,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1F,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,4BAA4B,CAAC;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,6BAA6B;IAC5C,OAAO,EAAE,CAAC,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,YAAY,EAAE;QACZ,IAAI,EAAE,4BAA4B,CAAC;QACnC,IAAI,EAAE,MAAM,CAAC;QACb,WAAW,CAAC,EAAE,MAAM,CAAC;KACtB,CAAC;CACH;AAED,MAAM,WAAW,4BAA4B;IAC3C,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,aAAa,EAAE,wBAAwB,EAAE,CAAC;IAC1C,uBAAuB,EAAE,MAAM,EAAE,CAAC;IAClC,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,6BAA6B,GACrC;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,YAAY,EAAE,4BAA4B,CAAC;IAC3C,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,GACD;IACE,IAAI,EAAE,sBAAsB,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB,GACD;IACE,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB,CAAC;AAEN,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,4BAA4B,EACrC,QAAQ,EAAE,6BAA6B,GACtC,6BAA6B,CAgF/B"}
|
|
@@ -0,0 +1,147 @@
|
|
|
1
|
+
import { globMatches, normalizePath, uniqueSortedPaths } from '../path-policy.js';
|
|
2
|
+
import { missionPathDenied } from './mission-path-language.js';
|
|
3
|
+
export const missionScopeRelationshipKinds = [
|
|
4
|
+
'imports',
|
|
5
|
+
'imported-by',
|
|
6
|
+
'test-for',
|
|
7
|
+
'implementation-for',
|
|
8
|
+
'config-consumer',
|
|
9
|
+
'generated-from',
|
|
10
|
+
'acceptance-artifact-owner',
|
|
11
|
+
];
|
|
12
|
+
export function authorizeMissionScopeExpansion(context, proposal) {
|
|
13
|
+
assertContext(context);
|
|
14
|
+
if (proposal.version !== 1) {
|
|
15
|
+
return rejected('unsupported-proposal-version', ['submit a version 1 scope proposal']);
|
|
16
|
+
}
|
|
17
|
+
const expectedRepository = normalizeRepository(context.repository);
|
|
18
|
+
const receivedRepository = normalizeRepository(proposal.repository);
|
|
19
|
+
if (receivedRepository !== expectedRepository) {
|
|
20
|
+
return {
|
|
21
|
+
kind: 'safety-stop',
|
|
22
|
+
reason: 'repository-identity-mismatch',
|
|
23
|
+
evidence: [`expected:${expectedRepository}`, `received:${receivedRepository}`],
|
|
24
|
+
};
|
|
25
|
+
}
|
|
26
|
+
const evidenceIds = uniqueText(proposal.evidenceIds);
|
|
27
|
+
if (evidenceIds.length === 0 || evidenceIds.some((id) => !context.evidenceIds.includes(id))) {
|
|
28
|
+
return rejected('evidence-not-pinned', ['collect evidence from the pinned Mission snapshot']);
|
|
29
|
+
}
|
|
30
|
+
const source = normalizeConcretePath(proposal.relationship.from);
|
|
31
|
+
if (!context.grantedPaths.some((grant) => globMatches(grant, source))) {
|
|
32
|
+
return rejected('relationship-source-outside-current-scope', [
|
|
33
|
+
'anchor the relationship in an already granted path',
|
|
34
|
+
]);
|
|
35
|
+
}
|
|
36
|
+
if (!context.repositoryPaths.map(normalizeConcretePath).includes(source)) {
|
|
37
|
+
return rejected('relationship-source-not-in-pinned-tree', [
|
|
38
|
+
'anchor the relationship in a path from the pinned tree',
|
|
39
|
+
]);
|
|
40
|
+
}
|
|
41
|
+
const expanded = expandFinitePaths(proposal.paths, context.repositoryPaths);
|
|
42
|
+
if (expanded.length === 0) {
|
|
43
|
+
return rejected('scope-pattern-matched-no-pinned-paths', [
|
|
44
|
+
'request an exact path present in the pinned tree',
|
|
45
|
+
]);
|
|
46
|
+
}
|
|
47
|
+
if (expanded.length > context.maxExpandedPaths) {
|
|
48
|
+
return rejected('scope-expansion-limit-exceeded', [
|
|
49
|
+
`request at most ${context.maxExpandedPaths} related paths`,
|
|
50
|
+
]);
|
|
51
|
+
}
|
|
52
|
+
const denied = expanded.filter((path) => missionPathDenied(path, context.deniedPaths));
|
|
53
|
+
if (denied.length > 0) {
|
|
54
|
+
return {
|
|
55
|
+
kind: 'safety-stop',
|
|
56
|
+
reason: 'scope-expansion-denied-path',
|
|
57
|
+
evidence: denied,
|
|
58
|
+
};
|
|
59
|
+
}
|
|
60
|
+
if (proposal.relationship.kind === 'generated-from') {
|
|
61
|
+
const generatorId = proposal.relationship.generatorId?.trim();
|
|
62
|
+
if (!generatorId || !context.allowlistedGeneratorIds.includes(generatorId)) {
|
|
63
|
+
return rejected('generator-not-allowlisted', [
|
|
64
|
+
'use an allowlisted deterministic generator',
|
|
65
|
+
'choose a non-generated related path',
|
|
66
|
+
]);
|
|
67
|
+
}
|
|
68
|
+
}
|
|
69
|
+
const relationships = expanded.map((target) => context.relationships.find((relationship) => relationship.kind === proposal.relationship.kind
|
|
70
|
+
&& normalizeConcretePath(relationship.from) === source
|
|
71
|
+
&& normalizeConcretePath(relationship.to) === target
|
|
72
|
+
&& evidenceIds.includes(relationship.evidenceId)
|
|
73
|
+
&& (relationship.kind !== 'generated-from'
|
|
74
|
+
|| relationship.generatorId === proposal.relationship.generatorId)));
|
|
75
|
+
if (relationships.some((relationship) => relationship === undefined)) {
|
|
76
|
+
const knownKinds = uniqueText(context.relationships
|
|
77
|
+
.filter((relationship) => normalizeConcretePath(relationship.from) === source)
|
|
78
|
+
.map((relationship) => relationship.kind));
|
|
79
|
+
return rejected('relationship-not-proven', [
|
|
80
|
+
...knownKinds.map((kind) => `request a path linked by ${kind}`),
|
|
81
|
+
'collect new pinned relationship evidence',
|
|
82
|
+
]);
|
|
83
|
+
}
|
|
84
|
+
return {
|
|
85
|
+
kind: 'allowed',
|
|
86
|
+
repository: expectedRepository,
|
|
87
|
+
paths: expanded,
|
|
88
|
+
relationship: proposal.relationship.kind,
|
|
89
|
+
evidenceIds,
|
|
90
|
+
};
|
|
91
|
+
}
|
|
92
|
+
function expandFinitePaths(patterns, repositoryPaths) {
|
|
93
|
+
const normalizedPatterns = uniqueText(patterns.map(normalizePattern));
|
|
94
|
+
const normalizedPaths = uniqueSortedPaths(repositoryPaths.map(normalizeConcretePath));
|
|
95
|
+
return normalizedPaths.filter((path) => normalizedPatterns.some((pattern) => globMatches(pattern, path)));
|
|
96
|
+
}
|
|
97
|
+
function normalizeRepository(value) {
|
|
98
|
+
const normalized = value.trim().normalize('NFC');
|
|
99
|
+
if (!/^[^/\s]+\/[^/\s]+$/u.test(normalized)) {
|
|
100
|
+
throw new Error('Mission scope repository must be owner/name.');
|
|
101
|
+
}
|
|
102
|
+
return normalized;
|
|
103
|
+
}
|
|
104
|
+
function normalizePattern(value) {
|
|
105
|
+
const normalized = normalizePath(value).normalize('NFC');
|
|
106
|
+
if (normalized.length === 0 || normalized.startsWith('/')
|
|
107
|
+
|| normalized.split('/').some((segment) => segment.length === 0 || segment === '..')) {
|
|
108
|
+
throw new Error('Mission scope path must be repository-relative.');
|
|
109
|
+
}
|
|
110
|
+
return normalized;
|
|
111
|
+
}
|
|
112
|
+
function normalizeConcretePath(value) {
|
|
113
|
+
const normalized = normalizePattern(value);
|
|
114
|
+
if (normalized.includes('*')) {
|
|
115
|
+
throw new Error('Mission scope relationship paths must be concrete.');
|
|
116
|
+
}
|
|
117
|
+
return normalized;
|
|
118
|
+
}
|
|
119
|
+
function rejected(reason, alternatives) {
|
|
120
|
+
return {
|
|
121
|
+
kind: 'rejected-recoverable',
|
|
122
|
+
reason,
|
|
123
|
+
alternatives: uniqueInOrder(alternatives),
|
|
124
|
+
};
|
|
125
|
+
}
|
|
126
|
+
function uniqueText(values) {
|
|
127
|
+
return Array.from(new Set(values.map((value) => value.trim()).filter(Boolean))).sort();
|
|
128
|
+
}
|
|
129
|
+
function uniqueInOrder(values) {
|
|
130
|
+
return Array.from(new Set(values.map((value) => value.trim()).filter(Boolean)));
|
|
131
|
+
}
|
|
132
|
+
function assertContext(context) {
|
|
133
|
+
normalizeRepository(context.repository);
|
|
134
|
+
if (!Number.isSafeInteger(context.maxExpandedPaths) || context.maxExpandedPaths <= 0) {
|
|
135
|
+
throw new Error('Mission scope maxExpandedPaths must be a positive integer.');
|
|
136
|
+
}
|
|
137
|
+
context.repositoryPaths.forEach(normalizeConcretePath);
|
|
138
|
+
context.relationships.forEach((relationship) => {
|
|
139
|
+
normalizeConcretePath(relationship.from);
|
|
140
|
+
normalizeConcretePath(relationship.to);
|
|
141
|
+
if (!missionScopeRelationshipKinds.includes(relationship.kind)
|
|
142
|
+
|| relationship.evidenceId.trim().length === 0) {
|
|
143
|
+
throw new Error('Mission scope relationship is invalid.');
|
|
144
|
+
}
|
|
145
|
+
});
|
|
146
|
+
}
|
|
147
|
+
//# sourceMappingURL=mission-scope-expansion.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mission-scope-expansion.js","sourceRoot":"","sources":["../../../src/runner/mission-scope-expansion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAE/D,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,SAAS;IACT,aAAa;IACb,UAAU;IACV,oBAAoB;IACpB,iBAAiB;IACjB,gBAAgB;IAChB,2BAA2B;CACnB,CAAC;AAsDX,MAAM,UAAU,8BAA8B,CAC5C,OAAqC,EACrC,QAAuC;IAEvC,aAAa,CAAC,OAAO,CAAC,CAAC;IACvB,IAAI,QAAQ,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,QAAQ,CAAC,8BAA8B,EAAE,CAAC,mCAAmC,CAAC,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,kBAAkB,GAAG,mBAAmB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACnE,MAAM,kBAAkB,GAAG,mBAAmB,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACpE,IAAI,kBAAkB,KAAK,kBAAkB,EAAE,CAAC;QAC9C,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE,8BAA8B;YACtC,QAAQ,EAAE,CAAC,YAAY,kBAAkB,EAAE,EAAE,YAAY,kBAAkB,EAAE,CAAC;SAC/E,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACrD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC5F,OAAO,QAAQ,CAAC,qBAAqB,EAAE,CAAC,mDAAmD,CAAC,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACjE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;QACtE,OAAO,QAAQ,CAAC,2CAA2C,EAAE;YAC3D,oDAAoD;SACrD,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACzE,OAAO,QAAQ,CAAC,wCAAwC,EAAE;YACxD,wDAAwD;SACzD,CAAC,CAAC;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,eAAe,CAAC,CAAC;IAC5E,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,QAAQ,CAAC,uCAAuC,EAAE;YACvD,kDAAkD;SACnD,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC/C,OAAO,QAAQ,CAAC,gCAAgC,EAAE;YAChD,mBAAmB,OAAO,CAAC,gBAAgB,gBAAgB;SAC5D,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IACvF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE,6BAA6B;YACrC,QAAQ,EAAE,MAAM;SACjB,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,YAAY,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACpD,MAAM,WAAW,GAAG,QAAQ,CAAC,YAAY,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC;QAC9D,IAAI,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YAC3E,OAAO,QAAQ,CAAC,2BAA2B,EAAE;gBAC3C,4CAA4C;gBAC5C,qCAAqC;aACtC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,EAAE,CACzF,YAAY,CAAC,IAAI,KAAK,QAAQ,CAAC,YAAY,CAAC,IAAI;WAC7C,qBAAqB,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,MAAM;WACnD,qBAAqB,CAAC,YAAY,CAAC,EAAE,CAAC,KAAK,MAAM;WACjD,WAAW,CAAC,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC;WAC7C,CAAC,YAAY,CAAC,IAAI,KAAK,gBAAgB;eACrC,YAAY,CAAC,WAAW,KAAK,QAAQ,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACzE,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,YAAY,KAAK,SAAS,CAAC,EAAE,CAAC;QACrE,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,aAAa;aAChD,MAAM,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,qBAAqB,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC;aAC7E,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7C,OAAO,QAAQ,CAAC,yBAAyB,EAAE;YACzC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,4BAA4B,IAAI,EAAE,CAAC;YAC/D,0CAA0C;SAC3C,CAAC,CAAC;IACL,CAAC;IACD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,kBAAkB;QAC9B,KAAK,EAAE,QAAQ;QACf,YAAY,EAAE,QAAQ,CAAC,YAAY,CAAC,IAAI;QACxC,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAkB,EAAE,eAAyB;IACtE,MAAM,kBAAkB,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACtE,MAAM,eAAe,GAAG,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC;IACtF,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAC5G,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAa;IACxC,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACzD,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,iDAAiD,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAa;IAC1C,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,QAAQ,CAAC,MAAc,EAAE,YAAsB;IACtD,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,MAAM;QACN,YAAY,EAAE,aAAa,CAAC,YAAY,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,MAAgB;IAClC,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,aAAa,CAAC,MAAgB;IACrC,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;AAClF,CAAC;AAED,SAAS,aAAa,CAAC,OAAqC;IAC1D,mBAAmB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,OAAO,CAAC,gBAAgB,IAAI,CAAC,EAAE,CAAC;QACrF,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IACvD,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,EAAE;QAC7C,qBAAqB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACzC,qBAAqB,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,CAAC,6BAA6B,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC;eACzD,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC"}
|