flowfig 0.2.0 → 0.4.0

package/dist/svg.js

@@ -12,18 +12,20 @@ import { textWidth } from './text.js';
 import { checkScene, checkSpec, checkTheme } from './check.js';
 export { parseSource, links } from './source.js';
 export { diff, formatDiff } from './diff.js';
-import { ASYNC_TAG_W, BASE_RATE, CARD_LINE, CARD_PAD, CARD_WIDTH, DARK, EDGE_OFF, EDGE_ON, LIGHT, TONES, labelPillW, ON_ACCENT, str, edgeId, groupGap, isGroup, isRows, toBeat, } from './model.js';
+import { ASYNC_TAG_W, BASE_RATE, CARD_LINE, CARD_PAD, CARD_WIDTH, DARK, EDGE_OFF, EDGE_ON, LIGHT, TONES, toneFill, toneTint, labelPillW, ON_ACCENT, str, edgeId, groupGap, isGroup, isRows, laneColumns, LANE_GAP, LANE_PAD, LANE_ROW_GAP, isLanesLayout, timelineBeats, timelineLayout, TL_AXIS_H, TL_AXIS_W, TL_BAR_H, TL_ROW_GAP, toBeat, beatMs, STEP_HOLD_MS, playheadItem, dateLabelRaised, labelSpan, outsideLabelRect, } from './model.js';
 export { LIGHT, DARK } from './model.js';
 const LINE = CARD_LINE, CARD_SIDE = 8, ROW_GAP = 4;
 const LABEL_LINE = 18, SUB_LINE = 15, NODE_MIN_W = 100, NODE_MAX_W = 190;
 const FRAME_TOP = 37, FRAME_SIDE = 18, FRAME_BOTTOM = 18;
-// The card-on fills are fixed colors that approximate the player's 8% accent tint, so the SVG needs no color-mix.
-const vars = (t, cardOn) => `--accent:${t.accent}; --fg:${t.fg}; --muted:${t.muted}; --bg:${t.bg}; --surface:${t.surface}; --border:${t.border}; --card-on:${cardOn};`;
+// The card-on fills are fixed colors that approximate the player's 8% accent tint. The active tint is the player's color-mix.
+const vars = (t, cardOn) => `--accent:${t.accent}; --fg:${t.fg}; --muted:${t.muted}; --bg:${t.bg}; --surface:${t.surface}; --border:${t.border}; --card-on:${cardOn}; --tint:color-mix(in srgb, var(--accent) 10%, var(--surface));`;
 /** What a card actually holds: rows, or its text. Only text survives outside React. */
 const content = (c) => (isRows(c) ? c : str(c));
 const esc = (s) => s.replace(/[<>&"]/g, (c) => ({ '<': '&lt;', '>': '&gt;', '&': '&amp;', '"': '&quot;' })[c]);
 const n2 = (v) => Math.round(v * 10) / 10;
-const pct = (v) => n2(v * 100) + '%';
+// Keyframe times are fractions of a loop that can last a minute: one decimal would round a 0.7 s hop away, and the packet would jump.
+const n4 = (v) => Math.round(v * 10000) / 10000;
+const pct = (v) => Math.round(v * 10000) / 100 + '%';
 /** Break a string into lines that fit `width`, keeping the newlines it already has. */
 function wrap(s, width, fontSize, mono = false) {
     const out = [];
@@ -92,7 +94,70 @@ function size(item, s) {
     const inner = item.direction === 'column' ? { w: across, h: along } : { w: along, h: across };
     return item.label != null ? { w: inner.w + FRAME_SIDE * 2, h: inner.h + FRAME_TOP + FRAME_BOTTOM } : inner;
 }
+/** Swimlanes: the bands span the width, the label sits in a left gutter, and a box sits at its time column. */
+function placeLanes(fig, x, y, s, out) {
+    const lanes = fig.layout.children;
+    const cols = laneColumns(fig);
+    const colW = Array.from({ length: Math.max(-1, ...cols.values()) + 1 }, () => 0);
+    for (const lane of lanes)
+        for (const b of lane.children)
+            colW[cols.get(b.id)] = Math.max(colW[cols.get(b.id)], size(b, s).w);
+    const gutter = gutterOf(lanes);
+    const colX = colW.map((_, c) => gutter + colW.slice(0, c).reduce((a, w) => a + w + LANE_GAP, 0));
+    const width = gutter + colW.reduce((a, w) => a + w, 0) + LANE_GAP * Math.max(0, colW.length - 1) + FRAME_SIDE;
+    const topAt = out.length;
+    out.push({ x, y, w: width, h: 0, item: fig.layout });
+    let ly = y;
+    for (const lane of lanes) {
+        const kids = lane.children.map((b) => ({ b, ...size(b, s) }));
+        const inner = Math.max(LABEL_LINE + 20, ...kids.map((k) => k.h));
+        const h = inner + LANE_PAD * 2;
+        out.push({ x, y: ly, w: width, h, item: lane, lane: true });
+        for (const k of kids)
+            out.push({ x: x + colX[cols.get(k.b.id)], y: ly + LANE_PAD + (inner - k.h) / 2, w: k.w, h: k.h, item: k.b });
+        ly += h + LANE_ROW_GAP;
+    }
+    out[topAt].h = ly - LANE_ROW_GAP - y;
+}
+/** The width of the label gutter of lanes and of a timeline: the widest track label plus the frame sides. */
+const gutterOf = (lanes) => Math.max(0, ...lanes.map((l) => textWidth(str(l.label).toUpperCase(), 12))) + FRAME_SIDE * 2;
+/** A timeline: the axis strip on top, one band per track, and the bars and milestones at the shared layout x. */
+function placeTimeline(fig, x, y, out) {
+    const lanes = fig.layout.children;
+    const gutter = gutterOf(lanes);
+    const lay = timelineLayout(fig, TL_AXIS_W);
+    const width = gutter + TL_AXIS_W + FRAME_SIDE;
+    const topAt = out.length;
+    out.push({ x, y, w: width, h: 0, item: fig.layout });
+    let ly = y + TL_AXIS_H;
+    lanes.forEach((lane, track) => {
+        const rows = lay.rows[track];
+        const h = rows * TL_BAR_H + (rows - 1) * TL_ROW_GAP + LANE_PAD * 2;
+        out.push({ x, y: ly, w: width, h, item: lane, lane: true });
+        for (const it of lay.items) {
+            if (it.track !== track)
+                continue;
+            const node = lane.children.find((k) => !isGroup(k) && k.id === it.id);
+            const top = ly + LANE_PAD + it.row * (TL_BAR_H + TL_ROW_GAP);
+            const bh = it.milestone ? it.w : TL_BAR_H;
+            out.push({
+                x: x + gutter + it.x,
+                y: top + (TL_BAR_H - bh) / 2,
+                w: it.w,
+                h: bh,
+                item: node,
+                tl: { milestone: it.milestone, labelInside: it.labelInside },
+            });
+        }
+        ly += h + LANE_ROW_GAP;
+    });
+    out[topAt].h = ly - LANE_ROW_GAP - y;
+}
 function place(item, x, y, s, out) {
+    if (item === s.fig.layout && s.fig.timeline && isLanesLayout(s.fig.layout))
+        return placeTimeline(s.fig, x, y, out);
+    if (item === s.fig.layout && s.fig.lanes && isLanesLayout(s.fig.layout))
+        return placeLanes(s.fig, x, y, s, out);
     const { w, h } = size(item, s);
     out.push({ x, y, w, h, item });
     if (!isGroup(item))
@@ -124,7 +189,10 @@ const SYSTEM_FONT = "-apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Helv
 export function render(fig, opts = {}) {
     const speed = (opts.speed ?? fig.speed ?? 900) / 1000 / BASE_RATE;
     const pad = opts.padding ?? 24;
-    const steps = fig.steps ?? [];
+    const tl = fig.timeline && isLanesLayout(fig.layout) ? timelineLayout(fig, TL_AXIS_W) : null;
+    // A timeline with no steps of its own walks its dated items in date order.
+    const synthetic = tl != null && !fig.steps?.length;
+    const steps = synthetic ? timelineBeats(fig) : (fig.steps ?? []);
     const beats = steps.map((s) => s.flow.map(toBeat));
     // Every content a box will ever show, so its card can be sized to the biggest one up front.
     const cards = new Map();
@@ -142,7 +210,7 @@ export function render(fig, opts = {}) {
         return n > 2 ? n * 30 : 0;
     };
     const cardH = new Map();
-    const sizes = { cards, cardH, minH, gap: (g) => groupGap(g, fig.edges) };
+    const sizes = { cards, cardH, minH, gap: (g) => groupGap(g, fig.edges), fig };
     for (const [id, contents] of cards) {
         const width = CARD_WIDTH; // refined below once the node's own width is known
         const widths = [width];
@@ -164,13 +232,29 @@ export function render(fig, opts = {}) {
     for (const p of placed)
         if (p.item.id)
             rects[p.item.id] = p;
-    const tips = new Set(placed.filter((p) => !isGroup(p.item) && p.item.shape === 'decision').map((p) => p.item.id));
+    const tips = new Set(placed.filter((p) => !isGroup(p.item) && (p.item.shape === 'decision' || p.tl?.milestone)).map((p) => p.item.id));
     const ids = fig.edges.map(edgeId);
-    const routed = route(fig.edges.map((e, i) => ({ id: ids[i], from: e.from, to: e.to, around: e.around })), rects, tips);
+    const routed = route(fig.edges.map((e, i) => ({
+        id: ids[i],
+        from: e.from,
+        to: e.to,
+        around: e.around,
+        ...(tl && { sides: ['r', 'l'], elbow: true }),
+    })), rects, tips, placed.filter((p) => p.tl && !p.tl.labelInside).map((p) => outsideLabelRect(p, str(p.item.label))));
     const byId = Object.fromEntries(routed.map((r) => [r.id, r]));
     // What this layout drew, in scene form. Tags are left out of minFont: short bold capitals, not reading text.
     const fonts = [14, ...(steps.length ? [13.5] : [])];
     const sceneBoxes = nodes.map((p) => {
+        if (p.tl) {
+            // A label inside the bar has the bar as room; a label beside the bar has the space to the next item of its row, or to the band edge.
+            const label = str(p.item.label);
+            const mine = tl.items.find((i) => i.id === p.item.id);
+            const next = tl.items.filter((i) => i.track === mine.track && i.row === mine.row && i.x > mine.x).map((i) => p.x - mine.x + i.x - 8);
+            const limit = Math.min(placed[0].x + placed[0].w - FRAME_SIDE, ...next);
+            const room = p.tl.labelInside ? p.w - 16 : limit - (p.x + p.w) - 6;
+            fonts.push(13);
+            return { id: p.item.id, rect: { x: p.x, y: p.y, w: p.w, h: p.h }, texts: [{ text: label, fontSize: 13, room }] };
+        }
         const room = (p.item.shape === 'decision' ? p.w - 70 : p.w) - 16;
         const texts = [{ text: str(p.item.label), fontSize: 14, room }];
         if (p.item.sub) {
@@ -191,17 +275,31 @@ export function render(fig, opts = {}) {
     // The timeline: every beat of every step, in order, with the player's hold at the end of each step.
     const segs = [];
     const hops = [];
+    const edgeOf = Object.fromEntries(fig.edges.map((e, i) => [ids[i], e]));
     let t = 0;
     beats.forEach((stepBeats, si) => {
         stepBeats.forEach((b, bi) => {
-            const dur = (b.ms ?? fig.speed ?? 900) / 1000 / BASE_RATE;
             const last = bi === stepBeats.length - 1;
+            const dur = beatMs(b, opts.speed ?? fig.speed ?? 900) / 1000 / BASE_RATE;
+            const hold = last ? STEP_HOLD_MS / 1000 / BASE_RATE : 0;
             b.hops.forEach((h, lane) => {
                 if (byId[h.edge])
-                    hops.push({ si, bi, lane, edge: h.edge, back: h.back, data: h.data, t0: t, t1: t + dur });
+                    hops.push({
+                        si,
+                        bi,
+                        lane,
+                        edge: h.edge,
+                        dest: h.back ? edgeOf[h.edge].from : edgeOf[h.edge].to,
+                        back: h.back,
+                        data: h.data,
+                        tone: h.tone && TONES[h.tone],
+                        t0: t,
+                        t1: t + speed,
+                        tEnd: t + dur,
+                    });
             });
-            segs.push({ t0: t, t1: t + dur + (last ? speed * 1.5 : 0), si, bi });
-            t += dur + (last ? speed * 1.5 : 0);
+            segs.push({ t0: t, t1: t + dur + hold, si, bi });
+            t += dur + hold;
         });
     });
     const total = t || 1;
@@ -209,7 +307,12 @@ export function render(fig, opts = {}) {
     const shownAt = segs.map(({ si, bi }) => Object.assign({}, ...beats[si].slice(0, bi + 1).map((b) => b.show)));
     const litEdges = segs.map(({ si, bi }) => new Set(beats[si].slice(0, bi + 1).flatMap((b) => b.hops.map((h) => h.edge))));
     const litNodes = segs.map((seg, i) => {
-        const on = new Set([...(steps[seg.si].nodes ?? []), ...Object.keys(shownAt[i]), ...(beats[seg.si][seg.bi].light ?? [])]);
+        const on = new Set([
+            ...(steps[seg.si].nodes ?? []),
+            ...Object.keys(shownAt[i]),
+            ...(beats[seg.si][seg.bi].light ?? []),
+            ...(beats[seg.si][seg.bi].focus ?? []),
+        ]);
         fig.edges.forEach((e, ei) => {
             if (litEdges[i].has(ids[ei]))
                 on.add(e.from).add(e.to);
@@ -242,8 +345,8 @@ export function render(fig, opts = {}) {
         return list ? ` class="${list}"` : '';
     };
     /** Like `anim`, for a property that takes a different value in each segment (a row that moves as phases fold). */
-    const frames = (values, prefix) => {
-        if (!segs.length || values.every((v) => v === values[0]))
+    const frames = (values, prefix, base = values[0]) => {
+        if (!segs.length || values.every((v) => v === base))
             return '';
         const key = prefix + values.join('|');
         if (!seen.has(key)) {
@@ -254,6 +357,62 @@ export function render(fig, opts = {}) {
         }
         return seen.get(key);
     };
+    /**
+     * The look of one box over the loop: off, trail (visited) or active (the packet arrived, until the segment ends).
+     * A segment ends at the beat end, or after the step hold for the last beat.
+     * Each frame holds one look. The gap before the frame that follows an active frame gives the FADE.
+     * FADE is in timeline seconds, which are wall seconds.
+     */
+    const FADE = 0.4;
+    const RAMP = 0.4; // the today line moves in 400 ms, in wall seconds like FADE
+    // A box tone is a permanent state: a 1 px border and a light tint in the off and trail looks. The active look uses the hop tone, else the box tone.
+    const looks = (look, boxTone, hopTone) => {
+        const tint = boxTone ? toneTint(boxTone, 'var(--bg)') : 'var(--bg)';
+        if (look === 'off')
+            return [tint, boxTone ?? 'var(--border)', 1, 'drop-shadow(0 0 0 transparent)'];
+        if (look === 'trail')
+            return [tint, boxTone ?? 'var(--accent)', 1, 'drop-shadow(0 0 0 transparent)'];
+        const c = hopTone ?? boxTone;
+        return c
+            ? [toneTint(c, 'var(--surface)', 10), c, 2, `drop-shadow(0 0 4px ${c})`]
+            : ['var(--tint)', 'var(--accent)', 2, 'drop-shadow(0 0 4px var(--accent))'];
+    };
+    const boxAnim = (id, shape, boxTone) => {
+        const pieces = [];
+        segs.forEach((s, i) => {
+            if (!litNodes[i].has(id))
+                return void pieces.push({ a: s.t0, b: s.t1, look: 'off' });
+            const here = hops.filter((h) => h.dest === id && h.si === s.si && h.bi === s.bi);
+            // A focused box turns active at the beat start; in a timeline, when the today line arrives.
+            const focused = beats[s.si][s.bi].focus?.includes(id);
+            const arrive = Math.min(...here.map((h) => h.t1), focused ? Math.min(s.t0 + (tl ? RAMP : 0), s.t1) : s.t1, s.t1);
+            if (arrive > s.t0)
+                pieces.push({ a: s.t0, b: arrive, look: 'trail' });
+            if (arrive < s.t1)
+                pieces.push({ a: arrive, b: s.t1, look: 'active', hop: here.find((h) => h.tone)?.tone });
+        });
+        if (!pieces.length || pieces.every((q) => q.look === 'off'))
+            return '';
+        // The last frame is active: the fade ends at 100 %, so the loop wraps with no jump.
+        const end = pieces.at(-1);
+        if (end.look === 'active') {
+            end.b -= FADE;
+            pieces.push({ a: end.b, b: end.b + FADE, look: pieces[0].look, hop: pieces[0].hop, ramp: FADE - 0.0002 * total });
+        }
+        const kf = pieces.map((q, k) => {
+            const ramp = q.ramp ?? (q.look !== 'active' && pieces[k - 1]?.look === 'active' ? Math.min(FADE, (q.b - q.a) / 2) : 0);
+            const [fill, stroke, width, filter] = looks(q.look, boxTone, q.hop);
+            const css = `${shape ? `fill: ${fill}; ` : ''}stroke: ${stroke}; stroke-width: ${width}${shape ? `; filter: ${filter}` : ''}`;
+            return `${pct((q.a + ramp) / total)},${pct(q.b / total - 0.0001)} { ${css} }`;
+        });
+        const key = (shape ? 'B' : 'R') + kf.join(' ');
+        if (!seen.has(key)) {
+            const name = `a${seen.size}`;
+            seen.set(key, name);
+            css.push(`@keyframes ${name} { ${kf.join(' ')} }\n.${name} { animation: ${name} ${n2(total)}s infinite linear; }`);
+        }
+        return seen.get(key);
+    };
     const boxes = placed.map((p) => {
         const { item } = p;
         if (isGroup(item)) {
@@ -261,24 +420,47 @@ export function render(fig, opts = {}) {
                 return '';
             const on = item.id ? segs.map((_, i) => litNodes[i].has(item.id)) : [];
             return (`<rect x="${n2(p.x)}" y="${n2(p.y)}" width="${n2(p.w)}" height="${n2(p.h)}" rx="14" fill="var(--surface)" stroke="var(--border)"` +
-                cls(anim(on, 'stroke: var(--accent)', 'stroke: var(--border)', 'n')) +
-                `/><text x="${n2(p.x + FRAME_SIDE)}" y="${n2(p.y + 20)}" class="frame">${esc(str(item.label).toUpperCase())}</text>`);
+                cls(p.lane && 'lane', anim(on, 'stroke: var(--accent)', 'stroke: var(--border)', 'n')) +
+                `/><text x="${n2(p.x + FRAME_SIDE)}" y="${n2(p.lane ? p.y + p.h / 2 + 4 : p.y + 20)}" class="frame">${esc(str(item.label).toUpperCase())}</text>`);
         }
-        const on = segs.map((_, i) => litNodes[i].has(item.id));
-        const stroke = cls(anim(on, 'stroke: var(--accent)', 'stroke: var(--border)', 'n'));
+        const bt = item.tone && TONES[item.tone];
+        const stroke = cls(boxAnim(item.id, true, bt));
+        if (p.tl) {
+            const fill0 = bt ? toneTint(bt, 'var(--bg)') : 'var(--bg)';
+            const stroke0 = bt ?? 'var(--border)';
+            const label = str(item.label);
+            const inside = p.tl.labelInside;
+            const cx = p.x + p.w / 2, cy = p.y + p.h / 2;
+            const shape = p.tl.milestone
+                ? `<polygon points="${n2(cx)},${n2(p.y)} ${n2(p.x + p.w)},${n2(cy)} ${n2(cx)},${n2(p.y + p.h)} ${n2(p.x)},${n2(cy)}" fill="${fill0}" stroke="${stroke0}"${stroke}/>`
+                : `<rect x="${n2(p.x)}" y="${n2(p.y)}" width="${n2(p.w)}" height="${n2(p.h)}" rx="6" fill="${fill0}" stroke="${stroke0}"${stroke}/>`;
+            const tx = inside ? p.x + 8 : p.x + p.w + 6;
+            return shape + `<text x="${n2(tx)}" y="${n2(cy + 4.5)}" class="bar">${esc(label)}</text>`;
+        }
+        const rim = item.shape === 'store' ? cls(boxAnim(item.id, false, bt)) : '';
+        const fill0 = bt ? toneTint(bt, 'var(--bg)') : 'var(--bg)';
+        const stroke0 = bt ?? 'var(--border)';
         const cx = p.x + p.w / 2;
         const contents = cards.get(item.id);
         const cardTop = p.y + p.h - 10 - (contents ? cardH.get(item.id) : 0);
         const labelY = item.shape === 'store' ? p.y + 24 + 13 : contents ? p.y + 10 + 13 : p.y + p.h / 2 + (item.sub ? -2 : 5);
         const shape = item.shape === 'decision'
-            ? `<polygon points="${n2(cx)},${n2(p.y)} ${n2(p.x + p.w)},${n2(p.y + p.h / 2)} ${n2(cx)},${n2(p.y + p.h)} ${n2(p.x)},${n2(p.y + p.h / 2)}" fill="var(--bg)" stroke="var(--border)"${stroke}/>`
+            ? `<polygon points="${n2(cx)},${n2(p.y)} ${n2(p.x + p.w)},${n2(p.y + p.h / 2)} ${n2(cx)},${n2(p.y + p.h)} ${n2(p.x)},${n2(p.y + p.h / 2)}" fill="${fill0}" stroke="${stroke0}"${stroke}/>`
             : item.shape === 'store'
-                ? `<path d="M${n2(p.x)} ${n2(p.y + 12)} a ${n2(p.w / 2)} 12 0 0 1 ${n2(p.w)} 0 v ${n2(p.h - 24)} a ${n2(p.w / 2)} 12 0 0 1 ${n2(-p.w)} 0 z" fill="var(--bg)" stroke="var(--border)"${stroke}/>` +
-                    `<path d="M${n2(p.x)} ${n2(p.y + 12)} a ${n2(p.w / 2)} 12 0 0 0 ${n2(p.w)} 0" fill="none" stroke="var(--border)"${stroke}/>`
-                : `<rect x="${n2(p.x)}" y="${n2(p.y)}" width="${n2(p.w)}" height="${n2(p.h)}" rx="10" fill="var(--bg)" stroke="var(--border)"${stroke}/>`;
+                ? `<path d="M${n2(p.x)} ${n2(p.y + 12)} a ${n2(p.w / 2)} 12 0 0 1 ${n2(p.w)} 0 v ${n2(p.h - 24)} a ${n2(p.w / 2)} 12 0 0 1 ${n2(-p.w)} 0 z" fill="${fill0}" stroke="${stroke0}"${stroke}/>` +
+                    `<path d="M${n2(p.x)} ${n2(p.y + 12)} a ${n2(p.w / 2)} 12 0 0 0 ${n2(p.w)} 0" fill="none" stroke="${stroke0}"${rim}/>`
+                : `<rect x="${n2(p.x)}" y="${n2(p.y)}" width="${n2(p.w)}" height="${n2(p.h)}" rx="10" fill="${fill0}" stroke="${stroke0}"${stroke}/>`;
         const label = `<text x="${n2(cx)}" y="${n2(labelY)}" class="label">${esc(str(item.label))}</text>`;
         const sub = item.sub ? `<text x="${n2(cx)}" y="${n2(labelY + SUB_LINE)}" class="sub">${esc(str(item.sub))}</text>` : '';
-        return shape + label + sub + (contents ? card(p, cardTop, contents) : '');
+        // The mark sits in the gap beside the box, so it changes no size and adds nothing to the scene.
+        const dot = bt ?? 'var(--accent)';
+        const my = n2(p.y + p.h / 2);
+        const mark = item.mark === 'start'
+            ? `<circle cx="${n2(p.x - 12)}" cy="${my}" r="5" fill="${dot}"/>`
+            : item.mark === 'end'
+                ? `<circle cx="${n2(p.x + p.w + 12)}" cy="${my}" r="6.25" fill="none" stroke="${dot}" stroke-width="1.5"/><circle cx="${n2(p.x + p.w + 12)}" cy="${my}" r="4" fill="${dot}"/>`
+                : '';
+        return shape + label + sub + mark + (contents ? card(p, cardTop, contents) : '');
     });
     /** The dashed content card: one group per content it will ever hold, each visible on its own beats. */
     function card(p, top, contents) {
@@ -340,27 +522,37 @@ export function render(fig, opts = {}) {
         const on = segs.map((_, i) => litEdges[i].has(r.id));
         const hidden = e.quiet && !on.every(Boolean);
         const shown = hidden ? cls(anim(on, 'opacity: 1', 'opacity: 0', 'q')) : '';
-        const lit = cls(anim(on, `stroke: var(--accent); stroke-width: ${EDGE_ON}`, `stroke: var(--muted); stroke-width: ${EDGE_OFF}`, 'e'));
+        // A toned hop colors its edge for its own beat only; the trail after it is the accent.
+        const tone = segs.map(({ si, bi }) => (beats[si][bi].hops.find((h) => h.edge === r.id && h.tone)?.tone ?? undefined));
+        const col = tone.map((x) => (x ? TONES[x] : 'var(--accent)'));
+        const off = `stroke: var(--muted); stroke-width: ${EDGE_OFF}`;
+        // With no tone the map and the rail share one keyframe (same key); a toned edge needs its own values.
+        const toned = tone.some(Boolean);
+        const lit = cls(toned
+            ? frames(on.map((x, i) => (x ? `stroke: ${col[i]}; stroke-width: ${EDGE_ON}` : off)), 'e', off)
+            : anim(on, `stroke: var(--accent); stroke-width: ${EDGE_ON}`, off, 'e'));
         const path = `<path id="p-${esc(r.id)}" d="${r.d}" fill="none" stroke="var(--muted)" stroke-width="${EDGE_OFF}" marker-end="url(#arrow)"${lit}/>`;
         // A quiet edge is only drawn while a step uses it, so wrap the whole thing rather than the stroke.
-        const label = e.label == null
+        const label = e.label == null || tl
             ? ''
             : (() => {
                 const lw = labelPillW(str(e.label));
                 labelRects[r.id] = { x: r.mid.x - lw / 2, y: r.mid.y - 9, w: lw, h: 18 };
                 fonts.push(11);
                 return (`<rect x="${n2(r.mid.x - lw / 2)}" y="${n2(r.mid.y - 9)}" width="${n2(lw)}" height="18" rx="9" fill="var(--bg)" stroke="var(--border)"` +
-                    cls(anim(on, 'fill: var(--accent); stroke: var(--accent)', 'fill: var(--bg); stroke: var(--border)', 'l')) +
+                    cls(toned
+                        ? frames(on.map((x, i) => x ? `fill: ${tone[i] ? toneFill(col[i]) : col[i]}; stroke: ${col[i]}` : 'fill: var(--bg); stroke: var(--border)'), 'l', 'fill: var(--bg); stroke: var(--border)')
+                        : anim(on, 'fill: var(--accent); stroke: var(--accent)', 'fill: var(--bg); stroke: var(--border)', 'l')) +
                     `/><text x="${n2(r.mid.x)}" y="${n2(r.mid.y + 4)}"${cls('edgelabel', anim(on, `fill: ${ON_ACCENT}`, 'fill: var(--muted)', 'x'))}>${esc(str(e.label))}</text>`);
             })();
         return hidden ? `<g opacity="0"${shown}>${path}${label}</g>` : path + label;
     });
-    // A packet per hop: it waits offstage, crosses its edge during its beat, then leaves. Any `data`
+    // A packet per hop: it waits offstage, crosses its edge in `speed`, rests at the end of the edge to the end of its beat, then leaves. Any `data`
     // rides above it in a chip, which is how the figure says what is moving.
     const packets = hops.map((h, i) => {
-        const t0 = h.t0 / total, t1 = h.t1 / total;
+        const t0 = h.t0 / total, t1 = h.t1 / total, tEnd = h.tEnd / total;
         const name = `p${i}`;
-        css.push(`@keyframes ${name} { 0%,${pct(t0)} { opacity: 0 } ${pct(t0 + 0.0001)},${pct(t1 - 0.0001)} { opacity: 1 } ${pct(t1)},100% { opacity: 0 } }\n` +
+        css.push(`@keyframes ${name} { 0%,${pct(t0)} { opacity: 0 } ${pct(t0 + 0.0001)},${pct(tEnd - 0.0001)} { opacity: 1 } ${pct(tEnd)},100% { opacity: 0 } }\n` +
             `.${name} { animation: ${name} ${n2(total)}s infinite step-end; }`);
         const chip = (() => {
             const label = str(h.data);
@@ -370,13 +562,86 @@ export function render(fig, opts = {}) {
             const lines = wrap(label, 210, 11.5);
             const w = Math.max(...lines.map((l) => textWidth(l, 11.5))) + 18;
             const boxH = lines.length * 15 + 8;
-            return (`<rect x="${n2(-w / 2)}" y="${n2(-boxH - 12)}" width="${n2(w)}" height="${n2(boxH)}" rx="8" fill="var(--accent)"/>` +
+            return (`<rect x="${n2(-w / 2)}" y="${n2(-boxH - 12)}" width="${n2(w)}" height="${n2(boxH)}" rx="8" fill="${h.tone ? toneFill(h.tone) : 'var(--accent)'}"/>` +
                 lines.map((l, li) => `<text x="0" y="${n2(-boxH - 12 + 15 * li + 15)}" class="chip">${esc(l)}</text>`).join(''));
         })();
-        return (`<g${cls(name)} opacity="0"><circle r="10" fill="var(--accent)" opacity="0.2"/><circle r="4.5" fill="var(--accent)"/>${chip}` +
-            `<animateMotion dur="${n2(total)}s" repeatCount="indefinite" keyTimes="0;${n2(t0)};${n2(t1)};1" keyPoints="${h.back ? '1;1;0;0' : '0;0;1;1'}" calcMode="linear">` +
+        return (`<g${cls(name)} opacity="0"><circle r="10" fill="${h.tone ?? 'var(--accent)'}" opacity="0.2"/><circle r="4.5" fill="${h.tone ?? 'var(--accent)'}"/>${chip}` +
+            `<animateMotion dur="${n2(total)}s" repeatCount="indefinite" keyTimes="0;${n4(t0)};${n4(t1)};1" keyPoints="${h.back ? '1;1;0;0' : '0;0;1;1'}" calcMode="linear">` +
             `<mpath href="#p-${esc(h.edge)}" xlink:href="#p-${esc(h.edge)}"/></animateMotion></g>`);
     });
+    // The timeline axis under the boxes, the fixed today marker and the moving playhead over them.
+    let axisSvg = '', todaySvg = '';
+    if (tl) {
+        const top = placed[0];
+        const x0 = top.x + gutterOf(fig.layout.children);
+        const ay = top.y + TL_AXIS_H;
+        fonts.push(11);
+        axisSvg =
+            `<path d="M ${n2(x0)} ${n2(ay - 1)} H ${n2(x0 + TL_AXIS_W)}" stroke="var(--border)"/>` +
+                tl.ticks
+                    .map((k) => `<path d="M ${n2(x0 + k.x)} ${n2(ay - 5)} V ${n2(ay - 1)}" stroke="var(--border)"/>` +
+                    `<text x="${n2(x0 + k.x + 3)}" y="${n2(top.y + 10)}" class="tick">${esc(k.label)}</text>`)
+                    .join('');
+        const bottom = n2(top.y + top.h);
+        // The today marker is fixed at the figure's `today`.
+        if (tl.today != null) {
+            const tx = x0 + tl.today;
+            todaySvg =
+                `<path d="M ${n2(tx)} ${n2(top.y + 12)} V ${bottom}" stroke="var(--accent)" stroke-opacity="0.6" stroke-width="1" stroke-dasharray="3 3"/>` +
+                    `<text x="${n2(tx - 3)}" y="${n2(top.y + 22)}" text-anchor="end" class="today">today</text>`;
+        }
+        // The playhead moves to the start of each beat's item, then to the last date in the step hold.
+        if (tl.last != null && segs.length) {
+            const home = tl.last;
+            const startOf = new Map(tl.items.map((i) => [i.id, i.x + (i.milestone ? i.w / 2 : 0)]));
+            const dateOf = new Map(tl.items.map((i) => [i.id, i.date]));
+            const hold = STEP_HOLD_MS / 1000 / BASE_RATE;
+            const pts = [[0, home]];
+            const dates = []; // the label date in each time span
+            let at = home;
+            segs.forEach((s, i) => {
+                const item = playheadItem(tl.items, beats[s.si], s.bi);
+                const to = item ? startOf.get(item.id) : home;
+                const date = item ? dateOf.get(item.id) : tl.lastDate;
+                const last = i === segs.length - 1 || segs[i + 1].si !== s.si;
+                const end = last ? s.t1 - hold : s.t1; // the step hold starts here
+                pts.push([s.t0, at], [Math.min(s.t0 + RAMP, end), to], [end, to]);
+                const [la, lb] = labelSpan(s.t0, end, RAMP);
+                if (la < lb)
+                    dates.push({ a: la, b: lb, d: date, x: to });
+                at = to;
+                if (last) {
+                    pts.push([Math.min(end + RAMP, s.t1), home], [s.t1, home]);
+                    const [ha, hb] = labelSpan(end, s.t1, RAMP);
+                    if (ha < hb)
+                        dates.push({ a: ha, b: hb, d: tl.lastDate, x: home });
+                    at = home;
+                }
+            });
+            const name = `a${seen.size}`;
+            seen.set('playhead', name);
+            const kf = pts.map(([t, x]) => `${pct(t / total)} { transform: translateX(${n2(x - home)}px) }`).join(' ');
+            css.push(`@keyframes ${name} { ${kf} }\n.${name} { animation: ${name} ${n2(total)}s infinite linear; }`);
+            const lx = x0 + home;
+            const labels = [...new Set(dates.map((x) => x.d))].map((d) => {
+                const on = dates.map((x) => x.d === d);
+                const key = `d${d}${on.map((x) => (x ? 1 : 0)).join('')}`;
+                if (!seen.has(key)) {
+                    const nm = `a${seen.size}`;
+                    seen.set(key, nm);
+                    // Each span ends with a hidden frame: the label stays off while the line moves.
+                    const fr = dates
+                        .map((x) => `${pct(x.a / total)},${pct(x.b / total - 0.0001)} { opacity: ${x.d === d ? 1 : 0} } ${pct(x.b / total)} { opacity: 0 }`)
+                        .join(' ');
+                    css.push(`@keyframes ${nm} { ${fr} }\n.${nm} { animation: ${nm} ${n2(total)}s infinite step-end; }`);
+                }
+                // A label that would meet "today" moves to the tick row.
+                const raised = dateLabelRaised(dates.find((x) => x.d === d).x, tl.today, textWidth(d, 11), textWidth('today', 11));
+                return `<text x="${n2(lx + 3)}" y="${n2(top.y + (raised ? 10 : 22))}" opacity="0"${cls('today', seen.get(key))}>${esc(d)}</text>`;
+            });
+            todaySvg += `<g${cls(name)}><path d="M ${n2(lx)} ${n2(top.y + 12)} V ${bottom}" stroke="var(--accent)" stroke-width="1.5"/>${labels.join('')}</g>`;
+        }
+    }
     const bounds = placed[0];
     const arcs = fig.edges.some((e) => e.around);
     const capLines = [...new Set(captions)].flatMap((c) => wrap(c, Math.max(560, bounds.w), 13.5).length);
@@ -394,7 +659,7 @@ export function render(fig, opts = {}) {
     const shift = (W - (bounds.w + pad * 2)) / 2;
     const railX = rail ? (W - rail.width) / 2 : 0;
     // The step label and its narration, both switching with the beats.
-    const labels = rail
+    const labels = rail || synthetic
         ? []
         : steps.map((_, si) => {
             const on = segs.map((s) => s.si === si);
@@ -463,7 +728,8 @@ export function render(fig, opts = {}) {
                 const next = segs.map((s) => s.si < row.step || (s.si === row.step && s.bi < row.beat));
                 const [x1, x2] = [rail.columns[row.from].x, rail.columns[row.to].x];
                 const ly = y + RAIL.row / 2;
-                const lit = anim(now, `stroke: var(--accent); stroke-width: ${EDGE_ON}`, `stroke: var(--muted); stroke-width: ${EDGE_OFF}`, 'e');
+                const col = row.tone ? TONES[row.tone] : 'var(--accent)';
+                const lit = anim(now, `stroke: ${col}; stroke-width: ${EDGE_ON}`, `stroke: var(--muted); stroke-width: ${EDGE_OFF}`, row.tone ? 'e' + col : 'e');
                 const tagW = ASYNC_TAG_W;
                 // The tag sits on the tail side of the pill, so it never hides the arrowhead.
                 const tagX = !row.pill ? (x1 + x2) / 2 - tagW / 2 : x2 > x1 ? row.pill.x - tagW - 4 : row.pill.x + row.pill.w + 4;
@@ -473,7 +739,7 @@ export function render(fig, opts = {}) {
                         `<text x="${n2(tagX + tagW / 2)}" y="${n2(ly + 3)}" class="tag" fill="${TONES.gray}">ASYNC</text>`
                     : '';
                 const pill = row.pill
-                    ? `<rect x="${n2(row.pill.x)}" y="${n2(ly - 9)}" width="${n2(row.pill.w)}" height="18" rx="9" fill="var(--bg)" stroke="var(--border)"${cls(anim(now, 'fill: var(--accent); stroke: var(--accent)', 'fill: var(--bg); stroke: var(--border)', 'l'))}/>` +
+                    ? `<rect x="${n2(row.pill.x)}" y="${n2(ly - 9)}" width="${n2(row.pill.w)}" height="18" rx="9" fill="var(--bg)" stroke="var(--border)"${cls(anim(now, `fill: ${row.tone ? toneFill(col) : col}; stroke: ${col}`, 'fill: var(--bg); stroke: var(--border)', row.tone ? 'l' + col : 'l'))}/>` +
                         `<text x="${n2(row.pill.x + row.pill.w / 2)}" y="${n2(ly + 4)}"${cls('edgelabel', anim(now, `fill: ${ON_ACCENT}`, 'fill: var(--muted)', 'x'))}>${esc(row.text)}</text>`
                     : '';
                 parts.push(`<g${cls('railrow', moveRow(i))}><g${cls(anim(next, 'opacity: .45', 'opacity: 1', 'r'))}>` +
@@ -496,6 +762,9 @@ svg { ${vars(t0, '#eef5fd')} }
 .row { fill: var(--fg); font-size: 11px; }
 .row.mono { font-size: 10.5px; font-family: ui-monospace, Menlo, monospace; }
 .muted { fill: var(--muted); }
+.bar { fill: var(--fg); font-size: 13px; font-weight: 500; }
+.tick { fill: var(--muted); font-size: 11px; }
+.today { fill: var(--accent); font-size: 11px; font-weight: 600; }
 .tag { font-size: 9px; font-weight: 600; letter-spacing: .03em; text-anchor: middle; }
 .mark { fill: var(--accent); font-size: 11px; font-weight: 600; text-anchor: end; }
 .chip { fill: ${ON_ACCENT}; font-size: 11.5px; text-anchor: middle; }
@@ -507,14 +776,18 @@ svg { ${vars(t0, '#eef5fd')} }
 .end { text-anchor: end; }
 ${css.join('\n')}
 </style>
-<defs><marker id="arrow" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M 0 1 L 9 5 L 0 9 z" fill="var(--muted)"/></marker></defs>
+<defs><marker id="arrow" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M 0 1 L 9 5 L 0 9 z" fill="context-stroke"/></marker></defs>
 <rect width="100%" height="100%" fill="var(--bg)"/>
 ${only
         ? ''
         : `<g transform="translate(${n2(shift)} ${arcs ? 44 : 0})">
-${boxes.filter(Boolean).join('\n')}
-${edgeSvg.join('\n')}
+${axisSvg}
+${tl ? boxes.filter((b, i) => b && isGroup(placed[i].item)).join('\n') : ''}
+${tl ? edgeSvg.join('\n') : ''}
+${boxes.filter((b, i) => b && !(tl && isGroup(placed[i].item))).join('\n')}
+${tl ? '' : edgeSvg.join('\n')}
 ${packets.join('\n')}
+${todaySvg}
 </g>
 `}${railSvg}
 ${labels.join('\n')}
@@ -529,7 +802,7 @@ ${said.join('\n')}
         edges: [
             ...(only ? [] : routed).map((r) => {
                 const e = fig.edges[ids.indexOf(r.id)];
-                return { id: r.id, from: e.from, to: e.to, curve: r.curve, label: labelRects[r.id] };
+                return { id: r.id, from: e.from, to: e.to, curve: r.curve, label: labelRects[r.id], ...(tl && { behind: true }) };
             }),
             // Each rail payload is a label too, in its own open-phase position, so label-overlap covers the rail.
             ...(rail?.rows ?? []).flatMap((row, i) => {

package/dist/verify.d.ts

@@ -1,6 +1,6 @@
 import type { FlowProps } from './model.ts';
 import type { Finding } from './scene.ts';
-export { parseSource, owners, links, type Link } from './source.ts';
+export { parseSource, headingSlug, owners, links, type Link } from './source.ts';
 /** The links against the files under `root`. A path outside the root is a missing file: the figure names the repo, not the disk. */
 export declare function verify(fig: FlowProps, { root }?: {
     root?: string;

package/dist/verify.js

@@ -1,8 +1,8 @@
 // `flowfig verify`: checks that the code a link names is still there. The link parsing lives in source.ts, which has no Node import.
 import { readFileSync, statSync } from 'node:fs';
 import { isAbsolute, relative, resolve } from 'node:path';
-import { links } from './source.js';
-export { parseSource, owners, links } from './source.js';
+import { headingSlug, links } from './source.js';
+export { parseSource, headingSlug, owners, links } from './source.js';
 const escape = (s) => s.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
 /** The file text, or null for a missing path, a folder or an unreadable file. */
 function read(full) {
@@ -13,6 +13,11 @@ function read(full) {
         return null;
     }
 }
+/** True if a heading line of the Markdown text has this slug. */
+const hasHeading = (text, slug) => text.split('\n').some((line) => {
+    const m = /^#{1,6}\s+(.*?)\s*#*\s*$/.exec(line);
+    return m != null && headingSlug(m[1]) === slug;
+});
 /** The links against the files under `root`. A path outside the root is a missing file: the figure names the repo, not the disk. */
 export function verify(fig, { root = process.cwd() } = {}) {
     const out = [];
@@ -29,7 +34,9 @@ export function verify(fig, { root = process.cwd() } = {}) {
         const text = files.get(full);
         if (text == null)
             out.push({ rule: 'missing-file', severity: 'error', ids: [], message: `${l.owner} -> ${l.source}: file not found` });
-        else if (l.symbol && !new RegExp(`(^|[^\\w$])${escape(l.symbol)}(?![\\w$])`).test(text))
+        else if (l.symbol &&
+            !new RegExp(`(^|[^\\w$])${escape(l.symbol)}(?![\\w$])`).test(text) &&
+            !(/\.(md|markdown)$/i.test(l.path) && hasHeading(text, l.symbol)))
             out.push({ rule: 'missing-symbol', severity: 'error', ids: [], message: `${l.owner} -> ${l.source}: symbol not found` });
     }
     return out;

package/dist/version.d.ts

@@ -1,2 +1,2 @@
 /** The package version, for the MCP `serverInfo`. The release list bumps it with package.json. */
-export declare const VERSION = "0.2.0";
+export declare const VERSION = "0.4.0";

package/dist/version.js

@@ -1,2 +1,2 @@
 /** The package version, for the MCP `serverInfo`. The release list bumps it with package.json. */
-export const VERSION = '0.2.0';
+export const VERSION = '0.4.0';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "flowfig",
-  "version": "0.2.0",
+  "version": "0.4.0",
   "description": "Your coding agent draws animated diagrams from your code, and flowfig checks them. One animated SVG for a GitHub README, PR or issue, and a React player. Set up Claude Code, Cursor, GitHub Copilot, Codex, Gemini CLI, Windsurf and Kiro with npx flowfig init.",
   "license": "MIT",
   "repository": {