@tangle-network/sandbox-cli 0.21.27 → 0.21.29

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

@@ -1,478 +0,0 @@
-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 };