@issuegraph/editor 0.2.0 → 0.3.0

package/dist/workspace/host.d.ts

@@ -0,0 +1,148 @@
+/**
+ * The workspace's host reducer — every decision a mount makes, with no DOM.
+ *
+ * `renderWorkspace` renders and publishes: each control says what it does as
+ * `data-ig-command`, and the viewer publishes its two identities, `data-ig-key`
+ * and `data-ig-group`. This file is the DECISIONS a mount takes on reading
+ * them. The shell in `mount.ts` reads the DOM and turns what it saw into a
+ * {@link HostCommand}; this file turns the command into the next state and a
+ * list of {@link HostEffect}s the shell then performs against the store.
+ *
+ * It composes the package's own reducers — `selectionReducer`, `scaleReducer`,
+ * `createReducer`, `pickerView` — and adds only what those leave to a mount:
+ * which one selection is shared, when the create draft begins and ends, the
+ * rail's scroll offset, and the drag that turns a canvas drop into a draft.
+ * Nothing here reaches a node, so all of it runs under `node --test` with no
+ * DOM, which is the property the package's other reducers are shaped for and
+ * the reason this is not written into listeners.
+ *
+ * ## Lifted from the demo, and why
+ *
+ * This was the demo's `host.ts`, written once for that page. A second host
+ * re-implemented it from scratch and re-ran the review rounds that shaped it;
+ * the design kit's layer rule puts the interaction shell in layer 2, not in
+ * the host. What stayed behind in the demo is exactly what was demo-shaped:
+ * the theme switch, the armed dispatch outcome, and the sandbox reset — none
+ * of which a host reducer should know about, and each of which the demo now
+ * handles beside the mount rather than through it.
+ */
+import { type EdgeField } from '@issuegraph/core';
+import type { GraphDocument, MutationId, Proposal, StoredIssue } from '@issuegraph/store';
+import { type CreateDraft } from '../create/draft.ts';
+import type { KeyIntent } from '../create/keys.ts';
+import type { Point } from '../create/placement.ts';
+import { type ScaleState } from '../scale/commands.ts';
+import { type WorkspaceSelection } from './selection.ts';
+export interface HostState {
+    readonly selection: WorkspaceSelection;
+    readonly scale: ScaleState;
+    readonly auditFiltered: boolean;
+    /** The rail window's first slot — a scroll offset in rows, never a rank. */
+    readonly railStart: number;
+    readonly draft: CreateDraft;
+    /** What the reader has typed into the target search. */
+    readonly targetQuery: string;
+    /** The issue a canvas drag started on, while the pointer is down. */
+    readonly drag: string | null;
+    /** Where a canvas drop landed, so the kind chooser can be placed there. */
+    readonly drop: Point | null;
+}
+export declare const INITIAL_HOST_STATE: HostState;
+/**
+ * What the shell saw.
+ *
+ * `control` carries a `data-ig-command` — the package's own vocabulary
+ * (`select-edge`, `focus`, `search`, `retype`, `flip`, …) and the mount's
+ * chrome (`add`, `kind`, `target`, `delete`, `retry`, …) share one channel
+ * because the shell reads one attribute. `point` and `group` are the viewer's
+ * two identities: a focusable issue key, and a mark naming an edge or a slot.
+ */
+export type HostCommand = {
+    readonly kind: 'point';
+    readonly key: string;
+} | {
+    readonly kind: 'group';
+    readonly id: string;
+} | {
+    readonly kind: 'control';
+    readonly name: string;
+    readonly target?: string | undefined;
+    readonly value?: string | undefined;
+} | {
+    readonly kind: 'intent';
+    readonly intent: KeyIntent;
+} | {
+    readonly kind: 'scroll';
+    readonly start: number;
+} | {
+    readonly kind: 'drag-start';
+    readonly key: string;
+} | {
+    readonly kind: 'drop';
+    readonly key: string | null;
+    readonly at: Point;
+};
+/** What the shell performs against the store after reducing. */
+export type HostEffect = {
+    readonly kind: 'propose';
+    readonly proposal: Proposal;
+} | {
+    readonly kind: 'retry';
+    readonly mutationId: MutationId;
+} | {
+    readonly kind: 'discard';
+    readonly mutationId: MutationId;
+} | {
+    readonly kind: 'dismiss-change';
+};
+export interface HostResult {
+    readonly state: HostState;
+    readonly effects: readonly HostEffect[];
+}
+/** The one reducer. `document` is the landed document, for edge lookups. */
+export declare function reduceHost(state: HostState, command: HostCommand, document: GraphDocument): HostResult;
+/**
+ * Bring the state back into agreement with a document that moved under it.
+ *
+ * The store re-renders on every landed write, and a write can remove what the
+ * state names: a retype or a flip gives the edge a NEW identity, a delete
+ * removes it, and a conflict's rehydrate can drop an issue a draft was aimed
+ * at. A selection naming an edge the document no longer carries would leave
+ * the inspector showing a picker for nothing — the viewer already refuses a
+ * stale selection the same way, so the host does too, from the document
+ * rather than from memory of what it just proposed.
+ */
+export declare function reconcileHost(state: HostState, document: GraphDocument): HostState;
+/** The issues a target search offers, by reference or title, never the source itself. */
+export declare function targetMatches(issues: readonly StoredIssue[], query: string, source: string | null, limit?: number): readonly StoredIssue[];
+/** The edge kinds, in the format's order — the keyboard path's `1`–`5` is this list. */
+export declare const KINDS: readonly EdgeField[];
+/** How far the reader may scroll into the rail window before it is re-cut around them, in rows. */
+export declare const RAIL_SLACK = 20;
+/**
+ * The slack a window of `count` rows actually gets: `RAIL_SLACK`, bounded to a
+ * quarter of the window and never below one row. A slack as wide as the window
+ * re-cut a small window onto its own start — ArrowDown on the last drawn row
+ * computed `offset - slack` at or below the current start, dispatched it
+ * unchanged, and keyboard navigation could not leave the first window.
+ */
+export declare function railSlackFor(count: number): number;
+/**
+ * Where the rail window should be re-cut for a scroll position, or `null` when
+ * it should stay where it is.
+ *
+ * `row` is the first visible row (scroll offset over pitch), `start` the
+ * window's current first slot, `count` the window's size and `total` the rows
+ * in the order. Inside the window's slack band nothing moves. Outside it, the
+ * window is re-cut `RAIL_SLACK` rows above the reader, clamped to the order.
+ *
+ * THE CLAMP CAN LAND ON THE CURRENT START, AND THAT CASE MUST ANSWER `null`.
+ * At the end of a long order the window is already pinned to its last start
+ * while the reader is deep inside it, so every scroll position there is
+ * "outside the band" and clamps back to the same start. A shell that
+ * dispatched that as a change redrew, restored the scroll offset — which
+ * fires `scroll` again — and never stopped. The decision is a pure function
+ * here so that cycle is refused where it can be tested without a browser.
+ */
+export declare function railWindowTarget(row: number, start: number, count: number, total: number): number | null;
+//# sourceMappingURL=host.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"host.d.ts","sourceRoot":"","sources":["../../src/workspace/host.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,KAAK,SAAS,EAA4B,MAAM,kBAAkB,CAAC;AAC5E,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAG1F,OAAO,EAAE,KAAK,WAAW,EAAoC,MAAM,oBAAoB,CAAC;AACxF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAEpD,OAAO,EAAuB,KAAK,UAAU,EAAgB,MAAM,sBAAsB,CAAC;AAC1F,OAAO,EAEL,KAAK,kBAAkB,EAIxB,MAAM,gBAAgB,CAAC;AAExB,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,4EAA4E;IAC5E,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,wDAAwD;IACxD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,qEAAqE;IACrE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,2EAA2E;IAC3E,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC;CAC7B;AAED,eAAO,MAAM,kBAAkB,EAAE,SAS/B,CAAC;AAEH;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC/C;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACrC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACrC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;CAAE,CAAC;AAE/E,gEAAgE;AAChE,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAAE,GAC3D;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAExC,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;CACzC;AA2KD,4EAA4E;AAC5E,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,GAAG,UAAU,CAuCtG;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,GAAG,SAAS,CAiBlF;AAED,yFAAyF;AACzF,wBAAgB,aAAa,CAC3B,MAAM,EAAE,SAAS,WAAW,EAAE,EAC9B,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,KAAK,SAAI,GACR,SAAS,WAAW,EAAE,CAOxB;AAED,wFAAwF;AACxF,eAAO,MAAM,KAAK,EAAE,SAAS,SAAS,EAAgB,CAAC;AAEvD,mGAAmG;AACnG,eAAO,MAAM,UAAU,KAAK,CAAC;AAE7B;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAElD;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAOxG"}

package/dist/workspace/host.js

@@ -0,0 +1,316 @@
+/**
+ * The workspace's host reducer — every decision a mount makes, with no DOM.
+ *
+ * `renderWorkspace` renders and publishes: each control says what it does as
+ * `data-ig-command`, and the viewer publishes its two identities, `data-ig-key`
+ * and `data-ig-group`. This file is the DECISIONS a mount takes on reading
+ * them. The shell in `mount.ts` reads the DOM and turns what it saw into a
+ * {@link HostCommand}; this file turns the command into the next state and a
+ * list of {@link HostEffect}s the shell then performs against the store.
+ *
+ * It composes the package's own reducers — `selectionReducer`, `scaleReducer`,
+ * `createReducer`, `pickerView` — and adds only what those leave to a mount:
+ * which one selection is shared, when the create draft begins and ends, the
+ * rail's scroll offset, and the drag that turns a canvas drop into a draft.
+ * Nothing here reaches a node, so all of it runs under `node --test` with no
+ * DOM, which is the property the package's other reducers are shaped for and
+ * the reason this is not written into listeners.
+ *
+ * ## Lifted from the demo, and why
+ *
+ * This was the demo's `host.ts`, written once for that page. A second host
+ * re-implemented it from scratch and re-ran the review rounds that shaped it;
+ * the design kit's layer rule puts the interaction shell in layer 2, not in
+ * the host. What stayed behind in the demo is exactly what was demo-shaped:
+ * the theme switch, the armed dispatch outcome, and the sandbox reset — none
+ * of which a host reducer should know about, and each of which the demo now
+ * handles beside the mount rather than through it.
+ */
+import { EDGE_FIELDS, isEdgeField } from '@issuegraph/core';
+import { findEdge } from '@issuegraph/store';
+import { IDLE_CREATE_DRAFT, createReducer } from "../create/draft.js";
+import { pickerView } from "../picker/view.js";
+import { INITIAL_SCALE_STATE, scaleReducer } from "../scale/commands.js";
+import { INITIAL_SELECTION, selectedEdgeId, selectedKey, selectionReducer, } from "./selection.js";
+export const INITIAL_HOST_STATE = Object.freeze({
+    selection: INITIAL_SELECTION,
+    scale: INITIAL_SCALE_STATE,
+    auditFiltered: false,
+    railStart: 0,
+    draft: IDLE_CREATE_DRAFT,
+    targetQuery: '',
+    drag: null,
+    drop: null,
+});
+function settled(state) {
+    return { state, effects: [] };
+}
+/** A draft step: apply the create reducer, and emit the proposal it completes. */
+function drafted(state, command) {
+    const result = createReducer(state.draft, command);
+    if (result.proposal === null) {
+        // BEGINNING A DRAFT SELECTS ITS SOURCE. The inspector draws the picker for
+        // a selected edge ahead of any draft, so a draft begun by R from a focused
+        // row while an edge stayed selected would render behind the picker and
+        // could never reach its target search. One selection, and it is the
+        // draft's subject — the same rule the canvas drop already applies.
+        const selection = command.kind === 'begin' ? { kind: 'issue', key: command.source } : state.selection;
+        // A CANCEL CLEARS THE DRAFT'S CHROME TOO — the drop point a canvas chooser
+        // was placed at and the query typed into the target search — exactly as
+        // the explicit cancel control does. Escape reaches here through the key
+        // map, and a draft begun afterwards must not open at the old drop point
+        // or with the old query already in the box.
+        const chrome = command.kind === 'cancel' ? { targetQuery: '', drop: null } : {};
+        return settled({ ...state, draft: result.draft, selection, ...chrome });
+    }
+    return {
+        state: { ...state, draft: IDLE_CREATE_DRAFT, targetQuery: '', drop: null },
+        effects: [{ kind: 'propose', proposal: result.proposal }],
+    };
+}
+/** A pointer on an issue: a target while one is being chosen, a selection otherwise. */
+function pointed(state, key) {
+    const choosingTarget = state.draft.kind !== null && state.draft.target === null;
+    if (choosingTarget && key !== state.draft.source) {
+        return drafted(state, { kind: 'target', ref: key });
+    }
+    return settled({
+        ...state,
+        selection: selectionReducer(state.selection, { kind: 'select-issue', key }),
+    });
+}
+function selectEdge(state, edgeId) {
+    return settled({
+        ...state,
+        selection: selectionReducer(state.selection, { kind: 'select-edge', edgeId }),
+        draft: IDLE_CREATE_DRAFT,
+        targetQuery: '',
+        drop: null,
+    });
+}
+/** The retype and flip proposals come from the picker's own view, never built here. */
+function pickerProposal(document, edgeId, choice) {
+    const view = pickerView(document, edgeId);
+    if (choice.kind === 'flip')
+        return view.flip?.proposal ?? null;
+    return view.options.find((option) => option.kind === choice.field && !option.current)?.proposal ?? null;
+}
+function controlled(state, name, target, value, document) {
+    const edgeId = selectedEdgeId(state.selection);
+    switch (name) {
+        // --- the package's own commands ---
+        case 'select-edge':
+            return target === undefined ? settled(state) : selectEdge(state, target);
+        case 'select-issue':
+            // THE HOLDER DEEP LINK. The inspector publishes a hold's subject — the
+            // open blocker, the claimed peer — as this control, so a reader can reach
+            // the issue holding the one they are looking at. It is a pointer on that
+            // issue, with a pointer's rules: a selection, or the target of a draft.
+            return target === undefined ? settled(state) : pointed(state, target);
+        case 'clear':
+            return settled({
+                ...state,
+                selection: INITIAL_SELECTION,
+                draft: IDLE_CREATE_DRAFT,
+                targetQuery: '',
+                drop: null,
+            });
+        case 'focus':
+            return target === undefined
+                ? settled(state)
+                : settled({ ...state, scale: scaleReducer(state.scale, { kind: 'focus', key: target }) });
+        case 'clear-focus':
+            return settled({ ...state, scale: scaleReducer(state.scale, { kind: 'clear-focus' }) });
+        case 'search':
+            return settled({
+                ...state,
+                scale: scaleReducer(state.scale, { kind: 'search', query: value ?? '' }),
+            });
+        case 'open-isolated':
+            return settled({ ...state, scale: scaleReducer(state.scale, { kind: 'open-isolated' }) });
+        case 'close-isolated':
+            return settled({ ...state, scale: scaleReducer(state.scale, { kind: 'close-isolated' }) });
+        case 'retype': {
+            if (edgeId === null || value === undefined || !isEdgeField(value))
+                return settled(state);
+            const proposal = pickerProposal(document, edgeId, { kind: 'retype', field: value });
+            return proposal === null ? settled(state) : { state, effects: [{ kind: 'propose', proposal }] };
+        }
+        case 'flip': {
+            if (edgeId === null)
+                return settled(state);
+            const proposal = pickerProposal(document, edgeId, { kind: 'flip' });
+            return proposal === null ? settled(state) : { state, effects: [{ kind: 'propose', proposal }] };
+        }
+        case 'dismiss-change':
+            return { state, effects: [{ kind: 'dismiss-change' }] };
+        // --- the mount's chrome ---
+        case 'audit-filter':
+            return settled({ ...state, auditFiltered: !state.auditFiltered });
+        case 'add': {
+            const source = selectedKey(state.selection);
+            return source === null ? settled(state) : drafted(state, { kind: 'begin', source });
+        }
+        case 'kind':
+            return value === undefined || !isEdgeField(value)
+                ? settled(state)
+                : drafted(state, { kind: 'type', edgeKind: value });
+        case 'target-query':
+            return settled({ ...state, targetQuery: value ?? '' });
+        case 'target':
+            return target === undefined ? settled(state) : drafted(state, { kind: 'target', ref: target });
+        case 'cancel':
+            return settled({ ...state, draft: IDLE_CREATE_DRAFT, targetQuery: '', drop: null });
+        case 'delete':
+            return edgeId === null
+                ? settled(state)
+                : { state, effects: [{ kind: 'propose', proposal: { op: 'delete', edgeId } }] };
+        case 'retry':
+            return target === undefined ? settled(state) : { state, effects: [{ kind: 'retry', mutationId: target }] };
+        case 'discard':
+            return target === undefined
+                ? settled(state)
+                : { state, effects: [{ kind: 'discard', mutationId: target }] };
+        default:
+            // A COMMAND THIS REDUCER DOES NOT KNOW CHANGES NOTHING. A host's own
+            // chrome may publish commands on the same attribute — the demo's theme
+            // switch does — and those are the host's to read from its own listener,
+            // never a reason for this reducer to guess.
+            return settled(state);
+    }
+}
+function intended(state, intent) {
+    switch (intent.kind) {
+        case 'none':
+        // `T` opens the picker; the picker is already drawn whenever an edge is
+        // selected, so there is nothing to change.
+        case 'retype':
+            return settled(state);
+        case 'create':
+            return drafted(state, intent.command);
+        case 'propose':
+            return { state, effects: [{ kind: 'propose', proposal: intent.proposal }] };
+    }
+}
+/** The one reducer. `document` is the landed document, for edge lookups. */
+export function reduceHost(state, command, document) {
+    switch (command.kind) {
+        case 'point':
+            return pointed(state, command.key);
+        case 'group': {
+            // A mark names either an edge (its store identity) or a slot (its lead).
+            // A MARK NAMING NEITHER CHANGES NOTHING. The canvas draws an edge the
+            // store has not landed yet — a pending create carries a mark from the
+            // moment it is proposed — and its identity is in no landed document and
+            // is no issue key. Falling through to `pointed` would select that
+            // identity as an issue, or worse, commit it as a draft's target.
+            if (findEdge(document, command.id) !== undefined)
+                return selectEdge(state, command.id);
+            if (document.issues.some((issue) => issue.ref === command.id))
+                return pointed(state, command.id);
+            return settled(state);
+        }
+        case 'control':
+            return controlled(state, command.name, command.target, command.value, document);
+        case 'intent':
+            return intended(state, command.intent);
+        case 'scroll':
+            return settled({ ...state, railStart: Math.max(0, Math.floor(command.start)) });
+        case 'drag-start':
+            return settled({ ...state, drag: command.key });
+        case 'drop': {
+            const source = state.drag;
+            const released = { ...state, drag: null };
+            if (source === null || command.key === null || command.key === source)
+                return settled(released);
+            // A drop is the canvas path's first two facts at once: source, then
+            // target. The kind is still to be gathered, at the drop point.
+            const begun = createReducer(IDLE_CREATE_DRAFT, { kind: 'begin', source });
+            const targeted = createReducer(begun.draft, { kind: 'target', ref: command.key });
+            return settled({
+                ...released,
+                draft: targeted.draft,
+                drop: command.at,
+                selection: selectionReducer(INITIAL_SELECTION, { kind: 'select-issue', key: source }),
+            });
+        }
+    }
+}
+/**
+ * Bring the state back into agreement with a document that moved under it.
+ *
+ * The store re-renders on every landed write, and a write can remove what the
+ * state names: a retype or a flip gives the edge a NEW identity, a delete
+ * removes it, and a conflict's rehydrate can drop an issue a draft was aimed
+ * at. A selection naming an edge the document no longer carries would leave
+ * the inspector showing a picker for nothing — the viewer already refuses a
+ * stale selection the same way, so the host does too, from the document
+ * rather than from memory of what it just proposed.
+ */
+export function reconcileHost(state, document) {
+    const edgeId = selectedEdgeId(state.selection);
+    const selection = edgeId !== null && findEdge(document, edgeId) === undefined ? INITIAL_SELECTION : state.selection;
+    const issueKey = selectedKey(state.selection);
+    const known = new Set(document.issues.map((issue) => issue.ref));
+    const draftStands = (state.draft.source === null || known.has(state.draft.source)) &&
+        (state.draft.target === null || known.has(state.draft.target));
+    if (selection === state.selection && draftStands && (issueKey === null || known.has(issueKey))) {
+        return state;
+    }
+    return {
+        ...state,
+        selection: issueKey !== null && !known.has(issueKey) ? INITIAL_SELECTION : selection,
+        ...(draftStands ? {} : { draft: IDLE_CREATE_DRAFT, targetQuery: '', drop: null }),
+    };
+}
+/** The issues a target search offers, by reference or title, never the source itself. */
+export function targetMatches(issues, query, source, limit = 8) {
+    const needle = query.trim().toLowerCase();
+    if (needle === '')
+        return [];
+    return issues
+        .filter((issue) => issue.ref !== source)
+        .filter((issue) => issue.ref.includes(needle) || issue.title.toLowerCase().includes(needle))
+        .slice(0, limit);
+}
+/** The edge kinds, in the format's order — the keyboard path's `1`–`5` is this list. */
+export const KINDS = EDGE_FIELDS;
+/** How far the reader may scroll into the rail window before it is re-cut around them, in rows. */
+export const RAIL_SLACK = 20;
+/**
+ * The slack a window of `count` rows actually gets: `RAIL_SLACK`, bounded to a
+ * quarter of the window and never below one row. A slack as wide as the window
+ * re-cut a small window onto its own start — ArrowDown on the last drawn row
+ * computed `offset - slack` at or below the current start, dispatched it
+ * unchanged, and keyboard navigation could not leave the first window.
+ */
+export function railSlackFor(count) {
+    return Math.min(RAIL_SLACK, Math.max(1, Math.floor(count / 4)));
+}
+/**
+ * Where the rail window should be re-cut for a scroll position, or `null` when
+ * it should stay where it is.
+ *
+ * `row` is the first visible row (scroll offset over pitch), `start` the
+ * window's current first slot, `count` the window's size and `total` the rows
+ * in the order. Inside the window's slack band nothing moves. Outside it, the
+ * window is re-cut `RAIL_SLACK` rows above the reader, clamped to the order.
+ *
+ * THE CLAMP CAN LAND ON THE CURRENT START, AND THAT CASE MUST ANSWER `null`.
+ * At the end of a long order the window is already pinned to its last start
+ * while the reader is deep inside it, so every scroll position there is
+ * "outside the band" and clamps back to the same start. A shell that
+ * dispatched that as a change redrew, restored the scroll offset — which
+ * fires `scroll` again — and never stopped. The decision is a pure function
+ * here so that cycle is refused where it can be tested without a browser.
+ */
+export function railWindowTarget(row, start, count, total) {
+    const slack = railSlackFor(count);
+    const offset = row - start;
+    if (offset >= 0 && offset <= count - slack * 2)
+        return null;
+    const lastStart = Math.max(0, total - count);
+    const next = Math.min(lastStart, Math.max(0, Math.floor(row) - slack));
+    return next === start ? null : next;
+}
+//# sourceMappingURL=host.js.map

package/dist/workspace/host.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"host.js","sourceRoot":"","sources":["../../src/workspace/host.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAkB,WAAW,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE5E,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAoB,iBAAiB,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGxF,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,mBAAmB,EAAmB,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAC1F,OAAO,EACL,iBAAiB,EAEjB,cAAc,EACd,WAAW,EACX,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AAiBxB,MAAM,CAAC,MAAM,kBAAkB,GAAc,MAAM,CAAC,MAAM,CAAC;IACzD,SAAS,EAAE,iBAAiB;IAC5B,KAAK,EAAE,mBAAmB;IAC1B,aAAa,EAAE,KAAK;IACpB,SAAS,EAAE,CAAC;IACZ,KAAK,EAAE,iBAAiB;IACxB,WAAW,EAAE,EAAE;IACf,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;CACX,CAAC,CAAC;AAqCH,SAAS,OAAO,CAAC,KAAgB;IAC/B,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AAChC,CAAC;AAED,kFAAkF;AAClF,SAAS,OAAO,CACd,KAAgB,EAChB,OAA4C;IAE5C,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACnD,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC7B,2EAA2E;QAC3E,2EAA2E;QAC3E,uEAAuE;QACvE,oEAAoE;QACpE,mEAAmE;QACnE,MAAM,SAAS,GACb,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC;QACtF,2EAA2E;QAC3E,wEAAwE;QACxE,wEAAwE;QACxE,wEAAwE;QACxE,4CAA4C;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,OAAO,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO;QACL,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE;QAC1E,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED,wFAAwF;AACxF,SAAS,OAAO,CAAC,KAAgB,EAAE,GAAW;IAC5C,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC;IAChF,IAAI,cAAc,IAAI,GAAG,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACjD,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,OAAO,CAAC;QACb,GAAG,KAAK;QACR,SAAS,EAAE,gBAAgB,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC;KAC5E,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CAAC,KAAgB,EAAE,MAAc;IAClD,OAAO,OAAO,CAAC;QACb,GAAG,KAAK;QACR,SAAS,EAAE,gBAAgB,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;QAC7E,KAAK,EAAE,iBAAiB;QACxB,WAAW,EAAE,EAAE;QACf,IAAI,EAAE,IAAI;KACX,CAAC,CAAC;AACL,CAAC;AAED,uFAAuF;AACvF,SAAS,cAAc,CACrB,QAAuB,EACvB,MAAc,EACd,MAA0F;IAE1F,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC1C,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,QAAQ,IAAI,IAAI,CAAC;IAC/D,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,IAAI,IAAI,CAAC;AAC1G,CAAC;AAED,SAAS,UAAU,CACjB,KAAgB,EAChB,IAAY,EACZ,MAA0B,EAC1B,KAAyB,EACzB,QAAuB;IAEvB,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC/C,QAAQ,IAAI,EAAE,CAAC;QACb,qCAAqC;QACrC,KAAK,aAAa;YAChB,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC3E,KAAK,cAAc;YACjB,uEAAuE;YACvE,0EAA0E;YAC1E,yEAAyE;YACzE,wEAAwE;YACxE,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACxE,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;gBACb,GAAG,KAAK;gBACR,SAAS,EAAE,iBAAiB;gBAC5B,KAAK,EAAE,iBAAiB;gBACxB,WAAW,EAAE,EAAE;gBACf,IAAI,EAAE,IAAI;aACX,CAAC,CAAC;QACL,KAAK,OAAO;YACV,OAAO,MAAM,KAAK,SAAS;gBACzB,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;gBAChB,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9F,KAAK,aAAa;YAChB,OAAO,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1F,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC;gBACb,GAAG,KAAK;gBACR,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;aACzE,CAAC,CAAC;QACL,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5F,KAAK,gBAAgB;YACnB,OAAO,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7F,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC;gBAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;YACzF,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;YACpF,OAAO,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QAClG,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;YAC3C,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;YACpE,OAAO,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QAClG,CAAC;QACD,KAAK,gBAAgB;YACnB,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC;QAE1D,6BAA6B;QAC7B,KAAK,cAAc;YACjB,OAAO,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC;QACpE,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC5C,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;QACtF,CAAC;QACD,KAAK,MAAM;YACT,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC;gBAC/C,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;gBAChB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACxD,KAAK,cAAc;YACjB,OAAO,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC;QACzD,KAAK,QAAQ;YACX,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;QACjG,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACtF,KAAK,QAAQ;YACX,OAAO,MAAM,KAAK,IAAI;gBACpB,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;gBAChB,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC;QACpF,KAAK,OAAO;YACV,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QAC7G,KAAK,SAAS;YACZ,OAAO,MAAM,KAAK,SAAS;gBACzB,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;gBAChB,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QACpE;YACE,qEAAqE;YACrE,uEAAuE;YACvE,wEAAwE;YACxE,4CAA4C;YAC5C,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,KAAgB,EAAE,MAAiB;IACnD,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM,CAAC;QACZ,wEAAwE;QACxE,2CAA2C;QAC3C,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;QACxB,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;QACxC,KAAK,SAAS;YACZ,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC;IAChF,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,UAAU,CAAC,KAAgB,EAAE,OAAoB,EAAE,QAAuB;IACxF,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QACrC,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,yEAAyE;YACzE,sEAAsE;YACtE,sEAAsE;YACtE,wEAAwE;YACxE,kEAAkE;YAClE,iEAAiE;YACjE,IAAI,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC,KAAK,SAAS;gBAAE,OAAO,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;YACvF,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,OAAO,CAAC,EAAE,CAAC;gBAAE,OAAO,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;YACjG,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;QACxB,CAAC;QACD,KAAK,SAAS;YACZ,OAAO,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAClF,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QACzC,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAClF,KAAK,YAAY;YACf,OAAO,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;QAClD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC;YAC1B,MAAM,QAAQ,GAAG,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YAC1C,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,CAAC,GAAG,KAAK,IAAI,IAAI,OAAO,CAAC,GAAG,KAAK,MAAM;gBAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAC;YAChG,oEAAoE;YACpE,+DAA+D;YAC/D,MAAM,KAAK,GAAG,aAAa,CAAC,iBAAiB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;YAC1E,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;YAClF,OAAO,OAAO,CAAC;gBACb,GAAG,QAAQ;gBACX,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,IAAI,EAAE,OAAO,CAAC,EAAE;gBAChB,SAAS,EAAE,gBAAgB,CAAC,iBAAiB,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;aACtF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CAAC,KAAgB,EAAE,QAAuB;IACrE,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC/C,MAAM,SAAS,GACb,MAAM,KAAK,IAAI,IAAI,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC;IACpG,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACjE,MAAM,WAAW,GACf,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC9D,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,IAAI,SAAS,KAAK,KAAK,CAAC,SAAS,IAAI,WAAW,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC/F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO;QACL,GAAG,KAAK;QACR,SAAS,EAAE,QAAQ,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS;QACpF,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;KAClF,CAAC;AACJ,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,aAAa,CAC3B,MAA8B,EAC9B,KAAa,EACb,MAAqB,EACrB,KAAK,GAAG,CAAC;IAET,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC1C,IAAI,MAAM,KAAK,EAAE;QAAE,OAAO,EAAE,CAAC;IAC7B,OAAO,MAAM;SACV,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,MAAM,CAAC;SACvC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;SAC3F,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACrB,CAAC;AAED,wFAAwF;AACxF,MAAM,CAAC,MAAM,KAAK,GAAyB,WAAW,CAAC;AAEvD,mGAAmG;AACnG,MAAM,CAAC,MAAM,UAAU,GAAG,EAAE,CAAC;AAE7B;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,KAAa;IACxC,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAW,EAAE,KAAa,EAAE,KAAa,EAAE,KAAa;IACvF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC;IAC3B,IAAI,MAAM,IAAI,CAAC,IAAI,MAAM,IAAI,KAAK,GAAG,KAAK,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;IACvE,OAAO,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACtC,CAAC"}

package/dist/workspace/mount.d.ts

@@ -0,0 +1,139 @@
+/**
+ * The workspace's DOM shell — the only module in this package that touches
+ * nodes.
+ *
+ * `renderWorkspace` renders the three-zone workspace as markup and publishes
+ * every control as `data-ig-command`; `@issuegraph/viewer` publishes its two
+ * identities, `data-ig-key` and `data-ig-group`. A mount reads those, reduces,
+ * and renders again — and that loop is this file. What it DECIDES lives in
+ * `host.ts`, as a reducer with no DOM, so this file is left with listeners, an
+ * `innerHTML` assignment, and the chrome the panels leave to a mount: the add
+ * button, the kind chooser, the target search, the delete button.
+ *
+ * ## Lifted from the demo, in the viewer's shape
+ *
+ * This was the demo's `workspace.ts`, written once for that page. The viewer
+ * made the opposite call for the same problem — it exports `mountViewer` with
+ * `update` and `destroy` — and that is the entry point a typed host actually
+ * consumes. It took nine review rounds to get this shell right, and every
+ * finding was in the shell, none in the reducer; a second host would have
+ * re-run them. So the shell ships, in the viewer's shape: one function, one
+ * handle, and a container it touches and nothing else.
+ *
+ * ## `innerHTML`, and why it is not the thing `render.ts` refused
+ *
+ * Nothing in this file interpolates host text into markup. What IS assigned as
+ * markup is the package's own rendered output, which `renderMarkup` escaped —
+ * the exact bytes a server-rendered host would send. The chrome beside it is
+ * built with `createElement` and `textContent`, so the two disciplines meet at
+ * the seam rather than mixing.
+ *
+ * ## One listener per event, at the root
+ *
+ * The workspace is re-rendered on every change, so a listener attached to a
+ * rendered node dies with it. Delegation at the root is what makes the loop
+ * cheap to reason about: one `click`, one `input`, one `keydown`, one scroll
+ * (captured, because scroll does not bubble), and the three pointer events the
+ * canvas drag needs.
+ *
+ * ## It reaches no global
+ *
+ * The document comes from the element the caller passed, which is what keeps
+ * this module importable on a runtime that has no DOM — the property
+ * `purity.test.ts` measures. An element is recognised by what it can do rather
+ * than by `instanceof` against a constructor this module would have to reach
+ * for, and a pointer release outside the element is heard on the element's own
+ * document rather than on a window.
+ */
+import type { Store, StoreSnapshot } from '@issuegraph/store';
+import { type Theme, type ViewerDocument } from '@issuegraph/viewer';
+import type { AuditInput } from '../audit/findings.ts';
+import type { PickerWords } from '../picker/words.ts';
+import { type HostCommand, type HostState } from './host.ts';
+import { type WorkspaceWords } from './render.ts';
+/** What the canvas zone draws: the editor's scale ladder, or the viewer's tree projection. */
+export declare const CANVAS_MODES: readonly ["neighbourhood", "tree"];
+export type CanvasMode = (typeof CANVAS_MODES)[number];
+/**
+ * The words the mount's chrome needs on top of the workspace's own.
+ *
+ * Required, for the reason `WorkspaceWords` gives: this package does not
+ * invent an English sentence, and a default would be one. `picker` is the
+ * picker's vocabulary, which the mount draws for a selected edge; `keys` is
+ * the one optional entry, because a host may prefer to document the keyboard
+ * elsewhere.
+ */
+export interface MountWords extends WorkspaceWords {
+    readonly picker: PickerWords;
+    /** The control that begins a relationship from the selected issue. */
+    readonly addRelationship: string;
+    /** The control that proposes deleting the selected edge. */
+    readonly deleteRelationship: string;
+    /** The control that returns a draft to idle. */
+    readonly cancel: string;
+    /** The chooser's sentence tail while no target is known yet. */
+    readonly chooseKind: string;
+    /** The target search's accessible name. */
+    readonly targetLabel: string;
+    /** The target search's placeholder. */
+    readonly targetPlaceholder: string;
+    /** A one-line key legend under the inspector, when the host wants one drawn. */
+    readonly keys?: string | undefined;
+}
+/**
+ * What the host projects a store snapshot onto.
+ *
+ * The viewer derives nothing — the order, the holds and the provenance are all
+ * inputs — and the audit reads a graph the host built, so both come from the
+ * host's projection rather than from anything this mount could compute. An
+ * absent `audit` means "not run", which the workspace renders as no header.
+ */
+export interface WorkspaceProjection {
+    readonly viewer: ViewerDocument;
+    readonly audit?: AuditInput | undefined;
+}
+export interface MountWorkspaceOptions {
+    /**
+     * The store the host built, with its own `DataSource` and `OrderDeriver`.
+     * Fixed for the life of the mount; a host that swaps stores destroys and
+     * mounts again. Hydration is the host's: the mount subscribes and redraws on
+     * every notification, so a `hydrate()` before or after mounting both land.
+     */
+    readonly store: Store;
+    /** The host's projection of a snapshot — the landed document is `{ issues, edges: landed }`. */
+    readonly project: (snapshot: StoreSnapshot) => WorkspaceProjection;
+    readonly words: MountWords;
+    readonly theme?: Theme | undefined;
+    /** The selector the theme's custom properties are written onto. */
+    readonly themeSelector?: string | undefined;
+    readonly canvas?: CanvasMode | undefined;
+    /** How many rail rows are drawn per window. Wider than the package default so a scroll rarely lands past the drawn rows. */
+    readonly railCount?: number | undefined;
+}
+/** What `update` may change. The store is not among them — see {@link MountWorkspaceOptions.store}. */
+export type WorkspaceUpdate = Partial<Omit<MountWorkspaceOptions, 'store'>>;
+export interface WorkspaceHandle {
+    /** Take new options, redraw in place, keep the selection and the focus. */
+    update(options?: WorkspaceUpdate): void;
+    /**
+     * Hand the mount a command from the host's own chrome.
+     *
+     * A host draws controls the mount does not — the demo's writes log, with its
+     * retry and discard buttons — outside the mounted element, and this is how
+     * those reach the one reducer rather than a second copy of it.
+     */
+    dispatch(command: HostCommand): void;
+    readonly state: HostState;
+    /** Remove every listener this handle added and the nodes it built. */
+    destroy(): void;
+}
+/** The package default: wide enough that a scroll rarely lands past the drawn rows. */
+export declare const MOUNT_RAIL_COUNT = 80;
+/**
+ * Mount the workspace into an element.
+ *
+ * Returns a handle rather than nothing, for the viewer's reason: a host that
+ * cannot tear this down leaks a listener on every re-render.
+ */
+export declare function mountWorkspace(element: HTMLElement, options: MountWorkspaceOptions): WorkspaceHandle;
+//# sourceMappingURL=mount.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"mount.d.ts","sourceRoot":"","sources":["../../src/workspace/mount.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAGH,OAAO,KAAK,EAA2B,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACvF,OAAO,EAEL,KAAK,KAAK,EACV,KAAK,cAAc,EAIpB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAOvD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAGtD,OAAO,EACL,KAAK,WAAW,EAEhB,KAAK,SAAS,EAQf,MAAM,WAAW,CAAC;AAEnB,OAAO,EAAE,KAAK,cAAc,EAAmB,MAAM,aAAa,CAAC;AAGnE,8FAA8F;AAC9F,eAAO,MAAM,YAAY,oCAAoD,CAAC;AAC9E,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD;;;;;;;;GAQG;AACH,MAAM,WAAW,UAAW,SAAQ,cAAc;IAChD,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,sEAAsE;IACtE,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,4DAA4D;IAC5D,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,gDAAgD;IAChD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,gEAAgE;IAChE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,2CAA2C;IAC3C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,uCAAuC;IACvC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,gFAAgF;IAChF,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACpC;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,GAAG,SAAS,CAAC;CACzC;AAED,MAAM,WAAW,qBAAqB;IACpC;;;;;OAKG;IACH,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,gGAAgG;IAChG,QAAQ,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,aAAa,KAAK,mBAAmB,CAAC;IACnE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC;IACnC,mEAAmE;IACnE,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5C,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,GAAG,SAAS,CAAC;IACzC,4HAA4H;IAC5H,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACzC;AAED,uGAAuG;AACvG,MAAM,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,qBAAqB,EAAE,OAAO,CAAC,CAAC,CAAC;AAE5E,MAAM,WAAW,eAAe;IAC9B,2EAA2E;IAC3E,MAAM,CAAC,OAAO,CAAC,EAAE,eAAe,GAAG,IAAI,CAAC;IACxC;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,sEAAsE;IACtE,OAAO,IAAI,IAAI,CAAC;CACjB;AAED,uFAAuF;AACvF,eAAO,MAAM,gBAAgB,KAAK,CAAC;AA0CnC;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,qBAAqB,GAAG,eAAe,CAgxBpG"}