@issuegraph/editor 0.1.0

package/dist/workspace/render.js

@@ -0,0 +1,366 @@
+/**
+ * The three-zone workspace: the package's top-level surface.
+ *
+ * Rail on the left, canvas in the centre, inspector on the right, with the
+ * ambient audit count in the header. Every zone is COMPOSED from the leaf that
+ * already owns it — this file assembles, it does not re-derive.
+ *
+ * | zone      | comes from                                            |
+ * |-----------|-------------------------------------------------------|
+ * | header    | `auditOverlay` + `renderAuditHeader`                   |
+ * | rail      | `renderViewer(…, { projection: 'linear' })`, windowed  |
+ * | canvas    | `renderScaleLadder`                                    |
+ * | inspector | `inspectorView`, rendered here                         |
+ *
+ * ## The audit left-bar is applied to the rail's SPEC, never to its markup
+ *
+ * The rail's rows are layer 1's, and this package's standing rule is that
+ * nothing splices a rendered string — that is the hand-rolled escaping surface
+ * the spec grammar exists to remove, and `reevaluate/render.ts` records the
+ * same decision when it nests `scene.root` rather than concatenating chips into
+ * the rail.
+ *
+ * `scene.root` is DATA, and `KEY_ATTRIBUTE` is published, so {@link markRail}
+ * walks the spec tree and adds `data-ig-audit` to the keyed rows. That is a
+ * pure transform over a public value rather than a reach past a surface, and it
+ * means no attribute in this file is ever escaped by anything but `renderMarkup`.
+ *
+ * ## A row's severity is the heaviest across its MEMBERS
+ *
+ * A `together-with` unit is one row and several refs, and a finding can name a
+ * member that does not lead. Read off the lead alone, an affected unit renders
+ * clean — which is the audit failing silently on exactly the rows where an
+ * encoding error is hardest to see.
+ *
+ * ## The zone frames, and the one place a tag is written here
+ *
+ * Two of the four zones hand back a STRING rather than a spec — the ladder's
+ * chrome and the audit header — so the frames are assembled by concatenation,
+ * as `renderScaleLadder` already assembles its own canvas and chrome. What
+ * makes that safe is not care: {@link ZONES} is a closed union of literals, so
+ * no caller value can reach an attribute here at all, and `zones.test.ts` pins
+ * it. Everything with a dynamic value in it goes through `renderMarkup`.
+ *
+ * ## Dark only
+ *
+ * The pass-2 brief carries "light + dark" over from pass 1; light was cut after
+ * that pass, and dark-only is the decision rather than an omission. There is no
+ * forked token set here and no second palette: the theme is the viewer's, and
+ * `styles.ts` writes structure against its custom properties.
+ */
+import { KEY_ATTRIBUTE, element, normalizeDocument, renderMarkup, renderViewer, resolveTheme, themeCss, viewerStylesheet, } from '@issuegraph/viewer';
+import { auditStylesheet } from "../audit/styles.js";
+import { edgeOverlayStylesheet } from "../overlay/styles.js";
+import { AUDIT_SEVERITY_ATTRIBUTE, auditFilterKeeps, auditOverlay, heaviestRow, renderAuditHeader, } from "../audit/surface.js";
+import { INITIAL_SCALE_STATE } from "../scale/commands.js";
+import { renderScaleLadder } from "../scale/render.js";
+import { scaleLadderStylesheet } from "../scale/styles.js";
+import { inspectorView } from "./inspector.js";
+import { railWindow } from "./rail.js";
+import { INITIAL_SELECTION, selectedEdgeId, selectedKey, } from "./selection.js";
+import { workspaceStylesheet } from "./styles.js";
+/** The four fixed positions. A closed union, which is what keeps `zone` safe. */
+export const ZONES = Object.freeze(['header', 'rail', 'canvas', 'inspector']);
+/**
+ * A zone frame.
+ *
+ * The only tag written by hand in this package, and it takes no caller value:
+ * `zone` is one of {@link ZONES} and `inner` is already-rendered markup from
+ * `renderMarkup` or from a sibling leaf's renderer.
+ */
+function zone(name, inner) {
+    return `<section class="ig-zone" data-zone="${name}">${inner}</section>`;
+}
+/**
+ * The height the rows outside the window would have taken.
+ *
+ * WITHOUT THESE THE SCROLL CONTAINER CANNOT REACH THE ORDER. The rail zone
+ * scrolls, and a zone containing only the drawn rows is exactly as tall as
+ * those rows — so native scrolling stops at the end of the first window, and a
+ * host has no scroll offset to turn into the next `start`. `addressOf` keeps
+ * the MODEL complete, and a reader who cannot scroll to rank 287 does not care.
+ *
+ * ONE ROW HEIGHT FOR ALL OF THEM, which is an approximation and is stated as
+ * one: a row carrying holds is taller than a bare one, so the scrollbar is
+ * proportional rather than exact. That is the standard cost of fixed-height
+ * virtualisation and the alternative — measuring rows — needs a mount, which
+ * this package does not have and will not grow.
+ *
+ * `aria-hidden`, because a spacer is geometry: it names no row, and a reader
+ * moving by rank uses the order rather than the scrollbar.
+ */
+function railSpacer(rows, edge) {
+    return rows === 0
+        ? ''
+        : renderMarkup(element('div', {
+            class: 'ig-rail-spacer',
+            'data-edge': edge,
+            'aria-hidden': 'true',
+            // Through `element`, so the one dynamic value here is escaped by the
+            // same renderer as every other attribute in this package.
+            style: `--ig-rail-rows:${String(rows)}`,
+        }));
+}
+/** The heaviest severity across a row's members, or `undefined` when clean. */
+function severityForRow(overlay, members) {
+    // THE RANKING BELONGS NEXT TO THE WEIGHTS, which is why this delegates rather
+    // than scanning. An earlier version walked `overlay.rows` and took the first
+    // member it matched, on the stated grounds that those rows are "sorted" — and
+    // they are, by `ref`, LEXICOGRAPHICALLY. So it returned whichever member
+    // sorted earliest, and a `stale-blocker` on `a` masked a `cycle` on `b`: the
+    // bar still appeared, understating what it was about. The comment asserting
+    // the justification was the defect, not the loop.
+    return overlay === null ? undefined : heaviestRow(overlay, members)?.severity;
+}
+/**
+ * Add `data-ig-audit` to the rail's keyed rows.
+ *
+ * A total walk that rebuilds the tree rather than mutating it: `ElementSpec` is
+ * `readonly` throughout, and a mutating walk would also be visible to the
+ * caller's own copy of `scene.root`.
+ */
+function markRail(root, severityOf) {
+    // TYPED AS `ElementSpec -> ElementSpec` AT THE BOUNDARY, with the child walk
+    // kept inside. A single function over `SpecChild` would hand `renderMarkup` a
+    // union it does not take, and the obvious repair — casting the result back —
+    // is the one this repository bans outright. The narrowing belongs where the
+    // string case actually lives.
+    const markChild = (child) => typeof child === 'string' ? child : markSpec(child);
+    function markSpec(spec) {
+        const key = spec.attrs?.[KEY_ATTRIBUTE];
+        // A KEY IS A STRING OR IT IS NOT A KEY. `AttrValue` admits numbers and
+        // booleans, and `String(true)` would look up a row named "true" — which
+        // resolves to nothing today and to something the day a host names an issue
+        // that. Narrowed rather than coerced.
+        const severity = typeof key === 'string' ? severityOf(key) : undefined;
+        const children = spec.children?.map(markChild);
+        const attrs = severity === undefined
+            ? spec.attrs
+            : { ...spec.attrs, [AUDIT_SEVERITY_ATTRIBUTE]: severity };
+        return {
+            ...spec,
+            ...(attrs === undefined ? {} : { attrs }),
+            ...(children === undefined ? {} : { children }),
+        };
+    }
+    return markSpec(root);
+}
+/**
+ * One relationship, as a row the reader can actually operate.
+ *
+ * THE COMMAND SITS ON A BUTTON, NOT ON THE `li`. A plain list item has no tab
+ * stop and no native Enter/Space activation, so a `data-ig-command` on one is
+ * reachable by pointer and by nothing else — and a host wiring the published
+ * attributes cannot fix that without rebuilding the semantics this package
+ * should have supplied. Every other command in the package is already on a
+ * button; `refusalSpec`'s capsule is the same `li` + `button` shape.
+ *
+ * The `li` keeps the hue and the direction, because those describe the
+ * relationship rather than the action.
+ */
+function relationshipSpec(relationship) {
+    return element('li', {
+        class: 'ig-relationship',
+        'data-edge': relationship.field,
+        // Omitted rather than falsified when the subject is not an issue: an edge
+        // selection has no "my end", and `data-direction=""` would claim one.
+        'data-direction': relationship.direction ?? undefined,
+    }, [
+        element('button', {
+            type: 'button',
+            class: 'ig-relationship-select',
+            'data-ig-command': 'select-edge',
+            'data-ig-target': relationship.edgeId,
+        }, [
+            element('span', { class: 'ig-relationship-kind' }, [relationship.field]),
+            element('span', { class: 'ig-relationship-ref' }, [relationship.from]),
+            element('span', { class: 'ig-relationship-ref' }, [relationship.to]),
+        ]),
+    ]);
+}
+function inspectorSpec(view, words) {
+    const subject = view.subject;
+    return element('div', { class: 'ig-inspector', 'data-subject': subject.kind }, [
+        subject.kind === 'none'
+            ? element('p', { class: 'ig-inspector-empty' }, [words.nothingSelected])
+            : null,
+        subject.kind === 'issue'
+            ? element('div', { class: 'ig-inspector-issue' }, [
+                element('h2', { class: 'ig-inspector-title' }, [subject.issue.title]),
+                element('span', { class: 'ig-inspector-key' }, [subject.issue.key]),
+                subject.position === null
+                    ? null
+                    : element('p', {
+                        class: 'ig-inspector-position',
+                        'data-ready': subject.position.ready ? 'true' : 'false',
+                    }, 
+                    // A HELD SLOT PRINTS THE VIEWER'S EM DASH, not a number. It has
+                    // no position in the sequence, and printing one would claim work
+                    // is queued that nothing can start.
+                    [subject.position.rank === null ? '—' : String(subject.position.rank)]),
+                subject.position === null || subject.position.holds.length === 0
+                    ? null
+                    : element('ul', { class: 'ig-inspector-holds' }, subject.position.holds.map((hold) => element('li', { class: 'ig-inspector-hold', 'data-family': hold.family }, [
+                        hold.reason,
+                    ]))),
+            ])
+            : null,
+        element('div', { class: 'ig-inspector-relationships', 'data-filtered': view.filtered ? 'true' : 'false' }, [
+            element('h3', { class: 'ig-inspector-heading' }, [words.relationships]),
+            view.filtered
+                ? element('button', { type: 'button', class: 'ig-inspector-clear', 'data-ig-command': 'clear' }, [words.clearSelection])
+                : null,
+            view.relationships.length === 0
+                ? null
+                : element('ul', { class: 'ig-relationship-list' }, view.relationships.map((relationship) => relationshipSpec(relationship))),
+        ]),
+    ]);
+}
+/** Render one document at one reader position, as the whole workspace. */
+export function renderWorkspace(input, options) {
+    const selection = options.selection ?? INITIAL_SELECTION;
+    const theme = resolveTheme(options.theme);
+    const overlay = options.audit === undefined ? null : auditOverlay(options.audit);
+    // NORMALIZE ONCE, AT THE TOP, AND DERIVE EVERYTHING FROM THAT — this replaces
+    // four separate defects rather than fixing them one at a time, and the class
+    // is worth naming because it is not obvious from any one of them.
+    //
+    // Every zone normalizes the document it is handed; this function did NOT, so
+    // it derived the window, the severity map, the filter set and the inspector's
+    // relationships from the RAW input while the zones drew the normalized one.
+    // Anything layer 1 drops — a duplicate placement, a self-edge, an edge naming
+    // an issue the document does not carry — therefore survived in this
+    // function's answers and vanished from the picture beside them. Two of the
+    // shapes that reached: the inspector published a `select-edge` command for an
+    // edge no zone had drawn, and a duplicate placement straddling a window
+    // boundary became VALID whenever its earlier copy fell outside the window, so
+    // the visible order changed with the scroll position.
+    //
+    // Normalizing here makes those unrepresentable instead of handled.
+    // `normalizeDocument` is idempotent — measured: re-normalizing its own output
+    // yields zero further diagnostics — so the zones' own passes now find nothing
+    // left to drop, and this is the one place that reports what was dropped.
+    const sound = normalizeDocument(input);
+    const document = sound.document;
+    // THE FILTER NARROWS THE RAIL, AND ONLY THE RAIL. §17a gives the audit a
+    // filter for focus and deliberately no mode; the canvas answers "what
+    // surrounds this issue", which the filter says nothing about.
+    //
+    // It narrows BEFORE the window, or it would narrow only whichever rows the
+    // window had already reached and read as doing nothing on a long backlog. On
+    // members rather than the lead, for the reason the bar is: a finding can name
+    // a member that does not lead its unit.
+    const filtered = overlay !== null && options.auditFiltered === true;
+    const railInput = filtered
+        ? {
+            ...document,
+            order: {
+                // EXCLUSIONS ARE ROWS TOO, and filtering only the slots left the clean
+                // ones on screen while the header said the filter was on — the toggle
+                // narrowing part of the rail and claiming to have narrowed it.
+                slots: document.order.slots.filter((slot) => slot.members.some((member) => auditFilterKeeps(overlay, member))),
+                excluded: document.order.excluded.filter((exclusion) => auditFilterKeeps(overlay, exclusion.key)),
+            },
+        }
+        : document;
+    const rail = railWindow(railInput, options.rail ?? {});
+    const railRender = renderViewer(rail.document, {
+        projection: 'linear',
+        theme,
+        // The rail is where a selected ISSUE reads as current. An edge selection
+        // resolves to no key, which is `selectedKey`'s whole job.
+        selected: selectedKey(selection),
+    });
+    // Built once, over the window's rows, so a rail of 312 costs one pass rather
+    // than one scan of `overlay.rows` per drawn row.
+    const severityByKey = new Map();
+    for (const slot of rail.rows) {
+        const severity = severityForRow(overlay, slot.members);
+        if (severity !== undefined)
+            severityByKey.set(slot.lead, severity);
+    }
+    // EXCLUSIONS CARRY A KEY AND RENDER A ROW, so the bar belongs on them too.
+    // Built from the slots alone, the map missed exactly the row a
+    // `dead-duplicate-ref` finding is about — the class most associated with an
+    // exclusion in the first place — and the ambient warning went missing on the
+    // one row it most obviously described.
+    for (const exclusion of rail.document.order.excluded) {
+        const severity = severityForRow(overlay, [exclusion.key]);
+        if (severity !== undefined)
+            severityByKey.set(exclusion.key, severity);
+    }
+    // THE CANVAS IS THE WHOLE DOCUMENT, NOT THE WINDOW. The window is the rail's
+    // scrolling position and says nothing about what surrounds the selected
+    // issue; handing the ladder a windowed document would make its budgets — and
+    // therefore its refusal — depend on where the reader had scrolled to.
+    const canvas = renderScaleLadder(document, {
+        state: options.scale ?? INITIAL_SCALE_STATE,
+        theme,
+        // THE SAME ONE VALUE THE RAIL READ. Without this the canvas drew the
+        // selected issue as ordinary while the rail marked it current, so the
+        // single selection this surface advertises disagreed with itself between
+        // two zones on every render.
+        selected: selectedKey(selection),
+        // AND ITS OTHER HALF. The union has two payloads, and reading only the
+        // issue one left the canvas the single zone that could not see an edge
+        // selection: the inspector filtered to the edge while the canvas drew it
+        // as ordinary — the same disagreement the line above closed for issues,
+        // still open for the other kind.
+        selectedEdge: selectedEdgeId(selection),
+    });
+    const inspector = inspectorView(document, selection);
+    const markup = [
+        `<div class="ig-workspace">`,
+        overlay === null ? '' : zone('header', renderAuditHeader(overlay, { filtered })),
+        zone('rail', [
+            railSpacer(rail.before, 'before'),
+            renderMarkup(markRail(railRender.scene.root, (key) => severityByKey.get(key))),
+            railSpacer(rail.after, 'after'),
+        ].join('')),
+        zone('canvas', canvas.markup),
+        zone('inspector', renderMarkup(inspectorSpec(inspector, options.words))),
+        `</div>`,
+    ].join('');
+    return {
+        view: { selection, rail, inspector, audit: overlay, auditFiltered: filtered },
+        markup,
+        // THE THEME IS WRITTEN ONCE. Both leaves below emit their own copy of the
+        // viewer's stylesheet and the theme rule, so taking `canvas.styles`
+        // wholesale would install the custom properties two or three times over —
+        // harmless to render and impossible to debug when a host overrides one.
+        styles: [
+            viewerStylesheet,
+            themeCss(theme, options.themeSelector ?? ':root'),
+            scaleLadderStylesheet,
+            // THE CANVAS CAN DRAW A SELECTION HALO NOW, so the sheet that styles one
+            // has to be installed. It is listed here rather than inherited from
+            // `canvas.styles` for the reason directly above: that value carries its
+            // own copy of the viewer sheet and the theme.
+            // UNCONDITIONAL, unlike the audit sheet beside it. An audit overlay is a
+            // whole zone a caller opts into; an edge selection arrives from a click
+            // AFTER this render, so a sheet installed only when something is already
+            // selected is one that is missing on exactly the render that first needs
+            // it.
+            edgeOverlayStylesheet,
+            ...(overlay === null ? [] : [auditStylesheet]),
+            workspaceStylesheet,
+        ].join('\n'),
+        // CONCATENATED, NOT DEDUPED — and the dedupe that used to sit here is worth
+        // recording rather than deleting quietly, because it was CORRECT when it
+        // was added and became wrong two commits later without being touched.
+        //
+        // It was added when both zones normalized the raw document independently
+        // and reported the same defect twice. Normalizing once removed that source,
+        // and the same `Set` then had only one thing left to collapse: the
+        // deliberately REPEATED diagnostics a single pass emits, one per occurrence
+        // — two identical self-edges, the same unknown member in several slots.
+        // Understating how many times an input is malformed is worse than the
+        // duplication it was guarding against, and it is a count a host acts on.
+        //
+        // Nothing replaces it, because nothing needs to: the zones now receive an
+        // already-sound document, so they contribute nothing to this list at all.
+        // `reports every occurrence, and the zones add nothing` pins both halves.
+        diagnostics: [...sound.diagnostics, ...railRender.diagnostics, ...canvas.diagnostics],
+    };
+}
+//# sourceMappingURL=render.js.map

package/dist/workspace/render.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"render.js","sourceRoot":"","sources":["../../src/workspace/render.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAEH,OAAO,EAML,aAAa,EACb,OAAO,EACP,iBAAiB,EACjB,YAAY,EACZ,YAAY,EACZ,YAAY,EACZ,QAAQ,EACR,gBAAgB,GACjB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EACL,wBAAwB,EAExB,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACX,iBAAiB,GAClB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAmB,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAE3D,OAAO,EAAkD,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/F,OAAO,EAA2C,UAAU,EAAE,MAAM,WAAW,CAAC;AAChF,OAAO,EAEL,iBAAiB,EACjB,cAAc,EACd,WAAW,GACZ,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAElD,iFAAiF;AACjF,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAU,CAAC,CAAC;AAoFvF;;;;;;GAMG;AACH,SAAS,IAAI,CAAC,IAAU,EAAE,KAAa;IACrC,OAAO,uCAAuC,IAAI,KAAK,KAAK,YAAY,CAAC;AAC3E,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAS,UAAU,CAAC,IAAY,EAAE,IAAwB;IACxD,OAAO,IAAI,KAAK,CAAC;QACf,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,YAAY,CACV,OAAO,CAAC,KAAK,EAAE;YACb,KAAK,EAAE,gBAAgB;YACvB,WAAW,EAAE,IAAI;YACjB,aAAa,EAAE,MAAM;YACrB,qEAAqE;YACrE,0DAA0D;YAC1D,KAAK,EAAE,kBAAkB,MAAM,CAAC,IAAI,CAAC,EAAE;SACxC,CAAC,CACH,CAAC;AACR,CAAC;AAED,+EAA+E;AAC/E,SAAS,cAAc,CACrB,OAA4B,EAC5B,OAA0B;IAE1B,8EAA8E;IAC9E,6EAA6E;IAC7E,8EAA8E;IAC9E,yEAAyE;IACzE,6EAA6E;IAC7E,4EAA4E;IAC5E,kDAAkD;IAClD,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC;AAChF,CAAC;AAED;;;;;;GAMG;AACH,SAAS,QAAQ,CACf,IAAiB,EACjB,UAAsD;IAEtD,6EAA6E;IAC7E,8EAA8E;IAC9E,6EAA6E;IAC7E,4EAA4E;IAC5E,8BAA8B;IAC9B,MAAM,SAAS,GAAG,CAAC,KAAgB,EAAa,EAAE,CAChD,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAEtD,SAAS,QAAQ,CAAC,IAAiB;QACjC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,aAAa,CAAC,CAAC;QACxC,uEAAuE;QACvE,wEAAwE;QACxE,2EAA2E;QAC3E,sCAAsC;QACtC,MAAM,QAAQ,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QAC/C,MAAM,KAAK,GACT,QAAQ,KAAK,SAAS;YACpB,CAAC,CAAC,IAAI,CAAC,KAAK;YACZ,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,wBAAwB,CAAC,EAAE,QAAQ,EAAE,CAAC;QAC9D,OAAO;YACL,GAAG,IAAI;YACP,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;YACzC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;SAChD,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,gBAAgB,CAAC,YAAmC;IAC3D,OAAO,OAAO,CACZ,IAAI,EACJ;QACE,KAAK,EAAE,iBAAiB;QACxB,WAAW,EAAE,YAAY,CAAC,KAAK;QAC/B,0EAA0E;QAC1E,sEAAsE;QACtE,gBAAgB,EAAE,YAAY,CAAC,SAAS,IAAI,SAAS;KACtD,EACD;QACE,OAAO,CACL,QAAQ,EACR;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,wBAAwB;YAC/B,iBAAiB,EAAE,aAAa;YAChC,gBAAgB,EAAE,YAAY,CAAC,MAAM;SACtC,EACD;YACE,OAAO,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,sBAAsB,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;YACxE,OAAO,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,qBAAqB,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YACtE,OAAO,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,qBAAqB,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;SACrE,CACF;KACF,CACF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAmB,EAAE,KAAqB;IAC/D,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAC7B,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE;QAC7E,OAAO,CAAC,IAAI,KAAK,MAAM;YACrB,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,oBAAoB,EAAE,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YACxE,CAAC,CAAC,IAAI;QACR,OAAO,CAAC,IAAI,KAAK,OAAO;YACtB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,oBAAoB,EAAE,EAAE;gBAC9C,OAAO,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,oBAAoB,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACrE,OAAO,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,kBAAkB,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBACnE,OAAO,CAAC,QAAQ,KAAK,IAAI;oBACvB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,OAAO,CACL,GAAG,EACH;wBACE,KAAK,EAAE,uBAAuB;wBAC9B,YAAY,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;qBACxD;oBACD,gEAAgE;oBAChE,iEAAiE;oBACjE,oCAAoC;oBACpC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CACvE;gBACL,OAAO,CAAC,QAAQ,KAAK,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;oBAC9D,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,OAAO,CACL,IAAI,EACJ,EAAE,KAAK,EAAE,oBAAoB,EAAE,EAC/B,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAClC,OAAO,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE;wBACxE,IAAI,CAAC,MAAM;qBACZ,CAAC,CACH,CACF;aACN,CAAC;YACJ,CAAC,CAAC,IAAI;QACR,OAAO,CACL,KAAK,EACL,EAAE,KAAK,EAAE,4BAA4B,EAAE,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,EAC1F;YACE,OAAO,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,sBAAsB,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YACvE,IAAI,CAAC,QAAQ;gBACX,CAAC,CAAC,OAAO,CACL,QAAQ,EACR,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,OAAO,EAAE,EAC3E,CAAC,KAAK,CAAC,cAAc,CAAC,CACvB;gBACH,CAAC,CAAC,IAAI;YACR,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;gBAC7B,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,OAAO,CACL,IAAI,EACJ,EAAE,KAAK,EAAE,sBAAsB,EAAE,EACjC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC,CACzE;SACN,CACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,eAAe,CAC7B,KAAqB,EACrB,OAAyB;IAEzB,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,iBAAiB,CAAC;IACzD,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAEjF,8EAA8E;IAC9E,6EAA6E;IAC7E,kEAAkE;IAClE,EAAE;IACF,6EAA6E;IAC7E,8EAA8E;IAC9E,4EAA4E;IAC5E,8EAA8E;IAC9E,oEAAoE;IACpE,2EAA2E;IAC3E,8EAA8E;IAC9E,wEAAwE;IACxE,8EAA8E;IAC9E,sDAAsD;IACtD,EAAE;IACF,mEAAmE;IACnE,8EAA8E;IAC9E,8EAA8E;IAC9E,yEAAyE;IACzE,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAEhC,yEAAyE;IACzE,sEAAsE;IACtE,8DAA8D;IAC9D,EAAE;IACF,2EAA2E;IAC3E,6EAA6E;IAC7E,8EAA8E;IAC9E,wCAAwC;IACxC,MAAM,QAAQ,GAAG,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,aAAa,KAAK,IAAI,CAAC;IACpE,MAAM,SAAS,GAAmB,QAAQ;QACxC,CAAC,CAAC;YACE,GAAG,QAAQ;YACX,KAAK,EAAE;gBACL,uEAAuE;gBACvE,sEAAsE;gBACtE,+DAA+D;gBAC/D,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CACjE;gBACD,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CACrD,gBAAgB,CAAC,OAAO,EAAE,SAAS,CAAC,GAAG,CAAC,CACzC;aACF;SACF;QACH,CAAC,CAAC,QAAQ,CAAC;IAEb,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IACvD,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE;QAC7C,UAAU,EAAE,QAAQ;QACpB,KAAK;QACL,yEAAyE;QACzE,0DAA0D;QAC1D,QAAQ,EAAE,WAAW,CAAC,SAAS,CAAC;KACjC,CAAC,CAAC;IACH,6EAA6E;IAC7E,iDAAiD;IACjD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAyB,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACvD,IAAI,QAAQ,KAAK,SAAS;YAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrE,CAAC;IACD,2EAA2E;IAC3E,+DAA+D;IAC/D,4EAA4E;IAC5E,6EAA6E;IAC7E,uCAAuC;IACvC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrD,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,IAAI,QAAQ,KAAK,SAAS;YAAE,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACzE,CAAC;IAED,6EAA6E;IAC7E,wEAAwE;IACxE,6EAA6E;IAC7E,sEAAsE;IACtE,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,EAAE;QACzC,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,mBAAmB;QAC3C,KAAK;QACL,qEAAqE;QACrE,sEAAsE;QACtE,yEAAyE;QACzE,6BAA6B;QAC7B,QAAQ,EAAE,WAAW,CAAC,SAAS,CAAC;QAChC,uEAAuE;QACvE,uEAAuE;QACvE,yEAAyE;QACzE,wEAAwE;QACxE,iCAAiC;QACjC,YAAY,EAAE,cAAc,CAAC,SAAS,CAAC;KACxC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAErD,MAAM,MAAM,GAAG;QACb,4BAA4B;QAC5B,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,iBAAiB,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;QAChF,IAAI,CACF,MAAM,EACN;YACE,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC;YACjC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9E,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC;SAChC,CAAC,IAAI,CAAC,EAAE,CAAC,CACX;QACD,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;QAC7B,IAAI,CAAC,WAAW,EAAE,YAAY,CAAC,aAAa,CAAC,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACxE,QAAQ;KACT,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEX,OAAO;QACL,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE;QAC7E,MAAM;QACN,0EAA0E;QAC1E,oEAAoE;QACpE,0EAA0E;QAC1E,wEAAwE;QACxE,MAAM,EAAE;YACN,gBAAgB;YAChB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC;YACjD,qBAAqB;YACrB,yEAAyE;YACzE,oEAAoE;YACpE,wEAAwE;YACxE,8CAA8C;YAC9C,yEAAyE;YACzE,wEAAwE;YACxE,yEAAyE;YACzE,yEAAyE;YACzE,MAAM;YACN,qBAAqB;YACrB,GAAG,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YAC9C,mBAAmB;SACpB,CAAC,IAAI,CAAC,IAAI,CAAC;QACZ,4EAA4E;QAC5E,yEAAyE;QACzE,sEAAsE;QACtE,EAAE;QACF,yEAAyE;QACzE,4EAA4E;QAC5E,mEAAmE;QACnE,4EAA4E;QAC5E,wEAAwE;QACxE,sEAAsE;QACtE,yEAAyE;QACzE,EAAE;QACF,0EAA0E;QAC1E,0EAA0E;QAC1E,0EAA0E;QAC1E,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,EAAE,GAAG,UAAU,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC;KACtF,CAAC;AACJ,CAAC"}

package/dist/workspace/selection.d.ts

@@ -0,0 +1,92 @@
+/**
+ * The one piece of state that crosses all three zones.
+ *
+ * §17b: `selected` is the only edge state that also filters the inspector. So
+ * the workspace owns exactly one cross-zone value, and it owns it as ONE value
+ * rather than three synchronised copies — the rail, the canvas and the
+ * inspector all read this, and none of them mints a second.
+ *
+ * ## Why a union rather than two nullable fields
+ *
+ * The obvious shape is `{ issue: string | null; edge: string | null }`, and it
+ * is wrong in a way that is invisible until it bites: it can represent
+ * "an issue AND an edge are both selected", which is not a state this design
+ * has. Every reader would then need a rule for it, the three zones would be
+ * free to pick different rules, and the bug would show up as two zones
+ * disagreeing about what is selected rather than as a type error.
+ *
+ * A discriminated union has no such cell. `kind` answers what is selected, and
+ * the payload that belongs to that answer is the only payload in scope.
+ *
+ * ## It carries no document
+ *
+ * A selection names a key or an edge id and nothing else. It is deliberately
+ * not a resolved issue or a resolved edge: the document changes under it — a
+ * write lands, the order recomputes — and a selection holding a snapshot of the
+ * thing it names would go stale silently. Every zone resolves the name against
+ * the document it is rendering, so a selection that no longer resolves renders
+ * as nothing selected rather than as last render's answer.
+ */
+/** What the reader has selected. Exactly one thing, or nothing. */
+export type WorkspaceSelection = {
+    readonly kind: 'none';
+} | {
+    readonly kind: 'issue';
+    readonly key: string;
+} | {
+    readonly kind: 'edge';
+    readonly edgeId: string;
+};
+/** Nothing selected. The state a freshly-loaded workspace is in. */
+export declare const INITIAL_SELECTION: WorkspaceSelection;
+/**
+ * What a zone can ask for.
+ *
+ * `select-issue` and `select-edge` REPLACE rather than add, which is the
+ * reducer half of the union above: there is no command that could put the
+ * workspace in two selections at once, so no reader has to handle one.
+ */
+export type SelectionCommand = {
+    readonly kind: 'select-issue';
+    readonly key: string;
+} | {
+    readonly kind: 'select-edge';
+    readonly edgeId: string;
+} | {
+    readonly kind: 'clear';
+};
+/**
+ * The next selection.
+ *
+ * Pure and total, like `scaleReducer` beside it: a host reads a
+ * `data-ig-command` off a control, calls this, and renders again. Selecting
+ * what is already selected CLEARS it — a second click on the same row is how a
+ * reader gets back to the whole document without hunting for a control, and it
+ * is the behaviour the canvas and the rail both need.
+ */
+export declare function selectionReducer(selection: WorkspaceSelection, command: SelectionCommand): WorkspaceSelection;
+/**
+ * The key the VIEWER should draw as selected, if any.
+ *
+ * An edge selection resolves to no key on purpose: the viewer's `selected`
+ * renders `aria-current` on a NODE, and an edge is not a node. Handing it an
+ * edge id would either match nothing — the quiet failure — or, worse, match an
+ * issue whose key happened to collide with an edge id.
+ */
+export declare function selectedKey(selection: WorkspaceSelection): string | null;
+/**
+ * The edge identity the CANVAS should draw as selected, if any.
+ *
+ * The mirror of {@link selectedKey}, and it exists for the same reason that one
+ * does: the union has two payloads and a zone reads exactly the one that
+ * belongs to it. `selectedKey` answers the viewer's `aria-current`, which is a
+ * NODE question; this answers the canvas's selection overlay, which is an EDGE
+ * question. Neither zone gets to ask the other's.
+ *
+ * An issue selection resolves to no edge for the same reason the other returns
+ * no key: an issue key and an edge identity are different name spaces, and
+ * handing one to the reader of the other either matches nothing — the quiet
+ * failure — or matches the wrong thing.
+ */
+export declare function selectedEdgeId(selection: WorkspaceSelection): string | null;
+//# sourceMappingURL=selection.d.ts.map

package/dist/workspace/selection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"selection.d.ts","sourceRoot":"","sources":["../../src/workspace/selection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,mEAAmE;AACnE,MAAM,MAAM,kBAAkB,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD,oEAAoE;AACpE,eAAO,MAAM,iBAAiB,EAAE,kBAAqC,CAAC;AAEtE;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAE/B;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,kBAAkB,EAC7B,OAAO,EAAE,gBAAgB,GACxB,kBAAkB,CAapB;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,SAAS,EAAE,kBAAkB,GAAG,MAAM,GAAG,IAAI,CAExE;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,cAAc,CAAC,SAAS,EAAE,kBAAkB,GAAG,MAAM,GAAG,IAAI,CAE3E"}

package/dist/workspace/selection.js

@@ -0,0 +1,83 @@
+/**
+ * The one piece of state that crosses all three zones.
+ *
+ * §17b: `selected` is the only edge state that also filters the inspector. So
+ * the workspace owns exactly one cross-zone value, and it owns it as ONE value
+ * rather than three synchronised copies — the rail, the canvas and the
+ * inspector all read this, and none of them mints a second.
+ *
+ * ## Why a union rather than two nullable fields
+ *
+ * The obvious shape is `{ issue: string | null; edge: string | null }`, and it
+ * is wrong in a way that is invisible until it bites: it can represent
+ * "an issue AND an edge are both selected", which is not a state this design
+ * has. Every reader would then need a rule for it, the three zones would be
+ * free to pick different rules, and the bug would show up as two zones
+ * disagreeing about what is selected rather than as a type error.
+ *
+ * A discriminated union has no such cell. `kind` answers what is selected, and
+ * the payload that belongs to that answer is the only payload in scope.
+ *
+ * ## It carries no document
+ *
+ * A selection names a key or an edge id and nothing else. It is deliberately
+ * not a resolved issue or a resolved edge: the document changes under it — a
+ * write lands, the order recomputes — and a selection holding a snapshot of the
+ * thing it names would go stale silently. Every zone resolves the name against
+ * the document it is rendering, so a selection that no longer resolves renders
+ * as nothing selected rather than as last render's answer.
+ */
+/** Nothing selected. The state a freshly-loaded workspace is in. */
+export const INITIAL_SELECTION = { kind: 'none' };
+/**
+ * The next selection.
+ *
+ * Pure and total, like `scaleReducer` beside it: a host reads a
+ * `data-ig-command` off a control, calls this, and renders again. Selecting
+ * what is already selected CLEARS it — a second click on the same row is how a
+ * reader gets back to the whole document without hunting for a control, and it
+ * is the behaviour the canvas and the rail both need.
+ */
+export function selectionReducer(selection, command) {
+    switch (command.kind) {
+        case 'select-issue':
+            return selection.kind === 'issue' && selection.key === command.key
+                ? INITIAL_SELECTION
+                : { kind: 'issue', key: command.key };
+        case 'select-edge':
+            return selection.kind === 'edge' && selection.edgeId === command.edgeId
+                ? INITIAL_SELECTION
+                : { kind: 'edge', edgeId: command.edgeId };
+        case 'clear':
+            return INITIAL_SELECTION;
+    }
+}
+/**
+ * The key the VIEWER should draw as selected, if any.
+ *
+ * An edge selection resolves to no key on purpose: the viewer's `selected`
+ * renders `aria-current` on a NODE, and an edge is not a node. Handing it an
+ * edge id would either match nothing — the quiet failure — or, worse, match an
+ * issue whose key happened to collide with an edge id.
+ */
+export function selectedKey(selection) {
+    return selection.kind === 'issue' ? selection.key : null;
+}
+/**
+ * The edge identity the CANVAS should draw as selected, if any.
+ *
+ * The mirror of {@link selectedKey}, and it exists for the same reason that one
+ * does: the union has two payloads and a zone reads exactly the one that
+ * belongs to it. `selectedKey` answers the viewer's `aria-current`, which is a
+ * NODE question; this answers the canvas's selection overlay, which is an EDGE
+ * question. Neither zone gets to ask the other's.
+ *
+ * An issue selection resolves to no edge for the same reason the other returns
+ * no key: an issue key and an edge identity are different name spaces, and
+ * handing one to the reader of the other either matches nothing — the quiet
+ * failure — or matches the wrong thing.
+ */
+export function selectedEdgeId(selection) {
+    return selection.kind === 'edge' ? selection.edgeId : null;
+}
+//# sourceMappingURL=selection.js.map

package/dist/workspace/selection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"selection.js","sourceRoot":"","sources":["../../src/workspace/selection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAQH,oEAAoE;AACpE,MAAM,CAAC,MAAM,iBAAiB,GAAuB,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AActE;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC9B,SAA6B,EAC7B,OAAyB;IAEzB,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,cAAc;YACjB,OAAO,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,GAAG,KAAK,OAAO,CAAC,GAAG;gBAChE,CAAC,CAAC,iBAAiB;gBACnB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;QAC1C,KAAK,aAAa;YAChB,OAAO,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;gBACrE,CAAC,CAAC,iBAAiB;gBACnB,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QAC/C,KAAK,OAAO;YACV,OAAO,iBAAiB,CAAC;IAC7B,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,SAA6B;IACvD,OAAO,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3D,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,cAAc,CAAC,SAA6B;IAC1D,OAAO,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7D,CAAC"}

package/dist/workspace/styles.d.ts

@@ -0,0 +1,39 @@
+/**
+ * The workspace's structural stylesheet: three fixed zones, and nothing else.
+ *
+ * Same contract as the viewer's, the ladder's and the re-evaluate surface's —
+ * layout, weight and state, never a value. Every colour, length and font is a
+ * `var(--ig-…)` the host's theme resolves, and `styles.test.ts` scans these
+ * bytes for a literal or an unresolvable token.
+ *
+ * ## Fixed, and that is the requirement
+ *
+ * §17f gives the rail and the canvas opposite obligations — the rail is
+ * complete at any backlog size, the canvas refuses above its budget — and
+ * assembling them must not average the two. Positions are therefore FIXED
+ * rather than negotiated: `grid-template-columns` gives the rail and the
+ * inspector their own tracks and the canvas the remaining `1fr`, so a large
+ * document grows the canvas's refusal rather than squeezing the rail out of
+ * the layout.
+ *
+ * The rail scrolls in its own track. That is what makes windowing a rendering
+ * decision rather than a visible one: the reader scrolls a complete order, and
+ * which slice is currently drawn is the host's business.
+ *
+ * ## Dark only, with no forked token set
+ *
+ * Light was cut after pass 1, so there is no second palette here and no
+ * `prefers-color-scheme` block. The single palette is the viewer's, reached
+ * through its custom properties — a forked set would be exactly the drifting
+ * second implementation the package split exists to remove.
+ *
+ * ## No animation, anywhere
+ *
+ * §17a: the audit is ambient, and a count that animates is a count demanding
+ * attention it has not earned. The re-evaluate surface already rejected the
+ * animated re-sort for a stronger reason — rows moving under the cursor mean
+ * the next edit targets the wrong thing — and this is the file where both
+ * could creep back in without touching a line of TypeScript.
+ */
+export declare const workspaceStylesheet = "\n.ig-workspace {\n  display: grid;\n  /* HEADER SPANS, THE THREE ZONES SIT UNDER IT. The audit count is ambient: it\n     belongs to the whole workspace rather than to one zone, and putting it in a\n     zone's own track would make it move when that zone resized. */\n  grid-template-areas:\n    'header header header'\n    'rail canvas inspector';\n  /* The rail and the inspector are sized in TYPE, not in pixels: a host that\n     scales the type scales the zones with it, which a fixed track would not.\n\n     A LENGTH TIMES A UNITLESS COUNT, which is the viewer's own idiom\n     (styles.ts writes min-width: calc(var(--ig-char-width) * 4)). An earlier\n     version multiplied --ig-char-width by --ig-label-char-width, having read\n     the second as \"how many characters wide a label is\". It is not: it is the\n     average width OF one character, and themeCss renders every metric with px\n     \u2014 so the expression was calc(7.8px * 6px), which is not a length. CSS\n     discards a declaration it cannot parse, so the whole template went with it\n     and all three zones fell back to auto columns: long content could then\n     squeeze the canvas, which is the one thing fixed positions exist to stop.\n     Nothing failed loudly, because an invalid declaration is simply absent.\n\n     40 is a reading measure for a title plus its id, in characters. */\n  grid-template-columns:\n    calc(var(--ig-char-width) * 40)\n    1fr\n    calc(var(--ig-char-width) * 40);\n  grid-template-rows: auto 1fr;\n  gap: var(--ig-space);\n  background: var(--ig-bg);\n  color: var(--ig-text-body);\n  font-family: var(--ig-font-ui);\n  font-size: var(--ig-font-size);\n  line-height: var(--ig-line-height);\n}\n\n.ig-zone {\n  min-width: 0;\n  /* Without this a long title in any zone sets that track's minimum width and\n     the grid stops honouring its own template. */\n  min-height: 0;\n}\n\n.ig-zone[data-zone='header'] {\n  grid-area: header;\n}\n\n.ig-zone[data-zone='rail'] {\n  grid-area: rail;\n  /* The rail scrolls; the window slides underneath. */\n  overflow-y: auto;\n  border-right: var(--ig-stroke) solid var(--ig-line);\n}\n\n.ig-zone[data-zone='canvas'] {\n  grid-area: canvas;\n  overflow: auto;\n}\n\n.ig-zone[data-zone='inspector'] {\n  grid-area: inspector;\n  overflow-y: auto;\n  border-left: var(--ig-stroke) solid var(--ig-line);\n}\n\n/* THE AMBIENT LEFT-BAR. A 2px gold rule on the affected row and nothing else \u2014\n   no fill, no icon, no badge. \u00A717a's whole ask is that encoding errors stay\n   visible while you work rather than pulling you out of it.\n\n   An inset box-shadow rather than a border: a border changes the row's box and\n   would shift every marked row against its neighbours, which is a layout jump\n   the eye reads as movement. The width is the theme's spine, so the bar scales\n   with the rest of the rail. */\n.ig-zone[data-zone='rail'] [data-ig-audit] {\n  box-shadow: inset var(--ig-spine-width) 0 0 0 var(--ig-accent);\n}\n\n.ig-zone[data-zone='rail'] [data-ig-audit='misleading'] {\n  box-shadow: inset var(--ig-spine-width) 0 0 0 var(--ig-state-invalid);\n}\n\n/* THE ROWS OUTSIDE THE WINDOW, AS HEIGHT. The rail scrolls, so without a spacer\n   at each end the container is exactly as tall as the drawn rows and native\n   scrolling stops at the end of the first window \u2014 leaving a host no offset to\n   turn into the next start, and a reader no way to reach rank 287 of 312.\n\n   NO BACKTICKS ANYWHERE IN THIS FILE'S COMMENTS. The stylesheet is a template\n   literal, so a backtick closes it \u2014 and the failure is a parse error pages\n   away from the character that caused it.\n\n   THE PITCH IS THE OUTER BOX, NOT THE ROW HEIGHT. A .ig-slot is\n   min-height: --ig-row-height PLUS margin-bottom: --ig-space-tight, so\n   row-to-row is the sum of the two. Sized on --ig-row-height alone, this\n   undercounted EVERY omitted row by the gap \u2014 44 of a 50px pitch on the default\n   theme, so 300 omitted rows left the scroll extent 1,800px short and a host\n   dividing its scroll position by the measured pitch could reach about offset\n   264 of 300. The tail of the order became unreachable by the very mechanism\n   added to make it reachable.\n\n   That is a SYSTEMATIC undercount, not the approximation below, which is why it\n   is corrected exactly rather than tolerated: the gap is constant per row and\n   both terms are theme metrics.\n\n   --ig-rail-rows is the count, set inline by the renderer. What remains\n   approximate is only VARIABLE row height \u2014 a row carrying holds is taller than\n   a bare one \u2014 so the scrollbar stays proportional rather than exact. Measuring\n   that needs a mount, which this package does not have. */\n.ig-rail-spacer {\n  height: calc((var(--ig-row-height) + var(--ig-space-tight)) * var(--ig-rail-rows, 0));\n}\n\n.ig-inspector {\n  display: flex;\n  flex-direction: column;\n  gap: var(--ig-space);\n  padding: var(--ig-space);\n}\n\n.ig-inspector-empty {\n  margin: 0;\n  color: var(--ig-text-muted);\n  font-size: var(--ig-font-size-small);\n}\n\n.ig-inspector-issue {\n  display: flex;\n  flex-direction: column;\n  gap: var(--ig-space-tight);\n}\n\n.ig-inspector-title {\n  margin: 0;\n  font-size: var(--ig-font-size);\n  color: var(--ig-text);\n}\n\n.ig-inspector-key {\n  font-family: var(--ig-font-mono);\n  color: var(--ig-text-muted);\n}\n\n.ig-inspector-position {\n  margin: 0;\n  font-family: var(--ig-font-mono);\n  color: var(--ig-text-muted);\n}\n\n.ig-inspector-position[data-ready='true'] {\n  color: var(--ig-station-ready);\n}\n\n.ig-inspector-holds {\n  list-style: none;\n  margin: 0;\n  padding: 0;\n  display: flex;\n  flex-direction: column;\n  gap: var(--ig-space-tight);\n}\n\n/* The two hold families never share a treatment \u2014 layer 1's rule, carried\n   across so the inspector cannot contradict the rail it sits beside. */\n.ig-inspector-hold[data-family='graph'] {\n  color: var(--ig-station-held);\n}\n\n.ig-inspector-hold[data-family='tracker'] {\n  color: var(--ig-text-muted);\n}\n\n.ig-inspector-relationships {\n  display: flex;\n  flex-direction: column;\n  gap: var(--ig-space-tight);\n}\n\n.ig-inspector-heading {\n  margin: 0;\n  font-size: var(--ig-font-size-small);\n  color: var(--ig-text-muted);\n}\n\n.ig-inspector-clear {\n  align-self: flex-start;\n  background: var(--ig-surface-2);\n  color: var(--ig-text-body);\n  border: var(--ig-stroke) solid var(--ig-line);\n  border-radius: var(--ig-radius);\n  padding: var(--ig-space-tight) var(--ig-space);\n  font-family: var(--ig-font-ui);\n  font-size: var(--ig-font-size-small);\n  cursor: pointer;\n}\n\n.ig-inspector-clear:focus-visible {\n  outline: var(--ig-focus-ring) solid var(--ig-focus);\n  outline-offset: var(--ig-space-tight);\n}\n\n.ig-relationship-list {\n  list-style: none;\n  margin: 0;\n  padding: 0;\n  display: flex;\n  flex-direction: column;\n  gap: var(--ig-space-tight);\n}\n\n.ig-relationship {\n  display: flex;\n  gap: var(--ig-space-tight);\n  align-items: baseline;\n  padding: var(--ig-space-tight);\n  border: var(--ig-stroke) solid var(--ig-line);\n  border-radius: var(--ig-radius);\n  background: var(--ig-surface);\n}\n\n/* Hue by field, from the theme's own edge tokens \u2014 the same channel layer 1\n   uses, so a relationship reads the same colour in the list as on the canvas. */\n.ig-relationship[data-edge='blocked-by'] {\n  border-left-color: var(--ig-edge-blocked-by);\n}\n\n.ig-relationship[data-edge='duplicate-of'] {\n  border-left-color: var(--ig-edge-duplicate-of);\n}\n\n.ig-relationship[data-edge='serialize-with'] {\n  border-left-color: var(--ig-edge-serialize-with);\n}\n\n.ig-relationship[data-edge='together-with'] {\n  border-left-color: var(--ig-edge-together-with);\n}\n\n.ig-relationship[data-edge='decomposed-from'] {\n  border-left-color: var(--ig-edge-decomposed-from);\n}\n\n/* The button fills its row, so the whole relationship is the hit target rather\n   than the words inside it. Transparent and borderless: the li already carries\n   the border and the hue, and a second box around it would read as two\n   controls. */\n.ig-relationship-select {\n  flex: 1;\n  display: flex;\n  gap: var(--ig-space-tight);\n  align-items: baseline;\n  background: none;\n  border: none;\n  padding: 0;\n  font-family: inherit;\n  font-size: inherit;\n  color: inherit;\n  text-align: left;\n  cursor: pointer;\n}\n\n.ig-relationship-select:focus-visible {\n  outline: var(--ig-focus-ring) solid var(--ig-focus);\n  outline-offset: var(--ig-space-tight);\n}\n\n.ig-relationship-kind {\n  font-family: var(--ig-font-mono);\n  color: var(--ig-text-body);\n}\n\n.ig-relationship-ref {\n  font-family: var(--ig-font-mono);\n  color: var(--ig-text-muted);\n}\n";
+//# sourceMappingURL=styles.d.ts.map

package/dist/workspace/styles.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"styles.d.ts","sourceRoot":"","sources":["../../src/workspace/styles.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AAEH,eAAO,MAAM,mBAAmB,2jRAkR/B,CAAC"}