@xioflow/kernel 0.4.0 → 0.5.0
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/README.md +95 -3
- package/dist/cli.d.ts +3 -0
- package/dist/cli.d.ts.map +1 -0
- package/dist/cli.js +94 -0
- package/dist/cli.js.map +1 -0
- package/dist/driver/node-driver.d.ts.map +1 -1
- package/dist/driver/node-driver.js +1 -30
- package/dist/driver/node-driver.js.map +1 -1
- package/dist/driver/reaper-driver.d.ts +62 -0
- package/dist/driver/reaper-driver.d.ts.map +1 -0
- package/dist/driver/reaper-driver.js +371 -0
- package/dist/driver/reaper-driver.js.map +1 -0
- package/dist/driver/spawn-support.d.ts +4 -0
- package/dist/driver/spawn-support.d.ts.map +1 -0
- package/dist/driver/spawn-support.js +31 -0
- package/dist/driver/spawn-support.js.map +1 -0
- package/dist/driver/types.d.ts +6 -2
- package/dist/driver/types.d.ts.map +1 -1
- package/dist/fault/crashpoint.d.ts +8 -0
- package/dist/fault/crashpoint.d.ts.map +1 -0
- package/dist/fault/crashpoint.js +37 -0
- package/dist/fault/crashpoint.js.map +1 -0
- package/dist/index.d.ts +6 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +3 -0
- package/dist/index.js.map +1 -1
- package/dist/mcp/server.d.ts +49 -0
- package/dist/mcp/server.d.ts.map +1 -0
- package/dist/mcp/server.js +233 -0
- package/dist/mcp/server.js.map +1 -0
- package/dist/mcp/tools.d.ts +32 -0
- package/dist/mcp/tools.d.ts.map +1 -0
- package/dist/mcp/tools.js +255 -0
- package/dist/mcp/tools.js.map +1 -0
- package/dist/native/darwin-arm64/xioflow-reaper +0 -0
- package/dist/native/darwin-x64/xioflow-reaper +0 -0
- package/dist/native/linux-arm64/xioflow-reaper +0 -0
- package/dist/native/linux-x64/xioflow-reaper +0 -0
- package/dist/otel/otlp.d.ts +37 -0
- package/dist/otel/otlp.d.ts.map +1 -0
- package/dist/otel/otlp.js +224 -0
- package/dist/otel/otlp.js.map +1 -0
- package/dist/recovery/engine.d.ts.map +1 -1
- package/dist/recovery/engine.js +2 -0
- package/dist/recovery/engine.js.map +1 -1
- package/dist/snapshot/git-shadow.d.ts +8 -0
- package/dist/snapshot/git-shadow.d.ts.map +1 -1
- package/dist/snapshot/git-shadow.js +24 -19
- package/dist/snapshot/git-shadow.js.map +1 -1
- package/dist/store/sqlite.d.ts.map +1 -1
- package/dist/store/sqlite.js +5 -0
- package/dist/store/sqlite.js.map +1 -1
- package/dist/supervisor/admission.d.ts +26 -0
- package/dist/supervisor/admission.d.ts.map +1 -0
- package/dist/supervisor/admission.js +98 -0
- package/dist/supervisor/admission.js.map +1 -0
- package/dist/supervisor/finalize.d.ts +21 -0
- package/dist/supervisor/finalize.d.ts.map +1 -0
- package/dist/supervisor/finalize.js +66 -0
- package/dist/supervisor/finalize.js.map +1 -0
- package/dist/supervisor/fingerprint.d.ts +8 -0
- package/dist/supervisor/fingerprint.d.ts.map +1 -0
- package/dist/supervisor/fingerprint.js +54 -0
- package/dist/supervisor/fingerprint.js.map +1 -0
- package/dist/supervisor/process-monitor.d.ts +9 -0
- package/dist/supervisor/process-monitor.d.ts.map +1 -0
- package/dist/supervisor/process-monitor.js +230 -0
- package/dist/supervisor/process-monitor.js.map +1 -0
- package/dist/supervisor/process-output.d.ts +27 -0
- package/dist/supervisor/process-output.d.ts.map +1 -0
- package/dist/supervisor/process-output.js +102 -0
- package/dist/supervisor/process-output.js.map +1 -0
- package/dist/supervisor/process-run.d.ts +30 -0
- package/dist/supervisor/process-run.d.ts.map +1 -0
- package/dist/supervisor/process-run.js +191 -0
- package/dist/supervisor/process-run.js.map +1 -0
- package/dist/supervisor/replay.d.ts +14 -0
- package/dist/supervisor/replay.d.ts.map +1 -0
- package/dist/supervisor/replay.js +70 -0
- package/dist/supervisor/replay.js.map +1 -0
- package/dist/supervisor/rollback.d.ts +8 -0
- package/dist/supervisor/rollback.d.ts.map +1 -0
- package/dist/supervisor/rollback.js +153 -0
- package/dist/supervisor/rollback.js.map +1 -0
- package/dist/supervisor/snapshot-ops.d.ts +36 -0
- package/dist/supervisor/snapshot-ops.d.ts.map +1 -0
- package/dist/supervisor/snapshot-ops.js +243 -0
- package/dist/supervisor/snapshot-ops.js.map +1 -0
- package/dist/supervisor/supervisor.d.ts +26 -51
- package/dist/supervisor/supervisor.d.ts.map +1 -1
- package/dist/supervisor/supervisor.js +112 -1158
- package/dist/supervisor/supervisor.js.map +1 -1
- package/dist/supervisor/types.d.ts +64 -0
- package/dist/supervisor/types.d.ts.map +1 -0
- package/dist/supervisor/types.js +2 -0
- package/dist/supervisor/types.js.map +1 -0
- package/dist/testing/contract-suite.d.ts.map +1 -1
- package/dist/testing/contract-suite.js +49 -10
- package/dist/testing/contract-suite.js.map +1 -1
- package/dist/types.d.ts +6 -1
- package/dist/types.d.ts.map +1 -1
- package/dist/types.js.map +1 -1
- package/dist/workspace/read-tracking.d.ts +23 -0
- package/dist/workspace/read-tracking.d.ts.map +1 -0
- package/dist/workspace/read-tracking.js +66 -0
- package/dist/workspace/read-tracking.js.map +1 -0
- package/dist/workspace/transactions.d.ts +89 -0
- package/dist/workspace/transactions.d.ts.map +1 -0
- package/dist/workspace/transactions.js +277 -0
- package/dist/workspace/transactions.js.map +1 -0
- package/package.json +8 -2
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
import { ExecutionDomain } from '../domain.js';
|
|
2
|
+
import { ProcessOperationResult } from '../types.js';
|
|
3
|
+
import { ActiveOperationState, ExecuteProcessOptions } from './types.js';
|
|
4
|
+
/**
|
|
5
|
+
* 在飞操作重放(ARCHITECTURE §3.7 / 契约 #46):同指纹加入原执行并共享流投影,
|
|
6
|
+
* 不同指纹抛 OperationIdConflictError。abortSignal 只中止本次等待,不影响原操作。
|
|
7
|
+
*/
|
|
8
|
+
export declare function joinInFlight(domain: ExecutionDomain, inFlight: ActiveOperationState, options: ExecuteProcessOptions, inputFingerprint: string): Promise<ProcessOperationResult>;
|
|
9
|
+
/**
|
|
10
|
+
* 已持久化操作重放(ARCHITECTURE §3.7 / 契约 #45, #47, #48, #49)。
|
|
11
|
+
* 返回 undefined 表示该 opId 从未登记,调用方应正常执行。
|
|
12
|
+
*/
|
|
13
|
+
export declare function replayRecorded(domain: ExecutionDomain, options: ExecuteProcessOptions, inputFingerprint: string): ProcessOperationResult | undefined;
|
|
14
|
+
//# sourceMappingURL=replay.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"replay.d.ts","sourceRoot":"","sources":["../../src/supervisor/replay.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAA4B,sBAAsB,EAAyB,MAAM,aAAa,CAAC;AACtG,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAEzE;;;GAGG;AACH,wBAAsB,YAAY,CAChC,MAAM,EAAE,eAAe,EACvB,QAAQ,EAAE,oBAAoB,EAC9B,OAAO,EAAE,qBAAqB,EAC9B,gBAAgB,EAAE,MAAM,GACvB,OAAO,CAAC,sBAAsB,CAAC,CAiDjC;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,eAAe,EACvB,OAAO,EAAE,qBAAqB,EAC9B,gBAAgB,EAAE,MAAM,GACvB,sBAAsB,GAAG,SAAS,CA2BpC"}
|
|
@@ -0,0 +1,70 @@
|
|
|
1
|
+
import { OperationIdConflictError, RecoveryRequiredError } from '../types.js';
|
|
2
|
+
/**
|
|
3
|
+
* 在飞操作重放(ARCHITECTURE §3.7 / 契约 #46):同指纹加入原执行并共享流投影,
|
|
4
|
+
* 不同指纹抛 OperationIdConflictError。abortSignal 只中止本次等待,不影响原操作。
|
|
5
|
+
*/
|
|
6
|
+
export async function joinInFlight(domain, inFlight, options, inputFingerprint) {
|
|
7
|
+
if (inFlight.inputFingerprint !== inputFingerprint) {
|
|
8
|
+
throw new OperationIdConflictError(options.opId, inFlight.inputFingerprint, inputFingerprint, inFlight.phase, inFlight.runId);
|
|
9
|
+
}
|
|
10
|
+
domain.getStore().recordReplay(domain.domainId, options.opId, 'joined', options.runId);
|
|
11
|
+
const subscriber = options.onStreamChunk;
|
|
12
|
+
if (subscriber) {
|
|
13
|
+
inFlight.streamSubscribers.add(subscriber);
|
|
14
|
+
}
|
|
15
|
+
const unsubscribe = () => {
|
|
16
|
+
if (subscriber)
|
|
17
|
+
inFlight.streamSubscribers.delete(subscriber);
|
|
18
|
+
};
|
|
19
|
+
const signal = options.abortSignal;
|
|
20
|
+
if (!signal) {
|
|
21
|
+
const res = await inFlight.resultPromise;
|
|
22
|
+
unsubscribe();
|
|
23
|
+
return { ...res, replayed: true };
|
|
24
|
+
}
|
|
25
|
+
if (signal.aborted) {
|
|
26
|
+
unsubscribe();
|
|
27
|
+
throw signal.reason || new Error('Operation wait aborted');
|
|
28
|
+
}
|
|
29
|
+
return await new Promise((resolve, reject) => {
|
|
30
|
+
const onAbort = () => {
|
|
31
|
+
unsubscribe();
|
|
32
|
+
reject(signal.reason || new Error('Operation wait aborted'));
|
|
33
|
+
};
|
|
34
|
+
signal.addEventListener('abort', onAbort, { once: true });
|
|
35
|
+
inFlight.resultPromise.then((res) => {
|
|
36
|
+
signal.removeEventListener('abort', onAbort);
|
|
37
|
+
unsubscribe();
|
|
38
|
+
resolve({ ...res, replayed: true });
|
|
39
|
+
}, (err) => {
|
|
40
|
+
signal.removeEventListener('abort', onAbort);
|
|
41
|
+
unsubscribe();
|
|
42
|
+
reject(err);
|
|
43
|
+
});
|
|
44
|
+
});
|
|
45
|
+
}
|
|
46
|
+
/**
|
|
47
|
+
* 已持久化操作重放(ARCHITECTURE §3.7 / 契约 #45, #47, #48, #49)。
|
|
48
|
+
* 返回 undefined 表示该 opId 从未登记,调用方应正常执行。
|
|
49
|
+
*/
|
|
50
|
+
export function replayRecorded(domain, options, inputFingerprint) {
|
|
51
|
+
const existingRecorded = domain.getStore().getOperation(options.opId);
|
|
52
|
+
if (!existingRecorded)
|
|
53
|
+
return undefined;
|
|
54
|
+
if (existingRecorded.inputFingerprint !== inputFingerprint) {
|
|
55
|
+
throw new OperationIdConflictError(options.opId, existingRecorded.inputFingerprint, inputFingerprint, existingRecorded.status, existingRecorded.runId);
|
|
56
|
+
}
|
|
57
|
+
// 未终结状态且不在内存中 → 必须先执行恢复(崩溃残留现场)
|
|
58
|
+
if (existingRecorded.status !== 'done') {
|
|
59
|
+
throw new RecoveryRequiredError(options.opId, existingRecorded.status, existingRecorded.runId);
|
|
60
|
+
}
|
|
61
|
+
// indeterminate:绝不重跑,原样返回,保留租约;已结清终态返回已持久化结果
|
|
62
|
+
const kind = existingRecorded.result?.status === 'indeterminate' ? 'indeterminate' : 'recorded';
|
|
63
|
+
domain.getStore().recordReplay(domain.domainId, options.opId, kind, options.runId);
|
|
64
|
+
return {
|
|
65
|
+
...existingRecorded.result,
|
|
66
|
+
replayed: true,
|
|
67
|
+
runId: existingRecorded.runId,
|
|
68
|
+
};
|
|
69
|
+
}
|
|
70
|
+
//# sourceMappingURL=replay.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"replay.js","sourceRoot":"","sources":["../../src/supervisor/replay.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,wBAAwB,EAA0B,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAGtG;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,MAAuB,EACvB,QAA8B,EAC9B,OAA8B,EAC9B,gBAAwB;IAExB,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QACnD,MAAM,IAAI,wBAAwB,CAChC,OAAO,CAAC,IAAI,EACZ,QAAQ,CAAC,gBAAgB,EACzB,gBAAgB,EAChB,QAAQ,CAAC,KAAK,EACd,QAAQ,CAAC,KAAK,CACf,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,QAAQ,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACvF,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC;IACzC,IAAI,UAAU,EAAE,CAAC;QACf,QAAQ,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC7C,CAAC;IACD,MAAM,WAAW,GAAG,GAAG,EAAE;QACvB,IAAI,UAAU;YAAE,QAAQ,CAAC,iBAAiB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAChE,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC;IACnC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,aAAc,CAAC;QAC1C,WAAW,EAAE,CAAC;QACd,OAAO,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACpC,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,WAAW,EAAE,CAAC;QACd,MAAM,MAAM,CAAC,MAAM,IAAI,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,MAAM,IAAI,OAAO,CAAyB,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACnE,MAAM,OAAO,GAAG,GAAG,EAAE;YACnB,WAAW,EAAE,CAAC;YACd,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC,CAAC;QAC/D,CAAC,CAAC;QACF,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1D,QAAQ,CAAC,aAAc,CAAC,IAAI,CAC1B,CAAC,GAAG,EAAE,EAAE;YACN,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAC7C,WAAW,EAAE,CAAC;YACd,OAAO,CAAC,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACtC,CAAC,EACD,CAAC,GAAG,EAAE,EAAE;YACN,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAC7C,WAAW,EAAE,CAAC;YACd,MAAM,CAAC,GAAG,CAAC,CAAC;QACd,CAAC,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC5B,MAAuB,EACvB,OAA8B,EAC9B,gBAAwB;IAExB,MAAM,gBAAgB,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACtE,IAAI,CAAC,gBAAgB;QAAE,OAAO,SAAS,CAAC;IAExC,IAAI,gBAAgB,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QAC3D,MAAM,IAAI,wBAAwB,CAChC,OAAO,CAAC,IAAI,EACZ,gBAAgB,CAAC,gBAAgB,EACjC,gBAAgB,EAChB,gBAAgB,CAAC,MAAM,EACvB,gBAAgB,CAAC,KAAK,CACvB,CAAC;IACJ,CAAC;IAED,gCAAgC;IAChC,IAAI,gBAAgB,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACvC,MAAM,IAAI,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACjG,CAAC;IAED,6CAA6C;IAC7C,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,EAAE,MAAM,KAAK,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC;IAChG,MAAM,CAAC,QAAQ,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACnF,OAAO;QACL,GAAG,gBAAgB,CAAC,MAAM;QAC1B,QAAQ,EAAE,IAAI;QACd,KAAK,EAAE,gBAAgB,CAAC,KAAK;KACO,CAAC;AACzC,CAAC"}
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import { RollbackOperationResult } from '../types.js';
|
|
2
|
+
import { SnapshotContext } from './snapshot-ops.js';
|
|
3
|
+
import { RollbackOptions } from './types.js';
|
|
4
|
+
/**
|
|
5
|
+
* 回滚协议 (ARCHITECTURE §3.5 / 契约 #28–#30, #56)
|
|
6
|
+
*/
|
|
7
|
+
export declare function rollback(ctx: SnapshotContext, options: RollbackOptions): Promise<RollbackOperationResult>;
|
|
8
|
+
//# sourceMappingURL=rollback.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"rollback.d.ts","sourceRoot":"","sources":["../../src/supervisor/rollback.ts"],"names":[],"mappings":"AAGA,OAAO,EAAoC,uBAAuB,EAAe,MAAM,aAAa,CAAC;AAGrG,OAAO,EAAyC,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC3F,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7C;;GAEG;AACH,wBAAsB,QAAQ,CAAC,GAAG,EAAE,eAAe,EAAE,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,uBAAuB,CAAC,CA0E/G"}
|
|
@@ -0,0 +1,153 @@
|
|
|
1
|
+
import fs from 'node:fs';
|
|
2
|
+
import path from 'node:path';
|
|
3
|
+
import { ResourceConflictError } from '../types.js';
|
|
4
|
+
import { isPathContained } from '../capability/index.js';
|
|
5
|
+
import { activateInternalOperation, sha256Json } from './snapshot-ops.js';
|
|
6
|
+
/**
|
|
7
|
+
* 回滚协议 (ARCHITECTURE §3.5 / 契约 #28–#30, #56)
|
|
8
|
+
*/
|
|
9
|
+
export async function rollback(ctx, options) {
|
|
10
|
+
const { domain, snapshotDriver } = ctx;
|
|
11
|
+
const startTime = Date.now();
|
|
12
|
+
const snapshot = domain.getStore().getSnapshot(options.snapshotId);
|
|
13
|
+
if (!snapshot) {
|
|
14
|
+
throw new Error(`Snapshot not found: ${options.snapshotId}`);
|
|
15
|
+
}
|
|
16
|
+
let targetRoots = (options.roots || snapshot.roots).map((r) => path.resolve(r));
|
|
17
|
+
let capAdmission;
|
|
18
|
+
if (options.capabilityId) {
|
|
19
|
+
capAdmission = domain.checkCapabilityAdmission({
|
|
20
|
+
capabilityId: options.capabilityId,
|
|
21
|
+
mutationRoots: targetRoots,
|
|
22
|
+
runId: options.runId,
|
|
23
|
+
opId: options.opId,
|
|
24
|
+
});
|
|
25
|
+
targetRoots = capAdmission.effectiveMutationRoots;
|
|
26
|
+
}
|
|
27
|
+
assertRootsQuiescent(domain, targetRoots, options.opId);
|
|
28
|
+
const op = {
|
|
29
|
+
id: options.opId,
|
|
30
|
+
runId: options.runId,
|
|
31
|
+
kind: 'rollback',
|
|
32
|
+
name: `rollback:${options.snapshotId}`,
|
|
33
|
+
inputFingerprint: sha256Json({
|
|
34
|
+
kind: 'rollback',
|
|
35
|
+
snapshotId: options.snapshotId,
|
|
36
|
+
targetRoots,
|
|
37
|
+
capabilityId: options.capabilityId ?? null,
|
|
38
|
+
}),
|
|
39
|
+
requiredResources: targetRoots.map((r) => `workspace:write:${r}`),
|
|
40
|
+
mutationRoots: targetRoots,
|
|
41
|
+
capabilityId: options.capabilityId,
|
|
42
|
+
outputRef: options.snapshotId,
|
|
43
|
+
timeoutMs: options.timeoutMs,
|
|
44
|
+
status: 'intent_registered',
|
|
45
|
+
};
|
|
46
|
+
activateInternalOperation(domain, op, capAdmission);
|
|
47
|
+
try {
|
|
48
|
+
const { unrestoredPaths } = await snapshotDriver.restore(snapshot, { force: options.force });
|
|
49
|
+
const currentFp = await snapshotDriver.fingerprint(targetRoots, { against: snapshot });
|
|
50
|
+
const status = currentFp !== snapshot.treeFingerprint ? 'failed' : unrestoredPaths.length > 0 ? 'partial' : 'restored';
|
|
51
|
+
const { coverage, outOfScopeEffects } = rollbackCoverage(status, () => allEffectsConfinedToRoots(domain, snapshot, targetRoots, options.opId));
|
|
52
|
+
let result;
|
|
53
|
+
domain.getStore().transaction(() => {
|
|
54
|
+
result = {
|
|
55
|
+
kind: 'rollback',
|
|
56
|
+
status,
|
|
57
|
+
snapshotId: options.snapshotId,
|
|
58
|
+
unrestoredPaths: unrestoredPaths.length > 0 ? unrestoredPaths : undefined,
|
|
59
|
+
coverage,
|
|
60
|
+
outOfScopeEffects,
|
|
61
|
+
capabilityId: options.capabilityId,
|
|
62
|
+
durationMs: Date.now() - startTime,
|
|
63
|
+
completedAt: new Date().toISOString(),
|
|
64
|
+
};
|
|
65
|
+
domain.getStore().recordOperationResult(options.opId, result);
|
|
66
|
+
domain.getStore().updateOperationStatus(options.opId, 'done');
|
|
67
|
+
});
|
|
68
|
+
domain.internalReleaseResources(options.opId);
|
|
69
|
+
return result;
|
|
70
|
+
}
|
|
71
|
+
catch (err) {
|
|
72
|
+
domain.internalReleaseResources(options.opId);
|
|
73
|
+
throw err;
|
|
74
|
+
}
|
|
75
|
+
}
|
|
76
|
+
/** 同一根目录的两种写资源名(原路径与 realpath),和它们对应的目录。 */
|
|
77
|
+
function rootAliases(root) {
|
|
78
|
+
let realRoot = root;
|
|
79
|
+
try {
|
|
80
|
+
realRoot = fs.realpathSync(root);
|
|
81
|
+
}
|
|
82
|
+
catch { }
|
|
83
|
+
return { root, realRoot, writeRes: `workspace:write:${root}`, writeResReal: `workspace:write:${realRoot}` };
|
|
84
|
+
}
|
|
85
|
+
/**
|
|
86
|
+
* 前置条件(契约 #30):目标根目录上不存在 active / stopping / 未裁决 indeterminate 的操作。
|
|
87
|
+
* 依次检查内存租约、未结清操作、持久化租约(含 indeterminate 保留的租约)。
|
|
88
|
+
*/
|
|
89
|
+
function assertRootsQuiescent(domain, targetRoots, opId) {
|
|
90
|
+
const aliases = targetRoots.map(rootAliases);
|
|
91
|
+
for (const a of aliases) {
|
|
92
|
+
for (const res of [a.writeRes, a.writeResReal]) {
|
|
93
|
+
if (domain.isResourceLocked(res)) {
|
|
94
|
+
throw new ResourceConflictError(res, domain.getResourceOwner(res) || 'unknown', opId, 0);
|
|
95
|
+
}
|
|
96
|
+
}
|
|
97
|
+
}
|
|
98
|
+
for (const op of domain.getStore().getUnfinishedOperations(domain.domainId)) {
|
|
99
|
+
if (op.id === opId)
|
|
100
|
+
continue;
|
|
101
|
+
for (const a of aliases) {
|
|
102
|
+
const touchesRoot = op.requiredResources.includes(a.writeRes) ||
|
|
103
|
+
op.requiredResources.includes(a.writeResReal) ||
|
|
104
|
+
op.mutationRoots?.some((mr) => {
|
|
105
|
+
const resolved = path.resolve(mr);
|
|
106
|
+
return resolved === a.root || resolved === a.realRoot;
|
|
107
|
+
});
|
|
108
|
+
if (touchesRoot) {
|
|
109
|
+
throw new ResourceConflictError(a.writeRes, op.id, opId, 0);
|
|
110
|
+
}
|
|
111
|
+
}
|
|
112
|
+
}
|
|
113
|
+
for (const lease of domain.getStore().getPersistedResourceLeases(domain.domainId)) {
|
|
114
|
+
for (const a of aliases) {
|
|
115
|
+
if ((lease.resourceId === a.writeRes || lease.resourceId === a.writeResReal) && lease.operationId !== opId) {
|
|
116
|
+
throw new ResourceConflictError(lease.resourceId, lease.operationId, opId, 0);
|
|
117
|
+
}
|
|
118
|
+
}
|
|
119
|
+
}
|
|
120
|
+
}
|
|
121
|
+
/**
|
|
122
|
+
* 快照之后的每个已记录操作都在写入限制下运行、且写入范围落在回滚根内,才可声称 complete。
|
|
123
|
+
* 快照与回滚本身不产生根外副作用。
|
|
124
|
+
*/
|
|
125
|
+
function allEffectsConfinedToRoots(domain, snapshot, targetRoots, rollbackOpId) {
|
|
126
|
+
const store = domain.getStore();
|
|
127
|
+
const eventsSince = snapshot.journalSeq !== undefined ? store.getJournalEvents(domain.domainId, snapshot.journalSeq) : [];
|
|
128
|
+
const opResults = eventsSince.filter((e) => e.type === 'OPERATION_RESULT_RECORDED' && e.operationId !== rollbackOpId);
|
|
129
|
+
return opResults.every((e) => {
|
|
130
|
+
const res = e.payload?.result || e.payload;
|
|
131
|
+
const storedOp = store.getOperation(e.operationId);
|
|
132
|
+
if (storedOp?.kind === 'snapshot' || storedOp?.kind === 'rollback') {
|
|
133
|
+
return true;
|
|
134
|
+
}
|
|
135
|
+
if (res?.confined !== true) {
|
|
136
|
+
return false;
|
|
137
|
+
}
|
|
138
|
+
const opRoots = storedOp?.mutationRoots || [];
|
|
139
|
+
if (opRoots.length === 0)
|
|
140
|
+
return true;
|
|
141
|
+
return opRoots.every((opr) => targetRoots.some((sr) => isPathContained(sr, opr)));
|
|
142
|
+
});
|
|
143
|
+
}
|
|
144
|
+
function rollbackCoverage(status, allConfined) {
|
|
145
|
+
if (status !== 'restored') {
|
|
146
|
+
return { coverage: status === 'partial' ? 'declared_roots' : 'none', outOfScopeEffects: 'possible' };
|
|
147
|
+
}
|
|
148
|
+
if (allConfined()) {
|
|
149
|
+
return { coverage: 'complete', outOfScopeEffects: 'none_possible' };
|
|
150
|
+
}
|
|
151
|
+
return { coverage: 'declared_roots', outOfScopeEffects: 'possible' };
|
|
152
|
+
}
|
|
153
|
+
//# sourceMappingURL=rollback.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"rollback.js","sourceRoot":"","sources":["../../src/supervisor/rollback.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAa,qBAAqB,EAAwC,MAAM,aAAa,CAAC;AACrG,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD,OAAO,EAAE,yBAAyB,EAAE,UAAU,EAAmB,MAAM,mBAAmB,CAAC;AAG3F;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,GAAoB,EAAE,OAAwB;IAC3E,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,GAAG,CAAC;IACvC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACnE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,uBAAuB,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,WAAW,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,IAAI,YAA6C,CAAC;IAClD,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;QACzB,YAAY,GAAG,MAAM,CAAC,wBAAwB,CAAC;YAC7C,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,aAAa,EAAE,WAAW;YAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,IAAI,EAAE,OAAO,CAAC,IAAI;SACnB,CAAC,CAAC;QACH,WAAW,GAAG,YAAY,CAAC,sBAAsB,CAAC;IACpD,CAAC;IAED,oBAAoB,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAExD,MAAM,EAAE,GAAc;QACpB,EAAE,EAAE,OAAO,CAAC,IAAI;QAChB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,YAAY,OAAO,CAAC,UAAU,EAAE;QACtC,gBAAgB,EAAE,UAAU,CAAC;YAC3B,IAAI,EAAE,UAAU;YAChB,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,WAAW;YACX,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,IAAI;SAC3C,CAAC;QACF,iBAAiB,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACjE,aAAa,EAAE,WAAW;QAC1B,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,SAAS,EAAE,OAAO,CAAC,UAAU;QAC7B,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,MAAM,EAAE,mBAAmB;KAC5B,CAAC;IACF,yBAAyB,CAAC,MAAM,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;IAEpD,IAAI,CAAC;QACH,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QAC7F,MAAM,SAAS,GAAG,MAAM,cAAc,CAAC,WAAW,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QACvF,MAAM,MAAM,GACV,SAAS,KAAK,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;QAC1G,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,GAAG,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,CACpE,yBAAyB,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,CACvE,CAAC;QAEF,IAAI,MAA+B,CAAC;QACpC,MAAM,CAAC,QAAQ,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE;YACjC,MAAM,GAAG;gBACP,IAAI,EAAE,UAAU;gBAChB,MAAM;gBACN,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,eAAe,EAAE,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS;gBACzE,QAAQ;gBACR,iBAAiB;gBACjB,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;gBAClC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACtC,CAAC;YACF,MAAM,CAAC,QAAQ,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC9D,MAAM,CAAC,QAAQ,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;QAEH,MAAM,CAAC,wBAAwB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9C,OAAO,MAAO,CAAC;IACjB,CAAC;IAAC,OAAO,GAAQ,EAAE,CAAC;QAClB,MAAM,CAAC,wBAAwB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,GAAG,CAAC;IACZ,CAAC;AACH,CAAC;AAED,4CAA4C;AAC5C,SAAS,WAAW,CAAC,IAAY;IAC/B,IAAI,QAAQ,GAAG,IAAI,CAAC;IACpB,IAAI,CAAC;QACH,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC,CAAA,CAAC;IACV,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,mBAAmB,IAAI,EAAE,EAAE,YAAY,EAAE,mBAAmB,QAAQ,EAAE,EAAE,CAAC;AAC9G,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAAC,MAAuB,EAAE,WAAqB,EAAE,IAAY;IACxF,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAE7C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC;YAC/C,IAAI,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjC,MAAM,IAAI,qBAAqB,CAAC,GAAG,EAAE,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YAC3F,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5E,IAAI,EAAE,CAAC,EAAE,KAAK,IAAI;YAAE,SAAS;QAC7B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,WAAW,GACf,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACzC,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC;gBAC7C,EAAE,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE;oBAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;oBAClC,OAAO,QAAQ,KAAK,CAAC,CAAC,IAAI,IAAI,QAAQ,KAAK,CAAC,CAAC,QAAQ,CAAC;gBACxD,CAAC,CAAC,CAAC;YACL,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,IAAI,qBAAqB,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,CAAC,UAAU,KAAK,CAAC,CAAC,QAAQ,IAAI,KAAK,CAAC,UAAU,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;gBAC3G,MAAM,IAAI,qBAAqB,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YAChF,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,yBAAyB,CAChC,MAAuB,EACvB,QAAqB,EACrB,WAAqB,EACrB,YAAoB;IAEpB,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;IAChC,MAAM,WAAW,GAAG,QAAQ,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1H,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,2BAA2B,IAAI,CAAC,CAAC,WAAW,KAAK,YAAY,CAAC,CAAC;IAEtH,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3B,MAAM,GAAG,GAAI,CAAC,CAAC,OAAe,EAAE,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC;QACpD,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,WAAY,CAAC,CAAC;QACpD,IAAI,QAAQ,EAAE,IAAI,KAAK,UAAU,IAAI,QAAQ,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;YACnE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,GAAG,EAAE,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC3B,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,EAAE,aAAa,IAAI,EAAE,CAAC;QAC9C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACtC,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAyC,EACzC,WAA0B;IAE1B,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;QAC1B,OAAO,EAAE,QAAQ,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,EAAE,iBAAiB,EAAE,UAAU,EAAE,CAAC;IACvG,CAAC;IACD,IAAI,WAAW,EAAE,EAAE,CAAC;QAClB,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,iBAAiB,EAAE,eAAe,EAAE,CAAC;IACtE,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,UAAU,EAAE,CAAC;AACvE,CAAC"}
|
|
@@ -0,0 +1,36 @@
|
|
|
1
|
+
import { ExecutionDomain } from '../domain.js';
|
|
2
|
+
import { Operation, SnapshotDriver, SnapshotOperationResult } from '../types.js';
|
|
3
|
+
import { CapabilityAdmission } from './admission.js';
|
|
4
|
+
import { CaptureSnapshotOptions } from './types.js';
|
|
5
|
+
export interface SnapshotContext {
|
|
6
|
+
domain: ExecutionDomain;
|
|
7
|
+
snapshotDriver: SnapshotDriver;
|
|
8
|
+
}
|
|
9
|
+
export declare function sha256Json(value: unknown): string;
|
|
10
|
+
/** 快照 / 回滚这类内核内部操作:登记意图并直接转 active,按需记录 capability 使用。 */
|
|
11
|
+
export declare function activateInternalOperation(domain: ExecutionDomain, op: Operation, capAdmission: CapabilityAdmission | undefined): void;
|
|
12
|
+
/**
|
|
13
|
+
* 快照捕获协议 (ARCHITECTURE §3.5 / 契约 #32, #53)
|
|
14
|
+
*/
|
|
15
|
+
export declare function captureSnapshot(ctx: SnapshotContext, options: CaptureSnapshotOptions): Promise<SnapshotOperationResult>;
|
|
16
|
+
/**
|
|
17
|
+
* 分叉工作区 Materialize (ARCHITECTURE §3.5 / 契约 #54)
|
|
18
|
+
*/
|
|
19
|
+
export declare function materialize(ctx: SnapshotContext, snapshotId: string, newRoot: string): Promise<{
|
|
20
|
+
worktreePath: string;
|
|
21
|
+
}>;
|
|
22
|
+
/**
|
|
23
|
+
* 回收分叉工作区 Dematerialize (ARCHITECTURE §3.5 / 契约 #54)
|
|
24
|
+
*/
|
|
25
|
+
export declare function dematerialize(ctx: SnapshotContext, newRoot: string, options?: {
|
|
26
|
+
force?: boolean;
|
|
27
|
+
}): Promise<void>;
|
|
28
|
+
/**
|
|
29
|
+
* 回收快照:删除驱动侧的私有 ref 与 store 记录,并写 SNAPSHOT_PRUNED。
|
|
30
|
+
* 宿主按自己的保留策略调用(例如每轮只保留会话基线与当前轮检查点),否则快照 ref 会无限累积。
|
|
31
|
+
* 未知 id 视为已回收(幂等);驱动删除失败直接抛出,store 记录保留,便于重试。
|
|
32
|
+
*/
|
|
33
|
+
export declare function pruneSnapshots(ctx: SnapshotContext, snapshotIds: string[], options?: {
|
|
34
|
+
runId?: string;
|
|
35
|
+
}): Promise<string[]>;
|
|
36
|
+
//# sourceMappingURL=snapshot-ops.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"snapshot-ops.d.ts","sourceRoot":"","sources":["../../src/supervisor/snapshot-ops.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAyB,cAAc,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAExG,OAAO,EAAE,mBAAmB,EAAwB,MAAM,gBAAgB,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAEpD,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,eAAe,CAAC;IACxB,cAAc,EAAE,cAAc,CAAC;CAChC;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEjD;AAED,0DAA0D;AAC1D,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,eAAe,EACvB,EAAE,EAAE,SAAS,EACb,YAAY,EAAE,mBAAmB,GAAG,SAAS,GAC5C,IAAI,CAcN;AAED;;GAEG;AACH,wBAAsB,eAAe,CACnC,GAAG,EAAE,eAAe,EACpB,OAAO,EAAE,sBAAsB,GAC9B,OAAO,CAAC,uBAAuB,CAAC,CA0GlC;AA4BD;;GAEG;AACH,wBAAsB,WAAW,CAC/B,GAAG,EAAE,eAAe,EACpB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC;IAAE,YAAY,EAAE,MAAM,CAAA;CAAE,CAAC,CAqBnC;AAED;;GAEG;AACH,wBAAsB,aAAa,CACjC,GAAG,EAAE,eAAe,EACpB,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE;IAAE,KAAK,CAAC,EAAE,OAAO,CAAA;CAAE,GAC5B,OAAO,CAAC,IAAI,CAAC,CA8Bf;AAED;;;;GAIG;AACH,wBAAsB,cAAc,CAClC,GAAG,EAAE,eAAe,EACpB,WAAW,EAAE,MAAM,EAAE,EACrB,OAAO,CAAC,EAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GAC3B,OAAO,CAAC,MAAM,EAAE,CAAC,CA0BnB"}
|
|
@@ -0,0 +1,243 @@
|
|
|
1
|
+
import fs from 'node:fs';
|
|
2
|
+
import path from 'node:path';
|
|
3
|
+
import crypto from 'node:crypto';
|
|
4
|
+
import { ResourceConflictError } from '../types.js';
|
|
5
|
+
import { GitShadowSnapshotDriver } from '../snapshot/git-shadow.js';
|
|
6
|
+
import { recordCapabilityUsed } from './admission.js';
|
|
7
|
+
export function sha256Json(value) {
|
|
8
|
+
return crypto.createHash('sha256').update(JSON.stringify(value)).digest('hex');
|
|
9
|
+
}
|
|
10
|
+
/** 快照 / 回滚这类内核内部操作:登记意图并直接转 active,按需记录 capability 使用。 */
|
|
11
|
+
export function activateInternalOperation(domain, op, capAdmission) {
|
|
12
|
+
domain.registerOperationIntent(op);
|
|
13
|
+
domain.getStore().updateOperationStatus(op.id, 'active');
|
|
14
|
+
domain.getStore().recordEventAndTransitionState({
|
|
15
|
+
domainId: domain.domainId,
|
|
16
|
+
runId: op.runId,
|
|
17
|
+
operationId: op.id,
|
|
18
|
+
type: 'OPERATION_STATUS_TRANSITION',
|
|
19
|
+
payload: { status: 'active' },
|
|
20
|
+
timestamp: new Date().toISOString(),
|
|
21
|
+
});
|
|
22
|
+
if (op.capabilityId && capAdmission) {
|
|
23
|
+
recordCapabilityUsed(domain, { runId: op.runId, opId: op.id, capabilityId: op.capabilityId }, capAdmission);
|
|
24
|
+
}
|
|
25
|
+
}
|
|
26
|
+
/**
|
|
27
|
+
* 快照捕获协议 (ARCHITECTURE §3.5 / 契约 #32, #53)
|
|
28
|
+
*/
|
|
29
|
+
export async function captureSnapshot(ctx, options) {
|
|
30
|
+
const { domain, snapshotDriver } = ctx;
|
|
31
|
+
const startTime = Date.now();
|
|
32
|
+
let targetRoots = options.roots;
|
|
33
|
+
let capAdmission;
|
|
34
|
+
if (options.capabilityId) {
|
|
35
|
+
capAdmission = domain.checkCapabilityAdmission({
|
|
36
|
+
capabilityId: options.capabilityId,
|
|
37
|
+
mutationRoots: targetRoots,
|
|
38
|
+
runId: options.runId,
|
|
39
|
+
opId: options.opId,
|
|
40
|
+
});
|
|
41
|
+
if (!targetRoots || targetRoots.length === 0) {
|
|
42
|
+
targetRoots = capAdmission.effectiveMutationRoots;
|
|
43
|
+
}
|
|
44
|
+
}
|
|
45
|
+
if (!targetRoots || targetRoots.length === 0) {
|
|
46
|
+
throw new Error('captureSnapshot requires at least one root directory');
|
|
47
|
+
}
|
|
48
|
+
const realRoots = targetRoots.map((r) => path.resolve(r));
|
|
49
|
+
const requiredResources = realRoots.map((r) => `workspace:write:${r}`);
|
|
50
|
+
if (snapshotDriver instanceof GitShadowSnapshotDriver) {
|
|
51
|
+
try {
|
|
52
|
+
const { commonDir } = await snapshotDriver.assertGitRepo(realRoots[0]);
|
|
53
|
+
requiredResources.push(`git:objects:${commonDir}`);
|
|
54
|
+
}
|
|
55
|
+
catch { }
|
|
56
|
+
}
|
|
57
|
+
const op = {
|
|
58
|
+
id: options.opId,
|
|
59
|
+
runId: options.runId,
|
|
60
|
+
kind: 'snapshot',
|
|
61
|
+
name: `snapshot:${realRoots[0]}`,
|
|
62
|
+
inputFingerprint: sha256Json({
|
|
63
|
+
kind: 'snapshot',
|
|
64
|
+
roots: realRoots,
|
|
65
|
+
includeIgnored: !!options.includeIgnored,
|
|
66
|
+
maxTreeSizeBytes: options.maxTreeSizeBytes,
|
|
67
|
+
capabilityId: options.capabilityId ?? null,
|
|
68
|
+
}),
|
|
69
|
+
requiredResources,
|
|
70
|
+
mutationRoots: realRoots,
|
|
71
|
+
capabilityId: options.capabilityId,
|
|
72
|
+
timeoutMs: options.timeoutMs,
|
|
73
|
+
status: 'intent_registered',
|
|
74
|
+
};
|
|
75
|
+
activateInternalOperation(domain, op, capAdmission);
|
|
76
|
+
try {
|
|
77
|
+
const snapRef = await snapshotDriver.capture(realRoots, {
|
|
78
|
+
id: options.opId,
|
|
79
|
+
domainId: domain.domainId,
|
|
80
|
+
opId: options.opId,
|
|
81
|
+
includeIgnored: options.includeIgnored,
|
|
82
|
+
maxTreeSizeBytes: options.maxTreeSizeBytes,
|
|
83
|
+
});
|
|
84
|
+
const store = domain.getStore();
|
|
85
|
+
let result;
|
|
86
|
+
store.transaction(() => {
|
|
87
|
+
const seq = store.recordEventAndTransitionState({
|
|
88
|
+
domainId: domain.domainId,
|
|
89
|
+
runId: options.runId,
|
|
90
|
+
operationId: options.opId,
|
|
91
|
+
type: 'SNAPSHOT_CAPTURED',
|
|
92
|
+
payload: {
|
|
93
|
+
snapshotId: snapRef.id,
|
|
94
|
+
roots: snapRef.roots,
|
|
95
|
+
treeFingerprint: snapRef.treeFingerprint,
|
|
96
|
+
commitHash: snapRef.commitHash,
|
|
97
|
+
},
|
|
98
|
+
timestamp: new Date().toISOString(),
|
|
99
|
+
});
|
|
100
|
+
snapRef.journalSeq = seq;
|
|
101
|
+
store.recordSnapshot(snapRef);
|
|
102
|
+
result = {
|
|
103
|
+
kind: 'snapshot',
|
|
104
|
+
status: 'succeeded',
|
|
105
|
+
snapshot: snapRef,
|
|
106
|
+
capabilityId: options.capabilityId,
|
|
107
|
+
durationMs: Date.now() - startTime,
|
|
108
|
+
completedAt: new Date().toISOString(),
|
|
109
|
+
};
|
|
110
|
+
store.recordOperationResult(options.opId, result);
|
|
111
|
+
store.updateOperationStatus(options.opId, 'done');
|
|
112
|
+
store.recordEventAndTransitionState({
|
|
113
|
+
domainId: domain.domainId,
|
|
114
|
+
runId: options.runId,
|
|
115
|
+
operationId: options.opId,
|
|
116
|
+
type: 'OPERATION_RESULT_RECORDED',
|
|
117
|
+
payload: { status: 'succeeded', snapshotId: snapRef.id },
|
|
118
|
+
timestamp: new Date().toISOString(),
|
|
119
|
+
});
|
|
120
|
+
});
|
|
121
|
+
domain.internalReleaseResources(options.opId);
|
|
122
|
+
return result;
|
|
123
|
+
}
|
|
124
|
+
catch (err) {
|
|
125
|
+
throw recordFailedSnapshot(domain, options.opId, err, startTime);
|
|
126
|
+
}
|
|
127
|
+
}
|
|
128
|
+
/** 记录失败快照并释放租约;返回调用方应抛出的错误(失败事实没能落盘时要让调用方知道)。 */
|
|
129
|
+
function recordFailedSnapshot(domain, opId, err, startTime) {
|
|
130
|
+
const failResult = {
|
|
131
|
+
kind: 'snapshot',
|
|
132
|
+
status: 'failed',
|
|
133
|
+
errorMessage: err.message,
|
|
134
|
+
durationMs: Date.now() - startTime,
|
|
135
|
+
completedAt: new Date().toISOString(),
|
|
136
|
+
};
|
|
137
|
+
let recordError;
|
|
138
|
+
try {
|
|
139
|
+
domain.getStore().recordOperationResult(opId, failResult);
|
|
140
|
+
domain.getStore().updateOperationStatus(opId, 'done');
|
|
141
|
+
}
|
|
142
|
+
catch (recErr) {
|
|
143
|
+
recordError = recErr;
|
|
144
|
+
}
|
|
145
|
+
domain.internalReleaseResources(opId);
|
|
146
|
+
if (recordError === undefined) {
|
|
147
|
+
return err;
|
|
148
|
+
}
|
|
149
|
+
const recMsg = recordError instanceof Error ? recordError.message : String(recordError);
|
|
150
|
+
return new Error(`${err.message} (additionally, recording the failed snapshot result failed: ${recMsg})`, {
|
|
151
|
+
cause: err,
|
|
152
|
+
});
|
|
153
|
+
}
|
|
154
|
+
/**
|
|
155
|
+
* 分叉工作区 Materialize (ARCHITECTURE §3.5 / 契约 #54)
|
|
156
|
+
*/
|
|
157
|
+
export async function materialize(ctx, snapshotId, newRoot) {
|
|
158
|
+
const { domain, snapshotDriver } = ctx;
|
|
159
|
+
const absNewRoot = path.resolve(newRoot);
|
|
160
|
+
const writeRes = `workspace:write:${absNewRoot}`;
|
|
161
|
+
if (domain.isResourceLocked(writeRes)) {
|
|
162
|
+
throw new ResourceConflictError(writeRes, domain.getResourceOwner(writeRes) || 'unknown', 'materialize');
|
|
163
|
+
}
|
|
164
|
+
const opId = `mat-${snapshotId}-${Date.now()}`;
|
|
165
|
+
domain.allocateResources(opId, [writeRes]);
|
|
166
|
+
try {
|
|
167
|
+
if (!snapshotDriver.materialize) {
|
|
168
|
+
throw new Error(`Snapshot driver ${snapshotDriver.name} does not support materialize`);
|
|
169
|
+
}
|
|
170
|
+
const snapshot = domain.getStore().getSnapshot(snapshotId);
|
|
171
|
+
const repoRoot = snapshot?.roots[0];
|
|
172
|
+
return await snapshotDriver.materialize(snapshotId, absNewRoot, { repoRoot });
|
|
173
|
+
}
|
|
174
|
+
catch (err) {
|
|
175
|
+
domain.internalReleaseResources(opId);
|
|
176
|
+
throw err;
|
|
177
|
+
}
|
|
178
|
+
}
|
|
179
|
+
/**
|
|
180
|
+
* 回收分叉工作区 Dematerialize (ARCHITECTURE §3.5 / 契约 #54)
|
|
181
|
+
*/
|
|
182
|
+
export async function dematerialize(ctx, newRoot, options) {
|
|
183
|
+
const { domain, snapshotDriver } = ctx;
|
|
184
|
+
const absNewRoot = path.resolve(newRoot);
|
|
185
|
+
let realNewRoot = absNewRoot;
|
|
186
|
+
try {
|
|
187
|
+
realNewRoot = fs.realpathSync(absNewRoot);
|
|
188
|
+
}
|
|
189
|
+
catch { }
|
|
190
|
+
if (!snapshotDriver.dematerialize) {
|
|
191
|
+
throw new Error(`Snapshot driver ${snapshotDriver.name} does not support dematerialize`);
|
|
192
|
+
}
|
|
193
|
+
await snapshotDriver.dematerialize(absNewRoot, options);
|
|
194
|
+
const writeRes = `workspace:write:${absNewRoot}`;
|
|
195
|
+
const writeResReal = `workspace:write:${realNewRoot}`;
|
|
196
|
+
const owner1 = domain.getResourceOwner(writeRes);
|
|
197
|
+
const owner2 = domain.getResourceOwner(writeResReal);
|
|
198
|
+
if (owner1) {
|
|
199
|
+
domain.internalReleaseResources(owner1, [writeRes]);
|
|
200
|
+
}
|
|
201
|
+
if (owner2 && owner2 !== owner1) {
|
|
202
|
+
domain.internalReleaseResources(owner2, [writeResReal]);
|
|
203
|
+
}
|
|
204
|
+
const leases = domain.getStore().getPersistedResourceLeases(domain.domainId);
|
|
205
|
+
for (const lease of leases) {
|
|
206
|
+
if (lease.resourceId === writeRes || lease.resourceId === writeResReal) {
|
|
207
|
+
domain.internalReleaseResources(lease.operationId, [lease.resourceId]);
|
|
208
|
+
}
|
|
209
|
+
}
|
|
210
|
+
}
|
|
211
|
+
/**
|
|
212
|
+
* 回收快照:删除驱动侧的私有 ref 与 store 记录,并写 SNAPSHOT_PRUNED。
|
|
213
|
+
* 宿主按自己的保留策略调用(例如每轮只保留会话基线与当前轮检查点),否则快照 ref 会无限累积。
|
|
214
|
+
* 未知 id 视为已回收(幂等);驱动删除失败直接抛出,store 记录保留,便于重试。
|
|
215
|
+
*/
|
|
216
|
+
export async function pruneSnapshots(ctx, snapshotIds, options) {
|
|
217
|
+
const { domain, snapshotDriver } = ctx;
|
|
218
|
+
const store = domain.getStore();
|
|
219
|
+
const pruned = [];
|
|
220
|
+
for (const id of snapshotIds) {
|
|
221
|
+
const snapshot = store.getSnapshot(id);
|
|
222
|
+
if (!snapshot)
|
|
223
|
+
continue;
|
|
224
|
+
store.verifyEpochFencing(domain.domainId);
|
|
225
|
+
const repoRoot = snapshotDriver instanceof GitShadowSnapshotDriver
|
|
226
|
+
? (await snapshotDriver.assertGitRepo(snapshot.roots[0])).repoRoot
|
|
227
|
+
: undefined;
|
|
228
|
+
await snapshotDriver.prune([id], { repoRoot });
|
|
229
|
+
store.transaction(() => {
|
|
230
|
+
store.deleteSnapshot(id);
|
|
231
|
+
store.recordEventAndTransitionState({
|
|
232
|
+
domainId: domain.domainId,
|
|
233
|
+
runId: options?.runId,
|
|
234
|
+
type: 'SNAPSHOT_PRUNED',
|
|
235
|
+
payload: { snapshotId: id, roots: snapshot.roots },
|
|
236
|
+
timestamp: new Date().toISOString(),
|
|
237
|
+
});
|
|
238
|
+
});
|
|
239
|
+
pruned.push(id);
|
|
240
|
+
}
|
|
241
|
+
return pruned;
|
|
242
|
+
}
|
|
243
|
+
//# sourceMappingURL=snapshot-ops.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"snapshot-ops.js","sourceRoot":"","sources":["../../src/supervisor/snapshot-ops.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,MAAM,MAAM,aAAa,CAAC;AAEjC,OAAO,EAAa,qBAAqB,EAA2C,MAAM,aAAa,CAAC;AACxG,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AACpE,OAAO,EAAuB,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAQ3E,MAAM,UAAU,UAAU,CAAC,KAAc;IACvC,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACjF,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,yBAAyB,CACvC,MAAuB,EACvB,EAAa,EACb,YAA6C;IAE7C,MAAM,CAAC,uBAAuB,CAAC,EAAE,CAAC,CAAC;IACnC,MAAM,CAAC,QAAQ,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IACzD,MAAM,CAAC,QAAQ,EAAE,CAAC,6BAA6B,CAAC;QAC9C,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,KAAK,EAAE,EAAE,CAAC,KAAK;QACf,WAAW,EAAE,EAAE,CAAC,EAAE;QAClB,IAAI,EAAE,6BAA6B;QACnC,OAAO,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;QAC7B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACpC,CAAC,CAAC;IACH,IAAI,EAAE,CAAC,YAAY,IAAI,YAAY,EAAE,CAAC;QACpC,oBAAoB,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,YAAY,EAAE,EAAE,CAAC,YAAY,EAAE,EAAE,YAAY,CAAC,CAAC;IAC9G,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,GAAoB,EACpB,OAA+B;IAE/B,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,GAAG,CAAC;IACvC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,IAAI,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC;IAChC,IAAI,YAA6C,CAAC;IAElD,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;QACzB,YAAY,GAAG,MAAM,CAAC,wBAAwB,CAAC;YAC7C,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,aAAa,EAAE,WAAW;YAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,IAAI,EAAE,OAAO,CAAC,IAAI;SACnB,CAAC,CAAC;QACH,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7C,WAAW,GAAG,YAAY,CAAC,sBAAsB,CAAC;QACpD,CAAC;IACH,CAAC;IAED,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IAED,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,MAAM,iBAAiB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IAEvE,IAAI,cAAc,YAAY,uBAAuB,EAAE,CAAC;QACtD,IAAI,CAAC;YACH,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,cAAc,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,iBAAiB,CAAC,IAAI,CAAC,eAAe,SAAS,EAAE,CAAC,CAAC;QACrD,CAAC;QAAC,MAAM,CAAC,CAAA,CAAC;IACZ,CAAC;IAED,MAAM,EAAE,GAAc;QACpB,EAAE,EAAE,OAAO,CAAC,IAAI;QAChB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,YAAY,SAAS,CAAC,CAAC,CAAC,EAAE;QAChC,gBAAgB,EAAE,UAAU,CAAC;YAC3B,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,SAAS;YAChB,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc;YACxC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;YAC1C,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,IAAI;SAC3C,CAAC;QACF,iBAAiB;QACjB,aAAa,EAAE,SAAS;QACxB,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,MAAM,EAAE,mBAAmB;KAC5B,CAAC;IACF,yBAAyB,CAAC,MAAM,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;IAEpD,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,SAAS,EAAE;YACtD,EAAE,EAAE,OAAO,CAAC,IAAI;YAChB,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;SAC3C,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,MAA+B,CAAC;QACpC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE;YACrB,MAAM,GAAG,GAAG,KAAK,CAAC,6BAA6B,CAAC;gBAC9C,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,WAAW,EAAE,OAAO,CAAC,IAAI;gBACzB,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EAAE;oBACP,UAAU,EAAE,OAAO,CAAC,EAAE;oBACtB,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,eAAe,EAAE,OAAO,CAAC,eAAe;oBACxC,UAAU,EAAE,OAAO,CAAC,UAAU;iBAC/B;gBACD,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC,CAAC,CAAC;YACH,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC;YACzB,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;YAE9B,MAAM,GAAG;gBACP,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,WAAW;gBACnB,QAAQ,EAAE,OAAO;gBACjB,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;gBAClC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACtC,CAAC;YAEF,KAAK,CAAC,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAClD,KAAK,CAAC,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAClD,KAAK,CAAC,6BAA6B,CAAC;gBAClC,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,WAAW,EAAE,OAAO,CAAC,IAAI;gBACzB,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,EAAE;gBACxD,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,MAAM,CAAC,wBAAwB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9C,OAAO,MAAO,CAAC;IACjB,CAAC;IAAC,OAAO,GAAQ,EAAE,CAAC;QAClB,MAAM,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IACnE,CAAC;AACH,CAAC;AAED,iDAAiD;AACjD,SAAS,oBAAoB,CAAC,MAAuB,EAAE,IAAY,EAAE,GAAQ,EAAE,SAAiB;IAC9F,MAAM,UAAU,GAA4B;QAC1C,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,QAAQ;QAChB,YAAY,EAAE,GAAG,CAAC,OAAO;QACzB,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;QAClC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACtC,CAAC;IACF,IAAI,WAAoB,CAAC;IACzB,IAAI,CAAC;QACH,MAAM,CAAC,QAAQ,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC1D,MAAM,CAAC,QAAQ,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,MAAM,EAAE,CAAC;QAChB,WAAW,GAAG,MAAM,CAAC;IACvB,CAAC;IACD,MAAM,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,YAAY,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACxF,OAAO,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,OAAO,gEAAgE,MAAM,GAAG,EAAE;QACxG,KAAK,EAAE,GAAG;KACX,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,GAAoB,EACpB,UAAkB,EAClB,OAAe;IAEf,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,GAAG,CAAC;IACvC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,mBAAmB,UAAU,EAAE,CAAC;IACjD,IAAI,MAAM,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,qBAAqB,CAAC,QAAQ,EAAE,MAAM,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,SAAS,EAAE,aAAa,CAAC,CAAC;IAC3G,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,UAAU,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;IAC/C,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IAE3C,IAAI,CAAC;QACH,IAAI,CAAC,cAAc,CAAC,WAAW,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CAAC,mBAAmB,cAAc,CAAC,IAAI,+BAA+B,CAAC,CAAC;QACzF,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAC3D,MAAM,QAAQ,GAAG,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACpC,OAAO,MAAM,cAAc,CAAC,WAAW,CAAC,UAAU,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;IAChF,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,GAAG,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,GAAoB,EACpB,OAAe,EACf,OAA6B;IAE7B,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,GAAG,CAAC;IACvC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACzC,IAAI,WAAW,GAAG,UAAU,CAAC;IAC7B,IAAI,CAAC;QACH,WAAW,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;IAC5C,CAAC;IAAC,MAAM,CAAC,CAAA,CAAC;IAEV,IAAI,CAAC,cAAc,CAAC,aAAa,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,mBAAmB,cAAc,CAAC,IAAI,iCAAiC,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,cAAc,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAExD,MAAM,QAAQ,GAAG,mBAAmB,UAAU,EAAE,CAAC;IACjD,MAAM,YAAY,GAAG,mBAAmB,WAAW,EAAE,CAAC;IACtD,MAAM,MAAM,GAAG,MAAM,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,MAAM,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;IACrD,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,CAAC,wBAAwB,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,MAAM,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QAChC,MAAM,CAAC,wBAAwB,CAAC,MAAM,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC7E,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,UAAU,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;YACvE,MAAM,CAAC,wBAAwB,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,GAAoB,EACpB,WAAqB,EACrB,OAA4B;IAE5B,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,GAAG,CAAC;IACvC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;IAChC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1C,MAAM,QAAQ,GACZ,cAAc,YAAY,uBAAuB;YAC/C,CAAC,CAAC,CAAC,MAAM,cAAc,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;YAClE,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC/C,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE;YACrB,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;YACzB,KAAK,CAAC,6BAA6B,CAAC;gBAClC,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,KAAK,EAAE,OAAO,EAAE,KAAK;gBACrB,IAAI,EAAE,iBAAiB;gBACvB,OAAO,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE;gBAClD,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
|