@quolu/lattice 0.52.2 → 0.52.4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +1 -1
- package/src/artifact-contracts-v2.mjs +325 -325
- package/src/artifact-contracts.mjs +895 -895
- package/src/boundary-compiler.mjs +712 -712
- package/src/boundary-observation-compiler-v2.mjs +344 -344
- package/src/bounded-seam.mjs +230 -230
- package/src/bridge-address.mjs +107 -107
- package/src/bridge-cli.mjs +297 -297
- package/src/bridge-config.mjs +346 -346
- package/src/bridge-daemon.mjs +378 -378
- package/src/bridge-hub-protocol.mjs +198 -0
- package/src/bridge-launch-agent.mjs +323 -323
- package/src/bridge-registrar.mjs +102 -102
- package/src/bridge-server.mjs +376 -376
- package/src/cli-help.mjs +308 -308
- package/src/cli-stdio.mjs +40 -40
- package/src/control-compiler.mjs +532 -532
- package/src/dag-chain.mjs +261 -261
- package/src/factory-diagnostics.mjs +188 -188
- package/src/git-process.mjs +72 -0
- package/src/hash-chain.mjs +76 -76
- package/src/hooks-cli.mjs +1057 -1057
- package/src/isolation-runner.mjs +409 -409
- package/src/node-version-guard.mjs +44 -44
- package/src/project-cli.mjs +699 -697
- package/src/project-identity.mjs +130 -130
- package/src/rc1-black-box-oracle.mjs +906 -906
- package/src/rc1-comparison.mjs +154 -154
- package/src/rc1-evidence-bundle.mjs +456 -456
- package/src/rc1-v4-campaign.mjs +708 -708
- package/src/rc1-v4-transform.mjs +467 -467
- package/src/rc1-v5-artifact-set.mjs +855 -855
- package/src/rc1-v5-behavior-evidence.mjs +594 -594
- package/src/rc1-v5-campaign.mjs +797 -797
- package/src/rc1-v5-transform.mjs +421 -421
- package/src/rc1-v6-artifact-set.mjs +807 -807
- package/src/rc1-v6-behavior-evidence.mjs +273 -273
- package/src/rc1-v6-campaign.mjs +623 -623
- package/src/rc1-v6-causal-binding.mjs +473 -473
- package/src/rc1-v6-measurement.mjs +313 -313
- package/src/rc2-artifact-set.mjs +1584 -1584
- package/src/rc2-campaign.mjs +1506 -1506
- package/src/rc2-delivery-policy-front-end.mjs +1079 -1079
- package/src/rc2-delivery-policy-oracle.mjs +134 -134
- package/src/rc2-delivery-policy-transform.mjs +1127 -1127
- package/src/rc2-rc1-transfer-front-end.mjs +511 -511
- package/src/rc3-actual-dogfood.mjs +652 -652
- package/src/rc3-dogfood-scaffold.mjs +315 -315
- package/src/rc3-scripted-campaign.mjs +1383 -1383
- package/src/rc4-stage1-dogfood.mjs +673 -673
- package/src/runtime-adapter-registry.mjs +524 -524
- package/src/runtime-cli.mjs +4588 -4588
- package/src/runtime-contracts.mjs +824 -824
- package/src/runtime-control-store.mjs +604 -604
- package/src/runtime-controller-protocol.mjs +587 -587
- package/src/runtime-decision-verifier.mjs +701 -701
- package/src/runtime-diff-observer.mjs +361 -361
- package/src/runtime-direct-os-observer.mjs +301 -301
- package/src/runtime-driver-state.mjs +166 -166
- package/src/runtime-engine.mjs +779 -779
- package/src/runtime-errors.mjs +356 -356
- package/src/runtime-event-store.mjs +189 -189
- package/src/runtime-front-end.mjs +925 -925
- package/src/runtime-gate-store.mjs +481 -481
- package/src/runtime-hold-recompile.mjs +916 -916
- package/src/runtime-io-sentinel.mjs +391 -391
- package/src/runtime-lifecycle-lock.mjs +294 -294
- package/src/runtime-managed-supervisor.mjs +1490 -1490
- package/src/runtime-multi-epoch-store.mjs +838 -838
- package/src/runtime-projection.mjs +269 -269
- package/src/runtime-pull-intake.mjs +1192 -1192
- package/src/runtime-scripted-adapter-controller.mjs +1160 -1160
- package/src/runtime-scripted-executor.mjs +163 -163
- package/src/runtime-scripted-worktree.mjs +104 -104
- package/src/runtime-seam-resolve.mjs +428 -428
- package/src/runtime-seam-treatment.mjs +173 -173
- package/src/runtime-socket-owner.mjs +125 -125
- package/src/runtime-work-order-contracts.mjs +91 -91
- package/src/runtime-work-order-controller.mjs +1171 -1171
- package/src/runtime-worktree-executor.mjs +199 -199
- package/src/schedulability-compiler-v2.mjs +303 -303
- package/src/schedulability-verifier-v2.mjs +317 -317
- package/src/seam-apply.mjs +549 -549
- package/src/seam-commit-shared.mjs +22 -22
- package/src/seam-commit-transform.mjs +81 -81
- package/src/seam-commit.mjs +18 -18
- package/src/seam-cost.mjs +322 -322
- package/src/seam-derivation.mjs +188 -188
- package/src/seam-gate.mjs +146 -146
- package/src/seam-proposal-contracts.mjs +446 -446
- package/src/seam-proposal-queries.mjs +521 -521
- package/src/seam-proposal.mjs +2011 -2011
- package/src/seam-ref.mjs +33 -33
- package/src/seam-rewrite.mjs +286 -286
- package/src/seam-transform.mjs +554 -554
- package/src/seam-verification.mjs +260 -260
- package/src/sensor-adapter.mjs +432 -432
- package/src/sensor-cli.mjs +139 -139
- package/src/sensor-diff.mjs +661 -661
- package/src/sensor-node-runtime.mjs +53 -53
- package/src/sensor-runtime.mjs +52 -52
- package/src/timestamp-contract.mjs +8 -8
- package/src/todo-audit-pending.mjs +91 -91
- package/src/todo-chain.mjs +178 -178
- package/src/todo-cli.mjs +3143 -3141
- package/src/todo-contracts.mjs +728 -728
- package/src/todo-dashboard-registry.mjs +573 -573
- package/src/todo-dispatch-shape.mjs +190 -190
- package/src/todo-gantt-html-independence.mjs +239 -239
- package/src/todo-gantt-html-shared.mjs +226 -226
- package/src/todo-gantt-html-style.mjs +131 -131
- package/src/todo-gantt-html.mjs +248 -248
- package/src/todo-gantt-layout.mjs +974 -974
- package/src/todo-gantt-live.mjs +361 -361
- package/src/todo-gantt-nested.mjs +263 -263
- package/src/todo-gantt-presentation.mjs +217 -217
- package/src/todo-gantt-scope.mjs +123 -123
- package/src/todo-gantt-svg.mjs +353 -353
- package/src/todo-independence-contracts.mjs +595 -595
- package/src/todo-independence-guidance.mjs +322 -322
- package/src/todo-independence.mjs +640 -640
- package/src/todo-markdown-renderer.mjs +260 -260
- package/src/todo-migration.mjs +448 -448
- package/src/todo-narrative-anchor.mjs +130 -130
- package/src/todo-note-store.mjs +629 -629
- package/src/todo-parallel-candidates.mjs +114 -114
- package/src/todo-revision.mjs +995 -995
- package/src/todo-split.mjs +472 -472
- package/src/todo-status.mjs +690 -690
- package/src/todo-store-git-transaction.mjs +418 -418
- package/src/todo-store.mjs +4360 -4322
- package/src/treatment-compiler.mjs +728 -728
- package/src/treatment-runner.mjs +656 -656
- package/src/witness-scaffold.mjs +180 -180
|
@@ -1,163 +1,163 @@
|
|
|
1
|
-
import { selfDigest, validateExecutorPacket } from './runtime-contracts.mjs';
|
|
2
|
-
|
|
3
|
-
/**
|
|
4
|
-
* RC3-E 決定論的scripted executor adapter(ADR 0044 Decision 9)。
|
|
5
|
-
*
|
|
6
|
-
* provider非依存adapter interfaceのprimary実装。挙動はscript(TODOごとのstep列)
|
|
7
|
-
* だけで決まり、wall-clock・乱数・環境に依存しない。scripted campaign(RC3-H)が
|
|
8
|
-
* 既知の正解集合を持つ条件注入に使う。
|
|
9
|
-
*
|
|
10
|
-
* adapter interface(provider非依存契約):
|
|
11
|
-
* dispatch({ packet }) → { executor_handle, worktree_id }
|
|
12
|
-
* observe({ executor_handle }) → { state: 'running' }
|
|
13
|
-
* | { state: 'unknown' } … timeout相当
|
|
14
|
-
* | { state: 'checkpoint_ready', checkpoint }
|
|
15
|
-
* | { state: 'terminal', receipt }
|
|
16
|
-
*
|
|
17
|
-
* - 同一taskの重複dispatchはtyped rejectする(Decision 9.4)。
|
|
18
|
-
* - `unknown`はfailureではない。同一handleでの再observeだけが正規の回収経路で、
|
|
19
|
-
* scriptは`stall`stepでこの経路を決定論的に再現する。
|
|
20
|
-
* - terminal receiptはdispatch済みpacketへ帰属し(handle・worktree・packet digest)、
|
|
21
|
-
* scriptのoverridesで帰属破壊・stale epoch等の敵対条件を注入できる。
|
|
22
|
-
*/
|
|
23
|
-
|
|
24
|
-
const STEP_KINDS = new Set(['checkpoint', 'stall', 'hold_request', 'terminal']);
|
|
25
|
-
|
|
26
|
-
function fail(reason) {
|
|
27
|
-
throw new TypeError(`scripted executor契約違反: ${reason}`);
|
|
28
|
-
}
|
|
29
|
-
|
|
30
|
-
function plainRecord(value) {
|
|
31
|
-
return value !== null
|
|
32
|
-
&& typeof value === 'object'
|
|
33
|
-
&& !Array.isArray(value)
|
|
34
|
-
&& Object.getPrototypeOf(value) === Object.prototype;
|
|
35
|
-
}
|
|
36
|
-
|
|
37
|
-
function validateScript(script) {
|
|
38
|
-
if (!plainRecord(script)) fail('scriptがplain objectではない');
|
|
39
|
-
for (const [todoId, steps] of Object.entries(script)) {
|
|
40
|
-
if (!Array.isArray(steps) || steps.length === 0) fail(`script.${todoId}がstep配列ではない`);
|
|
41
|
-
for (const step of steps) {
|
|
42
|
-
if (!plainRecord(step) || !STEP_KINDS.has(step.kind)) {
|
|
43
|
-
fail(`script.${todoId}に未知のstepがある: ${String(step?.kind)}`);
|
|
44
|
-
}
|
|
45
|
-
}
|
|
46
|
-
if (steps.filter((step) => step.kind === 'terminal').length > 1) {
|
|
47
|
-
fail(`script.${todoId}のterminal stepは1つまで`);
|
|
48
|
-
}
|
|
49
|
-
}
|
|
50
|
-
}
|
|
51
|
-
|
|
52
|
-
/**
|
|
53
|
-
* script駆動のexecutor adapterを作る。
|
|
54
|
-
*/
|
|
55
|
-
export function createScriptedExecutorAdapter(options = {}) {
|
|
56
|
-
if (!plainRecord(options) || !plainRecord(options.script)) {
|
|
57
|
-
fail('createScriptedExecutorAdapter optionsが不正');
|
|
58
|
-
}
|
|
59
|
-
validateScript(options.script);
|
|
60
|
-
const script = structuredClone(options.script);
|
|
61
|
-
|
|
62
|
-
// handle → { packet, steps, cursor, terminalReported }
|
|
63
|
-
const active = new Map();
|
|
64
|
-
// 重複拒否はtodo_id単位(task_refの付け替えによる同一TODOの二重起動と、
|
|
65
|
-
// 決定論的handleの衝突・上書きを塞ぐ。review P1採用)。redispatchは
|
|
66
|
-
// RC3-Gの新context契約が新しいadapter instanceで行う。
|
|
67
|
-
const dispatchedTodoIds = new Set();
|
|
68
|
-
|
|
69
|
-
function buildReceipt(handleState, step) {
|
|
70
|
-
const { packet } = handleState;
|
|
71
|
-
const overrides = plainRecord(step.receipt_overrides) ? step.receipt_overrides : {};
|
|
72
|
-
const receipt = {
|
|
73
|
-
schema: 'lattice.executor_receipt.v1',
|
|
74
|
-
receipt_id: `${packet.todo_id}-r1`,
|
|
75
|
-
executor_handle: handleState.executorHandle,
|
|
76
|
-
worktree_id: handleState.worktreeId,
|
|
77
|
-
base_sha: packet.base_sha,
|
|
78
|
-
plan_epoch: packet.plan_epoch,
|
|
79
|
-
packet_digest: packet.packet_digest,
|
|
80
|
-
todo_id: packet.todo_id,
|
|
81
|
-
checkpoint_digest: typeof step.checkpoint_digest === 'string'
|
|
82
|
-
? step.checkpoint_digest
|
|
83
|
-
: (handleState.lastCheckpointDigest ?? 'c'.repeat(64)),
|
|
84
|
-
observed_diff: Array.isArray(step.observed_diff)
|
|
85
|
-
? structuredClone(step.observed_diff)
|
|
86
|
-
: packet.scope.writes.map((path) => ({ path, change: 'modified' })),
|
|
87
|
-
...structuredClone(overrides),
|
|
88
|
-
};
|
|
89
|
-
receipt.receipt_digest = selfDigest(receipt, 'receipt_digest');
|
|
90
|
-
return receipt;
|
|
91
|
-
}
|
|
92
|
-
|
|
93
|
-
return {
|
|
94
|
-
kind: 'scripted',
|
|
95
|
-
|
|
96
|
-
async dispatch({ packet } = {}) {
|
|
97
|
-
if (!validateExecutorPacket(packet)) fail('dispatchにはexecutor_packet.v1が必要');
|
|
98
|
-
const steps = script[packet.todo_id];
|
|
99
|
-
if (steps === undefined) fail(`scriptに存在しないTODOをdispatchできない: ${packet.todo_id}`);
|
|
100
|
-
if (dispatchedTodoIds.has(packet.todo_id)) {
|
|
101
|
-
fail(`同一TODOの重複dispatchを拒否する: ${packet.todo_id}`);
|
|
102
|
-
}
|
|
103
|
-
dispatchedTodoIds.add(packet.todo_id);
|
|
104
|
-
const executorHandle = `scripted-${packet.todo_id}-h1`;
|
|
105
|
-
const worktreeId = `wt-${packet.todo_id}`;
|
|
106
|
-
active.set(executorHandle, {
|
|
107
|
-
packet: structuredClone(packet),
|
|
108
|
-
executorHandle,
|
|
109
|
-
worktreeId,
|
|
110
|
-
steps: structuredClone(steps),
|
|
111
|
-
cursor: 0,
|
|
112
|
-
terminalReported: false,
|
|
113
|
-
lastCheckpointDigest: null,
|
|
114
|
-
});
|
|
115
|
-
return { executor_handle: executorHandle, worktree_id: worktreeId };
|
|
116
|
-
},
|
|
117
|
-
|
|
118
|
-
/**
|
|
119
|
-
* epoch rebind(Decision 7.3): content不変のままplan epochだけを更新する。
|
|
120
|
-
* 以後のterminal receiptは新epochを名乗る(packet_digestはdispatch時の
|
|
121
|
-
* ものを保持=dispatch記録への帰属は不変)。
|
|
122
|
-
*/
|
|
123
|
-
async rebind({ executor_handle: executorHandle, rebind } = {}) {
|
|
124
|
-
const handleState = active.get(executorHandle);
|
|
125
|
-
if (handleState === undefined) fail(`未知のhandleをrebindできない: ${String(executorHandle)}`);
|
|
126
|
-
if (!plainRecord(rebind) || rebind.schema !== 'lattice.epoch_rebind_packet.v1'
|
|
127
|
-
|| rebind.todo_id !== handleState.packet.todo_id) {
|
|
128
|
-
fail(`rebind packetが不正: ${String(executorHandle)}`);
|
|
129
|
-
}
|
|
130
|
-
handleState.packet.plan_epoch = rebind.new_plan_epoch;
|
|
131
|
-
return { executor_handle: executorHandle, plan_epoch: rebind.new_plan_epoch };
|
|
132
|
-
},
|
|
133
|
-
|
|
134
|
-
async observe({ executor_handle: executorHandle } = {}) {
|
|
135
|
-
const handleState = active.get(executorHandle);
|
|
136
|
-
if (handleState === undefined) fail(`未知のhandleを観測できない: ${String(executorHandle)}`);
|
|
137
|
-
if (handleState.terminalReported) {
|
|
138
|
-
fail(`terminal報告済みhandleの再観測: ${executorHandle}`);
|
|
139
|
-
}
|
|
140
|
-
if (handleState.cursor >= handleState.steps.length) {
|
|
141
|
-
return { state: 'running' };
|
|
142
|
-
}
|
|
143
|
-
const step = handleState.steps[handleState.cursor];
|
|
144
|
-
handleState.cursor += 1;
|
|
145
|
-
if (step.kind === 'stall') {
|
|
146
|
-
return { state: 'unknown' };
|
|
147
|
-
}
|
|
148
|
-
if (step.kind === 'checkpoint') {
|
|
149
|
-
if (!plainRecord(step.checkpoint)) fail('checkpoint stepにcheckpoint payloadが必要');
|
|
150
|
-
if (typeof step.checkpoint.checkpoint_digest === 'string') {
|
|
151
|
-
handleState.lastCheckpointDigest = step.checkpoint.checkpoint_digest;
|
|
152
|
-
}
|
|
153
|
-
return { state: 'checkpoint_ready', checkpoint: structuredClone(step.checkpoint) };
|
|
154
|
-
}
|
|
155
|
-
if (step.kind === 'hold_request') {
|
|
156
|
-
if (!plainRecord(step.finding)) fail('hold_request stepにfinding payloadが必要');
|
|
157
|
-
return { state: 'hold_requested', finding: structuredClone(step.finding) };
|
|
158
|
-
}
|
|
159
|
-
handleState.terminalReported = true;
|
|
160
|
-
return { state: 'terminal', receipt: buildReceipt(handleState, step) };
|
|
161
|
-
},
|
|
162
|
-
};
|
|
163
|
-
}
|
|
1
|
+
import { selfDigest, validateExecutorPacket } from './runtime-contracts.mjs';
|
|
2
|
+
|
|
3
|
+
/**
|
|
4
|
+
* RC3-E 決定論的scripted executor adapter(ADR 0044 Decision 9)。
|
|
5
|
+
*
|
|
6
|
+
* provider非依存adapter interfaceのprimary実装。挙動はscript(TODOごとのstep列)
|
|
7
|
+
* だけで決まり、wall-clock・乱数・環境に依存しない。scripted campaign(RC3-H)が
|
|
8
|
+
* 既知の正解集合を持つ条件注入に使う。
|
|
9
|
+
*
|
|
10
|
+
* adapter interface(provider非依存契約):
|
|
11
|
+
* dispatch({ packet }) → { executor_handle, worktree_id }
|
|
12
|
+
* observe({ executor_handle }) → { state: 'running' }
|
|
13
|
+
* | { state: 'unknown' } … timeout相当
|
|
14
|
+
* | { state: 'checkpoint_ready', checkpoint }
|
|
15
|
+
* | { state: 'terminal', receipt }
|
|
16
|
+
*
|
|
17
|
+
* - 同一taskの重複dispatchはtyped rejectする(Decision 9.4)。
|
|
18
|
+
* - `unknown`はfailureではない。同一handleでの再observeだけが正規の回収経路で、
|
|
19
|
+
* scriptは`stall`stepでこの経路を決定論的に再現する。
|
|
20
|
+
* - terminal receiptはdispatch済みpacketへ帰属し(handle・worktree・packet digest)、
|
|
21
|
+
* scriptのoverridesで帰属破壊・stale epoch等の敵対条件を注入できる。
|
|
22
|
+
*/
|
|
23
|
+
|
|
24
|
+
const STEP_KINDS = new Set(['checkpoint', 'stall', 'hold_request', 'terminal']);
|
|
25
|
+
|
|
26
|
+
function fail(reason) {
|
|
27
|
+
throw new TypeError(`scripted executor契約違反: ${reason}`);
|
|
28
|
+
}
|
|
29
|
+
|
|
30
|
+
function plainRecord(value) {
|
|
31
|
+
return value !== null
|
|
32
|
+
&& typeof value === 'object'
|
|
33
|
+
&& !Array.isArray(value)
|
|
34
|
+
&& Object.getPrototypeOf(value) === Object.prototype;
|
|
35
|
+
}
|
|
36
|
+
|
|
37
|
+
function validateScript(script) {
|
|
38
|
+
if (!plainRecord(script)) fail('scriptがplain objectではない');
|
|
39
|
+
for (const [todoId, steps] of Object.entries(script)) {
|
|
40
|
+
if (!Array.isArray(steps) || steps.length === 0) fail(`script.${todoId}がstep配列ではない`);
|
|
41
|
+
for (const step of steps) {
|
|
42
|
+
if (!plainRecord(step) || !STEP_KINDS.has(step.kind)) {
|
|
43
|
+
fail(`script.${todoId}に未知のstepがある: ${String(step?.kind)}`);
|
|
44
|
+
}
|
|
45
|
+
}
|
|
46
|
+
if (steps.filter((step) => step.kind === 'terminal').length > 1) {
|
|
47
|
+
fail(`script.${todoId}のterminal stepは1つまで`);
|
|
48
|
+
}
|
|
49
|
+
}
|
|
50
|
+
}
|
|
51
|
+
|
|
52
|
+
/**
|
|
53
|
+
* script駆動のexecutor adapterを作る。
|
|
54
|
+
*/
|
|
55
|
+
export function createScriptedExecutorAdapter(options = {}) {
|
|
56
|
+
if (!plainRecord(options) || !plainRecord(options.script)) {
|
|
57
|
+
fail('createScriptedExecutorAdapter optionsが不正');
|
|
58
|
+
}
|
|
59
|
+
validateScript(options.script);
|
|
60
|
+
const script = structuredClone(options.script);
|
|
61
|
+
|
|
62
|
+
// handle → { packet, steps, cursor, terminalReported }
|
|
63
|
+
const active = new Map();
|
|
64
|
+
// 重複拒否はtodo_id単位(task_refの付け替えによる同一TODOの二重起動と、
|
|
65
|
+
// 決定論的handleの衝突・上書きを塞ぐ。review P1採用)。redispatchは
|
|
66
|
+
// RC3-Gの新context契約が新しいadapter instanceで行う。
|
|
67
|
+
const dispatchedTodoIds = new Set();
|
|
68
|
+
|
|
69
|
+
function buildReceipt(handleState, step) {
|
|
70
|
+
const { packet } = handleState;
|
|
71
|
+
const overrides = plainRecord(step.receipt_overrides) ? step.receipt_overrides : {};
|
|
72
|
+
const receipt = {
|
|
73
|
+
schema: 'lattice.executor_receipt.v1',
|
|
74
|
+
receipt_id: `${packet.todo_id}-r1`,
|
|
75
|
+
executor_handle: handleState.executorHandle,
|
|
76
|
+
worktree_id: handleState.worktreeId,
|
|
77
|
+
base_sha: packet.base_sha,
|
|
78
|
+
plan_epoch: packet.plan_epoch,
|
|
79
|
+
packet_digest: packet.packet_digest,
|
|
80
|
+
todo_id: packet.todo_id,
|
|
81
|
+
checkpoint_digest: typeof step.checkpoint_digest === 'string'
|
|
82
|
+
? step.checkpoint_digest
|
|
83
|
+
: (handleState.lastCheckpointDigest ?? 'c'.repeat(64)),
|
|
84
|
+
observed_diff: Array.isArray(step.observed_diff)
|
|
85
|
+
? structuredClone(step.observed_diff)
|
|
86
|
+
: packet.scope.writes.map((path) => ({ path, change: 'modified' })),
|
|
87
|
+
...structuredClone(overrides),
|
|
88
|
+
};
|
|
89
|
+
receipt.receipt_digest = selfDigest(receipt, 'receipt_digest');
|
|
90
|
+
return receipt;
|
|
91
|
+
}
|
|
92
|
+
|
|
93
|
+
return {
|
|
94
|
+
kind: 'scripted',
|
|
95
|
+
|
|
96
|
+
async dispatch({ packet } = {}) {
|
|
97
|
+
if (!validateExecutorPacket(packet)) fail('dispatchにはexecutor_packet.v1が必要');
|
|
98
|
+
const steps = script[packet.todo_id];
|
|
99
|
+
if (steps === undefined) fail(`scriptに存在しないTODOをdispatchできない: ${packet.todo_id}`);
|
|
100
|
+
if (dispatchedTodoIds.has(packet.todo_id)) {
|
|
101
|
+
fail(`同一TODOの重複dispatchを拒否する: ${packet.todo_id}`);
|
|
102
|
+
}
|
|
103
|
+
dispatchedTodoIds.add(packet.todo_id);
|
|
104
|
+
const executorHandle = `scripted-${packet.todo_id}-h1`;
|
|
105
|
+
const worktreeId = `wt-${packet.todo_id}`;
|
|
106
|
+
active.set(executorHandle, {
|
|
107
|
+
packet: structuredClone(packet),
|
|
108
|
+
executorHandle,
|
|
109
|
+
worktreeId,
|
|
110
|
+
steps: structuredClone(steps),
|
|
111
|
+
cursor: 0,
|
|
112
|
+
terminalReported: false,
|
|
113
|
+
lastCheckpointDigest: null,
|
|
114
|
+
});
|
|
115
|
+
return { executor_handle: executorHandle, worktree_id: worktreeId };
|
|
116
|
+
},
|
|
117
|
+
|
|
118
|
+
/**
|
|
119
|
+
* epoch rebind(Decision 7.3): content不変のままplan epochだけを更新する。
|
|
120
|
+
* 以後のterminal receiptは新epochを名乗る(packet_digestはdispatch時の
|
|
121
|
+
* ものを保持=dispatch記録への帰属は不変)。
|
|
122
|
+
*/
|
|
123
|
+
async rebind({ executor_handle: executorHandle, rebind } = {}) {
|
|
124
|
+
const handleState = active.get(executorHandle);
|
|
125
|
+
if (handleState === undefined) fail(`未知のhandleをrebindできない: ${String(executorHandle)}`);
|
|
126
|
+
if (!plainRecord(rebind) || rebind.schema !== 'lattice.epoch_rebind_packet.v1'
|
|
127
|
+
|| rebind.todo_id !== handleState.packet.todo_id) {
|
|
128
|
+
fail(`rebind packetが不正: ${String(executorHandle)}`);
|
|
129
|
+
}
|
|
130
|
+
handleState.packet.plan_epoch = rebind.new_plan_epoch;
|
|
131
|
+
return { executor_handle: executorHandle, plan_epoch: rebind.new_plan_epoch };
|
|
132
|
+
},
|
|
133
|
+
|
|
134
|
+
async observe({ executor_handle: executorHandle } = {}) {
|
|
135
|
+
const handleState = active.get(executorHandle);
|
|
136
|
+
if (handleState === undefined) fail(`未知のhandleを観測できない: ${String(executorHandle)}`);
|
|
137
|
+
if (handleState.terminalReported) {
|
|
138
|
+
fail(`terminal報告済みhandleの再観測: ${executorHandle}`);
|
|
139
|
+
}
|
|
140
|
+
if (handleState.cursor >= handleState.steps.length) {
|
|
141
|
+
return { state: 'running' };
|
|
142
|
+
}
|
|
143
|
+
const step = handleState.steps[handleState.cursor];
|
|
144
|
+
handleState.cursor += 1;
|
|
145
|
+
if (step.kind === 'stall') {
|
|
146
|
+
return { state: 'unknown' };
|
|
147
|
+
}
|
|
148
|
+
if (step.kind === 'checkpoint') {
|
|
149
|
+
if (!plainRecord(step.checkpoint)) fail('checkpoint stepにcheckpoint payloadが必要');
|
|
150
|
+
if (typeof step.checkpoint.checkpoint_digest === 'string') {
|
|
151
|
+
handleState.lastCheckpointDigest = step.checkpoint.checkpoint_digest;
|
|
152
|
+
}
|
|
153
|
+
return { state: 'checkpoint_ready', checkpoint: structuredClone(step.checkpoint) };
|
|
154
|
+
}
|
|
155
|
+
if (step.kind === 'hold_request') {
|
|
156
|
+
if (!plainRecord(step.finding)) fail('hold_request stepにfinding payloadが必要');
|
|
157
|
+
return { state: 'hold_requested', finding: structuredClone(step.finding) };
|
|
158
|
+
}
|
|
159
|
+
handleState.terminalReported = true;
|
|
160
|
+
return { state: 'terminal', receipt: buildReceipt(handleState, step) };
|
|
161
|
+
},
|
|
162
|
+
};
|
|
163
|
+
}
|
|
@@ -1,104 +1,104 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* 管理runtimeのworker worktree配置(ADR 0143 / io-sentinel st-004)。
|
|
3
|
-
*
|
|
4
|
-
* **なぜ配置を契約にするのか。** supervisor daemonとscripted controllerは別プロセスであり、
|
|
5
|
-
* 両者が同じ木を指す必要がある。daemonは「どこを監視し、どこのdiffを撮るか」を知らなければ
|
|
6
|
-
* ならず、controllerは「どこへ書くか」を知らなければならない。dispatch応答は`worktree_id`しか
|
|
7
|
-
* 運ばないので、pathを応答へ足すか、配置そのものを契約にするかの二択になる。ここでは後者を採る
|
|
8
|
-
* ——**daemonが監視を張れるのはdispatchの前**であり、応答を待っていては書き込みを取り逃すからである。
|
|
9
|
-
*
|
|
10
|
-
* これが無かった頃、全TODOのbindingは同じrepo rootを指していた。sentinelの帰属はrootだけで
|
|
11
|
-
* 決まるので、共有rootでは誰が書いたかを言えず、早期警報は成立しなかった。checkpoint判定も
|
|
12
|
-
* 同じ理由で帰属を決められない。**worktreeとTODOの1対1は、装置の前提であって最適化ではない。**
|
|
13
|
-
*/
|
|
14
|
-
|
|
15
|
-
import { spawn } from 'node:child_process';
|
|
16
|
-
import { mkdir, realpath, rm } from 'node:fs/promises';
|
|
17
|
-
import path from 'node:path';
|
|
18
|
-
|
|
19
|
-
const GIT_SHA1 = /^[0-9a-f]{40}$/u;
|
|
20
|
-
|
|
21
|
-
function fail(reason) {
|
|
22
|
-
throw new TypeError(`scripted worktree契約違反: ${reason}`);
|
|
23
|
-
}
|
|
24
|
-
|
|
25
|
-
function run(command, args, cwd, { allowExitCodes = [0] } = {}) {
|
|
26
|
-
return new Promise((resolve, reject) => {
|
|
27
|
-
const child = spawn(command, args, { cwd, shell: false, stdio: ['ignore', 'pipe', 'pipe'] });
|
|
28
|
-
const stdout = [];
|
|
29
|
-
const stderr = [];
|
|
30
|
-
child.stdout.on('data', (chunk) => stdout.push(chunk));
|
|
31
|
-
child.stderr.on('data', (chunk) => stderr.push(chunk));
|
|
32
|
-
child.once('error', reject);
|
|
33
|
-
child.once('close', (code, signal) => {
|
|
34
|
-
if (allowExitCodes.includes(code) && signal === null) {
|
|
35
|
-
resolve(Object.assign(Buffer.concat(stdout), { code }));
|
|
36
|
-
} else {
|
|
37
|
-
reject(new TypeError(
|
|
38
|
-
`${command} ${args[0]} failed (${signal ?? code}): ${Buffer.concat(stderr).toString('utf8').trim()}`,
|
|
39
|
-
));
|
|
40
|
-
}
|
|
41
|
-
});
|
|
42
|
-
});
|
|
43
|
-
}
|
|
44
|
-
|
|
45
|
-
/** worktreeの名前。packet digestへ縛るので、同じpacketには必ず同じ木が対応する。 */
|
|
46
|
-
export function scriptedWorktreeId(packet) {
|
|
47
|
-
const digest = packet?.packet_digest;
|
|
48
|
-
if (typeof digest !== 'string' || !/^[0-9a-f]{64}$/u.test(digest)) {
|
|
49
|
-
fail('packet_digestが不正');
|
|
50
|
-
}
|
|
51
|
-
return `scripted-wt-${digest.slice(0, 24)}`;
|
|
52
|
-
}
|
|
53
|
-
|
|
54
|
-
/** run store配下のworktree path。runの寿命と一致するので、後片付けもrunに閉じる。 */
|
|
55
|
-
export function scriptedWorktreePath({ runDir, packet } = {}) {
|
|
56
|
-
if (typeof runDir !== 'string' || runDir.length === 0) fail('runDirが不正');
|
|
57
|
-
return path.join(runDir, 'worktrees', scriptedWorktreeId(packet), 'tree');
|
|
58
|
-
}
|
|
59
|
-
|
|
60
|
-
/**
|
|
61
|
-
* packetのbase shaでworktreeを用意する。既に在るなら作り直さない。
|
|
62
|
-
*
|
|
63
|
-
* run storeはgitignore済みなので(`requireIgnoredRunStore`)、ここに木を切っても
|
|
64
|
-
* canonical repoの`git status`は汚れない。
|
|
65
|
-
*/
|
|
66
|
-
export async function ensureScriptedWorktree({ repoRoot, runDir, packet } = {}) {
|
|
67
|
-
if (typeof repoRoot !== 'string' || repoRoot.length === 0) fail('repoRootが不正');
|
|
68
|
-
if (!GIT_SHA1.test(packet?.base_sha ?? '')) fail('packet.base_shaが不正');
|
|
69
|
-
const worktreePath = scriptedWorktreePath({ runDir, packet });
|
|
70
|
-
try {
|
|
71
|
-
return await realpath(worktreePath);
|
|
72
|
-
} catch (error) {
|
|
73
|
-
if (error?.code !== 'ENOENT') throw error;
|
|
74
|
-
}
|
|
75
|
-
await mkdir(path.dirname(worktreePath), { recursive: true, mode: 0o700 });
|
|
76
|
-
await run('git', ['worktree', 'add', '--detach', worktreePath, packet.base_sha], repoRoot);
|
|
77
|
-
return realpath(worktreePath);
|
|
78
|
-
}
|
|
79
|
-
|
|
80
|
-
/**
|
|
81
|
-
* runが持つworktreeを全て畳む。
|
|
82
|
-
*
|
|
83
|
-
* 取り残すと`git worktree list`へ積み上がり、次のrunがprune前提の状態を引き継ぐ。
|
|
84
|
-
* 失敗は握り潰さず、畳めなかったpathを添えて返す——呼び出し側が記録できる形にしておく。
|
|
85
|
-
*/
|
|
86
|
-
export async function removeScriptedWorktrees({ repoRoot, runDir } = {}) {
|
|
87
|
-
if (typeof repoRoot !== 'string' || repoRoot.length === 0) fail('repoRootが不正');
|
|
88
|
-
if (typeof runDir !== 'string' || runDir.length === 0) fail('runDirが不正');
|
|
89
|
-
const root = path.join(runDir, 'worktrees');
|
|
90
|
-
const listed = await run('git', ['worktree', 'list', '--porcelain'], repoRoot);
|
|
91
|
-
const residual = [];
|
|
92
|
-
for (const line of listed.toString('utf8').split('\n')) {
|
|
93
|
-
if (!line.startsWith('worktree ')) continue;
|
|
94
|
-
const target = line.slice('worktree '.length);
|
|
95
|
-
if (target !== root && !target.startsWith(`${root}${path.sep}`)) continue;
|
|
96
|
-
try {
|
|
97
|
-
await run('git', ['worktree', 'remove', '--force', target], repoRoot);
|
|
98
|
-
} catch {
|
|
99
|
-
residual.push(target);
|
|
100
|
-
}
|
|
101
|
-
}
|
|
102
|
-
if (residual.length === 0) await rm(root, { recursive: true, force: true });
|
|
103
|
-
return { removed_root: root, residual_paths: residual };
|
|
104
|
-
}
|
|
1
|
+
/**
|
|
2
|
+
* 管理runtimeのworker worktree配置(ADR 0143 / io-sentinel st-004)。
|
|
3
|
+
*
|
|
4
|
+
* **なぜ配置を契約にするのか。** supervisor daemonとscripted controllerは別プロセスであり、
|
|
5
|
+
* 両者が同じ木を指す必要がある。daemonは「どこを監視し、どこのdiffを撮るか」を知らなければ
|
|
6
|
+
* ならず、controllerは「どこへ書くか」を知らなければならない。dispatch応答は`worktree_id`しか
|
|
7
|
+
* 運ばないので、pathを応答へ足すか、配置そのものを契約にするかの二択になる。ここでは後者を採る
|
|
8
|
+
* ——**daemonが監視を張れるのはdispatchの前**であり、応答を待っていては書き込みを取り逃すからである。
|
|
9
|
+
*
|
|
10
|
+
* これが無かった頃、全TODOのbindingは同じrepo rootを指していた。sentinelの帰属はrootだけで
|
|
11
|
+
* 決まるので、共有rootでは誰が書いたかを言えず、早期警報は成立しなかった。checkpoint判定も
|
|
12
|
+
* 同じ理由で帰属を決められない。**worktreeとTODOの1対1は、装置の前提であって最適化ではない。**
|
|
13
|
+
*/
|
|
14
|
+
|
|
15
|
+
import { spawn } from 'node:child_process';
|
|
16
|
+
import { mkdir, realpath, rm } from 'node:fs/promises';
|
|
17
|
+
import path from 'node:path';
|
|
18
|
+
|
|
19
|
+
const GIT_SHA1 = /^[0-9a-f]{40}$/u;
|
|
20
|
+
|
|
21
|
+
function fail(reason) {
|
|
22
|
+
throw new TypeError(`scripted worktree契約違反: ${reason}`);
|
|
23
|
+
}
|
|
24
|
+
|
|
25
|
+
function run(command, args, cwd, { allowExitCodes = [0] } = {}) {
|
|
26
|
+
return new Promise((resolve, reject) => {
|
|
27
|
+
const child = spawn(command, args, { cwd, shell: false, stdio: ['ignore', 'pipe', 'pipe'] });
|
|
28
|
+
const stdout = [];
|
|
29
|
+
const stderr = [];
|
|
30
|
+
child.stdout.on('data', (chunk) => stdout.push(chunk));
|
|
31
|
+
child.stderr.on('data', (chunk) => stderr.push(chunk));
|
|
32
|
+
child.once('error', reject);
|
|
33
|
+
child.once('close', (code, signal) => {
|
|
34
|
+
if (allowExitCodes.includes(code) && signal === null) {
|
|
35
|
+
resolve(Object.assign(Buffer.concat(stdout), { code }));
|
|
36
|
+
} else {
|
|
37
|
+
reject(new TypeError(
|
|
38
|
+
`${command} ${args[0]} failed (${signal ?? code}): ${Buffer.concat(stderr).toString('utf8').trim()}`,
|
|
39
|
+
));
|
|
40
|
+
}
|
|
41
|
+
});
|
|
42
|
+
});
|
|
43
|
+
}
|
|
44
|
+
|
|
45
|
+
/** worktreeの名前。packet digestへ縛るので、同じpacketには必ず同じ木が対応する。 */
|
|
46
|
+
export function scriptedWorktreeId(packet) {
|
|
47
|
+
const digest = packet?.packet_digest;
|
|
48
|
+
if (typeof digest !== 'string' || !/^[0-9a-f]{64}$/u.test(digest)) {
|
|
49
|
+
fail('packet_digestが不正');
|
|
50
|
+
}
|
|
51
|
+
return `scripted-wt-${digest.slice(0, 24)}`;
|
|
52
|
+
}
|
|
53
|
+
|
|
54
|
+
/** run store配下のworktree path。runの寿命と一致するので、後片付けもrunに閉じる。 */
|
|
55
|
+
export function scriptedWorktreePath({ runDir, packet } = {}) {
|
|
56
|
+
if (typeof runDir !== 'string' || runDir.length === 0) fail('runDirが不正');
|
|
57
|
+
return path.join(runDir, 'worktrees', scriptedWorktreeId(packet), 'tree');
|
|
58
|
+
}
|
|
59
|
+
|
|
60
|
+
/**
|
|
61
|
+
* packetのbase shaでworktreeを用意する。既に在るなら作り直さない。
|
|
62
|
+
*
|
|
63
|
+
* run storeはgitignore済みなので(`requireIgnoredRunStore`)、ここに木を切っても
|
|
64
|
+
* canonical repoの`git status`は汚れない。
|
|
65
|
+
*/
|
|
66
|
+
export async function ensureScriptedWorktree({ repoRoot, runDir, packet } = {}) {
|
|
67
|
+
if (typeof repoRoot !== 'string' || repoRoot.length === 0) fail('repoRootが不正');
|
|
68
|
+
if (!GIT_SHA1.test(packet?.base_sha ?? '')) fail('packet.base_shaが不正');
|
|
69
|
+
const worktreePath = scriptedWorktreePath({ runDir, packet });
|
|
70
|
+
try {
|
|
71
|
+
return await realpath(worktreePath);
|
|
72
|
+
} catch (error) {
|
|
73
|
+
if (error?.code !== 'ENOENT') throw error;
|
|
74
|
+
}
|
|
75
|
+
await mkdir(path.dirname(worktreePath), { recursive: true, mode: 0o700 });
|
|
76
|
+
await run('git', ['worktree', 'add', '--detach', worktreePath, packet.base_sha], repoRoot);
|
|
77
|
+
return realpath(worktreePath);
|
|
78
|
+
}
|
|
79
|
+
|
|
80
|
+
/**
|
|
81
|
+
* runが持つworktreeを全て畳む。
|
|
82
|
+
*
|
|
83
|
+
* 取り残すと`git worktree list`へ積み上がり、次のrunがprune前提の状態を引き継ぐ。
|
|
84
|
+
* 失敗は握り潰さず、畳めなかったpathを添えて返す——呼び出し側が記録できる形にしておく。
|
|
85
|
+
*/
|
|
86
|
+
export async function removeScriptedWorktrees({ repoRoot, runDir } = {}) {
|
|
87
|
+
if (typeof repoRoot !== 'string' || repoRoot.length === 0) fail('repoRootが不正');
|
|
88
|
+
if (typeof runDir !== 'string' || runDir.length === 0) fail('runDirが不正');
|
|
89
|
+
const root = path.join(runDir, 'worktrees');
|
|
90
|
+
const listed = await run('git', ['worktree', 'list', '--porcelain'], repoRoot);
|
|
91
|
+
const residual = [];
|
|
92
|
+
for (const line of listed.toString('utf8').split('\n')) {
|
|
93
|
+
if (!line.startsWith('worktree ')) continue;
|
|
94
|
+
const target = line.slice('worktree '.length);
|
|
95
|
+
if (target !== root && !target.startsWith(`${root}${path.sep}`)) continue;
|
|
96
|
+
try {
|
|
97
|
+
await run('git', ['worktree', 'remove', '--force', target], repoRoot);
|
|
98
|
+
} catch {
|
|
99
|
+
residual.push(target);
|
|
100
|
+
}
|
|
101
|
+
}
|
|
102
|
+
if (residual.length === 0) await rm(root, { recursive: true, force: true });
|
|
103
|
+
return { removed_root: root, residual_paths: residual };
|
|
104
|
+
}
|