satteri 0.10.5 → 0.11.3

package/dist/generated/arena-layout.js

@@ -1,13 +1,7 @@
 // @generated by `cargo run -p satteri-layout-codegen`. Do not edit by hand.
-// Arena raw-buffer layout, declared once in `satteri-layout-codegen/src/schema.rs`.
-// The Rust side is pinned to these offsets by the compile-time asserts in
-// `satteri-arena/src/generated/layout.rs`.
-/** `b"MDAR"` magic, read as a little-endian u32. */
 export const ARENA_MAGIC = 0x5241444d;
-/** `Arena<K>` kind tags carried in the header's `kind` field. */
 export const KIND_MDAST = 1;
 export const KIND_HAST = 2;
-/** `ArenaNode` `#[repr(C)]` field byte offsets (u32 fields; `node_type` is a u8). */
 export const FIELD = {
     id: 0,
     node_type: 4,
@@ -23,7 +17,12 @@ export const FIELD = {
     data_offset: 44,
     data_len: 48,
 };
-/** Raw-buffer header byte offsets (4-byte fields, u32 LE). */
+export const W_PARENT = 2;
+export const W_START_OFFSET = 3;
+export const W_CHILDREN_START = 9;
+export const W_CHILDREN_COUNT = 10;
+export const W_DATA_OFFSET = 11;
+export const W_DATA_LEN = 12;
 export const HEADER = {
     magic: 0,
     kind: 4,

package/dist/generated/fused-wire.d.ts

@@ -0,0 +1,3 @@
+import type { ArenaWire } from "../types.js";
+export declare function readMdastWireNode(wire: ArenaWire, nodeId: number, nodeType: number, node: object): boolean;
+export declare function readHastWireNode(wire: ArenaWire, nodeId: number, nodeType: number, node: object): boolean;

package/dist/generated/fused-wire.js

@@ -0,0 +1,229 @@
+// @generated by `cargo run -p satteri-layout-codegen`. Do not edit by hand.
+import { decodeElementProp } from "../hast/element-props.js";
+import { restorePhantomSpaces } from "../phantom.js";
+import { W_START_OFFSET, W_DATA_LEN, W_DATA_OFFSET } from "./arena-layout.js";
+const FUSED_ENUM_0 = ["shortcut", "collapsed", "full"];
+export function readMdastWireNode(wire, nodeId, nodeType, node) {
+    const { u8, u32, pool } = wire;
+    const w = wire.nodesW + nodeId * wire.strideW;
+    const wp = w + W_START_OFFSET;
+    const startLine = u32[wp + 2] ?? 0;
+    if (startLine !== 0) {
+        node.position = {
+            start: { offset: u32[wp] ?? 0, line: startLine, column: u32[wp + 3] ?? 0 },
+            end: { offset: u32[wp + 1] ?? 0, line: u32[wp + 4] ?? 0, column: u32[wp + 5] ?? 0 },
+        };
+    }
+    const n = node;
+    switch (nodeType) {
+        case 7:
+        case 10:
+        case 13:
+        case 25:
+        case 26: {
+            const dl = u32[w + W_DATA_LEN] ?? 0;
+            const db = (wire.typeDataB + (u32[w + W_DATA_OFFSET] ?? 0)) >> 2;
+            const o0 = u32[db] ?? 0;
+            n.value = dl >= 8 ? pool.substring(o0, o0 + (u32[db + 1] ?? 0)) : "";
+            return true;
+        }
+        case 2: {
+            const dl = u32[w + W_DATA_LEN] ?? 0;
+            const db = (wire.typeDataB + (u32[w + W_DATA_OFFSET] ?? 0)) >> 2;
+            n.depth = dl > 0 ? (u8[(db << 2) + 0] ?? 1) : 1;
+            return true;
+        }
+        case 8: {
+            const dl = u32[w + W_DATA_LEN] ?? 0;
+            const db = (wire.typeDataB + (u32[w + W_DATA_OFFSET] ?? 0)) >> 2;
+            const o0 = u32[db] ?? 0;
+            const s0 = dl >= 8 ? pool.substring(o0, o0 + (u32[db + 1] ?? 0)) : "";
+            n.lang = s0 === "" ? null : s0;
+            const o1 = u32[db + 2] ?? 0;
+            const s1 = dl >= 16 ? pool.substring(o1, o1 + (u32[db + 3] ?? 0)) : "";
+            n.meta = s1 === "" ? null : s1;
+            const o2 = u32[db + 4] ?? 0;
+            n.value = dl >= 24 ? pool.substring(o2, o2 + (u32[db + 5] ?? 0)) : "";
+            return true;
+        }
+        case 9: {
+            const dl = u32[w + W_DATA_LEN] ?? 0;
+            const db = (wire.typeDataB + (u32[w + W_DATA_OFFSET] ?? 0)) >> 2;
+            const o0 = u32[db] ?? 0;
+            n.url = dl >= 8 ? pool.substring(o0, o0 + (u32[db + 1] ?? 0)) : "";
+            const o1 = u32[db + 2] ?? 0;
+            const s1 = dl >= 16 ? pool.substring(o1, o1 + (u32[db + 3] ?? 0)) : "";
+            n.title = s1 === "" ? null : s1;
+            const o2 = u32[db + 4] ?? 0;
+            n.identifier = dl >= 24 ? pool.substring(o2, o2 + (u32[db + 5] ?? 0)) : "";
+            const o3 = u32[db + 6] ?? 0;
+            n.label = dl >= 32 ? pool.substring(o3, o3 + (u32[db + 7] ?? 0)) : "";
+            return true;
+        }
+        case 15: {
+            const dl = u32[w + W_DATA_LEN] ?? 0;
+            const db = (wire.typeDataB + (u32[w + W_DATA_OFFSET] ?? 0)) >> 2;
+            const o0 = u32[db] ?? 0;
+            n.url = dl >= 8 ? pool.substring(o0, o0 + (u32[db + 1] ?? 0)) : "";
+            const o1 = u32[db + 2] ?? 0;
+            const s1 = dl >= 16 ? pool.substring(o1, o1 + (u32[db + 3] ?? 0)) : "";
+            n.title = s1 === "" ? null : s1;
+            return true;
+        }
+        case 16: {
+            const dl = u32[w + W_DATA_LEN] ?? 0;
+            const db = (wire.typeDataB + (u32[w + W_DATA_OFFSET] ?? 0)) >> 2;
+            const o0 = u32[db] ?? 0;
+            n.url = dl >= 8 ? pool.substring(o0, o0 + (u32[db + 1] ?? 0)) : "";
+            const o1 = u32[db + 2] ?? 0;
+            n.alt = dl >= 16 ? pool.substring(o1, o1 + (u32[db + 3] ?? 0)) : "";
+            const o2 = u32[db + 4] ?? 0;
+            const s2 = dl >= 24 ? pool.substring(o2, o2 + (u32[db + 5] ?? 0)) : "";
+            n.title = s2 === "" ? null : s2;
+            return true;
+        }
+        case 17: {
+            const dl = u32[w + W_DATA_LEN] ?? 0;
+            const db = (wire.typeDataB + (u32[w + W_DATA_OFFSET] ?? 0)) >> 2;
+            const o0 = u32[db] ?? 0;
+            n.identifier = dl >= 8 ? pool.substring(o0, o0 + (u32[db + 1] ?? 0)) : "";
+            const o1 = u32[db + 2] ?? 0;
+            n.label = dl >= 16 ? pool.substring(o1, o1 + (u32[db + 3] ?? 0)) : "";
+            const b2 = dl > 16 ? (u8[(db << 2) + 16] ?? 0) : 0;
+            n.referenceType = FUSED_ENUM_0[b2] ?? FUSED_ENUM_0[0];
+            return true;
+        }
+        case 18: {
+            const dl = u32[w + W_DATA_LEN] ?? 0;
+            const db = (wire.typeDataB + (u32[w + W_DATA_OFFSET] ?? 0)) >> 2;
+            const o0 = u32[db] ?? 0;
+            n.identifier = dl >= 8 ? pool.substring(o0, o0 + (u32[db + 1] ?? 0)) : "";
+            const o1 = u32[db + 2] ?? 0;
+            n.label = dl >= 16 ? pool.substring(o1, o1 + (u32[db + 3] ?? 0)) : "";
+            const b2 = dl > 16 ? (u8[(db << 2) + 16] ?? 0) : 0;
+            n.referenceType = FUSED_ENUM_0[b2] ?? FUSED_ENUM_0[0];
+            const o3 = u32[db + 5] ?? 0;
+            n.alt = dl >= 28 ? pool.substring(o3, o3 + (u32[db + 6] ?? 0)) : "";
+            return true;
+        }
+        case 19: {
+            const dl = u32[w + W_DATA_LEN] ?? 0;
+            const db = (wire.typeDataB + (u32[w + W_DATA_OFFSET] ?? 0)) >> 2;
+            const o0 = u32[db] ?? 0;
+            n.identifier = dl >= 8 ? pool.substring(o0, o0 + (u32[db + 1] ?? 0)) : "";
+            const o1 = u32[db + 2] ?? 0;
+            n.label = dl >= 16 ? pool.substring(o1, o1 + (u32[db + 3] ?? 0)) : "";
+            return true;
+        }
+        case 20: {
+            const dl = u32[w + W_DATA_LEN] ?? 0;
+            const db = (wire.typeDataB + (u32[w + W_DATA_OFFSET] ?? 0)) >> 2;
+            const o0 = u32[db] ?? 0;
+            n.identifier = dl >= 8 ? pool.substring(o0, o0 + (u32[db + 1] ?? 0)) : "";
+            const o1 = u32[db + 2] ?? 0;
+            n.label = dl >= 16 ? pool.substring(o1, o1 + (u32[db + 3] ?? 0)) : "";
+            return true;
+        }
+        case 27: {
+            const dl = u32[w + W_DATA_LEN] ?? 0;
+            const db = (wire.typeDataB + (u32[w + W_DATA_OFFSET] ?? 0)) >> 2;
+            const o0 = u32[db] ?? 0;
+            const s0 = dl >= 8 ? pool.substring(o0, o0 + (u32[db + 1] ?? 0)) : "";
+            n.meta = s0 === "" ? null : s0;
+            const o1 = u32[db + 2] ?? 0;
+            n.value = dl >= 16 ? pool.substring(o1, o1 + (u32[db + 3] ?? 0)) : "";
+            return true;
+        }
+        case 28: {
+            const dl = u32[w + W_DATA_LEN] ?? 0;
+            const db = (wire.typeDataB + (u32[w + W_DATA_OFFSET] ?? 0)) >> 2;
+            const o0 = u32[db + 2] ?? 0;
+            n.value = dl >= 16 ? pool.substring(o0, o0 + (u32[db + 3] ?? 0)) : "";
+            return true;
+        }
+        case 102:
+        case 103:
+        case 104: {
+            const dl = u32[w + W_DATA_LEN] ?? 0;
+            const db = (wire.typeDataB + (u32[w + W_DATA_OFFSET] ?? 0)) >> 2;
+            const o0 = u32[db] ?? 0;
+            n.value = restorePhantomSpaces(dl >= 8 ? pool.substring(o0, o0 + (u32[db + 1] ?? 0)) : "");
+            return true;
+        }
+        case 0:
+        case 1:
+        case 3:
+        case 4:
+        case 11:
+        case 12:
+        case 14:
+        case 22:
+        case 23:
+        case 24:
+        case 33:
+        case 34:
+        case 35:
+        case 36:
+            return true;
+        default:
+            return false;
+    }
+}
+export function readHastWireNode(wire, nodeId, nodeType, node) {
+    const { u8, u32, pool } = wire;
+    const w = wire.nodesW + nodeId * wire.strideW;
+    const wp = w + W_START_OFFSET;
+    const startLine = u32[wp + 2] ?? 0;
+    if (startLine !== 0) {
+        node.position = {
+            start: { offset: u32[wp] ?? 0, line: startLine, column: u32[wp + 3] ?? 0 },
+            end: { offset: u32[wp + 1] ?? 0, line: u32[wp + 4] ?? 0, column: u32[wp + 5] ?? 0 },
+        };
+    }
+    const n = node;
+    switch (nodeType) {
+        case 2:
+        case 3:
+        case 5:
+        case 13: {
+            const dl = u32[w + W_DATA_LEN] ?? 0;
+            const db = (wire.typeDataB + (u32[w + W_DATA_OFFSET] ?? 0)) >> 2;
+            const o0 = u32[db] ?? 0;
+            n.value = dl >= 8 ? pool.substring(o0, o0 + (u32[db + 1] ?? 0)) : "";
+            return true;
+        }
+        case 12:
+        case 14: {
+            const dl = u32[w + W_DATA_LEN] ?? 0;
+            const db = (wire.typeDataB + (u32[w + W_DATA_OFFSET] ?? 0)) >> 2;
+            const o0 = u32[db] ?? 0;
+            n.value = restorePhantomSpaces(dl >= 8 ? pool.substring(o0, o0 + (u32[db + 1] ?? 0)) : "");
+            return true;
+        }
+        case 1: {
+            const dl = u32[w + W_DATA_LEN] ?? 0;
+            const db = (wire.typeDataB + (u32[w + W_DATA_OFFSET] ?? 0)) >> 2;
+            let tagName = "";
+            const properties = {};
+            if (dl >= 16) {
+                const toff = u32[db] ?? 0;
+                tagName = pool.substring(toff, toff + (u32[db + 1] ?? 0));
+                const count = u32[db + 2] ?? 0;
+                for (let i = 0; i < count; i++) {
+                    const base = db + 4 + i * 5;
+                    const noff = u32[base] ?? 0;
+                    const voff = u32[base + 3] ?? 0;
+                    properties[pool.substring(noff, noff + (u32[base + 1] ?? 0))] = decodeElementProp(u8[(base << 2) + 8] ?? 0, pool.substring(voff, voff + (u32[base + 4] ?? 0)));
+                }
+            }
+            n.tagName = tagName;
+            n.properties = properties;
+            return true;
+        }
+        case 0:
+        case 4:
+            return true;
+        default:
+            return false;
+    }
+}

package/dist/generated/parse-options.d.ts

@@ -17,3 +17,4 @@ export declare const ENABLE_SMART_QUOTES: number;
 export declare const ENABLE_SMART_DASHES: number;
 export declare const ENABLE_SMART_ELLIPSES: number;
 export declare const ENABLE_MATH_MULTI_DOLLAR: number;
+export declare const ENABLE_ATTRIBUTES: number;

package/dist/generated/parse-options.js

@@ -1,9 +1,4 @@
 // @generated by `cargo run -p satteri-layout-codegen`. Do not edit by hand.
-// Parser option bits, declared once in `satteri-layout-codegen/src/schema.rs`.
-// `featuresToNative` packs them into the `parseOptions` integer the NAPI entry
-// points take; the compile-time asserts in
-// `satteri-napi-binding/src/generated/parse_options.rs` pin them to the real
-// `satteri_pulldown_cmark::Options` flags.
 export const ENABLE_TABLES = 1 << 1;
 export const ENABLE_FOOTNOTES = 1 << 2;
 export const ENABLE_STRIKETHROUGH = 1 << 3;
@@ -23,3 +18,4 @@ export const ENABLE_SMART_QUOTES = 1 << 18;
 export const ENABLE_SMART_DASHES = 1 << 19;
 export const ENABLE_SMART_ELLIPSES = 1 << 20;
 export const ENABLE_MATH_MULTI_DOLLAR = 1 << 23;
+export const ENABLE_ATTRIBUTES = 1 << 24;

package/dist/generated/wire-constants.d.ts

@@ -9,6 +9,7 @@ export declare const OP_BOOL = 8;
 export declare const OP_DATA = 9;
 export declare const OP_PROP = 10;
 export declare const OP_ALIGN = 11;
+export declare const OP_POSITION = 12;
 export declare const OF_VALUE = 0;
 export declare const OF_URL = 1;
 export declare const OF_TITLE = 2;
@@ -35,6 +36,8 @@ export declare const CMD_WRAP = 9;
 export declare const CMD_REPLACE = 11;
 export declare const CMD_SET_PROPERTY = 12;
 export declare const CMD_SET_CHILDREN = 13;
+export declare const CMD_SET_FIELD = 14;
+export declare const CMD_SET_ATTRIBUTE = 15;
 export declare const PAYLOAD_RAW = 16;
 export declare const PAYLOAD_OPSTREAM = 20;
 export declare const RAW_LITERAL_BRACES = 1;
@@ -46,6 +49,7 @@ export declare const PROP_COMMA_SEP = 4;
 export declare const PROP_INT = 5;
 export declare const PROP_NULL = 6;
 export declare const PROP_COMMA_SEP_NUM = 7;
+export declare const PROP_TOKEN_LIST = 8;
 export declare const MDX_ATTR_BOOLEAN_PROP = 0;
 export declare const MDX_ATTR_LITERAL_PROP = 1;
 export declare const MDX_ATTR_EXPRESSION_PROP = 2;

package/dist/generated/wire-constants.js

@@ -1,21 +1,16 @@
 // @generated by `cargo run -p satteri-layout-codegen`. Do not edit by hand.
-// JS<->Rust wire-protocol byte values, declared once in
-// `satteri-layout-codegen/src/schema.rs`. Rust twins live in
-// `satteri-plugin-api/src/generated/wire_constants.rs` and
-// `satteri-ast/src/generated/wire_constants.rs`.
-// Op-stream op codes (JS `OpWriter` -> Rust `replay_opstream`).
-export const OP_OPEN = 0x01; // [type: u8]
+export const OP_OPEN = 0x01;
 export const OP_CLOSE = 0x02;
-export const OP_REF = 0x03; // [id: u32 LE] — splice an existing node
-export const OP_KEEP_CHILDREN = 0x04; // splice the anchor node's original children
-export const OP_STR = 0x05; // [field: u8][len: u32 LE][utf8]
-export const OP_U8 = 0x06; // [field: u8][value: u8]
-export const OP_U32 = 0x07; // [field: u8][value: u32 LE]
-export const OP_BOOL = 0x08; // [field: u8][0|1]
-export const OP_DATA = 0x09; // [len: u32 LE][json utf8]
-export const OP_PROP = 0x0a; // [name str][kind: u8][value str] — HAST element property
-export const OP_ALIGN = 0x0b; // [len: u32 LE][ColumnAlign bytes] — table column alignment
-// Op-stream field ids (single namespace across OP_STR/OP_U8/OP_U32/OP_BOOL).
+export const OP_REF = 0x03;
+export const OP_KEEP_CHILDREN = 0x04;
+export const OP_STR = 0x05;
+export const OP_U8 = 0x06;
+export const OP_U32 = 0x07;
+export const OP_BOOL = 0x08;
+export const OP_DATA = 0x09;
+export const OP_PROP = 0x0a;
+export const OP_ALIGN = 0x0b;
+export const OP_POSITION = 0x0c;
 export const OF_VALUE = 0;
 export const OF_URL = 1;
 export const OF_TITLE = 2;
@@ -24,17 +19,15 @@ export const OF_LANG = 4;
 export const OF_META = 5;
 export const OF_IDENTIFIER = 6;
 export const OF_LABEL = 7;
-export const OF_NAME = 8; // directive / MDX JSX element name
+export const OF_NAME = 8;
 export const OF_REFERENCE_TYPE = 9;
 export const OF_DEPTH = 10;
 export const OF_CHECKED = 11;
 export const OF_START = 12;
 export const OF_ORDERED = 13;
 export const OF_SPREAD = 14;
-export const OF_TAGNAME = 15; // HAST element tag name
-export const OF_EXPLICIT = 16; // MDX JSX `_mdxExplicitJsx` flag
-// Command bytes (0x01–0x0F range). Each is followed by [nodeId: u32 LE];
-// structural commands then carry [payloadType: u8][payload…].
+export const OF_TAGNAME = 15;
+export const OF_EXPLICIT = 16;
 export const CMD_REMOVE = 0x01;
 export const CMD_INSERT_BEFORE = 0x05;
 export const CMD_INSERT_AFTER = 0x06;
@@ -42,24 +35,23 @@ export const CMD_PREPEND_CHILD = 0x07;
 export const CMD_APPEND_CHILD = 0x08;
 export const CMD_WRAP = 0x09;
 export const CMD_REPLACE = 0x0b;
-export const CMD_SET_PROPERTY = 0x0c; // [valueType: u8][name str][value str], PROP_* value kinds
-export const CMD_SET_CHILDREN = 0x0d; // payload is a Root-wrapped child list
-// Structural-command payload types (0x10+, a range distinct from commands).
-export const PAYLOAD_RAW = 0x10; // [flags: u8][len: u32 LE][utf8] — re-parsed as markdown; see RAW_* flags
-export const PAYLOAD_OPSTREAM = 0x14; // [len: u32 LE][op bytes] — replayed straight into the arena
-// Flag bits for the `PAYLOAD_RAW` payload.
-export const RAW_LITERAL_BRACES = 0x01; // keep MDX `{…}` as literal text (only affects MDX output)
-// Property value kinds (HAST element properties and SET_PROPERTY commands).
-export const PROP_STRING = 0; // UTF-8 value
-export const PROP_BOOL_TRUE = 1; // no value bytes
-export const PROP_BOOL_FALSE = 2; // no value bytes
-export const PROP_SPACE_SEP = 3; // space-separated list (UTF-8)
-export const PROP_COMMA_SEP = 4; // comma-separated list (UTF-8)
-export const PROP_INT = 5; // decimal string, parsed to i64
-export const PROP_NULL = 6; // no value bytes
-export const PROP_COMMA_SEP_NUM = 7; // comma-separated list, numeric items parsed to numbers
-// MDX JSX attribute kinds (MDAST and HAST MDX JSX element type_data).
-export const MDX_ATTR_BOOLEAN_PROP = 0; // name only, no value
-export const MDX_ATTR_LITERAL_PROP = 1; // name="literal"
-export const MDX_ATTR_EXPRESSION_PROP = 2; // name={expr}
-export const MDX_ATTR_SPREAD = 3; // {...expr}
+export const CMD_SET_PROPERTY = 0x0c;
+export const CMD_SET_CHILDREN = 0x0d;
+export const CMD_SET_FIELD = 0x0e;
+export const CMD_SET_ATTRIBUTE = 0x0f;
+export const PAYLOAD_RAW = 0x10;
+export const PAYLOAD_OPSTREAM = 0x14;
+export const RAW_LITERAL_BRACES = 0x01;
+export const PROP_STRING = 0;
+export const PROP_BOOL_TRUE = 1;
+export const PROP_BOOL_FALSE = 2;
+export const PROP_SPACE_SEP = 3;
+export const PROP_COMMA_SEP = 4;
+export const PROP_INT = 5;
+export const PROP_NULL = 6;
+export const PROP_COMMA_SEP_NUM = 7;
+export const PROP_TOKEN_LIST = 8;
+export const MDX_ATTR_BOOLEAN_PROP = 0;
+export const MDX_ATTR_LITERAL_PROP = 1;
+export const MDX_ATTR_EXPRESSION_PROP = 2;
+export const MDX_ATTR_SPREAD = 3;

package/dist/handles.d.ts

@@ -1,10 +1,3 @@
-/**
- * Opaque handles to Rust-owned arenas. The napi-generated `index.d.ts` refers
- * to `MdastHandle`/`HastHandle`/`AnyHandle` as bare, undeclared names; these
- * global declarations give those signatures real types. The kind brand makes
- * passing a hast handle to an mdast entry point (a runtime error in Rust) a
- * compile error in TS.
- */
 declare global {
     interface MdastHandle {
         readonly __satteriHandleKind: "mdast";

package/dist/hast/child-stub.d.ts

@@ -2,15 +2,8 @@ import type { LazyChildResolver } from "../lazy-child-resolver.js";
 import type { HastNode } from "../types.js";
 import type { HastReader } from "./hast-reader.js";
 type HastResolver = LazyChildResolver<HastReader, HastNode>;
-/**
- * Walk-path child stub: arena id + `type` eagerly, every other field a lazy
- * forward to the materialized node (first read snapshots the arena via
- * `materializeOne`, which enforces the handle epoch). Spread/identity rules
- * are enforced by `nid()` in hast-visitor.ts.
- */
 export declare class HastChildStub {
-    _resolver: HastResolver;
-    _id: number;
+    #private;
     type: string;
     constructor(resolver: HastResolver, id: number, nodeType: number);
 }

package/dist/hast/child-stub.js

@@ -2,7 +2,7 @@ import { flatByTag, installStubDescriptors, stubDescriptors, } from "../child-st
 import { NAME_TO_TYPE, TYPE_NAMES } from "./generated/node-types.js";
 import { HAST_CONTAINER_TYPES } from "./hast-materializer.js";
 const N = NAME_TO_TYPE;
-/** Per-type stub fields; must mirror `materializeHastNode`'s populate switch. */
+// Stub fields must match the fields populated by materializeHastNode.
 const HAST_STUB_FIELDS = {
     [N.root]: [],
     [N.element]: ["tagName", "properties"],
@@ -25,26 +25,27 @@ for (const tag of Object.keys(HAST_STUB_FIELDS)) {
         fields.push("children");
     HAST_STUB_DESCRIPTORS[nodeType] = stubDescriptors(fields);
 }
-/** Unknown node types still expose the prelude-backed lazy fields. */
 const FALLBACK_DESCRIPTORS = stubDescriptors([]);
-/**
- * Walk-path child stub: arena id + `type` eagerly, every other field a lazy
- * forward to the materialized node (first read snapshots the arena via
- * `materializeOne`, which enforces the handle epoch). Spread/identity rules
- * are enforced by `nid()` in hast-visitor.ts.
- */
 export class HastChildStub {
-    _resolver;
-    _id;
+    #resolver;
+    #id;
     type;
     constructor(resolver, id, nodeType) {
-        this._resolver = resolver;
-        this._id = id;
+        this.#resolver = resolver;
+        this.#id = id;
         this.type = TYPE_NAME_BY_TAG[nodeType] ?? `unknown(${nodeType})`;
         installStubDescriptors(this, HAST_STUB_DESCRIPTORS[nodeType] ?? FALLBACK_DESCRIPTORS);
     }
     /** @internal */
     get _refs() {
-        return this._resolver.refs;
+        return this.#resolver.refs;
+    }
+    /** @internal */
+    get _id() {
+        return this.#id;
+    }
+    /** @internal */
+    _materialize() {
+        return this.#resolver.materializeOne(this.#id);
     }
 }

package/dist/hast/element-props.d.ts

@@ -1,2 +1,15 @@
 export type HastPropertyValue = string | number | boolean | (string | number)[];
+/** Encode an array property value as `PROP_TOKEN_LIST`: whether it serializes
+ *  comma- or space-separated depends on the element's schema, which is only
+ *  known at render (a subtree may still be detached here). A leading `1`/`0`
+ *  records whether comma joining needs trailing padding. Each NUL-terminated
+ *  token starts with `n` (number) or `s` (string), preserving numeric items
+ *  when a later plugin reads the property.
+ *
+ *  A list *ending* in an empty string gets another appended, mirroring
+ *  `comma-separated-tokens`, which pads so the value parses back to the same
+ *  list. Only `""` pads: `null` joins to the same empty token but does not.
+ *  Keep padding separate from the items so materializing and re-encoding
+ *  a property never adds phantom tokens. */
+export declare function encodeTokenList(items: readonly unknown[]): string;
 export declare function decodeElementProp(kind: number, value: string): HastPropertyValue;

package/dist/hast/element-props.js

@@ -1,7 +1,52 @@
-/** Decode a HAST element property value from its wire `(kind, value)` — shared
- *  by the walk decoder and the snapshot reader so the kind dispatch lives once.
- *  The bool kinds carry no value string (callers pass `""`). */
-import { PROP_BOOL_TRUE, PROP_BOOL_FALSE, PROP_SPACE_SEP, PROP_COMMA_SEP, PROP_COMMA_SEP_NUM, PROP_INT, } from "../generated/wire-constants.js";
+// Boolean property kinds carry no value string in the wire protocol.
+import { PROP_BOOL_TRUE, PROP_BOOL_FALSE, PROP_SPACE_SEP, PROP_COMMA_SEP, PROP_COMMA_SEP_NUM, PROP_INT, PROP_TOKEN_LIST, } from "../generated/wire-constants.js";
+/** Encode an array property value as `PROP_TOKEN_LIST`: whether it serializes
+ *  comma- or space-separated depends on the element's schema, which is only
+ *  known at render (a subtree may still be detached here). A leading `1`/`0`
+ *  records whether comma joining needs trailing padding. Each NUL-terminated
+ *  token starts with `n` (number) or `s` (string), preserving numeric items
+ *  when a later plugin reads the property.
+ *
+ *  A list *ending* in an empty string gets another appended, mirroring
+ *  `comma-separated-tokens`, which pads so the value parses back to the same
+ *  list. Only `""` pads: `null` joins to the same empty token but does not.
+ *  Keep padding separate from the items so materializing and re-encoding
+ *  a property never adds phantom tokens. */
+export function encodeTokenList(items) {
+    if (items.length === 0)
+        return "";
+    let tokens = items[items.length - 1] === "" ? "1" : "0";
+    for (const item of items)
+        tokens += `${tokenToWire(item)}\0`;
+    return tokens;
+}
+/** U+0001 introduces an escape so a token carrying a NUL of its own does not
+ *  read as two tokens: `\u00010` is a NUL, `\u00011` the escape itself. */
+const ESCAPE = "\u0001";
+// eslint-disable-next-line no-control-regex -- U+0001 introduces the wire protocol's escape sequences.
+const TOKEN_ESCAPE = /\u0001([01])/g;
+/** `join` renders null and undefined as an empty token; keep that. */
+function tokenToWire(item) {
+    const token = item === null || item === undefined ? "" : String(item);
+    const escaped = token.includes("\0") || token.includes(ESCAPE)
+        ? token.replaceAll(ESCAPE, `${ESCAPE}1`).replaceAll("\0", `${ESCAPE}0`)
+        : token;
+    return `${typeof item === "number" ? "n" : "s"}${escaped}`;
+}
+function decodeTokenList(value) {
+    if (value === "")
+        return [];
+    const body = value.slice(1);
+    const tokens = (body.endsWith("\0") ? body.slice(0, -1) : body).split("\0");
+    return tokens.map((entry) => {
+        const token = entry.slice(1);
+        if (entry[0] === "n")
+            return Number(token);
+        return token.includes(ESCAPE)
+            ? token.replace(TOKEN_ESCAPE, (_, digit) => (digit === "0" ? "\0" : ESCAPE))
+            : token;
+    });
+}
 export function decodeElementProp(kind, value) {
     switch (kind) {
         case PROP_BOOL_TRUE:
@@ -11,7 +56,6 @@ export function decodeElementProp(kind, value) {
         case PROP_SPACE_SEP:
             return value.split(" ").filter((s) => s.length > 0);
         case PROP_COMMA_SEP: {
-            // Interior empty items are kept; only a trailing empty is dropped.
             const items = value.split(",").map((s) => s.trim());
             if (items[items.length - 1] === "")
                 items.pop();
@@ -23,9 +67,11 @@ export function decodeElementProp(kind, value) {
                 items.pop();
             return items.map((s) => (s !== "" && !Number.isNaN(Number(s)) ? Number(s) : s));
         }
+        case PROP_TOKEN_LIST:
+            return decodeTokenList(value);
         case PROP_INT:
             return Number(value);
         default:
-            return value; // PROP_STRING
+            return value;
     }
 }

package/dist/hast/generated/node-types.d.ts

@@ -1,14 +1,6 @@
-/** Node-type tag -> canonical AST name. */
 export declare const TYPE_NAMES: Readonly<Record<number, string>>;
-/** Canonical AST name -> node-type tag. */
 export declare const NAME_TO_TYPE: Readonly<Record<string, number>>;
-/** Names a plugin can subscribe to (every node except `root`). */
 export declare const VISITOR_KEYS: ReadonlySet<string>;
-/** Name -> tag for the types the op-stream can encode; one lookup gates AND
- *  resolves the emit-path tag. Excluded names (see `*_OPSTREAM_EXCLUDED` in
- *  schema.rs) have no encoding — the visitor throws for them. */
 export declare const HAST_OPSTREAM_TYPES: Readonly<Record<string, number>>;
-/** Names of the variable-length `custom` node types (hand-written or
- *  `Tail`-generated codec). The op-stream round-trip oracle asserts it covers
- *  every one, so a forgotten or drifted encode/decode arm fails loudly. */
 export declare const HAST_CUSTOM_TYPES: readonly string[];
+export declare const CONTAINER_TYPES: ReadonlySet<number>;

package/dist/hast/generated/node-types.js

@@ -1,5 +1,4 @@
 // @generated by `cargo run -p satteri-layout-codegen`. Do not edit by hand.
-/** Node-type tag -> canonical AST name. */
 export const TYPE_NAMES = {
     0: "root",
     1: "element",
@@ -13,7 +12,6 @@ export const TYPE_NAMES = {
     13: "mdxjsEsm",
     14: "mdxTextExpression",
 };
-/** Canonical AST name -> node-type tag. */
 export const NAME_TO_TYPE = {
     root: 0,
     element: 1,
@@ -27,7 +25,6 @@ export const NAME_TO_TYPE = {
     mdxjsEsm: 13,
     mdxTextExpression: 14,
 };
-/** Names a plugin can subscribe to (every node except `root`). */
 export const VISITOR_KEYS = new Set([
     "element",
     "text",
@@ -40,9 +37,6 @@ export const VISITOR_KEYS = new Set([
     "mdxjsEsm",
     "mdxTextExpression",
 ]);
-/** Name -> tag for the types the op-stream can encode; one lookup gates AND
- *  resolves the emit-path tag. Excluded names (see `*_OPSTREAM_EXCLUDED` in
- *  schema.rs) have no encoding — the visitor throws for them. */
 export const HAST_OPSTREAM_TYPES = {
     element: 1,
     text: 2,
@@ -54,11 +48,9 @@ export const HAST_OPSTREAM_TYPES = {
     mdxjsEsm: 13,
     mdxTextExpression: 14,
 };
-/** Names of the variable-length `custom` node types (hand-written or
- *  `Tail`-generated codec). The op-stream round-trip oracle asserts it covers
- *  every one, so a forgotten or drifted encode/decode arm fails loudly. */
 export const HAST_CUSTOM_TYPES = [
     "element",
     "mdxJsxFlowElement",
     "mdxJsxTextElement",
 ];
+export const CONTAINER_TYPES = new Set([0, 1, 10, 11]);

package/dist/hast/generated/walk-decode.d.ts

@@ -0,0 +1,10 @@
+import type { MdxJsxAttributeUnion } from "../../types.js";
+export declare function readWalkElementTag(view: DataView, buf: Uint8Array, pos: number): string;
+export declare function walkElementPropsAt(view: DataView, pos: number): number;
+export declare function walkElementPropCount(view: DataView, propsAt: number): number;
+export declare function decodeWalkElementProps(view: DataView, buf: Uint8Array, pos: number): Record<string, string | number | boolean | (string | number)[]>;
+export declare function readWalkHastValue(view: DataView, buf: Uint8Array, offset: number, nodeType: number): string;
+export declare function readWalkMdxJsx(view: DataView, buf: Uint8Array, pos: number): {
+    name: string | null;
+    attributes: MdxJsxAttributeUnion[];
+};