@quolu/lattice 0.52.0 → 0.52.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (182) hide show
  1. package/LICENSE +147 -147
  2. package/README.ja.md +355 -355
  3. package/README.md +258 -258
  4. package/bin/lattice-mcp.mjs +0 -0
  5. package/bin/lattice-scripted-adapter.mjs +0 -0
  6. package/bin/lattice-scripted-worker.mjs +0 -0
  7. package/bin/lattice-work-order-adapter.mjs +0 -0
  8. package/bin/lattice.mjs +0 -0
  9. package/docs/bridge-setup.md +132 -132
  10. package/docs/schemas/lattice.executor_packet.v1.schema.json +57 -57
  11. package/docs/schemas/lattice.executor_receipt.v1.schema.json +66 -66
  12. package/docs/schemas/lattice.phase_todo_revision.v3.schema.json +360 -360
  13. package/docs/schemas/lattice.plan_create_input.v1.schema.json +56 -56
  14. package/docs/schemas/lattice.plan_create_input.v2.schema.json +72 -72
  15. package/docs/schemas/lattice.plan_create_input.v3.schema.json +81 -81
  16. package/docs/schemas/lattice.plan_create_input.v4.schema.json +85 -85
  17. package/docs/schemas/lattice.run_request.v1.schema.json +238 -238
  18. package/docs/schemas/lattice.runtime_adapter_capabilities.v2.schema.json +55 -55
  19. package/docs/schemas/lattice.runtime_adapter_registration_input.v1.schema.json +78 -78
  20. package/docs/schemas/lattice.runtime_adapter_registration_input.v2.schema.json +86 -86
  21. package/docs/schemas/lattice.todo_extraction.v2.schema.json +298 -298
  22. package/docs/schemas/lattice.todo_extraction.v3.schema.json +146 -146
  23. package/docs/schemas/lattice.todo_revision.v2.schema.json +260 -260
  24. package/docs/schemas/lattice.todo_revision_set.v3.schema.json +363 -363
  25. package/package.json +103 -103
  26. package/sensor/LICENSE +21 -21
  27. package/sensor/NOTICE +19 -19
  28. package/sensor/dist/bin/lattice-sensor.js +9 -9
  29. package/sensor/dist/db/index.js +24 -24
  30. package/sensor/dist/db/migrations.js +41 -41
  31. package/sensor/dist/db/queries.js +164 -164
  32. package/sensor/dist/db/schema.sql +205 -205
  33. package/sensor/dist/directory.js +5 -5
  34. package/sensor/dist/extraction/wasm/tree-sitter-c_sharp.wasm +0 -0
  35. package/sensor/dist/extraction/wasm/tree-sitter-cfml.wasm +0 -0
  36. package/sensor/dist/extraction/wasm/tree-sitter-cfquery.wasm +0 -0
  37. package/sensor/dist/extraction/wasm/tree-sitter-cfscript.wasm +0 -0
  38. package/sensor/dist/extraction/wasm/tree-sitter-cobol.wasm +0 -0
  39. package/sensor/dist/extraction/wasm/tree-sitter-erlang.wasm +0 -0
  40. package/sensor/dist/extraction/wasm/tree-sitter-go.wasm +0 -0
  41. package/sensor/dist/extraction/wasm/tree-sitter-java.wasm +0 -0
  42. package/sensor/dist/extraction/wasm/tree-sitter-javascript.wasm +0 -0
  43. package/sensor/dist/extraction/wasm/tree-sitter-nix.wasm +0 -0
  44. package/sensor/dist/extraction/wasm/tree-sitter-pascal.wasm +0 -0
  45. package/sensor/dist/extraction/wasm/tree-sitter-python.wasm +0 -0
  46. package/sensor/dist/extraction/wasm/tree-sitter-tsx.wasm +0 -0
  47. package/sensor/dist/extraction/wasm/tree-sitter-typescript.wasm +0 -0
  48. package/sensor/dist/extraction/wasm/tree-sitter-vbnet.wasm +0 -0
  49. package/sensor/dist/mcp/liveness-watchdog.js +53 -53
  50. package/sensor/dist/mcp/server-instructions.js +95 -95
  51. package/sensor/package.json +56 -56
  52. package/src/artifact-contracts-v2.mjs +325 -325
  53. package/src/artifact-contracts.mjs +895 -895
  54. package/src/boundary-compiler.mjs +712 -712
  55. package/src/boundary-observation-compiler-v2.mjs +344 -344
  56. package/src/bounded-seam.mjs +230 -230
  57. package/src/bridge-address.mjs +107 -107
  58. package/src/bridge-cli.mjs +297 -297
  59. package/src/bridge-config.mjs +346 -346
  60. package/src/bridge-daemon.mjs +378 -378
  61. package/src/bridge-launch-agent.mjs +323 -323
  62. package/src/bridge-registrar.mjs +102 -102
  63. package/src/bridge-server.mjs +376 -376
  64. package/src/cli-help.mjs +308 -308
  65. package/src/cli-stdio.mjs +40 -40
  66. package/src/control-compiler.mjs +532 -532
  67. package/src/dag-chain.mjs +261 -261
  68. package/src/factory-diagnostics.mjs +188 -188
  69. package/src/hash-chain.mjs +76 -76
  70. package/src/hooks-cli.mjs +1057 -1053
  71. package/src/isolation-runner.mjs +409 -409
  72. package/src/node-version-guard.mjs +44 -44
  73. package/src/project-cli.mjs +697 -697
  74. package/src/project-identity.mjs +130 -130
  75. package/src/rc1-black-box-oracle.mjs +906 -906
  76. package/src/rc1-comparison.mjs +154 -154
  77. package/src/rc1-evidence-bundle.mjs +456 -456
  78. package/src/rc1-v4-campaign.mjs +708 -708
  79. package/src/rc1-v4-transform.mjs +467 -467
  80. package/src/rc1-v5-artifact-set.mjs +855 -855
  81. package/src/rc1-v5-behavior-evidence.mjs +594 -594
  82. package/src/rc1-v5-campaign.mjs +797 -797
  83. package/src/rc1-v5-transform.mjs +421 -421
  84. package/src/rc1-v6-artifact-set.mjs +807 -807
  85. package/src/rc1-v6-behavior-evidence.mjs +273 -273
  86. package/src/rc1-v6-campaign.mjs +623 -623
  87. package/src/rc1-v6-causal-binding.mjs +473 -473
  88. package/src/rc1-v6-measurement.mjs +313 -313
  89. package/src/rc2-artifact-set.mjs +1584 -1584
  90. package/src/rc2-campaign.mjs +1506 -1502
  91. package/src/rc2-delivery-policy-front-end.mjs +1079 -1079
  92. package/src/rc2-delivery-policy-oracle.mjs +134 -134
  93. package/src/rc2-delivery-policy-transform.mjs +1127 -1127
  94. package/src/rc2-rc1-transfer-front-end.mjs +511 -511
  95. package/src/rc3-actual-dogfood.mjs +652 -652
  96. package/src/rc3-dogfood-scaffold.mjs +315 -315
  97. package/src/rc3-scripted-campaign.mjs +1383 -1383
  98. package/src/rc4-stage1-dogfood.mjs +673 -673
  99. package/src/runtime-adapter-registry.mjs +524 -520
  100. package/src/runtime-cli.mjs +4588 -4584
  101. package/src/runtime-contracts.mjs +824 -824
  102. package/src/runtime-control-store.mjs +604 -600
  103. package/src/runtime-controller-protocol.mjs +587 -587
  104. package/src/runtime-decision-verifier.mjs +701 -701
  105. package/src/runtime-diff-observer.mjs +361 -361
  106. package/src/runtime-direct-os-observer.mjs +301 -301
  107. package/src/runtime-driver-state.mjs +166 -162
  108. package/src/runtime-engine.mjs +779 -779
  109. package/src/runtime-errors.mjs +356 -356
  110. package/src/runtime-event-store.mjs +189 -189
  111. package/src/runtime-front-end.mjs +925 -925
  112. package/src/runtime-gate-store.mjs +481 -477
  113. package/src/runtime-hold-recompile.mjs +916 -916
  114. package/src/runtime-io-sentinel.mjs +391 -391
  115. package/src/runtime-lifecycle-lock.mjs +294 -290
  116. package/src/runtime-managed-supervisor.mjs +1490 -1490
  117. package/src/runtime-multi-epoch-store.mjs +838 -834
  118. package/src/runtime-projection.mjs +269 -269
  119. package/src/runtime-pull-intake.mjs +1192 -1188
  120. package/src/runtime-scripted-adapter-controller.mjs +1160 -1156
  121. package/src/runtime-scripted-executor.mjs +163 -163
  122. package/src/runtime-scripted-worktree.mjs +104 -104
  123. package/src/runtime-seam-resolve.mjs +428 -428
  124. package/src/runtime-seam-treatment.mjs +173 -173
  125. package/src/runtime-socket-owner.mjs +125 -125
  126. package/src/runtime-work-order-contracts.mjs +91 -91
  127. package/src/runtime-work-order-controller.mjs +1171 -1167
  128. package/src/runtime-worktree-executor.mjs +199 -199
  129. package/src/schedulability-compiler-v2.mjs +303 -303
  130. package/src/schedulability-verifier-v2.mjs +317 -317
  131. package/src/seam-apply.mjs +549 -549
  132. package/src/seam-commit-shared.mjs +22 -22
  133. package/src/seam-commit-transform.mjs +81 -81
  134. package/src/seam-commit.mjs +18 -18
  135. package/src/seam-cost.mjs +322 -322
  136. package/src/seam-derivation.mjs +188 -188
  137. package/src/seam-gate.mjs +146 -146
  138. package/src/seam-proposal-contracts.mjs +446 -446
  139. package/src/seam-proposal-queries.mjs +521 -521
  140. package/src/seam-proposal.mjs +2011 -2011
  141. package/src/seam-ref.mjs +33 -33
  142. package/src/seam-rewrite.mjs +286 -286
  143. package/src/seam-transform.mjs +554 -554
  144. package/src/seam-verification.mjs +260 -260
  145. package/src/sensor-adapter.mjs +432 -432
  146. package/src/sensor-cli.mjs +139 -139
  147. package/src/sensor-diff.mjs +661 -661
  148. package/src/sensor-node-runtime.mjs +53 -53
  149. package/src/sensor-runtime.mjs +52 -52
  150. package/src/timestamp-contract.mjs +8 -8
  151. package/src/todo-audit-pending.mjs +91 -91
  152. package/src/todo-chain.mjs +178 -178
  153. package/src/todo-cli.mjs +3141 -3126
  154. package/src/todo-contracts.mjs +728 -728
  155. package/src/todo-dashboard-registry.mjs +573 -573
  156. package/src/todo-dispatch-shape.mjs +190 -190
  157. package/src/todo-gantt-html-independence.mjs +239 -239
  158. package/src/todo-gantt-html-shared.mjs +226 -226
  159. package/src/todo-gantt-html-style.mjs +131 -131
  160. package/src/todo-gantt-html.mjs +248 -248
  161. package/src/todo-gantt-layout.mjs +974 -974
  162. package/src/todo-gantt-live.mjs +361 -361
  163. package/src/todo-gantt-nested.mjs +263 -263
  164. package/src/todo-gantt-presentation.mjs +217 -217
  165. package/src/todo-gantt-scope.mjs +123 -123
  166. package/src/todo-gantt-svg.mjs +353 -353
  167. package/src/todo-independence-contracts.mjs +595 -595
  168. package/src/todo-independence-guidance.mjs +322 -322
  169. package/src/todo-independence.mjs +640 -640
  170. package/src/todo-markdown-renderer.mjs +260 -260
  171. package/src/todo-migration.mjs +448 -448
  172. package/src/todo-narrative-anchor.mjs +130 -130
  173. package/src/todo-note-store.mjs +629 -625
  174. package/src/todo-parallel-candidates.mjs +114 -114
  175. package/src/todo-revision.mjs +995 -995
  176. package/src/todo-split.mjs +472 -472
  177. package/src/todo-status.mjs +690 -690
  178. package/src/todo-store-git-transaction.mjs +418 -418
  179. package/src/todo-store.mjs +4322 -4314
  180. package/src/treatment-compiler.mjs +728 -728
  181. package/src/treatment-runner.mjs +656 -656
  182. package/src/witness-scaffold.mjs +180 -180
@@ -1,290 +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
- try { await handle.sync(); } finally { await handle.close(); }
130
- }
131
-
132
- async function recoverStaleLock(lockPath, expectedDigest) {
133
- const quarantine = path.join(path.dirname(lockPath),
134
- `.${path.basename(lockPath)}.${process.pid}.${randomUUID()}.stale`);
135
- let removeQuarantine = true;
136
- try {
137
- await rename(lockPath, quarantine);
138
- } catch (error) {
139
- if (error?.code === 'ENOENT') return;
140
- throw error;
141
- }
142
- try {
143
- const moved = await readLockArtifact(quarantine);
144
- if (moved.value.lock_digest !== expectedDigest) {
145
- // stale判定後に別ownerが取得したfileをrenameしてしまった場合は破棄しない。
146
- try { await rename(quarantine, lockPath); }
147
- catch (error) {
148
- if (error?.code === 'EEXIST' || error?.code === 'ENOTEMPTY') {
149
- removeQuarantine = false;
150
- fail('RUN_LOCK_INVALID', `回収競合artifactを保全した: ${quarantine}`);
151
- }
152
- throw error;
153
- }
154
- fail('RUN_BUSY', 'lifecycle lock ownerが回収中に変更された');
155
- }
156
- await unlink(quarantine);
157
- await syncDirectory(path.dirname(lockPath));
158
- } finally {
159
- if (removeQuarantine) await rm(quarantine, { force: true }).catch(() => {});
160
- }
161
- }
162
-
163
- async function createLock(lockPath, artifact) {
164
- let handle;
165
- let created = false;
166
- try {
167
- handle = await open(lockPath,
168
- fsConstants.O_CREAT | fsConstants.O_EXCL | fsConstants.O_WRONLY, 0o600);
169
- created = true;
170
- await handle.writeFile(Buffer.from(`${canonicalizeArtifact(artifact)}\n`, 'utf8'));
171
- await handle.sync();
172
- await handle.close();
173
- handle = null;
174
- await syncDirectory(path.dirname(lockPath));
175
- return true;
176
- } catch (error) {
177
- if (error?.code === 'EEXIST') return false;
178
- if (handle) {
179
- await handle.close().catch(() => {});
180
- handle = null;
181
- }
182
- if (created) await unlink(lockPath).catch(() => {});
183
- throw error;
184
- } finally {
185
- if (handle) await handle.close().catch(() => {});
186
- }
187
- }
188
-
189
- function sleep(milliseconds) {
190
- return new Promise((resolve) => setTimeout(resolve, milliseconds));
191
- }
192
-
193
- /**
194
- * run lifecycle mutationをdurable owner artifactで直列化する。
195
- * timeoutMs=0はlive競合を即時RUN_BUSYにする。
196
- */
197
- export async function acquireRuntimeLifecycleLock({
198
- runDir = null,
199
- lockPath = null,
200
- sessionNonceDigest,
201
- operation,
202
- requestId,
203
- timeoutMs = 0,
204
- retryIntervalMs = 10,
205
- processStartIdentity = null,
206
- observeProcessStartIdentity = null,
207
- now = () => new Date(),
208
- } = {}) {
209
- const resolvedLockPath = validateOptions({ lockPath, runDir, sessionNonceDigest, operation,
210
- requestId, timeoutMs, retryIntervalMs, processStartIdentity, observeProcessStartIdentity, now });
211
- const observer = observeProcessStartIdentity ?? defaultObserver;
212
- const ownerIdentity = processStartIdentity ?? await observer(process.pid);
213
- if (!validProcessStartIdentity(ownerIdentity) || ownerIdentity.pid !== process.pid) {
214
- fail('RUN_LOCK_INVALID', 'acquirer process start identity不正');
215
- }
216
- const acquiredAt = now();
217
- if (!(acquiredAt instanceof Date) || Number.isNaN(acquiredAt.valueOf())) {
218
- fail('RUN_LOCK_INVALID', 'acquired_at生成値不正');
219
- }
220
- const artifact = {
221
- schema: 'lattice.runtime_lifecycle_lock.v1',
222
- owner_pid: process.pid,
223
- owner_process_start_identity: structuredClone(ownerIdentity),
224
- session_nonce_digest: sessionNonceDigest,
225
- operation,
226
- request_id: requestId,
227
- acquired_at: acquiredAt.toISOString(),
228
- lock_digest: '',
229
- };
230
- artifact.lock_digest = selfDigest(artifact, 'lock_digest');
231
- const deadline = Date.now() + timeoutMs;
232
-
233
- while (true) {
234
- if (await createLock(resolvedLockPath, artifact)) {
235
- let released = false;
236
- return {
237
- artifact: structuredClone(artifact),
238
- lockPath: resolvedLockPath,
239
- async release() {
240
- if (released) return;
241
- await releaseRuntimeLifecycleLock({
242
- lockPath: resolvedLockPath, ownerDigest: artifact.lock_digest,
243
- });
244
- released = true;
245
- },
246
- };
247
- }
248
-
249
- let existing;
250
- try { existing = await readLockArtifact(resolvedLockPath); }
251
- catch (error) {
252
- if (error?.code === 'ENOENT') continue;
253
- if (error instanceof RuntimeLifecycleLockError && error.code === 'RUN_BUSY'
254
- && Date.now() < deadline) { await sleep(retryIntervalMs); continue; }
255
- throw error;
256
- }
257
- if (!await ownerIsLive(existing.value, observer)) {
258
- await recoverStaleLock(resolvedLockPath, existing.value.lock_digest);
259
- continue;
260
- }
261
- if (Date.now() >= deadline) {
262
- fail('RUN_BUSY', timeoutMs === 0
263
- ? `run lifecycle操作が既に進行中: ${existing.value.operation}/${existing.value.request_id}`
264
- : `run lifecycle lock timeout: ${existing.value.operation}/${existing.value.request_id}`);
265
- }
266
- await sleep(Math.min(retryIntervalMs, Math.max(1, deadline - Date.now())));
267
- }
268
- }
269
-
270
- /** lock artifactのowner digestが一致する呼出しだけがreleaseできる。 */
271
- export async function releaseRuntimeLifecycleLock({ lockPath, ownerDigest } = {}) {
272
- if (typeof lockPath !== 'string' || !path.isAbsolute(lockPath) || !digest(ownerDigest)) {
273
- fail('RUN_LOCK_INVALID', 'lifecycle lock release入力不正');
274
- }
275
- let existing;
276
- try { existing = await readLockArtifact(lockPath); }
277
- catch (error) {
278
- if (error?.code === 'ENOENT') fail('RUN_LOCK_OWNER_MISMATCH', 'release対象lockなし');
279
- throw error;
280
- }
281
- if (existing.value.lock_digest !== ownerDigest) {
282
- fail('RUN_LOCK_OWNER_MISMATCH', 'lifecycle lock owner digest不一致');
283
- }
284
- const current = await lstat(lockPath);
285
- if (current.dev !== existing.info.dev || current.ino !== existing.info.ino) {
286
- fail('RUN_LOCK_OWNER_MISMATCH', 'lifecycle lockがrelease前に差し替わった');
287
- }
288
- await unlink(lockPath);
289
- await syncDirectory(path.dirname(lockPath));
290
- }
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
+ }