@tangle-network/sandbox-cli 0.21.23 → 0.21.25

package/dist/graph-viewer/viewer/Overview-u7-8-rGx.js

@@ -0,0 +1,478 @@
+import { i as e } from "./rolldown-runtime-DArdT4gl.js";
+import { i as t, t as n } from "./jsx-runtime-BSzbUOFc.js";
+import { a as r, i, t as a } from "./popover-DrLB9iar.js";
+import { A as o, C as s, S as c, _ as l, a as u, b as d, h as f, k as p, s as m, t as h, v as g } from "./ui-DZiGjPwl.js";
+import { O as _ } from "./data-azhapQrS.js";
+import { t as v } from "./plain-words-CgvxtEOa.js";
+import { agentParam as y } from "./RunPage-ChipoSdO.js";
+//#region src/workspace/run/Overview.tsx
+var b = /* @__PURE__ */ e(t(), 1), x = n();
+function S(e, t = Infinity) {
+	if (!e) return "";
+	let n = e.replace(/\/(home|mnt|Users|tmp|private)\/\S+/g, "").replace(/\s+/g, " ").trim();
+	n = n.replace(/^(?:[\w-]+(?: [\w-]+){0,3}: )+(?=\S)/, (e) => e.split(": ").length > 2 ? "" : e), n = n.split(/(?<=[.;])\s|;\s|, the |, starting /)[0] ?? n;
+	let r = n.split(" ");
+	return (r.length > t ? `${r.slice(0, t).join(" ")}…` : n).replace(/[.;,]$/, "");
+}
+function C(e) {
+	let t = e.steps.filter(({ step: e }) => e.kind !== "waiting").map(({ step: e }) => [e.t, e.t + e.d]).sort((e, t) => e[0] - t[0]), n = [];
+	for (let [e, r] of t) {
+		let t = n[n.length - 1];
+		t && e <= t[1] + 3e4 ? t[1] = Math.max(t[1], r) : n.push([e, r]);
+	}
+	return n;
+}
+function w(e) {
+	let { m: t, doc: n, play: r, route: i } = e, a = n.view, c = n.run, l = n.execution, d = (r?.runs ?? []).filter((e) => e.id !== n.run.id && e.startedAt && n.run.startedAt && e.startedAt > n.run.startedAt).sort((e, t) => e.startedAt < t.startedAt ? -1 : 1)[0], f = (0, b.useMemo)(() => C(t), [t]), p = new Date(t.t0).toISOString().slice(0, 10) !== new Date(t.t0 + t.duration).toISOString().slice(0, 10), m = f.reduce((e, [t, n]) => e + (n - t), 0), h = t.best, g = h && h.passed !== null && h.passed !== void 0 && h.total && h.passed === h.total, v = a?.status.label ?? n.run.state, y = t.live ? `Running for ${s(t.duration)}${h ? `; best release ${h.release} passed ${h.passed}/${h.total} steps` : ", no release checked yet"}.` : g ? `Solved in ${s(t.duration)}: ${h.release} passed every step.` : `${v} after ${s(t.duration)}${h ? `; best release ${h.release} passed ${h.passed ?? 0}/${h.total ?? "?"} steps` : " with no release checked"}.`, w = S(c.ending?.reason ?? a?.blocker?.why ?? a?.blocker?.sentence, 26), D = l?.failedAttempts ?? 0, k = [w && `${w}.`, D && t.totals.lastStep !== null ? `Agents worked for ${s(m)}; ${D} later tries failed${l?.lastAttempt?.error ? `, the last on “${S(l.lastAttempt.error, 8)}”` : ""}.` : ""].filter(Boolean).join(" "), A = t.live ? "clock" : g ? "check" : "stop", j = [
+		{
+			at: n.run.startedAt,
+			title: "Run started",
+			sub: `${t.agents.length} agents${t.root?.model ? ` on ${t.root.model}` : ""}`,
+			tone: ""
+		},
+		...t.totals.lastStep === null ? [] : [{
+			at: new Date(t.t0 + t.totals.lastStep).toISOString(),
+			title: t.live ? "Latest agent step" : "Last agent step",
+			sub: `+${s(t.totals.lastStep)} into the run`,
+			tone: t.duration - t.totals.lastStep > 18e5 ? "warn" : ""
+		}],
+		...l?.lastAttempt?.error ? [{
+			at: l.lastAttempt.at ?? null,
+			title: "Last try failed",
+			sub: S(l.lastAttempt.error, 10),
+			tone: "fail"
+		}] : [],
+		t.live ? {
+			at: (/* @__PURE__ */ new Date()).toISOString(),
+			title: "Running now",
+			sub: `${t.agents.filter((e) => e.state.tone === "live").length} agents live`,
+			tone: "next"
+		} : {
+			at: c.ending?.at ?? n.run.settledAt,
+			title: v,
+			sub: d ? `continued in run ${_(n.run.play, d.id)}` : S(c.ending?.sentence, 8),
+			tone: "next"
+		}
+	];
+	return /* @__PURE__ */ (0, x.jsxs)("div", {
+		className: "rp-ov",
+		children: [
+			/* @__PURE__ */ (0, x.jsxs)("section", {
+				className: "rp-card rp-vd",
+				"aria-label": "Verdict",
+				children: [/* @__PURE__ */ (0, x.jsxs)("div", {
+					className: "rp-vd-top",
+					children: [
+						/* @__PURE__ */ (0, x.jsx)("div", {
+							className: "rp-vd-ic",
+							children: /* @__PURE__ */ (0, x.jsx)(u, {
+								name: A,
+								size: 22
+							})
+						}),
+						/* @__PURE__ */ (0, x.jsxs)("div", { children: [/* @__PURE__ */ (0, x.jsx)("h2", {
+							className: "rp-verdict",
+							children: y
+						}), k && /* @__PURE__ */ (0, x.jsx)("p", {
+							className: "rp-lede",
+							children: k
+						})] }),
+						/* @__PURE__ */ (0, x.jsxs)("div", {
+							className: "rp-vd-act",
+							children: [t.live ? /* @__PURE__ */ (0, x.jsxs)("a", {
+								className: "rp-btn primary",
+								href: i.href("timeline"),
+								children: ["Watch the timeline", /* @__PURE__ */ (0, x.jsx)(u, { name: "arrow" })]
+							}) : d ? /* @__PURE__ */ (0, x.jsxs)("a", {
+								className: "rp-btn primary",
+								href: `/run/${encodeURIComponent(d.id)}`,
+								children: [
+									"Open run ",
+									_(n.run.play, d.id),
+									/* @__PURE__ */ (0, x.jsx)(u, { name: "arrow" })
+								]
+							}) : null, /* @__PURE__ */ (0, x.jsx)("a", {
+								className: "rp-btn framed",
+								href: i.href("files"),
+								children: "Files"
+							})]
+						})
+					]
+				}), /* @__PURE__ */ (0, x.jsx)("ol", {
+					className: "rp-story",
+					children: j.map((e, t) => /* @__PURE__ */ (0, x.jsxs)("li", { children: [
+						/* @__PURE__ */ (0, x.jsx)("span", { className: `sd ${e.tone}` }),
+						/* @__PURE__ */ (0, x.jsx)("time", { children: e.at ? o(e.at, p) : "—" }),
+						/* @__PURE__ */ (0, x.jsx)("b", { children: e.title }),
+						/* @__PURE__ */ (0, x.jsx)("span", {
+							title: e.sub,
+							children: e.sub
+						})
+					] }, t))
+				})]
+			}),
+			/* @__PURE__ */ (0, x.jsx)(T, { ...e }),
+			/* @__PURE__ */ (0, x.jsxs)("div", {
+				className: "rp-ov-b",
+				children: [/* @__PURE__ */ (0, x.jsx)(E, {
+					m: t,
+					work: f,
+					working: m,
+					failed: D
+				}), /* @__PURE__ */ (0, x.jsx)(O, { ...e })]
+			})
+		]
+	});
+}
+function T({ m: e, doc: t, route: n }) {
+	let o = t.run.check, s = o?.checkerNames?.find((e) => e.current) ?? o?.checkerNames?.[0], l = v(t.input?.objective), d = (t.findings?.items ?? []).filter((e) => e.path), f = e.agents.filter((e) => e.node.hasCode).length, p = e.agents.reduce((e, t) => e + (t.commits ?? 0), 0), h = e.best, g = o?.latest ? o.latest.solved ? "Passed" : o.latest.known ? "Failed" : "No verdict" : "Not checked";
+	return /* @__PURE__ */ (0, x.jsxs)("section", {
+		className: "rp-card rp-sum",
+		"aria-label": "Summary",
+		children: [
+			/* @__PURE__ */ (0, x.jsxs)("div", { children: [
+				/* @__PURE__ */ (0, x.jsx)("h3", { children: "Goal" }),
+				/* @__PURE__ */ (0, x.jsx)("div", {
+					className: "goal",
+					children: S(l) || "Not recorded"
+				}),
+				l && /* @__PURE__ */ (0, x.jsxs)(a, { children: [/* @__PURE__ */ (0, x.jsx)(r, {
+					asChild: !0,
+					children: /* @__PURE__ */ (0, x.jsx)("button", {
+						type: "button",
+						className: "rp-link",
+						children: "Read the goal"
+					})
+				}), /* @__PURE__ */ (0, x.jsxs)(i, {
+					className: "rp-pop wide",
+					align: "start",
+					children: [/* @__PURE__ */ (0, x.jsxs)("div", {
+						className: "ph",
+						children: [/* @__PURE__ */ (0, x.jsx)("b", { children: "Goal" }), /* @__PURE__ */ (0, x.jsx)("span", { children: "as pressed" })]
+					}), /* @__PURE__ */ (0, x.jsx)("div", {
+						className: "rp-pop-goal",
+						children: l
+					})]
+				})] })
+			] }),
+			/* @__PURE__ */ (0, x.jsxs)("div", { children: [
+				/* @__PURE__ */ (0, x.jsx)("h3", { children: "Check" }),
+				/* @__PURE__ */ (0, x.jsxs)("div", {
+					className: "v",
+					children: [g === "Passed" ? /* @__PURE__ */ (0, x.jsx)(m, { tone: "ok" }) : g === "Failed" ? /* @__PURE__ */ (0, x.jsx)(m, { tone: "fail" }) : /* @__PURE__ */ (0, x.jsx)(m, { tone: "none" }), g]
+				}),
+				/* @__PURE__ */ (0, x.jsxs)("div", {
+					className: "sub",
+					children: [o?.counts?.checks ? `${s ? `Checker ${s.label}` : "The checker"} ran ${o.counts.checks} times${o.latest?.line ? `; latest: ${S(o.latest.line, 10)}` : ""}. ` : "No check has run. ", /* @__PURE__ */ (0, x.jsx)("a", {
+						href: n.href("checks"),
+						children: "Checks"
+					})]
+				})
+			] }),
+			/* @__PURE__ */ (0, x.jsxs)("div", { children: [
+				/* @__PURE__ */ (0, x.jsx)("h3", { children: "Best release" }),
+				/* @__PURE__ */ (0, x.jsx)("div", {
+					className: "v",
+					children: h ? `${h.release}${h.total ? ` · ${h.passed ?? 0}/${h.total}` : ""}` : "None"
+				}),
+				/* @__PURE__ */ (0, x.jsx)("div", {
+					className: "sub",
+					children: h ? h.sentence ? S(h.sentence, 14) : `${e.releases.length} releases checked` : e.releases.length ? `${e.releases.length} releases, none scored` : `${c(p)} commits, none tagged`
+				})
+			] }),
+			/* @__PURE__ */ (0, x.jsxs)("div", { children: [
+				/* @__PURE__ */ (0, x.jsx)("h3", { children: "Work kept" }),
+				/* @__PURE__ */ (0, x.jsxs)("div", {
+					className: "v",
+					children: [
+						c(d.length),
+						" pages · ",
+						c(f),
+						" branches"
+					]
+				}),
+				/* @__PURE__ */ (0, x.jsxs)("div", {
+					className: "files",
+					children: [d.slice(0, 3).map((e) => /* @__PURE__ */ (0, x.jsxs)("a", {
+						href: n.href("files", { file: `page:${e.path}` }),
+						title: e.path,
+						children: [/* @__PURE__ */ (0, x.jsx)(u, {
+							name: "file",
+							size: 14
+						}), /* @__PURE__ */ (0, x.jsx)("span", { children: e.path.split("/").pop() })]
+					}, e.path)), d.length > 3 && /* @__PURE__ */ (0, x.jsx)("a", {
+						href: n.href("files"),
+						children: /* @__PURE__ */ (0, x.jsxs)("span", { children: [d.length - 3, " more"] })
+					})]
+				})
+			] })
+		]
+	});
+}
+function E({ m: e, work: t, working: n, failed: r }) {
+	let i = (t) => `${Math.max(0, Math.min(100, t / Math.max(1, e.duration) * 100))}%`, a = e.duration > 36e5 ? Math.floor(e.duration / 36e5) : 0, c = new Date(e.t0).toISOString().slice(0, 10) !== new Date(e.t0 + e.duration).toISOString().slice(0, 10), l = e.duration * (c ? .16 : .08), u = a <= 10 ? 1 : Math.ceil(a / 8), f = a ? Array.from({ length: a }, (e, t) => t + 1).filter((t) => t % u === 0 && t * 36e5 >= l && (t + u) * 36e5 <= e.duration && t * 36e5 <= e.duration - l) : [], p = e.tree.filter((e) => e.restarts.length || e.state.tone === "ok").slice(0, 14), m = (t) => c ? o(new Date(e.t0 + t).toISOString(), !0).replace(" UTC", "") : d(e.t0)(t);
+	return /* @__PURE__ */ (0, x.jsxs)("section", {
+		className: "rp-card",
+		"aria-label": "Where the time went",
+		children: [/* @__PURE__ */ (0, x.jsxs)("div", {
+			className: "rp-hd sm",
+			children: [/* @__PURE__ */ (0, x.jsxs)("h2", { children: [
+				"Where the ",
+				s(e.duration),
+				" went"
+			] }), /* @__PURE__ */ (0, x.jsxs)("span", {
+				className: "end rp-keys",
+				children: [
+					/* @__PURE__ */ (0, x.jsxs)("span", {
+						className: "rp-key",
+						children: [
+							/* @__PURE__ */ (0, x.jsx)("i", { className: "work" }),
+							/* @__PURE__ */ (0, x.jsx)("b", { children: s(n) }),
+							" agents working"
+						]
+					}),
+					/* @__PURE__ */ (0, x.jsxs)("span", {
+						className: "rp-key",
+						children: [
+							/* @__PURE__ */ (0, x.jsx)("i", { className: "hatch" }),
+							/* @__PURE__ */ (0, x.jsx)("b", { children: s(Math.max(0, e.duration - n)) }),
+							" idle"
+						]
+					}),
+					r > 0 && /* @__PURE__ */ (0, x.jsxs)("span", {
+						className: "rp-key",
+						children: [
+							/* @__PURE__ */ (0, x.jsx)("span", {
+								className: "x",
+								children: "✕"
+							}),
+							/* @__PURE__ */ (0, x.jsx)("b", { children: r }),
+							" tries failed"
+						]
+					})
+				]
+			})]
+		}), /* @__PURE__ */ (0, x.jsx)("div", {
+			className: "rp-twrap",
+			children: /* @__PURE__ */ (0, x.jsxs)("div", {
+				className: "rp-tg",
+				children: [
+					/* @__PURE__ */ (0, x.jsx)("span", {
+						className: "nm h",
+						children: "Whole run"
+					}),
+					/* @__PURE__ */ (0, x.jsx)("div", {
+						className: "rp-strip",
+						role: "img",
+						"aria-label": `Agents worked ${s(n)} of ${s(e.duration)}`,
+						children: t.map(([e, t], n) => /* @__PURE__ */ (0, x.jsx)("i", { style: {
+							left: i(e),
+							width: `max(1px, calc(${i(t)} - ${i(e)}))`
+						} }, n))
+					}),
+					/* @__PURE__ */ (0, x.jsx)("span", {
+						className: "ct",
+						children: s(e.duration)
+					}),
+					/* @__PURE__ */ (0, x.jsx)("span", {}),
+					/* @__PURE__ */ (0, x.jsxs)("div", {
+						className: "rp-strip-ax",
+						children: [
+							/* @__PURE__ */ (0, x.jsx)("span", {
+								className: "first",
+								style: { left: 0 },
+								children: m(0)
+							}),
+							f.map((e) => /* @__PURE__ */ (0, x.jsxs)("span", {
+								className: e % 4 ? "ph-hide" : void 0,
+								style: { left: i(e * 36e5) },
+								children: [e, "h"]
+							}, e)),
+							/* @__PURE__ */ (0, x.jsx)("span", {
+								className: "last",
+								style: { left: "100%" },
+								children: m(e.duration)
+							})
+						]
+					}),
+					/* @__PURE__ */ (0, x.jsx)("span", {}),
+					p.length > 0 && /* @__PURE__ */ (0, x.jsxs)(x.Fragment, { children: [/* @__PURE__ */ (0, x.jsxs)("div", {
+						className: "rp-tries-h",
+						children: [/* @__PURE__ */ (0, x.jsx)("b", { children: "Restarts by agent" }), /* @__PURE__ */ (0, x.jsxs)("span", {
+							className: "end rp-keys",
+							children: [/* @__PURE__ */ (0, x.jsxs)("span", {
+								className: "rp-key",
+								children: [/* @__PURE__ */ (0, x.jsx)("span", {
+									className: "x",
+									children: "✕"
+								}), "Restart"]
+							}), /* @__PURE__ */ (0, x.jsxs)("span", {
+								className: "rp-key",
+								children: [/* @__PURE__ */ (0, x.jsx)("span", { className: "rp-dot ok" }), "Done"]
+							})]
+						})]
+					}), p.map((t) => /* @__PURE__ */ (0, x.jsx)(D, {
+						m: e,
+						a: t,
+						X: i
+					}, t.id))] })
+				]
+			})
+		})]
+	});
+}
+function D({ m: e, a: t, X: n }) {
+	let r = f(() => /* @__PURE__ */ (0, x.jsx)(h, {
+		m: e,
+		a: t
+	}), { wide: t.tools.length > 0 });
+	return /* @__PURE__ */ (0, x.jsxs)(x.Fragment, { children: [
+		/* @__PURE__ */ (0, x.jsx)("span", {
+			className: "nm",
+			title: t.name,
+			children: t.name
+		}),
+		/* @__PURE__ */ (0, x.jsxs)("div", {
+			className: "rp-tr-row",
+			tabIndex: 0,
+			"aria-label": `${t.name}: ${t.restarts.length} restarts`,
+			...r,
+			children: [
+				/* @__PURE__ */ (0, x.jsx)("span", {
+					className: "life",
+					style: {
+						left: n(Math.max(0, t.start ?? 0)),
+						right: `calc(100% - ${n(t.end ?? e.duration)})`
+					}
+				}),
+				t.restarts.map((e, t) => /* @__PURE__ */ (0, x.jsx)("span", {
+					className: "mk",
+					style: { left: n(e) },
+					children: "✕"
+				}, t)),
+				t.state.tone === "ok" && t.end !== null && /* @__PURE__ */ (0, x.jsx)("span", {
+					className: "mk ok",
+					style: { left: n(t.end) }
+				})
+			]
+		}),
+		/* @__PURE__ */ (0, x.jsx)("span", {
+			className: "ct",
+			children: t.restarts.length || "—"
+		})
+	] });
+}
+function O({ m: e, route: t, doc: n }) {
+	let r = (0, b.useMemo)(() => [...e.agents].sort((e, t) => (t.tokens ?? -1) - (e.tokens ?? -1)), [e]), i = (0, b.useRef)(null), a = l(i, r.length, 32), o = e.totals.lastStep ?? e.duration, s = (0, b.useMemo)(() => {
+		let t = 1;
+		for (let n of e.agents) {
+			let e = Array(28).fill(0);
+			for (let t of n.steps) t.t <= o && e[Math.min(27, Math.floor(t.t / Math.max(1, o) * 28))]++;
+			t = Math.max(t, ...e);
+		}
+		return t;
+	}, [e, o]);
+	return /* @__PURE__ */ (0, x.jsxs)("section", {
+		className: "rp-card",
+		"aria-label": "Agents",
+		children: [
+			/* @__PURE__ */ (0, x.jsxs)("div", {
+				className: "rp-hd sm",
+				children: [/* @__PURE__ */ (0, x.jsxs)("h2", { children: ["Agents", /* @__PURE__ */ (0, x.jsx)("span", {
+					className: "ct",
+					children: e.agents.length
+				})] }), /* @__PURE__ */ (0, x.jsx)("span", {
+					className: "end",
+					children: /* @__PURE__ */ (0, x.jsxs)("a", {
+						className: "rp-btn sm",
+						href: t.href("topology"),
+						children: ["Topology", /* @__PURE__ */ (0, x.jsx)(u, {
+							name: "arrow",
+							size: 14
+						})]
+					})
+				})]
+			}),
+			/* @__PURE__ */ (0, x.jsxs)("div", {
+				className: "rp-agt-h",
+				children: [
+					/* @__PURE__ */ (0, x.jsx)("span", {}),
+					/* @__PURE__ */ (0, x.jsx)("span", { children: "Agent" }),
+					/* @__PURE__ */ (0, x.jsx)("span", {
+						className: "ph-hide",
+						children: p(e.t0, 0, o)
+					}),
+					/* @__PURE__ */ (0, x.jsx)("span", { children: "Steps" }),
+					/* @__PURE__ */ (0, x.jsx)("span", { children: "Tokens" })
+				]
+			}),
+			/* @__PURE__ */ (0, x.jsxs)("div", {
+				className: "rp-scroll",
+				ref: i,
+				children: [
+					/* @__PURE__ */ (0, x.jsx)("div", { style: { height: a.before } }),
+					r.slice(a.first, a.last).map((r) => /* @__PURE__ */ (0, x.jsx)(k, {
+						m: e,
+						a: r,
+						bins: 28,
+						end: o,
+						peak: s,
+						href: t.href("timeline", { agent: y(n.run.id, r.id) })
+					}, r.id)),
+					/* @__PURE__ */ (0, x.jsx)("div", { style: { height: a.after } })
+				]
+			})
+		]
+	});
+}
+function k({ m: e, a: t, bins: n, end: r, peak: i, href: a }) {
+	let o = f(() => /* @__PURE__ */ (0, x.jsx)(h, {
+		m: e,
+		a: t
+	}), { wide: t.tools.length > 0 }), s = Array(n).fill(0);
+	for (let e of t.steps) e.t <= r && s[Math.min(n - 1, Math.floor(e.t / Math.max(1, r) * n))]++;
+	let l = 120 / n;
+	return /* @__PURE__ */ (0, x.jsxs)("a", {
+		className: "rp-agt",
+		href: a,
+		...o,
+		children: [
+			/* @__PURE__ */ (0, x.jsx)(m, { tone: t.state.tone }),
+			/* @__PURE__ */ (0, x.jsx)("span", {
+				className: "nm",
+				children: t.name
+			}),
+			/* @__PURE__ */ (0, x.jsxs)("svg", {
+				className: "ph-hide",
+				viewBox: "0 0 120 20",
+				"aria-hidden": "true",
+				children: [/* @__PURE__ */ (0, x.jsx)("line", {
+					x1: "0",
+					x2: "120",
+					y1: "19.5",
+					y2: "19.5",
+					className: "base"
+				}), s.map((e, t) => {
+					let n = e ? Math.max(4, Math.sqrt(e / i) * 18) : 0;
+					return n ? /* @__PURE__ */ (0, x.jsx)("rect", {
+						x: t * l + .5,
+						width: l - 1.2,
+						y: 19 - n,
+						height: n,
+						rx: "0.8"
+					}, t) : null;
+				})]
+			}),
+			/* @__PURE__ */ (0, x.jsx)("span", {
+				className: "v",
+				children: t.steps.length ? c(t.steps.length) : "—"
+			}),
+			/* @__PURE__ */ (0, x.jsx)("span", {
+				className: "v",
+				children: t.tokens === null ? "—" : g(t.tokens)
+			})
+		]
+	});
+}
+//#endregion
+export { w as Overview, S as clause };