@barocss/math-editor 0.2.1 → 0.4.0

package/README.md

@@ -1,34 +1,72 @@
 # @barocss/math-editor
 
-See the [JSON model specification](JSON-MODEL.md) for required fields, exact slot order, invariants and persistence limits.
+An embeddable math editor for writing LaTeX-compatible formulas. Edit expressions in place, select existing math, and wrap it in fractions, roots, powers or delimiters. The package includes a framework-independent model, a rich React editor, and a native DOM editor with framework adapters.
 
+**Release:** core **0.4.0**, with nine host editor plugins at **0.1.0**. This editor does not calculate, solve equations or parse arbitrary LaTeX.
 
-## Framework-specific API guides
+## Editing additions in 0.4.0
 
-[Pure JavaScript](API-JAVASCRIPT.md) · [React](API-REACT.md) · [Web Component](API-WEB-COMPONENT.md) · [Vue 3](API-VUE.md) · [Svelte](API-SVELTE.md) · [Solid](API-SOLID.md) · [Session and DOM API](API-SESSION.md)
+The native renderer now edits one lexical token at a time, matching the main React field's role colors. New utilities provide **Paste as LaTeX** (Alt+Shift+V), **Recent & favorites** for symbols/templates, and contextual **bracket, fraction-size and limit-placement settings**. These utilities are included in 0.4.0. See [editing utilities and API](API-SESSION.md#editing-utilities--workspace).
 
-Each guide covers installation, a complete integration, document replacement, saving, lifecycle cleanup and host limitations.
+## Packages
 
+Choose the core package for a standalone math field. Choose one additional host package to embed that field in an existing editor. The host packages share the same math model, parser, suggestions and toolbar. Each requires the core and its own host SDK as peer dependencies.
 
-An embeddable math editor with a framework-independent model, an existing rich React UI, and a new native DOM surface for pure JavaScript, Web Components, Vue, Svelte, Solid and React. Write expressions in place, select existing math, and wrap it in fractions, roots, powers or delimiters. The demo includes a live KaTeX preview.
+| Package | Purpose | Formula placement | Release status |
+| --- | --- | --- | --- |
+| `@barocss/math-editor` | Math model, LaTeX import/export, editor, toolbar and framework adapters | Standalone, inline or multiline | 0.4.0; MIT |
+| `@barocss/math-editor-tiptap` | Tiptap node extension | Inline and block | 0.1.0; MIT |
+| `@barocss/math-editor-prosemirror` | ProseMirror schema, commands and node views | Inline and block | 0.1.0; MIT |
+| `@barocss/math-editor-lexical` | Lexical math node and registration | Inline and block | 0.1.0; MIT |
+| `@barocss/math-editor-editorjs` | Editor.js math Tool | Block | 0.1.0; MIT |
+| `@barocss/math-editor-tinymce` | TinyMCE plugin with in-place or panel editing | Inline and block | 0.1.0; MIT |
+| `@barocss/math-editor-ckeditor` | CKEditor 5 model objects and widgets | Inline and block | 0.1.0; MIT |
+| `@barocss/math-editor-quill` | Quill math embeds and registration | Inline and block | 0.1.0; MIT |
+| `@barocss/math-editor-slate` | Slate void elements and React rendering | Inline and block | 0.1.0; MIT |
+| `@barocss/math-editor-gutenberg` | WordPress Gutenberg math block | Block | 0.1.0; MIT |
+| `@barocss/math-editor-integrations` | Shared implementation used to build the nine host packages | Internal development | Private; not an install target |
 
-**Status:** working prototype, not yet a production-ready replacement for the math features in Note, Word or Slides. This package does not calculate, solve equations or parse arbitrary LaTeX.
+The host plugins require `@barocss/math-editor@^0.4.0`. The core and all nine host packages use the MIT license, with copyright attributed to barocss.com. Each package includes its own LICENSE file. Host SDKs retain their own licenses.
 
-See [framework adapters and inline/custom toolbar integration](ADAPTERS.md), [custom locales](LOCALIZATION.md), and [progress / roadmap](ROADMAP.md). The new native renderer has explicit parity gaps; existing React consumers keep their current UI.
+Each host package exports its adapter, `/shared` helpers and `/style.css`. Load the core stylesheet as well. Gutenberg also exports `/data` for its stored-data codec. Install only the host package you use; there is no public all-host bundle. Formula placement, keyboard entry, history and clipboard behavior depend on the host.
 
-For editor-only, external toolbar, LaTeX, preview, inline and popup compositions, see [Embedding](EMBEDDING.md) and `/layouts.html` in the demo.
+Host guides: [Tiptap](https://math-editor.barocss.com/docs/integrations/tiptap.html) · [ProseMirror](https://math-editor.barocss.com/docs/integrations/prosemirror.html) · [Lexical](https://math-editor.barocss.com/docs/integrations/lexical.html) · [Editor.js](https://math-editor.barocss.com/docs/integrations/editorjs.html) · [TinyMCE](https://math-editor.barocss.com/docs/integrations/tinymce.html) · [CKEditor 5](https://math-editor.barocss.com/docs/integrations/ckeditor.html) · [Quill](https://math-editor.barocss.com/docs/integrations/quill.html) · [Slate](https://math-editor.barocss.com/docs/integrations/slate.html) · [WordPress Gutenberg](https://math-editor.barocss.com/docs/integrations/gutenberg.html).
+
+The [unified host sample](https://math-editor.barocss.com/integrations/) includes all nine editors. During development, guides are served under `http://localhost:5184/docs/integrations/`, and the host sample runs on port 5185. Website deployment is separate from npm publication.
+
+## Framework adapters in the core package
+
+These are subpath exports of `@barocss/math-editor`, not separate npm packages.
+
+| Environment | Import | Guide |
+| --- | --- | --- |
+| Model and sessions without a UI | `@barocss/math-editor/core` | [Session API](https://math-editor.barocss.com/docs/api-session.html) |
+| Pure JavaScript | `@barocss/math-editor/dom` | [JavaScript](https://math-editor.barocss.com/docs/api-javascript.html) |
+| React | `@barocss/math-editor` for the rich UI; `/react` for the native DOM surface | [React](https://math-editor.barocss.com/docs/api-react.html) |
+| Web Component | `@barocss/math-editor/web-component` | [Web Component](https://math-editor.barocss.com/docs/api-web-component.html) |
+| Vue 3 | `@barocss/math-editor/vue` | [Vue](https://math-editor.barocss.com/docs/api-vue.html) |
+| Svelte | `@barocss/math-editor/svelte` | [Svelte](https://math-editor.barocss.com/docs/api-svelte.html) |
+| Solid | `@barocss/math-editor/solid` | [Solid](https://math-editor.barocss.com/docs/api-solid.html) |
+
+Each guide covers installation, document replacement, saving and lifecycle cleanup. See the [framework samples](https://math-editor.barocss.com/adapters.html) to try each environment, and the [JSON model specification](https://math-editor.barocss.com/docs/json-model.html) for the storage contract.
+
+See [framework adapters and inline/custom toolbar integration](https://math-editor.barocss.com/docs/adapters.html), [custom locales](https://math-editor.barocss.com/docs/localization.html), and [progress / roadmap](https://math-editor.barocss.com/docs/roadmap.html). The new native renderer has explicit parity gaps; existing React consumers keep their current UI.
+
+**Included in 0.4.0:** the native toolbar now includes searchable All symbols, templates, matrix presets and active-grid controls. Native ranges show exact partial-text highlights, and a drag can start in the active input and continue across structures. See [renderer parity](https://math-editor.barocss.com/docs/adapters.html#current-renderer-parity) for the remaining limits.
+
+For editor-only, external toolbar, LaTeX, preview, inline and popup compositions, see [Embedding](https://math-editor.barocss.com/docs/embedding.html) and the [layout examples](https://math-editor.barocss.com/layouts.html).
 
 ## Quick start
 
-Install version 0.2.1 from npm:
+Install version 0.4.0 from npm:
 
 ```sh
-npm install @barocss/math-editor@0.2.1
+npm install @barocss/math-editor@0.4.0
 # For the rich React UI:
 npm install react react-dom
 ```
 
-Import `@barocss/math-editor/style.css` once. Framework-free consumers use `/core` and `/dom`; each framework adapter has its own subpath. See [ADAPTERS.md](ADAPTERS.md).
+Import `@barocss/math-editor/style.css` once. Framework-free consumers use `/core` and `/dom`; each framework adapter has its own subpath. See [ADAPTERS.md](https://math-editor.barocss.com/docs/adapters.html).
 
 To develop the package and demo from this monorepo:
 
@@ -67,10 +105,11 @@ function Formula({ documentId, saved, save }: {
 | `defaultValue?: MathDocument` | Read on mount. Change the React `key` to open another document. This is not a controlled `value` prop. |
 | `locale?: MathLocale` | Defaults to `ko`. Changes UI text without resetting the document or undo history. |
 | `autoFocus?: boolean` | Start in the initial editable token. Defaults to `false`. |
-| `enterBehavior?: 'newline' | 'commit'` | `commit` calls `onCommit` on Enter after suggestions/selection handling; Shift+Enter retains normal row behavior. |
+| `enterBehavior?: 'newline' \| 'commit'` | `commit` calls `onCommit` on Enter after suggestions/selection handling; Shift+Enter retains normal row behavior. |
 | `onCommit?()` / `onCancel?()` | Host draft apply/cancel callbacks. Escape dismisses suggestions first; composition reserves its own keys. |
 | `showPopovers?: boolean` | Defaults to `true`. Set `false` while keeping the editor mounted in an inactive host tab; its undo history is preserved. |
-| `toolbar?: boolean` | Show the rich React toolbar panels; defaults to `true`. |
+| `toolbar?: boolean \| readonly StructureKind[]` | Show or filter rich React structure buttons; defaults to `true`. |
+| `toolbarMaxItems?: number` | Initially visible structure buttons; defaults to eight. |
 | `toolbarEnd?: ReactNode` | Host actions such as reset/save appended to the toolbar. |
 | `showTokenLegend?: boolean` | Show lexical color guidance; defaults to `true`. |
 | `showLineNumbers?: boolean` | Defaults to `true`. Displays UI-only line numbers when there are two or more top-level rows. Never included in the model, clipboard or LaTeX. |
@@ -84,19 +123,21 @@ Matching literal characters appear before editable structures and templates. For
 
 ## Editing flows
 
-Use **All symbols** to browse all 90 symbols without knowing a name in advance. Search by glyph, English/Korean name, alias or LaTeX command, then click to insert at the last caret or replace the model selection. Escape closes the browser. Search-field clipboard actions do not affect the formula.
+Use **All symbols** to browse the complete symbol catalog without knowing a name in advance. Search by glyph, English/Korean name, alias or LaTeX command, then click to insert at the last caret or replace the model selection. Escape closes the browser. Search-field clipboard actions do not affect the formula. The workspace native toolbar exposes this browser through More tools.
 
-- Type `x/`, then Enter: convert to a fraction and enter the denominator. `/`, `^` and `_` remain opt-in suggestions, not immediate structural conversions.
-- Type `matrix`, `identity`, `aligned` or `cases`, then choose a suggestion. Korean aliases work in both UI languages.
+- Type `x/`, choose Fraction, then Enter to enter its denominator. The literal `÷` candidate comes first. `/`, `^` and `_` remain opt-in suggestions, not immediate structural conversions.
+- Type `matrix`, `identity`, `aligned` or `cases`, then choose a suggestion. Korean aliases work in both UI languages. In the 0.4.0 release, type `rows x columns` without spaces, such as `2x1`, `1x2`, `3x7` or `4x4`. Each dimension can be 1–20. Suggestions offer an empty matrix and a zero matrix; square sizes also offer an identity matrix. Uppercase `X` and `×` also work. Enter accepts a suggestion; Space or Escape keeps the typed expression.
 - Type `30degree`, `30도` or `30각도`, then Enter to insert `30°` on the current line. `angle` inserts the separate symbol `∠`.
-- Search `reals`, `integers`, `setminus`, `parallel`, or their Korean names. [The complete catalog](./SUPPORT.md) lists every symbol and alias.
+- Search `reals`, `integers`, `setminus`, `parallel`, or their Korean names. [The complete catalog](https://math-editor.barocss.com/docs/support.html) lists every symbol and alias.
 - Use the template selector for zero matrices, column vectors, the quadratic formula and the Pythagorean theorem. Every part remains editable. Template insertion replaces a model selection if one is active; otherwise it inserts at the caret.
-- Click a token to edit it. Only the current token mounts a native `input`; the others are ordinary elements. Blur switches to preview. Escape closes suggestions first, then returns to preview.
+- Click text to edit it. Rich React activates one lexical token; the native renderer activates a whole logical text run. Only that active text mounts an `input`. Blur switches to preview. Escape closes suggestions first, then returns to preview.
 - Drag to select math. The selection tools and main toolbar wrap it in a fraction, root, power, subscript, parentheses, brackets or absolute value. Fractions focus the denominator; powers/subscripts focus their new slot; roots/delimiters place the caret after the structure.
 - Complex power bases receive parentheses. Existing structured delimiters are preserved. This is a conservative display rule, not symbolic algebra.
 
 Variables, numeric literals and symbols use distinct colors. Classification is lexical: a letter named `c` or `e` is not automatically a declared constant. The model does not resolve names or binding scopes.
 
+Native passive text preserves these lexical colors; its whole active run still uses one role color. Precise selection highlights do not change that input granularity.
+
 ## Keyboard reference
 
 | Context | Key | Action |
@@ -104,6 +145,7 @@ Variables, numeric literals and symbols use distinct colors. Classification is l
 | Suggestions | Up / Down, Enter | Choose and apply; IME composition reserves these keys for the input method |
 | Any active slot | Tab / Shift+Tab | Traverse tokens and structural slots |
 | Token boundary | Left / Right | Move into a neighboring token or slot |
+| Fraction, scripts, indexed root or operator slots | Up / Down | Move to a related slot at the nearest rendered horizontal caret position |
 | Top-level row | Enter | Split the row, unless applying a suggestion |
 | Start of a later top-level row | Backspace | Join the previous row |
 | Grid | Up / Down | Move to the same column in the adjacent row |
@@ -115,19 +157,27 @@ Variables, numeric literals and symbols use distinct colors. Classification is l
 | Just after a fraction/root/delimiter | Backspace | Unwrap, preserving contents |
 | Outer grid edge | Backspace / Delete | Delete empty grid; select filled grid first, press again to delete |
 | Preview surface | Cmd/Ctrl+A | Select the whole math document |
-| Active input | Cmd/Ctrl+A | Select the current token text |
+| Active input | Cmd/Ctrl+A | Select the current input text: a React token or native logical run |
+| Editor | Shift+Left / Right | Extend or shrink the model range across text and balanced structures |
+| Editor | Shift+Up / Down | Extend the model range across top-level lines using logical offsets |
 | Preview surface | Enter / F2 | Enter editing |
 | Model selection | Cmd/Ctrl+C / X / V | Copy / cut / replace with clipboard contents |
 | Model selection | Backspace / Delete | Delete selection |
 | Editor | Cmd/Ctrl+Z / Cmd/Ctrl+Shift+Z | Undo / redo |
 
+Vertical arrows use the nearest inner structure before an enclosing grid, then fall back to another equation line. Paired scripts can move along their shared column; a base moves up to its superscript and down to its subscript. Suggestions retain arrow-key priority. Composition, literal text and noncollapsed text selections do not trigger structural movement. React and native surfaces share this behavior.
+
+The framework-free `moveVertical(state, direction, geometry?)` helper is exported from `/core`. Without rendered geometry, it selects the first text run in the target slot and clamps the current offset. At a lexical token boundary, rendered geometry distinguishes the previous token's end from the next token's start. Each move uses the current caret's horizontal position; a preferred column is not retained across repeated moves through shorter rows. Shift+arrow selection remains a separate operation.
+
 ## Selection and clipboard boundaries
 
-A range within one row preserves partial text and balanced structures. Selecting across a numerator and denominator expands to their common fraction; selecting across matrix cells expands to their common matrix. This is not a spreadsheet-style rectangular cell selection. Multiple document lines can be copied, replaced or deleted, but cannot be wrapped into a single structure.
+A range within one row preserves partial text and balanced structures. Selecting across a numerator and denominator expands to their common fraction; cross-cell pointer selection now creates a matrix rectangle in the workspace. A structural `MathRange` still expands to the common matrix; rectangular editing uses the separate `MathMatrixRange` contract. Multiple document lines can be copied, replaced or deleted, but cannot be wrapped into a single structure.
+
+Workspace native highlights now show the exact selected text endpoints. A drag inside the active input uses native text selection until it leaves the input; it can then continue as a model range across structures. These refinements are included in 0.4.0 and retain the same clipboard and balanced-structure rules.
 
 Internal copies include `application/x-barocss-math+json` and plain-text LaTeX. Paste validates the custom payload and generates fresh IDs. Plain external text is inserted literally; newlines become top-level rows. Multiple-line paste into a nested slot is rejected without changing the document. If a destination strips custom clipboard formats, pasting back provides text rather than reconstructed math.
 
-The demo's **Copy** button exports LaTeX only. Workspace builds also provide explicit bounded LaTeX import; see [the import contract](LATEX-SCOPE.md). Version 0.2.0 includes bounded LaTeX import. Ordinary clipboard text is still inserted literally.
+The demo's LaTeX Copy action exports source text; its separate sized PNG download/copy controls render the website preview. The library exports mathematical data and LaTeX, with no reusable SVG/PNG image-export API yet. Version 0.2.0 includes explicit bounded LaTeX import; see [the import contract](https://math-editor.barocss.com/docs/latex-scope.html). Ordinary clipboard text is still inserted literally.
 
 ## Model and package boundaries
 
@@ -158,12 +208,12 @@ pnpm --filter @barocss/math-demo test:e2e
 
 The demo consumes package exports from `dist`; rebuild the package before browser tests. Browser tests use Playwright Chromium and start port 5184 if needed. Actual OS Korean IME tests remain deferred at the user's request.
 
-- [Symbol / English / Korean name table](./SYMBOLS.md)
-- [LaTeX editing guide and upcoming notation](./LATEX-GUIDE.md)
-- [Supported formulas, templates and full symbol catalog](./SUPPORT.md)
-- [Implementation guide](./IMPLEMENTATION.md)
-- [Validation evidence and limitations](./VALIDATION.md)
-- [Roadmap and acceptance criteria](./ROADMAP.md)
+- [Symbol / English / Korean name table](https://math-editor.barocss.com/docs/symbols.html)
+- [LaTeX editing guide and upcoming notation](https://math-editor.barocss.com/docs/latex-guide.html)
+- [Supported formulas, templates and full symbol catalog](https://math-editor.barocss.com/docs/support.html)
+- [Implementation guide](https://math-editor.barocss.com/docs/implementation.html)
+- [Validation evidence and limitations](https://math-editor.barocss.com/docs/validation.html)
+- [Roadmap and acceptance criteria](https://math-editor.barocss.com/docs/roadmap.html)
 
 
 ## LaTeX loading (0.2.0)
@@ -180,12 +230,12 @@ if (result.ok) {
 }
 ```
 
-The shared contract is **editable structure ↔ exported LaTeX ↔ imported structure**, within the [documented limits](LATEX-SCOPE.md). It covers the current structure and symbol catalog, not arbitrary KaTeX input. Failed imports never modify a session. Framework adapters do not implement their own parsers. Use source editing as a fallback in hosts.
+The shared contract is **editable structure ↔ exported LaTeX ↔ imported structure**, within the [documented limits](https://math-editor.barocss.com/docs/latex-scope.html). It covers the current structure and symbol catalog, not arbitrary KaTeX input. Failed imports never modify a session. Framework adapters do not implement their own parsers. Use source editing as a fallback in hosts.
 
 
-During an existing edit, use `session.importLatex(source)` rather than resetting `defaultValue`: this preserves Undo/Redo and enforces inline policy. The rich React editor exposes `MathEditorHandle.importLatex` through `apiRef`; see [React import](API-REACT.md) and [shared session import](API-SESSION.md). Both paths use the same parser and fail without a partial update.
+During an existing edit, use `session.importLatex(source)` rather than resetting `defaultValue`: this preserves Undo/Redo and enforces inline policy. The rich React editor exposes `MathEditorHandle.importLatex` through `apiRef`; see [React import](https://math-editor.barocss.com/docs/api-react.html) and [shared session import](https://math-editor.barocss.com/docs/api-session.html). Both paths use the same parser and fail without a partial update.
 
-Workspace presentation refinements include aligned script bases, lining numerals and background-only token focus. See [implementation notes](IMPLEMENTATION.md#editing-typography-and-focus-2026-09-08-workspace), [supported notation](SUPPORT.md) and the [remaining LaTeX priorities](ROADMAP.md#remaining-latex-priorities-workspace-review-2026-09-08). These changes are included in 0.2.0.
+Workspace presentation refinements include aligned script bases, lining numerals and background-only token focus. See [implementation notes](https://math-editor.barocss.com/docs/implementation.html#editing-typography-and-focus-2026-09-08-workspace), [supported notation](https://math-editor.barocss.com/docs/support.html) and the [remaining LaTeX priorities](https://math-editor.barocss.com/docs/roadmap.html#remaining-latex-priorities-workspace-review-2026-09-08). These changes are included in 0.2.0.
 
 Workspace norm support: one editable body, shared double-bar fences, `norm`/`노름`/`||` suggestions, range wrapping and LaTeX import/export. The parser accepts short `\lVert…\rVert` and scalable double-bar aliases; export uses `\left\Vert…\right\Vert`. Available in 0.2.0.
 
@@ -195,7 +245,9 @@ Workspace: `\overbrace`/`\underbrace` support includes LaTeX parsing/export, loc
 
 ## Compact and filtered toolbars (workspace)
 
-Toolbars initially show up to eight structure buttons. More tools / Fewer tools toggles the remainder without changing the formula or history. Rich React also places matrix presets, templates and symbol shortcuts in the expanded section; Undo, Redo and `toolbarEnd` stay visible. Native toolbars contain structure buttons and history only and show a toggle when needed. The layout wraps naturally on narrow screens; this is not a guaranteed single-row toolbar.
+Toolbars initially show up to eight structure buttons. More tools / Fewer tools toggles the expanded section without changing the formula or history. In the workspace native toolbar, More tools also reveals All symbols search, templates, 2×2/3×3/4×4 matrix and identity presets, and symbol shortcuts. More remains available even when all selected structures already fit. Undo and Redo stay visible; rich React also retains `toolbarEnd`. The layout wraps on narrow screens.
+
+The workspace native grid toolbar follows the active caret. Matrices expose row/column insertion and deletion plus delimiter selection; aligned/cases expose row operations. Text or model selections disable row/column and delimiter mutations. The workspace adds Select cells, Select all cells and Transpose matrix in both renderers. These additions are included in 0.4.0.
 
 ```tsx
 <MathEditor toolbar={['fraction', 'root', 'superscript', 'matrix']}
@@ -203,7 +255,8 @@ Toolbars initially show up to eight structure buttons. More tools / Fewer tools
 ```
 
 ```js
-mountMathEditor(host, session, {
+mountMathEditor(host, {
+  session,
   toolbar: ['fraction', 'root', 'norm'],
   toolbarMaxItems: 2,
 });
@@ -213,7 +266,7 @@ mountMathToolbar(toolbarHost, session, {
 });
 ```
 
-`toolbar: false` hides the toolbar. A structure array filters its structure buttons only: it does not disable those structures in suggestions, parsing or the model, and does not filter React's auxiliary template/symbol controls. `toolbarMaxItems` (independent toolbar: `maxItems`) is a nonnegative count; zero initially hides all structure buttons behind More. A sufficiently large count shows all selected structure buttons initially. Expanded state belongs to the mounted toolbar and is not saved in the math document. The rich React `toolbar` array and compact behavior are available in 0.2.0.
+`toolbar: false` hides the toolbar. A structure array filters structure buttons; the workspace native toolbar also filters templates by their structure kinds and limits grid presets/context controls to allowed kinds. Symbol search remains available. Rich React's auxiliary controls retain their existing behavior. Toolbar filtering does not restrict suggestions, parsing or the model. `toolbarMaxItems` (independent toolbar: `maxItems`) is a nonnegative count; zero initially hides all structure buttons behind More. A sufficiently large count shows all selected structure buttons initially. Expanded state is not saved in the math document. The rich React `toolbar` array and compact behavior are available in 0.2.0; the native discovery/context additions are included in 0.4.0.
 
 Workspace: added `\tilde`, `\bar`, `\dot`, `\ddot`, `\widehat` and `\widetilde` with exact-command parsing/export, localized suggestions, one-slot wrapping and fixed/stretchy accent rendering. Available in 0.2.0.
 
@@ -227,18 +280,73 @@ Set `--me-font-size` on the host (for example `18px`) to keep React token previe
 
 ### Explicit fraction sizes (workspace)
 
-Import or type the suggestions `dfrac`, `tfrac`, `dbinom`, and `tbinom` for display/text fraction and binomial presets. The editor preserves their size on export. See [LaTeX guide](LATEX-GUIDE.md); available in 0.2.0.
+Import or type the suggestions `dfrac`, `tfrac`, `dbinom`, and `tbinom` for display/text fraction and binomial presets. The editor preserves their size on export. See [LaTeX guide](https://math-editor.barocss.com/docs/latex-guide.html); available in 0.2.0.
 
 ### Math alphabet support (workspace)
 
-`\mathbf`, `\mathcal` and multi-letter `\mathbb` now support import, suggestions, range wrapping, editing and export. See [alphabet scope and examples](LATEX-GUIDE.md#mathematical-alphabets--020). Available in 0.2.0.
+`\mathbf`, `\mathcal` and multi-letter `\mathbb` now support import, suggestions, range wrapping, editing and export. See [alphabet scope and examples](https://math-editor.barocss.com/docs/latex-guide.html#mathematical-alphabets--020). Available in 0.2.0.
 
 ### Labeled arrows (workspace)
 
-`\xrightarrow[below]{above}` and `\xleftarrow[below]{above}` support parsing, suggestions, editable math labels and export. See [label syntax and slot order](LATEX-GUIDE.md#labeled-arrows--020). Available in 0.2.0.
+`\xrightarrow[below]{above}` and `\xleftarrow[below]{above}` support parsing, suggestions, editable math labels and export. See [label syntax and slot order](https://math-editor.barocss.com/docs/latex-guide.html#labeled-arrows--020). Available in 0.2.0.
 
 ## Keyboard ranges and brace discovery (0.2.1)
 
-Shift+Left/Right extends or shrinks the same model range used by dragging. Structures are crossed as balanced units; copied and deleted ranges use existing model normalization. Shift+Up/Down extends to an adjacent top-level document line, using a logical text offset rather than pixel-based column matching; grid-cell rectangular selection is not added. Copy, cut, wrapping, deletion and Undo use the existing range behavior. IME composition and modifier shortcuts retain their existing handling.
+Shift+Left/Right extends or shrinks the same model range used by dragging. Structures are crossed as balanced units; copied and deleted ranges use existing model normalization. Shift+Up/Down extends to an adjacent top-level document line, using a logical text offset rather than pixel-based column matching; when a matrix-cell selection is active, Shift+arrows instead moves its rectangular focus corner. Copy, cut, wrapping, deletion and Undo use the existing range behavior. IME composition and modifier shortcuts retain their existing handling.
+
+After a model selection, plain Left/Up restores the caret at its document-ordered
+start; Right/Down restores it at the end. The same rule applies to reverse drags
+and Shift+arrow selections, without consuming another character or changing the
+formula. Alt+Up/Down browses the wrapping suggestions while retaining the range;
+Enter applies a candidate. Ordinary input suggestions still use Up/Down.
 
 Typing `{` offers both paired braces and cases. Paired braces remain the first candidate; choose Cases explicitly to insert its editable grid.
+
+
+### Sharing a native toolbar between editors (workspace)
+
+`mountMathToolbar(host, sessionOrNull, options)` now returns
+`{ setSession, setDisabled, destroy }`. Call `setSession(activeEditor.session)` when an editor
+becomes active and `setSession(null)` when editing ends. Detaching disables editing
+actions and unsubscribes from the previous session. `options.locale` supplies labels
+before the first session is attached; active sessions supply their own locale.
+`setDisabled(true)` keeps the session attached while disabling mutations and closing
+symbol search; restore it with `false` after composition. An internally mounted
+native toolbar coordinates this automatically. Independent toolbar hosts own focus,
+draft lifecycle and composition handling. `onExecute` runs after a successful command
+so the host can return focus to the math editor; browsing tools does not commit the
+draft. See the [session toolbar API](https://math-editor.barocss.com/docs/api-session.html#independent-toolbar-and-outputs).
+The Tiptap/ProseMirror integration coordinates these through its `toolbarHost` option.
+
+These native UI additions use the existing model and LaTeX grammar. English/Korean
+remain the complete bundled locale packs, and actual OS IME testing remains deferred.
+
+## Matrix cell editing — workspace
+
+Drag across matrix cells or Shift+click another cell to select a rectangle. For
+keyboard selection, choose **Select cells**, then extend with Shift+arrows;
+**Select all cells** selects the whole matrix. Copy and cut include nested formulas.
+Delete clears selected contents while keeping the grid; typing replaces the
+rectangle with text in its upper-left cell. Enter or Escape returns to editing.
+
+Paste a copied rectangle into a matching selection, or start at one cell and let
+the matrix grow within 20 × 20. A single copied cell fills a larger selection.
+Rectangular tab-separated spreadsheet text is also accepted inside matrices;
+ragged or mismatched shapes fail without partial writes. Copied cells pasted
+outside a matrix become a new matrix. The plain-text clipboard fallback is LaTeX.
+
+**Transpose matrix** exchanges all rows and columns, preserving the delimiter,
+nested content and caret. Paste, cut, clear and transpose each take one Undo.
+These operations are available in both renderers and the framework-free
+[session API](https://math-editor.barocss.com/docs/api-session.html#matrix-cell-selections).
+
+## Style customization
+
+Use inherited CSS variables for colors, slot backgrounds, typography, toolbar density and menu appearance. Scoped themes also follow portaled suggestions in both renderers. See [Styling & themes](https://math-editor.barocss.com/docs/styling.html) for the public variables, dark/monochrome examples, shared toolbars and iframe/plugin sizing.
+
+## License
+
+MIT License. Copyright (c) 2026 barocss.com.
+
+The npm package includes the full license in `LICENSE`. Bundled KaTeX fonts retain
+their separate copyright and MIT notice in `src/fonts/LICENSE-KaTeX.txt`.

package/ROADMAP.md

@@ -2,6 +2,71 @@
 
 This roadmap describes priorities, not release promises. The current package is an independent editing prototype. Production integration requires the reliability work below even if additional notation is implemented first.
 
+
+
+## Editing utilities — workspace, 2026-09-09
+
+Included in 0.4.0:
+
+- Native lexical-token input now matches rich React colors and offsets. Token-boundary navigation/deletion preserves surrounding text; composition retains the input until commit.
+- Explicit LaTeX insertion at the caret or range, exposed as `pasteLatex`, More tools → Paste as LaTeX, and Alt+Shift+V. Parsing/placement failures preserve the document. Ordinary paste stays literal.
+- Recent symbols/templates and favorites, with a shareable validated preference store. Preferences are separate from formula history; persistence belongs to the host.
+- Contextual fence, fraction/binomial size, and operator-bound placement controls. Existing contents, IDs and caret are preserved with one-step Undo.
+
+See [API and usage](API-SESSION.md#editing-utilities--workspace). No new LaTeX grammar or automatic algebraic transformation is added. Persistent vertical columns, broader browsers, performance budgets and accessibility remain open.
+
+## Scoped style customization — workspace, 2026-09-09
+
+Implemented: inherited CSS variables for UI/token colors, slot backgrounds,
+controls, toolbar density and floating menus. Both renderers retain per-editor
+palette values on suggestion/selection portals and follow live ancestor theme
+switches. Shared plugin panels/actions use the same palette; persisted host
+formula sizing remains document data. The site includes default/dark/monochrome,
+base-size and compact-spacing controls. See [Styling & themes](STYLING.md).
+
+
+## Selection-to-caret keyboard behavior — workspace, 2026-09-09
+
+Both renderers now restore the caret when a plain arrow follows a Shift+arrow or
+pointer model selection. Left/Up uses the ordered start; Right/Down uses the end.
+Typing continues at that position without replacing the former range. Wrapping
+suggestions remain selectable with Alt+Up/Down or the pointer. The operation does
+not change the formula or create Undo entries.
+
+## Matrix rectangles and transpose — workspace, 2026-09-09
+
+Both editing surfaces now distinguish cross-cell rectangles from text selection
+inside a cell. Drag between cells or Shift+click to select a rectangle. Select
+cells starts keyboard selection; Shift+arrows changes the focus corner. Copy/cut
+preserves nested formula trees; paste accepts matching rectangles or grows from
+a single cell within 20 × 20. One copied cell can fill a rectangle. Ragged TSV,
+invalid clipboard data, mismatched shapes and oversized results are rejected
+without changing the formula. Delete clears cells; Enter/Escape resumes editing.
+
+Transpose matrix moves the entire matrix, preserving cell IDs, nested caret,
+delimiters and one-step Undo. No numerical evaluation or new LaTeX grammar is
+introduced. See [the API contract](API-SESSION.md#matrix-cell-selections) for payloads
+and paste rules. Real OS clipboard and touch selection remain separate checks.
+
+## Native toolbar and selection parity — workspace, 2026-09-09
+
+Included in 0.4.0: More tools exposes searchable All symbols,
+templates, matrix/identity presets and symbol shortcuts. The active grid toolbar
+offers matrix row/column operations and delimiter changes, with row operations for
+aligned/cases. External toolbar handles now expose `setDisabled` alongside
+`setSession` and `destroy` for composition and draft lifecycle coordination.
+
+Native selection highlights now preserve partial text endpoints. A drag can begin
+inside the active input and continue across structures as a model range. Shift+arrow
+model ranges are already implemented; vertical range extension uses logical line
+offsets. The new work does not add LaTeX syntax.
+
+Remaining work includes persistent vertical preferred
+columns, and wider browser/accessibility coverage. English/Korean remain the complete
+bundled locale packs; additional complete packs remain open. Native OS IME validation
+is still deferred at the user's request. See [renderer parity](ADAPTERS.md#current-renderer-parity)
+and [validation](VALIDATION.md) for the current boundary and evidence.
+
 ## Remaining LaTeX priorities: workspace review, 2026-09-08
 
 These are proposals, not accepted import syntax. Complete each feature through the model, parser, exporter, suggestions and both editing surfaces before calling it supported.
@@ -53,7 +118,7 @@ Norms are implemented in the workspace. Triple and contour integrals are impleme
 | Host Enter/commit/cancel contract and modal suggestions | Implemented | Product selection/undo integration and real IME/browser matrix |
 | Layout lab: inline, next-block flow, popup draft/cancel/apply | Implemented | Integrate the actual Note node view first |
 | Note/Word/Site/Slide persistence adapters | Note workspace popup trial implemented | Validate other browsers and real host caret/undo workflows; Word/Site/Slide adapters and OMML conversion remain open |
-| Downloadable SVG/PNG output | Not implemented | Dedicated renderer/export contract, fonts and scaling |
+| Reusable library SVG/PNG output | Not implemented | Dedicated renderer/export contract, fonts and scaling; the website already provides sized PNG download/copy from its preview |
 
 See [Embedding](EMBEDDING.md) for existing Note/Word model boundaries. Note has a popup integration trial. The user confirmed that Note inline editing is resolved. This release focuses on math-editor; product-specific validation is tracked separately.
 
@@ -62,15 +127,15 @@ See [Embedding](EMBEDDING.md) for existing Note/Word model boundaries. Note has
 | Work | Status | Remaining gate |
 |---|---|---|
 | Framework-free session / public commands | Implemented | Host-wide undo integration, performance and document validation |
-| Native DOM surface / pure JS entry | Integration preview | Rich React selection, catalog and composition parity |
+| Native DOM surface / pure JS entry | Integration preview | Native discovery/context tools and precise pointer ranges implemented in workspace; token-level input/color is implemented; wider composition coverage remains |
 | Web Component / Vue / Svelte / Solid / React native wrappers | Implemented | Wider framework-version matrix and SSR/hydration strategy |
-| Optional and separately mounted toolbar | Implemented in native surface | Context-sensitive professional toolbar and symbol browser |
+| Optional and separately mounted toolbar | Implemented in native surface | Symbol browser, templates/presets and grid context controls added in workspace; broader context grouping and user customization remain |
 | Inline single-top-level-line policy | Implemented in native surface | Real product prose integration, baseline/keyboard exit UX |
 | External locale dictionary / aliases / fallback / direction | Implemented | Complete extra language packs and RTL audit |
 | ESM subpath distribution / optional framework peers | Implemented | Release approval, registry publication, bundle budgets |
 | Rich React renderer remains available | Preserved | Move main export only after measured parity |
 
-Next integration work: finish the native symbol panel and precise range highlights; unify token editing/composition behavior; add keyboard structural selection. Measure load/typing cost in host products; Note inline editing is already resolved. Do not add new notation to both renderers independently before shared behavior is stable. See [adapter parity and API](ADAPTERS.md).
+Next integration work: verify the new active-input parity across more browsers, extend browser/accessibility coverage, and measure load/typing cost in host products. The native symbol panel, precise range highlights, active-input cross-structure drag and Shift+arrow model selection are implemented in the workspace. Note inline editing is already resolved. Do not add new notation to both renderers independently before shared behavior is stable. See [adapter parity and API](ADAPTERS.md).
 
 ## Delivered baseline
 
@@ -86,8 +151,8 @@ Next integration work: finish the native symbol panel and precise range highligh
 | Work | Acceptance criteria |
 |---|---|
 | Real input-method matrix | macOS and Windows Korean composition, cancellation, blur and locale change preserve text and commit once; currently deferred by user request |
-| Keyboard model ranges | Shift+arrows extend/collapse across tokens and structures; typing replaces selection; undo restores a predictable caret |
-| Structural navigation | Predictable up/down movement in fractions, roots and scripts; direction and selection affinity covered by tests |
+| Keyboard model ranges — implemented | Shift+arrows extend/collapse across text and structures; typing replaces selection; wider browser/IME coverage and pixel-column vertical extension remain |
+| Structural navigation — implemented in workspace | Shared React/native Up/Down movement for fractions, scripts, indexed roots and operator slots; nearest rendered horizontal caret, inner-structure precedence and matrix columns covered by model tests. Persistent preferred-column state and wider browser coverage remain open |
 | Saved-document validation | Shape/duplicate-ID validation is implemented; version migration and host recovery remain |
 | Host session adapter | Enter/exit and save work in one target product; a single coherent undo path across host and formula |
 | Browser/accessibility coverage | Safari, Firefox and Windows Chromium; screen-reader names and suggestion announcements; touch selection and narrow layouts |
@@ -114,8 +179,8 @@ See the [LaTeX editing guide](LATEX-GUIDE.md) for supported examples and the nex
 | Feature | Acceptance criteria |
 |---|---|
 | Subset LaTeX import — implemented in workspace | Extend the documented grammar incrementally; preserve unsupported input without changing the existing formula |
-| Rectangular cell selection | Row/column geometry, copy/paste shape rules, partial destination handling and undo |
-| Matrix transformations | Transpose and delimiter changes preserve all cell contents and caret; no implicit numeric computation |
+| Rectangular cell selection — implemented in workspace | Cross-cell drag, Shift+click, keyboard expansion, shape-checked copy/paste, clear and one-step Undo; external clipboard/touch validation remains |
+| Matrix transformations — implemented in workspace | Delimiter changes and full-matrix transpose preserve cell contents, nested caret and Undo; selected-submatrix transforms and numeric computation are not included |
 | Drag matrix size picker | Accessible keyboard equivalent, touch behavior, 1–20 bounds and one-step insertion |
 | Multi-alignment and multiline wrapping | Explicit grouping semantics; do not flatten lines or move relation signs unexpectedly |
 | External clipboard compatibility | Verify custom-format survival and LaTeX fallback across target browsers and applications |
@@ -164,7 +229,7 @@ the npm version and deployed runtime artifact are unchanged.
 - [x] Vector, hat and overline accents with editable bodies and selection wrapping.
 - [x] Additional delimiters, mixed/invisible ends and overset/underset annotations.
 - [x] Over/under brace annotations with editable annotation/body slots.
-- [x] Explicit side-placement import/export (`\nolimits`); a dedicated toolbar switch remains open.
+- [x] Explicit side-placement import/export (`\nolimits`) and contextual toolbar placement controls.
 
 - [x] Workspace: `limit` condition/body model, LaTeX import/export, localized suggestions and React/native editing.
 - [x] Semantic function color for named/custom operators and the limit glyph.
@@ -188,10 +253,27 @@ Seven rich React/KaTeX comparisons are complete; production fixes are pending. P
 
 Spacing follow-up implemented: shared grid fence shapes, tighter grid/fraction/script/accent layouts, bounded nested fraction sizes, and a smaller boundary focus target. Chromium import/edit checks pass; the measured first-boundary expansion fell from 20px to 8px. Full recursive math-style sizing, additional browser/accessibility checks and eliminating all cursor-induced movement remain open.
 
-Workspace toolbar overflow is implemented: configurable structure-button limits and More/Fewer controls, rich React/native filtering, and always-visible history actions. Context-sensitive grouping and user-persisted toolbar customization remain future work.
+Workspace toolbar overflow is implemented: configurable structure-button limits and More/Fewer controls, rich React/native filtering, and always-visible history actions. Native symbol/template discovery and grid context controls are also implemented as described above. Broader context-sensitive grouping and user-persisted toolbar customization remain future work.
 
 Locale regression: misplaced alphabet/arrow messages moved inside `messages`; pack-shape/build validation and en/ko browser coverage added.
 
 ### 0.2.1
 
-Keyboard model selection with Shift+arrows and `{` cases discovery are implemented. The dedicated demo adds sized PNG download/copy and fit preview; image generation remains site-only. Pixel-column vertical selection and rectangular grid ranges remain future work.
+Keyboard model selection with Shift+arrows and `{` cases discovery are implemented. The dedicated demo adds sized PNG download/copy and fit preview; image generation remains site-only. Pixel-column vertical selection remains future work. Matrix cell rectangles and transpose are implemented in the workspace; aligned/cases retain structural ranges.
+
+## Tiptap / ProseMirror integration preview (2026-09-08)
+
+A separate private development package, `packages/math-editor-integrations`, now
+provides Tiptap 3 and ProseMirror 1 math nodes using the existing DOM editor. It
+supports direct editing in the text flow, optional panel editing, JSON/LaTeX storage,
+HTML clipboard round trips, Apply/Cancel, and host Undo. The sample runs from
+`apps/math-integrations` at port 5185.
+
+As of 2026-09-09, the integration preview covers nine hosts in one sample page.
+Site staging includes `/integrations/` and rendered integration documentation.
+The shared source package stays private; nine host-specific npm packages have
+separate Changesets and artifact preparation. The release set is core `0.4.0` and plugins `0.1.0`. The
+core and all nine plugins now use MIT, with a LICENSE file in each package.
+Plugin publication remains pending. See the [integration roadmap](../math-editor-integrations/ROADMAP.md),
+[validation record](../math-editor-integrations/VALIDATION.md), and
+[release guide](../math-editor-integrations/docs/RELEASING.md).