@quolu/lattice 0.52.2 → 0.52.4
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/package.json +1 -1
- package/src/artifact-contracts-v2.mjs +325 -325
- package/src/artifact-contracts.mjs +895 -895
- package/src/boundary-compiler.mjs +712 -712
- package/src/boundary-observation-compiler-v2.mjs +344 -344
- package/src/bounded-seam.mjs +230 -230
- package/src/bridge-address.mjs +107 -107
- package/src/bridge-cli.mjs +297 -297
- package/src/bridge-config.mjs +346 -346
- package/src/bridge-daemon.mjs +378 -378
- package/src/bridge-hub-protocol.mjs +198 -0
- package/src/bridge-launch-agent.mjs +323 -323
- package/src/bridge-registrar.mjs +102 -102
- package/src/bridge-server.mjs +376 -376
- package/src/cli-help.mjs +308 -308
- package/src/cli-stdio.mjs +40 -40
- package/src/control-compiler.mjs +532 -532
- package/src/dag-chain.mjs +261 -261
- package/src/factory-diagnostics.mjs +188 -188
- package/src/git-process.mjs +72 -0
- package/src/hash-chain.mjs +76 -76
- package/src/hooks-cli.mjs +1057 -1057
- package/src/isolation-runner.mjs +409 -409
- package/src/node-version-guard.mjs +44 -44
- package/src/project-cli.mjs +699 -697
- package/src/project-identity.mjs +130 -130
- package/src/rc1-black-box-oracle.mjs +906 -906
- package/src/rc1-comparison.mjs +154 -154
- package/src/rc1-evidence-bundle.mjs +456 -456
- package/src/rc1-v4-campaign.mjs +708 -708
- package/src/rc1-v4-transform.mjs +467 -467
- package/src/rc1-v5-artifact-set.mjs +855 -855
- package/src/rc1-v5-behavior-evidence.mjs +594 -594
- package/src/rc1-v5-campaign.mjs +797 -797
- package/src/rc1-v5-transform.mjs +421 -421
- package/src/rc1-v6-artifact-set.mjs +807 -807
- package/src/rc1-v6-behavior-evidence.mjs +273 -273
- package/src/rc1-v6-campaign.mjs +623 -623
- package/src/rc1-v6-causal-binding.mjs +473 -473
- package/src/rc1-v6-measurement.mjs +313 -313
- package/src/rc2-artifact-set.mjs +1584 -1584
- package/src/rc2-campaign.mjs +1506 -1506
- package/src/rc2-delivery-policy-front-end.mjs +1079 -1079
- package/src/rc2-delivery-policy-oracle.mjs +134 -134
- package/src/rc2-delivery-policy-transform.mjs +1127 -1127
- package/src/rc2-rc1-transfer-front-end.mjs +511 -511
- package/src/rc3-actual-dogfood.mjs +652 -652
- package/src/rc3-dogfood-scaffold.mjs +315 -315
- package/src/rc3-scripted-campaign.mjs +1383 -1383
- package/src/rc4-stage1-dogfood.mjs +673 -673
- package/src/runtime-adapter-registry.mjs +524 -524
- package/src/runtime-cli.mjs +4588 -4588
- package/src/runtime-contracts.mjs +824 -824
- package/src/runtime-control-store.mjs +604 -604
- package/src/runtime-controller-protocol.mjs +587 -587
- package/src/runtime-decision-verifier.mjs +701 -701
- package/src/runtime-diff-observer.mjs +361 -361
- package/src/runtime-direct-os-observer.mjs +301 -301
- package/src/runtime-driver-state.mjs +166 -166
- package/src/runtime-engine.mjs +779 -779
- package/src/runtime-errors.mjs +356 -356
- package/src/runtime-event-store.mjs +189 -189
- package/src/runtime-front-end.mjs +925 -925
- package/src/runtime-gate-store.mjs +481 -481
- package/src/runtime-hold-recompile.mjs +916 -916
- package/src/runtime-io-sentinel.mjs +391 -391
- package/src/runtime-lifecycle-lock.mjs +294 -294
- package/src/runtime-managed-supervisor.mjs +1490 -1490
- package/src/runtime-multi-epoch-store.mjs +838 -838
- package/src/runtime-projection.mjs +269 -269
- package/src/runtime-pull-intake.mjs +1192 -1192
- package/src/runtime-scripted-adapter-controller.mjs +1160 -1160
- package/src/runtime-scripted-executor.mjs +163 -163
- package/src/runtime-scripted-worktree.mjs +104 -104
- package/src/runtime-seam-resolve.mjs +428 -428
- package/src/runtime-seam-treatment.mjs +173 -173
- package/src/runtime-socket-owner.mjs +125 -125
- package/src/runtime-work-order-contracts.mjs +91 -91
- package/src/runtime-work-order-controller.mjs +1171 -1171
- package/src/runtime-worktree-executor.mjs +199 -199
- package/src/schedulability-compiler-v2.mjs +303 -303
- package/src/schedulability-verifier-v2.mjs +317 -317
- package/src/seam-apply.mjs +549 -549
- package/src/seam-commit-shared.mjs +22 -22
- package/src/seam-commit-transform.mjs +81 -81
- package/src/seam-commit.mjs +18 -18
- package/src/seam-cost.mjs +322 -322
- package/src/seam-derivation.mjs +188 -188
- package/src/seam-gate.mjs +146 -146
- package/src/seam-proposal-contracts.mjs +446 -446
- package/src/seam-proposal-queries.mjs +521 -521
- package/src/seam-proposal.mjs +2011 -2011
- package/src/seam-ref.mjs +33 -33
- package/src/seam-rewrite.mjs +286 -286
- package/src/seam-transform.mjs +554 -554
- package/src/seam-verification.mjs +260 -260
- package/src/sensor-adapter.mjs +432 -432
- package/src/sensor-cli.mjs +139 -139
- package/src/sensor-diff.mjs +661 -661
- package/src/sensor-node-runtime.mjs +53 -53
- package/src/sensor-runtime.mjs +52 -52
- package/src/timestamp-contract.mjs +8 -8
- package/src/todo-audit-pending.mjs +91 -91
- package/src/todo-chain.mjs +178 -178
- package/src/todo-cli.mjs +3143 -3141
- package/src/todo-contracts.mjs +728 -728
- package/src/todo-dashboard-registry.mjs +573 -573
- package/src/todo-dispatch-shape.mjs +190 -190
- package/src/todo-gantt-html-independence.mjs +239 -239
- package/src/todo-gantt-html-shared.mjs +226 -226
- package/src/todo-gantt-html-style.mjs +131 -131
- package/src/todo-gantt-html.mjs +248 -248
- package/src/todo-gantt-layout.mjs +974 -974
- package/src/todo-gantt-live.mjs +361 -361
- package/src/todo-gantt-nested.mjs +263 -263
- package/src/todo-gantt-presentation.mjs +217 -217
- package/src/todo-gantt-scope.mjs +123 -123
- package/src/todo-gantt-svg.mjs +353 -353
- package/src/todo-independence-contracts.mjs +595 -595
- package/src/todo-independence-guidance.mjs +322 -322
- package/src/todo-independence.mjs +640 -640
- package/src/todo-markdown-renderer.mjs +260 -260
- package/src/todo-migration.mjs +448 -448
- package/src/todo-narrative-anchor.mjs +130 -130
- package/src/todo-note-store.mjs +629 -629
- package/src/todo-parallel-candidates.mjs +114 -114
- package/src/todo-revision.mjs +995 -995
- package/src/todo-split.mjs +472 -472
- package/src/todo-status.mjs +690 -690
- package/src/todo-store-git-transaction.mjs +418 -418
- package/src/todo-store.mjs +4360 -4322
- package/src/treatment-compiler.mjs +728 -728
- package/src/treatment-runner.mjs +656 -656
- package/src/witness-scaffold.mjs +180 -180
|
@@ -1,294 +1,294 @@
|
|
|
1
|
-
import { randomUUID } from 'node:crypto';
|
|
2
|
-
import { constants as fsConstants } from 'node:fs';
|
|
3
|
-
import { lstat, open, readFile, rename, rm, unlink } from 'node:fs/promises';
|
|
4
|
-
import path from 'node:path';
|
|
5
|
-
|
|
6
|
-
import { canonicalizeArtifact } from './artifact-contracts.mjs';
|
|
7
|
-
import { selfDigest } from './runtime-contracts.mjs';
|
|
8
|
-
|
|
9
|
-
const SHA256 = /^[0-9a-f]{64}$/;
|
|
10
|
-
const ID = /^[0-9A-Za-z](?:[0-9A-Za-z._-]{0,127})$/;
|
|
11
|
-
const TIMESTAMP = /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}\.\d{3}Z$/;
|
|
12
|
-
const LOCK_NAME = '.lifecycle.lock';
|
|
13
|
-
|
|
14
|
-
export class RuntimeLifecycleLockError extends Error {
|
|
15
|
-
constructor(code, detail) {
|
|
16
|
-
super(`${code}: ${detail}`);
|
|
17
|
-
this.name = 'RuntimeLifecycleLockError';
|
|
18
|
-
this.code = code;
|
|
19
|
-
this.detail = detail;
|
|
20
|
-
}
|
|
21
|
-
}
|
|
22
|
-
|
|
23
|
-
function fail(code, detail) { throw new RuntimeLifecycleLockError(code, detail); }
|
|
24
|
-
function plain(value) {
|
|
25
|
-
return value !== null && typeof value === 'object' && !Array.isArray(value)
|
|
26
|
-
&& Object.getPrototypeOf(value) === Object.prototype;
|
|
27
|
-
}
|
|
28
|
-
function exact(value, keys) {
|
|
29
|
-
if (!plain(value)) return false;
|
|
30
|
-
const actual = Object.keys(value).sort();
|
|
31
|
-
const expected = [...keys].sort();
|
|
32
|
-
return actual.length === expected.length
|
|
33
|
-
&& actual.every((key, index) => key === expected[index]);
|
|
34
|
-
}
|
|
35
|
-
function digest(value) { return typeof value === 'string' && SHA256.test(value); }
|
|
36
|
-
function identifier(value) { return typeof value === 'string' && ID.test(value); }
|
|
37
|
-
function timestamp(value) {
|
|
38
|
-
return typeof value === 'string' && TIMESTAMP.test(value)
|
|
39
|
-
&& !Number.isNaN(Date.parse(value)) && new Date(value).toISOString() === value;
|
|
40
|
-
}
|
|
41
|
-
function validProcessStartIdentity(value) {
|
|
42
|
-
return exact(value, ['schema', 'platform', 'pid', 'started_identity', 'identity_digest'])
|
|
43
|
-
&& value.schema === 'lattice.process_start_identity.v1'
|
|
44
|
-
&& typeof value.platform === 'string' && value.platform.length > 0
|
|
45
|
-
&& Number.isSafeInteger(value.pid) && value.pid >= 1
|
|
46
|
-
&& typeof value.started_identity === 'string' && value.started_identity.length > 0
|
|
47
|
-
&& digest(value.identity_digest)
|
|
48
|
-
&& selfDigest(value, 'identity_digest') === value.identity_digest;
|
|
49
|
-
}
|
|
50
|
-
|
|
51
|
-
export function validateRuntimeLifecycleLockArtifact(value) {
|
|
52
|
-
return exact(value, [
|
|
53
|
-
'schema', 'owner_pid', 'owner_process_start_identity', 'session_nonce_digest',
|
|
54
|
-
'operation', 'request_id', 'acquired_at', 'lock_digest',
|
|
55
|
-
])
|
|
56
|
-
&& value.schema === 'lattice.runtime_lifecycle_lock.v1'
|
|
57
|
-
&& Number.isSafeInteger(value.owner_pid) && value.owner_pid >= 1
|
|
58
|
-
&& validProcessStartIdentity(value.owner_process_start_identity)
|
|
59
|
-
&& value.owner_process_start_identity.pid === value.owner_pid
|
|
60
|
-
&& digest(value.session_nonce_digest)
|
|
61
|
-
&& identifier(value.operation)
|
|
62
|
-
&& identifier(value.request_id)
|
|
63
|
-
&& timestamp(value.acquired_at)
|
|
64
|
-
&& digest(value.lock_digest)
|
|
65
|
-
&& selfDigest(value, 'lock_digest') === value.lock_digest;
|
|
66
|
-
}
|
|
67
|
-
|
|
68
|
-
function validateOptions({ lockPath, runDir, sessionNonceDigest, operation, requestId,
|
|
69
|
-
timeoutMs, retryIntervalMs, processStartIdentity, observeProcessStartIdentity, now }) {
|
|
70
|
-
const resolved = lockPath ?? (typeof runDir === 'string' ? path.join(runDir, LOCK_NAME) : null);
|
|
71
|
-
if (typeof resolved !== 'string' || !path.isAbsolute(resolved)
|
|
72
|
-
|| !digest(sessionNonceDigest) || !identifier(operation) || !identifier(requestId)
|
|
73
|
-
|| !Number.isSafeInteger(timeoutMs) || timeoutMs < 0
|
|
74
|
-
|| !Number.isSafeInteger(retryIntervalMs) || retryIntervalMs < 1
|
|
75
|
-
|| (processStartIdentity !== null && !validProcessStartIdentity(processStartIdentity))
|
|
76
|
-
|| (observeProcessStartIdentity !== null && typeof observeProcessStartIdentity !== 'function')
|
|
77
|
-
|| typeof now !== 'function') fail('RUN_LOCK_INVALID', 'lifecycle lock入力不正');
|
|
78
|
-
return resolved;
|
|
79
|
-
}
|
|
80
|
-
|
|
81
|
-
async function defaultObserver(pid) {
|
|
82
|
-
const { observeManagedProcessStartIdentity } = await import('./runtime-managed-supervisor.mjs');
|
|
83
|
-
return observeManagedProcessStartIdentity(pid);
|
|
84
|
-
}
|
|
85
|
-
|
|
86
|
-
async function readLockArtifact(lockPath) {
|
|
87
|
-
const info = await lstat(lockPath);
|
|
88
|
-
if (!info.isFile() || info.isSymbolicLink() || info.nlink !== 1) {
|
|
89
|
-
fail('RUN_LOCK_INVALID', 'lifecycle lockが単一linkのregular fileでない');
|
|
90
|
-
}
|
|
91
|
-
const bytes = await readFile(lockPath);
|
|
92
|
-
let value;
|
|
93
|
-
try { value = JSON.parse(bytes.toString('utf8')); }
|
|
94
|
-
catch { fail('RUN_BUSY', 'lifecycle lock取得処理が進行中'); }
|
|
95
|
-
if (!validateRuntimeLifecycleLockArtifact(value)) {
|
|
96
|
-
fail('RUN_LOCK_INVALID', 'lifecycle lock artifact不正');
|
|
97
|
-
}
|
|
98
|
-
if (bytes.toString('utf8') !== `${canonicalizeArtifact(value)}\n`) {
|
|
99
|
-
fail('RUN_LOCK_INVALID', 'lifecycle lockがcanonical bytesでない');
|
|
100
|
-
}
|
|
101
|
-
return { value, info };
|
|
102
|
-
}
|
|
103
|
-
|
|
104
|
-
async function pidExists(pid) {
|
|
105
|
-
try { process.kill(pid, 0); return true; }
|
|
106
|
-
catch (error) {
|
|
107
|
-
if (error?.code === 'ESRCH') return false;
|
|
108
|
-
if (error?.code === 'EPERM') return true;
|
|
109
|
-
throw error;
|
|
110
|
-
}
|
|
111
|
-
}
|
|
112
|
-
|
|
113
|
-
async function ownerIsLive(artifact, observer) {
|
|
114
|
-
let observed;
|
|
115
|
-
try { observed = await observer(artifact.owner_pid); }
|
|
116
|
-
catch {
|
|
117
|
-
// observer障害とprocess不在を混同しない。PIDが存在する限りlockを回収しない。
|
|
118
|
-
return pidExists(artifact.owner_pid);
|
|
119
|
-
}
|
|
120
|
-
if (observed === null || observed === undefined) return pidExists(artifact.owner_pid);
|
|
121
|
-
if (!validProcessStartIdentity(observed) || observed.pid !== artifact.owner_pid) {
|
|
122
|
-
fail('RUN_LOCK_INVALID', 'owner process observation不正');
|
|
123
|
-
}
|
|
124
|
-
return observed.identity_digest === artifact.owner_process_start_identity.identity_digest;
|
|
125
|
-
}
|
|
126
|
-
|
|
127
|
-
async function syncDirectory(directory) {
|
|
128
|
-
const handle = await open(directory, fsConstants.O_RDONLY);
|
|
129
|
-
// Windowsはdirectory handleのfsyncを許さず常にEPERM/EINVALを返す(Node仕様)。
|
|
130
|
-
// win32のこの2値だけ許容し、他OS・他エラーは従来どおり失敗させる。
|
|
131
|
-
try { await handle.sync(); } catch (error) {
|
|
132
|
-
if (process.platform !== 'win32' || !['EPERM', 'EINVAL'].includes(error?.code)) throw error;
|
|
133
|
-
} finally { await handle.close(); }
|
|
134
|
-
}
|
|
135
|
-
|
|
136
|
-
async function recoverStaleLock(lockPath, expectedDigest) {
|
|
137
|
-
const quarantine = path.join(path.dirname(lockPath),
|
|
138
|
-
`.${path.basename(lockPath)}.${process.pid}.${randomUUID()}.stale`);
|
|
139
|
-
let removeQuarantine = true;
|
|
140
|
-
try {
|
|
141
|
-
await rename(lockPath, quarantine);
|
|
142
|
-
} catch (error) {
|
|
143
|
-
if (error?.code === 'ENOENT') return;
|
|
144
|
-
throw error;
|
|
145
|
-
}
|
|
146
|
-
try {
|
|
147
|
-
const moved = await readLockArtifact(quarantine);
|
|
148
|
-
if (moved.value.lock_digest !== expectedDigest) {
|
|
149
|
-
// stale判定後に別ownerが取得したfileをrenameしてしまった場合は破棄しない。
|
|
150
|
-
try { await rename(quarantine, lockPath); }
|
|
151
|
-
catch (error) {
|
|
152
|
-
if (error?.code === 'EEXIST' || error?.code === 'ENOTEMPTY') {
|
|
153
|
-
removeQuarantine = false;
|
|
154
|
-
fail('RUN_LOCK_INVALID', `回収競合artifactを保全した: ${quarantine}`);
|
|
155
|
-
}
|
|
156
|
-
throw error;
|
|
157
|
-
}
|
|
158
|
-
fail('RUN_BUSY', 'lifecycle lock ownerが回収中に変更された');
|
|
159
|
-
}
|
|
160
|
-
await unlink(quarantine);
|
|
161
|
-
await syncDirectory(path.dirname(lockPath));
|
|
162
|
-
} finally {
|
|
163
|
-
if (removeQuarantine) await rm(quarantine, { force: true }).catch(() => {});
|
|
164
|
-
}
|
|
165
|
-
}
|
|
166
|
-
|
|
167
|
-
async function createLock(lockPath, artifact) {
|
|
168
|
-
let handle;
|
|
169
|
-
let created = false;
|
|
170
|
-
try {
|
|
171
|
-
handle = await open(lockPath,
|
|
172
|
-
fsConstants.O_CREAT | fsConstants.O_EXCL | fsConstants.O_WRONLY, 0o600);
|
|
173
|
-
created = true;
|
|
174
|
-
await handle.writeFile(Buffer.from(`${canonicalizeArtifact(artifact)}\n`, 'utf8'));
|
|
175
|
-
await handle.sync();
|
|
176
|
-
await handle.close();
|
|
177
|
-
handle = null;
|
|
178
|
-
await syncDirectory(path.dirname(lockPath));
|
|
179
|
-
return true;
|
|
180
|
-
} catch (error) {
|
|
181
|
-
if (error?.code === 'EEXIST') return false;
|
|
182
|
-
if (handle) {
|
|
183
|
-
await handle.close().catch(() => {});
|
|
184
|
-
handle = null;
|
|
185
|
-
}
|
|
186
|
-
if (created) await unlink(lockPath).catch(() => {});
|
|
187
|
-
throw error;
|
|
188
|
-
} finally {
|
|
189
|
-
if (handle) await handle.close().catch(() => {});
|
|
190
|
-
}
|
|
191
|
-
}
|
|
192
|
-
|
|
193
|
-
function sleep(milliseconds) {
|
|
194
|
-
return new Promise((resolve) => setTimeout(resolve, milliseconds));
|
|
195
|
-
}
|
|
196
|
-
|
|
197
|
-
/**
|
|
198
|
-
* run lifecycle mutationをdurable owner artifactで直列化する。
|
|
199
|
-
* timeoutMs=0はlive競合を即時RUN_BUSYにする。
|
|
200
|
-
*/
|
|
201
|
-
export async function acquireRuntimeLifecycleLock({
|
|
202
|
-
runDir = null,
|
|
203
|
-
lockPath = null,
|
|
204
|
-
sessionNonceDigest,
|
|
205
|
-
operation,
|
|
206
|
-
requestId,
|
|
207
|
-
timeoutMs = 0,
|
|
208
|
-
retryIntervalMs = 10,
|
|
209
|
-
processStartIdentity = null,
|
|
210
|
-
observeProcessStartIdentity = null,
|
|
211
|
-
now = () => new Date(),
|
|
212
|
-
} = {}) {
|
|
213
|
-
const resolvedLockPath = validateOptions({ lockPath, runDir, sessionNonceDigest, operation,
|
|
214
|
-
requestId, timeoutMs, retryIntervalMs, processStartIdentity, observeProcessStartIdentity, now });
|
|
215
|
-
const observer = observeProcessStartIdentity ?? defaultObserver;
|
|
216
|
-
const ownerIdentity = processStartIdentity ?? await observer(process.pid);
|
|
217
|
-
if (!validProcessStartIdentity(ownerIdentity) || ownerIdentity.pid !== process.pid) {
|
|
218
|
-
fail('RUN_LOCK_INVALID', 'acquirer process start identity不正');
|
|
219
|
-
}
|
|
220
|
-
const acquiredAt = now();
|
|
221
|
-
if (!(acquiredAt instanceof Date) || Number.isNaN(acquiredAt.valueOf())) {
|
|
222
|
-
fail('RUN_LOCK_INVALID', 'acquired_at生成値不正');
|
|
223
|
-
}
|
|
224
|
-
const artifact = {
|
|
225
|
-
schema: 'lattice.runtime_lifecycle_lock.v1',
|
|
226
|
-
owner_pid: process.pid,
|
|
227
|
-
owner_process_start_identity: structuredClone(ownerIdentity),
|
|
228
|
-
session_nonce_digest: sessionNonceDigest,
|
|
229
|
-
operation,
|
|
230
|
-
request_id: requestId,
|
|
231
|
-
acquired_at: acquiredAt.toISOString(),
|
|
232
|
-
lock_digest: '',
|
|
233
|
-
};
|
|
234
|
-
artifact.lock_digest = selfDigest(artifact, 'lock_digest');
|
|
235
|
-
const deadline = Date.now() + timeoutMs;
|
|
236
|
-
|
|
237
|
-
while (true) {
|
|
238
|
-
if (await createLock(resolvedLockPath, artifact)) {
|
|
239
|
-
let released = false;
|
|
240
|
-
return {
|
|
241
|
-
artifact: structuredClone(artifact),
|
|
242
|
-
lockPath: resolvedLockPath,
|
|
243
|
-
async release() {
|
|
244
|
-
if (released) return;
|
|
245
|
-
await releaseRuntimeLifecycleLock({
|
|
246
|
-
lockPath: resolvedLockPath, ownerDigest: artifact.lock_digest,
|
|
247
|
-
});
|
|
248
|
-
released = true;
|
|
249
|
-
},
|
|
250
|
-
};
|
|
251
|
-
}
|
|
252
|
-
|
|
253
|
-
let existing;
|
|
254
|
-
try { existing = await readLockArtifact(resolvedLockPath); }
|
|
255
|
-
catch (error) {
|
|
256
|
-
if (error?.code === 'ENOENT') continue;
|
|
257
|
-
if (error instanceof RuntimeLifecycleLockError && error.code === 'RUN_BUSY'
|
|
258
|
-
&& Date.now() < deadline) { await sleep(retryIntervalMs); continue; }
|
|
259
|
-
throw error;
|
|
260
|
-
}
|
|
261
|
-
if (!await ownerIsLive(existing.value, observer)) {
|
|
262
|
-
await recoverStaleLock(resolvedLockPath, existing.value.lock_digest);
|
|
263
|
-
continue;
|
|
264
|
-
}
|
|
265
|
-
if (Date.now() >= deadline) {
|
|
266
|
-
fail('RUN_BUSY', timeoutMs === 0
|
|
267
|
-
? `run lifecycle操作が既に進行中: ${existing.value.operation}/${existing.value.request_id}`
|
|
268
|
-
: `run lifecycle lock timeout: ${existing.value.operation}/${existing.value.request_id}`);
|
|
269
|
-
}
|
|
270
|
-
await sleep(Math.min(retryIntervalMs, Math.max(1, deadline - Date.now())));
|
|
271
|
-
}
|
|
272
|
-
}
|
|
273
|
-
|
|
274
|
-
/** lock artifactのowner digestが一致する呼出しだけがreleaseできる。 */
|
|
275
|
-
export async function releaseRuntimeLifecycleLock({ lockPath, ownerDigest } = {}) {
|
|
276
|
-
if (typeof lockPath !== 'string' || !path.isAbsolute(lockPath) || !digest(ownerDigest)) {
|
|
277
|
-
fail('RUN_LOCK_INVALID', 'lifecycle lock release入力不正');
|
|
278
|
-
}
|
|
279
|
-
let existing;
|
|
280
|
-
try { existing = await readLockArtifact(lockPath); }
|
|
281
|
-
catch (error) {
|
|
282
|
-
if (error?.code === 'ENOENT') fail('RUN_LOCK_OWNER_MISMATCH', 'release対象lockなし');
|
|
283
|
-
throw error;
|
|
284
|
-
}
|
|
285
|
-
if (existing.value.lock_digest !== ownerDigest) {
|
|
286
|
-
fail('RUN_LOCK_OWNER_MISMATCH', 'lifecycle lock owner digest不一致');
|
|
287
|
-
}
|
|
288
|
-
const current = await lstat(lockPath);
|
|
289
|
-
if (current.dev !== existing.info.dev || current.ino !== existing.info.ino) {
|
|
290
|
-
fail('RUN_LOCK_OWNER_MISMATCH', 'lifecycle lockがrelease前に差し替わった');
|
|
291
|
-
}
|
|
292
|
-
await unlink(lockPath);
|
|
293
|
-
await syncDirectory(path.dirname(lockPath));
|
|
294
|
-
}
|
|
1
|
+
import { randomUUID } from 'node:crypto';
|
|
2
|
+
import { constants as fsConstants } from 'node:fs';
|
|
3
|
+
import { lstat, open, readFile, rename, rm, unlink } from 'node:fs/promises';
|
|
4
|
+
import path from 'node:path';
|
|
5
|
+
|
|
6
|
+
import { canonicalizeArtifact } from './artifact-contracts.mjs';
|
|
7
|
+
import { selfDigest } from './runtime-contracts.mjs';
|
|
8
|
+
|
|
9
|
+
const SHA256 = /^[0-9a-f]{64}$/;
|
|
10
|
+
const ID = /^[0-9A-Za-z](?:[0-9A-Za-z._-]{0,127})$/;
|
|
11
|
+
const TIMESTAMP = /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}\.\d{3}Z$/;
|
|
12
|
+
const LOCK_NAME = '.lifecycle.lock';
|
|
13
|
+
|
|
14
|
+
export class RuntimeLifecycleLockError extends Error {
|
|
15
|
+
constructor(code, detail) {
|
|
16
|
+
super(`${code}: ${detail}`);
|
|
17
|
+
this.name = 'RuntimeLifecycleLockError';
|
|
18
|
+
this.code = code;
|
|
19
|
+
this.detail = detail;
|
|
20
|
+
}
|
|
21
|
+
}
|
|
22
|
+
|
|
23
|
+
function fail(code, detail) { throw new RuntimeLifecycleLockError(code, detail); }
|
|
24
|
+
function plain(value) {
|
|
25
|
+
return value !== null && typeof value === 'object' && !Array.isArray(value)
|
|
26
|
+
&& Object.getPrototypeOf(value) === Object.prototype;
|
|
27
|
+
}
|
|
28
|
+
function exact(value, keys) {
|
|
29
|
+
if (!plain(value)) return false;
|
|
30
|
+
const actual = Object.keys(value).sort();
|
|
31
|
+
const expected = [...keys].sort();
|
|
32
|
+
return actual.length === expected.length
|
|
33
|
+
&& actual.every((key, index) => key === expected[index]);
|
|
34
|
+
}
|
|
35
|
+
function digest(value) { return typeof value === 'string' && SHA256.test(value); }
|
|
36
|
+
function identifier(value) { return typeof value === 'string' && ID.test(value); }
|
|
37
|
+
function timestamp(value) {
|
|
38
|
+
return typeof value === 'string' && TIMESTAMP.test(value)
|
|
39
|
+
&& !Number.isNaN(Date.parse(value)) && new Date(value).toISOString() === value;
|
|
40
|
+
}
|
|
41
|
+
function validProcessStartIdentity(value) {
|
|
42
|
+
return exact(value, ['schema', 'platform', 'pid', 'started_identity', 'identity_digest'])
|
|
43
|
+
&& value.schema === 'lattice.process_start_identity.v1'
|
|
44
|
+
&& typeof value.platform === 'string' && value.platform.length > 0
|
|
45
|
+
&& Number.isSafeInteger(value.pid) && value.pid >= 1
|
|
46
|
+
&& typeof value.started_identity === 'string' && value.started_identity.length > 0
|
|
47
|
+
&& digest(value.identity_digest)
|
|
48
|
+
&& selfDigest(value, 'identity_digest') === value.identity_digest;
|
|
49
|
+
}
|
|
50
|
+
|
|
51
|
+
export function validateRuntimeLifecycleLockArtifact(value) {
|
|
52
|
+
return exact(value, [
|
|
53
|
+
'schema', 'owner_pid', 'owner_process_start_identity', 'session_nonce_digest',
|
|
54
|
+
'operation', 'request_id', 'acquired_at', 'lock_digest',
|
|
55
|
+
])
|
|
56
|
+
&& value.schema === 'lattice.runtime_lifecycle_lock.v1'
|
|
57
|
+
&& Number.isSafeInteger(value.owner_pid) && value.owner_pid >= 1
|
|
58
|
+
&& validProcessStartIdentity(value.owner_process_start_identity)
|
|
59
|
+
&& value.owner_process_start_identity.pid === value.owner_pid
|
|
60
|
+
&& digest(value.session_nonce_digest)
|
|
61
|
+
&& identifier(value.operation)
|
|
62
|
+
&& identifier(value.request_id)
|
|
63
|
+
&& timestamp(value.acquired_at)
|
|
64
|
+
&& digest(value.lock_digest)
|
|
65
|
+
&& selfDigest(value, 'lock_digest') === value.lock_digest;
|
|
66
|
+
}
|
|
67
|
+
|
|
68
|
+
function validateOptions({ lockPath, runDir, sessionNonceDigest, operation, requestId,
|
|
69
|
+
timeoutMs, retryIntervalMs, processStartIdentity, observeProcessStartIdentity, now }) {
|
|
70
|
+
const resolved = lockPath ?? (typeof runDir === 'string' ? path.join(runDir, LOCK_NAME) : null);
|
|
71
|
+
if (typeof resolved !== 'string' || !path.isAbsolute(resolved)
|
|
72
|
+
|| !digest(sessionNonceDigest) || !identifier(operation) || !identifier(requestId)
|
|
73
|
+
|| !Number.isSafeInteger(timeoutMs) || timeoutMs < 0
|
|
74
|
+
|| !Number.isSafeInteger(retryIntervalMs) || retryIntervalMs < 1
|
|
75
|
+
|| (processStartIdentity !== null && !validProcessStartIdentity(processStartIdentity))
|
|
76
|
+
|| (observeProcessStartIdentity !== null && typeof observeProcessStartIdentity !== 'function')
|
|
77
|
+
|| typeof now !== 'function') fail('RUN_LOCK_INVALID', 'lifecycle lock入力不正');
|
|
78
|
+
return resolved;
|
|
79
|
+
}
|
|
80
|
+
|
|
81
|
+
async function defaultObserver(pid) {
|
|
82
|
+
const { observeManagedProcessStartIdentity } = await import('./runtime-managed-supervisor.mjs');
|
|
83
|
+
return observeManagedProcessStartIdentity(pid);
|
|
84
|
+
}
|
|
85
|
+
|
|
86
|
+
async function readLockArtifact(lockPath) {
|
|
87
|
+
const info = await lstat(lockPath);
|
|
88
|
+
if (!info.isFile() || info.isSymbolicLink() || info.nlink !== 1) {
|
|
89
|
+
fail('RUN_LOCK_INVALID', 'lifecycle lockが単一linkのregular fileでない');
|
|
90
|
+
}
|
|
91
|
+
const bytes = await readFile(lockPath);
|
|
92
|
+
let value;
|
|
93
|
+
try { value = JSON.parse(bytes.toString('utf8')); }
|
|
94
|
+
catch { fail('RUN_BUSY', 'lifecycle lock取得処理が進行中'); }
|
|
95
|
+
if (!validateRuntimeLifecycleLockArtifact(value)) {
|
|
96
|
+
fail('RUN_LOCK_INVALID', 'lifecycle lock artifact不正');
|
|
97
|
+
}
|
|
98
|
+
if (bytes.toString('utf8') !== `${canonicalizeArtifact(value)}\n`) {
|
|
99
|
+
fail('RUN_LOCK_INVALID', 'lifecycle lockがcanonical bytesでない');
|
|
100
|
+
}
|
|
101
|
+
return { value, info };
|
|
102
|
+
}
|
|
103
|
+
|
|
104
|
+
async function pidExists(pid) {
|
|
105
|
+
try { process.kill(pid, 0); return true; }
|
|
106
|
+
catch (error) {
|
|
107
|
+
if (error?.code === 'ESRCH') return false;
|
|
108
|
+
if (error?.code === 'EPERM') return true;
|
|
109
|
+
throw error;
|
|
110
|
+
}
|
|
111
|
+
}
|
|
112
|
+
|
|
113
|
+
async function ownerIsLive(artifact, observer) {
|
|
114
|
+
let observed;
|
|
115
|
+
try { observed = await observer(artifact.owner_pid); }
|
|
116
|
+
catch {
|
|
117
|
+
// observer障害とprocess不在を混同しない。PIDが存在する限りlockを回収しない。
|
|
118
|
+
return pidExists(artifact.owner_pid);
|
|
119
|
+
}
|
|
120
|
+
if (observed === null || observed === undefined) return pidExists(artifact.owner_pid);
|
|
121
|
+
if (!validProcessStartIdentity(observed) || observed.pid !== artifact.owner_pid) {
|
|
122
|
+
fail('RUN_LOCK_INVALID', 'owner process observation不正');
|
|
123
|
+
}
|
|
124
|
+
return observed.identity_digest === artifact.owner_process_start_identity.identity_digest;
|
|
125
|
+
}
|
|
126
|
+
|
|
127
|
+
async function syncDirectory(directory) {
|
|
128
|
+
const handle = await open(directory, fsConstants.O_RDONLY);
|
|
129
|
+
// Windowsはdirectory handleのfsyncを許さず常にEPERM/EINVALを返す(Node仕様)。
|
|
130
|
+
// win32のこの2値だけ許容し、他OS・他エラーは従来どおり失敗させる。
|
|
131
|
+
try { await handle.sync(); } catch (error) {
|
|
132
|
+
if (process.platform !== 'win32' || !['EPERM', 'EINVAL'].includes(error?.code)) throw error;
|
|
133
|
+
} finally { await handle.close(); }
|
|
134
|
+
}
|
|
135
|
+
|
|
136
|
+
async function recoverStaleLock(lockPath, expectedDigest) {
|
|
137
|
+
const quarantine = path.join(path.dirname(lockPath),
|
|
138
|
+
`.${path.basename(lockPath)}.${process.pid}.${randomUUID()}.stale`);
|
|
139
|
+
let removeQuarantine = true;
|
|
140
|
+
try {
|
|
141
|
+
await rename(lockPath, quarantine);
|
|
142
|
+
} catch (error) {
|
|
143
|
+
if (error?.code === 'ENOENT') return;
|
|
144
|
+
throw error;
|
|
145
|
+
}
|
|
146
|
+
try {
|
|
147
|
+
const moved = await readLockArtifact(quarantine);
|
|
148
|
+
if (moved.value.lock_digest !== expectedDigest) {
|
|
149
|
+
// stale判定後に別ownerが取得したfileをrenameしてしまった場合は破棄しない。
|
|
150
|
+
try { await rename(quarantine, lockPath); }
|
|
151
|
+
catch (error) {
|
|
152
|
+
if (error?.code === 'EEXIST' || error?.code === 'ENOTEMPTY') {
|
|
153
|
+
removeQuarantine = false;
|
|
154
|
+
fail('RUN_LOCK_INVALID', `回収競合artifactを保全した: ${quarantine}`);
|
|
155
|
+
}
|
|
156
|
+
throw error;
|
|
157
|
+
}
|
|
158
|
+
fail('RUN_BUSY', 'lifecycle lock ownerが回収中に変更された');
|
|
159
|
+
}
|
|
160
|
+
await unlink(quarantine);
|
|
161
|
+
await syncDirectory(path.dirname(lockPath));
|
|
162
|
+
} finally {
|
|
163
|
+
if (removeQuarantine) await rm(quarantine, { force: true }).catch(() => {});
|
|
164
|
+
}
|
|
165
|
+
}
|
|
166
|
+
|
|
167
|
+
async function createLock(lockPath, artifact) {
|
|
168
|
+
let handle;
|
|
169
|
+
let created = false;
|
|
170
|
+
try {
|
|
171
|
+
handle = await open(lockPath,
|
|
172
|
+
fsConstants.O_CREAT | fsConstants.O_EXCL | fsConstants.O_WRONLY, 0o600);
|
|
173
|
+
created = true;
|
|
174
|
+
await handle.writeFile(Buffer.from(`${canonicalizeArtifact(artifact)}\n`, 'utf8'));
|
|
175
|
+
await handle.sync();
|
|
176
|
+
await handle.close();
|
|
177
|
+
handle = null;
|
|
178
|
+
await syncDirectory(path.dirname(lockPath));
|
|
179
|
+
return true;
|
|
180
|
+
} catch (error) {
|
|
181
|
+
if (error?.code === 'EEXIST') return false;
|
|
182
|
+
if (handle) {
|
|
183
|
+
await handle.close().catch(() => {});
|
|
184
|
+
handle = null;
|
|
185
|
+
}
|
|
186
|
+
if (created) await unlink(lockPath).catch(() => {});
|
|
187
|
+
throw error;
|
|
188
|
+
} finally {
|
|
189
|
+
if (handle) await handle.close().catch(() => {});
|
|
190
|
+
}
|
|
191
|
+
}
|
|
192
|
+
|
|
193
|
+
function sleep(milliseconds) {
|
|
194
|
+
return new Promise((resolve) => setTimeout(resolve, milliseconds));
|
|
195
|
+
}
|
|
196
|
+
|
|
197
|
+
/**
|
|
198
|
+
* run lifecycle mutationをdurable owner artifactで直列化する。
|
|
199
|
+
* timeoutMs=0はlive競合を即時RUN_BUSYにする。
|
|
200
|
+
*/
|
|
201
|
+
export async function acquireRuntimeLifecycleLock({
|
|
202
|
+
runDir = null,
|
|
203
|
+
lockPath = null,
|
|
204
|
+
sessionNonceDigest,
|
|
205
|
+
operation,
|
|
206
|
+
requestId,
|
|
207
|
+
timeoutMs = 0,
|
|
208
|
+
retryIntervalMs = 10,
|
|
209
|
+
processStartIdentity = null,
|
|
210
|
+
observeProcessStartIdentity = null,
|
|
211
|
+
now = () => new Date(),
|
|
212
|
+
} = {}) {
|
|
213
|
+
const resolvedLockPath = validateOptions({ lockPath, runDir, sessionNonceDigest, operation,
|
|
214
|
+
requestId, timeoutMs, retryIntervalMs, processStartIdentity, observeProcessStartIdentity, now });
|
|
215
|
+
const observer = observeProcessStartIdentity ?? defaultObserver;
|
|
216
|
+
const ownerIdentity = processStartIdentity ?? await observer(process.pid);
|
|
217
|
+
if (!validProcessStartIdentity(ownerIdentity) || ownerIdentity.pid !== process.pid) {
|
|
218
|
+
fail('RUN_LOCK_INVALID', 'acquirer process start identity不正');
|
|
219
|
+
}
|
|
220
|
+
const acquiredAt = now();
|
|
221
|
+
if (!(acquiredAt instanceof Date) || Number.isNaN(acquiredAt.valueOf())) {
|
|
222
|
+
fail('RUN_LOCK_INVALID', 'acquired_at生成値不正');
|
|
223
|
+
}
|
|
224
|
+
const artifact = {
|
|
225
|
+
schema: 'lattice.runtime_lifecycle_lock.v1',
|
|
226
|
+
owner_pid: process.pid,
|
|
227
|
+
owner_process_start_identity: structuredClone(ownerIdentity),
|
|
228
|
+
session_nonce_digest: sessionNonceDigest,
|
|
229
|
+
operation,
|
|
230
|
+
request_id: requestId,
|
|
231
|
+
acquired_at: acquiredAt.toISOString(),
|
|
232
|
+
lock_digest: '',
|
|
233
|
+
};
|
|
234
|
+
artifact.lock_digest = selfDigest(artifact, 'lock_digest');
|
|
235
|
+
const deadline = Date.now() + timeoutMs;
|
|
236
|
+
|
|
237
|
+
while (true) {
|
|
238
|
+
if (await createLock(resolvedLockPath, artifact)) {
|
|
239
|
+
let released = false;
|
|
240
|
+
return {
|
|
241
|
+
artifact: structuredClone(artifact),
|
|
242
|
+
lockPath: resolvedLockPath,
|
|
243
|
+
async release() {
|
|
244
|
+
if (released) return;
|
|
245
|
+
await releaseRuntimeLifecycleLock({
|
|
246
|
+
lockPath: resolvedLockPath, ownerDigest: artifact.lock_digest,
|
|
247
|
+
});
|
|
248
|
+
released = true;
|
|
249
|
+
},
|
|
250
|
+
};
|
|
251
|
+
}
|
|
252
|
+
|
|
253
|
+
let existing;
|
|
254
|
+
try { existing = await readLockArtifact(resolvedLockPath); }
|
|
255
|
+
catch (error) {
|
|
256
|
+
if (error?.code === 'ENOENT') continue;
|
|
257
|
+
if (error instanceof RuntimeLifecycleLockError && error.code === 'RUN_BUSY'
|
|
258
|
+
&& Date.now() < deadline) { await sleep(retryIntervalMs); continue; }
|
|
259
|
+
throw error;
|
|
260
|
+
}
|
|
261
|
+
if (!await ownerIsLive(existing.value, observer)) {
|
|
262
|
+
await recoverStaleLock(resolvedLockPath, existing.value.lock_digest);
|
|
263
|
+
continue;
|
|
264
|
+
}
|
|
265
|
+
if (Date.now() >= deadline) {
|
|
266
|
+
fail('RUN_BUSY', timeoutMs === 0
|
|
267
|
+
? `run lifecycle操作が既に進行中: ${existing.value.operation}/${existing.value.request_id}`
|
|
268
|
+
: `run lifecycle lock timeout: ${existing.value.operation}/${existing.value.request_id}`);
|
|
269
|
+
}
|
|
270
|
+
await sleep(Math.min(retryIntervalMs, Math.max(1, deadline - Date.now())));
|
|
271
|
+
}
|
|
272
|
+
}
|
|
273
|
+
|
|
274
|
+
/** lock artifactのowner digestが一致する呼出しだけがreleaseできる。 */
|
|
275
|
+
export async function releaseRuntimeLifecycleLock({ lockPath, ownerDigest } = {}) {
|
|
276
|
+
if (typeof lockPath !== 'string' || !path.isAbsolute(lockPath) || !digest(ownerDigest)) {
|
|
277
|
+
fail('RUN_LOCK_INVALID', 'lifecycle lock release入力不正');
|
|
278
|
+
}
|
|
279
|
+
let existing;
|
|
280
|
+
try { existing = await readLockArtifact(lockPath); }
|
|
281
|
+
catch (error) {
|
|
282
|
+
if (error?.code === 'ENOENT') fail('RUN_LOCK_OWNER_MISMATCH', 'release対象lockなし');
|
|
283
|
+
throw error;
|
|
284
|
+
}
|
|
285
|
+
if (existing.value.lock_digest !== ownerDigest) {
|
|
286
|
+
fail('RUN_LOCK_OWNER_MISMATCH', 'lifecycle lock owner digest不一致');
|
|
287
|
+
}
|
|
288
|
+
const current = await lstat(lockPath);
|
|
289
|
+
if (current.dev !== existing.info.dev || current.ino !== existing.info.ino) {
|
|
290
|
+
fail('RUN_LOCK_OWNER_MISMATCH', 'lifecycle lockがrelease前に差し替わった');
|
|
291
|
+
}
|
|
292
|
+
await unlink(lockPath);
|
|
293
|
+
await syncDirectory(path.dirname(lockPath));
|
|
294
|
+
}
|