@quolu/lattice 0.52.3 → 0.53.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.
Files changed (188) hide show
  1. package/LICENSE +147 -147
  2. package/README.ja.md +355 -355
  3. package/README.md +258 -258
  4. package/bin/lattice-bridge.mjs +25 -0
  5. package/bin/lattice-hub.mjs +67 -0
  6. package/bin/lattice-mcp.mjs +0 -0
  7. package/bin/lattice-scripted-adapter.mjs +0 -0
  8. package/bin/lattice-scripted-worker.mjs +0 -0
  9. package/bin/lattice-work-order-adapter.mjs +0 -0
  10. package/bin/lattice.mjs +0 -0
  11. package/docs/bridge-setup.md +132 -132
  12. package/docs/schemas/lattice.executor_packet.v1.schema.json +57 -57
  13. package/docs/schemas/lattice.executor_receipt.v1.schema.json +66 -66
  14. package/docs/schemas/lattice.phase_todo_revision.v3.schema.json +360 -360
  15. package/docs/schemas/lattice.plan_create_input.v1.schema.json +56 -56
  16. package/docs/schemas/lattice.plan_create_input.v2.schema.json +72 -72
  17. package/docs/schemas/lattice.plan_create_input.v3.schema.json +81 -81
  18. package/docs/schemas/lattice.plan_create_input.v4.schema.json +85 -85
  19. package/docs/schemas/lattice.run_request.v1.schema.json +238 -238
  20. package/docs/schemas/lattice.runtime_adapter_capabilities.v2.schema.json +55 -55
  21. package/docs/schemas/lattice.runtime_adapter_registration_input.v1.schema.json +78 -78
  22. package/docs/schemas/lattice.runtime_adapter_registration_input.v2.schema.json +86 -86
  23. package/docs/schemas/lattice.todo_extraction.v2.schema.json +298 -298
  24. package/docs/schemas/lattice.todo_extraction.v3.schema.json +146 -146
  25. package/docs/schemas/lattice.todo_revision.v2.schema.json +260 -260
  26. package/docs/schemas/lattice.todo_revision_set.v3.schema.json +363 -363
  27. package/package.json +103 -103
  28. package/sensor/LICENSE +21 -21
  29. package/sensor/NOTICE +19 -19
  30. package/sensor/dist/bin/lattice-sensor.js +9 -9
  31. package/sensor/dist/db/index.js +24 -24
  32. package/sensor/dist/db/migrations.js +41 -41
  33. package/sensor/dist/db/queries.js +164 -164
  34. package/sensor/dist/db/schema.sql +205 -205
  35. package/sensor/dist/directory.js +5 -5
  36. package/sensor/dist/extraction/wasm/tree-sitter-c_sharp.wasm +0 -0
  37. package/sensor/dist/extraction/wasm/tree-sitter-cfml.wasm +0 -0
  38. package/sensor/dist/extraction/wasm/tree-sitter-cfquery.wasm +0 -0
  39. package/sensor/dist/extraction/wasm/tree-sitter-cfscript.wasm +0 -0
  40. package/sensor/dist/extraction/wasm/tree-sitter-cobol.wasm +0 -0
  41. package/sensor/dist/extraction/wasm/tree-sitter-erlang.wasm +0 -0
  42. package/sensor/dist/extraction/wasm/tree-sitter-go.wasm +0 -0
  43. package/sensor/dist/extraction/wasm/tree-sitter-java.wasm +0 -0
  44. package/sensor/dist/extraction/wasm/tree-sitter-javascript.wasm +0 -0
  45. package/sensor/dist/extraction/wasm/tree-sitter-nix.wasm +0 -0
  46. package/sensor/dist/extraction/wasm/tree-sitter-pascal.wasm +0 -0
  47. package/sensor/dist/extraction/wasm/tree-sitter-python.wasm +0 -0
  48. package/sensor/dist/extraction/wasm/tree-sitter-tsx.wasm +0 -0
  49. package/sensor/dist/extraction/wasm/tree-sitter-typescript.wasm +0 -0
  50. package/sensor/dist/extraction/wasm/tree-sitter-vbnet.wasm +0 -0
  51. package/sensor/dist/mcp/liveness-watchdog.js +53 -53
  52. package/sensor/dist/mcp/server-instructions.js +95 -95
  53. package/sensor/package.json +56 -56
  54. package/src/artifact-contracts-v2.mjs +325 -325
  55. package/src/artifact-contracts.mjs +895 -895
  56. package/src/boundary-compiler.mjs +712 -712
  57. package/src/boundary-observation-compiler-v2.mjs +344 -344
  58. package/src/bounded-seam.mjs +230 -230
  59. package/src/bridge-address.mjs +107 -107
  60. package/src/bridge-cli.mjs +303 -297
  61. package/src/bridge-config.mjs +382 -346
  62. package/src/bridge-daemon.mjs +378 -378
  63. package/src/bridge-hub-heartbeat.mjs +170 -0
  64. package/src/bridge-hub-protocol.mjs +198 -0
  65. package/src/bridge-hub-server.mjs +544 -0
  66. package/src/bridge-launch-agent.mjs +323 -323
  67. package/src/bridge-registrar.mjs +102 -102
  68. package/src/bridge-server.mjs +376 -376
  69. package/src/cli-help.mjs +308 -308
  70. package/src/cli-stdio.mjs +40 -40
  71. package/src/control-compiler.mjs +532 -532
  72. package/src/dag-chain.mjs +261 -261
  73. package/src/factory-diagnostics.mjs +188 -188
  74. package/src/git-process.mjs +72 -0
  75. package/src/hash-chain.mjs +76 -76
  76. package/src/hooks-cli.mjs +1057 -1057
  77. package/src/isolation-runner.mjs +409 -409
  78. package/src/node-version-guard.mjs +44 -44
  79. package/src/project-cli.mjs +3 -3
  80. package/src/project-identity.mjs +130 -130
  81. package/src/rc1-black-box-oracle.mjs +906 -906
  82. package/src/rc1-comparison.mjs +154 -154
  83. package/src/rc1-evidence-bundle.mjs +456 -456
  84. package/src/rc1-v4-campaign.mjs +708 -708
  85. package/src/rc1-v4-transform.mjs +467 -467
  86. package/src/rc1-v5-artifact-set.mjs +855 -855
  87. package/src/rc1-v5-behavior-evidence.mjs +594 -594
  88. package/src/rc1-v5-campaign.mjs +797 -797
  89. package/src/rc1-v5-transform.mjs +421 -421
  90. package/src/rc1-v6-artifact-set.mjs +807 -807
  91. package/src/rc1-v6-behavior-evidence.mjs +273 -273
  92. package/src/rc1-v6-campaign.mjs +623 -623
  93. package/src/rc1-v6-causal-binding.mjs +473 -473
  94. package/src/rc1-v6-measurement.mjs +313 -313
  95. package/src/rc2-artifact-set.mjs +1584 -1584
  96. package/src/rc2-campaign.mjs +1506 -1506
  97. package/src/rc2-delivery-policy-front-end.mjs +1079 -1079
  98. package/src/rc2-delivery-policy-oracle.mjs +134 -134
  99. package/src/rc2-delivery-policy-transform.mjs +1127 -1127
  100. package/src/rc2-rc1-transfer-front-end.mjs +511 -511
  101. package/src/rc3-actual-dogfood.mjs +652 -652
  102. package/src/rc3-dogfood-scaffold.mjs +315 -315
  103. package/src/rc3-scripted-campaign.mjs +1383 -1383
  104. package/src/rc4-stage1-dogfood.mjs +673 -673
  105. package/src/runtime-adapter-registry.mjs +524 -524
  106. package/src/runtime-cli.mjs +4588 -4588
  107. package/src/runtime-contracts.mjs +824 -824
  108. package/src/runtime-control-store.mjs +604 -604
  109. package/src/runtime-controller-protocol.mjs +587 -587
  110. package/src/runtime-decision-verifier.mjs +701 -701
  111. package/src/runtime-diff-observer.mjs +361 -361
  112. package/src/runtime-direct-os-observer.mjs +301 -301
  113. package/src/runtime-driver-state.mjs +166 -166
  114. package/src/runtime-engine.mjs +779 -779
  115. package/src/runtime-errors.mjs +356 -356
  116. package/src/runtime-event-store.mjs +189 -189
  117. package/src/runtime-front-end.mjs +925 -925
  118. package/src/runtime-gate-store.mjs +481 -481
  119. package/src/runtime-hold-recompile.mjs +916 -916
  120. package/src/runtime-io-sentinel.mjs +391 -391
  121. package/src/runtime-lifecycle-lock.mjs +294 -294
  122. package/src/runtime-managed-supervisor.mjs +1490 -1490
  123. package/src/runtime-multi-epoch-store.mjs +838 -838
  124. package/src/runtime-projection.mjs +269 -269
  125. package/src/runtime-pull-intake.mjs +1192 -1192
  126. package/src/runtime-scripted-adapter-controller.mjs +1160 -1160
  127. package/src/runtime-scripted-executor.mjs +163 -163
  128. package/src/runtime-scripted-worktree.mjs +104 -104
  129. package/src/runtime-seam-resolve.mjs +428 -428
  130. package/src/runtime-seam-treatment.mjs +173 -173
  131. package/src/runtime-socket-owner.mjs +125 -125
  132. package/src/runtime-work-order-contracts.mjs +91 -91
  133. package/src/runtime-work-order-controller.mjs +1171 -1171
  134. package/src/runtime-worktree-executor.mjs +199 -199
  135. package/src/schedulability-compiler-v2.mjs +303 -303
  136. package/src/schedulability-verifier-v2.mjs +317 -317
  137. package/src/seam-apply.mjs +549 -549
  138. package/src/seam-commit-shared.mjs +22 -22
  139. package/src/seam-commit-transform.mjs +81 -81
  140. package/src/seam-commit.mjs +18 -18
  141. package/src/seam-cost.mjs +322 -322
  142. package/src/seam-derivation.mjs +188 -188
  143. package/src/seam-gate.mjs +146 -146
  144. package/src/seam-proposal-contracts.mjs +446 -446
  145. package/src/seam-proposal-queries.mjs +521 -521
  146. package/src/seam-proposal.mjs +2011 -2011
  147. package/src/seam-ref.mjs +33 -33
  148. package/src/seam-rewrite.mjs +286 -286
  149. package/src/seam-transform.mjs +554 -554
  150. package/src/seam-verification.mjs +260 -260
  151. package/src/sensor-adapter.mjs +432 -432
  152. package/src/sensor-cli.mjs +139 -139
  153. package/src/sensor-diff.mjs +661 -661
  154. package/src/sensor-node-runtime.mjs +53 -53
  155. package/src/sensor-runtime.mjs +52 -52
  156. package/src/timestamp-contract.mjs +8 -8
  157. package/src/todo-audit-pending.mjs +91 -91
  158. package/src/todo-chain.mjs +178 -178
  159. package/src/todo-cli.mjs +8 -8
  160. package/src/todo-contracts.mjs +728 -728
  161. package/src/todo-dashboard-registry.mjs +573 -573
  162. package/src/todo-dispatch-shape.mjs +190 -190
  163. package/src/todo-gantt-html-independence.mjs +239 -239
  164. package/src/todo-gantt-html-shared.mjs +226 -226
  165. package/src/todo-gantt-html-style.mjs +131 -131
  166. package/src/todo-gantt-html.mjs +248 -248
  167. package/src/todo-gantt-layout.mjs +974 -974
  168. package/src/todo-gantt-live.mjs +361 -361
  169. package/src/todo-gantt-nested.mjs +263 -263
  170. package/src/todo-gantt-presentation.mjs +217 -217
  171. package/src/todo-gantt-scope.mjs +123 -123
  172. package/src/todo-gantt-svg.mjs +353 -353
  173. package/src/todo-independence-contracts.mjs +595 -595
  174. package/src/todo-independence-guidance.mjs +322 -322
  175. package/src/todo-independence.mjs +640 -640
  176. package/src/todo-markdown-renderer.mjs +260 -260
  177. package/src/todo-migration.mjs +448 -448
  178. package/src/todo-narrative-anchor.mjs +130 -130
  179. package/src/todo-note-store.mjs +629 -629
  180. package/src/todo-parallel-candidates.mjs +114 -114
  181. package/src/todo-revision.mjs +995 -995
  182. package/src/todo-split.mjs +472 -472
  183. package/src/todo-status.mjs +690 -690
  184. package/src/todo-store-git-transaction.mjs +418 -418
  185. package/src/todo-store.mjs +42 -21
  186. package/src/treatment-compiler.mjs +728 -728
  187. package/src/treatment-runner.mjs +656 -656
  188. 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
+ }