thurview 0.17.1 → 0.18.0

package/dist/interfaces.js

@@ -1,171 +1,3 @@
-/**
- * The interface delta: what the change did to the surfaces other code can reach.
- *
- * A capability becomes real when it becomes visible, so the honest answer to
- * "what does this pull request do" is what it added to, changed in, or took out
- * of the exported surface. That is derived here from the code graph at both
- * pinned commits rather than asserted by the author, so it cannot go stale: a
- * symbol the diff touched is an interface entry only when it is visible outside
- * its file on one side or the other, and only when its declaration moved.
- * Everything else is counted as internal, which is a finding of its own.
- */
-import { languageFor } from "./highlight.js";
-import { catFiles } from "./symbols.js";
-import { LANGUAGES } from "./graph.js";
-const FAMILY = {
-    typescript: "js",
-    tsx: "js",
-    javascript: "js",
-    jsx: "js",
-    python: "python",
-    go: "go",
-    rust: "rust",
-    java: "java",
-    elixir: "elixir",
-};
-/** Kinds whose body is part of the surface: a field added to an exported type is a change. */
-const BODY_IS_SURFACE = new Set(["interface", "type"]);
-const MAX_SURFACE_LINES = 60;
-const MAX_DECLARATION_LINES = 12;
-const MAX_DECLARATION_CHARS = 240;
-/** `export { audit, check as verify }` makes the local names visible outside the file. */
-function reexportedNames(text) {
-    const out = new Set();
-    for (const m of text.matchAll(/\bexport\s*\{([^}]*)\}/g))
-        for (const part of m[1].split(",")) {
-            const local = part
-                .split(/\s+as\s+/)[0]
-                .replace(/\btype\b/, "")
-                .trim();
-            if (local)
-                out.add(local);
-        }
-    return out;
-}
-/**
- * The declaration a consumer reads: the definition's head, without its opening
- * brace. The parameter list is followed to its close before a brace can end the
- * declaration, so an object parameter does not cut the signature in half.
- */
-function declarationOf(lines, s) {
-    const parts = [];
-    const last = Math.min(s.end, s.line + MAX_DECLARATION_LINES - 1);
-    let open = 0;
-    let whole = false;
-    for (let n = s.line; n <= last && !whole; n++) {
-        const line = lines[n - 1] ?? "";
-        parts.push(line.trim());
-        for (const c of line)
-            open += c === "(" ? 1 : c === ")" ? -1 : 0;
-        const t = line.trim();
-        // `do` closes a declaration the way `{` does elsewhere. Without it an Elixir
-        // declaration runs to the line cap and swallows the body, so editing a single
-        // statement inside a function reads as the function's surface having moved.
-        whole =
-            open <= 0 &&
-                (/[{;]/.test(line) || /:\s*$/.test(t) || /(^|\s)do:?$/.test(t) || /,\s*do:\s/.test(t));
-    }
-    const text = parts
-        .join(" ")
-        .replace(/\s+/g, " ")
-        .replace(/\s*[{;]\s*$/, "")
-        .trim();
-    const cut = text.length > MAX_DECLARATION_CHARS;
-    return cut ? `${text.slice(0, MAX_DECLARATION_CHARS)} ...` : whole ? text : `${text} ...`;
-}
-/** The text compared to decide whether the surface moved. */
-function surfaceOf(lines, s) {
-    if (!BODY_IS_SURFACE.has(s.kind))
-        return declarationOf(lines, s);
-    return lines
-        .slice(s.line - 1, Math.min(s.end, s.line + MAX_SURFACE_LINES - 1))
-        .join(" ")
-        .replace(/\s+/g, " ")
-        .trim();
-}
-function qualifiedOf(s) {
-    return s.id.slice(s.file.length + 1).replace(/#\d+$/, "");
-}
-/** Symbol ids visible outside their own file, for the files the diff touched. */
-function visibleIds(graph, texts) {
-    const out = new Set();
-    const byFile = new Map();
-    for (const s of graph.symbols) {
-        if (!texts.has(s.file))
-            continue;
-        const list = byFile.get(s.file);
-        if (list)
-            list.push(s);
-        else
-            byFile.set(s.file, [s]);
-    }
-    for (const [file, syms] of byFile) {
-        const family = FAMILY[languageFor(file)];
-        if (!family)
-            continue;
-        const text = texts.get(file);
-        const lines = text.split("\n");
-        const reexported = family === "js" ? reexportedNames(text) : new Set();
-        // parents first, so a method can ask whether the type holding it is visible
-        const exported = new Set();
-        for (const s of [...syms].sort((a, b) => a.line - b.line)) {
-            const decl = (lines[s.line - 1] ?? "").trim();
-            const declares = () => {
-                switch (family) {
-                    case "js":
-                        return /^export\b/.test(decl) || reexported.has(s.name);
-                    case "python":
-                        return !s.name.startsWith("_") || /^__\w+__$/.test(s.name);
-                    case "go":
-                        return /^[A-Z]/.test(s.name);
-                    case "rust":
-                        return /^pub(\s|\()/.test(decl);
-                    case "java":
-                        return /\bpublic\b/.test(decl);
-                    case "elixir":
-                        // the private forms are the same words with a `p`: defp, defmacrop, defguardp
-                        return /^def(?:module|protocol|macro|delegate|guard|n)?(?=[\s(])/.test(decl);
-                }
-            };
-            const q = qualifiedOf(s);
-            const parent = q.includes(".") ? q.slice(0, q.lastIndexOf(".")) : "";
-            let visible;
-            if (!parent)
-                visible = declares();
-            // a method rides on its type's visibility, except where the line already says it:
-            // Rust puts `pub` there, and Elixir has no private module and marks the function
-            // itself - and its module names hold dots of their own, so the parent of
-            // `Chat.Repo.fetch` is not a symbol to look up
-            else if (family === "rust" || family === "elixir")
-                visible = declares();
-            else if (family === "js")
-                visible =
-                    exported.has(parent) && s.kind === "method" && !/^(private|protected|#)/.test(decl);
-            else
-                visible = exported.has(parent) && declares();
-            if (!visible)
-                continue;
-            exported.add(q);
-            out.add(s.id);
-        }
-    }
-    return out;
-}
-function verdictOf(entries, internal, unreadable) {
-    const counts = ["removed", "changed", "added"]
-        .map((c) => [c, entries.filter((e) => e.change === c).length])
-        .filter(([, n]) => n > 0)
-        .map(([c, n]) => `${n} ${c}`);
-    const head = counts.length
-        ? `${counts.join(", ")}.`
-        : internal
-            ? `No interface moved. ${internal} symbol${internal > 1 ? "s" : ""} changed inside, with no visible surface.`
-            : "No interface moved.";
-    const tail = unreadable
-        ? ` ${unreadable} changed file${unreadable > 1 ? "s are" : " is"} outside the code graph.`
-        : "";
-    return head + tail;
-}
 const RANK = { removed: 0, changed: 1, added: 2 };
 /** Removed first: it is the entry a reviewer must not miss. */
 export function sortEntries(entries) {
@@ -174,81 +6,12 @@ export function sortEntries(entries) {
         a.line - b.line ||
         a.name.localeCompare(b.name));
 }
-/** Re-derive the verdict after authored entries joined the derived ones. */
-export function withVerdict(delta) {
-    sortEntries(delta.entries);
-    delta.verdict = verdictOf(delta.entries, delta.internal, delta.unreadable.length);
-    return delta;
-}
-/** What the change did to the surfaces other code can reach, at the pinned commits. */
-export async function interfaceDelta(input) {
-    const headSyms = new Map(input.head.symbols.map((s) => [s.id, s]));
-    const baseSyms = new Map(input.base.symbols.map((s) => [s.id, s]));
-    const headPaths = new Set();
-    const basePaths = new Set();
-    for (const row of input.impact.changed) {
-        if (row.change === "removed")
-            basePaths.add(row.file);
-        else {
-            headPaths.add(row.file);
-            basePaths.add(input.changes.get(row.file)?.oldPath ?? row.file);
-        }
-    }
-    const [headText, baseText] = await Promise.all([
-        catFiles(input.cwd, input.pins.head, [...headPaths]),
-        catFiles(input.cwd, input.pins.base, [...basePaths]),
-    ]);
-    const headVisible = visibleIds(input.head, headText);
-    const baseVisible = visibleIds(input.base, baseText);
-    const entries = [];
-    let internal = 0;
-    for (const row of input.impact.changed) {
-        const oldPath = row.change === "removed" ? row.file : input.changes.get(row.file)?.oldPath;
-        const baseId = row.change === "removed"
-            ? row.id
-            : oldPath
-                ? `${oldPath}${row.id.slice(row.file.length)}`
-                : row.id;
-        const headSym = row.change === "removed" ? undefined : headSyms.get(row.id);
-        const baseSym = baseSyms.get(baseId);
-        const wasVisible = !!baseSym && baseVisible.has(baseId);
-        const isVisible = !!headSym && headVisible.has(row.id);
-        if (!wasVisible && !isVisible) {
-            internal++;
-            continue;
-        }
-        const entry = (change, sym, lines, was) => entries.push({
-            id: change === "removed" ? baseId : row.id,
-            change,
-            name: declarationOf(lines, sym),
-            was,
-            kind: sym.kind,
-            file: sym.file,
-            line: sym.line,
-            graph: change === "removed" ? "base" : "head",
-        });
-        const headLines = headSym ? (headText.get(headSym.file) ?? "").split("\n") : [];
-        const baseLines = baseSym ? (baseText.get(baseSym.file) ?? "").split("\n") : [];
-        if (!wasVisible)
-            entry("added", headSym, headLines, "");
-        else if (!isVisible)
-            entry("removed", baseSym, baseLines, "");
-        else if (surfaceOf(headLines, headSym) !== surfaceOf(baseLines, baseSym)) {
-            const was = declarationOf(baseLines, baseSym);
-            entry("changed", headSym, headLines, was === declarationOf(headLines, headSym) ? "" : was);
-        }
-        else
-            internal++;
-    }
-    const unreadable = input.changed
-        .filter((f) => !LANGUAGES.includes(languageFor(f.path)))
-        .map((f) => f.path);
-    return withVerdict({
-        entries,
-        internal,
-        unreadable,
-        verdict: "",
-        truncated: input.impact.truncated,
-    });
+/** The counts per change, removed first, or null when there is no entry. */
+export function countsOf(entries) {
+    const counts = ["removed", "changed", "added"]
+        .map((c) => [c, entries.filter((e) => e.change === c).length])
+        .filter(([, n]) => n > 0)
+        .map(([c, n]) => `${n} ${c}`);
+    return counts.length ? counts.join(", ") : null;
 }
 //# sourceMappingURL=interfaces.js.map

package/dist/interfaces.js.map

@@ -1 +1 @@
-{"version":3,"file":"interfaces.js","sourceRoot":"","sources":["../src/interfaces.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,SAAS,EAAyC,MAAM,YAAY,CAAC;AA0C9E,MAAM,MAAM,GAA2B;IACrC,UAAU,EAAE,IAAI;IAChB,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,IAAI;IAChB,GAAG,EAAE,IAAI;IACT,MAAM,EAAE,QAAQ;IAChB,EAAE,EAAE,IAAI;IACR,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,QAAQ;CACjB,CAAC;AAEF,8FAA8F;AAC9F,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;AAEvD,MAAM,iBAAiB,GAAG,EAAE,CAAC;AAC7B,MAAM,qBAAqB,GAAG,EAAE,CAAC;AACjC,MAAM,qBAAqB,GAAG,GAAG,CAAC;AAElC,0FAA0F;AAC1F,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,yBAAyB,CAAC;QACtD,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,IAAI;iBACf,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAE;iBACrB,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;iBACvB,IAAI,EAAE,CAAC;YACV,IAAI,KAAK;gBAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,KAAe,EAAE,CAAM;IAC5C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,GAAG,qBAAqB,GAAG,CAAC,CAAC,CAAC;IACjE,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,6EAA6E;QAC7E,8EAA8E;QAC9E,4EAA4E;QAC5E,KAAK;YACH,IAAI,IAAI,CAAC;gBACT,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,IAAI,GAAG,KAAK;SACf,IAAI,CAAC,GAAG,CAAC;SACT,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;SAC1B,IAAI,EAAE,CAAC;IACV,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,GAAG,qBAAqB,CAAC;IAChD,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC;AAC5F,CAAC;AAED,6DAA6D;AAC7D,SAAS,SAAS,CAAC,KAAe,EAAE,CAAM;IACxC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;QAAE,OAAO,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACjE,OAAO,KAAK;SACT,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,GAAG,iBAAiB,GAAG,CAAC,CAAC,CAAC;SAClE,IAAI,CAAC,GAAG,CAAC;SACT,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,WAAW,CAAC,CAAM;IACzB,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED,iFAAiF;AACjF,SAAS,UAAU,CAAC,KAAgB,EAAE,KAA0B;IAC9D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;YAClB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,UAAU,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAU,CAAC;QAC/E,4EAA4E;QAC5E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1D,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAC9C,MAAM,QAAQ,GAAG,GAAY,EAAE;gBAC7B,QAAQ,MAAM,EAAE,CAAC;oBACf,KAAK,IAAI;wBACP,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC1D,KAAK,QAAQ;wBACX,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC7D,KAAK,IAAI;wBACP,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC/B,KAAK,MAAM;wBACT,OAAO,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAClC,KAAK,MAAM;wBACT,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACjC,KAAK,QAAQ;wBACX,8EAA8E;wBAC9E,OAAO,0DAA0D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjF,CAAC;YACH,CAAC,CAAC;YACF,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YACzB,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACrE,IAAI,OAAgB,CAAC;YACrB,IAAI,CAAC,MAAM;gBAAE,OAAO,GAAG,QAAQ,EAAE,CAAC;YAClC,kFAAkF;YAClF,iFAAiF;YACjF,yEAAyE;YACzE,+CAA+C;iBAC1C,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,QAAQ;gBAAE,OAAO,GAAG,QAAQ,EAAE,CAAC;iBACnE,IAAI,MAAM,KAAK,IAAI;gBACtB,OAAO;oBACL,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;gBACnF,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YAClD,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAChB,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,SAAS,CAAC,OAAyB,EAAE,QAAgB,EAAE,UAAkB;IAChF,MAAM,MAAM,GAAI,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,CAAW;SACtD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,MAAM,CAAU,CAAC;SACtE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;SACxB,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM;QACxB,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QACzB,CAAC,CAAC,QAAQ;YACR,CAAC,CAAC,uBAAuB,QAAQ,UAAU,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,2CAA2C;YAC7G,CAAC,CAAC,qBAAqB,CAAC;IAC5B,MAAM,IAAI,GAAG,UAAU;QACrB,CAAC,CAAC,IAAI,UAAU,gBAAgB,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,0BAA0B;QAC1F,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,IAAI,GAAG,IAAI,CAAC;AACrB,CAAC;AAED,MAAM,IAAI,GAA6C,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AAE5F,+DAA+D;AAC/D,MAAM,UAAU,WAAW,CAAC,OAAyB;IACnD,OAAO,OAAO,CAAC,IAAI,CACjB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;QAC/B,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5B,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI;QACf,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,WAAW,CAAC,KAAqB;IAC/C,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3B,KAAK,CAAC,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAClF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uFAAuF;AACvF,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,KAQpC;IACC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACvC,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;aACjD,CAAC;YACJ,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxB,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IACD,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC7C,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC;QACpD,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC;KACrD,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAErD,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;QAC3F,MAAM,MAAM,GACV,GAAG,CAAC,MAAM,KAAK,SAAS;YACtB,CAAC,CAAC,GAAG,CAAC,EAAE;YACR,CAAC,CAAC,OAAO;gBACP,CAAC,CAAC,GAAG,OAAO,GAAG,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;gBAC9C,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5E,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,UAAU,GAAG,CAAC,CAAC,OAAO,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,CAAC,CAAC,OAAO,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS,EAAE,CAAC;YAC9B,QAAQ,EAAE,CAAC;YACX,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,MAAgC,EAAE,GAAQ,EAAE,KAAe,EAAE,GAAW,EAAE,EAAE,CACzF,OAAO,CAAC,IAAI,CAAC;YACX,EAAE,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE;YAC1C,MAAM;YACN,IAAI,EAAE,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC;YAC/B,GAAG;YACH,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,KAAK,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;SAC9C,CAAC,CAAC;QACL,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,IAAI,CAAC,UAAU;YAAE,KAAK,CAAC,OAAO,EAAE,OAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;aACpD,IAAI,CAAC,SAAS;YAAE,KAAK,CAAC,SAAS,EAAE,OAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;aAC1D,IAAI,SAAS,CAAC,SAAS,EAAE,OAAQ,CAAC,KAAK,SAAS,CAAC,SAAS,EAAE,OAAQ,CAAC,EAAE,CAAC;YAC3E,MAAM,GAAG,GAAG,aAAa,CAAC,SAAS,EAAE,OAAQ,CAAC,CAAC;YAC/C,KAAK,CAAC,SAAS,EAAE,OAAQ,EAAE,SAAS,EAAE,GAAG,KAAK,aAAa,CAAC,SAAS,EAAE,OAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/F,CAAC;;YAAM,QAAQ,EAAE,CAAC;IACpB,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO;SAC7B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;SACvD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,OAAO,WAAW,CAAC;QACjB,OAAO;QACP,QAAQ;QACR,UAAU;QACV,OAAO,EAAE,EAAE;QACX,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS;KAClC,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"interfaces.js","sourceRoot":"","sources":["../src/interfaces.ts"],"names":[],"mappings":"AAoCA,MAAM,IAAI,GAA6C,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AAE5F,+DAA+D;AAC/D,MAAM,UAAU,WAAW,CAAC,OAAyB;IACnD,OAAO,OAAO,CAAC,IAAI,CACjB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;QAC/B,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5B,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI;QACf,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,QAAQ,CAAC,OAAyB;IAChD,MAAM,MAAM,GAAI,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,CAAW;SACtD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,MAAM,CAAU,CAAC;SACtE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;SACxB,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChC,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAClD,CAAC"}

package/dist/ui/app.css

@@ -1110,6 +1110,12 @@ kbd {
   width: 100%;
   height: auto;
 }
+.seq-scroll {
+  overflow-x: auto;
+}
+.diagram svg.seq {
+  margin: 0 auto;
+}
 .seq text {
   font: 12px var(--font-mono);
   fill: var(--fg);
@@ -1128,11 +1134,22 @@ kbd {
 }
 .seq .msg text {
   fill: var(--link);
+  /* A label crosses the lifelines between its two ends; a halo in the frame's
+     colour keeps the dashes from striking through the words. */
+  paint-order: stroke;
+  stroke: var(--bg2);
+  stroke-width: 4px;
+  stroke-linejoin: round;
   cursor: pointer;
 }
-.seq .msg text:hover {
+.seq .msg text:hover,
+.seq .msg text:focus-visible {
   text-decoration: underline;
 }
+.seq .msg text:focus-visible {
+  outline: 2px solid var(--accent);
+  outline-offset: 2px;
+}
 .flow text {
   font: 12px var(--font-mono);
   fill: var(--fg);
@@ -1921,6 +1938,9 @@ kbd {
 .cov-seg.placed {
   background: var(--accent-bg);
 }
+.cov-seg.searched {
+  background: var(--line);
+}
 .cov-seg.uncovered {
   background: var(--bg3);
 }
@@ -1949,6 +1969,9 @@ kbd {
 .cov-dot.placed {
   background: var(--accent-bg);
 }
+.cov-dot.searched {
+  background: var(--line);
+}
 .cov-dot.uncovered {
   background: var(--bg3);
 }
@@ -1989,13 +2012,6 @@ kbd {
 .cov-label {
   font-weight: 600;
 }
-.cov-hubs {
-  font-size: 12px;
-  margin-top: 6px;
-}
-.cov-hubs code {
-  margin-right: 6px;
-}
 .cov-files {
   display: flex;
   flex-wrap: wrap;
@@ -2018,13 +2034,16 @@ kbd {
   border-color: var(--accent);
   background: var(--accent-bg);
 }
+.cov-b-searched {
+  color: var(--fg2);
+  border-color: var(--line);
+}
 .cov-b-uncovered {
   color: var(--muted);
   border-color: var(--line);
   background: var(--bg3);
 }
-.cov-links,
-.cov-shared {
+.cov-links {
   display: flex;
   flex-direction: column;
   border: 1px solid var(--line);