@bolt-foundry/gambit 0.8.6-rc.6 → 0.8.6

package/script/simulator-ui/src/utils.js

@@ -1,1442 +0,0 @@
-"use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
-    Object.defineProperty(o, "default", { enumerable: true, value: v });
-}) : function(o, v) {
-    o["default"] = v;
-});
-var __importStar = (this && this.__importStar) || (function () {
-    var ownKeys = function(o) {
-        ownKeys = Object.getOwnPropertyNames || function (o) {
-            var ar = [];
-            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
-            return ar;
-        };
-        return ownKeys(o);
-    };
-    return function (mod) {
-        if (mod && mod.__esModule) return mod;
-        var result = {};
-        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
-        __setModuleDefault(result, mod);
-        return result;
-    };
-})();
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.scenarioNameFromValue = exports.botFilename = exports.fileNameFromPath = exports.deckDisplayPath = exports.repoRootPath = exports.normalizedDeckPath = exports.deckLabel = exports.gambitVersion = exports.deckPath = exports.buildChatProvider = exports.workbenchChatTopActionsEnabled = exports.chatAccordionEnabled = exports.workspaceIdFromWindow = exports.workspaceOnboardingEnabled = exports.verifyTabEnabled = exports.buildTabEnabled = exports.SIMULATOR_STREAM_ID = exports.BUILD_STREAM_ID = exports.TEST_STREAM_ID = exports.GRADE_STREAM_ID = exports.WORKSPACE_STREAM_ID = exports.DURABLE_STREAM_PREFIX = exports.buildVerifyPath = exports.buildTestPath = exports.buildGradePath = exports.GRADE_PATH_SUFFIX = exports.DEFAULT_VERIFY_PATH = exports.DEFAULT_GRADE_PATH = exports.DEFAULT_BUILD_PATH = exports.DEFAULT_TEST_PATH = exports.DEFAULT_WORKSPACE_DEBUG_PATH = exports.DEFAULT_WORKSPACE_BUILD_PATH = exports.DOCS_PATH = exports.WORKSPACES_BASE_PATH = exports.SCORE_VALUES = void 0;
-exports.classNames = classNames;
-exports.formatJson = formatJson;
-exports.formatTimestamp = formatTimestamp;
-exports.formatTimestampShort = formatTimestampShort;
-exports.countUserMessages = countUserMessages;
-exports.countAssistantMessages = countAssistantMessages;
-exports.extractScoreAndReason = extractScoreAndReason;
-exports.extractGradingFlags = extractGradingFlags;
-exports.formatSnippet = formatSnippet;
-exports.getScoreClass = getScoreClass;
-exports.extractTurnContext = extractTurnContext;
-exports.extractTotalTurns = extractTotalTurns;
-exports.extractTotalTurnsFromResult = extractTotalTurnsFromResult;
-exports.isTurnsResult = isTurnsResult;
-exports.extractConversationContext = extractConversationContext;
-exports.getDurableStreamOffset = getDurableStreamOffset;
-exports.setDurableStreamOffset = setDurableStreamOffset;
-exports.buildDurableStreamUrl = buildDurableStreamUrl;
-exports.toDeckSlug = toDeckSlug;
-exports.normalizeBasePath = normalizeBasePath;
-exports.getWorkspaceIdFromPath = getWorkspaceIdFromPath;
-exports.getWorkspaceRouteFromPath = getWorkspaceRouteFromPath;
-exports.cloneValue = cloneValue;
-exports.normalizeFsPath = normalizeFsPath;
-exports.guessRepoRoot = guessRepoRoot;
-exports.toRelativePath = toRelativePath;
-exports.getGradeWorkspaceIdFromLocation = getGradeWorkspaceIdFromLocation;
-exports.getGradeRunIdFromLocation = getGradeRunIdFromLocation;
-exports.parseGradingRef = parseGradingRef;
-exports.getPathValue = getPathValue;
-exports.setPathValue = setPathValue;
-exports.deriveInitialFromSchema = deriveInitialFromSchema;
-exports.flattenSchemaLeaves = flattenSchemaLeaves;
-exports.findMissingRequiredFields = findMissingRequiredFields;
-exports.extractInitFromTraces = extractInitFromTraces;
-exports.renderMarkdown = renderMarkdown;
-exports.findHandledErrors = findHandledErrors;
-exports.summarizeToolCalls = summarizeToolCalls;
-exports.deriveBuildDisplayMessages = deriveBuildDisplayMessages;
-exports.deriveReasoningByAssistant = deriveReasoningByAssistant;
-exports.buildConversationEntries = buildConversationEntries;
-exports.normalizeAppPath = normalizeAppPath;
-const dntShim = __importStar(require("../../_dnt.shims.js"));
-const workspace_routes_js_1 = require("../../src/workspace_routes.js");
-exports.SCORE_VALUES = [-3, -2, -1, 0, 1, 2, 3];
-exports.WORKSPACES_BASE_PATH = workspace_routes_js_1.WORKSPACE_ROUTE_BASE;
-exports.DOCS_PATH = "/docs";
-exports.DEFAULT_WORKSPACE_BUILD_PATH = (0, workspace_routes_js_1.buildWorkspacePath)("build");
-// Legacy alias retained while docs/debug copy still references "debug".
-exports.DEFAULT_WORKSPACE_DEBUG_PATH = exports.DEFAULT_WORKSPACE_BUILD_PATH;
-exports.DEFAULT_TEST_PATH = (0, workspace_routes_js_1.buildWorkspacePath)("test");
-exports.DEFAULT_BUILD_PATH = (0, workspace_routes_js_1.buildWorkspacePath)("build");
-exports.DEFAULT_GRADE_PATH = (0, workspace_routes_js_1.buildWorkspacePath)("grade");
-exports.DEFAULT_VERIFY_PATH = (0, workspace_routes_js_1.buildWorkspacePath)("verify");
-exports.GRADE_PATH_SUFFIX = "/grade";
-const buildGradePath = (workspaceId, gradeRunId) => (0, workspace_routes_js_1.buildWorkspacePath)("grade", workspaceId, { runId: gradeRunId });
-exports.buildGradePath = buildGradePath;
-const buildTestPath = (workspaceId, runId) => (0, workspace_routes_js_1.buildWorkspacePath)("test", workspaceId, { runId });
-exports.buildTestPath = buildTestPath;
-const buildVerifyPath = (workspaceId) => (0, workspace_routes_js_1.buildWorkspacePath)("verify", workspaceId);
-exports.buildVerifyPath = buildVerifyPath;
-exports.DURABLE_STREAM_PREFIX = "/graphql/streams/";
-exports.WORKSPACE_STREAM_ID = "gambit-workspace";
-exports.GRADE_STREAM_ID = "gambit-grade";
-exports.TEST_STREAM_ID = "gambit-test";
-exports.BUILD_STREAM_ID = "gambit-build";
-// Legacy alias used by pre-Isograph simulator UI stream wiring.
-exports.SIMULATOR_STREAM_ID = exports.WORKSPACE_STREAM_ID;
-const gambitGlobals = dntShim.dntGlobalThis;
-exports.buildTabEnabled = Boolean(gambitGlobals.__GAMBIT_BUILD_TAB_ENABLED__);
-exports.verifyTabEnabled = Boolean(gambitGlobals.__GAMBIT_VERIFY_TAB_ENABLED__);
-exports.workspaceOnboardingEnabled = Boolean(gambitGlobals.__GAMBIT_WORKSPACE_ONBOARDING__);
-exports.workspaceIdFromWindow = gambitGlobals.__GAMBIT_WORKSPACE_ID__ ??
-    null;
-exports.chatAccordionEnabled = Boolean(gambitGlobals.__GAMBIT_CHAT_ACCORDION_ENABLED__);
-exports.workbenchChatTopActionsEnabled = gambitGlobals
-    .__GAMBIT_WORKBENCH_CHAT_TOP_ACTIONS__ === true;
-exports.buildChatProvider = ((() => {
-    const raw = gambitGlobals.__GAMBIT_BUILD_CHAT_PROVIDER__;
-    return raw === "claude-code-cli" ? "claude-code-cli" : "codex-cli";
-})());
-exports.deckPath = gambitGlobals.__GAMBIT_DECK_PATH__ ?? "Unknown deck";
-const deckLabelFromWindow = gambitGlobals.__GAMBIT_DECK_LABEL__ ?? null;
-exports.gambitVersion = gambitGlobals.__GAMBIT_VERSION__ ?? null;
-const fallbackDeckLabel = (() => {
-    const base = exports.deckPath.split(/[\\/]/).pop() ?? exports.deckPath;
-    const cleaned = base.replace(/\.deck\.(md|ts)$/i, "")
-        .replace(/[-_]+/g, " ")
-        .trim();
-    return cleaned || base;
-})();
-exports.deckLabel = deckLabelFromWindow ?? fallbackDeckLabel;
-exports.normalizedDeckPath = normalizeFsPath(exports.deckPath);
-exports.repoRootPath = guessRepoRoot(exports.normalizedDeckPath);
-exports.deckDisplayPath = toRelativePath(exports.normalizedDeckPath, exports.repoRootPath) ??
-    exports.normalizedDeckPath;
-const fileNameFromPath = (pathValue) => {
-    if (!pathValue)
-        return null;
-    const base = pathValue.split(/[\\/]/).pop() ?? pathValue;
-    return base || pathValue;
-};
-exports.fileNameFromPath = fileNameFromPath;
-const botFilename = (pathValue) => (0, exports.fileNameFromPath)(pathValue);
-exports.botFilename = botFilename;
-const scenarioNameFromValue = (value) => {
-    const base = (0, exports.fileNameFromPath)(value);
-    if (!base)
-        return null;
-    const cleaned = base.replace(/\.deck\.(md|ts)$/i, "")
-        .replace(/\.(md|ts)$/i, "")
-        .replace(/[-_]+/g, " ")
-        .trim();
-    return cleaned.length > 0 ? cleaned : null;
-};
-exports.scenarioNameFromValue = scenarioNameFromValue;
-function classNames(...parts) {
-    return parts.filter(Boolean).join(" ");
-}
-function formatJson(value) {
-    if (value === undefined)
-        return "";
-    if (typeof value === "string") {
-        const trimmed = value.trim();
-        const looksLikeStructuredJson = trimmed.startsWith("{") ||
-            trimmed.startsWith("[");
-        if (!looksLikeStructuredJson)
-            return value;
-        try {
-            const parsed = JSON.parse(value);
-            return JSON.stringify(parsed, null, 2);
-        }
-        catch {
-            return value;
-        }
-    }
-    try {
-        return JSON.stringify(value, null, 2);
-    }
-    catch {
-        return String(value);
-    }
-}
-function formatTimestamp(iso) {
-    if (!iso)
-        return "";
-    const date = new Date(iso);
-    if (Number.isNaN(date.getTime()))
-        return iso;
-    return date.toLocaleString();
-}
-function formatTimestampShort(iso) {
-    if (!iso)
-        return "";
-    const date = new Date(iso);
-    if (Number.isNaN(date.getTime()))
-        return iso;
-    const now = new Date();
-    const includeYear = date.getFullYear() !== now.getFullYear();
-    return date.toLocaleString(undefined, {
-        month: "short",
-        day: "numeric",
-        year: includeYear ? "numeric" : undefined,
-        hour: "numeric",
-        minute: "2-digit",
-    });
-}
-function countUserMessages(messages) {
-    return messages.filter((m) => m.role === "user").length;
-}
-function countAssistantMessages(messages) {
-    return messages.filter((m) => m.role === "assistant").length;
-}
-function extractScoreAndReason(result) {
-    if (!result || typeof result !== "object")
-        return {};
-    const record = result;
-    const payload = record.payload &&
-        typeof record.payload === "object" &&
-        record.payload !== null
-        ? record.payload
-        : record;
-    const score = typeof payload.score === "number" ? payload.score : undefined;
-    const reason = typeof payload.reason === "string"
-        ? payload.reason
-        : undefined;
-    return { score, reason };
-}
-function extractGradingFlags(meta) {
-    if (!meta)
-        return [];
-    const flags = meta.gradingFlags;
-    if (!Array.isArray(flags))
-        return [];
-    return flags.filter((flag) => Boolean(flag && typeof flag === "object" && "refId" in flag));
-}
-function formatSnippet(value, maxLength = 140) {
-    if (value === null || value === undefined)
-        return "";
-    const text = typeof value === "string" ? value : (() => {
-        try {
-            return JSON.stringify(value);
-        }
-        catch {
-            return String(value);
-        }
-    })();
-    if (text.length <= maxLength)
-        return text;
-    return `${text.slice(0, maxLength - 1)}…`;
-}
-function getScoreClass(displayScore) {
-    if (displayScore === undefined)
-        return "calibrate-score--empty";
-    if (displayScore > 0)
-        return "calibrate-score--positive";
-    if (displayScore < 0)
-        return "calibrate-score--negative";
-    return "calibrate-score--neutral";
-}
-function extractTurnContext(input) {
-    if (!input || typeof input !== "object")
-        return {};
-    const record = input;
-    const session = record.session;
-    const messageToGrade = record.messageToGrade;
-    const gradedAssistant = messageToGrade &&
-        typeof messageToGrade === "object" &&
-        typeof messageToGrade.content === "string"
-        ? String(messageToGrade.content)
-        : undefined;
-    const messages = session &&
-        typeof session === "object" &&
-        Array.isArray(session.messages)
-        ? session
-            .messages
-        : [];
-    let priorUser = undefined;
-    for (let i = messages.length - 1; i >= 0; i -= 1) {
-        const msg = messages[i];
-        if (!msg || msg.role !== "user")
-            continue;
-        if (typeof msg.content === "string") {
-            priorUser = msg.content;
-            break;
-        }
-    }
-    return { priorUser, gradedAssistant };
-}
-function extractTotalTurns(input) {
-    if (!input || typeof input !== "object")
-        return undefined;
-    const record = input;
-    const session = record.session;
-    const messages = session &&
-        typeof session === "object" &&
-        Array.isArray(session.messages)
-        ? session
-            .messages
-        : Array.isArray(record.messages)
-            ? record
-                .messages
-            : [];
-    const total = countAssistantMessages(messages);
-    return total > 0 ? total : undefined;
-}
-function extractTotalTurnsFromResult(result) {
-    if (!result || typeof result !== "object")
-        return undefined;
-    const record = result;
-    if (record.mode !== "turns")
-        return undefined;
-    const totalTurns = typeof record.totalTurns === "number"
-        ? record.totalTurns
-        : undefined;
-    const turns = Array.isArray(record.turns) ? record.turns : undefined;
-    if (typeof totalTurns === "number")
-        return totalTurns;
-    return turns ? turns.length : undefined;
-}
-function isTurnsResult(result) {
-    if (!result || typeof result !== "object")
-        return false;
-    return result.mode === "turns";
-}
-function extractConversationContext(input) {
-    if (!input || typeof input !== "object")
-        return {};
-    const record = input;
-    const session = record.session;
-    const messages = session &&
-        typeof session === "object" &&
-        Array.isArray(session.messages)
-        ? session
-            .messages
-        : [];
-    let latestUser = undefined;
-    let latestAssistant = undefined;
-    for (let i = messages.length - 1; i >= 0; i -= 1) {
-        const msg = messages[i];
-        if (!msg)
-            continue;
-        if (!latestAssistant && msg.role === "assistant") {
-            if (typeof msg.content === "string") {
-                latestAssistant = msg.content;
-            }
-        }
-        if (!latestUser && msg.role === "user") {
-            if (typeof msg.content === "string") {
-                latestUser = msg.content;
-            }
-        }
-        if (latestUser && latestAssistant)
-            break;
-    }
-    return { latestUser, latestAssistant };
-}
-function getDurableStreamOffset(streamId) {
-    try {
-        const raw = globalThis.localStorage.getItem(`gambit.durable-streams.offset.${streamId}`);
-        const parsed = raw ? Number(raw) : 0;
-        return Number.isFinite(parsed) ? Math.max(0, parsed) : 0;
-    }
-    catch {
-        return 0;
-    }
-}
-function setDurableStreamOffset(streamId, offset) {
-    try {
-        globalThis.localStorage.setItem(`gambit.durable-streams.offset.${streamId}`, String(offset));
-    }
-    catch {
-        // ignore storage failures
-    }
-}
-function buildDurableStreamUrl(streamId, offset) {
-    const params = new URLSearchParams({ live: "sse", offset: String(offset) });
-    const relative = `${exports.DURABLE_STREAM_PREFIX}${encodeURIComponent(streamId)}?${params.toString()}`;
-    try {
-        const origin = globalThis.location?.origin ??
-            dntShim.dntGlobalThis.window?.location?.origin ??
-            "http://localhost";
-        return new URL(relative, origin).toString();
-    }
-    catch {
-        return relative;
-    }
-}
-function toDeckSlug(input) {
-    const base = input?.split(/[/\\]/).pop() || "deck";
-    const withoutExt = base.replace(/\.[^.]+$/, "");
-    const slug = withoutExt.toLowerCase().replace(/[^a-z0-9]+/g, "-").replace(/^-+|-+$/g, "");
-    return slug || "session";
-}
-function normalizeBasePath(basePath) {
-    if (basePath === "/")
-        return "";
-    return basePath.replace(/\/+$/, "");
-}
-function getWorkspaceIdFromPath(pathname, basePath = exports.WORKSPACES_BASE_PATH) {
-    const target = typeof pathname === "string"
-        ? pathname
-        : globalThis.location.pathname;
-    const normalizedTarget = target.replace(/\/+$/, "") || "/";
-    const canonical = (0, workspace_routes_js_1.parseWorkspaceRoute)(normalizedTarget);
-    if (canonical)
-        return canonical.workspaceId;
-    const bases = [basePath, "/debug", "/simulate", ""];
-    for (const base of bases) {
-        if (typeof base !== "string")
-            continue;
-        const normalized = normalizeBasePath(base);
-        const prefix = `${normalized}/workspaces/`.replace(/^\/\//, "/");
-        if (normalized === "" && !normalizedTarget.startsWith("/workspaces/")) {
-            continue;
-        }
-        if (normalized !== "" && !normalizedTarget.startsWith(prefix)) {
-            continue;
-        }
-        const remainder = normalized === ""
-            ? normalizedTarget.slice("/workspaces/".length)
-            : normalizedTarget.slice(prefix.length);
-        if (remainder.length > 0 && remainder !== "new") {
-            return decodeURIComponent(remainder);
-        }
-    }
-    return null;
-}
-function getWorkspaceRouteFromPath(pathname) {
-    const target = typeof pathname === "string"
-        ? pathname
-        : globalThis.location.pathname;
-    const normalizedTarget = target.replace(/\/+$/, "") || "/";
-    return (0, workspace_routes_js_1.parseWorkspaceRoute)(normalizedTarget);
-}
-function cloneValue(value) {
-    try {
-        // @ts-ignore structuredClone is available in modern browsers
-        return structuredClone(value);
-    }
-    catch {
-        try {
-            return JSON.parse(JSON.stringify(value));
-        }
-        catch {
-            return value;
-        }
-    }
-}
-function normalizeFsPath(input) {
-    if (!input)
-        return "";
-    return input.replace(/\\/g, "/");
-}
-function guessRepoRoot(path) {
-    const normalized = normalizeFsPath(path);
-    const marker = "/bfmono";
-    const idx = normalized.indexOf(marker);
-    if (idx === -1)
-        return null;
-    return normalized.slice(0, idx + marker.length);
-}
-function toRelativePath(path, repoRoot) {
-    if (!path)
-        return null;
-    const target = normalizeFsPath(path);
-    if (repoRoot) {
-        const normalizedRoot = normalizeFsPath(repoRoot);
-        if (target === normalizedRoot)
-            return "";
-        if (target.startsWith(`${normalizedRoot}/`)) {
-            return target.slice(normalizedRoot.length + 1);
-        }
-    }
-    return target;
-}
-function getGradeWorkspaceIdFromLocation() {
-    const route = getWorkspaceRouteFromPath(globalThis.location.pathname);
-    if (!route || route.tab !== "grade")
-        return null;
-    return route.workspaceId ?? null;
-}
-function getGradeRunIdFromLocation() {
-    const route = getWorkspaceRouteFromPath(globalThis.location.pathname);
-    if (!route || route.tab !== "grade")
-        return null;
-    return route.gradeRunId ?? null;
-}
-function parseGradingRef(ref) {
-    const match = ref.match(/^gradingRun:([^#]+)(?:#turn:(\d+))?$/i);
-    if (!match)
-        return {};
-    const runId = match[1];
-    const turnIndex = match[2] ? Number(match[2]) : undefined;
-    return {
-        runId: runId || undefined,
-        turnIndex: Number.isFinite(turnIndex) ? turnIndex : undefined,
-    };
-}
-function getPathValue(value, path) {
-    let current = value;
-    for (const segment of path) {
-        if (!current || typeof current !== "object" ||
-            !(segment in current)) {
-            return undefined;
-        }
-        current = current[segment];
-    }
-    return current;
-}
-function setPathValue(value, path, nextValue) {
-    if (path.length === 0)
-        return nextValue;
-    const root = value && typeof value === "object" ? cloneValue(value) : {};
-    let cursor = root;
-    for (let i = 0; i < path.length - 1; i++) {
-        const segment = path[i];
-        const existing = cursor[segment];
-        const next = existing && typeof existing === "object"
-            ? cloneValue(existing)
-            : {};
-        cursor[segment] = next;
-        cursor = next;
-    }
-    const last = path[path.length - 1];
-    if (nextValue === undefined) {
-        delete cursor[last];
-    }
-    else {
-        cursor[last] = nextValue;
-    }
-    return root;
-}
-function deriveInitialFromSchema(schema) {
-    if (!schema)
-        return undefined;
-    if (schema.defaultValue !== undefined)
-        return cloneValue(schema.defaultValue);
-    if (schema.example !== undefined)
-        return cloneValue(schema.example);
-    switch (schema.kind) {
-        case "object": {
-            const out = {};
-            for (const [key, child] of Object.entries(schema.fields ?? {})) {
-                const v = deriveInitialFromSchema(child);
-                if (v !== undefined)
-                    out[key] = v;
-            }
-            return Object.keys(out).length ? out : {};
-        }
-        case "array": {
-            const item = schema.items
-                ? deriveInitialFromSchema(schema.items)
-                : undefined;
-            return item !== undefined ? [item] : [];
-        }
-        case "boolean":
-            return false;
-        case "number":
-            return undefined;
-        case "string":
-        case "unknown":
-        case "enum":
-        default:
-            return undefined;
-    }
-}
-function flattenSchemaLeaves(schema, prefix = []) {
-    if (!schema)
-        return [];
-    if (schema.kind === "object" && schema.fields) {
-        const out = [];
-        for (const [key, child] of Object.entries(schema.fields)) {
-            out.push(...flattenSchemaLeaves(child, [...prefix, key]));
-        }
-        return out;
-    }
-    return [{ path: prefix, schema }];
-}
-function findMissingRequiredFields(schema, value, prefix = []) {
-    if (!schema)
-        return [];
-    if (schema.optional)
-        return [];
-    if (schema.kind === "object" && schema.fields) {
-        const missing = [];
-        const asObj = value && typeof value === "object"
-            ? value
-            : undefined;
-        for (const [key, child] of Object.entries(schema.fields)) {
-            missing.push(...findMissingRequiredFields(child, asObj ? asObj[key] : undefined, [...prefix, key]));
-        }
-        return missing;
-    }
-    const key = prefix.join(".") || "(root)";
-    if (value === undefined || value === null)
-        return [key];
-    switch (schema.kind) {
-        case "string": {
-            if (typeof value !== "string")
-                return [key];
-            if (value.trim() === "")
-                return [key];
-            return [];
-        }
-        case "number":
-            return typeof value === "number" && Number.isFinite(value) ? [] : [key];
-        case "boolean":
-            return typeof value === "boolean" ? [] : [key];
-        case "enum":
-            return value === "" ? [key] : [];
-        case "array":
-            return Array.isArray(value) && value.length > 0 ? [] : [key];
-        case "unknown":
-            return [];
-        default:
-            return [];
-    }
-}
-function extractInitFromTraces(traces) {
-    if (!Array.isArray(traces))
-        return undefined;
-    for (const event of traces) {
-        if (event?.type === "run.start" && "input" in event) {
-            const input = event.input;
-            if (input !== undefined)
-                return input;
-        }
-    }
-    return undefined;
-}
-function renderMarkdown(text) {
-    const escaped = text
-        .replace(/&/g, "&amp;")
-        .replace(/</g, "&lt;")
-        .replace(/>/g, "&gt;");
-    return escaped
-        .replace(/`([^`]+?)`/g, "<code>$1</code>")
-        .replace(/\*\*(.+?)\*\*/g, "<strong>$1</strong>")
-        .replace(/\n/g, "<br />");
-}
-function findHandledErrors(traces) {
-    const handled = new Map();
-    for (const trace of traces) {
-        if (!trace || typeof trace !== "object")
-            continue;
-        if (trace.type !== "tool.result")
-            continue;
-        const name = typeof trace.name === "string"
-            ? trace.name
-            : undefined;
-        if (name !== "gambit_init")
-            continue;
-        const result = trace.result;
-        if (!result || result.kind !== "error")
-            continue;
-        const source = result.source;
-        const actionName = typeof source?.actionName === "string"
-            ? source.actionName
-            : undefined;
-        const errorObj = result.error;
-        const errorMessage = typeof errorObj?.message === "string"
-            ? errorObj.message
-            : undefined;
-        if (actionName && errorMessage) {
-            handled.set(actionName, errorMessage);
-        }
-    }
-    return handled;
-}
-function summarizeToolCalls(traces) {
-    const order = [];
-    const byKey = new Map();
-    const depthMap = new Map();
-    const traceCallKey = (trace, actionCallId) => `${typeof trace.runId === "string" ? trace.runId : ""}:${actionCallId}`;
-    for (const trace of traces) {
-        if (!trace || typeof trace !== "object")
-            continue;
-        const type = typeof trace.type === "string" ? trace.type : "";
-        const actionCallId = typeof trace
-            .actionCallId === "string"
-            ? trace.actionCallId
-            : undefined;
-        const parentActionCallId = typeof trace.parentActionCallId === "string"
-            ? trace.parentActionCallId
-            : undefined;
-        if ((type === "deck.start" || type === "action.start") && actionCallId) {
-            const parentDepth = parentActionCallId && depthMap.has(parentActionCallId)
-                ? depthMap.get(parentActionCallId)
-                : -1;
-            depthMap.set(actionCallId, parentDepth + 1);
-            continue;
-        }
-        if (!type.startsWith("tool.") || !actionCallId)
-            continue;
-        const key = traceCallKey(trace, actionCallId);
-        let summary = byKey.get(key);
-        if (!summary) {
-            summary = {
-                key,
-                id: actionCallId,
-                actionCallId,
-                runId: typeof trace.runId === "string" ? trace.runId : undefined,
-                name: typeof trace.name === "string" ? trace.name : undefined,
-                status: "pending",
-            };
-            byKey.set(key, summary);
-            order.push(summary);
-        }
-        if (typeof trace.name === "string")
-            summary.name = trace.name;
-        if (type === "tool.call") {
-            if ("args" in trace) {
-                summary.args = trace.args;
-            }
-            summary.status = "running";
-            summary.parentActionCallId = parentActionCallId;
-            const parentDepth = parentActionCallId && depthMap.has(parentActionCallId)
-                ? depthMap.get(parentActionCallId)
-                : -1;
-            const nextDepth = parentDepth + 1;
-            summary.depth = summary.depth ?? nextDepth;
-            depthMap.set(actionCallId, nextDepth);
-        }
-        else if (type === "tool.result") {
-            if ("result" in trace) {
-                summary.result = trace.result;
-            }
-            summary.status = "completed";
-        }
-        else if (type === "tool.error") {
-            if ("error" in trace) {
-                summary.error = trace.error;
-            }
-            summary.status = "error";
-        }
-    }
-    const handled = findHandledErrors(traces);
-    order.forEach((summary) => {
-        if (!summary.name)
-            return;
-        const errorMessage = handled.get(summary.name);
-        if (errorMessage) {
-            summary.handledError = errorMessage;
-        }
-    });
-    return order;
-}
-function deriveBuildDisplayMessages(messages = [], traces) {
-    const safeMessages = Array.isArray(messages) ? messages : [];
-    const safeTraces = Array.isArray(traces) ? traces : [];
-    if (safeTraces.length === 0) {
-        return safeMessages.map((msg, idx) => ({
-            kind: "message",
-            role: msg.role === "user" ? "user" : "assistant",
-            content: msg.content,
-            reasoningId: `fallback-${idx}`,
-        }));
-    }
-    const entries = [];
-    const toolSummaries = new Map();
-    const toolEntryIds = new Set();
-    const toolDepthMap = new Map();
-    const reasoningIndexById = new Map();
-    const assistantIndexById = new Map();
-    const asRecord = (value) => {
-        if (value && typeof value === "object" && !Array.isArray(value)) {
-            return value;
-        }
-        return null;
-    };
-    const asString = (value) => typeof value === "string" ? value : "";
-    const scopedId = (scope, id) => scope ? `${scope}:${id}` : id;
-    const stringifyContent = (value) => {
-        if (typeof value === "string")
-            return value;
-        try {
-            return JSON.stringify(value);
-        }
-        catch {
-            return String(value);
-        }
-    };
-    const pushAssistantMessage = (content) => {
-        const normalized = content.trim();
-        if (!normalized)
-            return;
-        for (let i = entries.length - 1; i >= 0; i -= 1) {
-            const entry = entries[i];
-            if (entry?.kind !== "message")
-                continue;
-            if (entry.role !== "assistant")
-                continue;
-            if ((entry.content ?? "").trim() === normalized)
-                return;
-            break;
-        }
-        entries.push({
-            kind: "message",
-            role: "assistant",
-            content: normalized,
-        });
-    };
-    const extractReasoningText = (payload) => {
-        const payloadType = asString(payload.type);
-        if (payloadType === "response.reasoning.delta") {
-            return asString(payload.delta);
-        }
-        if (payloadType === "response.reasoning.done") {
-            return asString(payload.text);
-        }
-        if (payloadType === "response.reasoning_summary_text.delta") {
-            return asString(payload.delta);
-        }
-        if (payloadType === "response.reasoning_summary_text.done") {
-            return asString(payload.text);
-        }
-        if (payloadType === "response.reasoning_summary_part.added" ||
-            payloadType === "response.reasoning_summary_part.done") {
-            const part = asRecord(payload.part);
-            return part ? asString(part.text) : "";
-        }
-        return "";
-    };
-    const ensureToolSummary = (input) => {
-        const { actionCallId, name, parentActionCallId } = input;
-        let summary = toolSummaries.get(actionCallId);
-        if (!summary) {
-            summary = {
-                key: actionCallId,
-                id: actionCallId,
-                name,
-                status: "pending",
-                parentActionCallId,
-            };
-            toolSummaries.set(actionCallId, summary);
-        }
-        if (name && !summary.name)
-            summary.name = name;
-        if (parentActionCallId)
-            summary.parentActionCallId = parentActionCallId;
-        return summary;
-    };
-    const pushToolEntry = (summary) => {
-        if (toolEntryIds.has(summary.id))
-            return;
-        toolEntryIds.add(summary.id);
-        entries.push({
-            kind: "tool",
-            toolCallId: summary.id,
-            toolSummary: summary,
-        });
-    };
-    const applyToolEvent = (input) => {
-        const actionCallId = asString(input.event.actionCallId);
-        if (!actionCallId)
-            return;
-        const name = asString(input.event.name) || undefined;
-        const parentActionCallId = asString(input.event.parentActionCallId) ||
-            undefined;
-        const summary = ensureToolSummary({
-            actionCallId,
-            name,
-            parentActionCallId,
-        });
-        if (input.type === "tool.call") {
-            summary.args = "args" in input.event ? input.event.args : undefined;
-            summary.status = "running";
-            if (parentActionCallId) {
-                const parentDepth = toolDepthMap.has(parentActionCallId)
-                    ? toolDepthMap.get(parentActionCallId)
-                    : -1;
-                summary.depth = summary.depth ?? parentDepth + 1;
-                toolDepthMap.set(actionCallId, summary.depth);
-            }
-            pushToolEntry(summary);
-            return;
-        }
-        if (input.type === "tool.result") {
-            summary.result = "result" in input.event ? input.event.result : null;
-            summary.status = "completed";
-            pushToolEntry(summary);
-            return;
-        }
-        if (input.type === "tool.error") {
-            summary.error = "error" in input.event ? input.event.error : null;
-            summary.status = "error";
-            pushToolEntry(summary);
-        }
-    };
-    const upsertReasoning = (input) => {
-        const normalizedText = input.text.trim();
-        if (!normalizedText)
-            return;
-        const reasoningId = input.reasoningId || "reasoning";
-        const existingIndex = reasoningIndexById.get(reasoningId);
-        if (existingIndex === undefined) {
-            entries.push({
-                kind: "reasoning",
-                reasoningId,
-                reasoningType: asString(input.raw.type) || undefined,
-                content: normalizedText,
-                reasoningRaw: input.raw,
-            });
-            reasoningIndexById.set(reasoningId, entries.length - 1);
-            return;
-        }
-        const existing = entries[existingIndex];
-        if (!existing || existing.kind !== "reasoning")
-            return;
-        const previousText = typeof existing.content === "string"
-            ? existing.content
-            : "";
-        let nextText = previousText;
-        if (input.mode === "append") {
-            if (!previousText) {
-                nextText = normalizedText;
-            }
-            else if (!previousText.endsWith(normalizedText)) {
-                nextText = `${previousText}${normalizedText}`;
-            }
-        }
-        else {
-            if (previousText === normalizedText) {
-                nextText = previousText;
-            }
-            else if (!previousText) {
-                nextText = normalizedText;
-            }
-            else if (normalizedText.startsWith(previousText)) {
-                nextText = normalizedText;
-            }
-            else if (previousText.startsWith(normalizedText)) {
-                nextText = previousText;
-            }
-            else if (!previousText.includes(normalizedText)) {
-                nextText = `${previousText}\n${normalizedText}`;
-            }
-        }
-        if (nextText === previousText)
-            return;
-        entries[existingIndex] = {
-            ...existing,
-            reasoningType: asString(input.raw.type) || existing.reasoningType,
-            content: nextText,
-            reasoningRaw: input.raw,
-        };
-    };
-    const upsertAssistantMessage = (input) => {
-        const text = input.text.trim();
-        if (!text)
-            return;
-        const messageId = input.messageId || `assistant-${entries.length}`;
-        for (let i = entries.length - 1; i >= 0; i -= 1) {
-            const entry = entries[i];
-            if (entry?.kind !== "message")
-                continue;
-            if (entry.role !== "assistant")
-                continue;
-            if ((entry.content ?? "").trim() === text) {
-                assistantIndexById.set(messageId, i);
-                return;
-            }
-            break;
-        }
-        const existingIndex = assistantIndexById.get(messageId);
-        if (existingIndex !== undefined) {
-            const existing = entries[existingIndex];
-            if (existing?.kind === "message" && existing.role === "assistant") {
-                entries[existingIndex] = {
-                    ...existing,
-                    content: text,
-                };
-            }
-            return;
-        }
-        entries.push({
-            kind: "message",
-            role: "assistant",
-            content: text,
-        });
-        assistantIndexById.set(messageId, entries.length - 1);
-    };
-    const extractAssistantTextFromItem = (item) => {
-        const itemType = asString(item.type);
-        if (itemType === "agent_message")
-            return asString(item.text);
-        if (itemType !== "message")
-            return "";
-        if (asString(item.role) !== "assistant")
-            return "";
-        const content = item.content;
-        if (!Array.isArray(content))
-            return "";
-        const textParts = content.map((part) => {
-            const partRecord = asRecord(part);
-            if (!partRecord)
-                return "";
-            return typeof partRecord.text === "string" ? partRecord.text : "";
-        }).filter((part) => part.length > 0);
-        return textParts.join("");
-    };
-    for (const trace of safeTraces) {
-        if (!trace || typeof trace !== "object")
-            continue;
-        const record = trace;
-        const type = asString(record.type);
-        if (type === "message.user") {
-            const message = record.message;
-            const msgRecord = asRecord(message);
-            entries.push({
-                kind: "message",
-                role: "user",
-                content: stringifyContent(msgRecord?.content),
-            });
-            continue;
-        }
-        if (type === "model.result") {
-            const message = record.message;
-            const msgRecord = asRecord(message);
-            pushAssistantMessage(stringifyContent(msgRecord?.content));
-            continue;
-        }
-        if (type === "tool.call" || type === "tool.result" || type === "tool.error") {
-            applyToolEvent({ event: record, type });
-            continue;
-        }
-        if (type !== "model.stream.event")
-            continue;
-        const event = record.event;
-        const payloadRecord = asRecord(event);
-        const payload = payloadRecord?.type === "codex.event"
-            ? asRecord(payloadRecord.payload)
-            : payloadRecord;
-        if (!payload)
-            continue;
-        const payloadType = asString(payload.type);
-        if (payloadType === "tool.call" || payloadType === "tool.result" ||
-            payloadType === "tool.error") {
-            applyToolEvent({ event: payload, type: payloadType });
-            continue;
-        }
-        if (payloadType.startsWith("response.reasoning")) {
-            const actionScope = asString(record.actionCallId) ||
-                asString(record.runId);
-            const baseReasoningId = asString(payload.item_id) || payloadType;
-            upsertReasoning({
-                reasoningId: scopedId(actionScope, baseReasoningId),
-                text: extractReasoningText(payload),
-                raw: payload,
-                mode: payloadType.endsWith(".delta") ? "append" : "replace",
-            });
-            continue;
-        }
-        const item = asRecord(payload.item);
-        if (!item)
-            continue;
-        const itemType = asString(item.type);
-        if (itemType === "agent_message" ||
-            (itemType === "message" && payloadType === "response.output_item.done")) {
-            const text = extractAssistantTextFromItem(item);
-            if (!text)
-                continue;
-            const outputIndex = typeof payload.output_index === "number"
-                ? String(payload.output_index)
-                : "";
-            const actionScope = asString(record.actionCallId) ||
-                asString(record.runId);
-            const baseMessageId = asString(item.id) || asString(payload.item_id) ||
-                (outputIndex ? `output-${outputIndex}` : "");
-            upsertAssistantMessage({
-                messageId: scopedId(actionScope, baseMessageId),
-                text,
-            });
-            continue;
-        }
-        if (itemType.includes(":")) {
-            const extensionData = Object.hasOwn(item, "data")
-                ? item.data
-                : item;
-            const extensionText = (() => {
-                try {
-                    return JSON.stringify(extensionData);
-                }
-                catch {
-                    return String(extensionData);
-                }
-            })();
-            if (!extensionText || extensionText === "{}")
-                continue;
-            const outputIndex = typeof payload.output_index === "number"
-                ? String(payload.output_index)
-                : "";
-            const actionScope = asString(record.actionCallId) ||
-                asString(record.runId);
-            const baseExtensionId = asString(item.id) || asString(payload.item_id) ||
-                (outputIndex ? `extension-${outputIndex}` : itemType);
-            upsertReasoning({
-                reasoningId: scopedId(actionScope, `extension:${baseExtensionId}`),
-                text: `${itemType}: ${extensionText}`,
-                raw: item,
-                mode: "replace",
-            });
-            continue;
-        }
-        if (itemType !== "reasoning")
-            continue;
-        let text = "";
-        const summary = item.summary;
-        if (Array.isArray(summary)) {
-            text = summary.map((part) => {
-                const partRecord = asRecord(part);
-                return partRecord && typeof partRecord.text === "string"
-                    ? partRecord.text
-                    : "";
-            }).join("");
-        }
-        else if (typeof item.text === "string") {
-            text = item.text;
-        }
-        const actionScope = asString(record.actionCallId) || asString(record.runId);
-        const baseReasoningId = asString(item.id) || "reasoning";
-        upsertReasoning({
-            reasoningId: scopedId(actionScope, baseReasoningId),
-            text,
-            raw: item,
-            mode: "replace",
-        });
-    }
-    return entries;
-}
-function deriveReasoningByAssistant(traces) {
-    const buckets = new Map();
-    if (!Array.isArray(traces) || traces.length === 0)
-        return buckets;
-    const pending = [];
-    const pendingById = new Map();
-    let assistantIndex = -1;
-    const asRecord = (value) => {
-        if (value && typeof value === "object" && !Array.isArray(value)) {
-            return value;
-        }
-        return null;
-    };
-    const asString = (value) => typeof value === "string" ? value : "";
-    const extractPayload = (value) => {
-        const record = asRecord(value);
-        if (!record)
-            return null;
-        if (record.type === "codex.event") {
-            return asRecord(record.payload);
-        }
-        return record;
-    };
-    const appendDetail = (input) => {
-        const chunk = input.text.trim();
-        if (!chunk)
-            return;
-        const actionCallId = asString(input.trace.actionCallId) || undefined;
-        const model = asString(input.trace.model) ||
-            undefined;
-        const key = input.id && input.id.trim().length > 0
-            ? input.id
-            : `${input.trace.runId ?? ""}:${actionCallId ?? ""}:${pending.length}`;
-        let detail = pendingById.get(key);
-        if (!detail) {
-            detail = {
-                text: chunk,
-                event: input.event,
-                model,
-                actionCallId,
-            };
-            pendingById.set(key, detail);
-            pending.push(detail);
-            return;
-        }
-        if (!detail.text.endsWith(chunk)) {
-            detail.text += chunk;
-        }
-        detail.event = input.event;
-        if (!detail.model && model)
-            detail.model = model;
-        if (!detail.actionCallId && actionCallId) {
-            detail.actionCallId = actionCallId;
-        }
-    };
-    for (const trace of traces) {
-        if (!trace || typeof trace !== "object")
-            continue;
-        if (trace.type === "model.result") {
-            const message = trace.message;
-            if (message?.role === "assistant") {
-                assistantIndex += 1;
-                if (pending.length > 0) {
-                    buckets.set(assistantIndex, [...pending]);
-                    pending.length = 0;
-                    pendingById.clear();
-                }
-            }
-            continue;
-        }
-        if (trace.type !== "model.stream.event")
-            continue;
-        const payload = extractPayload(trace.event);
-        if (!payload)
-            continue;
-        const payloadType = asString(payload.type);
-        if (payloadType.startsWith("response.reasoning")) {
-            let text = "";
-            if (payloadType === "response.reasoning.delta") {
-                text = asString(payload.delta);
-            }
-            else if (payloadType === "response.reasoning.done") {
-                text = asString(payload.text);
-            }
-            else if (payloadType === "response.reasoning_summary_text.delta") {
-                text = asString(payload.delta);
-            }
-            else if (payloadType === "response.reasoning_summary_text.done") {
-                text = asString(payload.text);
-            }
-            else if (payloadType === "response.reasoning_summary_part.added" ||
-                payloadType === "response.reasoning_summary_part.done") {
-                const part = asRecord(payload.part);
-                text = part ? asString(part.text) : "";
-            }
-            appendDetail({
-                id: asString(payload.item_id) || undefined,
-                text,
-                event: payload,
-                trace,
-            });
-            continue;
-        }
-        const item = asRecord(payload.item);
-        if (!item)
-            continue;
-        if (asString(item.type) !== "reasoning")
-            continue;
-        const summary = item.summary;
-        let text = "";
-        if (Array.isArray(summary)) {
-            text = summary.map((part) => {
-                const partRecord = asRecord(part);
-                return partRecord ? asString(partRecord.text) : "";
-            }).join("");
-        }
-        else if (typeof summary === "string") {
-            text = summary;
-        }
-        else if (typeof item.text === "string") {
-            text = item.text;
-        }
-        appendDetail({
-            id: asString(item.id) || undefined,
-            text,
-            event: item,
-            trace,
-        });
-    }
-    return buckets;
-}
-// Legacy traces may still include synthetic respond envelopes.
-const LEGACY_RESPOND_TOOL_NAME = "gambit_respond";
-const stringifyMessageContent = (value) => {
-    if (value === null || value === undefined)
-        return "";
-    if (typeof value === "string")
-        return value;
-    try {
-        return JSON.stringify(value);
-    }
-    catch {
-        return String(value);
-    }
-};
-const safeParseJson = (text) => {
-    if (typeof text !== "string" || text.trim().length === 0)
-        return undefined;
-    try {
-        return JSON.parse(text);
-    }
-    catch {
-        return undefined;
-    }
-};
-const summarizeRespondMessage = (message) => {
-    if (!message || message.role !== "tool")
-        return null;
-    const name = typeof message.name === "string" ? message.name : undefined;
-    if (name !== LEGACY_RESPOND_TOOL_NAME)
-        return null;
-    const parsed = safeParseJson(typeof message.content === "string" ? message.content : "");
-    const payload = parsed && typeof parsed === "object"
-        ? ("payload" in parsed ? parsed.payload : parsed)
-        : undefined;
-    const status = typeof parsed?.status === "number"
-        ? parsed.status
-        : undefined;
-    const code = typeof parsed?.code === "string"
-        ? parsed.code
-        : undefined;
-    const respondMessage = typeof parsed?.message === "string"
-        ? parsed.message
-        : undefined;
-    const meta = parsed && typeof parsed.meta === "object"
-        ? parsed.meta
-        : undefined;
-    const summary = {};
-    if (status !== undefined)
-        summary.status = status;
-    if (code !== undefined)
-        summary.code = code;
-    if (respondMessage !== undefined)
-        summary.message = respondMessage;
-    if (meta !== undefined)
-        summary.meta = meta;
-    summary.payload = payload ?? null;
-    return {
-        status,
-        code,
-        message: respondMessage,
-        meta,
-        payload,
-        displayText: JSON.stringify(summary, null, 2),
-    };
-};
-function buildConversationEntries(state) {
-    if (!state)
-        return [];
-    const entries = [];
-    const rawMessages = state.messages ?? [];
-    const refs = state.messageRefs ?? [];
-    const feedbackByRef = new Map(state.feedback?.map((entry) => [entry.messageRefId, entry]) ?? []);
-    for (let idx = 0; idx < rawMessages.length; idx++) {
-        const msg = rawMessages[idx];
-        const ref = refs[idx];
-        if (!msg)
-            continue;
-        const respondSummary = summarizeRespondMessage(msg);
-        if (respondSummary) {
-            entries.push({
-                id: ref?.id,
-                message: {
-                    role: "assistant",
-                    content: respondSummary.displayText,
-                    name: LEGACY_RESPOND_TOOL_NAME,
-                },
-                feedback: ref ? feedbackByRef.get(ref.id) : undefined,
-                respond: {
-                    status: respondSummary.status,
-                    code: respondSummary.code,
-                    message: respondSummary.message,
-                    meta: respondSummary.meta,
-                    payload: respondSummary.payload,
-                },
-            });
-            continue;
-        }
-        if (msg.role !== "assistant" && msg.role !== "user" &&
-            msg.role !== "system")
-            continue;
-        const content = stringifyMessageContent(msg.content).trim();
-        if (!content)
-            continue;
-        entries.push({
-            id: ref?.id,
-            message: {
-                ...msg,
-                content,
-            },
-            feedback: ref ? feedbackByRef.get(ref.id) : undefined,
-        });
-    }
-    return entries;
-}
-function normalizeAppPath(input) {
-    const trimmed = input.replace(/\/+$/, "") || "/";
-    if (trimmed === "/" || trimmed === "") {
-        if (globalThis.location.pathname !== exports.DOCS_PATH) {
-            globalThis.history.replaceState({}, "", exports.DOCS_PATH);
-        }
-        return exports.DOCS_PATH;
-    }
-    if (trimmed === exports.DOCS_PATH) {
-        if (globalThis.location.pathname !== exports.DOCS_PATH) {
-            globalThis.history.replaceState({}, "", exports.DOCS_PATH);
-        }
-        return exports.DOCS_PATH;
-    }
-    if (trimmed === "/test") {
-        if (globalThis.location.pathname !== exports.DEFAULT_TEST_PATH) {
-            globalThis.history.replaceState({}, "", exports.DEFAULT_TEST_PATH);
-        }
-        return exports.DEFAULT_TEST_PATH;
-    }
-    if (trimmed === "/grade") {
-        if (globalThis.location.pathname !== exports.DEFAULT_GRADE_PATH) {
-            globalThis.history.replaceState({}, "", exports.DEFAULT_GRADE_PATH);
-        }
-        return exports.DEFAULT_GRADE_PATH;
-    }
-    if (trimmed === "/verify") {
-        if (globalThis.location.pathname !== exports.DEFAULT_VERIFY_PATH) {
-            globalThis.history.replaceState({}, "", exports.DEFAULT_VERIFY_PATH);
-        }
-        return exports.DEFAULT_VERIFY_PATH;
-    }
-    if (trimmed === "/build") {
-        if (globalThis.location.pathname !== exports.DEFAULT_BUILD_PATH) {
-            globalThis.history.replaceState({}, "", exports.DEFAULT_BUILD_PATH);
-        }
-        return exports.DEFAULT_BUILD_PATH;
-    }
-    if (trimmed === "/debug" || trimmed === "/simulate" ||
-        trimmed === exports.WORKSPACES_BASE_PATH) {
-        if (globalThis.location.pathname !== exports.DEFAULT_WORKSPACE_BUILD_PATH) {
-            globalThis.history.replaceState({}, "", exports.DEFAULT_WORKSPACE_BUILD_PATH);
-        }
-        return exports.DEFAULT_WORKSPACE_BUILD_PATH;
-    }
-    if (/^\/workspaces\/[^/]+\/(build|verify)$/.test(trimmed) ||
-        /^\/workspaces\/[^/]+\/(test|grade)(?:\/[^/]+)?$/.test(trimmed)) {
-        return trimmed;
-    }
-    if (trimmed.startsWith("/debug/workspaces/")) {
-        const raw = trimmed.slice("/debug/workspaces/".length);
-        const decoded = decodeURIComponent(raw);
-        const next = `${exports.WORKSPACES_BASE_PATH}/${encodeURIComponent(decoded)}/build`;
-        globalThis.history.replaceState({}, "", next);
-        return next;
-    }
-    if (trimmed.startsWith("/workspaces/") && !trimmed.includes("/debug") &&
-        !trimmed.includes("/test") && !trimmed.includes("/grade") &&
-        !trimmed.includes("/build") && !trimmed.includes("/verify") &&
-        trimmed !== exports.DEFAULT_WORKSPACE_BUILD_PATH) {
-        const remainder = trimmed.slice("/workspaces/".length);
-        if (remainder && remainder !== "new") {
-            const decoded = decodeURIComponent(remainder);
-            const next = `${exports.WORKSPACES_BASE_PATH}/${encodeURIComponent(decoded)}/build`;
-            globalThis.history.replaceState({}, "", next);
-            return next;
-        }
-    }
-    return trimmed || exports.DEFAULT_WORKSPACE_BUILD_PATH;
-}