@tangle-network/sandbox-cli 0.21.22 → 0.21.24

package/dist/graph-viewer/Overview-BaXPdCFC.js

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