kalfa 3.0.0.dev0__py3-none-any.whl

kalfa/board/static/diagram.css

@@ -0,0 +1,76 @@
+.kdiagram { display: flex; flex-direction: column; gap: 6px; min-width: 0; }
+.kdiagram-tools { display: flex; align-items: center; gap: 4px; flex-wrap: wrap; }
+.kdiagram-tools .tool:disabled { opacity: 0.45; cursor: default; pointer-events: none; }
+.kdiagram-hint { margin-right: 8px; }
+.kdiagram-canvas { display: block; width: 100%; background: var(--surface); border: 1px solid var(--line); border-radius: var(--radius); cursor: grab; user-select: none; touch-action: none; }
+.kdiagram-canvas.panning { cursor: grabbing; }
+
+.kdiagram-group .group-box { fill: color-mix(in srgb, var(--ink) 2.5%, transparent); stroke: var(--line-2); stroke-width: 1; }
+.kdiagram-group.depth-2 .group-box { fill: color-mix(in srgb, var(--ink) 3%, transparent); stroke-dasharray: 5 3; }
+.kdiagram-group.depth-3 .group-box, .kdiagram-group.depth-4 .group-box { fill: color-mix(in srgb, var(--ink) 3.5%, transparent); stroke-dasharray: 2 3; }
+.kdiagram-group .group-head { cursor: pointer; }
+.kdiagram-group .group-hit { fill: transparent; stroke: none; }
+.kdiagram-group .group-head:hover .group-hit { fill: color-mix(in srgb, var(--accent) 8%, transparent); }
+.kdiagram-group .group-label { font: 600 11px var(--font); fill: var(--ink-2); }
+.kdiagram-group .group-detail { font-weight: 400; fill: var(--muted); }
+.kdiagram-group .group-corner { font: 10px var(--mono); fill: var(--muted); }
+.kdiagram-group .group-head:hover .group-label { fill: var(--accent); }
+
+.kdiagram-edge .edge-line { fill: none; stroke: color-mix(in srgb, var(--muted) 75%, transparent); stroke-width: 1.3; }
+.kdiagram-edge .edge-hit { fill: none; stroke: transparent; stroke-width: 10; pointer-events: stroke; }
+.kdiagram-edge:hover .edge-line { stroke: var(--ink-2); }
+.kdiagram-edge.on .edge-line { stroke: var(--accent); stroke-width: 2; }
+.kdiagram-arrow { fill: color-mix(in srgb, var(--muted) 75%, transparent); stroke: none; }
+.kdiagram-arrow.on { fill: var(--accent); }
+.kdiagram .edge-label { font: 10px var(--mono); fill: var(--ink-2); paint-order: stroke; stroke: var(--surface); stroke-width: 3px; stroke-linejoin: round; pointer-events: none; }
+
+.kdiagram-node { cursor: pointer; --kind: var(--line-2); }
+.kdiagram-node .node-box { fill: color-mix(in srgb, var(--kind) 9%, var(--surface)); stroke: color-mix(in srgb, var(--kind) 65%, var(--line-2)); stroke-width: 1; }
+.kdiagram-node:hover .node-box { stroke: var(--kind); stroke-width: 1.6; }
+.kdiagram-node.selected .node-box { stroke: var(--accent); stroke-width: 2.2; }
+.kdiagram-node.collapsed .node-box { stroke-dasharray: 4 3; stroke-width: 1.4; }
+.kdiagram-node .node-label { font: 600 12px var(--font); fill: var(--ink); }
+.kdiagram-node .node-detail { font: 11px var(--font); fill: var(--muted); }
+.kdiagram-node .node-shape { font: 11px var(--mono); fill: var(--ink-2); }
+.kdiagram-node .node-corner { font: 10px var(--mono); fill: var(--muted); }
+
+.kdiagram-node.kind-input { --kind: var(--series-1); }
+.kdiagram-node.kind-module { --kind: var(--ink-2); }
+.kdiagram-node.kind-op { --kind: var(--series-4); }
+.kdiagram-node.kind-output { --kind: var(--series-3); }
+.kdiagram-node.kind-group { --kind: var(--muted); }
+.kdiagram-node.kind-source { --kind: var(--series-1); }
+.kdiagram-node.kind-stream { --kind: var(--series-1); }
+.kdiagram-node.kind-filter { --kind: var(--series-4); }
+.kdiagram-node.kind-drop { --kind: var(--series-8); }
+.kdiagram-node.kind-split { --kind: var(--series-7); }
+.kdiagram-node.kind-set { --kind: var(--series-3); }
+.kdiagram-node.kind-classes { --kind: var(--series-5); }
+.kdiagram-node.kind-features { --kind: var(--series-2); }
+.kdiagram-node.kind-targets { --kind: var(--series-5); }
+.kdiagram-node.kind-weights { --kind: var(--series-6); }
+.kdiagram-node.kind-chain { --kind: var(--ink-2); }
+.kdiagram-node.kind-transform { --kind: var(--ink-2); }
+.kdiagram-node.kind-tokenizer { --kind: var(--series-2); }
+.kdiagram-node.kind-windows { --kind: var(--series-6); }
+.kdiagram-node.kind-feed { --kind: var(--series-6); }
+.kdiagram-node.kind-tensor { --kind: var(--series-7); }
+.kdiagram-node.kind-batch { --kind: var(--ink); }
+
+.model-views { display: flex; gap: 2px; border-bottom: 1px solid var(--line); margin: 8px 0; overflow-x: auto; }
+.model-views .tab { background: none; border: 0; border-bottom: 2px solid transparent; cursor: pointer; font: inherit; }
+.model-views .tab.active { color: var(--accent); border-bottom-color: var(--accent); font-weight: 600; }
+.model-views .tab:disabled { opacity: 0.45; cursor: default; }
+.model-diagram { display: grid; grid-template-columns: minmax(0, 1fr) minmax(220px, 280px); gap: 12px; align-items: start; }
+.model-detail { display: flex; flex-direction: column; gap: 6px; padding: 10px; border: 1px solid var(--line); border-radius: var(--radius); background: var(--surface-2); min-width: 0; }
+.model-detail-title { display: flex; align-items: center; gap: 6px; flex-wrap: wrap; font-weight: 600; overflow-wrap: anywhere; }
+.model-detail dl { display: grid; grid-template-columns: auto minmax(0, 1fr); gap: 3px 10px; margin: 0; }
+.model-detail dt { color: var(--muted); font-size: 12px; }
+.model-detail dd { margin: 0; overflow-wrap: anywhere; font-size: 12px; }
+.model-detail ul { margin: 0; padding-left: 16px; }
+.model-detail li { font-size: 12px; overflow-wrap: anywhere; }
+.model-note { margin: 4px 0; }
+
+@media (max-width: 860px) {
+  .model-diagram { grid-template-columns: 1fr; }
+}

kalfa/board/static/format.js

@@ -0,0 +1,138 @@
+export const EMPTY = "·";
+
+export function isNumber(value) {
+  return typeof value === "number" && Number.isFinite(value);
+}
+
+function compact(text) {
+  const [mantissa, power] = text.split("e");
+  const trimmed = mantissa.indexOf(".") < 0 ? mantissa : mantissa.replace(/0+$/, "").replace(/\.$/, "");
+  return power === undefined ? trimmed : trimmed + "e" + power;
+}
+
+export function number(value, digits = 4) {
+  if (value === null || value === undefined || value === "") return EMPTY;
+  if (typeof value === "boolean") return String(value);
+  if (typeof value !== "number") return String(value);
+  if (!Number.isFinite(value)) return String(value);
+  if (value === 0) return "0";
+  if (Number.isInteger(value) && Math.abs(value) < 1e6) return String(value);
+  const exponent = Math.floor(Math.log10(Math.abs(value)));
+  if (exponent < -4 || exponent >= digits) return compact(value.toExponential(digits - 1));
+  return compact(value.toPrecision(digits));
+}
+
+export function integer(value) {
+  return isNumber(value) ? Math.round(value).toLocaleString() : EMPTY;
+}
+
+function pad(value) {
+  return String(Math.floor(value)).padStart(2, "0");
+}
+
+export function seconds(value) {
+  if (!isNumber(value)) return EMPTY;
+  if (value < 60) return value.toFixed(1) + "s";
+  if (value < 3600) return Math.floor(value / 60) + "m " + pad(value % 60) + "s";
+  return Math.floor(value / 3600) + "h " + pad((value % 3600) / 60) + "m";
+}
+
+export function moment(iso) {
+  if (!iso) return null;
+  const date = new Date(iso);
+  return Number.isNaN(date.getTime()) ? null : date;
+}
+
+export function when(iso) {
+  const date = moment(iso);
+  if (!date) return iso ? String(iso) : EMPTY;
+  const today = new Date();
+  const time = date.toLocaleTimeString([], { hour: "2-digit", minute: "2-digit" });
+  if (date.toDateString() === today.toDateString()) return time;
+  const day = date.toLocaleDateString([], { month: "short", day: "numeric" });
+  if (date.getFullYear() === today.getFullYear()) return day + " " + time;
+  return date.toLocaleDateString() + " " + time;
+}
+
+export function ago(iso) {
+  const date = moment(iso);
+  if (!date) return EMPTY;
+  const elapsed = Math.max(0, (Date.now() - date.getTime()) / 1000);
+  if (elapsed < 60) return Math.round(elapsed) + "s ago";
+  if (elapsed < 3600) return Math.round(elapsed / 60) + "m ago";
+  if (elapsed < 86400) return Math.round(elapsed / 3600) + "h ago";
+  return Math.round(elapsed / 86400) + "d ago";
+}
+
+export function percent(value, digits = 0) {
+  return isNumber(value) ? (100 * value).toFixed(digits) + "%" : EMPTY;
+}
+
+export function bytes(value) {
+  if (!isNumber(value)) return EMPTY;
+  const units = ["B", "KB", "MB", "GB", "TB"];
+  let size = value;
+  let unit = 0;
+  while (size >= 1024 && unit < units.length - 1) {
+    size /= 1024;
+    unit += 1;
+  }
+  return (unit === 0 ? String(size) : size.toFixed(size < 10 ? 1 : 0)) + " " + units[unit];
+}
+
+export function fraction(turn, total) {
+  const done = isNumber(turn) ? String(turn) : "0";
+  return isNumber(total) && total > 0 ? done + "/" + total : done;
+}
+
+export function share(turn, total) {
+  if (!isNumber(turn) || !isNumber(total) || total <= 0) return null;
+  return Math.max(0, Math.min(1, turn / total));
+}
+
+export function text(value) {
+  if (value === null || value === undefined || value === "") return EMPTY;
+  if (typeof value === "number") return number(value);
+  if (typeof value === "object") {
+    try {
+      return JSON.stringify(value);
+    } catch (error) {
+      return String(value);
+    }
+  }
+  return String(value);
+}
+
+export function bestText(best) {
+  if (!best || typeof best !== "object" || !best.series) return EMPTY;
+  return best.series + " " + number(best.value);
+}
+
+export function left(value) {
+  if (!isNumber(value)) return "";
+  if (value < 60) return "under a minute left";
+  return "about " + seconds(value) + " left";
+}
+
+export function withinText(within) {
+  if (!within || typeof within !== "object") return "";
+  const phase = within.phase && within.phase !== "train" ? String(within.phase) + " " : "";
+  const unit = String(within.unit || "batches");
+  const one = unit === "batches" ? "batch" : unit === "updates" ? "update" : unit;
+  if (isNumber(within.done) && isNumber(within.total) && within.total > 0) {
+    return phase + one + " " + within.done + " of " + within.total;
+  }
+  if (isNumber(within.done) && within.done > 0) return phase + within.done + " " + unit;
+  return phase.trim();
+}
+
+export function nonfiniteText(found) {
+  if (!found || !Array.isArray(found.series) || !found.series.length) return "";
+  const more = found.series.length > 1 ? " and " + (found.series.length - 1) + " more" : "";
+  return found.series[0] + more + " is " + (found.value || "not finite") + " from turn " + found.turn;
+}
+
+export function liveNote(summary) {
+  if (!summary || typeof summary !== "object") return "";
+  return [withinText(summary.within), left(summary.eta)].filter(Boolean).join(", ");
+}

kalfa/board/static/index.html

@@ -0,0 +1,34 @@
+<!doctype html>
+<html lang="en">
+<head>
+<meta charset="utf-8">
+<meta name="viewport" content="width=device-width, initial-scale=1">
+<title>kalfa board</title>
+<link rel="icon" type="image/svg+xml" href="data:image/svg+xml,%3Csvg%20xmlns='http://www.w3.org/2000/svg'%20viewBox='0%200%2032%2032'%3E%3Crect%20width='32'%20height='32'%20rx='7'%20fill='%232a78d6'/%3E%3Crect%20x='5'%20y='17'%20width='9'%20height='9'%20rx='2'%20fill='white'/%3E%3Crect%20x='11.5'%20y='10.5'%20width='9'%20height='9'%20rx='2'%20fill='white'%20opacity='.8'/%3E%3Crect%20x='18'%20y='4'%20width='9'%20height='9'%20rx='2'%20fill='white'%20opacity='.6'/%3E%3C/svg%3E">
+<script>
+(function () {
+  window.setTimeout(function () {
+    if (window.kalfaMounted) return;
+    var app = document.getElementById("app");
+    if (app) app.textContent = "the board did not start within ten seconds: it needs the Vue module from cdn.jsdelivr.net, which this browser could not load";
+  }, 10000);
+  var theme = null;
+  try {
+    theme = window.localStorage.getItem("kalfa.theme");
+  } catch (error) {
+    theme = null;
+  }
+  if (theme === "light" || theme === "dark") document.documentElement.setAttribute("data-theme", theme);
+})();
+</script>
+<link rel="stylesheet" href="/static/board.css">
+<link rel="stylesheet" href="/static/charts.css">
+<link rel="stylesheet" href="/static/diagram.css">
+<link rel="stylesheet" href="/static/predictions.css">
+</head>
+<body>
+<div id="app"><p class="loading">loading the board</p><noscript>kalfa board needs JavaScript and the Vue and Plotly scripts from cdn.jsdelivr.net</noscript></div>
+<script src="https://cdn.jsdelivr.net/npm/plotly.js-dist-min@2.35.2/plotly.min.js"></script>
+<script type="module" src="/static/app.js"></script>
+</body>
+</html>