@llm4ts/runner 3.3.0 → 4.0.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 (130) hide show
  1. package/README.md +1 -1
  2. package/dist/AgentTree.d.ts +2 -3
  3. package/dist/AgentTree.d.ts.map +1 -1
  4. package/dist/AgentTree.js +8 -20
  5. package/dist/AgentTree.js.map +1 -1
  6. package/dist/AgentTreeSurface.d.ts +1 -1
  7. package/dist/AgentTreeSurface.d.ts.map +1 -1
  8. package/dist/AgentTreeSurface.js +2 -5
  9. package/dist/AgentTreeSurface.js.map +1 -1
  10. package/dist/Cli.d.ts.map +1 -1
  11. package/dist/Cli.js +2 -1
  12. package/dist/Cli.js.map +1 -1
  13. package/dist/Connectors.d.ts +27 -2
  14. package/dist/Connectors.d.ts.map +1 -1
  15. package/dist/Connectors.js +76 -89
  16. package/dist/Connectors.js.map +1 -1
  17. package/dist/Doctor.d.ts.map +1 -1
  18. package/dist/Doctor.js +8 -11
  19. package/dist/Doctor.js.map +1 -1
  20. package/dist/EventPresentation.d.ts +35 -0
  21. package/dist/EventPresentation.d.ts.map +1 -0
  22. package/dist/EventPresentation.js +132 -0
  23. package/dist/EventPresentation.js.map +1 -0
  24. package/dist/ExecutorRoster.d.ts.map +1 -1
  25. package/dist/ExecutorRoster.js +4 -6
  26. package/dist/ExecutorRoster.js.map +1 -1
  27. package/dist/FlowArgs.d.ts +1 -1
  28. package/dist/FlowArgs.d.ts.map +1 -1
  29. package/dist/FlowArgs.js +4 -2
  30. package/dist/FlowArgs.js.map +1 -1
  31. package/dist/FlowRunner.d.ts +13 -4
  32. package/dist/FlowRunner.d.ts.map +1 -1
  33. package/dist/FlowRunner.js +50 -39
  34. package/dist/FlowRunner.js.map +1 -1
  35. package/dist/NodeGeminiCliExecutor.d.ts.map +1 -1
  36. package/dist/NodeGeminiCliExecutor.js +7 -4
  37. package/dist/NodeGeminiCliExecutor.js.map +1 -1
  38. package/dist/NodeGeminiModelBridge.d.ts.map +1 -1
  39. package/dist/NodeGeminiModelBridge.js +4 -1
  40. package/dist/NodeGeminiModelBridge.js.map +1 -1
  41. package/dist/NodeHttpClient.d.ts.map +1 -1
  42. package/dist/NodeHttpClient.js +1 -0
  43. package/dist/NodeHttpClient.js.map +1 -1
  44. package/dist/Otel.d.ts.map +1 -1
  45. package/dist/Otel.js +5 -5
  46. package/dist/Otel.js.map +1 -1
  47. package/dist/Package.d.ts.map +1 -1
  48. package/dist/Package.js +1 -0
  49. package/dist/Package.js.map +1 -1
  50. package/dist/Packs.d.ts.map +1 -1
  51. package/dist/Packs.js +2 -1
  52. package/dist/Packs.js.map +1 -1
  53. package/dist/PiModels.d.ts.map +1 -1
  54. package/dist/PiModels.js +6 -9
  55. package/dist/PiModels.js.map +1 -1
  56. package/dist/Terminal.d.ts +13 -11
  57. package/dist/Terminal.d.ts.map +1 -1
  58. package/dist/Terminal.js +24 -80
  59. package/dist/Terminal.js.map +1 -1
  60. package/dist/Tools.d.ts.map +1 -1
  61. package/dist/Tools.js +2 -1
  62. package/dist/Tools.js.map +1 -1
  63. package/dist/Transcripts.d.ts +1 -1
  64. package/dist/Transcripts.d.ts.map +1 -1
  65. package/dist/Transcripts.js +3 -2
  66. package/dist/Transcripts.js.map +1 -1
  67. package/dist/WindowsCommand.d.ts.map +1 -1
  68. package/dist/WindowsCommand.js +1 -0
  69. package/dist/WindowsCommand.js.map +1 -1
  70. package/dist/index.d.ts +1 -2
  71. package/dist/index.d.ts.map +1 -1
  72. package/dist/index.js +1 -2
  73. package/dist/index.js.map +1 -1
  74. package/package.json +9 -21
  75. package/src/AgentTree.ts +16 -25
  76. package/src/AgentTreeSurface.ts +6 -11
  77. package/src/Cli.ts +2 -1
  78. package/src/Connectors.ts +131 -107
  79. package/src/Doctor.ts +10 -12
  80. package/src/EventPresentation.ts +167 -0
  81. package/src/ExecutorRoster.ts +4 -6
  82. package/src/FlowArgs.ts +7 -2
  83. package/src/FlowRunner.ts +66 -60
  84. package/src/NodeGeminiCliExecutor.ts +8 -4
  85. package/src/NodeGeminiModelBridge.ts +5 -1
  86. package/src/NodeHttpClient.ts +1 -0
  87. package/src/Otel.ts +5 -6
  88. package/src/Package.ts +1 -0
  89. package/src/Packs.ts +2 -1
  90. package/src/PiModels.ts +6 -10
  91. package/src/Terminal.ts +104 -165
  92. package/src/Tools.ts +2 -1
  93. package/src/Transcripts.ts +3 -2
  94. package/src/WindowsCommand.ts +1 -0
  95. package/src/index.ts +3 -2
  96. package/dist/Costs.d.ts +0 -52
  97. package/dist/Costs.d.ts.map +0 -1
  98. package/dist/Costs.js +0 -95
  99. package/dist/Costs.js.map +0 -1
  100. package/dist/McpStdio.d.ts +0 -7
  101. package/dist/McpStdio.d.ts.map +0 -1
  102. package/dist/McpStdio.js +0 -19
  103. package/dist/McpStdio.js.map +0 -1
  104. package/dist/Profile.d.ts +0 -309
  105. package/dist/Profile.d.ts.map +0 -1
  106. package/dist/Profile.js +0 -967
  107. package/dist/Profile.js.map +0 -1
  108. package/dist/ReviewFingerprint.d.ts +0 -2
  109. package/dist/ReviewFingerprint.d.ts.map +0 -1
  110. package/dist/ReviewFingerprint.js +0 -13
  111. package/dist/ReviewFingerprint.js.map +0 -1
  112. package/dist/RunReaders.d.ts +0 -69
  113. package/dist/RunReaders.d.ts.map +0 -1
  114. package/dist/RunReaders.js +0 -283
  115. package/dist/RunReaders.js.map +0 -1
  116. package/dist/StoryReaders.d.ts +0 -16
  117. package/dist/StoryReaders.d.ts.map +0 -1
  118. package/dist/StoryReaders.js +0 -107
  119. package/dist/StoryReaders.js.map +0 -1
  120. package/dist/Watch.d.ts +0 -68
  121. package/dist/Watch.d.ts.map +0 -1
  122. package/dist/Watch.js +0 -261
  123. package/dist/Watch.js.map +0 -1
  124. package/src/Costs.ts +0 -148
  125. package/src/McpStdio.ts +0 -41
  126. package/src/Profile.ts +0 -1213
  127. package/src/ReviewFingerprint.ts +0 -13
  128. package/src/RunReaders.ts +0 -419
  129. package/src/StoryReaders.ts +0 -157
  130. package/src/Watch.ts +0 -446
@@ -1,13 +0,0 @@
1
- import { createHash } from "node:crypto"
2
-
3
- export const reviewFingerprint = (...parts: ReadonlyArray<string>): string => {
4
- const digest = createHash("sha256")
5
- for (const part of parts) {
6
- const bytes = Buffer.from(part, "utf8")
7
- const length = Buffer.alloc(4)
8
- length.writeUInt32BE(bytes.length)
9
- digest.update(length)
10
- digest.update(bytes)
11
- }
12
- return digest.digest("hex")
13
- }
package/src/RunReaders.ts DELETED
@@ -1,419 +0,0 @@
1
- import { join } from "node:path"
2
- import * as Effect from "effect/Effect"
3
- import * as Option from "effect/Option"
4
- import * as Schema from "effect/Schema"
5
- import { Board, BoardVersion } from "@llm4ts/flow/BoardSync"
6
- import { loadCostLedger } from "@llm4ts/flow/CostLedger"
7
- import {
8
- buildCostReport,
9
- reconcileWithLedger,
10
- usageSamplesFromTrace
11
- } from "@llm4ts/flow/CostReport"
12
- import { describeFlowError, type FlowError } from "@llm4ts/flow/FlowError"
13
- import { FlowEvent } from "@llm4ts/flow/FlowEvents"
14
- import { RunOutcome, type TraceLine } from "@llm4ts/flow/FlowRecorder"
15
- import {
16
- CostsOut,
17
- Diagnosis,
18
- RunStatus,
19
- type LaneStatusOut,
20
- type MeaningfulEvent,
21
- type OperatorRunState
22
- } from "@llm4ts/flow/OperatorSchemas"
23
- import { loadVersioned, type PlainFileStoreShape } from "@llm4ts/flow/Persistence"
24
- import { parsePlan } from "@llm4ts/flow/Plan"
25
- import { readTrace } from "@llm4ts/flow/Replay"
26
- import { emptyTree, reduceTree, treeInputsOfTrace, type TreeState } from "./AgentTree.ts"
27
- import { summarizeTree } from "./RunSummary.ts"
28
- import { loadTranscript, tailLinesOf, type TranscriptFiles } from "./Transcripts.ts"
29
-
30
- /**
31
- * Read-only answers about a run, from the files it writes: how it stands,
32
- * what happened since a sequence number, why it failed, what it cost. Every
33
- * reader takes the file store as a parameter, so a test feeds it a memory
34
- * store and the MCP operator feeds it the real one.
35
- */
36
-
37
- export class TraceUnreadable extends Schema.TaggedError<TraceUnreadable>()("TraceUnreadable", {
38
- path: Schema.String,
39
- message: Schema.String
40
- }) {}
41
-
42
- export interface RunSources {
43
- readonly files: PlainFileStoreShape
44
- /**
45
- * Relative paths of every regular file under a directory, recursively (e.g.
46
- * "task-2/1-pnpm-test.log"), never directory names; none when it does not exist.
47
- */
48
- readonly listFiles: (directory: string) => ReadonlyArray<string>
49
- }
50
-
51
- export interface TraceFold {
52
- readonly lines: ReadonlyArray<TraceLine>
53
- readonly state: TreeState
54
- readonly seq: number
55
- }
56
-
57
- const decodeEvent = Schema.decodeUnknownOption(Schema.fromJsonString(FlowEvent))
58
- const isOutcome = Schema.is(RunOutcome)
59
-
60
- const eventOf = (line: TraceLine): FlowEvent | undefined => {
61
- const raw = line.fields.event
62
- return typeof raw === "string" ? Option.getOrUndefined(decodeEvent(raw)) : undefined
63
- }
64
-
65
- const unreadable =
66
- (path: string) =>
67
- (error: FlowError): TraceUnreadable =>
68
- TraceUnreadable.make({ path, message: describeFlowError(error) })
69
-
70
- const readLines = (
71
- files: PlainFileStoreShape,
72
- path: string
73
- ): Effect.Effect<ReadonlyArray<TraceLine>, TraceUnreadable> =>
74
- readTrace(files, path).pipe(Effect.mapError(unreadable(path)))
75
-
76
- const lastSeq = (lines: ReadonlyArray<TraceLine>): number => lines[lines.length - 1]?.seq ?? 0
77
-
78
- /** The trace folded into the watch TUI's tree, seeded from the epic's board when there is one. */
79
- export const foldTrace = (
80
- files: PlainFileStoreShape,
81
- tracePath: string,
82
- boardDir?: string
83
- ): Effect.Effect<TraceFold, TraceUnreadable> =>
84
- Effect.gen(function* () {
85
- const lines = yield* readLines(files, tracePath)
86
- const board =
87
- boardDir === undefined
88
- ? undefined
89
- : yield* loadVersioned(files, join(boardDir, "board.json"), BoardVersion, Board).pipe(
90
- Effect.catch(() => Effect.succeed(undefined))
91
- )
92
- const start = emptyTree(
93
- board === undefined
94
- ? {}
95
- : {
96
- title: board.title.replace(/^Epic:\s*/u, "epic "),
97
- stories: board.items.map((item) => ({ id: item.id, status: item.status }))
98
- }
99
- )
100
- const state = treeInputsOfTrace(lines).reduce(reduceTree, start)
101
- return { lines, state, seq: lastSeq(lines) }
102
- })
103
-
104
- export const runStatusOf = (
105
- fold: TraceFold,
106
- run: {
107
- readonly runId: string
108
- readonly flow: string
109
- readonly state: OperatorRunState
110
- },
111
- now: number
112
- ): RunStatus => {
113
- const { state } = fold
114
- const lanes = state.lanes.map((lane): LaneStatusOut => {
115
- const stage = lane.stages[lane.stages.length - 1]
116
- return {
117
- id: lane.id,
118
- status: lane.status,
119
- ...(stage === undefined ? {} : { stage }),
120
- ...(lane.executor === undefined ? {} : { executor: lane.executor }),
121
- ...(lane.activity === undefined ? {} : { activity: lane.activity.text }),
122
- lastEventAgeMs: Math.max(0, Math.round(now - lane.lastEventAt)),
123
- costUsd: lane.costUsd
124
- }
125
- })
126
- const unenforceable = fold.lines.flatMap((line) => {
127
- const event = eventOf(line)
128
- return event?._tag === "CapabilityUnenforceable" ? [event.detail] : []
129
- })
130
- const end = state.ended === undefined ? now : (state.now ?? now)
131
- return RunStatus.make({
132
- runId: run.runId,
133
- state: run.state,
134
- ...(state.ended !== undefined && isOutcome(state.ended) ? { ended: state.ended } : {}),
135
- elapsedMs: state.startedAt === undefined ? 0 : Math.max(0, Math.round(end - state.startedAt)),
136
- lanes,
137
- stories: state.stories.map((story) => ({ id: story.id, status: story.status })),
138
- tokens: Math.round(state.tokens),
139
- costUsd: state.costUsd,
140
- warnings: [
141
- ...unenforceable,
142
- ...state.exclusions.map((entry) => `${entry.executor} excluded: ${entry.reason}`)
143
- ],
144
- seq: fold.seq,
145
- summary: summarizeTree(state, run.flow)
146
- })
147
- }
148
-
149
- export const meaningfulKinds: ReadonlySet<string> = new Set([
150
- "StoryStatusChanged",
151
- "StageFailed",
152
- "Aborted",
153
- "CapabilityUnenforceable",
154
- "ExecutorExcluded",
155
- "ExecutorHandedOver",
156
- "StoryJudged",
157
- "Began",
158
- "RunEnded",
159
- "CriterionChecked",
160
- "Parked"
161
- ])
162
-
163
- const textOf = (
164
- event: FlowEvent
165
- ): { readonly text: string; readonly lane?: string } | undefined => {
166
- switch (event._tag) {
167
- case "StoryStatusChanged":
168
- return { text: `story ${event.id} ${event.status}`, lane: event.id }
169
- case "CriterionChecked":
170
- return { text: `criterion ${event.tag} ${event.status}`, lane: event.story }
171
- case "Parked":
172
- return { text: `parked ${event.item}: ${event.reason}`, lane: event.story }
173
- case "StageFailed":
174
- return {
175
- text: `${event.stage} failed: ${event.message}`,
176
- ...(event.lane === undefined ? {} : { lane: event.lane })
177
- }
178
- case "Aborted":
179
- return { text: `aborted: ${event.message}` }
180
- case "CapabilityUnenforceable":
181
- return { text: `capability unenforceable: ${event.detail}` }
182
- case "ExecutorExcluded":
183
- return { text: `${event.executor} excluded: ${event.reason}` }
184
- case "ExecutorHandedOver":
185
- return {
186
- text: `${event.from} handed over ${event.role} (${event.scope}): ${event.reason}`,
187
- ...(event.label === undefined ? {} : { lane: event.label })
188
- }
189
- case "StoryJudged":
190
- return {
191
- text: `${event.lane} judged round ${event.round}: ${event.cleared ? "cleared" : `${event.issues} issues`}`,
192
- lane: event.lane
193
- }
194
- case "Began":
195
- return {
196
- text: `began ${event.kind} ${event.label}`,
197
- ...(event.lane === undefined ? {} : { lane: event.lane })
198
- }
199
- default:
200
- return undefined
201
- }
202
- }
203
-
204
- export const meaningfulEventsAfter = (
205
- lines: ReadonlyArray<TraceLine>,
206
- sinceSeq: number
207
- ): ReadonlyArray<MeaningfulEvent> =>
208
- lines.flatMap((line): ReadonlyArray<MeaningfulEvent> => {
209
- if (line.seq <= sinceSeq || !meaningfulKinds.has(line.kind)) {
210
- return []
211
- }
212
- if (line.kind === "RunEnded") {
213
- const outcome = line.fields.outcome
214
- return [
215
- {
216
- seq: line.seq,
217
- at: line.timestamp,
218
- kind: line.kind,
219
- text: `run ${typeof outcome === "string" ? outcome : "completed"}`
220
- }
221
- ]
222
- }
223
- const event = eventOf(line)
224
- const rendered = event === undefined ? undefined : textOf(event)
225
- return rendered === undefined
226
- ? []
227
- : [
228
- {
229
- seq: line.seq,
230
- at: line.timestamp,
231
- kind: line.kind,
232
- ...(rendered.lane === undefined ? {} : { lane: rendered.lane }),
233
- text: rendered.text
234
- }
235
- ]
236
- })
237
-
238
- export const eventsAfter = (
239
- lines: ReadonlyArray<TraceLine>,
240
- sinceSeq: number,
241
- kinds: ReadonlyArray<string> | undefined,
242
- limit: number
243
- ): ReadonlyArray<TraceLine> =>
244
- lines
245
- .filter(
246
- (line) =>
247
- line.seq > sinceSeq && (kinds === undefined || kinds.some((kind) => kind === line.kind))
248
- )
249
- .slice(0, Math.max(0, limit))
250
-
251
- const digestTail = 40
252
- const tailRows = 30
253
- const tailWidth = 120
254
-
255
- const quiet = <A, E>(effect: Effect.Effect<A, E>): Effect.Effect<A | undefined> =>
256
- effect.pipe(Effect.catch(() => Effect.succeed(undefined)))
257
-
258
- const capText = (text: string, remaining: number): string => text.slice(0, Math.max(0, remaining))
259
-
260
- /** The last rows of each log in a directory, within what is left of a character budget. */
261
- export const tailGateLogs = (
262
- sources: RunSources,
263
- directory: string | undefined,
264
- budget: number
265
- ): Effect.Effect<{
266
- readonly tails: ReadonlyArray<{ readonly path: string; readonly tail: string }>
267
- readonly remaining: number
268
- }> =>
269
- Effect.gen(function* () {
270
- const tails: Array<{ path: string; tail: string }> = []
271
- let remaining = budget
272
- if (directory !== undefined) {
273
- for (const name of sources.listFiles(directory)) {
274
- const path = join(directory, name)
275
- const text = yield* quiet(sources.files.read(path))
276
- if (text === undefined || remaining <= 0) continue
277
- const tail = capText(text.trimEnd().split(/\r?\n/u).slice(-tailRows).join("\n"), remaining)
278
- remaining -= tail.length
279
- tails.push({ path, tail })
280
- }
281
- }
282
- return { tails, remaining }
283
- })
284
-
285
- /** The last rows of one lane's transcript, capped to what is left of a character budget. */
286
- export const tailTranscript = (
287
- sources: RunSources,
288
- directory: string | undefined,
289
- lane: string,
290
- budget: number
291
- ): Effect.Effect<ReadonlyArray<string>> =>
292
- Effect.gen(function* () {
293
- const out: Array<string> = []
294
- if (directory === undefined) return out
295
- let remaining = budget
296
- const transcriptFiles: TranscriptFiles = {
297
- read: (path) => quiet(sources.files.read(path)),
298
- list: sources.listFiles
299
- }
300
- const entries = yield* loadTranscript(transcriptFiles, directory, { lane })
301
- const rows = tailLinesOf(entries, { lane }, undefined, tailWidth, tailRows) ?? []
302
- for (const row of rows) {
303
- if (remaining <= 0) break
304
- const kept = capText(row, remaining)
305
- remaining -= kept.length
306
- out.push(kept)
307
- }
308
- return out
309
- })
310
-
311
- export const runDiagnosisOf = (
312
- sources: RunSources,
313
- args: {
314
- readonly runId: string
315
- readonly tracePath: string
316
- readonly planPath: string | undefined
317
- readonly transcriptsDir: string | undefined
318
- readonly gateLogDir: string | undefined
319
- readonly budget: number
320
- }
321
- ): Effect.Effect<Diagnosis, TraceUnreadable> =>
322
- Effect.gen(function* () {
323
- const lines = yield* readLines(sources.files, args.tracePath)
324
- const events = lines.flatMap((line) => {
325
- const event = eventOf(line)
326
- return event === undefined ? [] : [event]
327
- })
328
- const failed = events.filter(
329
- (event) => event._tag === "StageFailed" || event._tag === "Aborted"
330
- )
331
- const last = failed[failed.length - 1]
332
- const failure =
333
- last === undefined
334
- ? undefined
335
- : last._tag === "StageFailed"
336
- ? {
337
- stage: last.stage,
338
- message: last.message,
339
- ...(last.lane === undefined ? {} : { lane: last.lane })
340
- }
341
- : last._tag === "Aborted"
342
- ? { message: last.message }
343
- : undefined
344
-
345
- const markdown =
346
- args.planPath === undefined ? undefined : yield* quiet(sources.files.read(args.planPath))
347
- const plan = markdown === undefined ? undefined : yield* quiet(parsePlan(markdown))
348
- const taskLines = (plan?.tasks ?? []).map(
349
- (task) => `- [${task.completed ? "x" : " "}] ${task.title}`
350
- )
351
- const recent = events
352
- .flatMap((event) =>
353
- event._tag === "Info"
354
- ? [event.message]
355
- : event._tag === "StageFailed"
356
- ? [`${event.stage} failed: ${event.message}`]
357
- : []
358
- )
359
- .slice(-digestTail)
360
- const digest = capText([...taskLines, ...recent].join("\n"), args.budget)
361
- const remaining = args.budget - digest.length
362
-
363
- const gateTails = yield* tailGateLogs(sources, args.gateLogDir, remaining)
364
- const transcript = yield* tailTranscript(
365
- sources,
366
- args.transcriptsDir,
367
- "run",
368
- gateTails.remaining
369
- )
370
-
371
- return Diagnosis.make({
372
- runId: args.runId,
373
- digest,
374
- ...(failure === undefined ? {} : { failure }),
375
- gateLogTails: gateTails.tails,
376
- transcriptTail: transcript
377
- })
378
- })
379
-
380
- const ledgerTolerance = 0.005
381
-
382
- const costOf = (report: {
383
- readonly measured: { readonly costUsd?: number }
384
- readonly estimated: { readonly costUsd?: number }
385
- }): number => (report.measured.costUsd ?? 0) + (report.estimated.costUsd ?? 0)
386
-
387
- /**
388
- * One run's costs: its trace folded and topped up from its `costs.jsonl`
389
- * line (`CostReport.reconcileWithLedger`), so `total` is what the run itself
390
- * printed even when the trace lost lines; `fromLedger` is how much of it the
391
- * ledger supplied. `differs` is left for a trace that says more than the
392
- * ledger, which no line can fill.
393
- */
394
- export const costsOfRun = (
395
- files: PlainFileStoreShape,
396
- tracePath: string,
397
- ledgerPath: string,
398
- runId: string
399
- ): Effect.Effect<CostsOut, TraceUnreadable> =>
400
- Effect.gen(function* () {
401
- const lines = yield* readLines(files, tracePath)
402
- const traced = usageSamplesFromTrace(lines)
403
- const records = yield* loadCostLedger(files, ledgerPath).pipe(
404
- Effect.mapError(unreadable(ledgerPath))
405
- )
406
- const record = records.find((candidate) => candidate.runId === runId)
407
- const reconciled = record === undefined ? traced : reconcileWithLedger(traced, [record]).samples
408
- const report = buildCostReport(reconciled)
409
- const total = costOf(report)
410
- const fromLedger = total - costOf(buildCostReport(traced))
411
- const ledger = record?.totalCostUsd
412
- return CostsOut.make({
413
- report,
414
- total,
415
- ...(ledger === undefined ? {} : { ledger }),
416
- ...(fromLedger > ledgerTolerance ? { fromLedger } : {}),
417
- differs: ledger !== undefined && Math.abs(total - ledger) > ledgerTolerance
418
- })
419
- })
@@ -1,157 +0,0 @@
1
- import { join } from "node:path"
2
- import * as Effect from "effect/Effect"
3
- import * as Option from "effect/Option"
4
- import * as Schema from "effect/Schema"
5
- import { describeFlowError, type FlowError } from "@llm4ts/flow/FlowError"
6
- import { Diagnosis, StoryDetail, UnknownStory } from "@llm4ts/flow/OperatorSchemas"
7
- import {
8
- loadEpicFiles,
9
- loadStoryFiles,
10
- renderStoryDigest,
11
- type RetroInputs
12
- } from "@llm4ts/flow/Retro"
13
- import { readTrace } from "@llm4ts/flow/Replay"
14
- import { makeStoryPlanStore, type Story, type StoryPlan } from "@llm4ts/flow/StoryPlan"
15
- import { TraceUnreadable, tailGateLogs, tailTranscript, type RunSources } from "./RunReaders.ts"
16
- import { loadTranscript, type TranscriptFiles } from "./Transcripts.ts"
17
-
18
- /**
19
- * Read-only answers about one story of an epic run, from the files the story
20
- * executor keeps under `<stateDir>/stories/<id>.*` and `<stateDir>/board.json`.
21
- */
22
-
23
- const safeId = /^[A-Za-z0-9][A-Za-z0-9._-]*$/u
24
-
25
- /** A story id is a file-name stem: no separators, no dots-only, nothing that climbs. */
26
- export const isSafeStoryId = (id: string): boolean => safeId.test(id)
27
-
28
- const decodeJson = Schema.decodeUnknownOption(Schema.fromJsonString(Schema.Json))
29
- const encodeJson = (value: unknown): string | undefined => JSON.stringify(value)
30
-
31
- const planPathOf = (stateDir: string): string => join(stateDir, "plan.md")
32
-
33
- const unknownStory = (storyId: string): UnknownStory =>
34
- UnknownStory.make({ message: `unknown story '${storyId}'` })
35
-
36
- /** The plan's story, or `UnknownStory` for an unsafe id, a missing plan or an id the plan lacks. */
37
- const storyOf = (
38
- sources: RunSources,
39
- stateDir: string,
40
- storyId: string
41
- ): Effect.Effect<{ readonly plan: StoryPlan; readonly story: Story }, FlowError | UnknownStory> =>
42
- Effect.gen(function* () {
43
- if (!isSafeStoryId(storyId)) {
44
- return yield* unknownStory(storyId)
45
- }
46
- const plan = yield* makeStoryPlanStore(sources.files).load(planPathOf(stateDir))
47
- const story = plan?.story(storyId)
48
- if (plan === undefined || story === undefined) {
49
- return yield* unknownStory(storyId)
50
- }
51
- return { plan, story }
52
- })
53
-
54
- export const storyDetailOf = (
55
- sources: RunSources,
56
- stateDir: string,
57
- storyId: string
58
- ): Effect.Effect<StoryDetail, FlowError | UnknownStory> =>
59
- Effect.gen(function* () {
60
- const { story } = yield* storyOf(sources, stateDir, storyId)
61
- const stored = yield* loadStoryFiles(sources.files, stateDir, story)
62
- const epic = yield* loadEpicFiles(sources.files, stateDir)
63
- const item = epic.board?.items.find((candidate) => candidate.id === storyId)
64
- const verdictText = stored.verdict === undefined ? undefined : encodeJson(stored.verdict)
65
- const verdict =
66
- verdictText === undefined ? undefined : Option.getOrUndefined(decodeJson(verdictText))
67
- const gateDir = join(stateDir, "stories", storyId, "gates")
68
- return StoryDetail.make({
69
- id: story.id,
70
- title: story.title,
71
- ...(stored.state === undefined
72
- ? {}
73
- : {
74
- state: {
75
- status: stored.state.status,
76
- branch: stored.state.branch,
77
- worktree: stored.state.worktree,
78
- ...(stored.state.executor === undefined ? {} : { executor: stored.state.executor })
79
- }
80
- }),
81
- ...(item === undefined
82
- ? {}
83
- : {
84
- board: {
85
- status: item.status,
86
- ...(item.detail === undefined ? {} : { detail: item.detail })
87
- }
88
- }),
89
- tasks: (stored.plan?.tasks ?? []).map((task) => ({
90
- title: task.title,
91
- completed: task.completed
92
- })),
93
- ...(stored.findings === undefined ? {} : { findings: stored.findings }),
94
- ...(verdict === undefined ? {} : { verdict }),
95
- gateLogs: sources.listFiles(gateDir).map((name) => join(gateDir, name))
96
- })
97
- })
98
-
99
- export const storyDiagnosisOf = (
100
- sources: RunSources,
101
- args: {
102
- readonly stateDir: string
103
- readonly storyId: string
104
- readonly runId: string
105
- readonly tracePath: string
106
- readonly transcriptsDir: string | undefined
107
- readonly budget: number
108
- }
109
- ): Effect.Effect<Diagnosis, FlowError | UnknownStory | TraceUnreadable> =>
110
- Effect.gen(function* () {
111
- const { plan, story } = yield* storyOf(sources, args.stateDir, args.storyId)
112
- const trace = yield* readTrace(sources.files, args.tracePath).pipe(
113
- Effect.mapError((error) =>
114
- TraceUnreadable.make({ path: args.tracePath, message: describeFlowError(error) })
115
- )
116
- )
117
- const stored = yield* loadStoryFiles(sources.files, args.stateDir, story)
118
- const epic = yield* loadEpicFiles(sources.files, args.stateDir)
119
- const transcriptFiles: TranscriptFiles = {
120
- read: (path) => Effect.catch(sources.files.read(path), () => Effect.succeed(undefined)),
121
- list: sources.listFiles
122
- }
123
- const entries =
124
- args.transcriptsDir === undefined
125
- ? undefined
126
- : yield* loadTranscript(transcriptFiles, args.transcriptsDir, { lane: story.id })
127
- const inputs: RetroInputs = {
128
- runId: args.runId,
129
- plan,
130
- trace,
131
- transcripts: entries === undefined ? undefined : new Map([[story.id, entries]]),
132
- report: epic.report,
133
- board: epic.board,
134
- stories: [stored]
135
- }
136
- const digest = renderStoryDigest(inputs, story.id, args.budget) ?? ""
137
- const item = epic.board?.items.find((candidate) => candidate.id === story.id)
138
- const gates = yield* tailGateLogs(
139
- sources,
140
- join(args.stateDir, "stories", story.id, "gates"),
141
- args.budget - digest.length
142
- )
143
- const transcriptTail = yield* tailTranscript(
144
- sources,
145
- args.transcriptsDir,
146
- story.id,
147
- gates.remaining
148
- )
149
- return Diagnosis.make({
150
- runId: args.runId,
151
- story: story.id,
152
- digest,
153
- ...(item?.detail === undefined ? {} : { failure: { message: item.detail, lane: story.id } }),
154
- gateLogTails: gates.tails,
155
- transcriptTail
156
- })
157
- })