@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,1160 +1,1160 @@
1
- import net from 'node:net';
2
- import { createHash, randomBytes } from 'node:crypto';
3
- import { execFile, spawn } from 'node:child_process';
4
- import { constants as fsConstants, readFileSync } from 'node:fs';
5
- import {
6
- chmod,
7
- lstat,
8
- mkdir,
9
- open,
10
- readFile,
11
- realpath,
12
- rename,
13
- rm,
14
- } from 'node:fs/promises';
15
- import path from 'node:path';
16
- import { fileURLToPath } from 'node:url';
17
- import { promisify } from 'node:util';
18
-
19
- import { canonicalizeArtifact, digestArtifact } from './artifact-contracts.mjs';
20
- import {
21
- armStagedWriteLease,
22
- CONTROLLER_OPERATIONS,
23
- validateArmedWriteLease,
24
- validateControllerRequest,
25
- validateRuntimeAdapterCapabilities,
26
- validateRuntimeHeartbeatPolicy,
27
- } from './runtime-controller-protocol.mjs';
28
- import {
29
- selfDigest,
30
- validateExecutorPacket,
31
- validateExecutorReceipt,
32
- } from './runtime-contracts.mjs';
33
- import { captureWorktreeDiff } from './runtime-diff-observer.mjs';
34
- import { validateSupervisorWriteGate } from './runtime-gate-store.mjs';
35
- import { observeManagedProcessStartIdentity } from './runtime-managed-supervisor.mjs';
36
- import { scriptedWorktreeId, scriptedWorktreePath } from './runtime-scripted-worktree.mjs';
37
-
38
- const MAX_DOCUMENT_BYTES = 8_388_608;
39
- const SHA256 = /^[0-9a-f]{64}$/u;
40
- const ID = /^[0-9A-Za-z](?:[0-9A-Za-z._-]{0,127})$/u;
41
- const execFileAsync = promisify(execFile);
42
- const REQUEST_SCHEMA_TO_OPERATION = Object.freeze(Object.fromEntries([
43
- ['lattice.adapter_dispatch_request.v1', 'dispatch'],
44
- ['lattice.adapter_observe_request.v1', 'observe'],
45
- ['lattice.adapter_running_inventory_request.v1', 'inventory'],
46
- ['lattice.adapter_barrier_request.v1', 'barrier'],
47
- ['lattice.adapter_rebind_request.v1', 'rebind'],
48
- ['lattice.adapter_prepare_request.v1', 'prepare'],
49
- ['lattice.adapter_activate_request.v1', 'activate'],
50
- ['lattice.adapter_release_request.v1', 'release'],
51
- ['lattice.adapter_revoke_request.v1', 'revoke'],
52
- ]));
53
-
54
- export class ScriptedAdapterControllerError extends Error {
55
- constructor(code, message, detail = {}) {
56
- super(message);
57
- this.name = 'ScriptedAdapterControllerError';
58
- this.code = code;
59
- this.detail = detail;
60
- }
61
- }
62
-
63
- function fail(code, message, detail) {
64
- throw new ScriptedAdapterControllerError(code, message, detail);
65
- }
66
-
67
- function plain(value) {
68
- return value !== null && typeof value === 'object' && !Array.isArray(value)
69
- && Object.getPrototypeOf(value) === Object.prototype;
70
- }
71
-
72
- function exact(value, fields) {
73
- if (!plain(value)) return false;
74
- const actual = Object.keys(value).sort();
75
- const expected = [...fields].sort();
76
- return actual.length === expected.length
77
- && actual.every((field, index) => field === expected[index]);
78
- }
79
-
80
- function sign(value, field) {
81
- value[field] = '';
82
- value[field] = selfDigest(value, field);
83
- return value;
84
- }
85
-
86
- function sha256Bytes(bytes) {
87
- return createHash('sha256').update(bytes).digest('hex');
88
- }
89
-
90
- function controllerErrorArtifact(error, requestId = null) {
91
- const artifact = {
92
- schema: 'lattice.scripted_adapter_error.v1',
93
- code: error?.code ?? 'SCRIPTED_CONTROLLER_FAILED',
94
- message: String(error?.message ?? error),
95
- request_id: typeof requestId === 'string' ? requestId : null,
96
- detail: plain(error?.detail) ? structuredClone(error.detail) : {},
97
- error_digest: '',
98
- };
99
- artifact.error_digest = selfDigest(artifact, 'error_digest');
100
- return artifact;
101
- }
102
-
103
- function validateBootstrap(value) {
104
- return exact(value, [
105
- 'schema',
106
- 'request_id',
107
- 'run_id',
108
- 'controller_socket_ref',
109
- 'supervisor_socket_ref',
110
- 'supervisor_session_nonce',
111
- 'bootstrap_digest',
112
- ])
113
- && value.schema === 'lattice.adapter_controller_bootstrap.v1'
114
- && ID.test(value.request_id ?? '')
115
- && ID.test(value.run_id ?? '')
116
- && typeof value.controller_socket_ref === 'string'
117
- && /^supervisor\/controllers\/[0-9A-Za-z][0-9A-Za-z._-]{0,127}\.sock$/u
118
- .test(value.controller_socket_ref)
119
- && value.supervisor_socket_ref === 'supervisor/control.sock'
120
- && typeof value.supervisor_session_nonce === 'string'
121
- && value.supervisor_session_nonce.length >= 32
122
- && SHA256.test(value.bootstrap_digest ?? '')
123
- && selfDigest(value, 'bootstrap_digest') === value.bootstrap_digest;
124
- }
125
-
126
- function validateHandshakeRequest(value, bootstrap) {
127
- return exact(value, [
128
- 'schema',
129
- 'request_id',
130
- 'run_id',
131
- 'supervisor_session_nonce',
132
- 'controller_socket_ref',
133
- 'challenge',
134
- 'request_digest',
135
- ])
136
- && value.schema === 'lattice.adapter_controller_handshake_request.v1'
137
- && ID.test(value.request_id ?? '')
138
- && value.run_id === bootstrap.run_id
139
- && value.supervisor_session_nonce === bootstrap.supervisor_session_nonce
140
- && value.controller_socket_ref === bootstrap.controller_socket_ref
141
- && typeof value.challenge === 'string'
142
- && value.challenge.length >= 32
143
- && SHA256.test(value.request_digest ?? '')
144
- && selfDigest(value, 'request_digest') === value.request_digest;
145
- }
146
-
147
- function safeWritePath(value) {
148
- return typeof value === 'string'
149
- && value.length > 0
150
- && value === path.posix.normalize(value)
151
- && !path.posix.isAbsolute(value)
152
- && value !== '..'
153
- && !value.startsWith('../')
154
- && !value.includes('\0')
155
- && !['.git', '.lattice'].includes(value.split('/')[0]);
156
- }
157
-
158
- async function durableReplaceBytes(filePath, bytes, mode = 0o600) {
159
- const directory = path.dirname(filePath);
160
- await mkdir(directory, { recursive: true, mode: 0o700 });
161
- const temporaryPath = path.join(directory, `.${path.basename(filePath)}-${process.pid}.tmp`);
162
- let handle;
163
- try {
164
- handle = await open(
165
- temporaryPath,
166
- fsConstants.O_CREAT | fsConstants.O_EXCL | fsConstants.O_WRONLY,
167
- mode,
168
- );
169
- await handle.writeFile(bytes);
170
- await handle.sync();
171
- await handle.close();
172
- handle = null;
173
- await rename(temporaryPath, filePath);
174
- await chmod(filePath, mode);
175
- const directoryHandle = await open(directory, fsConstants.O_RDONLY);
176
- // Windowsはdirectory handleのfsyncを許さず常にEPERM/EINVALを返す(Node仕様)。
177
- // win32のこの2値だけ許容し、他OS・他エラーは従来どおり失敗させる。
178
- try {
179
- await directoryHandle.sync();
180
- } catch (error) {
181
- if (process.platform !== 'win32' || !['EPERM', 'EINVAL'].includes(error?.code)) throw error;
182
- } finally {
183
- await directoryHandle.close();
184
- }
185
- } finally {
186
- await handle?.close().catch(() => {});
187
- await rm(temporaryPath, { force: true }).catch(() => {});
188
- }
189
- }
190
-
191
- async function requireSafeTarget(repoRoot, relativePath) {
192
- if (!safeWritePath(relativePath)) {
193
- fail('SCRIPTED_PACKET_REJECTED', 'write pathが安全なrepo-relative pathではない', {
194
- path: relativePath,
195
- });
196
- }
197
- const target = path.join(repoRoot, ...relativePath.split('/'));
198
- if (!target.startsWith(`${repoRoot}${path.sep}`)) {
199
- fail('SCRIPTED_PACKET_REJECTED', 'write pathがrepo外を指す', { path: relativePath });
200
- }
201
- let cursor = repoRoot;
202
- for (const segment of relativePath.split('/').slice(0, -1)) {
203
- cursor = path.join(cursor, segment);
204
- try {
205
- const info = await lstat(cursor);
206
- if (info.isSymbolicLink() || !info.isDirectory()) {
207
- fail('SCRIPTED_PACKET_REJECTED', 'write path祖先がreal directoryではない', {
208
- path: relativePath,
209
- });
210
- }
211
- } catch (error) {
212
- if (error?.code !== 'ENOENT') throw error;
213
- break;
214
- }
215
- }
216
- await mkdir(path.dirname(target), { recursive: true, mode: 0o700 });
217
- const parentReal = await realpath(path.dirname(target));
218
- if (!parentReal.startsWith(`${repoRoot}${path.sep}`) && parentReal !== repoRoot) {
219
- fail('SCRIPTED_PACKET_REJECTED', 'write path親がrepo外へ解決された', { path: relativePath });
220
- }
221
- try {
222
- const info = await lstat(target);
223
- if (info.isSymbolicLink() || !info.isFile()) {
224
- fail('SCRIPTED_PACKET_REJECTED', 'write targetがregular fileではない', {
225
- path: relativePath,
226
- });
227
- }
228
- } catch (error) {
229
- if (error?.code !== 'ENOENT') throw error;
230
- }
231
- return target;
232
- }
233
-
234
- async function basePathExists(repoRoot, baseSha, relativePath) {
235
- try {
236
- await execFileAsync('git', ['cat-file', '-e', `${baseSha}:${relativePath}`], {
237
- cwd: repoRoot,
238
- encoding: 'utf8',
239
- });
240
- return true;
241
- } catch (error) {
242
- if (error?.code === 128) return false;
243
- fail('SCRIPTED_EXECUTION_FAILED', 'base treeのwrite pathを観測できない', {
244
- path: relativePath,
245
- message: String(error?.message ?? error),
246
- });
247
- }
248
- }
249
-
250
- function deterministicWriteBytes(packet, relativePath) {
251
- return Buffer.from(`${canonicalizeArtifact({
252
- schema: 'lattice.scripted_adapter_write.v1',
253
- todo_id: packet.todo_id,
254
- path: relativePath,
255
- packet_digest: packet.packet_digest,
256
- context_content_digest: packet.context_content_digest,
257
- })}\n`);
258
- }
259
-
260
- /**
261
- * packetの宣言writeを実行する。**worker processから呼ばれる。**
262
- *
263
- * controllerと同じprocessで走らせていた頃、このrunには走行中のTODOが存在せず、
264
- * 実行時の観測も静止の証明も原理的に成立しなかった(ADR 0143 Decision 7・9)。
265
- */
266
- export async function executePacket({ packet, repoRoot, extraWrites = [] }) {
267
- const writes = packet.scope?.writes;
268
- if (!Array.isArray(writes) || writes.length === 0
269
- || writes.some((entry, index) => !safeWritePath(entry)
270
- || (index > 0 && writes[index - 1] >= entry))) {
271
- fail('SCRIPTED_PACKET_REJECTED', 'scope.writesは非空の昇順一意pathでなければならない');
272
- }
273
- // 宣言scope外への書き込みは、検知そのものを検証するために要る。writeがすべて宣言内に
274
- // 収まる限り、実行時competitionは原理的に一度も起きないので、検知経路を実runで通せない。
275
- // 宣言と実writeが食い違う状態を意図して作れることが、この面の受入条件である。
276
- const allWrites = [...new Set([...writes, ...extraWrites])].sort();
277
- const prepared = [];
278
- for (const relativePath of allWrites) {
279
- const target = await requireSafeTarget(repoRoot, relativePath);
280
- const existedAtBase = await basePathExists(repoRoot, packet.base_sha, relativePath);
281
- prepared.push({
282
- relativePath,
283
- target,
284
- bytes: deterministicWriteBytes(packet, relativePath),
285
- change: existedAtBase ? 'modified' : 'added',
286
- });
287
- }
288
- for (const entry of prepared) {
289
- await durableReplaceBytes(entry.target, entry.bytes);
290
- const observed = await readFile(entry.target);
291
- if (!observed.equals(entry.bytes)) {
292
- fail('SCRIPTED_EXECUTION_FAILED', 'write後bytesが決定的内容と一致しない', {
293
- path: entry.relativePath,
294
- });
295
- }
296
- }
297
- const observedDiff = prepared.map((entry) => ({
298
- path: entry.relativePath,
299
- change: entry.change,
300
- }));
301
- const checkpointDigest = digestArtifact({
302
- schema: 'lattice.scripted_adapter_checkpoint.v1',
303
- packet_digest: packet.packet_digest,
304
- observed_diff: observedDiff,
305
- content_digests: prepared.map((entry) => ({
306
- path: entry.relativePath,
307
- digest: sha256Bytes(entry.bytes),
308
- })),
309
- });
310
- return { observedDiff, checkpointDigest };
311
- }
312
-
313
- async function readAndValidateGate(runDir, writeLease) {
314
- const gatePath = path.join(runDir, 'supervisor', 'write-gate.json');
315
- let gate;
316
- try {
317
- gate = JSON.parse(await readFile(gatePath, 'utf8'));
318
- } catch (error) {
319
- fail('SCRIPTED_WRITE_GATE_REJECTED', '中央write gateを読めない', {
320
- message: String(error?.message ?? error),
321
- });
322
- }
323
- if (!validateSupervisorWriteGate(gate)
324
- || gate.run_id !== writeLease.run_id
325
- || gate.plan_epoch !== writeLease.plan_epoch
326
- || gate.gate_generation !== writeLease.gate_generation
327
- || gate.release_barrier_digest !== writeLease.release_barrier_digest
328
- || !gate.armed_lease_digests.includes(writeLease.lease_digest)) {
329
- fail('SCRIPTED_WRITE_GATE_REJECTED', '中央write gateがarmed leaseを認可しない');
330
- }
331
- }
332
-
333
- /**
334
- * supervisor controller protocolを実装する決定論的scripted adapter。
335
- * 時刻はheartbeat schedulingだけに使い、write bytes/handle/receiptへ混入させない。
336
- */
337
- /**
338
- * 登録済みadapter configから、このcontrollerの振る舞いを読む。
339
- *
340
- * **configはregistrationのdigestへ束縛されている。** repo内の任意のfileを信用するのではなく、
341
- * `run adapter register`が記録した`config_digest`と一致するbytesだけを受ける。一致しなければ
342
- * 既定の振る舞いへ落とすのではなく止める——registrationと実configがずれた状態で走ると、
343
- * 記録されたrunの再現性が壊れる。
344
- *
345
- * 読むのは3つだけ:
346
- * - `hold_ms`: 書き込み後にworkerが走り続ける時間。実行時観測が成立する窓を作る。
347
- * - `extra_writes`: 全TODOに共通する宣言scope外write。
348
- * - `extra_writes_by_todo`: 競合当事者だけへscope外writeを与える実daemon fixture用設定。
349
- * - `mode`: 既存の`deterministic`のみ。未知の値は黙って無視せず止める。
350
- */
351
- async function readScriptedBehavior(repoRoot) {
352
- const descriptorPath = path.join(repoRoot, '.lattice', 'runtime', 'adapter-registry',
353
- 'descriptors', 'scripted.json');
354
- let descriptor;
355
- try {
356
- descriptor = JSON.parse(await readFile(descriptorPath, 'utf8'));
357
- } catch {
358
- // 未登録のまま走らせる経路(unit test等)は既定の振る舞いで動かす。
359
- return { hold_ms: 0, extra_writes: [], extra_writes_by_todo: {} };
360
- }
361
- if (typeof descriptor?.config_ref !== 'string' || typeof descriptor.config_digest !== 'string') {
362
- return { hold_ms: 0, extra_writes: [], extra_writes_by_todo: {} };
363
- }
364
- const configPath = path.join(repoRoot, ...descriptor.config_ref.split('/'));
365
- let bytes;
366
- try {
367
- bytes = await readFile(configPath);
368
- } catch {
369
- fail('SCRIPTED_BOOTSTRAP_INVALID', '登録済みadapter configを読めない', {
370
- config_ref: descriptor.config_ref,
371
- });
372
- }
373
- if (sha256Bytes(bytes) !== descriptor.config_digest) {
374
- fail('SCRIPTED_BOOTSTRAP_INVALID', 'adapter configが登録時のdigestと一致しない', {
375
- config_ref: descriptor.config_ref,
376
- });
377
- }
378
- let config;
379
- try {
380
- config = JSON.parse(bytes.toString('utf8'));
381
- } catch {
382
- fail('SCRIPTED_BOOTSTRAP_INVALID', 'adapter configのJSONが不正');
383
- }
384
- if (config?.mode !== undefined && config.mode !== 'deterministic') {
385
- fail('SCRIPTED_BOOTSTRAP_INVALID', `未知のscripted mode: ${String(config.mode)}`);
386
- }
387
- const holdMs = config?.hold_ms ?? 0;
388
- if (!Number.isSafeInteger(holdMs) || holdMs < 0 || holdMs > 600_000) {
389
- fail('SCRIPTED_BOOTSTRAP_INVALID', 'hold_msが不正');
390
- }
391
- const extraWrites = config?.extra_writes ?? [];
392
- if (!Array.isArray(extraWrites) || extraWrites.some((entry) => !safeWritePath(entry))) {
393
- fail('SCRIPTED_BOOTSTRAP_INVALID', 'extra_writesが不正');
394
- }
395
- const extraWritesByTodo = config?.extra_writes_by_todo ?? {};
396
- if (!plain(extraWritesByTodo) || Object.entries(extraWritesByTodo).some(([todoId, entries]) => (
397
- !ID.test(todoId) || !Array.isArray(entries) || entries.some((entry) => !safeWritePath(entry))
398
- ))) {
399
- fail('SCRIPTED_BOOTSTRAP_INVALID', 'extra_writes_by_todoが不正');
400
- }
401
- return { hold_ms: holdMs, extra_writes: [...extraWrites],
402
- extra_writes_by_todo: Object.fromEntries(Object.entries(extraWritesByTodo)
403
- .map(([todoId, entries]) => [todoId, [...entries]])) };
404
- }
405
-
406
- const WORKER_ENTRYPOINT = fileURLToPath(new URL('../bin/lattice-scripted-worker.mjs', import.meta.url));
407
-
408
- /**
409
- * worker processを起こす(ADR 0143 Decision 9)。
410
- *
411
- * `detached`で独立process groupへ置く。controllerと同じgroupに居ると、直接OS観測が
412
- * 「未記録process group memberを検出」として落とす——正しく落ちるので、ここを外さない。
413
- *
414
- * 起動直後にprocess start identityを観測して束ねる。pidは再利用されうるので、
415
- * pidだけでは「同じprocessか」を後から言えない。
416
- */
417
- async function spawnScriptedWorker({ packet, worktreePath, extraWrites, holdMs,
418
- controllerId, runDir }) {
419
- const job = {
420
- schema: 'lattice.scripted_worker_job.v1',
421
- packet: structuredClone(packet),
422
- worktree_path: worktreePath,
423
- extra_writes: [...extraWrites],
424
- hold_ms: holdMs,
425
- };
426
- const jobPath = path.join(runDir, 'controllers', controllerId, 'jobs',
427
- `${packet.packet_digest}.json`);
428
- await durableReplaceBytes(jobPath, Buffer.from(`${canonicalizeArtifact(job)}\n`));
429
- const child = spawn(process.execPath, [WORKER_ENTRYPOINT, jobPath], {
430
- detached: true, stdio: ['ignore', 'pipe', 'pipe'], cwd: worktreePath,
431
- });
432
- if (!Number.isSafeInteger(child.pid)) {
433
- fail('SCRIPTED_EXECUTION_FAILED', 'worker processを起こせない');
434
- }
435
- const identity = await observeManagedProcessStartIdentity(child.pid);
436
- let stdout = '';
437
- let stderr = '';
438
- child.stdout.on('data', (chunk) => { stdout += chunk.toString('utf8'); });
439
- child.stderr.on('data', (chunk) => { stderr += chunk.toString('utf8'); });
440
- const completed = new Promise((resolve, reject) => {
441
- child.once('error', reject);
442
- child.once('close', (code, signal) => {
443
- const line = stdout.split('\n').find((entry) => entry.includes('scripted_worker_result'));
444
- let parsed = null;
445
- try { parsed = line === undefined ? null : JSON.parse(line); } catch { parsed = null; }
446
- if (parsed?.schema !== 'lattice.scripted_worker_result.v1') {
447
- reject(new TypeError(`worker結果を読めない (${signal ?? code}): ${stderr.trim() || '(出力なし)'}`));
448
- return;
449
- }
450
- resolve({ observedDiff: parsed.observed_diff, checkpointDigest: parsed.checkpoint_digest });
451
- });
452
- });
453
- return {
454
- pid: child.pid,
455
- process_group_id: child.pid,
456
- process_start_identity: identity,
457
- child,
458
- completed,
459
- };
460
- }
461
-
462
- export async function createScriptedAdapterController({
463
- bootstrap,
464
- runDir,
465
- repoRoot,
466
- controllerSessionNonce = randomBytes(32).toString('hex'),
467
- }) {
468
- if (!validateBootstrap(bootstrap)) {
469
- fail('SCRIPTED_BOOTSTRAP_INVALID', 'controller bootstrapが不正');
470
- }
471
- const canonicalRunDir = await realpath(runDir);
472
- const canonicalRepoRoot = await realpath(repoRoot);
473
- if (path.resolve(canonicalRunDir, '..', '..', '..') !== canonicalRepoRoot) {
474
- fail('SCRIPTED_BOOTSTRAP_INVALID', 'run storeとrepo rootのbindingが不正');
475
- }
476
- const controllerId = path.basename(bootstrap.controller_socket_ref, '.sock');
477
- if (!controllerId.startsWith('scripted-')
478
- || typeof controllerSessionNonce !== 'string'
479
- || controllerSessionNonce.length < 32) {
480
- fail('SCRIPTED_BOOTSTRAP_INVALID', 'scripted controller identityが不正');
481
- }
482
- const capabilities = sign({
483
- schema: 'lattice.runtime_adapter_capabilities.v1',
484
- operations: [...CONTROLLER_OPERATIONS],
485
- process_observation: true,
486
- worktree_fingerprint: true,
487
- staged_write_lease: true,
488
- durable_dispatch: true,
489
- capabilities_digest: '',
490
- }, 'capabilities_digest');
491
- if (!validateRuntimeAdapterCapabilities(capabilities)) {
492
- fail('SCRIPTED_CONTROLLER_INVALID', 'capabilities生成に失敗した');
493
- }
494
- const heartbeat = sign({
495
- schema: 'lattice.runtime_heartbeat_policy.v1',
496
- interval_ms: 1_000,
497
- ttl_ms: 10_000,
498
- disconnect_revokes_immediately: true,
499
- policy_digest: '',
500
- }, 'policy_digest');
501
- if (!validateRuntimeHeartbeatPolicy(heartbeat)) {
502
- fail('SCRIPTED_CONTROLLER_INVALID', 'heartbeat policy生成に失敗した');
503
- }
504
- const descriptor = sign({
505
- schema: 'lattice.runtime_adapter_controller_descriptor.v1',
506
- controller_id: controllerId,
507
- adapter_kind: 'scripted',
508
- pid: process.pid,
509
- process_start_identity: await observeManagedProcessStartIdentity(process.pid),
510
- socket_ref: bootstrap.controller_socket_ref,
511
- controller_session_nonce_digest: digestArtifact(controllerSessionNonce),
512
- capabilities,
513
- heartbeat,
514
- descriptor_digest: '',
515
- }, 'descriptor_digest');
516
- const sessionNonceDigest = digestArtifact(bootstrap.supervisor_session_nonce);
517
- const behavior = await readScriptedBehavior(canonicalRepoRoot);
518
- const stagedLeases = new Map();
519
- const armedLeases = new Map();
520
- const preparedPackets = new Map();
521
- const tasks = new Map();
522
- const todoToHandle = new Map();
523
- let currentEpoch = 1;
524
- let registrationDigest = null;
525
-
526
- /** dispatch応答が運ぶworker process。誰を止めればよいかをsupervisorへ名指しする。 */
527
- /**
528
- * 起こしたworker processを畳む。
529
- *
530
- * **SIGKILLでなければ届かない。** barrierで止めたworkerはSIGSTOP状態にあり、
531
- * SIGTERMは継続されるまで配送されない。放置すると、runもcontrollerもrepoも消えた後まで
532
- * 停止したままのprocessが残り続ける(自分では終われない)。
533
- */
534
- const reapWorkers = () => {
535
- for (const task of tasks.values()) {
536
- const pid = task.worker?.pid;
537
- if (!Number.isSafeInteger(pid)) continue;
538
- try { process.kill(pid, 'SIGKILL'); } catch { /* 既に終わっている */ }
539
- }
540
- };
541
-
542
- const workerProcessOf = (task) => ({
543
- pid: task.worker.pid,
544
- process_group_id: task.worker.process_group_id,
545
- process_start_identity: structuredClone(task.worker.process_start_identity),
546
- });
547
-
548
- const persistReceipt = async (receipt) => {
549
- const payloadDigest = digestArtifact(receipt);
550
- const receiptPath = path.join(
551
- canonicalRunDir,
552
- 'controllers',
553
- controllerId,
554
- 'receipts',
555
- `${payloadDigest}.json`,
556
- );
557
- await durableReplaceBytes(
558
- receiptPath,
559
- Buffer.from(`${canonicalizeArtifact(receipt)}\n`),
560
- );
561
- return payloadDigest;
562
- };
563
-
564
- const responseFor = async (operation, request) => {
565
- if (!validateControllerRequest(operation, request)) {
566
- fail('SCRIPTED_REQUEST_INVALID', `${operation} requestがprotocol contractを満たさない`);
567
- }
568
- if (registrationDigest !== null && request.registration_digest !== registrationDigest) {
569
- fail('SCRIPTED_REGISTRATION_MISMATCH', 'controller registration digestが変化した');
570
- }
571
- registrationDigest = request.registration_digest;
572
- if (operation === 'prepare') {
573
- const packet = request.executor_packet;
574
- const lease = request.staged_lease;
575
- if (lease.run_id !== bootstrap.run_id || lease.todo_id !== packet.todo_id
576
- || lease.plan_epoch !== packet.plan_epoch || lease.packet_digest !== packet.packet_digest
577
- || lease.controller_registration_digest !== request.registration_digest
578
- || lease.supervisor_session_nonce_digest !== sessionNonceDigest) {
579
- fail('SCRIPTED_LEASE_REJECTED', 'prepare packetとstaged leaseのbindingが不正');
580
- }
581
- const prior = stagedLeases.get(lease.lease_digest);
582
- if (prior !== undefined
583
- && canonicalizeArtifact(prior) !== canonicalizeArtifact(lease)) {
584
- fail('SCRIPTED_LEASE_REJECTED', '同じdigestのstaged lease bytesが変化した');
585
- }
586
- stagedLeases.set(lease.lease_digest, structuredClone(lease));
587
- preparedPackets.set(packet.packet_digest, structuredClone(packet));
588
- currentEpoch = packet.plan_epoch;
589
- const ack = sign({
590
- schema: 'lattice.adapter_prepare_ack.v1',
591
- ack_id: `prepare-${packet.packet_digest.slice(0, 24)}`,
592
- registration_digest: request.registration_digest,
593
- controller_id: controllerId,
594
- run_id: bootstrap.run_id,
595
- todo_id: packet.todo_id,
596
- plan_epoch: packet.plan_epoch,
597
- packet_digest: packet.packet_digest,
598
- staged_lease_digest: lease.lease_digest,
599
- supervisor_session_nonce_digest: sessionNonceDigest,
600
- ack_digest: '',
601
- }, 'ack_digest');
602
- return sign({
603
- schema: 'lattice.adapter_prepare_response.v1',
604
- request_id: request.request_id,
605
- prepare_ack: ack,
606
- staged_lease_digest: lease.lease_digest,
607
- response_digest: '',
608
- }, 'response_digest');
609
- }
610
- if (operation === 'activate') {
611
- if (request.staged_lease_digests.some((digest) => !stagedLeases.has(digest))) {
612
- fail('SCRIPTED_LEASE_REJECTED', 'activateが未知のstaged leaseを含む');
613
- }
614
- const epochs = new Set(request.staged_lease_digests
615
- .map((digest) => stagedLeases.get(digest).plan_epoch));
616
- if (epochs.size > 1) fail('SCRIPTED_LEASE_REJECTED', 'activate leaseのepochが混在する');
617
- if (epochs.size === 1) currentEpoch = [...epochs][0];
618
- const ack = sign({
619
- schema: 'lattice.adapter_ready_ack.v1',
620
- ack_id: `ready-${request.activation_digest.slice(0, 24)}`,
621
- registration_digest: request.registration_digest,
622
- controller_id: controllerId,
623
- run_id: bootstrap.run_id,
624
- plan_epoch: currentEpoch,
625
- activation_digest: request.activation_digest,
626
- staged_lease_digests: [...request.staged_lease_digests],
627
- supervisor_session_nonce_digest: sessionNonceDigest,
628
- ack_digest: '',
629
- }, 'ack_digest');
630
- return sign({
631
- schema: 'lattice.adapter_activate_response.v1',
632
- request_id: request.request_id,
633
- ready_ack: ack,
634
- observed_pointer_digest: request.committed_epoch_digest,
635
- response_digest: '',
636
- }, 'response_digest');
637
- }
638
- if (operation === 'release') {
639
- const armed = [];
640
- for (const stagedDigest of request.staged_lease_digests) {
641
- const staged = stagedLeases.get(stagedDigest);
642
- if (staged === undefined) {
643
- fail('SCRIPTED_LEASE_REJECTED', 'releaseが未知のstaged leaseを含む');
644
- }
645
- const lease = armStagedWriteLease(staged, {
646
- releaseBarrierDigest: request.release_barrier_digest,
647
- gateGeneration: request.gate_generation,
648
- });
649
- stagedLeases.delete(stagedDigest);
650
- armedLeases.set(lease.lease_digest, lease);
651
- armed.push(lease.lease_digest);
652
- }
653
- armed.sort();
654
- const ack = sign({
655
- schema: 'lattice.adapter_release_ack.v1',
656
- ack_id: `release-${request.release_barrier_digest.slice(0, 24)}`,
657
- registration_digest: request.registration_digest,
658
- controller_id: controllerId,
659
- run_id: bootstrap.run_id,
660
- plan_epoch: currentEpoch,
661
- release_barrier_digest: request.release_barrier_digest,
662
- gate_generation: request.gate_generation,
663
- armed_lease_digests: armed,
664
- supervisor_session_nonce_digest: sessionNonceDigest,
665
- ack_digest: '',
666
- }, 'ack_digest');
667
- return sign({
668
- schema: 'lattice.adapter_release_response.v1',
669
- request_id: request.request_id,
670
- release_ack: ack,
671
- armed_lease_digests: armed,
672
- observed_gate_generation: request.gate_generation,
673
- response_digest: '',
674
- }, 'response_digest');
675
- }
676
- if (operation === 'dispatch') {
677
- const { packet, write_lease: writeLease } = request;
678
- if (!validateExecutorPacket(packet) || !validateArmedWriteLease(writeLease)
679
- || !armedLeases.has(writeLease.lease_digest)
680
- || writeLease.run_id !== bootstrap.run_id
681
- || writeLease.todo_id !== packet.todo_id
682
- || writeLease.plan_epoch !== packet.plan_epoch
683
- || writeLease.packet_digest !== packet.packet_digest
684
- || writeLease.controller_registration_digest !== request.registration_digest
685
- || writeLease.supervisor_session_nonce_digest !== sessionNonceDigest) {
686
- fail('SCRIPTED_PACKET_REJECTED', 'dispatch packetとarmed leaseのbindingが不正');
687
- }
688
- const priorHandle = todoToHandle.get(packet.todo_id);
689
- if (priorHandle !== undefined) {
690
- const prior = tasks.get(priorHandle);
691
- if (prior.packet.packet_digest === packet.packet_digest
692
- && prior.lease.lease_digest === writeLease.lease_digest) {
693
- return sign({
694
- schema: 'lattice.adapter_dispatch_response.v2',
695
- request_id: request.request_id,
696
- executor_handle: prior.executorHandle,
697
- worktree_id: prior.worktreeId,
698
- packet_digest: packet.packet_digest,
699
- lease_digest: writeLease.lease_digest,
700
- worker_process: workerProcessOf(prior),
701
- response_digest: '',
702
- }, 'response_digest');
703
- }
704
- if (prior.state !== 'held') {
705
- fail('SCRIPTED_DUPLICATE_DISPATCH', '同じTODOへ異なるpacketをdispatchできない');
706
- }
707
- // 対象限定holdで失効したattemptだけを畳み、同じTODOのsuccessorを起動する。
708
- // closure外attemptはtodoToHandleを保持するので、この経路へ入らない。
709
- try { process.kill(-prior.worker.process_group_id, 'SIGKILL'); }
710
- catch (error) {
711
- if (error?.code !== 'ESRCH') {
712
- fail('SCRIPTED_EXECUTION_FAILED', '旧attemptを終了できない', {
713
- pid: prior.worker.pid, reason: String(error?.code ?? error?.message ?? error),
714
- });
715
- }
716
- }
717
- prior.state = 'superseded';
718
- todoToHandle.delete(packet.todo_id);
719
- }
720
- await readAndValidateGate(canonicalRunDir, writeLease);
721
- // canonical repoではなく自分の木へ書く。共有rootでは、書き込みの帰属をrootから
722
- // 決められないので早期警報もcheckpoint判定も成立しない。木はsupervisorが
723
- // dispatch前に用意する(監視を張るのがdispatchより前でなければ観測を取り逃す)。
724
- const worktreePath = scriptedWorktreePath({ runDir: canonicalRunDir, packet });
725
- try {
726
- const info = await lstat(worktreePath);
727
- if (!info.isDirectory()) throw new TypeError('not a directory');
728
- } catch {
729
- fail('SCRIPTED_EXECUTION_FAILED', 'supervisorが用意したworktreeが無い', {
730
- worktree_path: worktreePath,
731
- });
732
- }
733
- const executorHandle = `scripted-${packet.packet_digest.slice(0, 24)}`;
734
- const worktreeId = scriptedWorktreeId(packet);
735
- // **dispatchで作業を終わらせない。** 終わらせると、走行中のTODOが1つも存在しない
736
- // runになり、実行時の観測——書き込みを見て、他のworkerとの重なりを掴む——が
737
- // 原理的に成立しない。dispatchは作業を起こして返り、完了はobserveが拾う。
738
- const progress = {
739
- schema: 'lattice.scripted_adapter_progress.v1',
740
- run_id: bootstrap.run_id,
741
- todo_id: packet.todo_id,
742
- executor_handle: executorHandle,
743
- worktree_id: worktreeId,
744
- state: 'running',
745
- };
746
- const worktreeReal = await realpath(worktreePath);
747
- // **workerは別processで起こす。** controller自身のprocessで作業すると、holdが
748
- // 要求する静止を証明できない——止めれば応答できず、止めなければ証明できない。
749
- // `detached`で独立process groupへ置く。同じgroupにcontrollerが居ると、直接OS観測が
750
- // 「未記録process group memberを検出」として正しく落とす。
751
- const spawned = await spawnScriptedWorker({
752
- packet, worktreePath: worktreeReal,
753
- extraWrites: behavior.extra_writes_by_todo[packet.todo_id] ?? behavior.extra_writes,
754
- holdMs: behavior.hold_ms, controllerId, runDir: canonicalRunDir,
755
- });
756
- const task = {
757
- packet: structuredClone(packet),
758
- lease: structuredClone(writeLease),
759
- executorHandle,
760
- worktreeId,
761
- worktreePath: worktreeReal,
762
- receipt: null,
763
- payloadDigest: digestArtifact(progress),
764
- state: 'running',
765
- failure: null,
766
- settled: null,
767
- worker: spawned,
768
- };
769
- tasks.set(executorHandle, task);
770
- todoToHandle.set(packet.todo_id, executorHandle);
771
- task.settled = (async () => {
772
- try {
773
- const { observedDiff, checkpointDigest } = await spawned.completed;
774
- const receipt = sign({
775
- schema: 'lattice.executor_receipt.v1',
776
- receipt_id: `receipt-${packet.packet_digest.slice(0, 24)}`,
777
- executor_handle: executorHandle,
778
- worktree_id: worktreeId,
779
- base_sha: packet.base_sha,
780
- plan_epoch: packet.plan_epoch,
781
- packet_digest: packet.packet_digest,
782
- todo_id: packet.todo_id,
783
- checkpoint_digest: checkpointDigest,
784
- observed_diff: observedDiff,
785
- receipt_digest: '',
786
- }, 'receipt_digest');
787
- if (!validateExecutorReceipt(receipt)) {
788
- throw new TypeError('生成receiptがexecutor contractを満たさない');
789
- }
790
- task.payloadDigest = await persistReceipt(receipt);
791
- task.receipt = receipt;
792
- task.state = 'terminal';
793
- } catch (error) {
794
- // 失敗を走行中のまま放置しない。observeがtypedに落ちる形へ残す。
795
- task.failure = String(error?.detail?.reason ?? error?.message ?? error);
796
- }
797
- })();
798
- return sign({
799
- schema: 'lattice.adapter_dispatch_response.v2',
800
- request_id: request.request_id,
801
- executor_handle: executorHandle,
802
- worktree_id: worktreeId,
803
- packet_digest: packet.packet_digest,
804
- lease_digest: writeLease.lease_digest,
805
- worker_process: workerProcessOf(task),
806
- response_digest: '',
807
- }, 'response_digest');
808
- }
809
- if (operation === 'observe') {
810
- const task = tasks.get(request.executor_handle);
811
- if (task === undefined
812
- || task.packet.plan_epoch !== request.expected_epoch
813
- || task.lease.lease_digest !== request.expected_lease_digest) {
814
- fail('SCRIPTED_OBSERVATION_REJECTED', 'observe bindingがdispatch記録と一致しない');
815
- }
816
- // 走行中に落ちた作業を「まだ走っている」と言い続けない。
817
- if (task.failure !== null) {
818
- fail('SCRIPTED_EXECUTION_FAILED', 'worker実行が失敗した', { reason: task.failure });
819
- }
820
- const observation = sign({
821
- schema: 'lattice.adapter_observation.v1',
822
- state: task.state,
823
- executor_handle: task.executorHandle,
824
- plan_epoch: task.packet.plan_epoch,
825
- lease_digest: task.lease.lease_digest,
826
- payload_digest: task.payloadDigest,
827
- observation_digest: '',
828
- }, 'observation_digest');
829
- return sign({
830
- schema: 'lattice.adapter_observe_response.v1',
831
- request_id: request.request_id,
832
- observation,
833
- observation_digest: observation.observation_digest,
834
- response_digest: '',
835
- }, 'response_digest');
836
- }
837
- if (operation === 'inventory') {
838
- const runningBindings = [...tasks.values()]
839
- .filter((task) => task.state === 'running')
840
- .map((task) => ({
841
- todo_id: task.packet.todo_id,
842
- executor_handle: task.executorHandle,
843
- worktree_id: task.worktreeId,
844
- plan_epoch: task.packet.plan_epoch,
845
- packet_digest: task.packet.packet_digest,
846
- write_lease_id: task.lease.lease_id,
847
- controller_registration_digest: request.registration_digest,
848
- }))
849
- .sort((left, right) => left.todo_id.localeCompare(right.todo_id));
850
- return sign({
851
- schema: 'lattice.adapter_running_inventory_response.v1',
852
- request_id: request.request_id,
853
- running_bindings: runningBindings,
854
- inventory_digest: digestArtifact(runningBindings),
855
- response_digest: '',
856
- }, 'response_digest');
857
- }
858
- if (operation === 'barrier') {
859
- const acks = [];
860
- for (const binding of request.running_bindings) {
861
- const task = tasks.get(binding.executor_handle);
862
- if (task === undefined || task.packet.todo_id !== binding.todo_id) {
863
- fail('SCRIPTED_BARRIER_REJECTED', 'barrierが未知のrunning bindingを含む');
864
- }
865
- // **barrierは静止の宣言である。** worker processを実際に止め、止まった木を読む。
866
- // 走行中の作業を残したままackを返すと、「止まった」と言いながらworktreeが動き続ける。
867
- try {
868
- process.kill(task.worker.pid, 'SIGSTOP');
869
- } catch (error) {
870
- fail('SCRIPTED_BARRIER_REJECTED', 'worker processを止められない', {
871
- pid: task.worker.pid, reason: String(error?.code ?? error?.message ?? error),
872
- });
873
- }
874
- task.state = 'held';
875
- // supervisorも同じ観測を独立に行い、3つのdigestの一致を要求する。**こちらが別の形で
876
- // 作ると、両者が別のものを見ていても気づけない。** 形はdirect OS observerの契約に
877
- // 揃え、入力(自分のprocess・自分の木)だけを独立に観測する。
878
- const checkpoint = await captureWorktreeDiff({
879
- worktreePath: task.worktreePath, baseSha: task.packet.base_sha,
880
- });
881
- const processObservationDigest = digestArtifact({
882
- schema: 'lattice.direct_process_observation.v2',
883
- root: {
884
- pid: task.worker.pid,
885
- parent_pid: process.pid,
886
- process_start_identity_digest: task.worker.process_start_identity.identity_digest,
887
- process_group_id: task.worker.process_group_id,
888
- state: 'stopped',
889
- },
890
- children: [],
891
- process_group_id: task.worker.process_group_id,
892
- quiesced: true,
893
- });
894
- const worktreeFingerprintDigest = digestArtifact({
895
- schema: 'lattice.direct_worktree_fingerprint.v1',
896
- worktree_id: task.worktreeId,
897
- worktree_realpath: task.worktreePath,
898
- checkpoint_digest: checkpoint.checkpoint_digest,
899
- });
900
- acks.push(sign({
901
- schema: 'lattice.executor_quiescence_ack.v1',
902
- ack_id: `barrier-${binding.packet_digest.slice(0, 24)}`,
903
- run_id: bootstrap.run_id,
904
- todo_id: binding.todo_id,
905
- executor_handle: binding.executor_handle,
906
- worktree_id: binding.worktree_id,
907
- plan_epoch: binding.plan_epoch,
908
- packet_digest: binding.packet_digest,
909
- write_lease_id: binding.write_lease_id,
910
- barrier_control_digest: request.barrier_control_digest,
911
- final_checkpoint_digest: checkpoint.checkpoint_digest,
912
- process_observation_digest: processObservationDigest,
913
- worktree_fingerprint_digest: worktreeFingerprintDigest,
914
- supervisor_session_nonce_digest: sessionNonceDigest,
915
- ack_digest: '',
916
- }, 'ack_digest'));
917
- }
918
- return sign({
919
- schema: 'lattice.adapter_barrier_response.v1',
920
- request_id: request.request_id,
921
- barrier_id: request.barrier_id,
922
- quiescence_acks: acks,
923
- response_digest: '',
924
- }, 'response_digest');
925
- }
926
- if (operation === 'rebind') {
927
- const rebind = request.rebind_packet;
928
- const task = tasks.get(rebind.executor_handle);
929
- if (task === undefined || task.worktreeId !== rebind.worktree_id
930
- || task.packet.todo_id !== rebind.todo_id) {
931
- fail('SCRIPTED_REBIND_REJECTED', 'rebind packetが既存taskへ帰属しない');
932
- }
933
- const staged = request.staged_lease;
934
- if (staged.todo_id !== rebind.todo_id || staged.plan_epoch !== rebind.new_plan_epoch
935
- || staged.packet_digest !== rebind.packet_digest) {
936
- fail('SCRIPTED_REBIND_REJECTED', 'rebind packetとstaged leaseが一致しない');
937
- }
938
- stagedLeases.set(staged.lease_digest, structuredClone(staged));
939
- task.packet.plan_epoch = rebind.new_plan_epoch;
940
- currentEpoch = rebind.new_plan_epoch;
941
- const ack = sign({
942
- schema: 'lattice.executor_epoch_rebind_ack.v1',
943
- ack_id: `rebind-${rebind.packet_digest.slice(0, 24)}`,
944
- run_id: bootstrap.run_id,
945
- todo_id: rebind.todo_id,
946
- executor_handle: rebind.executor_handle,
947
- worktree_id: rebind.worktree_id,
948
- predecessor_epoch: rebind.new_plan_epoch - 1,
949
- successor_epoch: rebind.new_plan_epoch,
950
- // **holdされたworkerにreceiptは無い。** 作業を終えていないから止められているので、
951
- // 完了の記録を前提にできない。前任packetのdigestはdispatch時のpacketが持っている。
952
- predecessor_packet_digest: task.packet.packet_digest,
953
- rebind_packet_digest: rebind.packet_digest,
954
- new_write_lease_id: staged.lease_id,
955
- supervisor_session_nonce_digest: sessionNonceDigest,
956
- ack_digest: '',
957
- }, 'ack_digest');
958
- return sign({
959
- schema: 'lattice.adapter_rebind_response.v1',
960
- request_id: request.request_id,
961
- rebind_ack: ack,
962
- staged_lease_digest: staged.lease_digest,
963
- response_digest: '',
964
- }, 'response_digest');
965
- }
966
- if (operation === 'revoke') {
967
- const available = new Set([...stagedLeases.keys(), ...armedLeases.keys()]);
968
- if (request.lease_digests.some((digest) => !available.has(digest))) {
969
- fail('SCRIPTED_REVOKE_REJECTED', 'revokeが未知のleaseを含む');
970
- }
971
- for (const leaseDigest of request.lease_digests) {
972
- stagedLeases.delete(leaseDigest);
973
- armedLeases.delete(leaseDigest);
974
- }
975
- for (const task of tasks.values()) {
976
- if (request.lease_digests.includes(task.lease.lease_digest)) task.state = 'held';
977
- }
978
- return sign({
979
- schema: 'lattice.adapter_revoke_response.v1',
980
- request_id: request.request_id,
981
- revoked_lease_digests: [...request.lease_digests],
982
- residual_processes: [],
983
- response_digest: '',
984
- }, 'response_digest');
985
- }
986
- fail('SCRIPTED_UNKNOWN_OPERATION', `未知のcontroller operation: ${operation}`);
987
- };
988
-
989
- return Object.freeze({
990
- bootstrap: structuredClone(bootstrap),
991
- controllerId,
992
- controllerSessionNonce,
993
- descriptor: structuredClone(descriptor),
994
- heartbeat,
995
- reapWorkers,
996
- leaseSetDigest() {
997
- return digestArtifact([...stagedLeases.keys(), ...armedLeases.keys()].sort());
998
- },
999
- handshake(request) {
1000
- if (!validateHandshakeRequest(request, bootstrap)) {
1001
- fail('SCRIPTED_HANDSHAKE_INVALID', 'handshake requestがbootstrapへbindしない');
1002
- }
1003
- return sign({
1004
- schema: 'lattice.adapter_controller_handshake_response.v1',
1005
- request_id: request.request_id,
1006
- run_id: bootstrap.run_id,
1007
- challenge_digest: digestArtifact(request.challenge),
1008
- controller_session_nonce: controllerSessionNonce,
1009
- descriptor,
1010
- response_digest: '',
1011
- }, 'response_digest');
1012
- },
1013
- async request(operation, request) {
1014
- if (!CONTROLLER_OPERATIONS.includes(operation)) {
1015
- fail('SCRIPTED_UNKNOWN_OPERATION', `未知のcontroller operation: ${operation}`);
1016
- }
1017
- return responseFor(operation, request);
1018
- },
1019
- });
1020
- }
1021
-
1022
- async function readBootstrapFd(fd = 3) {
1023
- const bytes = readFileSync(fd);
1024
- if (bytes.length === 0 || bytes.length > MAX_DOCUMENT_BYTES) {
1025
- fail('SCRIPTED_BOOTSTRAP_INVALID', 'bootstrap sizeが不正');
1026
- }
1027
- const text = bytes.toString('utf8');
1028
- if (!text.endsWith('\n') || text.indexOf('\n') !== text.length - 1) {
1029
- fail('SCRIPTED_BOOTSTRAP_INVALID', 'bootstrapはJSON 1 documentでなければならない');
1030
- }
1031
- let value;
1032
- try {
1033
- value = JSON.parse(text);
1034
- } catch {
1035
- fail('SCRIPTED_BOOTSTRAP_INVALID', 'bootstrap JSONが不正');
1036
- }
1037
- return value;
1038
- }
1039
-
1040
- export async function runScriptedAdapterController({
1041
- runDir = process.cwd(),
1042
- bootstrap = null,
1043
- stderr = process.stderr,
1044
- } = {}) {
1045
- const resolvedBootstrap = bootstrap ?? await readBootstrapFd();
1046
- const canonicalRunDir = await realpath(runDir);
1047
- const repoRoot = await realpath(path.resolve(canonicalRunDir, '..', '..', '..'));
1048
- const controller = await createScriptedAdapterController({
1049
- bootstrap: resolvedBootstrap,
1050
- runDir: canonicalRunDir,
1051
- repoRoot,
1052
- });
1053
- const socketPath = path.join(canonicalRunDir, resolvedBootstrap.controller_socket_ref);
1054
- const controllerDirectory = path.dirname(socketPath);
1055
- await mkdir(controllerDirectory, { recursive: true, mode: 0o700 });
1056
- await chmod(controllerDirectory, 0o700);
1057
- let heartbeatTimer = null;
1058
- let persistentSocket = null;
1059
- let heartbeatSequence = 0;
1060
- let registrationDigest = null;
1061
- const send = (socket, document) => {
1062
- socket.write(`${canonicalizeArtifact(document)}\n`);
1063
- };
1064
- const startHeartbeat = (socket, digest) => {
1065
- persistentSocket = socket;
1066
- registrationDigest = digest;
1067
- if (heartbeatTimer !== null) return;
1068
- heartbeatTimer = setInterval(() => {
1069
- if (persistentSocket === null || persistentSocket.destroyed) return;
1070
- heartbeatSequence += 1;
1071
- send(persistentSocket, sign({
1072
- schema: 'lattice.adapter_controller_heartbeat.v1',
1073
- controller_id: controller.controllerId,
1074
- registration_digest: registrationDigest,
1075
- supervisor_session_nonce: resolvedBootstrap.supervisor_session_nonce,
1076
- sequence: heartbeatSequence,
1077
- lease_set_digest: controller.leaseSetDigest(),
1078
- heartbeat_digest: '',
1079
- }, 'heartbeat_digest'));
1080
- }, controller.heartbeat.interval_ms);
1081
- heartbeatTimer.unref();
1082
- };
1083
- const server = net.createServer((socket) => {
1084
- socket.setEncoding('utf8');
1085
- let buffer = '';
1086
- let processing = Promise.resolve();
1087
- socket.on('data', (chunk) => {
1088
- buffer += chunk;
1089
- if (Buffer.byteLength(buffer, 'utf8') > MAX_DOCUMENT_BYTES) {
1090
- send(socket, controllerErrorArtifact(
1091
- new ScriptedAdapterControllerError(
1092
- 'SCRIPTED_DOCUMENT_TOO_LARGE',
1093
- 'controller document上限を超えた',
1094
- ),
1095
- ));
1096
- socket.destroy();
1097
- return;
1098
- }
1099
- while (buffer.includes('\n')) {
1100
- const newline = buffer.indexOf('\n');
1101
- const line = buffer.slice(0, newline);
1102
- buffer = buffer.slice(newline + 1);
1103
- processing = processing.then(async () => {
1104
- let request;
1105
- try {
1106
- request = JSON.parse(line);
1107
- if (request.schema === 'lattice.adapter_controller_handshake_request.v1') {
1108
- send(socket, controller.handshake(request));
1109
- return;
1110
- }
1111
- const operation = REQUEST_SCHEMA_TO_OPERATION[request.schema];
1112
- if (operation === undefined) {
1113
- fail('SCRIPTED_UNKNOWN_OPERATION', `未知のrequest schema: ${String(request.schema)}`);
1114
- }
1115
- const response = await controller.request(operation, request);
1116
- startHeartbeat(socket, request.registration_digest);
1117
- send(socket, response);
1118
- } catch (error) {
1119
- send(socket, controllerErrorArtifact(error, request?.request_id));
1120
- stderr.write(`${canonicalizeArtifact(controllerErrorArtifact(error, request?.request_id))}\n`);
1121
- socket.destroy();
1122
- }
1123
- });
1124
- }
1125
- });
1126
- socket.on('close', () => {
1127
- if (socket === persistentSocket) {
1128
- clearInterval(heartbeatTimer);
1129
- heartbeatTimer = null;
1130
- persistentSocket = null;
1131
- }
1132
- });
1133
- });
1134
- server.on('error', (error) => {
1135
- stderr.write(`${canonicalizeArtifact(controllerErrorArtifact(error))}\n`);
1136
- });
1137
- await new Promise((resolve, reject) => {
1138
- server.once('error', reject);
1139
- // AF_UNIXのpath長上限へ一時repoのabsolute prefixを混入させない。supervisorも
1140
- // run storeをcwdにして同じ固定relative refへ接続する。
1141
- server.listen(resolvedBootstrap.controller_socket_ref, () => {
1142
- server.off('error', reject);
1143
- resolve();
1144
- });
1145
- });
1146
- await chmod(socketPath, 0o600);
1147
- let closed = false;
1148
- const close = async () => {
1149
- if (closed) return;
1150
- closed = true;
1151
- // 起こしたworkerを道連れにする。停止中のworkerは自分では終われないので、
1152
- // ここで畳まないとrunもrepoも消えた後まで残り続ける。
1153
- controller.reapWorkers();
1154
- clearInterval(heartbeatTimer);
1155
- persistentSocket?.destroy();
1156
- await new Promise((resolve) => server.close(resolve));
1157
- await rm(socketPath, { force: true });
1158
- };
1159
- return Object.freeze({ controller, socketPath, close });
1160
- }
1
+ import net from 'node:net';
2
+ import { createHash, randomBytes } from 'node:crypto';
3
+ import { execFile, spawn } from 'node:child_process';
4
+ import { constants as fsConstants, readFileSync } from 'node:fs';
5
+ import {
6
+ chmod,
7
+ lstat,
8
+ mkdir,
9
+ open,
10
+ readFile,
11
+ realpath,
12
+ rename,
13
+ rm,
14
+ } from 'node:fs/promises';
15
+ import path from 'node:path';
16
+ import { fileURLToPath } from 'node:url';
17
+ import { promisify } from 'node:util';
18
+
19
+ import { canonicalizeArtifact, digestArtifact } from './artifact-contracts.mjs';
20
+ import {
21
+ armStagedWriteLease,
22
+ CONTROLLER_OPERATIONS,
23
+ validateArmedWriteLease,
24
+ validateControllerRequest,
25
+ validateRuntimeAdapterCapabilities,
26
+ validateRuntimeHeartbeatPolicy,
27
+ } from './runtime-controller-protocol.mjs';
28
+ import {
29
+ selfDigest,
30
+ validateExecutorPacket,
31
+ validateExecutorReceipt,
32
+ } from './runtime-contracts.mjs';
33
+ import { captureWorktreeDiff } from './runtime-diff-observer.mjs';
34
+ import { validateSupervisorWriteGate } from './runtime-gate-store.mjs';
35
+ import { observeManagedProcessStartIdentity } from './runtime-managed-supervisor.mjs';
36
+ import { scriptedWorktreeId, scriptedWorktreePath } from './runtime-scripted-worktree.mjs';
37
+
38
+ const MAX_DOCUMENT_BYTES = 8_388_608;
39
+ const SHA256 = /^[0-9a-f]{64}$/u;
40
+ const ID = /^[0-9A-Za-z](?:[0-9A-Za-z._-]{0,127})$/u;
41
+ const execFileAsync = promisify(execFile);
42
+ const REQUEST_SCHEMA_TO_OPERATION = Object.freeze(Object.fromEntries([
43
+ ['lattice.adapter_dispatch_request.v1', 'dispatch'],
44
+ ['lattice.adapter_observe_request.v1', 'observe'],
45
+ ['lattice.adapter_running_inventory_request.v1', 'inventory'],
46
+ ['lattice.adapter_barrier_request.v1', 'barrier'],
47
+ ['lattice.adapter_rebind_request.v1', 'rebind'],
48
+ ['lattice.adapter_prepare_request.v1', 'prepare'],
49
+ ['lattice.adapter_activate_request.v1', 'activate'],
50
+ ['lattice.adapter_release_request.v1', 'release'],
51
+ ['lattice.adapter_revoke_request.v1', 'revoke'],
52
+ ]));
53
+
54
+ export class ScriptedAdapterControllerError extends Error {
55
+ constructor(code, message, detail = {}) {
56
+ super(message);
57
+ this.name = 'ScriptedAdapterControllerError';
58
+ this.code = code;
59
+ this.detail = detail;
60
+ }
61
+ }
62
+
63
+ function fail(code, message, detail) {
64
+ throw new ScriptedAdapterControllerError(code, message, detail);
65
+ }
66
+
67
+ function plain(value) {
68
+ return value !== null && typeof value === 'object' && !Array.isArray(value)
69
+ && Object.getPrototypeOf(value) === Object.prototype;
70
+ }
71
+
72
+ function exact(value, fields) {
73
+ if (!plain(value)) return false;
74
+ const actual = Object.keys(value).sort();
75
+ const expected = [...fields].sort();
76
+ return actual.length === expected.length
77
+ && actual.every((field, index) => field === expected[index]);
78
+ }
79
+
80
+ function sign(value, field) {
81
+ value[field] = '';
82
+ value[field] = selfDigest(value, field);
83
+ return value;
84
+ }
85
+
86
+ function sha256Bytes(bytes) {
87
+ return createHash('sha256').update(bytes).digest('hex');
88
+ }
89
+
90
+ function controllerErrorArtifact(error, requestId = null) {
91
+ const artifact = {
92
+ schema: 'lattice.scripted_adapter_error.v1',
93
+ code: error?.code ?? 'SCRIPTED_CONTROLLER_FAILED',
94
+ message: String(error?.message ?? error),
95
+ request_id: typeof requestId === 'string' ? requestId : null,
96
+ detail: plain(error?.detail) ? structuredClone(error.detail) : {},
97
+ error_digest: '',
98
+ };
99
+ artifact.error_digest = selfDigest(artifact, 'error_digest');
100
+ return artifact;
101
+ }
102
+
103
+ function validateBootstrap(value) {
104
+ return exact(value, [
105
+ 'schema',
106
+ 'request_id',
107
+ 'run_id',
108
+ 'controller_socket_ref',
109
+ 'supervisor_socket_ref',
110
+ 'supervisor_session_nonce',
111
+ 'bootstrap_digest',
112
+ ])
113
+ && value.schema === 'lattice.adapter_controller_bootstrap.v1'
114
+ && ID.test(value.request_id ?? '')
115
+ && ID.test(value.run_id ?? '')
116
+ && typeof value.controller_socket_ref === 'string'
117
+ && /^supervisor\/controllers\/[0-9A-Za-z][0-9A-Za-z._-]{0,127}\.sock$/u
118
+ .test(value.controller_socket_ref)
119
+ && value.supervisor_socket_ref === 'supervisor/control.sock'
120
+ && typeof value.supervisor_session_nonce === 'string'
121
+ && value.supervisor_session_nonce.length >= 32
122
+ && SHA256.test(value.bootstrap_digest ?? '')
123
+ && selfDigest(value, 'bootstrap_digest') === value.bootstrap_digest;
124
+ }
125
+
126
+ function validateHandshakeRequest(value, bootstrap) {
127
+ return exact(value, [
128
+ 'schema',
129
+ 'request_id',
130
+ 'run_id',
131
+ 'supervisor_session_nonce',
132
+ 'controller_socket_ref',
133
+ 'challenge',
134
+ 'request_digest',
135
+ ])
136
+ && value.schema === 'lattice.adapter_controller_handshake_request.v1'
137
+ && ID.test(value.request_id ?? '')
138
+ && value.run_id === bootstrap.run_id
139
+ && value.supervisor_session_nonce === bootstrap.supervisor_session_nonce
140
+ && value.controller_socket_ref === bootstrap.controller_socket_ref
141
+ && typeof value.challenge === 'string'
142
+ && value.challenge.length >= 32
143
+ && SHA256.test(value.request_digest ?? '')
144
+ && selfDigest(value, 'request_digest') === value.request_digest;
145
+ }
146
+
147
+ function safeWritePath(value) {
148
+ return typeof value === 'string'
149
+ && value.length > 0
150
+ && value === path.posix.normalize(value)
151
+ && !path.posix.isAbsolute(value)
152
+ && value !== '..'
153
+ && !value.startsWith('../')
154
+ && !value.includes('\0')
155
+ && !['.git', '.lattice'].includes(value.split('/')[0]);
156
+ }
157
+
158
+ async function durableReplaceBytes(filePath, bytes, mode = 0o600) {
159
+ const directory = path.dirname(filePath);
160
+ await mkdir(directory, { recursive: true, mode: 0o700 });
161
+ const temporaryPath = path.join(directory, `.${path.basename(filePath)}-${process.pid}.tmp`);
162
+ let handle;
163
+ try {
164
+ handle = await open(
165
+ temporaryPath,
166
+ fsConstants.O_CREAT | fsConstants.O_EXCL | fsConstants.O_WRONLY,
167
+ mode,
168
+ );
169
+ await handle.writeFile(bytes);
170
+ await handle.sync();
171
+ await handle.close();
172
+ handle = null;
173
+ await rename(temporaryPath, filePath);
174
+ await chmod(filePath, mode);
175
+ const directoryHandle = await open(directory, fsConstants.O_RDONLY);
176
+ // Windowsはdirectory handleのfsyncを許さず常にEPERM/EINVALを返す(Node仕様)。
177
+ // win32のこの2値だけ許容し、他OS・他エラーは従来どおり失敗させる。
178
+ try {
179
+ await directoryHandle.sync();
180
+ } catch (error) {
181
+ if (process.platform !== 'win32' || !['EPERM', 'EINVAL'].includes(error?.code)) throw error;
182
+ } finally {
183
+ await directoryHandle.close();
184
+ }
185
+ } finally {
186
+ await handle?.close().catch(() => {});
187
+ await rm(temporaryPath, { force: true }).catch(() => {});
188
+ }
189
+ }
190
+
191
+ async function requireSafeTarget(repoRoot, relativePath) {
192
+ if (!safeWritePath(relativePath)) {
193
+ fail('SCRIPTED_PACKET_REJECTED', 'write pathが安全なrepo-relative pathではない', {
194
+ path: relativePath,
195
+ });
196
+ }
197
+ const target = path.join(repoRoot, ...relativePath.split('/'));
198
+ if (!target.startsWith(`${repoRoot}${path.sep}`)) {
199
+ fail('SCRIPTED_PACKET_REJECTED', 'write pathがrepo外を指す', { path: relativePath });
200
+ }
201
+ let cursor = repoRoot;
202
+ for (const segment of relativePath.split('/').slice(0, -1)) {
203
+ cursor = path.join(cursor, segment);
204
+ try {
205
+ const info = await lstat(cursor);
206
+ if (info.isSymbolicLink() || !info.isDirectory()) {
207
+ fail('SCRIPTED_PACKET_REJECTED', 'write path祖先がreal directoryではない', {
208
+ path: relativePath,
209
+ });
210
+ }
211
+ } catch (error) {
212
+ if (error?.code !== 'ENOENT') throw error;
213
+ break;
214
+ }
215
+ }
216
+ await mkdir(path.dirname(target), { recursive: true, mode: 0o700 });
217
+ const parentReal = await realpath(path.dirname(target));
218
+ if (!parentReal.startsWith(`${repoRoot}${path.sep}`) && parentReal !== repoRoot) {
219
+ fail('SCRIPTED_PACKET_REJECTED', 'write path親がrepo外へ解決された', { path: relativePath });
220
+ }
221
+ try {
222
+ const info = await lstat(target);
223
+ if (info.isSymbolicLink() || !info.isFile()) {
224
+ fail('SCRIPTED_PACKET_REJECTED', 'write targetがregular fileではない', {
225
+ path: relativePath,
226
+ });
227
+ }
228
+ } catch (error) {
229
+ if (error?.code !== 'ENOENT') throw error;
230
+ }
231
+ return target;
232
+ }
233
+
234
+ async function basePathExists(repoRoot, baseSha, relativePath) {
235
+ try {
236
+ await execFileAsync('git', ['cat-file', '-e', `${baseSha}:${relativePath}`], {
237
+ cwd: repoRoot,
238
+ encoding: 'utf8',
239
+ });
240
+ return true;
241
+ } catch (error) {
242
+ if (error?.code === 128) return false;
243
+ fail('SCRIPTED_EXECUTION_FAILED', 'base treeのwrite pathを観測できない', {
244
+ path: relativePath,
245
+ message: String(error?.message ?? error),
246
+ });
247
+ }
248
+ }
249
+
250
+ function deterministicWriteBytes(packet, relativePath) {
251
+ return Buffer.from(`${canonicalizeArtifact({
252
+ schema: 'lattice.scripted_adapter_write.v1',
253
+ todo_id: packet.todo_id,
254
+ path: relativePath,
255
+ packet_digest: packet.packet_digest,
256
+ context_content_digest: packet.context_content_digest,
257
+ })}\n`);
258
+ }
259
+
260
+ /**
261
+ * packetの宣言writeを実行する。**worker processから呼ばれる。**
262
+ *
263
+ * controllerと同じprocessで走らせていた頃、このrunには走行中のTODOが存在せず、
264
+ * 実行時の観測も静止の証明も原理的に成立しなかった(ADR 0143 Decision 7・9)。
265
+ */
266
+ export async function executePacket({ packet, repoRoot, extraWrites = [] }) {
267
+ const writes = packet.scope?.writes;
268
+ if (!Array.isArray(writes) || writes.length === 0
269
+ || writes.some((entry, index) => !safeWritePath(entry)
270
+ || (index > 0 && writes[index - 1] >= entry))) {
271
+ fail('SCRIPTED_PACKET_REJECTED', 'scope.writesは非空の昇順一意pathでなければならない');
272
+ }
273
+ // 宣言scope外への書き込みは、検知そのものを検証するために要る。writeがすべて宣言内に
274
+ // 収まる限り、実行時competitionは原理的に一度も起きないので、検知経路を実runで通せない。
275
+ // 宣言と実writeが食い違う状態を意図して作れることが、この面の受入条件である。
276
+ const allWrites = [...new Set([...writes, ...extraWrites])].sort();
277
+ const prepared = [];
278
+ for (const relativePath of allWrites) {
279
+ const target = await requireSafeTarget(repoRoot, relativePath);
280
+ const existedAtBase = await basePathExists(repoRoot, packet.base_sha, relativePath);
281
+ prepared.push({
282
+ relativePath,
283
+ target,
284
+ bytes: deterministicWriteBytes(packet, relativePath),
285
+ change: existedAtBase ? 'modified' : 'added',
286
+ });
287
+ }
288
+ for (const entry of prepared) {
289
+ await durableReplaceBytes(entry.target, entry.bytes);
290
+ const observed = await readFile(entry.target);
291
+ if (!observed.equals(entry.bytes)) {
292
+ fail('SCRIPTED_EXECUTION_FAILED', 'write後bytesが決定的内容と一致しない', {
293
+ path: entry.relativePath,
294
+ });
295
+ }
296
+ }
297
+ const observedDiff = prepared.map((entry) => ({
298
+ path: entry.relativePath,
299
+ change: entry.change,
300
+ }));
301
+ const checkpointDigest = digestArtifact({
302
+ schema: 'lattice.scripted_adapter_checkpoint.v1',
303
+ packet_digest: packet.packet_digest,
304
+ observed_diff: observedDiff,
305
+ content_digests: prepared.map((entry) => ({
306
+ path: entry.relativePath,
307
+ digest: sha256Bytes(entry.bytes),
308
+ })),
309
+ });
310
+ return { observedDiff, checkpointDigest };
311
+ }
312
+
313
+ async function readAndValidateGate(runDir, writeLease) {
314
+ const gatePath = path.join(runDir, 'supervisor', 'write-gate.json');
315
+ let gate;
316
+ try {
317
+ gate = JSON.parse(await readFile(gatePath, 'utf8'));
318
+ } catch (error) {
319
+ fail('SCRIPTED_WRITE_GATE_REJECTED', '中央write gateを読めない', {
320
+ message: String(error?.message ?? error),
321
+ });
322
+ }
323
+ if (!validateSupervisorWriteGate(gate)
324
+ || gate.run_id !== writeLease.run_id
325
+ || gate.plan_epoch !== writeLease.plan_epoch
326
+ || gate.gate_generation !== writeLease.gate_generation
327
+ || gate.release_barrier_digest !== writeLease.release_barrier_digest
328
+ || !gate.armed_lease_digests.includes(writeLease.lease_digest)) {
329
+ fail('SCRIPTED_WRITE_GATE_REJECTED', '中央write gateがarmed leaseを認可しない');
330
+ }
331
+ }
332
+
333
+ /**
334
+ * supervisor controller protocolを実装する決定論的scripted adapter。
335
+ * 時刻はheartbeat schedulingだけに使い、write bytes/handle/receiptへ混入させない。
336
+ */
337
+ /**
338
+ * 登録済みadapter configから、このcontrollerの振る舞いを読む。
339
+ *
340
+ * **configはregistrationのdigestへ束縛されている。** repo内の任意のfileを信用するのではなく、
341
+ * `run adapter register`が記録した`config_digest`と一致するbytesだけを受ける。一致しなければ
342
+ * 既定の振る舞いへ落とすのではなく止める——registrationと実configがずれた状態で走ると、
343
+ * 記録されたrunの再現性が壊れる。
344
+ *
345
+ * 読むのは3つだけ:
346
+ * - `hold_ms`: 書き込み後にworkerが走り続ける時間。実行時観測が成立する窓を作る。
347
+ * - `extra_writes`: 全TODOに共通する宣言scope外write。
348
+ * - `extra_writes_by_todo`: 競合当事者だけへscope外writeを与える実daemon fixture用設定。
349
+ * - `mode`: 既存の`deterministic`のみ。未知の値は黙って無視せず止める。
350
+ */
351
+ async function readScriptedBehavior(repoRoot) {
352
+ const descriptorPath = path.join(repoRoot, '.lattice', 'runtime', 'adapter-registry',
353
+ 'descriptors', 'scripted.json');
354
+ let descriptor;
355
+ try {
356
+ descriptor = JSON.parse(await readFile(descriptorPath, 'utf8'));
357
+ } catch {
358
+ // 未登録のまま走らせる経路(unit test等)は既定の振る舞いで動かす。
359
+ return { hold_ms: 0, extra_writes: [], extra_writes_by_todo: {} };
360
+ }
361
+ if (typeof descriptor?.config_ref !== 'string' || typeof descriptor.config_digest !== 'string') {
362
+ return { hold_ms: 0, extra_writes: [], extra_writes_by_todo: {} };
363
+ }
364
+ const configPath = path.join(repoRoot, ...descriptor.config_ref.split('/'));
365
+ let bytes;
366
+ try {
367
+ bytes = await readFile(configPath);
368
+ } catch {
369
+ fail('SCRIPTED_BOOTSTRAP_INVALID', '登録済みadapter configを読めない', {
370
+ config_ref: descriptor.config_ref,
371
+ });
372
+ }
373
+ if (sha256Bytes(bytes) !== descriptor.config_digest) {
374
+ fail('SCRIPTED_BOOTSTRAP_INVALID', 'adapter configが登録時のdigestと一致しない', {
375
+ config_ref: descriptor.config_ref,
376
+ });
377
+ }
378
+ let config;
379
+ try {
380
+ config = JSON.parse(bytes.toString('utf8'));
381
+ } catch {
382
+ fail('SCRIPTED_BOOTSTRAP_INVALID', 'adapter configのJSONが不正');
383
+ }
384
+ if (config?.mode !== undefined && config.mode !== 'deterministic') {
385
+ fail('SCRIPTED_BOOTSTRAP_INVALID', `未知のscripted mode: ${String(config.mode)}`);
386
+ }
387
+ const holdMs = config?.hold_ms ?? 0;
388
+ if (!Number.isSafeInteger(holdMs) || holdMs < 0 || holdMs > 600_000) {
389
+ fail('SCRIPTED_BOOTSTRAP_INVALID', 'hold_msが不正');
390
+ }
391
+ const extraWrites = config?.extra_writes ?? [];
392
+ if (!Array.isArray(extraWrites) || extraWrites.some((entry) => !safeWritePath(entry))) {
393
+ fail('SCRIPTED_BOOTSTRAP_INVALID', 'extra_writesが不正');
394
+ }
395
+ const extraWritesByTodo = config?.extra_writes_by_todo ?? {};
396
+ if (!plain(extraWritesByTodo) || Object.entries(extraWritesByTodo).some(([todoId, entries]) => (
397
+ !ID.test(todoId) || !Array.isArray(entries) || entries.some((entry) => !safeWritePath(entry))
398
+ ))) {
399
+ fail('SCRIPTED_BOOTSTRAP_INVALID', 'extra_writes_by_todoが不正');
400
+ }
401
+ return { hold_ms: holdMs, extra_writes: [...extraWrites],
402
+ extra_writes_by_todo: Object.fromEntries(Object.entries(extraWritesByTodo)
403
+ .map(([todoId, entries]) => [todoId, [...entries]])) };
404
+ }
405
+
406
+ const WORKER_ENTRYPOINT = fileURLToPath(new URL('../bin/lattice-scripted-worker.mjs', import.meta.url));
407
+
408
+ /**
409
+ * worker processを起こす(ADR 0143 Decision 9)。
410
+ *
411
+ * `detached`で独立process groupへ置く。controllerと同じgroupに居ると、直接OS観測が
412
+ * 「未記録process group memberを検出」として落とす——正しく落ちるので、ここを外さない。
413
+ *
414
+ * 起動直後にprocess start identityを観測して束ねる。pidは再利用されうるので、
415
+ * pidだけでは「同じprocessか」を後から言えない。
416
+ */
417
+ async function spawnScriptedWorker({ packet, worktreePath, extraWrites, holdMs,
418
+ controllerId, runDir }) {
419
+ const job = {
420
+ schema: 'lattice.scripted_worker_job.v1',
421
+ packet: structuredClone(packet),
422
+ worktree_path: worktreePath,
423
+ extra_writes: [...extraWrites],
424
+ hold_ms: holdMs,
425
+ };
426
+ const jobPath = path.join(runDir, 'controllers', controllerId, 'jobs',
427
+ `${packet.packet_digest}.json`);
428
+ await durableReplaceBytes(jobPath, Buffer.from(`${canonicalizeArtifact(job)}\n`));
429
+ const child = spawn(process.execPath, [WORKER_ENTRYPOINT, jobPath], {
430
+ detached: true, stdio: ['ignore', 'pipe', 'pipe'], cwd: worktreePath,
431
+ });
432
+ if (!Number.isSafeInteger(child.pid)) {
433
+ fail('SCRIPTED_EXECUTION_FAILED', 'worker processを起こせない');
434
+ }
435
+ const identity = await observeManagedProcessStartIdentity(child.pid);
436
+ let stdout = '';
437
+ let stderr = '';
438
+ child.stdout.on('data', (chunk) => { stdout += chunk.toString('utf8'); });
439
+ child.stderr.on('data', (chunk) => { stderr += chunk.toString('utf8'); });
440
+ const completed = new Promise((resolve, reject) => {
441
+ child.once('error', reject);
442
+ child.once('close', (code, signal) => {
443
+ const line = stdout.split('\n').find((entry) => entry.includes('scripted_worker_result'));
444
+ let parsed = null;
445
+ try { parsed = line === undefined ? null : JSON.parse(line); } catch { parsed = null; }
446
+ if (parsed?.schema !== 'lattice.scripted_worker_result.v1') {
447
+ reject(new TypeError(`worker結果を読めない (${signal ?? code}): ${stderr.trim() || '(出力なし)'}`));
448
+ return;
449
+ }
450
+ resolve({ observedDiff: parsed.observed_diff, checkpointDigest: parsed.checkpoint_digest });
451
+ });
452
+ });
453
+ return {
454
+ pid: child.pid,
455
+ process_group_id: child.pid,
456
+ process_start_identity: identity,
457
+ child,
458
+ completed,
459
+ };
460
+ }
461
+
462
+ export async function createScriptedAdapterController({
463
+ bootstrap,
464
+ runDir,
465
+ repoRoot,
466
+ controllerSessionNonce = randomBytes(32).toString('hex'),
467
+ }) {
468
+ if (!validateBootstrap(bootstrap)) {
469
+ fail('SCRIPTED_BOOTSTRAP_INVALID', 'controller bootstrapが不正');
470
+ }
471
+ const canonicalRunDir = await realpath(runDir);
472
+ const canonicalRepoRoot = await realpath(repoRoot);
473
+ if (path.resolve(canonicalRunDir, '..', '..', '..') !== canonicalRepoRoot) {
474
+ fail('SCRIPTED_BOOTSTRAP_INVALID', 'run storeとrepo rootのbindingが不正');
475
+ }
476
+ const controllerId = path.basename(bootstrap.controller_socket_ref, '.sock');
477
+ if (!controllerId.startsWith('scripted-')
478
+ || typeof controllerSessionNonce !== 'string'
479
+ || controllerSessionNonce.length < 32) {
480
+ fail('SCRIPTED_BOOTSTRAP_INVALID', 'scripted controller identityが不正');
481
+ }
482
+ const capabilities = sign({
483
+ schema: 'lattice.runtime_adapter_capabilities.v1',
484
+ operations: [...CONTROLLER_OPERATIONS],
485
+ process_observation: true,
486
+ worktree_fingerprint: true,
487
+ staged_write_lease: true,
488
+ durable_dispatch: true,
489
+ capabilities_digest: '',
490
+ }, 'capabilities_digest');
491
+ if (!validateRuntimeAdapterCapabilities(capabilities)) {
492
+ fail('SCRIPTED_CONTROLLER_INVALID', 'capabilities生成に失敗した');
493
+ }
494
+ const heartbeat = sign({
495
+ schema: 'lattice.runtime_heartbeat_policy.v1',
496
+ interval_ms: 1_000,
497
+ ttl_ms: 10_000,
498
+ disconnect_revokes_immediately: true,
499
+ policy_digest: '',
500
+ }, 'policy_digest');
501
+ if (!validateRuntimeHeartbeatPolicy(heartbeat)) {
502
+ fail('SCRIPTED_CONTROLLER_INVALID', 'heartbeat policy生成に失敗した');
503
+ }
504
+ const descriptor = sign({
505
+ schema: 'lattice.runtime_adapter_controller_descriptor.v1',
506
+ controller_id: controllerId,
507
+ adapter_kind: 'scripted',
508
+ pid: process.pid,
509
+ process_start_identity: await observeManagedProcessStartIdentity(process.pid),
510
+ socket_ref: bootstrap.controller_socket_ref,
511
+ controller_session_nonce_digest: digestArtifact(controllerSessionNonce),
512
+ capabilities,
513
+ heartbeat,
514
+ descriptor_digest: '',
515
+ }, 'descriptor_digest');
516
+ const sessionNonceDigest = digestArtifact(bootstrap.supervisor_session_nonce);
517
+ const behavior = await readScriptedBehavior(canonicalRepoRoot);
518
+ const stagedLeases = new Map();
519
+ const armedLeases = new Map();
520
+ const preparedPackets = new Map();
521
+ const tasks = new Map();
522
+ const todoToHandle = new Map();
523
+ let currentEpoch = 1;
524
+ let registrationDigest = null;
525
+
526
+ /** dispatch応答が運ぶworker process。誰を止めればよいかをsupervisorへ名指しする。 */
527
+ /**
528
+ * 起こしたworker processを畳む。
529
+ *
530
+ * **SIGKILLでなければ届かない。** barrierで止めたworkerはSIGSTOP状態にあり、
531
+ * SIGTERMは継続されるまで配送されない。放置すると、runもcontrollerもrepoも消えた後まで
532
+ * 停止したままのprocessが残り続ける(自分では終われない)。
533
+ */
534
+ const reapWorkers = () => {
535
+ for (const task of tasks.values()) {
536
+ const pid = task.worker?.pid;
537
+ if (!Number.isSafeInteger(pid)) continue;
538
+ try { process.kill(pid, 'SIGKILL'); } catch { /* 既に終わっている */ }
539
+ }
540
+ };
541
+
542
+ const workerProcessOf = (task) => ({
543
+ pid: task.worker.pid,
544
+ process_group_id: task.worker.process_group_id,
545
+ process_start_identity: structuredClone(task.worker.process_start_identity),
546
+ });
547
+
548
+ const persistReceipt = async (receipt) => {
549
+ const payloadDigest = digestArtifact(receipt);
550
+ const receiptPath = path.join(
551
+ canonicalRunDir,
552
+ 'controllers',
553
+ controllerId,
554
+ 'receipts',
555
+ `${payloadDigest}.json`,
556
+ );
557
+ await durableReplaceBytes(
558
+ receiptPath,
559
+ Buffer.from(`${canonicalizeArtifact(receipt)}\n`),
560
+ );
561
+ return payloadDigest;
562
+ };
563
+
564
+ const responseFor = async (operation, request) => {
565
+ if (!validateControllerRequest(operation, request)) {
566
+ fail('SCRIPTED_REQUEST_INVALID', `${operation} requestがprotocol contractを満たさない`);
567
+ }
568
+ if (registrationDigest !== null && request.registration_digest !== registrationDigest) {
569
+ fail('SCRIPTED_REGISTRATION_MISMATCH', 'controller registration digestが変化した');
570
+ }
571
+ registrationDigest = request.registration_digest;
572
+ if (operation === 'prepare') {
573
+ const packet = request.executor_packet;
574
+ const lease = request.staged_lease;
575
+ if (lease.run_id !== bootstrap.run_id || lease.todo_id !== packet.todo_id
576
+ || lease.plan_epoch !== packet.plan_epoch || lease.packet_digest !== packet.packet_digest
577
+ || lease.controller_registration_digest !== request.registration_digest
578
+ || lease.supervisor_session_nonce_digest !== sessionNonceDigest) {
579
+ fail('SCRIPTED_LEASE_REJECTED', 'prepare packetとstaged leaseのbindingが不正');
580
+ }
581
+ const prior = stagedLeases.get(lease.lease_digest);
582
+ if (prior !== undefined
583
+ && canonicalizeArtifact(prior) !== canonicalizeArtifact(lease)) {
584
+ fail('SCRIPTED_LEASE_REJECTED', '同じdigestのstaged lease bytesが変化した');
585
+ }
586
+ stagedLeases.set(lease.lease_digest, structuredClone(lease));
587
+ preparedPackets.set(packet.packet_digest, structuredClone(packet));
588
+ currentEpoch = packet.plan_epoch;
589
+ const ack = sign({
590
+ schema: 'lattice.adapter_prepare_ack.v1',
591
+ ack_id: `prepare-${packet.packet_digest.slice(0, 24)}`,
592
+ registration_digest: request.registration_digest,
593
+ controller_id: controllerId,
594
+ run_id: bootstrap.run_id,
595
+ todo_id: packet.todo_id,
596
+ plan_epoch: packet.plan_epoch,
597
+ packet_digest: packet.packet_digest,
598
+ staged_lease_digest: lease.lease_digest,
599
+ supervisor_session_nonce_digest: sessionNonceDigest,
600
+ ack_digest: '',
601
+ }, 'ack_digest');
602
+ return sign({
603
+ schema: 'lattice.adapter_prepare_response.v1',
604
+ request_id: request.request_id,
605
+ prepare_ack: ack,
606
+ staged_lease_digest: lease.lease_digest,
607
+ response_digest: '',
608
+ }, 'response_digest');
609
+ }
610
+ if (operation === 'activate') {
611
+ if (request.staged_lease_digests.some((digest) => !stagedLeases.has(digest))) {
612
+ fail('SCRIPTED_LEASE_REJECTED', 'activateが未知のstaged leaseを含む');
613
+ }
614
+ const epochs = new Set(request.staged_lease_digests
615
+ .map((digest) => stagedLeases.get(digest).plan_epoch));
616
+ if (epochs.size > 1) fail('SCRIPTED_LEASE_REJECTED', 'activate leaseのepochが混在する');
617
+ if (epochs.size === 1) currentEpoch = [...epochs][0];
618
+ const ack = sign({
619
+ schema: 'lattice.adapter_ready_ack.v1',
620
+ ack_id: `ready-${request.activation_digest.slice(0, 24)}`,
621
+ registration_digest: request.registration_digest,
622
+ controller_id: controllerId,
623
+ run_id: bootstrap.run_id,
624
+ plan_epoch: currentEpoch,
625
+ activation_digest: request.activation_digest,
626
+ staged_lease_digests: [...request.staged_lease_digests],
627
+ supervisor_session_nonce_digest: sessionNonceDigest,
628
+ ack_digest: '',
629
+ }, 'ack_digest');
630
+ return sign({
631
+ schema: 'lattice.adapter_activate_response.v1',
632
+ request_id: request.request_id,
633
+ ready_ack: ack,
634
+ observed_pointer_digest: request.committed_epoch_digest,
635
+ response_digest: '',
636
+ }, 'response_digest');
637
+ }
638
+ if (operation === 'release') {
639
+ const armed = [];
640
+ for (const stagedDigest of request.staged_lease_digests) {
641
+ const staged = stagedLeases.get(stagedDigest);
642
+ if (staged === undefined) {
643
+ fail('SCRIPTED_LEASE_REJECTED', 'releaseが未知のstaged leaseを含む');
644
+ }
645
+ const lease = armStagedWriteLease(staged, {
646
+ releaseBarrierDigest: request.release_barrier_digest,
647
+ gateGeneration: request.gate_generation,
648
+ });
649
+ stagedLeases.delete(stagedDigest);
650
+ armedLeases.set(lease.lease_digest, lease);
651
+ armed.push(lease.lease_digest);
652
+ }
653
+ armed.sort();
654
+ const ack = sign({
655
+ schema: 'lattice.adapter_release_ack.v1',
656
+ ack_id: `release-${request.release_barrier_digest.slice(0, 24)}`,
657
+ registration_digest: request.registration_digest,
658
+ controller_id: controllerId,
659
+ run_id: bootstrap.run_id,
660
+ plan_epoch: currentEpoch,
661
+ release_barrier_digest: request.release_barrier_digest,
662
+ gate_generation: request.gate_generation,
663
+ armed_lease_digests: armed,
664
+ supervisor_session_nonce_digest: sessionNonceDigest,
665
+ ack_digest: '',
666
+ }, 'ack_digest');
667
+ return sign({
668
+ schema: 'lattice.adapter_release_response.v1',
669
+ request_id: request.request_id,
670
+ release_ack: ack,
671
+ armed_lease_digests: armed,
672
+ observed_gate_generation: request.gate_generation,
673
+ response_digest: '',
674
+ }, 'response_digest');
675
+ }
676
+ if (operation === 'dispatch') {
677
+ const { packet, write_lease: writeLease } = request;
678
+ if (!validateExecutorPacket(packet) || !validateArmedWriteLease(writeLease)
679
+ || !armedLeases.has(writeLease.lease_digest)
680
+ || writeLease.run_id !== bootstrap.run_id
681
+ || writeLease.todo_id !== packet.todo_id
682
+ || writeLease.plan_epoch !== packet.plan_epoch
683
+ || writeLease.packet_digest !== packet.packet_digest
684
+ || writeLease.controller_registration_digest !== request.registration_digest
685
+ || writeLease.supervisor_session_nonce_digest !== sessionNonceDigest) {
686
+ fail('SCRIPTED_PACKET_REJECTED', 'dispatch packetとarmed leaseのbindingが不正');
687
+ }
688
+ const priorHandle = todoToHandle.get(packet.todo_id);
689
+ if (priorHandle !== undefined) {
690
+ const prior = tasks.get(priorHandle);
691
+ if (prior.packet.packet_digest === packet.packet_digest
692
+ && prior.lease.lease_digest === writeLease.lease_digest) {
693
+ return sign({
694
+ schema: 'lattice.adapter_dispatch_response.v2',
695
+ request_id: request.request_id,
696
+ executor_handle: prior.executorHandle,
697
+ worktree_id: prior.worktreeId,
698
+ packet_digest: packet.packet_digest,
699
+ lease_digest: writeLease.lease_digest,
700
+ worker_process: workerProcessOf(prior),
701
+ response_digest: '',
702
+ }, 'response_digest');
703
+ }
704
+ if (prior.state !== 'held') {
705
+ fail('SCRIPTED_DUPLICATE_DISPATCH', '同じTODOへ異なるpacketをdispatchできない');
706
+ }
707
+ // 対象限定holdで失効したattemptだけを畳み、同じTODOのsuccessorを起動する。
708
+ // closure外attemptはtodoToHandleを保持するので、この経路へ入らない。
709
+ try { process.kill(-prior.worker.process_group_id, 'SIGKILL'); }
710
+ catch (error) {
711
+ if (error?.code !== 'ESRCH') {
712
+ fail('SCRIPTED_EXECUTION_FAILED', '旧attemptを終了できない', {
713
+ pid: prior.worker.pid, reason: String(error?.code ?? error?.message ?? error),
714
+ });
715
+ }
716
+ }
717
+ prior.state = 'superseded';
718
+ todoToHandle.delete(packet.todo_id);
719
+ }
720
+ await readAndValidateGate(canonicalRunDir, writeLease);
721
+ // canonical repoではなく自分の木へ書く。共有rootでは、書き込みの帰属をrootから
722
+ // 決められないので早期警報もcheckpoint判定も成立しない。木はsupervisorが
723
+ // dispatch前に用意する(監視を張るのがdispatchより前でなければ観測を取り逃す)。
724
+ const worktreePath = scriptedWorktreePath({ runDir: canonicalRunDir, packet });
725
+ try {
726
+ const info = await lstat(worktreePath);
727
+ if (!info.isDirectory()) throw new TypeError('not a directory');
728
+ } catch {
729
+ fail('SCRIPTED_EXECUTION_FAILED', 'supervisorが用意したworktreeが無い', {
730
+ worktree_path: worktreePath,
731
+ });
732
+ }
733
+ const executorHandle = `scripted-${packet.packet_digest.slice(0, 24)}`;
734
+ const worktreeId = scriptedWorktreeId(packet);
735
+ // **dispatchで作業を終わらせない。** 終わらせると、走行中のTODOが1つも存在しない
736
+ // runになり、実行時の観測——書き込みを見て、他のworkerとの重なりを掴む——が
737
+ // 原理的に成立しない。dispatchは作業を起こして返り、完了はobserveが拾う。
738
+ const progress = {
739
+ schema: 'lattice.scripted_adapter_progress.v1',
740
+ run_id: bootstrap.run_id,
741
+ todo_id: packet.todo_id,
742
+ executor_handle: executorHandle,
743
+ worktree_id: worktreeId,
744
+ state: 'running',
745
+ };
746
+ const worktreeReal = await realpath(worktreePath);
747
+ // **workerは別processで起こす。** controller自身のprocessで作業すると、holdが
748
+ // 要求する静止を証明できない——止めれば応答できず、止めなければ証明できない。
749
+ // `detached`で独立process groupへ置く。同じgroupにcontrollerが居ると、直接OS観測が
750
+ // 「未記録process group memberを検出」として正しく落とす。
751
+ const spawned = await spawnScriptedWorker({
752
+ packet, worktreePath: worktreeReal,
753
+ extraWrites: behavior.extra_writes_by_todo[packet.todo_id] ?? behavior.extra_writes,
754
+ holdMs: behavior.hold_ms, controllerId, runDir: canonicalRunDir,
755
+ });
756
+ const task = {
757
+ packet: structuredClone(packet),
758
+ lease: structuredClone(writeLease),
759
+ executorHandle,
760
+ worktreeId,
761
+ worktreePath: worktreeReal,
762
+ receipt: null,
763
+ payloadDigest: digestArtifact(progress),
764
+ state: 'running',
765
+ failure: null,
766
+ settled: null,
767
+ worker: spawned,
768
+ };
769
+ tasks.set(executorHandle, task);
770
+ todoToHandle.set(packet.todo_id, executorHandle);
771
+ task.settled = (async () => {
772
+ try {
773
+ const { observedDiff, checkpointDigest } = await spawned.completed;
774
+ const receipt = sign({
775
+ schema: 'lattice.executor_receipt.v1',
776
+ receipt_id: `receipt-${packet.packet_digest.slice(0, 24)}`,
777
+ executor_handle: executorHandle,
778
+ worktree_id: worktreeId,
779
+ base_sha: packet.base_sha,
780
+ plan_epoch: packet.plan_epoch,
781
+ packet_digest: packet.packet_digest,
782
+ todo_id: packet.todo_id,
783
+ checkpoint_digest: checkpointDigest,
784
+ observed_diff: observedDiff,
785
+ receipt_digest: '',
786
+ }, 'receipt_digest');
787
+ if (!validateExecutorReceipt(receipt)) {
788
+ throw new TypeError('生成receiptがexecutor contractを満たさない');
789
+ }
790
+ task.payloadDigest = await persistReceipt(receipt);
791
+ task.receipt = receipt;
792
+ task.state = 'terminal';
793
+ } catch (error) {
794
+ // 失敗を走行中のまま放置しない。observeがtypedに落ちる形へ残す。
795
+ task.failure = String(error?.detail?.reason ?? error?.message ?? error);
796
+ }
797
+ })();
798
+ return sign({
799
+ schema: 'lattice.adapter_dispatch_response.v2',
800
+ request_id: request.request_id,
801
+ executor_handle: executorHandle,
802
+ worktree_id: worktreeId,
803
+ packet_digest: packet.packet_digest,
804
+ lease_digest: writeLease.lease_digest,
805
+ worker_process: workerProcessOf(task),
806
+ response_digest: '',
807
+ }, 'response_digest');
808
+ }
809
+ if (operation === 'observe') {
810
+ const task = tasks.get(request.executor_handle);
811
+ if (task === undefined
812
+ || task.packet.plan_epoch !== request.expected_epoch
813
+ || task.lease.lease_digest !== request.expected_lease_digest) {
814
+ fail('SCRIPTED_OBSERVATION_REJECTED', 'observe bindingがdispatch記録と一致しない');
815
+ }
816
+ // 走行中に落ちた作業を「まだ走っている」と言い続けない。
817
+ if (task.failure !== null) {
818
+ fail('SCRIPTED_EXECUTION_FAILED', 'worker実行が失敗した', { reason: task.failure });
819
+ }
820
+ const observation = sign({
821
+ schema: 'lattice.adapter_observation.v1',
822
+ state: task.state,
823
+ executor_handle: task.executorHandle,
824
+ plan_epoch: task.packet.plan_epoch,
825
+ lease_digest: task.lease.lease_digest,
826
+ payload_digest: task.payloadDigest,
827
+ observation_digest: '',
828
+ }, 'observation_digest');
829
+ return sign({
830
+ schema: 'lattice.adapter_observe_response.v1',
831
+ request_id: request.request_id,
832
+ observation,
833
+ observation_digest: observation.observation_digest,
834
+ response_digest: '',
835
+ }, 'response_digest');
836
+ }
837
+ if (operation === 'inventory') {
838
+ const runningBindings = [...tasks.values()]
839
+ .filter((task) => task.state === 'running')
840
+ .map((task) => ({
841
+ todo_id: task.packet.todo_id,
842
+ executor_handle: task.executorHandle,
843
+ worktree_id: task.worktreeId,
844
+ plan_epoch: task.packet.plan_epoch,
845
+ packet_digest: task.packet.packet_digest,
846
+ write_lease_id: task.lease.lease_id,
847
+ controller_registration_digest: request.registration_digest,
848
+ }))
849
+ .sort((left, right) => left.todo_id.localeCompare(right.todo_id));
850
+ return sign({
851
+ schema: 'lattice.adapter_running_inventory_response.v1',
852
+ request_id: request.request_id,
853
+ running_bindings: runningBindings,
854
+ inventory_digest: digestArtifact(runningBindings),
855
+ response_digest: '',
856
+ }, 'response_digest');
857
+ }
858
+ if (operation === 'barrier') {
859
+ const acks = [];
860
+ for (const binding of request.running_bindings) {
861
+ const task = tasks.get(binding.executor_handle);
862
+ if (task === undefined || task.packet.todo_id !== binding.todo_id) {
863
+ fail('SCRIPTED_BARRIER_REJECTED', 'barrierが未知のrunning bindingを含む');
864
+ }
865
+ // **barrierは静止の宣言である。** worker processを実際に止め、止まった木を読む。
866
+ // 走行中の作業を残したままackを返すと、「止まった」と言いながらworktreeが動き続ける。
867
+ try {
868
+ process.kill(task.worker.pid, 'SIGSTOP');
869
+ } catch (error) {
870
+ fail('SCRIPTED_BARRIER_REJECTED', 'worker processを止められない', {
871
+ pid: task.worker.pid, reason: String(error?.code ?? error?.message ?? error),
872
+ });
873
+ }
874
+ task.state = 'held';
875
+ // supervisorも同じ観測を独立に行い、3つのdigestの一致を要求する。**こちらが別の形で
876
+ // 作ると、両者が別のものを見ていても気づけない。** 形はdirect OS observerの契約に
877
+ // 揃え、入力(自分のprocess・自分の木)だけを独立に観測する。
878
+ const checkpoint = await captureWorktreeDiff({
879
+ worktreePath: task.worktreePath, baseSha: task.packet.base_sha,
880
+ });
881
+ const processObservationDigest = digestArtifact({
882
+ schema: 'lattice.direct_process_observation.v2',
883
+ root: {
884
+ pid: task.worker.pid,
885
+ parent_pid: process.pid,
886
+ process_start_identity_digest: task.worker.process_start_identity.identity_digest,
887
+ process_group_id: task.worker.process_group_id,
888
+ state: 'stopped',
889
+ },
890
+ children: [],
891
+ process_group_id: task.worker.process_group_id,
892
+ quiesced: true,
893
+ });
894
+ const worktreeFingerprintDigest = digestArtifact({
895
+ schema: 'lattice.direct_worktree_fingerprint.v1',
896
+ worktree_id: task.worktreeId,
897
+ worktree_realpath: task.worktreePath,
898
+ checkpoint_digest: checkpoint.checkpoint_digest,
899
+ });
900
+ acks.push(sign({
901
+ schema: 'lattice.executor_quiescence_ack.v1',
902
+ ack_id: `barrier-${binding.packet_digest.slice(0, 24)}`,
903
+ run_id: bootstrap.run_id,
904
+ todo_id: binding.todo_id,
905
+ executor_handle: binding.executor_handle,
906
+ worktree_id: binding.worktree_id,
907
+ plan_epoch: binding.plan_epoch,
908
+ packet_digest: binding.packet_digest,
909
+ write_lease_id: binding.write_lease_id,
910
+ barrier_control_digest: request.barrier_control_digest,
911
+ final_checkpoint_digest: checkpoint.checkpoint_digest,
912
+ process_observation_digest: processObservationDigest,
913
+ worktree_fingerprint_digest: worktreeFingerprintDigest,
914
+ supervisor_session_nonce_digest: sessionNonceDigest,
915
+ ack_digest: '',
916
+ }, 'ack_digest'));
917
+ }
918
+ return sign({
919
+ schema: 'lattice.adapter_barrier_response.v1',
920
+ request_id: request.request_id,
921
+ barrier_id: request.barrier_id,
922
+ quiescence_acks: acks,
923
+ response_digest: '',
924
+ }, 'response_digest');
925
+ }
926
+ if (operation === 'rebind') {
927
+ const rebind = request.rebind_packet;
928
+ const task = tasks.get(rebind.executor_handle);
929
+ if (task === undefined || task.worktreeId !== rebind.worktree_id
930
+ || task.packet.todo_id !== rebind.todo_id) {
931
+ fail('SCRIPTED_REBIND_REJECTED', 'rebind packetが既存taskへ帰属しない');
932
+ }
933
+ const staged = request.staged_lease;
934
+ if (staged.todo_id !== rebind.todo_id || staged.plan_epoch !== rebind.new_plan_epoch
935
+ || staged.packet_digest !== rebind.packet_digest) {
936
+ fail('SCRIPTED_REBIND_REJECTED', 'rebind packetとstaged leaseが一致しない');
937
+ }
938
+ stagedLeases.set(staged.lease_digest, structuredClone(staged));
939
+ task.packet.plan_epoch = rebind.new_plan_epoch;
940
+ currentEpoch = rebind.new_plan_epoch;
941
+ const ack = sign({
942
+ schema: 'lattice.executor_epoch_rebind_ack.v1',
943
+ ack_id: `rebind-${rebind.packet_digest.slice(0, 24)}`,
944
+ run_id: bootstrap.run_id,
945
+ todo_id: rebind.todo_id,
946
+ executor_handle: rebind.executor_handle,
947
+ worktree_id: rebind.worktree_id,
948
+ predecessor_epoch: rebind.new_plan_epoch - 1,
949
+ successor_epoch: rebind.new_plan_epoch,
950
+ // **holdされたworkerにreceiptは無い。** 作業を終えていないから止められているので、
951
+ // 完了の記録を前提にできない。前任packetのdigestはdispatch時のpacketが持っている。
952
+ predecessor_packet_digest: task.packet.packet_digest,
953
+ rebind_packet_digest: rebind.packet_digest,
954
+ new_write_lease_id: staged.lease_id,
955
+ supervisor_session_nonce_digest: sessionNonceDigest,
956
+ ack_digest: '',
957
+ }, 'ack_digest');
958
+ return sign({
959
+ schema: 'lattice.adapter_rebind_response.v1',
960
+ request_id: request.request_id,
961
+ rebind_ack: ack,
962
+ staged_lease_digest: staged.lease_digest,
963
+ response_digest: '',
964
+ }, 'response_digest');
965
+ }
966
+ if (operation === 'revoke') {
967
+ const available = new Set([...stagedLeases.keys(), ...armedLeases.keys()]);
968
+ if (request.lease_digests.some((digest) => !available.has(digest))) {
969
+ fail('SCRIPTED_REVOKE_REJECTED', 'revokeが未知のleaseを含む');
970
+ }
971
+ for (const leaseDigest of request.lease_digests) {
972
+ stagedLeases.delete(leaseDigest);
973
+ armedLeases.delete(leaseDigest);
974
+ }
975
+ for (const task of tasks.values()) {
976
+ if (request.lease_digests.includes(task.lease.lease_digest)) task.state = 'held';
977
+ }
978
+ return sign({
979
+ schema: 'lattice.adapter_revoke_response.v1',
980
+ request_id: request.request_id,
981
+ revoked_lease_digests: [...request.lease_digests],
982
+ residual_processes: [],
983
+ response_digest: '',
984
+ }, 'response_digest');
985
+ }
986
+ fail('SCRIPTED_UNKNOWN_OPERATION', `未知のcontroller operation: ${operation}`);
987
+ };
988
+
989
+ return Object.freeze({
990
+ bootstrap: structuredClone(bootstrap),
991
+ controllerId,
992
+ controllerSessionNonce,
993
+ descriptor: structuredClone(descriptor),
994
+ heartbeat,
995
+ reapWorkers,
996
+ leaseSetDigest() {
997
+ return digestArtifact([...stagedLeases.keys(), ...armedLeases.keys()].sort());
998
+ },
999
+ handshake(request) {
1000
+ if (!validateHandshakeRequest(request, bootstrap)) {
1001
+ fail('SCRIPTED_HANDSHAKE_INVALID', 'handshake requestがbootstrapへbindしない');
1002
+ }
1003
+ return sign({
1004
+ schema: 'lattice.adapter_controller_handshake_response.v1',
1005
+ request_id: request.request_id,
1006
+ run_id: bootstrap.run_id,
1007
+ challenge_digest: digestArtifact(request.challenge),
1008
+ controller_session_nonce: controllerSessionNonce,
1009
+ descriptor,
1010
+ response_digest: '',
1011
+ }, 'response_digest');
1012
+ },
1013
+ async request(operation, request) {
1014
+ if (!CONTROLLER_OPERATIONS.includes(operation)) {
1015
+ fail('SCRIPTED_UNKNOWN_OPERATION', `未知のcontroller operation: ${operation}`);
1016
+ }
1017
+ return responseFor(operation, request);
1018
+ },
1019
+ });
1020
+ }
1021
+
1022
+ async function readBootstrapFd(fd = 3) {
1023
+ const bytes = readFileSync(fd);
1024
+ if (bytes.length === 0 || bytes.length > MAX_DOCUMENT_BYTES) {
1025
+ fail('SCRIPTED_BOOTSTRAP_INVALID', 'bootstrap sizeが不正');
1026
+ }
1027
+ const text = bytes.toString('utf8');
1028
+ if (!text.endsWith('\n') || text.indexOf('\n') !== text.length - 1) {
1029
+ fail('SCRIPTED_BOOTSTRAP_INVALID', 'bootstrapはJSON 1 documentでなければならない');
1030
+ }
1031
+ let value;
1032
+ try {
1033
+ value = JSON.parse(text);
1034
+ } catch {
1035
+ fail('SCRIPTED_BOOTSTRAP_INVALID', 'bootstrap JSONが不正');
1036
+ }
1037
+ return value;
1038
+ }
1039
+
1040
+ export async function runScriptedAdapterController({
1041
+ runDir = process.cwd(),
1042
+ bootstrap = null,
1043
+ stderr = process.stderr,
1044
+ } = {}) {
1045
+ const resolvedBootstrap = bootstrap ?? await readBootstrapFd();
1046
+ const canonicalRunDir = await realpath(runDir);
1047
+ const repoRoot = await realpath(path.resolve(canonicalRunDir, '..', '..', '..'));
1048
+ const controller = await createScriptedAdapterController({
1049
+ bootstrap: resolvedBootstrap,
1050
+ runDir: canonicalRunDir,
1051
+ repoRoot,
1052
+ });
1053
+ const socketPath = path.join(canonicalRunDir, resolvedBootstrap.controller_socket_ref);
1054
+ const controllerDirectory = path.dirname(socketPath);
1055
+ await mkdir(controllerDirectory, { recursive: true, mode: 0o700 });
1056
+ await chmod(controllerDirectory, 0o700);
1057
+ let heartbeatTimer = null;
1058
+ let persistentSocket = null;
1059
+ let heartbeatSequence = 0;
1060
+ let registrationDigest = null;
1061
+ const send = (socket, document) => {
1062
+ socket.write(`${canonicalizeArtifact(document)}\n`);
1063
+ };
1064
+ const startHeartbeat = (socket, digest) => {
1065
+ persistentSocket = socket;
1066
+ registrationDigest = digest;
1067
+ if (heartbeatTimer !== null) return;
1068
+ heartbeatTimer = setInterval(() => {
1069
+ if (persistentSocket === null || persistentSocket.destroyed) return;
1070
+ heartbeatSequence += 1;
1071
+ send(persistentSocket, sign({
1072
+ schema: 'lattice.adapter_controller_heartbeat.v1',
1073
+ controller_id: controller.controllerId,
1074
+ registration_digest: registrationDigest,
1075
+ supervisor_session_nonce: resolvedBootstrap.supervisor_session_nonce,
1076
+ sequence: heartbeatSequence,
1077
+ lease_set_digest: controller.leaseSetDigest(),
1078
+ heartbeat_digest: '',
1079
+ }, 'heartbeat_digest'));
1080
+ }, controller.heartbeat.interval_ms);
1081
+ heartbeatTimer.unref();
1082
+ };
1083
+ const server = net.createServer((socket) => {
1084
+ socket.setEncoding('utf8');
1085
+ let buffer = '';
1086
+ let processing = Promise.resolve();
1087
+ socket.on('data', (chunk) => {
1088
+ buffer += chunk;
1089
+ if (Buffer.byteLength(buffer, 'utf8') > MAX_DOCUMENT_BYTES) {
1090
+ send(socket, controllerErrorArtifact(
1091
+ new ScriptedAdapterControllerError(
1092
+ 'SCRIPTED_DOCUMENT_TOO_LARGE',
1093
+ 'controller document上限を超えた',
1094
+ ),
1095
+ ));
1096
+ socket.destroy();
1097
+ return;
1098
+ }
1099
+ while (buffer.includes('\n')) {
1100
+ const newline = buffer.indexOf('\n');
1101
+ const line = buffer.slice(0, newline);
1102
+ buffer = buffer.slice(newline + 1);
1103
+ processing = processing.then(async () => {
1104
+ let request;
1105
+ try {
1106
+ request = JSON.parse(line);
1107
+ if (request.schema === 'lattice.adapter_controller_handshake_request.v1') {
1108
+ send(socket, controller.handshake(request));
1109
+ return;
1110
+ }
1111
+ const operation = REQUEST_SCHEMA_TO_OPERATION[request.schema];
1112
+ if (operation === undefined) {
1113
+ fail('SCRIPTED_UNKNOWN_OPERATION', `未知のrequest schema: ${String(request.schema)}`);
1114
+ }
1115
+ const response = await controller.request(operation, request);
1116
+ startHeartbeat(socket, request.registration_digest);
1117
+ send(socket, response);
1118
+ } catch (error) {
1119
+ send(socket, controllerErrorArtifact(error, request?.request_id));
1120
+ stderr.write(`${canonicalizeArtifact(controllerErrorArtifact(error, request?.request_id))}\n`);
1121
+ socket.destroy();
1122
+ }
1123
+ });
1124
+ }
1125
+ });
1126
+ socket.on('close', () => {
1127
+ if (socket === persistentSocket) {
1128
+ clearInterval(heartbeatTimer);
1129
+ heartbeatTimer = null;
1130
+ persistentSocket = null;
1131
+ }
1132
+ });
1133
+ });
1134
+ server.on('error', (error) => {
1135
+ stderr.write(`${canonicalizeArtifact(controllerErrorArtifact(error))}\n`);
1136
+ });
1137
+ await new Promise((resolve, reject) => {
1138
+ server.once('error', reject);
1139
+ // AF_UNIXのpath長上限へ一時repoのabsolute prefixを混入させない。supervisorも
1140
+ // run storeをcwdにして同じ固定relative refへ接続する。
1141
+ server.listen(resolvedBootstrap.controller_socket_ref, () => {
1142
+ server.off('error', reject);
1143
+ resolve();
1144
+ });
1145
+ });
1146
+ await chmod(socketPath, 0o600);
1147
+ let closed = false;
1148
+ const close = async () => {
1149
+ if (closed) return;
1150
+ closed = true;
1151
+ // 起こしたworkerを道連れにする。停止中のworkerは自分では終われないので、
1152
+ // ここで畳まないとrunもrepoも消えた後まで残り続ける。
1153
+ controller.reapWorkers();
1154
+ clearInterval(heartbeatTimer);
1155
+ persistentSocket?.destroy();
1156
+ await new Promise((resolve) => server.close(resolve));
1157
+ await rm(socketPath, { force: true });
1158
+ };
1159
+ return Object.freeze({ controller, socketPath, close });
1160
+ }