harnery 0.44.0 → 0.45.1

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 (138) hide show
  1. package/dist/commands/workflow.d.ts.map +1 -1
  2. package/dist/commands/workflow.js +44 -0
  3. package/dist/core/agents/coord-client.d.ts.map +1 -1
  4. package/dist/core/agents/coord-client.js +18 -0
  5. package/dist/core/agents/live-authority-v3.d.ts +0 -1
  6. package/dist/core/agents/live-authority-v3.d.ts.map +1 -1
  7. package/dist/core/agents/live-authority-v3.js +0 -11
  8. package/dist/core/agents/live-lifecycle-v3.d.ts +2 -4
  9. package/dist/core/agents/live-lifecycle-v3.d.ts.map +1 -1
  10. package/dist/core/agents/live-lifecycle-v3.js +7 -28
  11. package/dist/core/agents/state/heartbeat-writer.d.ts.map +1 -1
  12. package/dist/core/agents/state/heartbeat-writer.js +14 -25
  13. package/dist/core/agents/state/live-coordination-writer.d.ts.map +1 -1
  14. package/dist/core/agents/state/live-coordination-writer.js +0 -5
  15. package/dist/core/agents/state/pidmap.d.ts.map +1 -1
  16. package/dist/core/agents/state/pidmap.js +0 -5
  17. package/dist/core/agents/state/proc-start.d.ts +5 -6
  18. package/dist/core/agents/state/proc-start.d.ts.map +1 -1
  19. package/dist/core/agents/state/proc-start.js +13 -9
  20. package/dist/core/agents/state/process-handle.d.ts +26 -0
  21. package/dist/core/agents/state/process-handle.d.ts.map +1 -0
  22. package/dist/core/agents/state/process-handle.js +121 -0
  23. package/dist/core/agents/state/stale-sweep.d.ts.map +1 -1
  24. package/dist/core/agents/state/stale-sweep.js +70 -180
  25. package/dist/core/artifacts/activity.d.ts +4 -1
  26. package/dist/core/artifacts/activity.d.ts.map +1 -1
  27. package/dist/core/artifacts/activity.js +8 -2
  28. package/dist/core/artifacts/index.d.ts.map +1 -1
  29. package/dist/core/artifacts/index.js +38 -12
  30. package/dist/core/events/v3/authority-outbox.d.ts.map +1 -1
  31. package/dist/core/events/v3/authority-outbox.js +0 -29
  32. package/dist/core/events/v3/producers/coordination-recorder.d.ts +0 -1
  33. package/dist/core/events/v3/producers/coordination-recorder.d.ts.map +1 -1
  34. package/dist/core/events/v3/producers/coordination-recorder.js +0 -7
  35. package/dist/core/events/v3/producers/recorder.d.ts.map +1 -1
  36. package/dist/core/events/v3/producers/recorder.js +64 -77
  37. package/dist/core/hooks/cli.js +78 -48
  38. package/dist/core/resources/service.d.ts +2 -16
  39. package/dist/core/resources/service.d.ts.map +1 -1
  40. package/dist/core/resources/service.js +1 -78
  41. package/dist/core/semantic/service.d.ts.map +1 -1
  42. package/dist/core/semantic/service.js +2 -9
  43. package/dist/core/servers/index.d.ts +4 -0
  44. package/dist/core/servers/index.d.ts.map +1 -1
  45. package/dist/core/servers/index.js +21 -3
  46. package/dist/core/storage/durable-history.js +56 -22
  47. package/dist/core/storage/segments.d.ts.map +1 -1
  48. package/dist/core/storage/segments.js +73 -17
  49. package/dist/core/supervisor/service.d.ts +2 -4
  50. package/dist/core/supervisor/service.d.ts.map +1 -1
  51. package/dist/core/work/state.js +7 -7
  52. package/dist/core/workflow/engine.d.ts.map +1 -1
  53. package/dist/core/workflow/engine.js +21 -65
  54. package/dist/core/workflow/index.d.ts +4 -2
  55. package/dist/core/workflow/index.d.ts.map +1 -1
  56. package/dist/core/workflow/index.js +2 -1
  57. package/dist/core/workflow/live-session-v3.d.ts +0 -6
  58. package/dist/core/workflow/live-session-v3.d.ts.map +1 -1
  59. package/dist/core/workflow/live-session-v3.js +5 -126
  60. package/dist/core/workflow/proof.d.ts +4 -4
  61. package/dist/core/workflow/proof.d.ts.map +1 -1
  62. package/dist/core/workflow/proof.js +4 -12
  63. package/dist/core/workflow/recovery-audit.d.ts +30 -0
  64. package/dist/core/workflow/recovery-audit.d.ts.map +1 -0
  65. package/dist/core/workflow/recovery-audit.js +116 -0
  66. package/dist/core/workflow/run-state.d.ts +19 -2
  67. package/dist/core/workflow/run-state.d.ts.map +1 -1
  68. package/dist/core/workflow/run-state.js +113 -8
  69. package/dist/core/workflow/spawn-claude.d.ts.map +1 -1
  70. package/dist/core/workflow/spawn-claude.js +0 -19
  71. package/dist/core/workflow/spawn-codex.d.ts.map +1 -1
  72. package/dist/core/workflow/spawn-codex.js +0 -13
  73. package/dist/core/workflow/spawn-cursor.d.ts.map +1 -1
  74. package/dist/core/workflow/spawn-cursor.js +0 -19
  75. package/dist/core/workflow/spawn-opencode.d.ts.map +1 -1
  76. package/dist/core/workflow/spawn-opencode.js +0 -14
  77. package/dist/core/workflow/types.d.ts +11 -54
  78. package/dist/core/workflow/types.d.ts.map +1 -1
  79. package/dist/core/workflow/workspaces/local-git.d.ts.map +1 -1
  80. package/dist/core/workflow/workspaces/local-git.js +70 -14
  81. package/dist/core/workflow/workspaces/reclaim.d.ts +6 -1
  82. package/dist/core/workflow/workspaces/reclaim.d.ts.map +1 -1
  83. package/dist/core/workflow/workspaces/recovery.d.ts +2 -0
  84. package/dist/core/workflow/workspaces/recovery.d.ts.map +1 -1
  85. package/dist/core/workflow/workspaces/recovery.js +24 -0
  86. package/dist/lib/identities/assume.d.ts.map +1 -1
  87. package/dist/lib/identities/assume.js +0 -4
  88. package/package.json +1 -1
  89. package/src/commands/workflow.ts +59 -0
  90. package/src/core/agents/coord-client.ts +20 -0
  91. package/src/core/agents/live-authority-v3.ts +0 -17
  92. package/src/core/agents/live-lifecycle-v3.ts +14 -52
  93. package/src/core/agents/state/heartbeat-writer.ts +12 -29
  94. package/src/core/agents/state/live-coordination-writer.ts +0 -29
  95. package/src/core/agents/state/pidmap.ts +0 -13
  96. package/src/core/agents/state/proc-start.ts +14 -11
  97. package/src/core/agents/state/process-handle.ts +165 -0
  98. package/src/core/agents/state/stale-sweep.ts +82 -247
  99. package/src/core/artifacts/activity.ts +9 -2
  100. package/src/core/artifacts/index.ts +45 -12
  101. package/src/core/events/v3/authority-outbox.ts +0 -56
  102. package/src/core/events/v3/producers/coordination-recorder.ts +0 -15
  103. package/src/core/events/v3/producers/recorder.ts +68 -94
  104. package/src/core/hooks/cli.ts +85 -47
  105. package/src/core/resources/service.ts +3 -88
  106. package/src/core/semantic/service.ts +2 -8
  107. package/src/core/servers/index.ts +30 -3
  108. package/src/core/storage/durable-history.ts +52 -20
  109. package/src/core/storage/segments.ts +79 -17
  110. package/src/core/supervisor/service.ts +2 -3
  111. package/src/core/work/state.ts +7 -7
  112. package/src/core/workflow/engine.ts +21 -73
  113. package/src/core/workflow/index.ts +12 -1
  114. package/src/core/workflow/live-session-v3.ts +5 -146
  115. package/src/core/workflow/proof.ts +5 -21
  116. package/src/core/workflow/recovery-audit.ts +181 -0
  117. package/src/core/workflow/run-state.ts +137 -8
  118. package/src/core/workflow/spawn-claude.ts +0 -18
  119. package/src/core/workflow/spawn-codex.ts +0 -13
  120. package/src/core/workflow/spawn-cursor.ts +0 -18
  121. package/src/core/workflow/spawn-opencode.ts +0 -14
  122. package/src/core/workflow/types.ts +11 -41
  123. package/src/core/workflow/workspaces/local-git.ts +86 -15
  124. package/src/core/workflow/workspaces/reclaim.ts +4 -0
  125. package/src/core/workflow/workspaces/recovery.ts +23 -0
  126. package/src/lib/identities/assume.ts +0 -4
  127. package/dist/core/agents/state/unchanged-file.d.ts +0 -44
  128. package/dist/core/agents/state/unchanged-file.d.ts.map +0 -1
  129. package/dist/core/agents/state/unchanged-file.js +0 -390
  130. package/dist/core/events/v3/generation-custody.d.ts +0 -5
  131. package/dist/core/events/v3/generation-custody.d.ts.map +0 -1
  132. package/dist/core/events/v3/generation-custody.js +0 -50
  133. package/dist/core/workflow/failure-evidence.d.ts +0 -16
  134. package/dist/core/workflow/failure-evidence.d.ts.map +0 -1
  135. package/dist/core/workflow/failure-evidence.js +0 -114
  136. package/src/core/agents/state/unchanged-file.ts +0 -456
  137. package/src/core/events/v3/generation-custody.ts +0 -59
  138. package/src/core/workflow/failure-evidence.ts +0 -141
@@ -1,390 +0,0 @@
1
- import { closeSync, constants, fstatSync, fsyncSync, linkSync, lstatSync, mkdtempSync, openSync, readdirSync, readFileSync, readlinkSync, realpathSync, renameSync, rmdirSync, unlinkSync, writeFileSync, } from "node:fs";
2
- import { hostname } from "node:os";
3
- import { basename, dirname, join, resolve } from "node:path";
4
- import { stateFileMode } from "../../storage/modes.js";
5
- const PRIVATE_PREFIX = ".harnery-delete-";
6
- const MANIFEST = "intent.json";
7
- const PIN = "pinned";
8
- function errorMessage(error) {
9
- return error instanceof Error ? error.message : String(error);
10
- }
11
- function errorCode(error) {
12
- return error?.code;
13
- }
14
- function sameRevision(a, b, includeCtime = true) {
15
- return (a.dev === b.dev &&
16
- a.ino === b.ino &&
17
- a.size === b.size &&
18
- a.mtimeNs === b.mtimeNs &&
19
- (!includeCtime || a.ctimeNs === b.ctimeNs) &&
20
- a.bytes.equals(b.bytes));
21
- }
22
- function sameCanonicalPath(a, b) {
23
- return process.platform === "win32" ? a.toLowerCase() === b.toLowerCase() : a === b;
24
- }
25
- function processNamespace() {
26
- if (process.platform === "linux") {
27
- try {
28
- const namespace = readlinkSync("/proc/self/ns/pid");
29
- return /^pid:\[\d+\]$/.test(namespace) ? namespace : "unknown";
30
- }
31
- catch {
32
- return "unknown";
33
- }
34
- }
35
- return process.platform === "win32" || process.platform === "darwin" ? "host" : "unknown";
36
- }
37
- /** Refuse symlink parents and protocol-private paths rather than following them. */
38
- function safePath(filePath) {
39
- const path = resolve(filePath);
40
- if (basename(path).startsWith(PRIVATE_PREFIX))
41
- return null;
42
- try {
43
- if (!sameCanonicalPath(realpathSync(dirname(path)), dirname(path)))
44
- return null;
45
- return path;
46
- }
47
- catch {
48
- return null;
49
- }
50
- }
51
- /** A stable read of one regular file, including its exact bytes and revision. */
52
- export function captureFileRevision(filePath) {
53
- const path = safePath(filePath);
54
- if (!path)
55
- return null;
56
- let fd;
57
- try {
58
- const namedBefore = lstatSync(path, { bigint: true });
59
- if (!namedBefore.isFile())
60
- return null;
61
- fd = openSync(path, constants.O_RDONLY | constants.O_NOFOLLOW | constants.O_NONBLOCK);
62
- const before = fstatSync(fd, { bigint: true });
63
- const bytes = readFileSync(fd);
64
- const after = fstatSync(fd, { bigint: true });
65
- const namedAfter = lstatSync(path, { bigint: true });
66
- const snapshot = { ...before, bytes };
67
- if (!after.isFile() ||
68
- !namedAfter.isFile() ||
69
- before.size !== BigInt(bytes.length) ||
70
- !sameRevision(snapshot, { ...after, bytes }) ||
71
- !sameRevision(snapshot, { ...namedBefore, bytes }) ||
72
- !sameRevision(snapshot, { ...namedAfter, bytes })) {
73
- return null;
74
- }
75
- return {
76
- bytes,
77
- dev: before.dev,
78
- ino: before.ino,
79
- size: before.size,
80
- mtimeNs: before.mtimeNs,
81
- ctimeNs: before.ctimeNs,
82
- };
83
- }
84
- catch {
85
- return null;
86
- }
87
- finally {
88
- if (fd !== undefined)
89
- closeSync(fd);
90
- }
91
- }
92
- export function fileRevisionMatches(filePath, expected) {
93
- const actual = captureFileRevision(filePath);
94
- return actual !== null && sameRevision(actual, expected);
95
- }
96
- function capturePrivateDirectory(path) {
97
- try {
98
- const stat = lstatSync(path, { bigint: true });
99
- // Windows mode bits do not describe its ACL. The caller-owned parent's
100
- // inherited ACL defines authorized principals there; random private names
101
- // separate these operations from cooperating publishers on every platform.
102
- if (!/^\.harnery-delete-[A-Za-z0-9]{6}$/.test(basename(path)) ||
103
- !stat.isDirectory() ||
104
- (process.platform !== "win32" && (stat.mode & 63n) !== 0n) ||
105
- !sameCanonicalPath(realpathSync(path), path)) {
106
- return null;
107
- }
108
- return { path, dev: stat.dev, ino: stat.ino, birthtimeNs: stat.birthtimeNs };
109
- }
110
- catch {
111
- return null;
112
- }
113
- }
114
- function privateDirectoryMatches(expected) {
115
- const actual = capturePrivateDirectory(expected.path);
116
- return (actual !== null &&
117
- actual.dev === expected.dev &&
118
- actual.ino === expected.ino &&
119
- actual.birthtimeNs === expected.birthtimeNs);
120
- }
121
- function writeIntent(directory, intent, create) {
122
- if (!privateDirectoryMatches(directory))
123
- throw new Error("unsafe_file_deletion_directory");
124
- const target = join(directory.path, create ? MANIFEST : "intent.next");
125
- const fd = openSync(target, constants.O_WRONLY | constants.O_NOFOLLOW | constants.O_CREAT | constants.O_EXCL, stateFileMode());
126
- try {
127
- writeFileSync(fd, JSON.stringify(intent));
128
- fsyncSync(fd);
129
- }
130
- finally {
131
- closeSync(fd);
132
- }
133
- if (!create)
134
- renameSync(target, join(directory.path, MANIFEST));
135
- }
136
- function removeEmptyPrivateDirectory(directory) {
137
- if (!privateDirectoryMatches(directory))
138
- throw new Error("unsafe_file_deletion_directory");
139
- unlinkSync(join(directory.path, MANIFEST));
140
- rmdirSync(directory.path);
141
- }
142
- function present(path) {
143
- try {
144
- lstatSync(path);
145
- return true;
146
- }
147
- catch (error) {
148
- if (errorCode(error) === "ENOENT")
149
- return false;
150
- throw error;
151
- }
152
- }
153
- /**
154
- * Restore by a no-clobber hard link. A newer publication always wins its name;
155
- * an unresolved pin stays available as evidence and for restart recovery.
156
- */
157
- function restore(directory, source) {
158
- const pin = join(directory.path, PIN);
159
- const result = { recoveryPath: pin, sourcePath: source };
160
- try {
161
- if (!privateDirectoryMatches(directory) || !safePath(source)) {
162
- return { ...result, state: "retained", error: "unsafe_file_deletion_path" };
163
- }
164
- const pinned = captureFileRevision(pin);
165
- if (!pinned)
166
- return { ...result, state: "retained", error: "unsafe_file_deletion_pin" };
167
- try {
168
- linkSync(pin, source);
169
- }
170
- catch (error) {
171
- // A previous recovery may have linked successfully before it was killed.
172
- const current = captureFileRevision(source);
173
- if (errorCode(error) !== "EEXIST" || !current || !sameRevision(current, pinned)) {
174
- return { ...result, state: "retained", error: errorMessage(error) };
175
- }
176
- }
177
- if (!privateDirectoryMatches(directory)) {
178
- return { ...result, state: "retained", error: "unsafe_file_deletion_directory" };
179
- }
180
- unlinkSync(pin);
181
- removeEmptyPrivateDirectory(directory);
182
- return { ...result, state: "restored" };
183
- }
184
- catch (error) {
185
- return { ...result, state: "error", error: errorMessage(error) };
186
- }
187
- }
188
- /**
189
- * Writers must publish by atomic rename, never by an open descriptor to the old
190
- * inode. The private directory is outside their publication namespace. Moving
191
- * the row gives deletion custody over that inode without owning its live name.
192
- * The caller owns the state parent and keeps its topology stable. Its platform
193
- * permissions define which principals can modify it; this protocol does not
194
- * exclude principals already authorized to change that parent.
195
- */
196
- export function deleteFileIfUnchanged(filePath, expected, validate) {
197
- const path = safePath(filePath);
198
- if (!path ||
199
- path.split(/[\\/]/).some((part) => part.startsWith(PRIVATE_PREFIX)) ||
200
- typeof validate !== "function") {
201
- return { state: "rejected" };
202
- }
203
- const observed = { ...expected, bytes: Buffer.from(expected.bytes) };
204
- const before = captureFileRevision(path);
205
- if (!before) {
206
- try {
207
- return { state: present(path) ? "rejected" : "missing" };
208
- }
209
- catch (error) {
210
- return { state: "error", error: errorMessage(error) };
211
- }
212
- }
213
- if (!sameRevision(before, observed))
214
- return { state: "changed" };
215
- let directory;
216
- let moved = false;
217
- let intent;
218
- const retain = (state, error) => {
219
- if (!directory || !intent)
220
- return { state: "error", error: errorMessage(error) };
221
- try {
222
- writeIntent(directory, { ...intent, state: "retained" }, false);
223
- }
224
- catch {
225
- // The still-active manifest remains recoverable when its process exits.
226
- }
227
- const recovered = restore(directory, path);
228
- if (recovered.state !== "restored") {
229
- return {
230
- state: "recovery-required",
231
- recoveryPath: recovered.recoveryPath,
232
- error: error === undefined ? recovered.error : errorMessage(error),
233
- };
234
- }
235
- return state === "error" ? { state, error: errorMessage(error) } : { state };
236
- };
237
- try {
238
- const privatePath = mkdtempSync(join(dirname(path), PRIVATE_PREFIX));
239
- directory = capturePrivateDirectory(privatePath) ?? undefined;
240
- if (!directory)
241
- throw new Error("unsafe_file_deletion_directory");
242
- intent = {
243
- version: 1,
244
- source: basename(path),
245
- ownerPid: process.pid,
246
- ownerHost: hostname(),
247
- ownerPlatform: process.platform,
248
- ownerProcessNamespace: processNamespace(),
249
- state: "active",
250
- };
251
- writeIntent(directory, intent, true);
252
- const pin = join(directory.path, PIN);
253
- renameSync(path, pin);
254
- moved = true;
255
- const pinned = captureFileRevision(pin);
256
- // rename may update ctime; the pre-move check included the observed ctime.
257
- if (!pinned || !sameRevision(pinned, observed, false))
258
- return retain("changed");
259
- if (!validate({ ...pinned, bytes: Buffer.from(pinned.bytes) }))
260
- return retain("rejected");
261
- if (!privateDirectoryMatches(directory) || !fileRevisionMatches(pin, pinned) || present(path)) {
262
- return retain("changed");
263
- }
264
- unlinkSync(pin);
265
- moved = false;
266
- removeEmptyPrivateDirectory(directory);
267
- // A publication at the unlink boundary belongs to the writer, even though
268
- // the obsolete private inode was successfully removed.
269
- return { state: present(path) ? "changed" : "deleted" };
270
- }
271
- catch (error) {
272
- if (moved)
273
- return retain("error", error);
274
- if (directory && privateDirectoryMatches(directory)) {
275
- try {
276
- removeEmptyPrivateDirectory(directory);
277
- }
278
- catch {
279
- // Keep any unknown private contents rather than remove them recursively.
280
- }
281
- }
282
- return errorCode(error) === "ENOENT"
283
- ? { state: "missing" }
284
- : { state: "error", error: errorMessage(error) };
285
- }
286
- }
287
- /**
288
- * Recover same-host/platform/PID-namespace pins after process termination. File fsync
289
- * protects manifest contents; directory entries are not fsynced, so this does
290
- * not promise recovery after an OS crash or power loss.
291
- */
292
- export function recoverInterruptedFileDeletions(directoryPath, validate) {
293
- const directory = resolve(directoryPath);
294
- if (typeof validate !== "function")
295
- return [];
296
- try {
297
- if (!sameCanonicalPath(realpathSync(directory), directory))
298
- return [];
299
- const results = [];
300
- for (const entry of readdirSync(directory).sort()) {
301
- const privatePath = join(directory, entry);
302
- const privateRevision = capturePrivateDirectory(privatePath);
303
- if (!privateRevision)
304
- continue;
305
- const unknownPin = () => ({
306
- state: "error",
307
- recoveryPath: join(privatePath, PIN),
308
- error: "file_deletion_manifest_invalid",
309
- });
310
- const manifest = captureFileRevision(join(privatePath, MANIFEST));
311
- if (!manifest) {
312
- if (present(join(privatePath, PIN)))
313
- results.push(unknownPin());
314
- continue;
315
- }
316
- let intent;
317
- try {
318
- intent = JSON.parse(manifest.bytes.toString("utf8"));
319
- }
320
- catch {
321
- if (present(join(privatePath, PIN)))
322
- results.push(unknownPin());
323
- continue;
324
- }
325
- if (intent?.version !== 1 ||
326
- typeof intent.source !== "string" ||
327
- intent.source.length === 0 ||
328
- intent.source !== basename(intent.source) ||
329
- intent.source === "." ||
330
- intent.source === ".." ||
331
- intent.source.startsWith(PRIVATE_PREFIX) ||
332
- !Number.isSafeInteger(intent.ownerPid) ||
333
- intent.ownerPid <= 0 ||
334
- (intent.state !== "active" && intent.state !== "retained")) {
335
- if (present(join(privatePath, PIN)))
336
- results.push(unknownPin());
337
- continue;
338
- }
339
- const source = join(directory, intent.source);
340
- const retained = {
341
- state: "retained",
342
- recoveryPath: join(privatePath, PIN),
343
- sourcePath: source,
344
- };
345
- if (typeof intent.ownerHost !== "string" ||
346
- !intent.ownerHost ||
347
- typeof intent.ownerPlatform !== "string" ||
348
- !intent.ownerPlatform ||
349
- typeof intent.ownerProcessNamespace !== "string" ||
350
- !intent.ownerProcessNamespace ||
351
- intent.ownerProcessNamespace === "unknown" ||
352
- processNamespace() === "unknown") {
353
- results.push({ ...retained, error: "file_deletion_owner_unknown" });
354
- continue;
355
- }
356
- if (intent.ownerHost !== hostname() ||
357
- intent.ownerPlatform !== process.platform ||
358
- intent.ownerProcessNamespace !== processNamespace()) {
359
- results.push({ ...retained, error: "file_deletion_owner_foreign" });
360
- continue;
361
- }
362
- if (intent.state === "active") {
363
- try {
364
- process.kill(intent.ownerPid, 0);
365
- results.push({ ...retained, error: "file_deletion_owner_alive" });
366
- continue;
367
- }
368
- catch (error) {
369
- if (errorCode(error) !== "ESRCH") {
370
- results.push({ ...retained, error: "file_deletion_owner_unknown" });
371
- continue;
372
- }
373
- }
374
- }
375
- if (!validate(source)) {
376
- results.push({ ...retained, error: "file_deletion_recovery_rejected" });
377
- continue;
378
- }
379
- if (!present(join(privatePath, PIN))) {
380
- removeEmptyPrivateDirectory(privateRevision);
381
- continue;
382
- }
383
- results.push(restore(privateRevision, source));
384
- }
385
- return results;
386
- }
387
- catch (error) {
388
- return [{ state: "error", recoveryPath: directory, error: errorMessage(error) }];
389
- }
390
- }
@@ -1,5 +0,0 @@
1
- /** Serialize synchronous authority work with generation changes for these instances only. */
2
- export declare function withGenerationCustodyV3<T>(coordRoot: string, instanceIds: readonly string[], operation: () => T): T;
3
- /** The event already durably binds the generation; replay must not rebind its actor. */
4
- export declare function assertCurrentGenerationV3(coordRoot: string, instanceId: string, generationId: string | undefined): void;
5
- //# sourceMappingURL=generation-custody.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"generation-custody.d.ts","sourceRoot":"","sources":["../../../../src/core/events/v3/generation-custody.ts"],"names":[],"mappings":"AAQA,6FAA6F;AAC7F,wBAAgB,uBAAuB,CAAC,CAAC,EACvC,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,SAAS,MAAM,EAAE,EAC9B,SAAS,EAAE,MAAM,CAAC,GACjB,CAAC,CAiCH;AAED,wFAAwF;AACxF,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,MAAM,GAAG,SAAS,GAC/B,IAAI,CAKN"}
@@ -1,50 +0,0 @@
1
- import { createHash } from "node:crypto";
2
- import { hostname } from "node:os";
3
- import { join, resolve } from "node:path";
4
- import { acquireNoClobberLease } from "../../workflow/workspaces/leases.js";
5
- import { readHookProducerStateByInstanceV3 } from "./producers/recorder.js";
6
- const held = new Set();
7
- /** Serialize synchronous authority work with generation changes for these instances only. */
8
- export function withGenerationCustodyV3(coordRoot, instanceIds, operation) {
9
- const ids = [...new Set(instanceIds)].sort();
10
- for (const id of ids) {
11
- if (!/^inst_[a-zA-Z0-9._-]{1,128}$/.test(id)) {
12
- throw new Error("generation custody instance is invalid");
13
- }
14
- }
15
- const enter = (index) => {
16
- const id = ids[index];
17
- if (id === undefined)
18
- return operation();
19
- const key = `${resolve(coordRoot)}\0${id}`;
20
- if (held.has(key))
21
- return enter(index + 1);
22
- const authority = createHash("sha256").update(key).digest("hex");
23
- const lease = acquireNoClobberLease({
24
- // Custody spans epoch rotation; the ledger directory itself is archived.
25
- path: join(coordRoot, ".harnery", "private", "event-v3-generation-custody", authority),
26
- scope: "event-v3-generation-custody",
27
- authoritySha256: authority,
28
- // Expiry never permits stealing a live/unknown owner. A dead local process
29
- // can be recovered immediately, including after a cache-handoff crash.
30
- staleAfterMs: 1,
31
- validateStaleOwner: (owner) => owner.host === hostname() && owner.authority_sha256 === authority,
32
- });
33
- held.add(key);
34
- try {
35
- return enter(index + 1);
36
- }
37
- finally {
38
- held.delete(key);
39
- lease.release();
40
- }
41
- };
42
- return enter(0);
43
- }
44
- /** The event already durably binds the generation; replay must not rebind its actor. */
45
- export function assertCurrentGenerationV3(coordRoot, instanceId, generationId) {
46
- const current = readHookProducerStateByInstanceV3(coordRoot, instanceId);
47
- if (!generationId || !current || current.generation_id !== generationId) {
48
- throw new Error("authority_generation_changed");
49
- }
50
- }
@@ -1,16 +0,0 @@
1
- import type { AdapterRawResult } from "../adapters/types.js";
2
- import type { SpawnFailureEvidence, SpawnOutputSource, SpawnResult } from "./types.js";
3
- export declare function unknownFailureEvidence(): SpawnFailureEvidence;
4
- /** Built-in subprocess adapters observe output and process-start failures.
5
- * Their current vendor envelopes do not prove effects or native refusal.
6
- * In particular, blank output and 429/5xx statuses leave both unknown. */
7
- export declare function observeSpawnFailure(raw: Pick<AdapterRawResult, "spawnErrno" | "timedOut"> & Partial<Pick<AdapterRawResult, "stdout" | "resultFileText">>, text: string, source: SpawnOutputSource): SpawnFailureEvidence;
8
- export declare function isSpawnFailureEvidence(value: unknown): value is SpawnFailureEvidence;
9
- /** Missing observations are unknown; malformed positive claims are rejected.
10
- * This is also used when reading persisted workflow proof. */
11
- export declare function resolveFailureEvidence(value: unknown): SpawnFailureEvidence;
12
- export declare function failureEvidenceAllowsUncharged(value: unknown): boolean;
13
- /** A provider retry requires positive no-effect evidence. A missing binary is
14
- * known not to have started, but retrying that unchanged environment cannot help. */
15
- export declare function canRetryFailedSpawn(result: SpawnResult): boolean;
16
- //# sourceMappingURL=failure-evidence.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"failure-evidence.d.ts","sourceRoot":"","sources":["../../../src/core/workflow/failure-evidence.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,KAAK,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEvF,wBAAgB,sBAAsB,IAAI,oBAAoB,CAM7D;AAED;;0EAE0E;AAC1E,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,IAAI,CAAC,gBAAgB,EAAE,YAAY,GAAG,UAAU,CAAC,GACpD,OAAO,CAAC,IAAI,CAAC,gBAAgB,EAAE,QAAQ,GAAG,gBAAgB,CAAC,CAAC,EAC9D,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,iBAAiB,GACxB,oBAAoB,CAsBtB;AA+DD,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,oBAAoB,CAQpF;AAED;8DAC8D;AAC9D,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,oBAAoB,CAI3E;AAED,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAOtE;AAED;qFACqF;AACrF,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAMhE"}
@@ -1,114 +0,0 @@
1
- import { createHash } from "node:crypto";
2
- export function unknownFailureEvidence() {
3
- return {
4
- effect: { state: "unknown" },
5
- refusal: { state: "unknown" },
6
- partial_output: { state: "unknown" },
7
- };
8
- }
9
- /** Built-in subprocess adapters observe output and process-start failures.
10
- * Their current vendor envelopes do not prove effects or native refusal.
11
- * In particular, blank output and 429/5xx statuses leave both unknown. */
12
- export function observeSpawnFailure(raw, text, source) {
13
- const bytes = Buffer.byteLength(text);
14
- return {
15
- effect: raw.spawnErrno === "ENOENT" &&
16
- !raw.timedOut &&
17
- bytes === 0 &&
18
- !raw.stdout?.trim() &&
19
- !raw.resultFileText?.trim()
20
- ? { state: "none", source: "spawn_errno", reference: "ENOENT" }
21
- : { state: "unknown" },
22
- refusal: { state: "unknown" },
23
- partial_output: bytes > 0
24
- ? {
25
- state: "present",
26
- source,
27
- bytes,
28
- sha256: createHash("sha256").update(text).digest("hex"),
29
- }
30
- : { state: "absent", source },
31
- };
32
- }
33
- function record(value) {
34
- return typeof value === "object" && value !== null && !Array.isArray(value);
35
- }
36
- function keys(value, expected) {
37
- return (Object.keys(value).length === expected.length &&
38
- expected.every((key) => Object.hasOwn(value, key)));
39
- }
40
- function reference(value) {
41
- return typeof value === "string" && value.trim().length > 0 && value.length <= 512;
42
- }
43
- function validEffect(value) {
44
- if (!record(value))
45
- return false;
46
- if (value.state === "unknown")
47
- return keys(value, ["state"]);
48
- if (!keys(value, ["state", "source", "reference"]))
49
- return false;
50
- if (value.state === "none" && value.source === "spawn_errno") {
51
- return value.reference === "ENOENT";
52
- }
53
- return ((value.state === "none" || value.state === "observed") &&
54
- value.source === "adapter_evidence" &&
55
- reference(value.reference));
56
- }
57
- function validRefusal(value) {
58
- if (!record(value))
59
- return false;
60
- if (value.state === "unknown")
61
- return keys(value, ["state"]);
62
- return (keys(value, ["state", "source", "reference"]) &&
63
- value.state === "refused" &&
64
- value.source === "vendor_envelope" &&
65
- reference(value.reference));
66
- }
67
- function validOutput(value) {
68
- if (!record(value))
69
- return false;
70
- if (value.state === "unknown")
71
- return keys(value, ["state"]);
72
- if (value.source !== "final_message" &&
73
- value.source !== "vendor_envelope" &&
74
- value.source !== "stdout") {
75
- return false;
76
- }
77
- if (value.state === "absent")
78
- return keys(value, ["state", "source"]);
79
- return (value.state === "present" &&
80
- keys(value, ["state", "source", "bytes", "sha256"]) &&
81
- Number.isSafeInteger(value.bytes) &&
82
- value.bytes > 0 &&
83
- typeof value.sha256 === "string" &&
84
- /^[a-f0-9]{64}$/.test(value.sha256));
85
- }
86
- export function isSpawnFailureEvidence(value) {
87
- return (record(value) &&
88
- keys(value, ["effect", "refusal", "partial_output"]) &&
89
- validEffect(value.effect) &&
90
- validRefusal(value.refusal) &&
91
- validOutput(value.partial_output));
92
- }
93
- /** Missing observations are unknown; malformed positive claims are rejected.
94
- * This is also used when reading persisted workflow proof. */
95
- export function resolveFailureEvidence(value) {
96
- if (value === undefined)
97
- return unknownFailureEvidence();
98
- if (!isSpawnFailureEvidence(value))
99
- throw new Error("invalid spawn failure evidence");
100
- return value;
101
- }
102
- export function failureEvidenceAllowsUncharged(value) {
103
- const evidence = resolveFailureEvidence(value);
104
- return (evidence.effect.state === "none" &&
105
- evidence.refusal.state !== "refused" &&
106
- evidence.partial_output.state === "absent");
107
- }
108
- /** A provider retry requires positive no-effect evidence. A missing binary is
109
- * known not to have started, but retrying that unchanged environment cannot help. */
110
- export function canRetryFailedSpawn(result) {
111
- return (!result.ok &&
112
- result.class !== "environment" &&
113
- failureEvidenceAllowsUncharged(result.failureEvidence));
114
- }