@sponsio/sdk 0.1.0-alpha.3

package/dist/render/components.d.ts

@@ -0,0 +1,23 @@
+/** Top banner: ``━━━ ◒◓ Sponsio ━━━ tagline ━━━━━━━━━━``. */
+export declare function headerBanner(useColor: boolean, tagline?: string): string;
+/** Bottom banner: ``━━━ VERDICT ━━━ BLOCKED ━━━━━━━━━━``. */
+export declare function verdictBanner(status: string, useColor: boolean, label?: string): string;
+/** Inside-zone divider: ``contracts armed ──────────────``. */
+export declare function sectionRule(label: string, useColor: boolean): string;
+/** Header metadata grid — three columns × N rows. */
+export declare function headerMeta(pairs: [string, string][], useColor: boolean): string[];
+export declare function contractsTable(rows: [string, string, string][], useColor: boolean): string[];
+export interface TraceRow {
+    /** Indent prefix already including any ``├─`` / ``└─`` / ``│`` leaders. */
+    prefix: string;
+    /** Body text already ansi-styled. */
+    body: string;
+}
+export declare function eventLine(tsLabel: string, toolName: string, service: string, argsSummary: string, latency: string, isLast: boolean, useColor: boolean): string;
+export declare function assumeLine(alias: string, summary: string, useColor: boolean): string;
+export declare function stateTransitionLine(alias: string, newState: string, useColor: boolean): string;
+export declare function enforceViolationLine(alias: string, summary: string, status: string, useColor: boolean): string;
+export declare function verdictSummary(blocked: number, warnings: number, totalTurns: number, useColor: boolean): string;
+export declare function perfLine(totalChecks: number, detPct: number, llmCalls: number, useColor: boolean): string;
+export declare function ctaLine(ctas: string[], useColor: boolean): string;
+//# sourceMappingURL=components.d.ts.map

package/dist/render/components.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"components.d.ts","sourceRoot":"","sources":["../../src/render/components.ts"],"names":[],"mappings":"AAcA,6DAA6D;AAC7D,wBAAgB,YAAY,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,SAAiC,GAAG,MAAM,CAUhG;AAED,6DAA6D;AAC7D,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,SAAY,GAAG,MAAM,CAU1F;AAED,+DAA+D;AAC/D,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,MAAM,CAMpE;AAED,qDAAqD;AACrD,wBAAgB,UAAU,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,GAAG,MAAM,EAAE,CAOjF;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,GAAG,MAAM,EAAE,CAY5F;AAED,MAAM,WAAW,QAAQ;IACvB,2EAA2E;IAC3E,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAC;CACd;AASD,wBAAgB,SAAS,CACvB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,OAAO,EACf,QAAQ,EAAE,OAAO,GAChB,MAAM,CAgBR;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,MAAM,CAMpF;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,MAAM,CAM9F;AAED,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,OAAO,GAChB,MAAM,CAQR;AAED,wBAAgB,cAAc,CAC5B,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,OAAO,GAChB,MAAM,CASR;AAED,wBAAgB,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,MAAM,CAOzG;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,GAAG,MAAM,CAEjE"}

package/dist/render/components.js

@@ -0,0 +1,133 @@
+/**
+ * Render primitives — banner / table / trace lines / verdict.
+ *
+ * Each function takes data and returns the lines to write (already
+ * ANSI-styled when ``useColor`` is true). Composition happens in
+ * ``session-view.ts``.
+ */
+import { PALETTE, STATUS, SYMBOLS, ansi, pad, truncate } from "./tokens.js";
+import { serviceColor } from "./derive.js";
+const RULE_WIDTH = 80;
+const ALIAS_WIDTH = 4;
+const STATUS_WIDTH = 8;
+/** Top banner: ``━━━ ◒◓ Sponsio ━━━ tagline ━━━━━━━━━━``. */
+export function headerBanner(useColor, tagline = "runtime contract enforcement") {
+    const left = ansi(PALETTE.rule, "━━━ ", useColor);
+    const logo = ansi(`1;${PALETTE.brand}`, `${SYMBOLS.logo} Sponsio`, useColor);
+    const sep = ansi(PALETTE.rule, " ━━━ ", useColor);
+    const tag = ansi(PALETTE.fg, tagline, useColor);
+    // Compute fill so the line reaches RULE_WIDTH.
+    const visibleLen = `━━━ ${SYMBOLS.logo} Sponsio ━━━ ${tagline} `.length;
+    const fillLen = Math.max(0, RULE_WIDTH - visibleLen);
+    const fill = ansi(PALETTE.rule, " " + SYMBOLS.ruleHeavy.repeat(fillLen), useColor);
+    return `${left}${logo}${sep}${tag}${fill}`;
+}
+/** Bottom banner: ``━━━ VERDICT ━━━ BLOCKED ━━━━━━━━━━``. */
+export function verdictBanner(status, useColor, label = "VERDICT") {
+    const color = STATUS[status.toUpperCase()] ?? PALETTE.fg;
+    const left = ansi(PALETTE.rule, "━━━ ", useColor);
+    const lab = ansi(`1;${PALETTE.brand}`, label, useColor);
+    const sep = ansi(PALETTE.rule, " ━━━ ", useColor);
+    const stat = ansi(`1;${color}`, status.toUpperCase(), useColor);
+    const visibleLen = `━━━ ${label} ━━━ ${status.toUpperCase()} `.length;
+    const fillLen = Math.max(0, RULE_WIDTH - visibleLen);
+    const fill = ansi(PALETTE.rule, " " + SYMBOLS.ruleHeavy.repeat(fillLen), useColor);
+    return `${left}${lab}${sep}${stat}${fill}`;
+}
+/** Inside-zone divider: ``contracts armed ──────────────``. */
+export function sectionRule(label, useColor) {
+    const lab = ansi(PALETTE.fg, `${label} `, useColor);
+    const visibleLen = label.length + 1;
+    const fillLen = Math.max(0, RULE_WIDTH - visibleLen);
+    const fill = ansi(PALETTE.rule, SYMBOLS.ruleLight.repeat(fillLen), useColor);
+    return `${lab}${fill}`;
+}
+/** Header metadata grid — three columns × N rows. */
+export function headerMeta(pairs, useColor) {
+    const COLS = 3;
+    const rows = [];
+    for (let i = 0; i < pairs.length; i += COLS) {
+        rows.push(pairs.slice(i, i + COLS).map(([k, v]) => `${ansi(PALETTE.metadata, pad(k, 9), useColor)}${ansi(PALETTE.fg, v, useColor)}`));
+    }
+    return rows.map((r) => r.join(ansi("", "    ", useColor)));
+}
+export function contractsTable(rows, useColor) {
+    const out = [];
+    // Compute name column width.
+    const nameW = Math.min(56, Math.max(...rows.map(([, n]) => n.length)));
+    for (const [alias, name, status] of rows) {
+        const aliasCol = ansi(`1;${PALETTE.brand}`, pad(alias, ALIAS_WIDTH), useColor);
+        const nameCol = ansi(PALETTE.fg, pad(truncate(name, nameW), nameW), useColor);
+        const color = STATUS[status.toUpperCase()] ?? PALETTE.fg;
+        const statusCol = ansi(`1;${color}`, status.toUpperCase().padStart(STATUS_WIDTH), useColor);
+        out.push(`${aliasCol}  ${nameCol}  ${statusCol}`);
+    }
+    return out;
+}
+// Fixed visible-width target for the tool+args part of the trace row,
+// so the latency and service columns line up vertically. Rows whose
+// tool+args naturally exceed this just push the rest right (no
+// truncation) — uncommon enough not to matter.
+const TOOL_COL = 56;
+const LAT_COL = 8;
+export function eventLine(tsLabel, toolName, service, argsSummary, latency, isLast, useColor) {
+    const branch = isLast ? SYMBOLS.branchL : SYMBOLS.branchT;
+    const ts = ansi(PALETTE.metadata, pad(tsLabel, 7), useColor);
+    const br = ansi(PALETTE.metadata, branch, useColor);
+    const tool = ansi(PALETTE.fg, toolName, useColor);
+    const summary = argsSummary
+        ? `(${ansi(PALETTE.metadata, argsSummary, useColor)})`
+        : "()";
+    // Visible width of the tool+args body (no ANSI), for column padding.
+    const visibleTool = toolName + (argsSummary ? `(${argsSummary})` : "()");
+    const toolPad = " ".repeat(Math.max(1, TOOL_COL - visibleTool.length));
+    const visibleLat = latency || "";
+    const latRight = " ".repeat(Math.max(1, LAT_COL - visibleLat.length));
+    const lat = latency ? `${ansi(PALETTE.metadata, latency, useColor)}` : pad("", LAT_COL);
+    const svc = service ? ansi(serviceColor(service), service, useColor) : "";
+    return `${ts} ${br} ${tool}${summary}${toolPad}${lat}${latRight}${svc}`;
+}
+export function assumeLine(alias, summary, useColor) {
+    const indent = "         ";
+    const pipe = ansi(PALETTE.metadata, SYMBOLS.branchPipe, useColor);
+    const tag = ansi(`1;${PALETTE.brand}`, alias, useColor);
+    const text = ansi(PALETTE.fg, summary, useColor);
+    return `${indent}${pipe} ${SYMBOLS.gear} assume[${tag}] ${text} ${ansi(PALETTE.ok, SYMBOLS.check, useColor)}`;
+}
+export function stateTransitionLine(alias, newState, useColor) {
+    const indent = "         ";
+    const pipe = ansi(PALETTE.metadata, SYMBOLS.branchPipe, useColor);
+    const tag = ansi(`1;${PALETTE.brand}`, alias, useColor);
+    const color = STATUS[newState.toUpperCase()] ?? PALETTE.fg;
+    return `${indent}${pipe}    contract ${tag} ${SYMBOLS.arrowR} ${ansi(`1;${color}`, newState.toUpperCase(), useColor)}`;
+}
+export function enforceViolationLine(alias, summary, status, useColor) {
+    const indent = "         ";
+    const pipe = ansi(PALETTE.metadata, SYMBOLS.branchPipe, useColor);
+    const cross = ansi(PALETTE.blocked, SYMBOLS.cross, useColor);
+    const tag = ansi(`1;${PALETTE.brand}`, alias, useColor);
+    const color = STATUS[status.toUpperCase()] ?? PALETTE.blocked;
+    const stat = ansi(`1;${color}`, status.toUpperCase(), useColor);
+    return `${indent}${pipe}    ${cross} enforce[${tag}] ${ansi(PALETTE.fg, truncate(summary, 50), useColor)} ${stat}`;
+}
+export function verdictSummary(blocked, warnings, totalTurns, useColor) {
+    const head = blocked > 0
+        ? ansi(PALETTE.blocked, `${blocked} action${blocked === 1 ? "" : "s"} stopped pre-execution`, useColor)
+        : warnings > 0
+            ? ansi(PALETTE.warn, `${warnings} warning${warnings === 1 ? "" : "s"} (observe mode)`, useColor)
+            : ansi(PALETTE.ok, `clean — no policy violations across ${totalTurns} turn${totalTurns === 1 ? "" : "s"}`, useColor);
+    const tail = `${blocked} violation${blocked === 1 ? "" : "s"} ${ansi(PALETTE.metadata, SYMBOLS.bullet, useColor)} ${warnings} warning${warnings === 1 ? "" : "s"}`;
+    return `${head}  ${ansi(PALETTE.metadata, SYMBOLS.bullet, useColor)} ${ansi(PALETTE.metadata, tail, useColor)}`;
+}
+export function perfLine(totalChecks, detPct, llmCalls, useColor) {
+    const pct = `${detPct.toFixed(0)}%`;
+    return [
+        `${ansi(PALETTE.metadata, "checks", useColor)}        ${ansi(PALETTE.fg, String(totalChecks), useColor)}`,
+        `${ansi(PALETTE.metadata, "deterministic", useColor)} ${ansi(PALETTE.fg, pct, useColor)}`,
+        `${ansi(PALETTE.metadata, "LLM calls", useColor)}     ${ansi(PALETTE.fg, String(llmCalls), useColor)}`,
+    ].join("    ");
+}
+export function ctaLine(ctas, useColor) {
+    return ctas.map((c) => `${ansi(PALETTE.metadata, SYMBOLS.arrowR, useColor)} ${ansi(PALETTE.fg, c, useColor)}`).join("     ");
+}
+//# sourceMappingURL=components.js.map

package/dist/render/components.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"components.js","sourceRoot":"","sources":["../../src/render/components.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,MAAM,UAAU,GAAG,EAAE,CAAC;AACtB,MAAM,WAAW,GAAG,CAAC,CAAC;AACtB,MAAM,YAAY,GAAG,CAAC,CAAC;AAEvB,6DAA6D;AAC7D,MAAM,UAAU,YAAY,CAAC,QAAiB,EAAE,OAAO,GAAG,8BAA8B;IACtF,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC7E,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAChD,+CAA+C;IAC/C,MAAM,UAAU,GAAG,OAAO,OAAO,CAAC,IAAI,gBAAgB,OAAO,GAAG,CAAC,MAAM,CAAC;IACxE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;IACnF,OAAO,GAAG,IAAI,GAAG,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,IAAI,EAAE,CAAC;AAC7C,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,QAAiB,EAAE,KAAK,GAAG,SAAS;IAChF,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,IAAI,OAAO,CAAC,EAAE,CAAC;IACzD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,KAAK,EAAE,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,QAAQ,CAAC,CAAC;IAChE,MAAM,UAAU,GAAG,OAAO,KAAK,QAAQ,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC;IACtE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;IACnF,OAAO,GAAG,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,EAAE,CAAC;AAC7C,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,WAAW,CAAC,KAAa,EAAE,QAAiB;IAC1D,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,KAAK,GAAG,EAAE,QAAQ,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC7E,OAAO,GAAG,GAAG,GAAG,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,UAAU,CAAC,KAAyB,EAAE,QAAiB;IACrE,MAAM,IAAI,GAAG,CAAC,CAAC;IACf,MAAM,IAAI,GAAe,EAAE,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC;QAC5C,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACxI,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAgC,EAAE,QAAiB;IAChF,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,6BAA6B;IAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACvE,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC/E,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,IAAI,OAAO,CAAC,EAAE,CAAC;QACzD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,KAAK,EAAE,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC5F,GAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,KAAK,OAAO,KAAK,SAAS,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AASD,sEAAsE;AACtE,oEAAoE;AACpE,+DAA+D;AAC/D,+CAA+C;AAC/C,MAAM,QAAQ,GAAG,EAAE,CAAC;AACpB,MAAM,OAAO,GAAG,CAAC,CAAC;AAElB,MAAM,UAAU,SAAS,CACvB,OAAe,EACf,QAAgB,EAChB,OAAe,EACf,WAAmB,EACnB,OAAe,EACf,MAAe,EACf,QAAiB;IAEjB,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IAC1D,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC7D,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,WAAW;QACzB,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,WAAW,EAAE,QAAQ,CAAC,GAAG;QACtD,CAAC,CAAC,IAAI,CAAC;IACT,qEAAqE;IACrE,MAAM,WAAW,GAAG,QAAQ,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACzE,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,OAAO,IAAI,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACxF,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1E,OAAO,GAAG,EAAE,IAAI,EAAE,IAAI,IAAI,GAAG,OAAO,GAAG,OAAO,GAAG,GAAG,GAAG,QAAQ,GAAG,GAAG,EAAE,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAa,EAAE,OAAe,EAAE,QAAiB;IAC1E,MAAM,MAAM,GAAG,WAAW,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAClE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACjD,OAAO,GAAG,MAAM,GAAG,IAAI,IAAI,OAAO,CAAC,IAAI,WAAW,GAAG,KAAK,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;AAChH,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAa,EAAE,QAAgB,EAAE,QAAiB;IACpF,MAAM,MAAM,GAAG,WAAW,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAClE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,IAAI,OAAO,CAAC,EAAE,CAAC;IAC3D,OAAO,GAAG,MAAM,GAAG,IAAI,gBAAgB,GAAG,IAAI,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,EAAE,EAAE,QAAQ,CAAC,WAAW,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC;AACzH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,KAAa,EACb,OAAe,EACf,MAAc,EACd,QAAiB;IAEjB,MAAM,MAAM,GAAG,WAAW,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC;IAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,KAAK,EAAE,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,QAAQ,CAAC,CAAC;IAChE,OAAO,GAAG,MAAM,GAAG,IAAI,OAAO,KAAK,YAAY,GAAG,KAAK,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC;AACrH,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,OAAe,EACf,QAAgB,EAChB,UAAkB,EAClB,QAAiB;IAEjB,MAAM,IAAI,GACR,OAAO,GAAG,CAAC;QACT,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,OAAO,UAAU,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,wBAAwB,EAAE,QAAQ,CAAC;QACvG,CAAC,CAAC,QAAQ,GAAG,CAAC;YACZ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,QAAQ,WAAW,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,iBAAiB,EAAE,QAAQ,CAAC;YAChG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,uCAAuC,UAAU,QAAQ,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC3H,MAAM,IAAI,GAAG,GAAG,OAAO,aAAa,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,QAAQ,WAAW,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACnK,OAAO,GAAG,IAAI,KAAK,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;AAClH,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,WAAmB,EAAE,MAAc,EAAE,QAAgB,EAAE,QAAiB;IAC/F,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IACpC,OAAO;QACL,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,EAAE;QACzG,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,eAAe,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,QAAQ,CAAC,EAAE;QACzF,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,WAAW,EAAE,QAAQ,CAAC,QAAQ,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAAE;KACvG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,IAAc,EAAE,QAAiB;IACvD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC/H,CAAC"}

package/dist/render/derive.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Tool-name → transport label inference. Mirrors Python's
+ * ``sponsio/render/derive.py``. The session-view's ``service``
+ * column shows the **transport** the tool uses to actually run —
+ * one of ``function`` / ``mcp`` / ``shell`` / ``http``. Other axes
+ * (resource being acted on, business domain) belong in additional
+ * columns; folding them into ``service`` makes the label semantics
+ * inconsistent across scenarios.
+ *
+ * Default for anything not on the table is ``function`` — the
+ * overwhelmingly common case in modern agent SDKs (Vercel AI SDK,
+ * Anthropic, OpenAI, Claude Agent SDK, LangChain) is in-process
+ * function-call dispatch from a structured ``tool_use`` block.
+ */
+export declare function serviceForTool(tool: string | undefined): string;
+export declare function serviceColor(service: string): string;
+/**
+ * Truncate args to a short summary the trace-row can show inline.
+ * Mirrors Python's ``args_summary`` — keep first key=value pair,
+ * truncate at ~30 chars.
+ */
+export declare function argsSummary(args: Record<string, unknown> | undefined, maxLen?: number): string;
+//# sourceMappingURL=derive.d.ts.map

package/dist/render/derive.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"derive.d.ts","sourceRoot":"","sources":["../../src/render/derive.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAsBH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAO/D;AAcD,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEpD;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EAAE,MAAM,SAAK,GAAG,MAAM,CAsB1F"}

package/dist/render/derive.js

@@ -0,0 +1,92 @@
+/**
+ * Tool-name → transport label inference. Mirrors Python's
+ * ``sponsio/render/derive.py``. The session-view's ``service``
+ * column shows the **transport** the tool uses to actually run —
+ * one of ``function`` / ``mcp`` / ``shell`` / ``http``. Other axes
+ * (resource being acted on, business domain) belong in additional
+ * columns; folding them into ``service`` makes the label semantics
+ * inconsistent across scenarios.
+ *
+ * Default for anything not on the table is ``function`` — the
+ * overwhelmingly common case in modern agent SDKs (Vercel AI SDK,
+ * Anthropic, OpenAI, Claude Agent SDK, LangChain) is in-process
+ * function-call dispatch from a structured ``tool_use`` block.
+ */
+const TOOL_PREFIX_TO_TRANSPORT = [
+    // Shell exec — the runtime spawns a subprocess.
+    ["bash", "shell"],
+    ["shell.", "shell"],
+    ["run_tests", "shell"],
+    ["execute_command", "shell"],
+    // Model Context Protocol — the runtime speaks JSON-RPC to a
+    // separate MCP server (stdio or HTTP+SSE).
+    ["user_instruction", "mcp"],
+    ["user_message", "mcp"],
+    ["mcp.", "mcp"],
+    ["mcp__", "mcp"],
+    // Raw HTTP fetch — a thin wrapper around the network stack rather
+    // than a typed function-call handler.
+    ["http.", "http"],
+    ["fetch", "http"],
+    ["web_fetch", "http"],
+    ["web_search", "http"],
+];
+export function serviceForTool(tool) {
+    if (!tool)
+        return "unknown";
+    const lowered = tool.toLowerCase();
+    for (const [prefix, transport] of TOOL_PREFIX_TO_TRANSPORT) {
+        if (lowered.startsWith(prefix))
+            return transport;
+    }
+    return "func";
+}
+// Transport color palette — only labels ``serviceForTool`` returns
+// ever appear here. Keep this minimal: ``function`` is the
+// background-noise default (dim), distinguished transports get a
+// distinct hue so they pop in the trace.
+const SERVICE_COLORS = {
+    func: "2", // dim — the unmarked common case (in-process function call)
+    shell: "33", // yellow
+    mcp: "35", // magenta
+    http: "37", // white
+    unknown: "2",
+};
+export function serviceColor(service) {
+    return SERVICE_COLORS[service] ?? SERVICE_COLORS.unknown;
+}
+/**
+ * Truncate args to a short summary the trace-row can show inline.
+ * Mirrors Python's ``args_summary`` — keep first key=value pair,
+ * truncate at ~30 chars.
+ */
+export function argsSummary(args, maxLen = 30) {
+    if (!args || typeof args !== "object")
+        return "";
+    const keys = Object.keys(args);
+    if (keys.length === 0)
+        return "";
+    const parts = [];
+    let len = 0;
+    for (const k of keys) {
+        const v = args[k];
+        let vs;
+        if (typeof v === "string")
+            vs = JSON.stringify(v);
+        else if (v == null)
+            vs = "null";
+        else
+            vs = String(v);
+        if (vs.length > 20)
+            vs = vs.slice(0, 19) + "…";
+        const part = `${k}=${vs}`;
+        if (len + part.length + 2 > maxLen && parts.length > 0) {
+            parts.push("…");
+            break;
+        }
+        parts.push(part);
+        len += part.length + 2;
+    }
+    return parts.join(", ");
+}
+//# sourceMappingURL=derive.js.map

package/dist/render/derive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derive.js","sourceRoot":"","sources":["../../src/render/derive.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,MAAM,wBAAwB,GAAuB;IACnD,gDAAgD;IAChD,CAAC,MAAM,EAAE,OAAO,CAAC;IACjB,CAAC,QAAQ,EAAE,OAAO,CAAC;IACnB,CAAC,WAAW,EAAE,OAAO,CAAC;IACtB,CAAC,iBAAiB,EAAE,OAAO,CAAC;IAC5B,4DAA4D;IAC5D,2CAA2C;IAC3C,CAAC,kBAAkB,EAAE,KAAK,CAAC;IAC3B,CAAC,cAAc,EAAE,KAAK,CAAC;IACvB,CAAC,MAAM,EAAE,KAAK,CAAC;IACf,CAAC,OAAO,EAAE,KAAK,CAAC;IAChB,kEAAkE;IAClE,sCAAsC;IACtC,CAAC,OAAO,EAAE,MAAM,CAAC;IACjB,CAAC,OAAO,EAAE,MAAM,CAAC;IACjB,CAAC,WAAW,EAAE,MAAM,CAAC;IACrB,CAAC,YAAY,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,UAAU,cAAc,CAAC,IAAwB;IACrD,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,wBAAwB,EAAE,CAAC;QAC3D,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,OAAO,SAAS,CAAC;IACnD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,mEAAmE;AACnE,2DAA2D;AAC3D,iEAAiE;AACjE,yCAAyC;AACzC,MAAM,cAAc,GAA2B;IAC7C,IAAI,EAAE,GAAG,EAAE,4DAA4D;IACvE,KAAK,EAAE,IAAI,EAAE,SAAS;IACtB,GAAG,EAAE,IAAI,EAAE,UAAU;IACrB,IAAI,EAAE,IAAI,EAAE,QAAQ;IACpB,OAAO,EAAE,GAAG;CACb,CAAC;AAEF,MAAM,UAAU,YAAY,CAAC,OAAe;IAC1C,OAAO,cAAc,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC;AAC3D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,IAAyC,EAAE,MAAM,GAAG,EAAE;IAChF,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,EAAU,CAAC;QACf,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;aAC7C,IAAI,CAAC,IAAI,IAAI;YAAE,EAAE,GAAG,MAAM,CAAC;;YAC3B,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,EAAE,CAAC,MAAM,GAAG,EAAE;YAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC;QAC/C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1B,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,GAAG,MAAM,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,MAAM;QACR,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,GAAG,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/render/session-view.d.ts

@@ -0,0 +1,19 @@
+import type { AgentTurnSpan } from "../core/spans.js";
+import type { DetFormula } from "../core/patterns.js";
+export interface RenderOptions {
+    agentId: string;
+    mode: "observe" | "enforce";
+    contracts: DetFormula[];
+    turnSpans: AgentTurnSpan[];
+    sessionId?: string;
+    tenant?: string;
+    env?: string;
+    sdk?: string;
+    ctas?: string[];
+    /** Where to write. Defaults to stderr. */
+    out?: NodeJS.WritableStream;
+    /** Force ANSI on/off; defaults to TTY autodetect on `out`. */
+    useColor?: boolean;
+}
+export declare function renderSession(opts: RenderOptions): void;
+//# sourceMappingURL=session-view.d.ts.map

package/dist/render/session-view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"session-view.d.ts","sourceRoot":"","sources":["../../src/render/session-view.ts"],"names":[],"mappings":"AAyCA,OAAO,KAAK,EAAE,aAAa,EAAY,MAAM,kBAAkB,CAAC;AAChE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEtD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,SAAS,GAAG,SAAS,CAAC;IAC5B,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,SAAS,EAAE,aAAa,EAAE,CAAC;IAC3B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,0CAA0C;IAC1C,GAAG,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC;IAC5B,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AA8ID,wBAAgB,aAAa,CAAC,IAAI,EAAE,aAAa,GAAG,IAAI,CAkFvD"}

package/dist/render/session-view.js

@@ -0,0 +1,236 @@
+/**
+ * End-of-session trace-tree view — TS port of
+ * ``sponsio/render/session_view.py``. Walks ``Sponsio.turnSpans()``
+ * and renders the ``contracts armed`` + ``trace`` + ``VERDICT`` zones.
+ *
+ * Design B1 layout (see Python session_view.py docstring for the
+ * canonical mockup):
+ *
+ *   ━━━ ◒◓ Sponsio ━━━ runtime contract enforcement ━━━
+ *     session  sess_xxxx          agent  …            mode  ENFORCE
+ *     tenant   …                  env    …            sdk   …
+ *     contracts armed ──────────────────────────────────
+ *       C1  …                                        READY
+ *       …
+ *     trace ────────────────────────────────────────────
+ *       00.000  ├─ user_instruction "…"              + 0ms     mcp
+ *       00.012  │  └─ ⚙ assume[C1] freeze declared   ✓
+ *       00.012  │     contract C1 → ACTIVE
+ *       …
+ *               ✗ enforce[C1] destructive SQL …  BLOCKED  14µs
+ *   ━━━ VERDICT ━━━ BLOCKED ━━━━━━━━━━━━━━━━━━━━━━━━━━
+ *     headline · N violations · M warnings
+ *     K checks   X% deterministic   N LLM calls
+ *     → sponsio explain C1     sponsio replay sess_xxxx
+ */
+import { assumeLine, contractsTable, ctaLine, enforceViolationLine, eventLine, headerBanner, headerMeta, perfLine, sectionRule, stateTransitionLine, verdictBanner, verdictSummary, } from "./components.js";
+import { stderrUseColor } from "./tokens.js";
+import { argsSummary, serviceForTool } from "./derive.js";
+function shortAlias(_label, idx) {
+    return `C${idx + 1}`;
+}
+function detectSdk() {
+    try {
+        return `@sponsio/sdk@0.1`;
+    }
+    catch {
+        return "—";
+    }
+}
+function shortSessionId(seed) {
+    // Cheap deterministic 8-char hash (FNV-1a) — for visual id only.
+    let h = 0x811c9dc5;
+    for (let i = 0; i < seed.length; i++) {
+        h ^= seed.charCodeAt(i);
+        h = Math.imul(h, 0x01000193) >>> 0;
+    }
+    return `sess_${h.toString(16).padStart(8, "0").slice(0, 8)}`;
+}
+function fmtUs(ms) {
+    if (ms == null)
+        return "";
+    const us = ms * 1000;
+    if (us < 1000)
+        return `${Math.round(us)}µs`;
+    return `${us.toFixed(0)}µs`;
+}
+/**
+ * Latency for the per-tool ``+Nµs`` / ``+Nms`` / ``+Ns`` column.
+ * Mirrors Python's ``derive.format_latency_ms``: integer in the
+ * largest unit that doesn't truncate to zero. No decimals — keeps
+ * the column visually aligned and avoids spurious precision (per-tool
+ * latency is wall-clock-ish; significant digits beyond the largest
+ * unit aren't meaningful here).
+ */
+function fmtLatency(ms) {
+    if (ms == null || ms <= 0)
+        return "";
+    if (ms < 1)
+        return `+${Math.round(ms * 1000)}µs`;
+    if (ms < 1000)
+        return `+${Math.round(ms)}ms`;
+    return `+${Math.round(ms / 1000)}s`;
+}
+function fmtTs(elapsedMs) {
+    const sec = elapsedMs / 1000;
+    return sec.toFixed(3);
+}
+function walkViolations(turnSpans) {
+    let blocked = 0;
+    let observed = 0;
+    for (const t of turnSpans) {
+        if (t.blocked)
+            blocked++;
+        else if (t.detViolations > 0)
+            observed++;
+    }
+    return { blocked, observed };
+}
+function perfStats(turnSpans) {
+    let totalChecks = 0;
+    const lat = [];
+    for (const t of turnSpans) {
+        for (const c of t.children) {
+            if (c.spanType !== "sponsio.contract_check")
+                continue;
+            totalChecks++;
+            const d = c.durationMs();
+            if (d != null)
+                lat.push(d * 1000); // µs
+        }
+    }
+    return { totalChecks, lat };
+}
+function verdictStatus(b) {
+    if (b.blocked > 0)
+        return "BLOCKED";
+    if (b.observed > 0)
+        return "WARN";
+    return "ALLOWED";
+}
+function quantile(sorted, q) {
+    if (sorted.length === 0)
+        return 0;
+    const idx = Math.min(sorted.length - 1, Math.floor(sorted.length * q));
+    return sorted[idx];
+}
+function renderTurn(turn, sessionStart, isLast, contracts, aliasMap, activated, useColor) {
+    const lines = [];
+    const elapsedMs = turn.startTime - sessionStart;
+    const service = serviceForTool(turn.action);
+    const args = turn.attributes.args ?? undefined;
+    const argsSum = argsSummary(args);
+    const latency = fmtLatency(turn.durationMs());
+    // First row: the tool call.
+    lines.push(eventLine(fmtTs(elapsedMs), turn.action, service, argsSum, latency, isLast, useColor));
+    for (const child of turn.children) {
+        if (child.spanType !== "sponsio.contract_check")
+            continue;
+        const checkSpan = child;
+        const alias = aliasMap[checkSpan.contractName] ?? "?";
+        for (const grand of checkSpan.children) {
+            const kind = grand.spanType;
+            if (kind === "sponsio.precondition") {
+                const pre = grand;
+                if (pre.result && !activated.has(alias)) {
+                    activated.add(alias);
+                    lines.push(assumeLine(alias, pre.formulaDesc, useColor));
+                    lines.push(stateTransitionLine(alias, "ACTIVE", useColor));
+                }
+            }
+            else if (kind === "sponsio.guarantee") {
+                const g = grand;
+                if (!g.result) {
+                    let status = "BLOCKED";
+                    for (const inner of g.children) {
+                        if (inner.spanType === "sponsio.enforcement") {
+                            const e = inner;
+                            if (e.resultAction)
+                                status = e.resultAction.toUpperCase();
+                            break;
+                        }
+                    }
+                    lines.push(enforceViolationLine(alias, g.formulaDesc, status, useColor));
+                }
+            }
+        }
+    }
+    return lines;
+}
+export function renderSession(opts) {
+    const out = opts.out ?? process.stderr;
+    const useColor = opts.useColor ?? stderrUseColor();
+    const write = (s) => out.write(s + "\n");
+    const sessionId = opts.sessionId ?? shortSessionId(`${opts.agentId}-${process.pid}`);
+    const sdkLabel = opts.sdk ?? detectSdk();
+    const counters = walkViolations(opts.turnSpans);
+    const { totalChecks, lat } = perfStats(opts.turnSpans);
+    const status = verdictStatus(counters);
+    // 1. Top banner.
+    write(headerBanner(useColor));
+    write("");
+    // 2. Header metadata grid.
+    const pairs = [
+        ["session", sessionId],
+        ["agent", opts.agentId],
+        ["mode", opts.mode.toUpperCase()],
+        ["tenant", opts.tenant ?? "—"],
+        ["env", opts.env ?? "—"],
+        ["sdk", sdkLabel],
+    ];
+    for (const r of headerMeta(pairs, useColor))
+        write("  " + r);
+    write("");
+    // 3. Contracts armed list.
+    const aliasMap = {};
+    if (opts.contracts.length > 0) {
+        const rows = [];
+        opts.contracts.forEach((c, i) => {
+            const alias = shortAlias(c.desc, i);
+            const label = c.desc || "(unnamed)";
+            aliasMap[label] = alias;
+            // No assumption distinction in TS yet — every contract starts ACTIVE.
+            rows.push([alias, label.split("\n")[0], "ACTIVE"]);
+        });
+        write("  " + sectionRule("contracts armed", useColor));
+        for (const r of contractsTable(rows, useColor))
+            write("  " + r);
+        write("");
+    }
+    // 4. Trace tree.
+    if (opts.turnSpans.length > 0) {
+        write("  " + sectionRule("trace", useColor));
+        const sessionStart = opts.turnSpans[0].startTime;
+        const activated = new Set(Object.values(aliasMap)); // bare contracts are ACTIVE from step 0
+        opts.turnSpans.forEach((turn, i) => {
+            const isLast = i === opts.turnSpans.length - 1;
+            for (const row of renderTurn(turn, sessionStart, isLast, opts.contracts, aliasMap, activated, useColor)) {
+                write("  " + row);
+            }
+        });
+        write("");
+    }
+    // 5. Verdict banner + summary.
+    write(verdictBanner(status, useColor));
+    write("");
+    write("  " + verdictSummary(counters.blocked, counters.observed, opts.turnSpans.length, useColor));
+    write("");
+    // 6. Perf line.
+    const detPct = totalChecks > 0 ? 100 : 100;
+    write("  " + perfLine(totalChecks, detPct, 0, useColor));
+    if (lat.length > 0) {
+        const sorted = [...lat].sort((a, b) => a - b);
+        const p50 = Math.round(quantile(sorted, 0.5));
+        const p99 = Math.round(quantile(sorted, 0.99));
+        const max_ = Math.round(sorted[sorted.length - 1]);
+        write("  " + `p50  ${p50}µs   p99  ${p99}µs   max  ${max_}µs`);
+    }
+    write("");
+    // 7. CTA footer.
+    const ctas = opts.ctas ??
+        (counters.blocked > 0
+            ? [`sponsio explain ${Object.values(aliasMap)[0] ?? "C1"}`, `sponsio replay ${sessionId}`]
+            : [`sponsio replay ${sessionId}`]);
+    write("  " + ctaLine(ctas, useColor));
+}
+//# sourceMappingURL=session-view.js.map

package/dist/render/session-view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"session-view.js","sourceRoot":"","sources":["../../src/render/session-view.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,OAAO,EACL,UAAU,EACV,cAAc,EACd,OAAO,EACP,oBAAoB,EACpB,SAAS,EACT,YAAY,EACZ,UAAU,EACV,QAAQ,EACR,WAAW,EACX,mBAAmB,EACnB,aAAa,EACb,cAAc,GACf,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAoB1D,SAAS,UAAU,CAAC,MAAc,EAAE,GAAW;IAC7C,OAAO,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,SAAS;IAChB,IAAI,CAAC;QACH,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,CAAC;IACb,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,IAAY;IAClC,iEAAiE;IACjE,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAC/D,CAAC;AAED,SAAS,KAAK,CAAC,EAA6B;IAC1C,IAAI,EAAE,IAAI,IAAI;QAAE,OAAO,EAAE,CAAC;IAC1B,MAAM,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;IACrB,IAAI,EAAE,GAAG,IAAI;QAAE,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC;IAC5C,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9B,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,EAA6B;IAC/C,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,IAAI,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC;IACjD,IAAI,EAAE,GAAG,IAAI;QAAE,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC;IAC7C,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC;AACtC,CAAC;AAED,SAAS,KAAK,CAAC,SAAiB;IAC9B,MAAM,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAC7B,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACxB,CAAC;AAOD,SAAS,cAAc,CAAC,SAA0B;IAChD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,OAAO;YAAE,OAAO,EAAE,CAAC;aACpB,IAAI,CAAC,CAAC,aAAa,GAAG,CAAC;YAAE,QAAQ,EAAE,CAAC;IAC3C,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,SAAS,CAAC,SAA0B;IAC3C,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,QAAQ,KAAK,wBAAwB;gBAAE,SAAS;YACtD,WAAW,EAAE,CAAC;YACd,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,IAAI;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK;QAC1C,CAAC;IACH,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,aAAa,CAAC,CAAoB;IACzC,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACpC,IAAI,CAAC,CAAC,QAAQ,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC;IAClC,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,QAAQ,CAAC,MAAgB,EAAE,CAAS;IAC3C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IACvE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,UAAU,CACjB,IAAmB,EACnB,YAAoB,EACpB,MAAe,EACf,SAAuB,EACvB,QAAgC,EAChC,SAAsB,EACtB,QAAiB;IAEjB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,GAAG,YAAY,CAAC;IAChD,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAI,IAAI,CAAC,UAAU,CAAC,IAA4C,IAAI,SAAS,CAAC;IACxF,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC9C,4BAA4B;IAC5B,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAElG,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,QAAQ,KAAK,wBAAwB;YAAE,SAAS;QAC1D,MAAM,SAAS,GAAG,KAA4C,CAAC;QAC/D,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC;QACtD,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC;YAC5B,IAAI,IAAI,KAAK,sBAAsB,EAAE,CAAC;gBACpC,MAAM,GAAG,GAAG,KAA4D,CAAC;gBACzE,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBACxC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oBACrB,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;oBACzD,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;gBAC7D,CAAC;YACH,CAAC;iBAAM,IAAI,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACxC,MAAM,CAAC,GAAG,KAA4D,CAAC;gBACvE,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;oBACd,IAAI,MAAM,GAAG,SAAS,CAAC;oBACvB,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;wBAC/B,IAAI,KAAK,CAAC,QAAQ,KAAK,qBAAqB,EAAE,CAAC;4BAC7C,MAAM,CAAC,GAAG,KAA4C,CAAC;4BACvD,IAAI,CAAC,CAAC,YAAY;gCAAE,MAAM,GAAG,CAAC,CAAC,YAAY,CAAC,WAAW,EAAE,CAAC;4BAC1D,MAAM;wBACR,CAAC;oBACH,CAAC;oBACD,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;gBAC3E,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAmB;IAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,cAAc,EAAE,CAAC;IACnD,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IAEjD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,cAAc,CAAC,GAAG,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,IAAI,SAAS,EAAE,CAAC;IACzC,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAChD,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAEvC,iBAAiB;IACjB,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9B,KAAK,CAAC,EAAE,CAAC,CAAC;IAEV,2BAA2B;IAC3B,MAAM,KAAK,GAAuB;QAChC,CAAC,SAAS,EAAE,SAAS,CAAC;QACtB,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC;QACvB,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACjC,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC;QAC9B,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC;QACxB,CAAC,KAAK,EAAE,QAAQ,CAAC;KAClB,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC;QAAE,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAC7D,KAAK,CAAC,EAAE,CAAC,CAAC;IAEV,2BAA2B;IAC3B,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,GAA+B,EAAE,CAAC;QAC5C,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAC9B,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACpC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,WAAW,CAAC;YACpC,QAAQ,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;YACxB,sEAAsE;YACtE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,IAAI,GAAG,WAAW,CAAC,iBAAiB,EAAE,QAAQ,CAAC,CAAC,CAAC;QACvD,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC;YAAE,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QAChE,KAAK,CAAC,EAAE,CAAC,CAAC;IACZ,CAAC;IAED,iBAAiB;IACjB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACjD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,wCAAwC;QACpG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YACjC,MAAM,MAAM,GAAG,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;YAC/C,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACxG,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,EAAE,CAAC,CAAC;IACZ,CAAC;IAED,+BAA+B;IAC/B,KAAK,CAAC,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IACvC,KAAK,CAAC,EAAE,CAAC,CAAC;IACV,KAAK,CAAC,IAAI,GAAG,cAAc,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IACnG,KAAK,CAAC,EAAE,CAAC,CAAC;IAEV,gBAAgB;IAChB,MAAM,MAAM,GAAG,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAC3C,KAAK,CAAC,IAAI,GAAG,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IACzD,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnB,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,KAAK,CAAC,IAAI,GAAG,QAAQ,GAAG,aAAa,GAAG,aAAa,IAAI,IAAI,CAAC,CAAC;IACjE,CAAC;IACD,KAAK,CAAC,EAAE,CAAC,CAAC;IAEV,iBAAiB;IACjB,MAAM,IAAI,GACR,IAAI,CAAC,IAAI;QACT,CAAC,QAAQ,CAAC,OAAO,GAAG,CAAC;YACnB,CAAC,CAAC,CAAC,mBAAmB,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,kBAAkB,SAAS,EAAE,CAAC;YAC1F,CAAC,CAAC,CAAC,kBAAkB,SAAS,EAAE,CAAC,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;AACxC,CAAC"}

package/dist/render/tokens.d.ts

@@ -0,0 +1,44 @@
+/**
+ * Tokens shared across the render layer — palette, symbols, status
+ * → color mapping. Mirrors ``sponsio/render/tokens.py`` enough to
+ * keep the visual identity aligned across languages.
+ *
+ * ANSI codes are emitted directly (no Rich-equivalent dependency).
+ * Output is ANSI-stripped automatically when stderr/stdout isn't a
+ * TTY (handled in components.ts via the `useColor` flag).
+ */
+export declare const PALETTE: {
+    brand: string;
+    rule: string;
+    fg: string;
+    metadata: string;
+    ok: string;
+    blocked: string;
+    warn: string;
+    active: string;
+    ready: string;
+    inactive: string;
+};
+export declare const STATUS: Record<string, string>;
+export declare const SYMBOLS: {
+    logo: string;
+    ruleHeavy: string;
+    ruleLight: string;
+    branchT: string;
+    branchL: string;
+    branchPipe: string;
+    branchEmpty: string;
+    bullet: string;
+    check: string;
+    cross: string;
+    arrowL: string;
+    arrowR: string;
+    gear: string;
+};
+export declare function ansi(code: string, text: string, useColor: boolean): string;
+export declare function stderrUseColor(): boolean;
+/** Truncate to ``max`` chars with an ellipsis when too long. */
+export declare function truncate(s: string, max: number): string;
+/** Right-pad a plain string to ``width`` (visible width — no ANSI). */
+export declare function pad(s: string, width: number): string;
+//# sourceMappingURL=tokens.d.ts.map

package/dist/render/tokens.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tokens.d.ts","sourceRoot":"","sources":["../../src/render/tokens.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,eAAO,MAAM,OAAO;;;;;;;;;;;CAWnB,CAAC;AAEF,eAAO,MAAM,MAAM,EAQd,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAE5B,eAAO,MAAM,OAAO;;;;;;;;;;;;;;CAcnB,CAAC;AAEF,wBAAgB,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,MAAM,CAG1E;AAED,wBAAgB,cAAc,IAAI,OAAO,CAKxC;AAED,gEAAgE;AAChE,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAGvD;AAED,uEAAuE;AACvE,wBAAgB,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAGpD"}