@coldtea/pr-lens-renderer 0.4.1 → 0.5.0

package/dist/walkthrough/resolve.js

@@ -0,0 +1,189 @@
+import { assertNever } from "@coldtea/pr-lens-schema";
+import { inflate, union } from "../bounds.js";
+import { flattenViews } from "../scope.js";
+import { tileIdForFlow, tileIdForView } from "./tile-ids.js";
+/** Air around a focus. Message rows sit 38 units apart, so much more puts the rim over the row above. */
+const FOCUS_PAD = 16;
+/** Resolves all of the walkthrough or none of it, collecting every issue in step order. */
+export function resolveWalkthrough(doc, tiles) {
+    if (doc.walkthrough === undefined)
+        return { type: "absent" };
+    const steps = [];
+    const issues = [];
+    for (const step of doc.walkthrough.steps) {
+        const resolved = resolveStep(doc, step, tiles);
+        switch (resolved.type) {
+            case "step":
+                steps.push(resolved.step);
+                break;
+            case "issues":
+                issues.push(...resolved.issues);
+                break;
+            default:
+                return assertNever(resolved, "Unhandled step resolution");
+        }
+    }
+    return issues.length > 0 ? { type: "unresolvable", issues } : { type: "resolved", steps };
+}
+/** One issue as a sentence. */
+const says = (issue) => `Step "${issue.stepId}" ${issue.detail}.`;
+/** Copy for a refused push: the first wrong step by name, and a count of the rest. */
+export function walkthroughRefusal(issues) {
+    const first = issues[0];
+    if (first === undefined)
+        return "This document's walkthrough does not fit the diagrams it draws";
+    const elsewhere = new Set(issues.map((issue) => issue.stepId));
+    elsewhere.delete(first.stepId);
+    const rest = elsewhere.size === 0
+        ? ""
+        : elsewhere.size === 1
+            ? " One other step has the same trouble."
+            : ` ${elsewhere.size} other steps have the same trouble.`;
+    return `This document's walkthrough does not fit the diagrams it draws. ${says(first)}${rest}`;
+}
+function resolveStep(doc, step, tiles) {
+    const choice = step.stage ?? { kind: "opening" };
+    const staged = stageTile(doc, choice, tiles);
+    switch (staged.type) {
+        case "off_canvas":
+            return { type: "issues", issues: [{ code: "STAGE_NOT_ON_CANVAS", stepId: step.id, detail: staged.detail }] };
+        case "on_canvas":
+            break;
+        default:
+            return assertNever(staged, "Unhandled staged tile");
+    }
+    const focus = resolveFocus(doc, step, choice, staged.tile.atlas);
+    switch (focus.type) {
+        case "focus":
+            return {
+                type: "step",
+                step: { id: step.id, heading: step.heading, body: step.body, tileId: staged.tile.id, focus: focus.focus },
+            };
+        case "issues":
+            return focus;
+        default:
+            return assertNever(focus, "Unhandled focus resolution");
+    }
+}
+export function tileForStage(doc, stage, tiles) {
+    const staged = stageTile(doc, stage ?? { kind: "opening" }, tiles);
+    switch (staged.type) {
+        case "on_canvas":
+            return tiles.find((tile) => tile.id === staged.tile.id);
+        case "off_canvas":
+            return undefined;
+        default:
+            return assertNever(staged, "Unhandled staged tile");
+    }
+}
+/** A flow is a tile only when there are no data-flow views; otherwise the first view drawing it is the stage. */
+function stageTile(doc, choice, tiles) {
+    switch (choice.kind) {
+        case "opening": {
+            const opening = tiles.find((tile) => tile.hero);
+            return opening === undefined
+                ? { type: "off_canvas", detail: "has no stage of its own, and this document draws no opening diagram" }
+                : { type: "on_canvas", tile: opening };
+        }
+        case "view":
+            return named(tiles, [tileIdForView(choice.view)], `plays over view "${choice.view}", which the canvas does not draw`);
+        case "flow":
+            return named(tiles, [tileIdForFlow(choice.flow), ...viewTilesDrawing(doc, choice.flow)], `plays over flow "${choice.flow}", which the canvas does not draw`);
+        default:
+            return assertNever(choice, "Unhandled stage");
+    }
+}
+/** The first of these tiles in strip order, not in the order asked for. */
+function named(tiles, ids, detail) {
+    const wanted = new Set(ids);
+    const tile = tiles.find((candidate) => wanted.has(candidate.id));
+    return tile === undefined ? { type: "off_canvas", detail } : { type: "on_canvas", tile };
+}
+const scopeTakesFlow = (scope, flowId) => {
+    switch (scope.kind) {
+        case "all":
+            return true;
+        case "selection":
+            return scope.flows.includes(flowId);
+        default:
+            return assertNever(scope, "Unhandled view scope");
+    }
+};
+const viewTilesDrawing = (doc, flowId) => flattenViews(doc.views)
+    .filter((view) => view.lens === "data-flow" && scopeTakesFlow(view.scope, flowId))
+    .map((view) => tileIdForView(view.id));
+function resolveFocus(doc, step, choice, atlas) {
+    switch (step.focus.kind) {
+        case "all":
+            return { type: "focus", focus: { kind: "whole" } };
+        case "selection":
+            return atlas === undefined
+                ? {
+                    type: "issues",
+                    issues: [
+                        {
+                            code: "ATLAS_MISSING",
+                            stepId: step.id,
+                            detail: "plays over a diagram drawn without the geometry a walkthrough needs",
+                        },
+                    ],
+                }
+                : selectionRect(doc, step.id, step.focus, choice, atlas);
+        default:
+            return assertNever(step.focus, "Unhandled step focus");
+    }
+}
+/** The padded union of everything a step names. A member never drawn is an issue, not a skip. */
+function selectionRect(doc, stepId, selection, choice, atlas) {
+    const boxes = [];
+    const issues = [];
+    const take = (kind, id, box) => {
+        if (box === undefined) {
+            issues.push({
+                code: "FOCUS_NOT_DRAWN",
+                stepId,
+                detail: `focuses ${kind} "${id}", which the diagram it plays over does not draw`,
+            });
+            return;
+        }
+        boxes.push(box);
+    };
+    for (const id of selection.lanes)
+        take("lane", id, atlas.lanes[id]);
+    for (const id of selection.nodes)
+        take("node", id, atlas.nodes[id]);
+    for (const id of selection.edges)
+        take("edge", id, atlas.edges[id]);
+    for (const id of selection.messages)
+        take("flow step", id, messageBox(doc, choice, atlas, id));
+    for (const id of selection.tables)
+        take("table", id, atlas.tables[id]);
+    if (issues.length > 0)
+        return { type: "issues", issues };
+    // A selection that names nothing does not parse, so one with no issues left has at least one box.
+    const covered = union(boxes);
+    if (covered === undefined)
+        throw new Error("a selection with nothing drawn is reported, not framed");
+    return { type: "focus", focus: { kind: "region", rect: inflate(covered, FOCUS_PAD) } };
+}
+/** A flow step's id is unique only inside its flow, so a view stage asks the document's flows in order. */
+function messageBox(doc, choice, atlas, messageId) {
+    for (const flowId of flowsToAsk(doc, choice)) {
+        const box = atlas.messages[flowId]?.[messageId];
+        if (box !== undefined)
+            return box;
+    }
+    return undefined;
+}
+const flowsToAsk = (doc, choice) => {
+    switch (choice.kind) {
+        case "flow":
+            return [choice.flow];
+        case "opening":
+        case "view":
+            return doc.flows.map((flow) => flow.id);
+        default:
+            return assertNever(choice, "Unhandled stage");
+    }
+};
+//# sourceMappingURL=resolve.js.map

package/dist/walkthrough/resolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.js","sourceRoot":"","sources":["../../src/walkthrough/resolve.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEtD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AA8B7D,yGAAyG;AACzG,MAAM,SAAS,GAAG,EAAE,CAAC;AAKrB,2FAA2F;AAC3F,MAAM,UAAU,kBAAkB,CAAC,GAAa,EAAE,KAAiC;IACjF,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAE7D,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,MAAM,GAAuB,EAAE,CAAC;IAEtC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/C,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,MAAM;gBACT,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC1B,MAAM;YACR,KAAK,QAAQ;gBACX,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;gBAChC,MAAM;YACR;gBACE,OAAO,WAAW,CAAC,QAAQ,EAAE,2BAA2B,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AAC5F,CAAC;AAED,+BAA+B;AAC/B,MAAM,IAAI,GAAG,CAAC,KAAuB,EAAU,EAAE,CAAC,SAAS,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC;AAE5F,sFAAsF;AACtF,MAAM,UAAU,kBAAkB,CAAC,MAAmC;IACpE,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,gEAAgE,CAAC;IAEjG,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAE/B,MAAM,IAAI,GACR,SAAS,CAAC,IAAI,KAAK,CAAC;QAClB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC;YACpB,CAAC,CAAC,uCAAuC;YACzC,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,qCAAqC,CAAC;IAEhE,OAAO,mEAAmE,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC;AACjG,CAAC;AAID,SAAS,WAAW,CAAC,GAAa,EAAE,IAAqB,EAAE,KAAiC;IAC1F,MAAM,MAAM,GAAgB,IAAI,CAAC,KAAK,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC9D,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAE7C,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,YAAY;YACf,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;QAC/G,KAAK,WAAW;YACd,MAAM;QACR;YACE,OAAO,WAAW,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAEjE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE;aAC1G,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC;QACf;YACE,OAAO,WAAW,CAAC,KAAK,EAAE,4BAA4B,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC;AAID,MAAM,UAAU,YAAY,CAC1B,GAAa,EACb,KAA4B,EAC5B,KAAsB;IAEtB,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,EAAE,KAAK,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,KAAK,CAAC,CAAC;IACnE,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,WAAW;YACd,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1D,KAAK,YAAY;YACf,OAAO,SAAS,CAAC;QACnB;YACE,OAAO,WAAW,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;IACxD,CAAC;AACH,CAAC;AAED,iHAAiH;AACjH,SAAS,SAAS,CAAC,GAAa,EAAE,MAAmB,EAAE,KAAiC;IACtF,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,SAAS,EAAE,CAAC;YACf,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,OAAO,OAAO,KAAK,SAAS;gBAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,qEAAqE,EAAE;gBACvG,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC3C,CAAC;QACD,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,oBAAoB,MAAM,CAAC,IAAI,mCAAmC,CAAC,CAAC;QACxH,KAAK,MAAM;YACT,OAAO,KAAK,CACV,KAAK,EACL,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,EACnE,oBAAoB,MAAM,CAAC,IAAI,mCAAmC,CACnE,CAAC;QACJ;YACE,OAAO,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,SAAS,KAAK,CAAC,KAAiC,EAAE,GAAsB,EAAE,MAAc;IACtF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;IACjE,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;AAC3F,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,KAAgB,EAAE,MAAc,EAAW,EAAE;IACnE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC;QACd,KAAK,WAAW;YACd,OAAO,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACtC;YACE,OAAO,WAAW,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAC;IACtD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,GAAa,EAAE,MAAc,EAAY,EAAE,CACnE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC;KACpB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;KACjF,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AAI3C,SAAS,YAAY,CACnB,GAAa,EACb,IAAqB,EACrB,MAAmB,EACnB,KAA8B;IAE9B,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC;QACrD,KAAK,WAAW;YACd,OAAO,KAAK,KAAK,SAAS;gBACxB,CAAC,CAAC;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE;wBACN;4BACE,IAAI,EAAE,eAAe;4BACrB,MAAM,EAAE,IAAI,CAAC,EAAE;4BACf,MAAM,EAAE,qEAAqE;yBAC9E;qBACF;iBACF;gBACH,CAAC,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QAC7D;YACE,OAAO,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC;AAID,iGAAiG;AACjG,SAAS,aAAa,CACpB,GAAa,EACb,MAAc,EACd,SAAoB,EACpB,MAAmB,EACnB,KAAkB;IAElB,MAAM,KAAK,GAAU,EAAE,CAAC;IACxB,MAAM,MAAM,GAAuB,EAAE,CAAC;IAEtC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAU,EAAE,GAAoB,EAAQ,EAAE;QACpE,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,iBAAiB;gBACvB,MAAM;gBACN,MAAM,EAAE,WAAW,IAAI,KAAK,EAAE,kDAAkD;aACjF,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClB,CAAC,CAAC;IAEF,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,KAAK;QAAE,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACpE,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,KAAK;QAAE,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACpE,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,KAAK;QAAE,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACpE,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,QAAQ;QAAE,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;IAC/F,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,MAAM;QAAE,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAEvE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IAEzD,kGAAkG;IAClG,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IACrG,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC;AACzF,CAAC;AAED,2GAA2G;AAC3G,SAAS,UAAU,CAAC,GAAa,EAAE,MAAmB,EAAE,KAAkB,EAAE,SAAiB;IAC3F,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC;IACpC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,GAAa,EAAE,MAAmB,EAAY,EAAE;IAClE,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACvB,KAAK,SAAS,CAAC;QACf,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1C;YACE,OAAO,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAClD,CAAC;AACH,CAAC,CAAC"}

package/dist/walkthrough/tile-ids.d.ts

@@ -0,0 +1,8 @@
+import type { StepStage } from "@coldtea/pr-lens-schema";
+export declare const tileIdForView: (viewId: string) => string;
+export declare const tileIdForFlow: (flowId: string) => string;
+export declare const WHOLE_MAP_TILE_ID = "lens:architecture";
+export declare const WHOLE_MODEL_TILE_ID = "lens:data-model";
+/** The stage a tile stands for. A whole lens drawn without a view has none. */
+export declare function stageOfTile(tileId: string): StepStage | null;
+//# sourceMappingURL=tile-ids.d.ts.map

package/dist/walkthrough/tile-ids.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tile-ids.d.ts","sourceRoot":"","sources":["../../src/walkthrough/tile-ids.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAMzD,eAAO,MAAM,aAAa,WAAY,MAAM,KAAG,MAAmC,CAAC;AACnF,eAAO,MAAM,aAAa,WAAY,MAAM,KAAG,MAAmC,CAAC;AACnF,eAAO,MAAM,iBAAiB,sBAAsB,CAAC;AACrD,eAAO,MAAM,mBAAmB,oBAAoB,CAAC;AAErD,+EAA+E;AAC/E,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAI5D"}

package/dist/walkthrough/tile-ids.js

@@ -0,0 +1,16 @@
+/** The one spelling of every tile id. Kept apart from the drawing so a browser can read one back. */
+const VIEW_PREFIX = "view:";
+const FLOW_PREFIX = "flow:";
+export const tileIdForView = (viewId) => `${VIEW_PREFIX}${viewId}`;
+export const tileIdForFlow = (flowId) => `${FLOW_PREFIX}${flowId}`;
+export const WHOLE_MAP_TILE_ID = "lens:architecture";
+export const WHOLE_MODEL_TILE_ID = "lens:data-model";
+/** The stage a tile stands for. A whole lens drawn without a view has none. */
+export function stageOfTile(tileId) {
+    if (tileId.startsWith(VIEW_PREFIX))
+        return { kind: "view", view: tileId.slice(VIEW_PREFIX.length) };
+    if (tileId.startsWith(FLOW_PREFIX))
+        return { kind: "flow", flow: tileId.slice(FLOW_PREFIX.length) };
+    return null;
+}
+//# sourceMappingURL=tile-ids.js.map

package/dist/walkthrough/tile-ids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tile-ids.js","sourceRoot":"","sources":["../../src/walkthrough/tile-ids.ts"],"names":[],"mappings":"AAEA,qGAAqG;AACrG,MAAM,WAAW,GAAG,OAAO,CAAC;AAC5B,MAAM,WAAW,GAAG,OAAO,CAAC;AAE5B,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,GAAG,WAAW,GAAG,MAAM,EAAE,CAAC;AACnF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,GAAG,WAAW,GAAG,MAAM,EAAE,CAAC;AACnF,MAAM,CAAC,MAAM,iBAAiB,GAAG,mBAAmB,CAAC;AACrD,MAAM,CAAC,MAAM,mBAAmB,GAAG,iBAAiB,CAAC;AAErD,+EAA+E;AAC/E,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,IAAI,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;IACpG,IAAI,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;IACpG,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/walkthrough/tiles.d.ts

@@ -0,0 +1,15 @@
+import type { Flow, GraphDoc, Lens } from "@coldtea/pr-lens-schema";
+import { type RenderedSvg } from "../render.js";
+import type { Theme } from "../theme.js";
+/** The strip's tiles in order: hero, other architecture views, data-flow views, data-model views. */
+export type TilePlan = {
+    id: string;
+    title: string;
+    lens: Lens;
+    hero: boolean;
+    draw: (theme: Theme) => RenderedSvg;
+};
+export declare function planTiles(doc: GraphDoc): TilePlan[];
+/** One sequence on its own. The renderer narrows to a flow only through a view scoped to it. */
+export declare function renderFlow(doc: GraphDoc, flow: Flow, theme: Theme): RenderedSvg;
+//# sourceMappingURL=tiles.d.ts.map

package/dist/walkthrough/tiles.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tiles.d.ts","sourceRoot":"","sources":["../../src/walkthrough/tiles.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAQ,MAAM,yBAAyB,CAAC;AAC1E,OAAO,EAAU,KAAK,WAAW,EAAE,MAAM,cAAc,CAAC;AAExD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAGzC,qGAAqG;AACrG,MAAM,MAAM,QAAQ,GAAG;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,IAAI,CAAC;IACX,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,WAAW,CAAC;CACrC,CAAC;AAmCF,wBAAgB,SAAS,CAAC,GAAG,EAAE,QAAQ,GAAG,QAAQ,EAAE,CAkCnD;AAKD,gGAAgG;AAChG,wBAAgB,UAAU,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,GAAG,WAAW,CAiB/E"}

package/dist/walkthrough/tiles.js

@@ -0,0 +1,80 @@
+import { render } from "../render.js";
+import { flattenViews } from "../scope.js";
+import { tileIdForFlow, tileIdForView, WHOLE_MAP_TILE_ID, WHOLE_MODEL_TILE_ID } from "./tile-ids.js";
+const viewTile = (doc, view, hero) => ({
+    id: tileIdForView(view.id),
+    title: view.title,
+    lens: view.lens,
+    hero,
+    draw: (theme) => render(doc, { lens: view.lens, theme, view: view.id }),
+});
+const wholeMapTile = (doc) => ({
+    id: WHOLE_MAP_TILE_ID,
+    title: doc.title,
+    lens: "architecture",
+    hero: true,
+    draw: (theme) => render(doc, { lens: "architecture", theme }),
+});
+const flowTiles = (doc) => doc.flows.map((flow) => ({
+    id: tileIdForFlow(flow.id),
+    title: flow.title,
+    lens: "data-flow",
+    hero: false,
+    draw: (theme) => renderFlow(doc, flow, theme),
+}));
+const wholeModelTile = (doc) => ({
+    id: WHOLE_MODEL_TILE_ID,
+    title: doc.title,
+    lens: "data-model",
+    hero: false,
+    draw: (theme) => render(doc, { lens: "data-model", theme }),
+});
+export function planTiles(doc) {
+    const placed = flattenViews(doc.views);
+    const architecture = placed.filter((view) => view.lens === "architecture");
+    const heroIndex = Math.max(architecture.findIndex((view) => view.defaultOpen), 0);
+    const architectureTiles = architecture.length > 0
+        ? [
+            ...architecture.slice(heroIndex, heroIndex + 1).map((view) => viewTile(doc, view, true)),
+            ...architecture.filter((_, index) => index !== heroIndex).map((view) => viewTile(doc, view, false)),
+        ]
+        : doc.lenses.includes("architecture")
+            ? [wholeMapTile(doc)]
+            : [];
+    const dataFlow = placed.filter((view) => view.lens === "data-flow");
+    const dataFlowTiles = dataFlow.length > 0
+        ? dataFlow.map((view) => viewTile(doc, view, false))
+        : doc.lenses.includes("data-flow")
+            ? flowTiles(doc)
+            : [];
+    const dataModel = placed.filter((view) => view.lens === "data-model");
+    const dataModelTiles = dataModel.length > 0
+        ? dataModel.map((view) => viewTile(doc, view, false))
+        : doc.lenses.includes("data-model") && doc.dataModel !== undefined
+            ? [wholeModelTile(doc)]
+            : [];
+    const tiles = [...architectureTiles, ...dataFlowTiles, ...dataModelTiles];
+    // A step without a stage plays over whatever leads the strip.
+    return tiles.map((tile, index) => ({ ...tile, hero: index === 0 }));
+}
+/** The only view on the copy it is attached to, so a fixed id cannot collide. */
+const FLOW_VIEW_ID = "pr-lens-flow";
+/** One sequence on its own. The renderer narrows to a flow only through a view scoped to it. */
+export function renderFlow(doc, flow, theme) {
+    const scoped = {
+        ...doc,
+        views: [
+            {
+                id: FLOW_VIEW_ID,
+                title: flow.title,
+                lens: "data-flow",
+                ...(flow.summary === undefined ? {} : { summary: flow.summary }),
+                scope: { kind: "selection", lanes: [], nodes: [], edges: [], flows: [flow.id], tables: [] },
+                defaultOpen: false,
+                children: [],
+            },
+        ],
+    };
+    return render(scoped, { lens: "data-flow", theme, view: FLOW_VIEW_ID });
+}
+//# sourceMappingURL=tiles.js.map

package/dist/walkthrough/tiles.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tiles.js","sourceRoot":"","sources":["../../src/walkthrough/tiles.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAoB,MAAM,cAAc,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAWrG,MAAM,QAAQ,GAAG,CAAC,GAAa,EAAE,IAAU,EAAE,IAAa,EAAY,EAAE,CAAC,CAAC;IACxE,EAAE,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;IAC1B,KAAK,EAAE,IAAI,CAAC,KAAK;IACjB,IAAI,EAAE,IAAI,CAAC,IAAI;IACf,IAAI;IACJ,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;CACxE,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CAAC,GAAa,EAAY,EAAE,CAAC,CAAC;IACjD,EAAE,EAAE,iBAAiB;IACrB,KAAK,EAAE,GAAG,CAAC,KAAK;IAChB,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;CAC9D,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,CAAC,GAAa,EAAc,EAAE,CAC9C,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACvB,EAAE,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;IAC1B,KAAK,EAAE,IAAI,CAAC,KAAK;IACjB,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC;CAC9C,CAAC,CAAC,CAAC;AAEN,MAAM,cAAc,GAAG,CAAC,GAAa,EAAY,EAAE,CAAC,CAAC;IACnD,EAAE,EAAE,mBAAmB;IACvB,KAAK,EAAE,GAAG,CAAC,KAAK;IAChB,IAAI,EAAE,YAAY;IAClB,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;CAC5D,CAAC,CAAC;AAEH,MAAM,UAAU,SAAS,CAAC,GAAa;IACrC,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAEvC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;IAClF,MAAM,iBAAiB,GACrB,YAAY,CAAC,MAAM,GAAG,CAAC;QACrB,CAAC,CAAC;YACE,GAAG,YAAY,CAAC,KAAK,CAAC,SAAS,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YACxF,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;SACpG;QACH,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC;YACnC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YACrB,CAAC,CAAC,EAAE,CAAC;IAEX,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IACpE,MAAM,aAAa,GACjB,QAAQ,CAAC,MAAM,GAAG,CAAC;QACjB,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACpD,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC;YAChC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC;YAChB,CAAC,CAAC,EAAE,CAAC;IAEX,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACtE,MAAM,cAAc,GAClB,SAAS,CAAC,MAAM,GAAG,CAAC;QAClB,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACrD,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS;YAChE,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;YACvB,CAAC,CAAC,EAAE,CAAC;IAEX,MAAM,KAAK,GAAG,CAAC,GAAG,iBAAiB,EAAE,GAAG,aAAa,EAAE,GAAG,cAAc,CAAC,CAAC;IAC1E,8DAA8D;IAC9D,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,iFAAiF;AACjF,MAAM,YAAY,GAAG,cAAc,CAAC;AAEpC,gGAAgG;AAChG,MAAM,UAAU,UAAU,CAAC,GAAa,EAAE,IAAU,EAAE,KAAY;IAChE,MAAM,MAAM,GAAa;QACvB,GAAG,GAAG;QACN,KAAK,EAAE;YACL;gBACE,EAAE,EAAE,YAAY;gBAChB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,IAAI,EAAE,WAAW;gBACjB,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;gBAChE,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;gBAC3F,WAAW,EAAE,KAAK;gBAClB,QAAQ,EAAE,EAAE;aACb;SACF;KACF,CAAC;IAEF,OAAO,MAAM,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;AAC1E,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@coldtea/pr-lens-renderer",
-  "version": "0.4.1",
+  "version": "0.5.0",
   "description": "The PR Lens renderer: a schema-valid graph document in, a self-contained animated SVG out.",
   "license": "MIT",
   "author": "Coldtea AI",
@@ -25,6 +25,10 @@
       "types": "./dist/index.d.ts",
       "default": "./dist/index.js"
     },
+    "./walkthrough": {
+      "types": "./dist/walkthrough/index.d.ts",
+      "default": "./dist/walkthrough/index.js"
+    },
     "./package.json": "./package.json"
   },
   "files": [
@@ -40,7 +44,7 @@
     "node": ">=20.11"
   },
   "dependencies": {
-    "@coldtea/pr-lens-schema": "0.9.0"
+    "@coldtea/pr-lens-schema": "0.10.0"
   },
   "devDependencies": {
     "@types/node": "^20.19.0",
@@ -48,7 +52,7 @@
     "vitest": "4.1.12"
   },
   "scripts": {
-    "build": "rm -rf dist && tsc -p tsconfig.build.json",
+    "build": "node -e \"require('node:fs').rmSync('dist', { recursive: true, force: true })\" && tsc -p tsconfig.build.json",
     "typecheck": "tsc -p tsconfig.json --noEmit",
     "test": "vitest run",
     "test:watch": "vitest"

package/src/glob.ts

@@ -1,4 +1,37 @@
-const escapeRegExp = (value: string): string => value.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+import { assertNever } from "@coldtea/pr-lens-schema";
+
+type GlobToken =
+  | { readonly kind: "crossDir" }
+  | { readonly kind: "cross" }
+  | { readonly kind: "star" }
+  | { readonly kind: "any" }
+  | { readonly kind: "char"; readonly value: string };
+
+const tokenize = (pattern: string): readonly GlobToken[] => {
+  const tokens: GlobToken[] = [];
+  for (let i = 0; i < pattern.length; i += 1) {
+    const ch = pattern[i]!;
+    if (
+      ch === "*" &&
+      pattern[i + 1] === "*" &&
+      pattern[i + 2] === "/" &&
+      (i === 0 || pattern[i - 1] === "/")
+    ) {
+      tokens.push({ kind: "crossDir" });
+      i += 2;
+    } else if (ch === "*" && pattern[i + 1] === "*") {
+      tokens.push({ kind: "cross" });
+      i += 1;
+    } else if (ch === "*") {
+      tokens.push({ kind: "star" });
+    } else if (ch === "?") {
+      tokens.push({ kind: "any" });
+    } else {
+      tokens.push({ kind: "char", value: ch });
+    }
+  }
+  return tokens;
+};
 
 /**
  * Path matching for config selectors, with the subset of glob a person
@@ -6,15 +39,47 @@ const escapeRegExp = (value: string): string => value.replace(/[.*+?^${}()|[\]\\
  * not. Every other character is literal.
  */
 export const matchesGlob = (pattern: string, path: string): boolean => {
-  const source = pattern
-    .split("**")
-    .map((crossing) =>
-      crossing
-        .split("*")
-        .map((segment) => segment.split("?").map(escapeRegExp).join("[^/]"))
-        .join("[^/]*"),
-    )
-    .join(".*");
+  const n = path.length;
+  const reachable = new Uint8Array(n + 1);
+  reachable[0] = 1;
+
+  for (const token of tokenize(pattern)) {
+    switch (token.kind) {
+      case "crossDir": {
+        const first = reachable.indexOf(1);
+        if (first !== -1) {
+          for (let j = first + 1; j <= n; j += 1) {
+            if (path[j - 1] === "/") reachable[j] = 1;
+          }
+        }
+        break;
+      }
+      case "cross":
+        for (let j = 1; j <= n; j += 1) {
+          if (reachable[j - 1]) reachable[j] = 1;
+        }
+        break;
+      case "star":
+        for (let j = 1; j <= n; j += 1) {
+          if (path[j - 1] !== "/" && reachable[j - 1]) reachable[j] = 1;
+        }
+        break;
+      case "any":
+        for (let j = n; j >= 1; j -= 1) {
+          reachable[j] = path[j - 1] !== "/" && reachable[j - 1] ? 1 : 0;
+        }
+        reachable[0] = 0;
+        break;
+      case "char":
+        for (let j = n; j >= 1; j -= 1) {
+          reachable[j] = path[j - 1] === token.value && reachable[j - 1] ? 1 : 0;
+        }
+        reachable[0] = 0;
+        break;
+      default:
+        return assertNever(token);
+    }
+  }
 
-  return new RegExp(`^${source}$`).test(path);
+  return reachable[n] === 1;
 };

package/src/index.ts

@@ -1,15 +1,29 @@
 export { RENDERER_NAME, RENDERER_VERSION } from "./version.js";
 
+export { render, type RenderedSvg, type RenderOptions } from "./render.js";
+
 export {
-  render,
   renderAll,
   type RenderAllOptions,
-  type RenderThemes,
   type RenderAllResult,
   type RenderedAsset,
-  type RenderedSvg,
-  type RenderOptions,
-} from "./render.js";
+  type RenderedWalkthrough,
+  type RenderedWalkthroughs,
+  type RenderThemes,
+} from "./render-all.js";
+
+export {
+  EMBED_WIDTH,
+  renderWalkthroughEmbed,
+  walkthroughLabel,
+  type WalkthroughEmbed,
+  type WalkthroughEmbedOptions,
+  type WalkthroughEmbedResult,
+} from "./walkthrough/embed.js";
+
+export { planTiles, renderFlow, type TilePlan } from "./walkthrough/tiles.js";
+
+export * from "./walkthrough/index.js";
 
 export { emptyAtlas, type RenderAtlas } from "./atlas.js";
 
@@ -17,9 +31,10 @@ export { PrLensRenderError, type RenderErrorCode } from "./errors.js";
 
 export type { Box } from "./geometry.js";
 
-export { paletteFor, THEMES, THEME_PAIR, type Palette, type Theme } from "./theme.js";
+export { isPairTheme, paletteFor, THEMES, THEME_PAIR, type PairTheme, type Palette, type Theme } from "./theme.js";
 
 export {
+  assetIdentity,
   buildManifest,
   canonicalJson,
   contentHash,
@@ -27,6 +42,8 @@ export {
   graphContentHash,
   renderAssetFileName,
   renderAssetId,
+  walkthroughAssetFileName,
+  walkthroughAssetId,
   type AssetAddress,
 } from "./manifest.js";
 

package/src/manifest.ts

@@ -1,7 +1,7 @@
 import { createHash } from "node:crypto";
-import type { GraphDoc, Lens, RenderAsset, RenderManifest } from "@coldtea/pr-lens-schema";
+import type { GraphDoc, Lens, RenderAsset, RenderManifest, WalkthroughAsset } from "@coldtea/pr-lens-schema";
 import { SCHEMA_VERSION } from "@coldtea/pr-lens-schema";
-import { THEMES, type Theme } from "./theme.js";
+import { THEMES, type PairTheme, type Theme } from "./theme.js";
 import { RENDERER_NAME, RENDERER_VERSION } from "./version.js";
 
 /**
@@ -23,6 +23,12 @@ export const CONTENT_HASH_LENGTH = 32;
 export const contentHash = (bytes: string): string =>
   createHash("sha256").update(bytes, "utf8").digest("hex").slice(0, CONTENT_HASH_LENGTH);
 
+/** The one place an asset's bytes become its identity. */
+export const assetIdentity = (svg: string): { contentHash: string; bytes: number } => ({
+  contentHash: contentHash(svg),
+  bytes: Buffer.byteLength(svg, "utf8"),
+});
+
 /** JSON with object keys in sorted order, so equal documents hash equal. */
 export const canonicalJson = (value: unknown): string => {
   if (value === null || typeof value !== "object") return JSON.stringify(value) ?? "null";
@@ -106,7 +112,17 @@ export const renderAssetId = ({ lens, theme, view }: AssetAddress): string =>
 export const renderAssetFileName = (address: AssetAddress, hash: string): string =>
   `${renderAssetId(address)}-${hash}.svg`;
 
-export const buildManifest = (doc: GraphDoc, assets: readonly RenderAsset[]): RenderManifest => ({
+/** Listed apart from the view assets, so a view called "walkthrough" cannot collide with it. */
+export const walkthroughAssetId = (theme: PairTheme): string => `walkthrough-${theme}`;
+
+export const walkthroughAssetFileName = (theme: PairTheme, hash: string): string =>
+  `${walkthroughAssetId(theme)}-${hash}.svg`;
+
+export const buildManifest = (
+  doc: GraphDoc,
+  assets: readonly RenderAsset[],
+  walkthrough: readonly WalkthroughAsset[],
+): RenderManifest => ({
   schemaVersion: SCHEMA_VERSION,
   kind: "render-manifest",
   graph: {
@@ -116,4 +132,5 @@ export const buildManifest = (doc: GraphDoc, assets: readonly RenderAsset[]): Re
   },
   renderer: { name: RENDERER_NAME, version: RENDERER_VERSION },
   assets: [...assets],
+  walkthrough: [...walkthrough],
 });