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