edytor 3.0.0 → 4.0.0

package/dist/export/forms.d.ts

@@ -170,8 +170,8 @@ export declare const equationForms: (mathml?: MathML) => {
         equation: {
             itemKind?: string;
             island?: boolean;
-            rendersContent: boolean;
             defaultChild?: string;
+            rendersContent: boolean;
             void: boolean;
             lines?: boolean;
             html?: string | ((block: JSONBlock, content: string, children: string) => string);
@@ -234,8 +234,8 @@ export declare const bundledRead: () => {
             }[];
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent?: boolean | undefined;
             defaultChild?: string | undefined;
+            rendersContent?: boolean | undefined;
             void?: boolean | undefined;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -249,8 +249,8 @@ export declare const bundledRead: () => {
             presets: {}[];
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent?: boolean | undefined;
             defaultChild?: string | undefined;
+            rendersContent?: boolean | undefined;
             void?: boolean | undefined;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -264,8 +264,8 @@ export declare const bundledRead: () => {
             presets: {}[];
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent?: boolean | undefined;
             defaultChild?: string | undefined;
+            rendersContent?: boolean | undefined;
             void?: boolean | undefined;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -286,8 +286,8 @@ export declare const bundledRead: () => {
             presets: {}[];
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent?: boolean | undefined;
             defaultChild?: string | undefined;
+            rendersContent?: boolean | undefined;
             void?: boolean | undefined;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -305,8 +305,8 @@ export declare const bundledRead: () => {
             }[];
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent?: boolean | undefined;
             defaultChild?: string | undefined;
+            rendersContent?: boolean | undefined;
             void?: boolean | undefined;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -320,8 +320,8 @@ export declare const bundledRead: () => {
             presets: {}[];
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent?: boolean | undefined;
             defaultChild?: string | undefined;
+            rendersContent?: boolean | undefined;
             void?: boolean | undefined;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -335,8 +335,8 @@ export declare const bundledRead: () => {
             presets: {}[];
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent?: boolean | undefined;
             defaultChild?: string | undefined;
+            rendersContent?: boolean | undefined;
             void?: boolean | undefined;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -350,8 +350,8 @@ export declare const bundledRead: () => {
             presets: {}[];
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent: boolean;
             defaultChild?: string | undefined;
+            rendersContent: boolean;
             void: boolean;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -364,8 +364,8 @@ export declare const bundledRead: () => {
         'ordered-list': {
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent: boolean;
             defaultChild: string;
+            rendersContent: boolean;
             void?: boolean | undefined;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -378,8 +378,8 @@ export declare const bundledRead: () => {
         'unordered-list': {
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent: boolean;
             defaultChild: string;
+            rendersContent: boolean;
             void?: boolean | undefined;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -400,8 +400,8 @@ export declare const bundledRead: () => {
         table: {
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent: boolean;
             defaultChild: string;
+            rendersContent: boolean;
             void?: boolean | undefined;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -415,8 +415,8 @@ export declare const bundledRead: () => {
         tableRow: {
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent: boolean;
             defaultChild: string;
+            rendersContent: boolean;
             void?: boolean | undefined;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -429,8 +429,8 @@ export declare const bundledRead: () => {
         tableCell: {
             itemKind?: string | undefined;
             island: boolean;
-            rendersContent?: boolean | undefined;
             defaultChild?: string | undefined;
+            rendersContent?: boolean | undefined;
             void?: boolean | undefined;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -443,8 +443,8 @@ export declare const bundledRead: () => {
         image: {
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent?: boolean | undefined;
             defaultChild?: string | undefined;
+            rendersContent?: boolean | undefined;
             void: boolean;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -457,8 +457,8 @@ export declare const bundledRead: () => {
         embed: {
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent?: boolean | undefined;
             defaultChild?: string | undefined;
+            rendersContent?: boolean | undefined;
             void: boolean;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -471,8 +471,8 @@ export declare const bundledRead: () => {
         bookmark: {
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent?: boolean | undefined;
             defaultChild?: string | undefined;
+            rendersContent?: boolean | undefined;
             void: boolean;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -485,8 +485,8 @@ export declare const bundledRead: () => {
         file: {
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent?: boolean | undefined;
             defaultChild?: string | undefined;
+            rendersContent?: boolean | undefined;
             void: boolean;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -499,8 +499,8 @@ export declare const bundledRead: () => {
         video: {
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent?: boolean | undefined;
             defaultChild?: string | undefined;
+            rendersContent?: boolean | undefined;
             void: boolean;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -513,8 +513,8 @@ export declare const bundledRead: () => {
         audio: {
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent?: boolean | undefined;
             defaultChild?: string | undefined;
+            rendersContent?: boolean | undefined;
             void: boolean;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -527,8 +527,8 @@ export declare const bundledRead: () => {
         page: {
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent: boolean;
             defaultChild?: string | undefined;
+            rendersContent: boolean;
             void: boolean;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -541,8 +541,8 @@ export declare const bundledRead: () => {
         toc: {
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent: boolean;
             defaultChild?: string | undefined;
+            rendersContent: boolean;
             void: boolean;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -555,8 +555,8 @@ export declare const bundledRead: () => {
         equation: {
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent: boolean;
             defaultChild?: string | undefined;
+            rendersContent: boolean;
             void: boolean;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -569,8 +569,8 @@ export declare const bundledRead: () => {
         columns: {
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent: boolean;
             defaultChild: string;
+            rendersContent: boolean;
             void?: boolean | undefined;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;
@@ -584,8 +584,8 @@ export declare const bundledRead: () => {
         column: {
             itemKind?: string | undefined;
             island?: boolean | undefined;
-            rendersContent: boolean;
             defaultChild?: string | undefined;
+            rendersContent: boolean;
             void?: boolean | undefined;
             lines?: boolean | undefined;
             html?: string | ((block: JSONBlock, content: string, children: string) => string) | undefined;

package/dist/surface/observer.svelte.js

@@ -187,7 +187,7 @@ export class SurfaceObserver {
     #heals = 0;
     /** The pass wrote the host itself: a render (the projector displays after it). */
     #wrote = false;
-    /** Records arrived since the last pass (a display waiting on them gets a pass). */
+    /** Records arrived since the last pass (the projector reads what they did: `rendered`). */
     #fresh = false;
     #window = null;
     constructor(edytor) {
@@ -534,7 +534,7 @@ export class SurfaceObserver {
         }
         if (this.#fresh) {
             this.#fresh = false;
-            void settle(work).then(edytor.projector.inputHandled);
+            void settle(work).then(edytor.projector.rendered);
         }
         return work;
     };

package/dist/surface/projector.svelte.d.ts

@@ -28,11 +28,23 @@ export declare class Projector {
      * removal re-rendering the text under a range) runs now. The flag is no
      * reactive source, so no later flush is owed: without this, the range the
      * render moved (Firefox keeps it where the removed element stood) would be
-     * adopted as the gesture's when its `selectionchange` lands. The observer
-     * calls it too once it processed DOM records: a display that waits gets a
-     * pass.
+     * adopted as the gesture's when its `selectionchange` lands.
      */
     inputHandled: () => void;
+    /**
+     * The observer compared the records of a DOM change (a render, a browser
+     * edit): a display that waits on them gets a pass (`inputHandled`), and a
+     * DOM selection they moved off the last observation with no gesture since
+     * is render drift no event reports (`sel.drift.unreported`). A render no
+     * commit asked for (a kind's decoration reading state of its own: a code
+     * grammar that lands re-tokenizes its lines) replaced the text node the
+     * caret was in; the browser left the caret where that node stood (the
+     * line's start) and Chromium and WebKit send no `selectionchange` for it,
+     * while one that comes would read as foreign (no flush ran the projector
+     * since). The value is displayed again now, in the render's own task:
+     * before a key, or its `beforeinput` declaring that caret, can read it.
+     */
+    rendered: () => void;
     /**
      * Classify a `selectionchange` by comparing the DOM selection with the
      * last display, the render epoch and the gesture serial:

package/dist/surface/projector.svelte.js

@@ -34,7 +34,9 @@
  * the render epoch and the gesture serial: echo, render drift (displayed
  * again), composition, foreign write or intent (adopted). Two named, counted,
  * time-bounded browser rules are the only signatures:
- * the Android post-delete snap-back and the IME post-commit jump.
+ * the Android post-delete snap-back and the IME post-commit jump. A render
+ * that moved the DOM selection with no event to say so is drift too, read
+ * from the observer's records (`rendered`, `sel.drift.unreported`).
  */
 import { untrack } from 'svelte';
 import { clearDomSelection, createDomRange, getActiveElement, getDomSelection, getDomSelectionSnapshot, scrollCaretIntoView } from '../selection/domSelection.js';
@@ -88,6 +90,8 @@ export class Projector {
     #opening = false;
     /** The gesture serial at the last observation (a display or an adopted `selectionchange`). */
     #serial = -1;
+    /** Where the DOM selection was at that observation (`#note`; null: no range). */
+    #at = null;
     /** The named rules' evidence: the last model-owned delete and the last IME commit. */
     #deleted = null;
     #committed = null;
@@ -183,14 +187,51 @@ export class Projector {
      * removal re-rendering the text under a range) runs now. The flag is no
      * reactive source, so no later flush is owed: without this, the range the
      * render moved (Firefox keeps it where the removed element stood) would be
-     * adopted as the gesture's when its `selectionchange` lands. The observer
-     * calls it too once it processed DOM records: a display that waits gets a
-     * pass.
+     * adopted as the gesture's when its `selectionchange` lands.
      */
     inputHandled = () => {
         if (this.#pending)
             this.edytor.surface.update();
     };
+    /**
+     * The observer compared the records of a DOM change (a render, a browser
+     * edit): a display that waits on them gets a pass (`inputHandled`), and a
+     * DOM selection they moved off the last observation with no gesture since
+     * is render drift no event reports (`sel.drift.unreported`). A render no
+     * commit asked for (a kind's decoration reading state of its own: a code
+     * grammar that lands re-tokenizes its lines) replaced the text node the
+     * caret was in; the browser left the caret where that node stood (the
+     * line's start) and Chromium and WebKit send no `selectionchange` for it,
+     * while one that comes would read as foreign (no flush ran the projector
+     * since). The value is displayed again now, in the render's own task:
+     * before a key, or its `beforeinput` declaring that caret, can read it.
+     */
+    rendered = () => {
+        if (this.#unreported())
+            this.edytor.selection.display();
+        else
+            this.inputHandled();
+    };
+    /**
+     * `rendered`'s drift: a text value, no display waiting, no gesture, drag
+     * or composition since the last observation, and the DOM selection in the
+     * host no longer where that observation found it.
+     */
+    #unreported = () => {
+        const { edytor } = this;
+        const { selection } = edytor;
+        const at = this.#at;
+        const node = edytor.node;
+        if (!at || !node || selection.value.kind !== 'text' || edytor.intentSerial !== this.#serial)
+            return false;
+        if (selection.request !== this.#request || selection.dragging || edytor.composition.live)
+            return false;
+        const dom = getDomSelection(node);
+        if (!dom || !isOwnPoint(node, dom.anchorNode))
+            return false;
+        return !(samePoint(at.anchor, dom.anchorNode, dom.anchorOffset) &&
+            samePoint(at.focus, dom.focusNode, dom.focusOffset));
+    };
     /**
      * Classify a `selectionchange` by comparing the DOM selection with the
      * last display, the render epoch and the gesture serial:
@@ -283,9 +324,19 @@ export class Projector {
     /** The DOM selection is observed now (adopted, or ignored by the adopter's own rules). */
     #observed = (observation) => {
         this.#seen = this.#flushes;
-        this.#serial = this.edytor.intentSerial;
+        this.#note();
         return observation;
     };
+    /** An observation: its gesture serial, and where the DOM selection is (`#at`). */
+    #note = () => {
+        const { edytor } = this;
+        this.#serial = edytor.intentSerial;
+        const dom = edytor.node && getDomSelection(edytor.node);
+        this.#at =
+            dom?.anchorNode && dom.focusNode
+                ? { anchor: [dom.anchorNode, dom.anchorOffset], focus: [dom.focusNode, dom.focusOffset] }
+                : null;
+    };
     /** The DOM selection is our last display unchanged, or a text-bound range that shows the value. */
     #echoes = (dom) => {
         const displayed = this.#displayed;
@@ -344,7 +395,7 @@ export class Projector {
     observe = () => {
         this.#parking = false;
         this.#seen = this.#flushes;
-        this.#serial = this.edytor.intentSerial;
+        this.#note();
         this.#displayed = null;
     };
     /** Answers whether the pass completed (false: wait for a later flush). */
@@ -388,7 +439,7 @@ export class Projector {
                 if (inside)
                     clearDomSelection(node);
                 this.#displayed = null;
-                this.#serial = edytor.intentSerial;
+                this.#note();
             }
             return true;
         }
@@ -425,7 +476,7 @@ export class Projector {
         selection.scrollOnDisplay = false;
         this.#displayed = { ...points, epoch: selection.epoch };
         this.#seen = this.#flushes;
-        this.#serial = edytor.intentSerial;
+        this.#note();
         selection.observed({
             edge: isCollapsed ? getMarkEdgeSide(startText, start[0], yStart) : undefined
         });

package/package.json

@@ -1,7 +1,7 @@
 {
 	"name": "edytor",
 	"license": "MIT",
-	"version": "3.0.0",
+	"version": "4.0.0",
 	"repository": {
 		"type": "git",
 		"url": "git+https://github.com/beynar/edytor.git"
@@ -163,7 +163,7 @@
 		}
 	},
 	"dependencies": {
-		"@tanstack/highlight": "^0.1.0",
+		"@tanstack/highlight": "^1.1.0",
 		"@tanstack/markdown": "1.0.0",
 		"esm-env": "^1.2.2",
 		"lib0-v14": "npm:lib0@1.0.0-rc.32"

package/dist/crdt/placement/rank.d.ts

@@ -1,87 +0,0 @@
-/**
- * Rank keys for the placement model — a Logoot-style dense ordering.
- *
- * A rank is a non-empty sequence of *segments* `(v, t)`:
- *
- * - `v` — a signed digit in `[VMIN, VMAX]` (±2^40). There is always room
- *   between two distinct digits (`rv - lv > 1`); when there is not, the
- *   generator descends one level instead of renumbering.
- * - `t` — the allocator's `doc.clientID` (uint53), the *tiebreak* that makes
- *   concurrent allocations of the same digit path distinct, or none
- *   (`Infinity`: sorts above every client) on a segment that only leads to
- *   deeper ones. The last segment always carries one (schema
- *   generation 5): a rank's own client sits on its last segment, and a
- *   copied segment keeps its tie only where the order needs it (between two
- *   keys that differ only by their ties).
- *
- * Encoding is variable-length and order-preserving, so the persisted rank
- * is a plain string and the comparator is `a < b` (CRDT study 2026-10;
- * up to generation 4 every segment was 16 characters, 9 of them a tie):
- *
- * - `v` → a length character (`'H'` for zero, `'H' + k` for a positive
- *   digit of `k` base-64 places, `'H' - k` for a negative one, its places
- *   complemented) and its places — small digits are short;
- * - a tie → `'!'`, then `t` as a digit (`'!'` sorts below every length
- *   character, so a tied segment sorts before the same digit leading on);
- * - rank = segments concatenated; a prefix sorts before its extension, as
- *   string `<` does.
- *
- * Allocation (`rankBetween(left, right, clientId)`):
- *
- * - gap at level `i` (`rv - lv > 1`): emit `lv + 1 + floor(rand·(rv-lv-1))`,
- *   own tie — random-in-gap keeps sequential inserts shallow and concurrent
- *   same-gap inserts deterministic-distinct.
- * - adjacent or equal digits (`rv - lv ≤ 1`): the left digit or the right
- *   one with the allocator's own tie when that tie sorts between theirs;
- *   else copy the left segment and descend — untied when that already sorts
- *   below the right bound (the result is then above left and below right,
- *   and the next level is free), tied otherwise.
- * - left exhausted/open: emit `rSeg.v - 1` (boundary-minus). Sequential
- *   prepends stay at depth 1; the bound can only underflow after ~2^40
- *   consecutive boundary pushes — documented unreachable, guarded by a
- *   descriptive throw.
- *
- * No floating point, no global renumbering, no wall clocks.
- */
-/** Digit range. VMIN = -2^40, VMAX = 2^40 - 1. */
-export declare const RANK_VMIN: number;
-export declare const RANK_VMAX: number;
-export type RankSeg = {
-    v: number;
-    t: number;
-};
-/** Thrown when rank generation would need a digit below VMIN (unreachable). */
-export declare class RankSpaceExhausted extends Error {
-    constructor();
-}
-/** Decode a rank string into its segment array (`t: Infinity` where a segment has no tie). */
-export declare const decodeRank: (rank: string) => RankSeg[];
-/** Encode segments back to the persisted string form. */
-export declare const encodeRank: (segs: readonly RankSeg[]) => string;
-/**
- * Allocate a rank strictly between `left` and `right` (either may be
- * `undefined` for the open end of a sibling list). `clientId` is the
- * allocating doc's clientID; `rand` supplies the in-gap pick (defaults to
- * `Math.random`, tests inject a seeded stream).
- *
- * Guaranteed: `left < result < right` for any `left < right`, including
- * equal-prefix/concurrent-collision inputs — the tiebreak dimension makes a
- * strictly-between key always exist (modulo the documented VMIN bound).
- */
-export declare const rankBetween: (left: string | undefined, right: string | undefined, clientId: number, rand?: () => number, compact?: boolean) => string;
-/** The base of the run band: a run member's digit lies just above it. */
-export declare const RANK_RUN: number;
-/**
- * A rank in `(left, right)` for an insert right after `left` — one rule for
- * array items (`crdt/data.ts`) and inserted blocks (`order.insert.run`).
- * When `client` made `left`, the rank is in the client's run after it: `left`
- * itself as the prefix, then one segment of the run band — or, when `left`
- * is already a member of the client's run, that run's prefix and a member
- * between `left` and the next one. So what one client inserts after its own
- * items stays together whatever a peer inserts in that gap meanwhile: a
- * peer's rank there is either no extension of the run's prefix (it sorts
- * after the whole run) or one whose next digit is above the band (YATA's
- * origin rule, as `Y.Array` keeps an insert after its origin). Elsewhere, or
- * when the run rank would not sort below `right`, a plain {@link rankBetween}.
- */
-export declare const rankAfter: (left: string | undefined, right: string | undefined, client: number, rand?: () => number) => string;