@barocss/math-editor 0.1.0

package/README.md

@@ -0,0 +1,151 @@
+# @barocss/math-editor
+
+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.
+
+**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.
+
+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.
+
+For editor-only, external toolbar, LaTeX, preview, inline and popup compositions, see [Embedding](EMBEDDING.md) and `/layouts.html` in the demo.
+
+## Quick start
+
+Install version 0.1.0 from npm:
+
+```sh
+npm install @barocss/math-editor@0.1.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).
+
+To develop the package and demo from this monorepo:
+
+```sh
+pnpm install
+pnpm --filter @barocss/math-editor build
+pnpm --filter @barocss/math-demo dev
+# http://localhost:5184
+```
+
+A workspace consumer should declare `"@barocss/math-editor": "workspace:*"`. Framework peer dependencies are optional; React consumers install React and React DOM (>=18).
+
+```tsx
+import { MathEditor, createMathDocument, type MathDocument } from '@barocss/math-editor';
+import '@barocss/math-editor/style.css';
+
+function Formula({ documentId, saved, save }: {
+  documentId: string;
+  saved?: MathDocument;
+  save: (document: MathDocument, latex: string) => void;
+}) {
+  return (
+    <MathEditor
+      key={documentId}
+      locale="en"
+      defaultValue={saved ?? createMathDocument()}
+      onChange={save}
+      onExit={direction => console.log('Return focus to the host:', direction)}
+    />
+  );
+}
+```
+
+| Prop | Contract |
+|---|---|
+| `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. |
+| `toolbar?: boolean` | Show the rich React toolbar panels; defaults to `true`. |
+| `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. |
+| `label?: string` | Host-provided accessible group name; otherwise localized. Hosts translate their own custom label. |
+| `onChange?(document, latex)` | Receives committed model changes and their LaTeX output. IME drafts are not published. |
+| `onExit?(direction)` | Requests host focus restoration at an outer navigation boundary: -1 before, +1 after. |
+
+## Suggestion ordering
+
+Matching literal characters appear before editable structures and templates. For example, `/` offers `÷` then Fraction; `^` offers `∧` before the script structures; `sum` offers `+`, `±`, then the editable sum. To create a fraction, type `x/`, press Down once, then Enter. The same ranking applies to all adapters.
+
+## 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.
+
+- 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 `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.
+- 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.
+- 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.
+
+## Keyboard reference
+
+| Context | Key | Action |
+|---|---|---|
+| 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 |
+| 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 |
+| Grid | Shift+Enter | Insert a row |
+| Matrix | Shift+Space | Insert a column |
+| Grid | Alt+Shift+Up | Delete the current row |
+| Matrix | Alt+Shift+Left | Delete the current column |
+| Aligned / cases | Enter | Insert a row, unless applying a suggestion |
+| 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 |
+| 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 |
+
+## 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.
+
+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. General LaTeX import is not implemented.
+
+## Model and package boundaries
+
+`MathDocument` stores `version: 1`, a `root` row and optional `additionalLines`. Rows alternate text boundaries and structures; even an empty boundary is a valid caret address. LaTeX is an export format, not the editing source.
+
+- Main export: model, React editor, navigation, matrices, range/clipboard operations, tokens, suggestions, templates, symbols and localization.
+- `@barocss/math-editor/core`: all framework-free model helpers, sessions, suggestions and locale registration; no React dependency.
+- `@barocss/math-editor/style.css`: explicit UI stylesheet using `me-` classes.
+- KaTeX is a demo runtime dependency and a package test dependency; the library renderer does not require it.
+
+Only pass trusted, well-formed saved documents to `defaultValue`. `parseFragment` validates clipboard fragments; it is not a saved-document validation API. Locale is host UI state and is not serialized in the math document.
+
+## Source maintenance
+
+Source, tests and CSS use the package Prettier configuration. `pnpm --filter @barocss/math-editor format:check` checks readability conventions. Toolbar presentation, output views, locale data and host Enter policy are separate modules; caret/IME invariants are documented at the event boundaries.
+
+## Verification and next steps
+
+```sh
+pnpm --filter @barocss/math-editor test:run
+pnpm --filter @barocss/math-editor type-check
+pnpm --filter @barocss/math-editor build
+pnpm --filter @barocss/math-demo type-check
+pnpm exec tsc --noEmit -p apps/math-demo/tsconfig.tests.json
+pnpm --filter @barocss/math-demo build
+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)
+- [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)

package/RELEASING.md

@@ -0,0 +1,31 @@
+# Releasing math editor
+
+The source stays in this monorepo. Release only `@barocss/math-editor`; framework subpaths share its version. The initial release is **0.1.0**, public, on the **latest** npm tag.
+
+## Local release
+
+```sh
+# Repository root. Login is handled by npm, never by storing credentials in the repository.
+npm login
+pnpm release:math:prepare
+# After reviewing changes and browser validation:
+pnpm release:math
+```
+
+Both commands check formatting, types and unit tests, clean/build the package, create a temporary tarball and verify all package entry points. The publish command sends only that verified tarball to the public npm registry. It never runs recursive publishing. `pnpm release` is an alias for this math-only workflow. npm may request account authentication or 2FA during publishing.
+
+Before releasing UI changes, also run `pnpm --filter @barocss/math-demo test:e2e` and the demo build. Verify the intended package name/version and changelog. A version already published to npm must never be reused. The repository's release workflow is manual validation only; it does not publish on main pushes.
+
+## Subsequent versions
+
+1. Run `pnpm changeset`, select only `@barocss/math-editor`, and write a user-facing change summary.
+2. Use patch for compatible fixes and minor for features. During 0.x development, clearly identify breaking API changes in a minor release. Reserve 1.0.0 for the agreed stable API.
+3. Run `pnpm version:math`. It checks the Changesets release plan and refuses changes affecting other packages before running version/changelog generation.
+4. Review and commit the version/changelog and any dependency/lockfile changes with the implementation. Run release validation, then publish locally.
+5. Record a package-specific Git tag such as `math-editor-v0.1.1` on the release commit, and update the site with the matching package version.
+
+The first 0.1.0 changelog is seeded explicitly; do not add a version-bump changeset just to publish the initial version. Avoid `pnpm version-packages` for a math-only release because that command processes the entire workspace plan.
+
+## Website
+
+`apps/math-demo` remains the site source. The intended static deployment repository is `barocss/math-editor-site`, with GitHub Pages at `math-editor.barocss.com`. Website deployment is separate from npm publication; page-only changes do not require a package version bump. Keep the displayed version and built editor version in sync. Successful npm publication alone does not mean the site or DNS has been configured.

package/ROADMAP.md

@@ -0,0 +1,102 @@
+# Math editor roadmap
+
+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.
+
+## Locale extension and cleanup — 2026-09-08
+
+- Completed key-only translation lookup and shared editor path labels; removed source-text conversion and custom formatting callbacks.
+- Added JSON French example, matrix-family aliases and NFC/combining-mark search. Language tests cover French, Japanese, Chinese, Arabic, Hindi and German without claiming complete language packs.
+- Documented bundled en/ko versus host-supplied translations in [LOCALIZATION.md](LOCALIZATION.md). Complete reviewed third-language packs, RTL interaction and native OS IME testing remain open.
+- Build now cleans its generated directory so deleted modules are excluded from packages.
+
+## Locale keys and suggestion ranking — 2026-09-08
+
+- Completed English semantic keys in all library/demo JSON packs and static UI call sites. Catalogs and renderers now use keyed messages and named parameters; source-text conversion and formatting hooks have been removed.
+- Matching literal symbols now precede structural/template candidates. `/` selects `÷` by default; choose the following Fraction candidate to create a fraction. Relative ordering and uppercase Greek preference remain stable.
+
+## Composition and maintainability — 2026-09-08
+
+| Work | Status | Next gate |
+|---|---|---|
+| Source/CSS formatting and behavioral comments | Implemented | Continue splitting renderer internals when their behavior is unified |
+| React/native toolbar extraction and host action slot | Implemented | Contextual tool catalog shared across both renderers |
+| JSON locale packs, named templates, regional fallback | Implemented | English semantic JSON keys completed; complete third-language packs |
+| Independently mounted editor/toolbar/LaTeX/preview | Implemented | Framework component conveniences only if real hosts need them |
+| 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 | Not implemented | Versioned math payload, tex-only fallback, OMML conversion and host transactions |
+| Downloadable SVG/PNG output | Not implemented | Dedicated renderer/export contract, fonts and scaling |
+
+See [Embedding](EMBEDDING.md) for existing Note/Word model boundaries. The next concrete target is one real Note integration with a preserved host caret and one coherent undo path, not simultaneous schema replacement in all four products.
+
+## Integration progress — 2026-09-07
+
+| 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 |
+| 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 |
+| 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: finish the native symbol panel and precise range highlights; unify token editing/composition behavior; add keyboard structural selection. Then integrate one real inline host and measure load/typing cost. Do not add new notation to both renderers independently before shared behavior is stable. See [adapter parity and API](ADAPTERS.md).
+
+## Delivered baseline
+
+- Korean/English library UI and demo; bilingual search aliases in both modes.
+- Native input at the active token, passive expression rendering, lexical role colors and composition-aware suggestions.
+- Thirteen structure kinds, multiline documents, aligned equations, cases and editable matrices.
+- Model ranges, balanced copy/cut/paste, wrapping, undo/redo and LaTeX export.
+- Identity/zero matrix presets, column vectors and editable formula templates.
+- A demo-only KaTeX rendering view and automated model/Chromium regression tests.
+
+## Priority 1 — Reliable editing and integration
+
+| 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 |
+| Saved-document validation | Reject malformed shapes and duplicate IDs; version migration and recoverable failure behavior |
+| 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 |
+| Performance budget | Agree supported document size/depth; benchmark typing, selection, paste and 100-step undo before optimizing |
+
+## Priority 2 — More notation
+
+| Feature | Acceptance criteria |
+|---|---|
+| Combined superscript/subscript | One shared base, consistent script order, cursor navigation, clipboard and LaTeX round trip |
+| Indexed roots and binomials | Editable root index / upper-lower entries; nested sizing, wrapping and deletion rules |
+| Functions and logarithms | Named operators with proper LaTeX spacing and editable arguments; distinguish variable names from operators |
+| Limits and derivatives | Explicit slots and approach notation; distinguish derivative structures from the existing ∂ symbol |
+| Text in formulas and cases | Dedicated natural-language mode, escaping, localization-independent content, IME and clipboard support |
+| Accents and annotations | Vectors, bars, hats and over/under braces with editable children |
+| More templates | Deterministic model builders, localized discovery, one-step undo; no hidden computed values or false solver claims |
+
+## Priority 3 — Interchange and richer grids
+
+| Feature | Acceptance criteria |
+|---|---|
+| Subset LaTeX import | Define a grammar and supported environments; preserve unsupported input visibly instead of silently dropping it |
+| 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 |
+| 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 |
+
+## Later, only with product requirements
+
+Declared variables/constants, stable symbol references, binding scopes, computation, collaborative editing, and server persistence are distinct systems. Do not infer that lexical colors or a quadratic formula template already provide these capabilities.
+
+## Definition of done for each addition
+
+1. State the supported input and its exact output/caret behavior.
+2. Preserve IDs outside edits, regenerate inserted identities and support one-step undo for structural actions.
+3. Cover Korean/English UI, aliases, accessibility labels and composition interaction.
+4. Verify deterministic model transformations and representative real browser interaction.
+5. Render the supported LaTeX and document unsupported cases.
+6. Update the support table, README and implementation notes with actual behavior.

package/SUPPORT.md

@@ -0,0 +1,160 @@
+# Supported math and editing features
+
+This is a presentation and editing scope, not a claim of full LaTeX or computer-algebra support. Blank slots remain editable and export as empty groups. All catalog symbols are exercised against KaTeX in unit tests.
+
+## Structural notation
+
+| Family | Implemented input / structure | LaTeX output | Limits |
+|---|---|---|---|
+| Fractions | Two editable slots; wrap a selection as numerator | `\frac{a}{b}` | No automatic algebraic simplification |
+| Square roots | Editable radicand; selection wrapping | `\sqrt{x}` | Indexed roots not yet implemented |
+| Powers | Base and superscript; automatic parentheses when wrapping a compound base | `{x}^{2}` | No combined sub/superscript structure |
+| Subscripts | Base and lower script | `{x}_{i}` | No declaration or index semantics |
+| Parentheses | Editable group | `\left(x\right)` | Generic group; no function-argument semantics |
+| Brackets | Editable group | `\left[x\right]` | Not an interval data type |
+| Absolute value | Editable group | `\left|x\right|` | No evaluation |
+| Sum | Lower limit, upper limit, body | `\sum_{i=1}^{n}x` | No bound-variable resolution |
+| Product | Lower limit, upper limit, body | `\prod_{i=1}^{n}x` | No evaluation |
+| Integral | Lower limit, upper limit, integrand | `\int_{a}^{b}x` | Differential entered as text; no integration engine |
+| Matrices / vectors | Editable nested cells; row/column changes | `matrix`, `pmatrix`, `bmatrix`, `Bmatrix`, `vmatrix`, `Vmatrix` | 1–20 rows and columns; no rectangular cell clipboard |
+| Aligned equations | Two columns, left side right-aligned and right side left-aligned | `aligned` | 1–20 rows, one alignment point; type the relation explicitly |
+| Cases | Expression and condition columns, left brace | `cases` | 1–20 rows; conditions are math, not a dedicated text mode |
+| Multiple document lines | Split/join top-level rows | `gathered` | No wrapping several document lines into one structure |
+
+## Editing, discovery and integration
+
+| Area | Supported | Remaining boundary |
+|---|---|---|
+| Languages | Korean and English UI, demo, accessible names, hints and suggestions | Custom host labels require host translation |
+| Discovery | All-symbol grid with English/Korean/glyph/LaTeX search, click to insert | Scroll through the complete 90-symbol catalog |
+| Line numbers | UI gutter for multiple top-level rows, optional prop | Excluded from math output and clipboard |
+| Aliases | English and Korean in both locales; longest symbolic trigger first | Prefix search, not natural-language parsing |
+| Native input | Active token only; composition draft held stable | Real OS IME validation deferred |
+| Roles | Variables, numeric literals, symbols, spaces | Lexical colors are not semantic declarations |
+| Selection | Partial text, drag across tokens/structures, whole document in preview | No keyboard Shift-arrow model expansion or rectangular cell selection |
+| Wrapping | Fraction, root, power, subscript, parentheses, brackets, absolute value | One balanced row; cross-slot range expands to common structure |
+| Clipboard | Structured internal fragment plus LaTeX text; cut/paste replacement | External LaTeX is literal text; nested multiline paste rejected |
+| History | Undo/redo of model changes and caret, up to 100 prior states | No shared host undo adapter yet |
+| Deletion | Text boundaries, line join, structure unwrap, two-step filled-grid deletion | General structural deletion rules are still limited |
+| Serialization | Version-1 JSON document and change callback | No persistence service, saved-document validator or migrations |
+| Preview | Demo-only KaTeX view | Library renders its own editable presentation |
+| Accessibility | Localized labels, combobox suggestions, keyboard slot navigation | Not a complete mathematical screen-reader implementation |
+| Computation | None | No solving, simplification, units engine or collaboration |
+
+## Editable templates and presets
+
+| Template / preset | Sizes | Discovery | Behavior |
+|---|---|---|---|
+| Empty matrix | 2×2, 3×3, 4×4 | `matrix`, `행`, `행렬`; matrix menu | Editable empty cells |
+| Identity matrix | 2×2, 3×3, 4×4 | `identity`, `단위`, `단위행렬`; matrix menu | Diagonal 1, other entries 0 |
+| Zero matrix | 2×2, 3×3, 4×4 | `zero`, `영행렬`; template menu | All entries 0, editable |
+| Column vector | 2×1, 3×1 | `vector`, `column`, `벡터`, `열벡터`; template menu | Empty editable column; existing generic matrix candidates may also match |
+| Quadratic formula | One expression | `quadratic`, `근의공식`; template menu | `x=(-b±√(b²−4ac))/(2a)` using fraction/root/power nodes; assumes a≠0 mathematically, does not enforce it |
+| Pythagorean theorem | One expression | `pythagorean`, `피타고라스`; template menu | `a²+b²=c²` using editable power nodes |
+
+Template insertion uses fresh IDs and is undoable. Template search aliases do not include spaces as a complete multiword query parser: use the compact aliases shown above. A template is not a solver.
+
+## Symbol catalog
+
+For the compact three-column reference, see [Symbol names](./SYMBOLS.md).
+
+The table below is generated from `src/symbols.ts`. Aliases are space-separated alternative names. Korean labels are also searchable. LaTeX control words receive separating whitespace during export. Literal Latin names and numbers remain ordinary text; typing a LaTeX command does not imply general LaTeX parsing.
+
+Catalog size: **90 symbols**.
+
+| Glyph | English label | Korean label | English aliases | Symbolic triggers | LaTeX |
+|---|---|---|---|---|---|
+| ∋ | Contains as an element | 원소를 포함 | ni contains | — | `\ni` |
+| ⊃ | Superset | 상위집합 | supset superset | — | `\supset` |
+| ⊇ | Superset or equal | 상위집합 또는 같음 | supseteq | — | `\supseteq` |
+| ⊈ | Not a subset or equal | 부분집합 아님 | nsubseteq | — | `\nsubseteq` |
+| ∖ | Set difference | 차집합 | setminus difference | — | `\setminus` |
+| ℕ | Natural numbers | 자연수 집합 | naturals natural | — | `\mathbb{N}` |
+| ℤ | Integers | 정수 집합 | integers integer | — | `\mathbb{Z}` |
+| ℚ | Rational numbers | 유리수 집합 | rationals rational | — | `\mathbb{Q}` |
+| ℝ | Real numbers | 실수 집합 | reals real | — | `\mathbb{R}` |
+| ℂ | Complex numbers | 복소수 집합 | complexes complex | — | `\mathbb{C}` |
+| ⊥ | Perpendicular | 수직 | perp perpendicular | — | `\perp` |
+| ∥ | Parallel | 평행 | parallel | — | `\parallel` |
+| ≅ | Congruent | 합동 | cong congruent | — | `\cong` |
+| ∼ | Similar | 닮음 | sim similar | — | `\sim` |
+| ↦ | Maps to | 대응 | mapsto maps | |-> | `\mapsto` |
+| … | Ellipsis | 말줄임표 | ldots ellipsis | — | `\ldots` |
+| ⋯ | Centered dots | 가로 점 | cdots | — | `\cdots` |
+| ⋮ | Vertical dots | 세로 점 | vdots | — | `\vdots` |
+| ⋱ | Diagonal dots | 대각 점 | ddots | — | `\ddots` |
+| ° | Degree | 도 | degree degrees 각도 | — | `{}^{\circ}` |
+| ∠ | Angle | 각 기호 | angle | — | `\angle` |
+| + | Plus | 더하기 | plus sum | + | `+` |
+| − | Minus | 빼기 | minus | - | `-` |
+| ± | Plus or minus | 플러스 마이너스 | plusminus sum | +- + | `\pm` |
+| ∓ | Minus or plus | 마이너스 플러스 | minusplus | -+ - | `\mp` |
+| × | Times | 곱하기 | times multiply | * | `\times` |
+| · | Dot | 가운데 점 | dot multiply | * | `\cdot` |
+| ÷ | Divide | 나누기 | divide division | / | `\div` |
+| = | Equal | 같음 | equal | = | `=` |
+| ≠ | Not equal | 같지 않음 | neq unequal | != /= = | `\ne` |
+| ≈ | Approximately equal | 근삿값 | approx | ~ ~~ = | `\approx` |
+| ≡ | Equivalent | 동치 | equiv | === = | `\equiv` |
+| < | Less than | 작음 | less | < | `<` |
+| > | Greater than | 큼 | greater | > | `>` |
+| ≤ | Less than or equal | 작거나 같음 | leq less | <= <- < | `\le` |
+| ≥ | Greater than or equal | 크거나 같음 | geq greater | >= >- > | `\ge` |
+| ∝ | Proportional | 비례 | proportional | ~ | `\propto` |
+| → | Right arrow | 오른쪽 화살표 | rightarrow arrow | -> - | `\to` |
+| ← | Left arrow | 왼쪽 화살표 | leftarrow arrow | <- < | `\leftarrow` |
+| ↔ | Left-right arrow | 양방향 화살표 | leftrightarrow arrow | <-> | `\leftrightarrow` |
+| ⇒ | Implies | 함의 | implies arrow | => = | `\Rightarrow` |
+| ⇔ | If and only if | 필요충분 | iff arrow | <=> | `\Leftrightarrow` |
+| ∈ | Element of | 원소 | in element | E | `\in` |
+| ∉ | Not an element of | 원소 아님 | notin element | E/ | `\notin` |
+| ∀ | For all | 모든 | forall | A | `\forall` |
+| ∃ | There exists | 존재 | exists | E | `\exists` |
+| ∪ | Union | 합집합 | union | U | `\cup` |
+| ∩ | Intersection | 교집합 | intersection | — | `\cap` |
+| ⊂ | Subset | 부분집합 | subset | < | `\subset` |
+| ⊆ | Subset or equal | 부분집합 또는 같음 | subseteq | <= | `\subseteq` |
+| ∅ | Empty set | 공집합 | emptyset | — | `\emptyset` |
+| ∞ | Infinity | 무한대 | infinity infty | — | `\infty` |
+| ∂ | Partial derivative | 편미분 | partial derivative | — | `\partial` |
+| ∇ | Nabla | 나블라 | nabla gradient | — | `\nabla` |
+| ∧ | Logical and | 논리곱 | and wedge | ^ | `\wedge` |
+| ∨ | Logical or | 논리합 | or vee | — | `\vee` |
+| ¬ | Logical not | 부정 | not neg | ! | `\neg` |
+| α | Alpha | 알파 | alpha | — | `\alpha` |
+| β | Beta | 베타 | beta | — | `\beta` |
+| γ | Gamma | 감마 | gamma | — | `\gamma` |
+| δ | Delta | 델타 | delta | — | `\delta` |
+| ε | Epsilon | 엡실론 | epsilon | — | `\epsilon` |
+| ζ | Zeta | 제타 | zeta | — | `\zeta` |
+| η | Eta | 에타 | eta | — | `\eta` |
+| θ | Theta | 세타 | theta | — | `\theta` |
+| ι | Iota | 이오타 | iota | — | `\iota` |
+| κ | Kappa | 카파 | kappa | — | `\kappa` |
+| λ | Lambda | 람다 | lambda | — | `\lambda` |
+| μ | Mu | 뮤 | mu | — | `\mu` |
+| ν | Nu | 뉴 | nu | — | `\nu` |
+| ξ | Xi | 크시 | xi | — | `\xi` |
+| π | Pi | 파이 | pi | — | `\pi` |
+| ρ | Rho | 로 | rho | — | `\rho` |
+| σ | Sigma | 시그마 | sigma | — | `\sigma` |
+| τ | Tau | 타우 | tau | — | `\tau` |
+| υ | Upsilon | 입실론 | upsilon | — | `\upsilon` |
+| φ | Phi | 파이 / 피 | phi | — | `\phi` |
+| χ | Chi | 카이 | chi | — | `\chi` |
+| ψ | Psi | 프사이 | psi | — | `\psi` |
+| ω | Omega | 오메가 | omega | — | `\omega` |
+| Γ | Uppercase Gamma | 대문자 감마 | Gamma | — | `\Gamma` |
+| Δ | Uppercase Delta | 대문자 델타 | Delta | — | `\Delta` |
+| Θ | Uppercase Theta | 대문자 세타 | Theta | — | `\Theta` |
+| Λ | Uppercase Lambda | 대문자 람다 | Lambda | — | `\Lambda` |
+| Ξ | Uppercase Xi | 대문자 크시 | Xi | — | `\Xi` |
+| Π | Uppercase Pi | 대문자 파이 | Pi | — | `\Pi` |
+| Σ | Uppercase Sigma | 대문자 시그마 | Sigma | — | `\Sigma` |
+| Φ | Uppercase Phi | 대문자 파이 / 피 | Phi | — | `\Phi` |
+| Ψ | Uppercase Psi | 대문자 프사이 | Psi | — | `\Psi` |
+| Ω | Uppercase Omega | 대문자 오메가 | Omega | — | `\Omega` |
+
+## Renderer availability
+
+This formula catalog describes the shared model and the existing rich React editor. New native DOM/framework surfaces share the notation model but have a smaller interaction UI. See the [renderer parity table](ADAPTERS.md#current-renderer-parity) before choosing an adapter.

package/SYMBOLS.md

@@ -0,0 +1,96 @@
+# Symbol names / 기호 이름 목록
+
+All 90 supported symbols. Use **All symbols / 전체 기호** in the editor to browse and insert them before typing. Both English and Korean searches work in either UI language. The full aliases, triggers and LaTeX mappings are in [SUPPORT.md](./SUPPORT.md).
+
+| Symbol / 기호 | English / 영문 | Korean / 한글 |
+|---|---|---|
+| ∋ | Contains as an element | 원소를 포함 |
+| ⊃ | Superset | 상위집합 |
+| ⊇ | Superset or equal | 상위집합 또는 같음 |
+| ⊈ | Not a subset or equal | 부분집합 아님 |
+| ∖ | Set difference | 차집합 |
+| ℕ | Natural numbers | 자연수 집합 |
+| ℤ | Integers | 정수 집합 |
+| ℚ | Rational numbers | 유리수 집합 |
+| ℝ | Real numbers | 실수 집합 |
+| ℂ | Complex numbers | 복소수 집합 |
+| ⊥ | Perpendicular | 수직 |
+| ∥ | Parallel | 평행 |
+| ≅ | Congruent | 합동 |
+| ∼ | Similar | 닮음 |
+| ↦ | Maps to | 대응 |
+| … | Ellipsis | 말줄임표 |
+| ⋯ | Centered dots | 가로 점 |
+| ⋮ | Vertical dots | 세로 점 |
+| ⋱ | Diagonal dots | 대각 점 |
+| ° | Degree | 도 |
+| ∠ | Angle | 각 기호 |
+| + | Plus | 더하기 |
+| − | Minus | 빼기 |
+| ± | Plus or minus | 플러스 마이너스 |
+| ∓ | Minus or plus | 마이너스 플러스 |
+| × | Times | 곱하기 |
+| · | Dot | 가운데 점 |
+| ÷ | Divide | 나누기 |
+| = | Equal | 같음 |
+| ≠ | Not equal | 같지 않음 |
+| ≈ | Approximately equal | 근삿값 |
+| ≡ | Equivalent | 동치 |
+| < | Less than | 작음 |
+| > | Greater than | 큼 |
+| ≤ | Less than or equal | 작거나 같음 |
+| ≥ | Greater than or equal | 크거나 같음 |
+| ∝ | Proportional | 비례 |
+| → | Right arrow | 오른쪽 화살표 |
+| ← | Left arrow | 왼쪽 화살표 |
+| ↔ | Left-right arrow | 양방향 화살표 |
+| ⇒ | Implies | 함의 |
+| ⇔ | If and only if | 필요충분 |
+| ∈ | Element of | 원소 |
+| ∉ | Not an element of | 원소 아님 |
+| ∀ | For all | 모든 |
+| ∃ | There exists | 존재 |
+| ∪ | Union | 합집합 |
+| ∩ | Intersection | 교집합 |
+| ⊂ | Subset | 부분집합 |
+| ⊆ | Subset or equal | 부분집합 또는 같음 |
+| ∅ | Empty set | 공집합 |
+| ∞ | Infinity | 무한대 |
+| ∂ | Partial derivative | 편미분 |
+| ∇ | Nabla | 나블라 |
+| ∧ | Logical and | 논리곱 |
+| ∨ | Logical or | 논리합 |
+| ¬ | Logical not | 부정 |
+| α | Alpha | 알파 |
+| β | Beta | 베타 |
+| γ | Gamma | 감마 |
+| δ | Delta | 델타 |
+| ε | Epsilon | 엡실론 |
+| ζ | Zeta | 제타 |
+| η | Eta | 에타 |
+| θ | Theta | 세타 |
+| ι | Iota | 이오타 |
+| κ | Kappa | 카파 |
+| λ | Lambda | 람다 |
+| μ | Mu | 뮤 |
+| ν | Nu | 뉴 |
+| ξ | Xi | 크시 |
+| π | Pi | 파이 |
+| ρ | Rho | 로 |
+| σ | Sigma | 시그마 |
+| τ | Tau | 타우 |
+| υ | Upsilon | 입실론 |
+| φ | Phi | 파이 / 피 |
+| χ | Chi | 카이 |
+| ψ | Psi | 프사이 |
+| ω | Omega | 오메가 |
+| Γ | Uppercase Gamma | 대문자 감마 |
+| Δ | Uppercase Delta | 대문자 델타 |
+| Θ | Uppercase Theta | 대문자 세타 |
+| Λ | Uppercase Lambda | 대문자 람다 |
+| Ξ | Uppercase Xi | 대문자 크시 |
+| Π | Uppercase Pi | 대문자 파이 |
+| Σ | Uppercase Sigma | 대문자 시그마 |
+| Φ | Uppercase Phi | 대문자 파이 / 피 |
+| Ψ | Uppercase Psi | 대문자 프사이 |
+| Ω | Uppercase Omega | 대문자 오메가 |

package/VALIDATION.md

@@ -0,0 +1,85 @@
+# Validation report
+
+Updated: 2026-09-07. Scope: independent math editor prototype, Korean/English UI, active-input rendering, model selection, wrapping and editable templates.
+
+**Result:** 71 unit tests and 61 Chromium tests passed (132 total, no skipped tests). Package/demo builds and package/demo/browser-test type checks passed.
+
+## Automated coverage
+
+| Suite | Cases | Evidence |
+|---|---:|---|
+| Model | 7 | Structural insertion, operand boundaries, nested content, navigation, history and export |
+| Suggestions | 16 | Longest symbolic triggers, bilingual aliases, replacements, degree symbols and grid presets |
+| Matrix | 13 | Geometry, limits, row/column editing, nested slots, delimiters and KaTeX |
+| Lines | 8 | Split/join, top-level navigation, aligned equations and cases |
+| Tokens | 5 | Lexical roles, Unicode offsets and boundary affinity |
+| Grid deletion | 4 | Empty/filled deletion, preserved content and undo |
+| Ranges | 8 | Partial/reversed/multiline selection, clipboard validation, fresh IDs and wrapping |
+| Locales/templates/catalog | 10 | Complete catalog label translation, bilingual candidate IDs, 7 template trees and all 90 symbols rendered with KaTeX |
+| Chromium browser | 61 | Existing input flows plus language switching, translated controls, new template editing, nested wrapping and live preview |
+
+Commands and setup are documented in the [README](./README.md). The package must be built before the demo/browser checks because the demo consumes `dist` exports. Type checks cover the package, demo and browser test sources. Production builds cover the package and demo.
+
+The test helper activates passive tokens by clicking them before typing; it does not bypass the editor model. Pointer selection tests use real mouse movement. Most automated clipboard tests dispatch ClipboardEvent with DataTransfer payloads; they do not claim OS clipboard compatibility across applications.
+
+## Manual in-app checks
+
+Earlier checks in the current development session verified:
+
+- Matrix input, row/column changes, deletion and undo with caret restoration.
+- Multiline equations, aligned equations and cases with exported/live-rendered output.
+- Fraction creation followed by actual Cmd+C/Cmd+V structured duplication and undo.
+- Selecting `a+b`, wrapping as `(a+b)²`, wrapping the result into a fraction, and entering `30degree` in the denominator.
+
+The in-app browser also verified the complete English demo/editor UI, quadratic-template insertion and live rendering, then a Korean-to-English switch preserving the inserted formula. Automated tests additionally verified undo retention, translated matrix controls and Korean aliases in English mode.
+
+## Explicit limits
+
+- Real OS Korean IME testing is deferred at the user's request. Synthetic composition events verify guarding and draft handling only.
+- Automated browser coverage is Chromium on macOS. Narrow viewport checks are not mobile-browser or touch validation.
+- Full screen-reader math navigation, high contrast, and every theme are not certified.
+- There is no saved-document validator, persistence/restart-recovery test, migration path or host-wide undo integration.
+- Rectangular matrix selections, keyboard model range extension, general LaTeX import and symbolic computation are not implemented.
+- Deep nesting and very large expressions have no agreed performance budget yet.
+
+## Integration gates
+
+Before shipping inside a host product, test actual input methods and target browsers, establish a single undo owner, validate saved documents, verify focus across host/math boundaries, and define recoverable clipboard/import failures. Every new structure must have localized labels, deterministic transformations, one-step structural undo, browser interaction coverage and supported LaTeX output.
+
+## Line numbers and symbol discovery
+
+Three browser tests verify the UI-only line gutter through split/join/undo, its exclusion from LaTeX and model clipboard, the complete 90-symbol grid, bilingual search, insertion before typing, range replacement, undo, Escape and clipboard isolation in the search field. A native Home key did not move the caret in the macOS test environment; the test uses the supported Left arrow to reach the line start. The in-app browser visually confirmed the full symbol grid with names and search focus.
+
+## Framework-neutral integration — 2026-09-07
+
+- **76 unit tests passed**, including session snapshot isolation, navigation versus document notifications, atomic selection wrapping, inline rejection without data loss, and custom locale alias/fallback/direction behavior.
+- **73 Chromium tests passed**: the previous 61 tests plus 12 native/adapter tests. The added cases mount real Vue and React components, a compiled Svelte 5 component, a Solid owner/directive, a Web Component and pure DOM surfaces. They verify fraction input, suggestion acceptance, undo, teardown, reconnect persistence, inline policy, external toolbar wrapping, custom French discovery and matrix row changes.
+- Package and demo TypeScript checks, browser test type checking and both production builds passed. The adapter lab is also included in the production build.
+- A packed tarball was extracted into a temporary directory. Five entry points (`core`, `dom`, `web-component`, `vue`, `svelte`) imported without framework peers or browser globals; main/React/Solid entries imported after installing links to only their relevant local peers. All eight JS export paths and declared CSS/type targets exist. This is a local packaging smoke test, not publication or an exhaustive downstream TypeScript/bundler matrix.
+- The in-app browser visually verified the adapter lab and actual pure-JS `x/ → ↓ → Enter → 2` input, producing `\frac{x}{2}`. Inline mode displays without the block editor's large surface and toolbar.
+
+Remaining adapter gates: exact range highlighting, active-input cross-structure dragging, token-level edit colors, composition preview parity, native all-symbol/context toolbars, reactive-option/version matrix and accessibility/browser coverage. Native `MathEditorSurface` is not advertised as complete rich React parity. OS IME testing remains deferred.
+
+## Composition, source readability and JSON locales — 2026-09-08
+
+- 81 unit tests pass. New coverage checks host Enter precedence, inline grid row editing, JSON key/parameter parity, JSON-only dynamic translations and regional fallback. The JSON registration example also passes a strict TypeScript check without a direction cast.
+- The complete 77-case Chromium suite passed after the toolbar extraction, source/CSS formatting, locale migration and first four layout tests. The final layout suite adds English JSON page/editor coverage and passes all five cases (78 distinct browser cases across the suites).
+- Package/demo build and type checks, browser-test type checking and the package `format:check` pass. The package build emits plain ESM locale modules from canonical JSON for runtime compatibility.
+- Browser coverage verifies removal of the sample title strip, reset inside the toolbar, independent panel toggles without content loss or spurious onChange, inline completion, next-block creation, popup draft cancellation, mouse selection inside a modal and undoing popup apply as one source edit.
+- The in-app browser visually confirmed the reduced sample header and the inline/Note-style layout examples. These examples do not claim installation into the actual Note/Word/Site/Slide products; their data/undo bridges and real OS IME coverage remain open.
+
+## English message keys and literal-symbol ordering — 2026-09-08
+
+83 unit tests pass, including an invariant that every library/demo locale message key is an English semantic identifier and both languages have matching keys. Literal-symbol ordering is covered for `/`, `^`, `*`, `sum` and `division` in Korean and English; uppercase Greek and matrix preset ordering are preserved.
+
+All 78 distinct Chromium scenarios pass across the full run and corrected editing-suite rerun. The initial full run had one test-locator failure: the new assertion selected the page's language option instead of the suggestion list. Scoping it to the math listbox resolved that failure. Keyboard tests now explicitly choose Fraction after the leading ÷ candidate, and shared-adapter tests verify the same order. Build, type, formatting and packed export checks pass.
+
+Earlier validation entries describe their historical default ordering. Current fraction input is `x/ → Down → Enter → 2`, or type `frac` / `분수` to find the structure directly.
+
+## Key-only localization and external-language discovery — 2026-09-08
+
+91 unit tests pass. New cases cover JSON-provided labels/details/aliases, matrix-family aliases, French regional fallback, shared localized slot paths, Japanese/Chinese/Arabic/Hindi/German queries, decomposed accents and template dimensions. Removed source-label conversion and formatting hooks are no longer part of the API.
+
+79 distinct Chromium scenarios pass across the full suite and the five-case locale-suite rerun. The full run passed 78 cases; the new empty-fraction test initially expected denominator focus instead of the intended numerator-first behavior. The corrected test verifies both localized slots via Tab and converts a decomposed French query to a symbol. An earlier adapter-example variable-name collision was also fixed before this run.
+
+Package/demo builds, package and browser-test type checks, formatting, and packed runtime/type/CSS exports pass. Built output is cleaned before compilation so removed modules cannot remain in the package. Language search fixtures are not complete translations or OS IME/RTL validation.