@quillmark/wasm 0.96.0 → 0.98.0

package/backends/typst/wasm.d.ts

@@ -84,25 +84,43 @@ export interface Content {
     islands: ContentIsland[];
 }
 
-/** One `\n`-separated segment of `Content.text`, in order. */
+/** One `\n`-separated segment of `Content.text`, in order. `kind` is an open set
+ * (as on `ContentIsland` and `ContentMark`): a role this build does not know
+ * round-trips with opaque `attrs` and renders as a paragraph, so a document
+ * carrying a future block construct still opens. The open arm blocks discriminant
+ * narrowing, so read `level`/`lang` behind a check of the arm you want. */
 export type ContentLine = {
     containers: ContentContainer[];
     /** A within-block hard line break rather than a new block. Omitted (false) in the common case. */
     continues?: boolean;
-} & (
+} & ContentLineKind;
+
+/** A line's block role, declared once for `ContentLine` and the `setKind` op —
+ * a new role is one edit here, as for `ContentContainer`. */
+export type ContentLineKind =
 | { kind: "para" }
 | { kind: "heading"; level: number }
 | { kind: "code"; lang?: string }
 | { kind: "island" }
 | { kind: "rule" }
-);
+| { kind: string; attrs: unknown };
 
-/** An ancestor block a line nests inside, outermost first. */
+/** An ancestor block a line nests inside, outermost first. Open like
+ * `ContentLine.kind`: an unrecognized container round-trips with opaque `attrs`
+ * and renders transparently (its lines sit at the enclosing level). */
 export type ContentContainer =
 | { container: "list_item"; ordered: boolean; start: number; ordinal: number }
-| { container: "quote" };
-
-/** A mark over char range `[start, end)` into `Content.text`. */
+| { container: "quote" }
+| { container: string; attrs: unknown };
+
+/** A mark over char range `[start, end)` into `Content.text`. The open `type`
+ * arm blocks discriminant narrowing (as on `ContentIsland`), so read a
+ * payload-carrying arm behind its guard — `isLinkMark` (`url`) / `isAnchorMark`
+ * (`id`), from `@quillmark/wasm/runtime`; the bare arms carry no payload. An
+ * `anchor`'s `id` is a caller-supplied, opaque handle, unique per `Content` and
+ * invariant while the mark lives (positions rebase, the id never does); it has no
+ * markdown projection and survives only through the edit lane. See DOCUMENT_STORAGE
+ * § Anchor-id identity. */
 export type ContentMark = { start: number; end: number } & (
 | { type: "strong" | "emph" | "underline" | "strike" | "code" }
 | { type: "link"; url: string }
@@ -138,7 +156,8 @@ export interface ImageProps {
  * open set: the engine pins `props` as `TableProps` for `table` and `ImageProps`
  * for `image`; an island of any other type round-trips with opaque `props`. Like
  * `ContentMark`, the open `type` arm means a discriminant check does not itself
- * narrow `props` — key off `type` and read `props` as the matching shape. */
+ * narrow `props` — read `props` as the matching shape behind the `isTableIsland` /
+ * `isImageIsland` guards (from `@quillmark/wasm/runtime`), which narrow it. */
 export type ContentIsland = {
     id: string;
     /** How faithfully the markdown projection can carry this island. */
@@ -191,7 +210,10 @@ export type Assoc = "before" | "after";
 /**
  * A mark edit in final-text coordinates (post-delta, post-line-op). `add` /
  * `remove` carry the `ContentMark` vocabulary (`{ type, … }`); `removeAnchor`
- * drops one identity anchor by id.
+ * drops one identity anchor by id. An `add` of an `anchor` requires a non-empty
+ * `id` not already live in the field — a collision or the empty id throws
+ * (ids are caller-supplied and unique per `Content`; DOCUMENT_STORAGE
+ * § Anchor-id identity).
  */
 export type MarkOp =
 | ({ op: "add" | "remove"; start: number; end: number } & (
@@ -212,11 +234,7 @@ export type MarkOp =
 export type LineOp =
 | { op: "split"; at: number }
 | { op: "join"; line: number }
-| ({ op: "setKind"; line: number } & (
-| { kind: "para" | "island" | "rule" }
-| { kind: "heading"; level: number }
-| { kind: "code"; lang?: string }
-))
+| ({ op: "setKind"; line: number } & ContentLineKind)
 | { op: "setContainers"; line: number; containers: ContentContainer[] }
 | { op: "setContinues"; line: number; continues: boolean };
 
@@ -542,7 +560,7 @@ export interface RenderResult {
 
 export type HitGranularity = "cluster" | "segment";
 
-export type OutputFormat = "pdf" | "svg" | "txt" | "png";
+export type OutputFormat = "pdf" | "svg" | "png";
 
 export type Severity = "error" | "warning";
 
@@ -580,10 +598,10 @@ export class Document {
      */
     card(index: number): Card;
     /**
-     * The index of the first composable card whose `$id` equals `id`, or
-     * `undefined` when none carries it. Resolves the canonical durable address
+     * The index of the composable card whose `$id` equals `id`, or
+     * `undefined` when none carries it. Resolves the durable card handle
      * without a hand-rolled scan over [`cards`](Self::cards); `$id` is
-     * non-unique by design, so the first match wins.
+     * unique per document, so at most one card matches.
      */
     cardIndexById(id: string): number | undefined;
     clone(): Document;
@@ -625,17 +643,6 @@ export class Document {
      * Parse markdown into a typed Document. Throws on parse errors.
      */
     static fromMarkdown(markdown: string): Document;
-    /**
-     * Read the value at `addr` — the raw stored payload value of a field (a
-     * content object for a richtext field, a scalar/array/object otherwise), or
-     * the **body content** when `addr.field` is absent. A bare string is `Addr`
-     * shorthand for `{ field }`. Reads are total over the field axis: an absent
-     * field is `undefined`; only an out-of-range `addr.card` throws
-     * `edit::index_out_of_range`. Reads need no schema, so they live on
-     * `Document`, not the typed writer; for the markdown projection of a
-     * richtext value use [`getMarkdown`](Self::get_markdown).
-     */
-    get(addr: Addr | string): unknown;
     /**
      * The whole `$ext` map at `addr` (a card address, absent `card` = main), or
      * `undefined` when the card carries none. The fine-grained `$ext` read —
@@ -662,6 +669,19 @@ export class Document {
      * type (#978). An out-of-range `addr.card` throws.
      */
     getMarkdown(addr?: CardAddr): string;
+    /**
+     * Read the **verbatim stored value** at `addr` — the raw payload value of a
+     * field (a content object for a richtext field, a scalar/array/object
+     * otherwise), or the **body content** when `addr.field` is absent. A bare
+     * string is `Addr` shorthand for `{ field }`. Reads are total over the field
+     * axis: an absent field is `undefined`; only an out-of-range `addr.card`
+     * throws `edit::index_out_of_range`. Needs no schema, so it lives on
+     * `Document` — the read echo of the verbatim `store*` write, distinct from
+     * the interpreted schema-plane [`reader.get`](Self::reader_get). For the
+     * markdown projection use [`getMarkdown`](Self::get_markdown) (body) or
+     * `reader.get` (a field's declared type).
+     */
+    getStored(addr: Addr | string): unknown;
     /**
      * Insert a card — the single insertion verb: `at` absent appends, a number
      * inserts at that index (must be in `0..=cards.length`). Accepts a
@@ -707,8 +727,16 @@ export class Document {
      * Build a fresh `Card` from a kind and a flat field map — the ergonomic
      * constructor for `insertCard`. `fields` is an optional
      * `Record<string, unknown>` (each entry becomes a card field, in
-     * insertion order); `body` defaults to `""`. Kind validity is checked by
-     * `insertCard`, not here.
+     * insertion order); `body` defaults to `""`.
+     *
+     * Sugar, not a required step: `insertCard` takes any `Card` object, and
+     * `removeCard` returns one, so a card round-trips without passing through
+     * here.
+     *
+     * Checks only what a detached card can decide alone: field-name grammar
+     * and value depth. Kind validity is positional — `main` is right for the
+     * root, reserved for a composable card — so `insertCard` is its gate, and
+     * any kind string is accepted here.
      */
     static makeCard(kind: string, fields?: Record<string, unknown>, body?: string): Card;
     /**
@@ -762,7 +790,7 @@ export class Document {
     removeSeedNamespace(card_kind: string): any;
     /**
      * **Revise** the richtext value at `addr` from a markdown string — **edit
-     * semantics**, the default write path, returning the text [`Delta`]. Imports
+     * semantics**, the default write path, returning the text `Delta`. Imports
      * the markdown, diffs it against the current value, rebases surviving
      * identity anchors, and returns the change an editor bridge maps its own
      * positions through (`mapPos`). An absent `addr.field` targets the body, an
@@ -1029,7 +1057,8 @@ export class Quill {
      * The resolved-value view of `doc` against this quill's schema — for every
      * declared field the value the render projection would use and the
      * `FieldSource` rung it came from (`"authored" | "default" | "zero"`), in
-     * one call. The card body rides the `fields` map under the `$body` key.
+     * one call. The card body is a `body` sibling on its card (row `name`
+     * `"body"`), never a row in `fields` — `null` when the kind enables no body.
      *
      * Value and provenance only: completeness and errors stay `validate`'s
      * (a consumer merges it with its own diagnostic producers regardless), and
@@ -1178,10 +1207,11 @@ export function importMarkdown(markdown: string): Content;
 export function init(): void;
 
 /**
- * Map a base content position through a `delta` to its new position — the pure
- * position-mapping codec an editor bridge composes to hold a caret stable
- * across a `revise`. `assoc` decides the side of a same-position insertion
- * (`"after"` moves past it). Throws on a malformed `delta`.
+ * Map a base content position — a USV index into `Content.text`, not a UTF-16
+ * offset — through a `delta` to its new USV position: the pure position-mapping
+ * codec an editor bridge composes to hold a caret stable across a `revise`.
+ * `assoc` decides the side of a same-position insertion (`"after"` moves past
+ * it). Throws on a malformed `delta`.
  */
 export function mapPos(delta: Delta, pos: number, assoc: Assoc): number;
 
@@ -1197,8 +1227,9 @@ export function parseDocPath(path: string): DocPathSeg[];
 /**
  * Rebase `markdown` onto a `base` content — the pure, document-free twin of
  * `revise`: cold-import + `diff_import`, returning the new `content` and the
- * text `delta` (surviving anchors rebased). Use it to compute a revise without
- * a document in hand; `revise(addr, md)` fuses this with the store for
- * atomicity. Throws on an over-nested markdown input or a non-content `base`.
+ * text `delta` (its offsets USV indices into `Content.text`, surviving anchors
+ * rebased). Use it to compute a revise without a document in hand; `revise(addr,
+ * md)` fuses this with the store for atomicity. Throws on an over-nested
+ * markdown input or a non-content `base`.
  */
 export function rebase(base: Content, markdown: string): { content: Content; delta: Delta };

package/backends/typst/wasm_bg.js

@@ -131,7 +131,7 @@ export class Document {
     /**
      * Interpreted read at `addr`, resolving the field's declared `type` from
      * `quill` — the stable ABI under the runtime `reader.get` / `reader.card(i).get`.
-     * The schema-plane twin of the quill-free [`get`](Self::get): a `richtext`
+     * The schema-plane twin of the quill-free [`getStored`](Self::get_stored): a `richtext`
      * field returns its markdown projection, every other declared type its
      * canonical value verbatim, so a consumer holding the quill reads by field
      * meaning rather than by wire shape.
@@ -176,7 +176,7 @@ export class Document {
      * surviving anchors rebase (as [`revise`](Self::revise)), then the diffed
      * result is schema-conformed, so a `richtext(inline)` field rejects a
      * multi-block result with `edit::field_richtext_not_inline`. Returns the
-     * text [`Delta`].
+     * text `Delta`.
      *
      * `addr` must name a field (a bare string is `{ field }`); a body address
      * throws (a body carries no field schema — use [`revise`](Self::revise)). A
@@ -290,10 +290,10 @@ export class Document {
         return ret >>> 0;
     }
     /**
-     * The index of the first composable card whose `$id` equals `id`, or
-     * `undefined` when none carries it. Resolves the canonical durable address
+     * The index of the composable card whose `$id` equals `id`, or
+     * `undefined` when none carries it. Resolves the durable card handle
      * without a hand-rolled scan over [`cards`](Self::cards); `$id` is
-     * non-unique by design, so the first match wins.
+     * unique per document, so at most one card matches.
      * @param {string} id
      * @returns {number | undefined}
      */
@@ -457,33 +457,6 @@ export class Document {
             wasm.__wbindgen_add_to_stack_pointer(16);
         }
     }
-    /**
-     * Read the value at `addr` — the raw stored payload value of a field (a
-     * content object for a richtext field, a scalar/array/object otherwise), or
-     * the **body content** when `addr.field` is absent. A bare string is `Addr`
-     * shorthand for `{ field }`. Reads are total over the field axis: an absent
-     * field is `undefined`; only an out-of-range `addr.card` throws
-     * `edit::index_out_of_range`. Reads need no schema, so they live on
-     * `Document`, not the typed writer; for the markdown projection of a
-     * richtext value use [`getMarkdown`](Self::get_markdown).
-     * @param {Addr | string} addr
-     * @returns {unknown}
-     */
-    get(addr) {
-        try {
-            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            wasm.document_get(retptr, this.__wbg_ptr, addHeapObject(addr));
-            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
-            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
-            var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
-            if (r2) {
-                throw takeObject(r1);
-            }
-            return takeObject(r0);
-        } finally {
-            wasm.__wbindgen_add_to_stack_pointer(16);
-        }
-    }
     /**
      * The whole `$ext` map at `addr` (a card address, absent `card` = main), or
      * `undefined` when the card carries none. The fine-grained `$ext` read —
@@ -561,6 +534,35 @@ export class Document {
             wasm.__wbindgen_add_to_stack_pointer(16);
         }
     }
+    /**
+     * Read the **verbatim stored value** at `addr` — the raw payload value of a
+     * field (a content object for a richtext field, a scalar/array/object
+     * otherwise), or the **body content** when `addr.field` is absent. A bare
+     * string is `Addr` shorthand for `{ field }`. Reads are total over the field
+     * axis: an absent field is `undefined`; only an out-of-range `addr.card`
+     * throws `edit::index_out_of_range`. Needs no schema, so it lives on
+     * `Document` — the read echo of the verbatim `store*` write, distinct from
+     * the interpreted schema-plane [`reader.get`](Self::reader_get). For the
+     * markdown projection use [`getMarkdown`](Self::get_markdown) (body) or
+     * `reader.get` (a field's declared type).
+     * @param {Addr | string} addr
+     * @returns {unknown}
+     */
+    getStored(addr) {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.document_getStored(retptr, this.__wbg_ptr, addHeapObject(addr));
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
+            if (r2) {
+                throw takeObject(r1);
+            }
+            return takeObject(r0);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
     /**
      * Insert a card — the single insertion verb: `at` absent appends, a number
      * inserts at that index (must be in `0..=cards.length`). Accepts a
@@ -685,8 +687,16 @@ export class Document {
      * Build a fresh `Card` from a kind and a flat field map — the ergonomic
      * constructor for `insertCard`. `fields` is an optional
      * `Record<string, unknown>` (each entry becomes a card field, in
-     * insertion order); `body` defaults to `""`. Kind validity is checked by
-     * `insertCard`, not here.
+     * insertion order); `body` defaults to `""`.
+     *
+     * Sugar, not a required step: `insertCard` takes any `Card` object, and
+     * `removeCard` returns one, so a card round-trips without passing through
+     * here.
+     *
+     * Checks only what a detached card can decide alone: field-name grammar
+     * and value depth. Kind validity is positional — `main` is right for the
+     * root, reserved for a composable card — so `insertCard` is its gate, and
+     * any kind string is accepted here.
      * @param {string} kind
      * @param {Record<string, unknown>} [fields]
      * @param {string} [body]
@@ -917,7 +927,7 @@ export class Document {
     }
     /**
      * **Revise** the richtext value at `addr` from a markdown string — **edit
-     * semantics**, the default write path, returning the text [`Delta`]. Imports
+     * semantics**, the default write path, returning the text `Delta`. Imports
      * the markdown, diffs it against the current value, rebases surviving
      * identity anchors, and returns the change an editor bridge maps its own
      * positions through (`mapPos`). An absent `addr.field` targets the body, an
@@ -1691,7 +1701,8 @@ export class Quill {
      * The resolved-value view of `doc` against this quill's schema — for every
      * declared field the value the render projection would use and the
      * `FieldSource` rung it came from (`"authored" | "default" | "zero"`), in
-     * one call. The card body rides the `fields` map under the `$body` key.
+     * one call. The card body is a `body` sibling on its card (row `name`
+     * `"body"`), never a row in `fields` — `null` when the kind enables no body.
      *
      * Value and provenance only: completeness and errors stay `validate`'s
      * (a consumer merges it with its own diagnostic producers regardless), and
@@ -2064,10 +2075,11 @@ export function init() {
 }
 
 /**
- * Map a base content position through a `delta` to its new position — the pure
- * position-mapping codec an editor bridge composes to hold a caret stable
- * across a `revise`. `assoc` decides the side of a same-position insertion
- * (`"after"` moves past it). Throws on a malformed `delta`.
+ * Map a base content position — a USV index into `Content.text`, not a UTF-16
+ * offset — through a `delta` to its new USV position: the pure position-mapping
+ * codec an editor bridge composes to hold a caret stable across a `revise`.
+ * `assoc` decides the side of a same-position insertion (`"after"` moves past
+ * it). Throws on a malformed `delta`.
  * @param {Delta} delta
  * @param {number} pos
  * @param {Assoc} assoc
@@ -2119,9 +2131,10 @@ export function parseDocPath(path) {
 /**
  * Rebase `markdown` onto a `base` content — the pure, document-free twin of
  * `revise`: cold-import + `diff_import`, returning the new `content` and the
- * text `delta` (surviving anchors rebased). Use it to compute a revise without
- * a document in hand; `revise(addr, md)` fuses this with the store for
- * atomicity. Throws on an over-nested markdown input or a non-content `base`.
+ * text `delta` (its offsets USV indices into `Content.text`, surviving anchors
+ * rebased). Use it to compute a revise without a document in hand; `revise(addr,
+ * md)` fuses this with the store for atomicity. Throws on an over-nested
+ * markdown input or a non-content `base`.
  * @param {Content} base
  * @param {string} markdown
  * @returns {{ content: Content; delta: Delta }}

package/backends/typst/wasm_bg.wasm.d.ts

@@ -23,10 +23,10 @@ export const document_formatDiagnostic: (a: number, b: number) => void;
 export const document_formatRules: (a: number) => void;
 export const document_fromJson: (a: number, b: number, c: number) => void;
 export const document_fromMarkdown: (a: number, b: number, c: number) => void;
-export const document_get: (a: number, b: number, c: number) => void;
 export const document_getExt: (a: number, b: number, c: number) => void;
 export const document_getExtNamespace: (a: number, b: number, c: number, d: number, e: number) => void;
 export const document_getMarkdown: (a: number, b: number, c: number) => void;
+export const document_getStored: (a: number, b: number, c: number) => void;
 export const document_insertCard: (a: number, b: number, c: number, d: number) => void;
 export const document_install: (a: number, b: number, c: number, d: number) => void;
 export const document_isFill: (a: number, b: number, c: number) => void;

package/core/wasm.d.ts

@@ -84,25 +84,43 @@ export interface Content {
     islands: ContentIsland[];
 }
 
-/** One `\n`-separated segment of `Content.text`, in order. */
+/** One `\n`-separated segment of `Content.text`, in order. `kind` is an open set
+ * (as on `ContentIsland` and `ContentMark`): a role this build does not know
+ * round-trips with opaque `attrs` and renders as a paragraph, so a document
+ * carrying a future block construct still opens. The open arm blocks discriminant
+ * narrowing, so read `level`/`lang` behind a check of the arm you want. */
 export type ContentLine = {
     containers: ContentContainer[];
     /** A within-block hard line break rather than a new block. Omitted (false) in the common case. */
     continues?: boolean;
-} & (
+} & ContentLineKind;
+
+/** A line's block role, declared once for `ContentLine` and the `setKind` op —
+ * a new role is one edit here, as for `ContentContainer`. */
+export type ContentLineKind =
 | { kind: "para" }
 | { kind: "heading"; level: number }
 | { kind: "code"; lang?: string }
 | { kind: "island" }
 | { kind: "rule" }
-);
+| { kind: string; attrs: unknown };
 
-/** An ancestor block a line nests inside, outermost first. */
+/** An ancestor block a line nests inside, outermost first. Open like
+ * `ContentLine.kind`: an unrecognized container round-trips with opaque `attrs`
+ * and renders transparently (its lines sit at the enclosing level). */
 export type ContentContainer =
 | { container: "list_item"; ordered: boolean; start: number; ordinal: number }
-| { container: "quote" };
-
-/** A mark over char range `[start, end)` into `Content.text`. */
+| { container: "quote" }
+| { container: string; attrs: unknown };
+
+/** A mark over char range `[start, end)` into `Content.text`. The open `type`
+ * arm blocks discriminant narrowing (as on `ContentIsland`), so read a
+ * payload-carrying arm behind its guard — `isLinkMark` (`url`) / `isAnchorMark`
+ * (`id`), from `@quillmark/wasm/runtime`; the bare arms carry no payload. An
+ * `anchor`'s `id` is a caller-supplied, opaque handle, unique per `Content` and
+ * invariant while the mark lives (positions rebase, the id never does); it has no
+ * markdown projection and survives only through the edit lane. See DOCUMENT_STORAGE
+ * § Anchor-id identity. */
 export type ContentMark = { start: number; end: number } & (
 | { type: "strong" | "emph" | "underline" | "strike" | "code" }
 | { type: "link"; url: string }
@@ -138,7 +156,8 @@ export interface ImageProps {
  * open set: the engine pins `props` as `TableProps` for `table` and `ImageProps`
  * for `image`; an island of any other type round-trips with opaque `props`. Like
  * `ContentMark`, the open `type` arm means a discriminant check does not itself
- * narrow `props` — key off `type` and read `props` as the matching shape. */
+ * narrow `props` — read `props` as the matching shape behind the `isTableIsland` /
+ * `isImageIsland` guards (from `@quillmark/wasm/runtime`), which narrow it. */
 export type ContentIsland = {
     id: string;
     /** How faithfully the markdown projection can carry this island. */
@@ -191,7 +210,10 @@ export type Assoc = "before" | "after";
 /**
  * A mark edit in final-text coordinates (post-delta, post-line-op). `add` /
  * `remove` carry the `ContentMark` vocabulary (`{ type, … }`); `removeAnchor`
- * drops one identity anchor by id.
+ * drops one identity anchor by id. An `add` of an `anchor` requires a non-empty
+ * `id` not already live in the field — a collision or the empty id throws
+ * (ids are caller-supplied and unique per `Content`; DOCUMENT_STORAGE
+ * § Anchor-id identity).
  */
 export type MarkOp =
 | ({ op: "add" | "remove"; start: number; end: number } & (
@@ -212,11 +234,7 @@ export type MarkOp =
 export type LineOp =
 | { op: "split"; at: number }
 | { op: "join"; line: number }
-| ({ op: "setKind"; line: number } & (
-| { kind: "para" | "island" | "rule" }
-| { kind: "heading"; level: number }
-| { kind: "code"; lang?: string }
-))
+| ({ op: "setKind"; line: number } & ContentLineKind)
 | { op: "setContainers"; line: number; containers: ContentContainer[] }
 | { op: "setContinues"; line: number; continues: boolean };
 
@@ -451,10 +469,10 @@ export class Document {
      */
     card(index: number): Card;
     /**
-     * The index of the first composable card whose `$id` equals `id`, or
-     * `undefined` when none carries it. Resolves the canonical durable address
+     * The index of the composable card whose `$id` equals `id`, or
+     * `undefined` when none carries it. Resolves the durable card handle
      * without a hand-rolled scan over [`cards`](Self::cards); `$id` is
-     * non-unique by design, so the first match wins.
+     * unique per document, so at most one card matches.
      */
     cardIndexById(id: string): number | undefined;
     clone(): Document;
@@ -496,17 +514,6 @@ export class Document {
      * Parse markdown into a typed Document. Throws on parse errors.
      */
     static fromMarkdown(markdown: string): Document;
-    /**
-     * Read the value at `addr` — the raw stored payload value of a field (a
-     * content object for a richtext field, a scalar/array/object otherwise), or
-     * the **body content** when `addr.field` is absent. A bare string is `Addr`
-     * shorthand for `{ field }`. Reads are total over the field axis: an absent
-     * field is `undefined`; only an out-of-range `addr.card` throws
-     * `edit::index_out_of_range`. Reads need no schema, so they live on
-     * `Document`, not the typed writer; for the markdown projection of a
-     * richtext value use [`getMarkdown`](Self::get_markdown).
-     */
-    get(addr: Addr | string): unknown;
     /**
      * The whole `$ext` map at `addr` (a card address, absent `card` = main), or
      * `undefined` when the card carries none. The fine-grained `$ext` read —
@@ -533,6 +540,19 @@ export class Document {
      * type (#978). An out-of-range `addr.card` throws.
      */
     getMarkdown(addr?: CardAddr): string;
+    /**
+     * Read the **verbatim stored value** at `addr` — the raw payload value of a
+     * field (a content object for a richtext field, a scalar/array/object
+     * otherwise), or the **body content** when `addr.field` is absent. A bare
+     * string is `Addr` shorthand for `{ field }`. Reads are total over the field
+     * axis: an absent field is `undefined`; only an out-of-range `addr.card`
+     * throws `edit::index_out_of_range`. Needs no schema, so it lives on
+     * `Document` — the read echo of the verbatim `store*` write, distinct from
+     * the interpreted schema-plane [`reader.get`](Self::reader_get). For the
+     * markdown projection use [`getMarkdown`](Self::get_markdown) (body) or
+     * `reader.get` (a field's declared type).
+     */
+    getStored(addr: Addr | string): unknown;
     /**
      * Insert a card — the single insertion verb: `at` absent appends, a number
      * inserts at that index (must be in `0..=cards.length`). Accepts a
@@ -578,8 +598,16 @@ export class Document {
      * Build a fresh `Card` from a kind and a flat field map — the ergonomic
      * constructor for `insertCard`. `fields` is an optional
      * `Record<string, unknown>` (each entry becomes a card field, in
-     * insertion order); `body` defaults to `""`. Kind validity is checked by
-     * `insertCard`, not here.
+     * insertion order); `body` defaults to `""`.
+     *
+     * Sugar, not a required step: `insertCard` takes any `Card` object, and
+     * `removeCard` returns one, so a card round-trips without passing through
+     * here.
+     *
+     * Checks only what a detached card can decide alone: field-name grammar
+     * and value depth. Kind validity is positional — `main` is right for the
+     * root, reserved for a composable card — so `insertCard` is its gate, and
+     * any kind string is accepted here.
      */
     static makeCard(kind: string, fields?: Record<string, unknown>, body?: string): Card;
     /**
@@ -633,7 +661,7 @@ export class Document {
     removeSeedNamespace(card_kind: string): any;
     /**
      * **Revise** the richtext value at `addr` from a markdown string — **edit
-     * semantics**, the default write path, returning the text [`Delta`]. Imports
+     * semantics**, the default write path, returning the text `Delta`. Imports
      * the markdown, diffs it against the current value, rebases surviving
      * identity anchors, and returns the change an editor bridge maps its own
      * positions through (`mapPos`). An absent `addr.field` targets the body, an
@@ -776,7 +804,8 @@ export class Quill {
      * The resolved-value view of `doc` against this quill's schema — for every
      * declared field the value the render projection would use and the
      * `FieldSource` rung it came from (`"authored" | "default" | "zero"`), in
-     * one call. The card body rides the `fields` map under the `$body` key.
+     * one call. The card body is a `body` sibling on its card (row `name`
+     * `"body"`), never a row in `fields` — `null` when the kind enables no body.
      *
      * Value and provenance only: completeness and errors stay `validate`'s
      * (a consumer merges it with its own diagnostic producers regardless), and
@@ -891,10 +920,11 @@ export function importMarkdown(markdown: string): Content;
 export function init(): void;
 
 /**
- * Map a base content position through a `delta` to its new position — the pure
- * position-mapping codec an editor bridge composes to hold a caret stable
- * across a `revise`. `assoc` decides the side of a same-position insertion
- * (`"after"` moves past it). Throws on a malformed `delta`.
+ * Map a base content position — a USV index into `Content.text`, not a UTF-16
+ * offset — through a `delta` to its new USV position: the pure position-mapping
+ * codec an editor bridge composes to hold a caret stable across a `revise`.
+ * `assoc` decides the side of a same-position insertion (`"after"` moves past
+ * it). Throws on a malformed `delta`.
  */
 export function mapPos(delta: Delta, pos: number, assoc: Assoc): number;
 
@@ -910,8 +940,9 @@ export function parseDocPath(path: string): DocPathSeg[];
 /**
  * Rebase `markdown` onto a `base` content — the pure, document-free twin of
  * `revise`: cold-import + `diff_import`, returning the new `content` and the
- * text `delta` (surviving anchors rebased). Use it to compute a revise without
- * a document in hand; `revise(addr, md)` fuses this with the store for
- * atomicity. Throws on an over-nested markdown input or a non-content `base`.
+ * text `delta` (its offsets USV indices into `Content.text`, surviving anchors
+ * rebased). Use it to compute a revise without a document in hand; `revise(addr,
+ * md)` fuses this with the store for atomicity. Throws on an over-nested
+ * markdown input or a non-content `base`.
  */
 export function rebase(base: Content, markdown: string): { content: Content; delta: Delta };