@cosense-toolbox/parser 0.1.0-beta.1 → 0.1.0-beta.3

package/dist/index-CrIlOW1k.d.mts

@@ -0,0 +1,78 @@
+import { g as InlineNode, w as Page, x as LineBlock } from "./types-gWMrsXPX.mjs";
+import { i as Extension } from "./types-CdiHju1P.mjs";
+import { Option } from "effect";
+//#region src/core/image-url.d.ts
+/** URL が画像として表示されるものか。判定だけを行い、URL は書き換えない。 */
+declare const isImageUrl: (url: string) => boolean;
+/**
+ * 画像 URL なら `<img src>` に入れられる形にして返す。画像でなければ null。
+ *
+ * Gyazo のページ URL はここでだけ `https://i.gyazo.com/{hash}.png` に差し替わる。
+ * `parse()` はこの変換を行わない (AST はソースに書かれた文字列を保つ)。
+ */
+declare const asImageSrc: (url: string) => string | null;
+//#endregion
+//#region src/inline/tokenize.d.ts
+interface TokenizeInlineOptions {
+  /** 装飾記法を解釈するか (既定: true)。装飾の中身を解析するときだけ false になる */
+  readonly allowDecoration?: boolean;
+  /** この文字列がページ上のどこにあるか。省略時は 0 行目の先頭 */
+  readonly origin?: {
+    readonly line?: number;
+    readonly column?: number;
+    readonly offset?: number;
+  };
+  /** 記法の拡張。既定のルールより先に試される */
+  readonly extensions?: readonly Extension[];
+}
+/**
+ * インライン記法をノード列に分解する。改行を含まない 1 行分の文字列を渡すこと。
+ *
+ * 記法として成立しなかった文字は text ノードにまとまる。空文字列では空配列を返す。
+ */
+declare const tokenizeInline: (source: string, options?: TokenizeInlineOptions) => readonly InlineNode[];
+//#endregion
+//#region src/parse.d.ts
+/**
+ * CR / CRLF を LF に揃える。
+ *
+ * `parse` は必ずこれを通してから解析するので、報告される位置は**正規化後**の
+ * 文字列を基準にする。CRLF のソースでは元のオフセットと 1 行につき 1 文字ずれる。
+ */
+declare const normalizeLineEndings: (source: string) => string;
+interface ParseOptions {
+  /** 記法の拡張。既定のルールより先に試される */
+  readonly extensions?: readonly Extension[];
+}
+/**
+ * ページ全文をパースする。**失敗しない**: どんな入力でも Page を返す。
+ * 記法として成立しない部分は素のテキストになるだけで、エラーにはならない。
+ *
+ * 1 行目はタイトルとして扱われる (Cosense のページは 1 行目がタイトル)。
+ */
+declare const parse: (source: string, options?: ParseOptions) => Page;
+interface ParseLineOptions extends ParseOptions {
+  /** この行がページ内の何行目か (既定: 0) */
+  readonly line?: number;
+  /** この行の行頭がソース全文のどこにあるか (既定: 0) */
+  readonly offset?: number;
+}
+/**
+ * 1 行だけを通常行としてパースする。
+ *
+ * `code:` / `table:` はページの文脈があって初めてブロックになるので、
+ * ここでは通常行として扱う。
+ */
+declare const parseLine: (raw: string, options?: ParseLineOptions) => LineBlock;
+interface Parser {
+  readonly parse: (source: string) => Page;
+  readonly parseLine: (raw: string, options?: Omit<ParseLineOptions, "extensions">) => LineBlock;
+}
+/**
+ * 拡張を固定したパーサーを作る。同じ拡張で何度もパースするときに、
+ * 呼び出しごとに options を渡さずに済む。
+ */
+declare const createParser: (options?: ParseOptions) => Parser;
+//#endregion
+export { normalizeLineEndings as a, TokenizeInlineOptions as c, isImageUrl as d, createParser as i, tokenizeInline as l, ParseOptions as n, parse as o, Parser as r, parseLine as s, ParseLineOptions as t, asImageSrc as u };
+//# sourceMappingURL=index-CrIlOW1k.d.mts.map

package/dist/index-CrIlOW1k.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-CrIlOW1k.d.mts","names":[],"sources":["../src/core/image-url.ts","../src/inline/tokenize.ts","../src/parse.ts"],"mappings":";;;;;cAwDa,aAAc;;;;;;;cAQd,aAAc;;;UCjDV;;WAEN;;WAEA;aACE;aACA;aACA;;;WAGF,sBAAsB;;;;;;;cAgHpB,iBACX,gBACA,UAAU,mCACA;;;;;;;;;cC7HC,uBAAwB;UAEpB;;WAEN,sBAAsB;;;;;;;;cAmBpB,QAAS,gBAAgB,UAAU,iBAAe;UAyB9C,yBAAyB;;WAE/B;;WAEA;;;;;;;;cASE,YAAa,aAAa,UAAU,qBAAmB;UAQnD;WACN,QAAQ,mBAAmB;WAC3B,YAAY,aAAa,UAAU,KAAK,oCAAoC;;;;;;cAO1E,eAAgB,UAAU,iBAAe"}

package/dist/index-_o1STNhP.d.cts

@@ -0,0 +1,78 @@
+import { g as InlineNode, w as Page, x as LineBlock } from "./types-gWMrsXPX.cjs";
+import { i as Extension } from "./types-_-ZAyNkz.cjs";
+import "effect";
+//#region src/core/image-url.d.ts
+/** URL が画像として表示されるものか。判定だけを行い、URL は書き換えない。 */
+declare const isImageUrl: (url: string) => boolean;
+/**
+ * 画像 URL なら `<img src>` に入れられる形にして返す。画像でなければ null。
+ *
+ * Gyazo のページ URL はここでだけ `https://i.gyazo.com/{hash}.png` に差し替わる。
+ * `parse()` はこの変換を行わない (AST はソースに書かれた文字列を保つ)。
+ */
+declare const asImageSrc: (url: string) => string | null;
+//#endregion
+//#region src/inline/tokenize.d.ts
+interface TokenizeInlineOptions {
+  /** 装飾記法を解釈するか (既定: true)。装飾の中身を解析するときだけ false になる */
+  readonly allowDecoration?: boolean;
+  /** この文字列がページ上のどこにあるか。省略時は 0 行目の先頭 */
+  readonly origin?: {
+    readonly line?: number;
+    readonly column?: number;
+    readonly offset?: number;
+  };
+  /** 記法の拡張。既定のルールより先に試される */
+  readonly extensions?: readonly Extension[];
+}
+/**
+ * インライン記法をノード列に分解する。改行を含まない 1 行分の文字列を渡すこと。
+ *
+ * 記法として成立しなかった文字は text ノードにまとまる。空文字列では空配列を返す。
+ */
+declare const tokenizeInline: (source: string, options?: TokenizeInlineOptions) => readonly InlineNode[];
+//#endregion
+//#region src/parse.d.ts
+/**
+ * CR / CRLF を LF に揃える。
+ *
+ * `parse` は必ずこれを通してから解析するので、報告される位置は**正規化後**の
+ * 文字列を基準にする。CRLF のソースでは元のオフセットと 1 行につき 1 文字ずれる。
+ */
+declare const normalizeLineEndings: (source: string) => string;
+interface ParseOptions {
+  /** 記法の拡張。既定のルールより先に試される */
+  readonly extensions?: readonly Extension[];
+}
+/**
+ * ページ全文をパースする。**失敗しない**: どんな入力でも Page を返す。
+ * 記法として成立しない部分は素のテキストになるだけで、エラーにはならない。
+ *
+ * 1 行目はタイトルとして扱われる (Cosense のページは 1 行目がタイトル)。
+ */
+declare const parse: (source: string, options?: ParseOptions) => Page;
+interface ParseLineOptions extends ParseOptions {
+  /** この行がページ内の何行目か (既定: 0) */
+  readonly line?: number;
+  /** この行の行頭がソース全文のどこにあるか (既定: 0) */
+  readonly offset?: number;
+}
+/**
+ * 1 行だけを通常行としてパースする。
+ *
+ * `code:` / `table:` はページの文脈があって初めてブロックになるので、
+ * ここでは通常行として扱う。
+ */
+declare const parseLine: (raw: string, options?: ParseLineOptions) => LineBlock;
+interface Parser {
+  readonly parse: (source: string) => Page;
+  readonly parseLine: (raw: string, options?: Omit<ParseLineOptions, "extensions">) => LineBlock;
+}
+/**
+ * 拡張を固定したパーサーを作る。同じ拡張で何度もパースするときに、
+ * 呼び出しごとに options を渡さずに済む。
+ */
+declare const createParser: (options?: ParseOptions) => Parser;
+//#endregion
+export { normalizeLineEndings as a, TokenizeInlineOptions as c, isImageUrl as d, createParser as i, tokenizeInline as l, ParseOptions as n, parse as o, Parser as r, parseLine as s, ParseLineOptions as t, asImageSrc as u };
+//# sourceMappingURL=index-_o1STNhP.d.cts.map

package/dist/index-_o1STNhP.d.cts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-_o1STNhP.d.cts","names":[],"sources":["../src/core/image-url.ts","../src/inline/tokenize.ts","../src/parse.ts"],"mappings":";;;;;cAwDa,aAAc;;;;;;;cAQd,aAAc;;;UCjDV;;WAEN;;WAEA;aACE;aACA;aACA;;;WAGF,sBAAsB;;;;;;;cAgHpB,iBACX,gBACA,UAAU,mCACA;;;;;;;;;cC7HC,uBAAwB;UAEpB;;WAEN,sBAAsB;;;;;;;;cAmBpB,QAAS,gBAAgB,UAAU,iBAAe;UAyB9C,yBAAyB;;WAE/B;;WAEA;;;;;;;;cASE,YAAa,aAAa,UAAU,qBAAmB;UAQnD;WACN,QAAQ,mBAAmB;WAC3B,YAAY,aAAa,UAAU,KAAK,oCAAoC;;;;;;cAO1E,eAAgB,UAAU,iBAAe"}

package/dist/index.cjs

@@ -1,7 +1,29 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
 const require_image_url = require("./image-url-YcTed8tg.cjs");
-const require_decoration = require("./decoration-DODaJKeA.cjs");
 let effect = require("effect");
+//#region src/core/position.ts
+const originOfLine = (line, offset) => ({
+	line,
+	column: 0,
+	offset
+});
+/** Origin を `by` 文字ぶん進める (部分文字列を再帰的に走査するときに使う)。 */
+const shiftOrigin = (origin, by) => ({
+	line: origin.line,
+	column: origin.column + by,
+	offset: origin.offset + by
+});
+const pointAt = (origin, index) => ({
+	line: origin.line,
+	column: origin.column + index,
+	offset: origin.offset + index
+});
+/** 走査対象の `[start, end)` が占める Position。end は exclusive。 */
+const spanAt = (origin, start, end) => ({
+	start: pointAt(origin, start),
+	end: pointAt(origin, end)
+});
+//#endregion
 //#region src/inline/constructs/bare-url.ts
 const URL_RE = /^https?:\/\/[^\s\]]+/i;
 /**
@@ -29,7 +51,7 @@ const bareUrlConstruct = (source, index) => {
 * scan.ts — 記法の知識を持たない文字列走査のプリミティブ。
 */
 /** 行頭の空白 (半角スペース / タブ / 全角スペース)。インデント判定の単一ソース。 */
-const LEADING_WHITESPACE_RE = /^[ \t　]*/;
+const LEADING_WHITESPACE_RE = /^[ \t\u3000]*/;
 const leadingWhitespace = (s) => LEADING_WHITESPACE_RE.exec(s)?.[0] ?? "";
 /**
 * `openIdx` の `[` に対応する `]` の位置。深さを数えるので
@@ -54,6 +76,61 @@ const isTagBoundary = (s, index) => {
 	return prev === " " || prev === "	" || prev === "　";
 };
 //#endregion
+//#region src/inline/bracket-rules/decoration.ts
+/**
+* `[<記号の並び> 中身]`。記号は Cosense の文字装飾の記号 `` !"#%&'()*+,-./{|}<>_~= `` で、
+* Cosense Web はこの集合からなる並びをすべて装飾として読む (help-jp「文字装飾記法」)。
+* `=` は help-jp が将来の別用途のために使わないよう求めているが、今の Cosense Web は
+* 装飾として読むので含める。
+* どの記号が装飾になるかは構文なので、設定で変えられるようにしない。
+* `$` と `[` はこの一覧に無い。`[$ x]` は数式、`[[x]]` は太字の別の記法で、どちらも別のルールが読む。
+*
+* 文字列から組み立てずに正規表現のリテラルで持つのは、トップレベルで関数を呼ばないため
+* (`sideEffects: false`)。
+*/
+const DECORATION_PATTERN = /^([!"#%&'()*+,\-./{|}<>_~=]+)\s+([\s\S]+)$/;
+/**
+* 見た目が決まっている記号。bold などのフラグはこれだけから決める。
+* ほかの記号は `markers` に残るだけで、見た目はプロジェクトの UserCSS が付ける。
+*/
+const STYLED_MARKERS = {
+	bold: "*",
+	italic: "/",
+	strike: "-",
+	underline: "_"
+};
+const MAX_SIZE_LEVEL = 4;
+/** 出現順を保ったまま重複を落とす。`[*** x]` の markers は `['*']` になる。 */
+const uniqueChars = (marks) => [...new Set(marks)];
+/**
+* `[* 太字]` `[/ 斜体]` `[- 打消し]` `[_ 下線]` とその複合 (`[-/ x]`)、
+* および見た目の付かない記号の装飾 (`[! 注意]`)。
+*
+* 中身はリンクやアイコンとして再帰的に解釈するが、**装飾の入れ子は不可**。
+* そのため子の走査は allowDecoration=false で行う。
+* 例: `[* [* 太字]ですね]` の内側は装飾ではなく内部リンクになる。
+*/
+const decorationRule = (inner, ctx) => {
+	if (!ctx.allowDecoration) return effect.Option.none();
+	const match = inner.match(DECORATION_PATTERN);
+	if (!match) return effect.Option.none();
+	const marks = match[1] ?? "";
+	const value = match[2] ?? "";
+	const stars = [...marks].filter((mark) => mark === STYLED_MARKERS.bold).length;
+	const valueOffset = inner.length - value.length;
+	return effect.Option.some({
+		type: "decoration",
+		value,
+		markers: uniqueChars(marks),
+		bold: stars > 0,
+		italic: marks.includes(STYLED_MARKERS.italic),
+		strike: marks.includes(STYLED_MARKERS.strike),
+		underline: marks.includes(STYLED_MARKERS.underline),
+		sizeLevel: Math.min(Math.max(stars - 1, 0), MAX_SIZE_LEVEL),
+		children: ctx.tokenize(value, shiftOrigin(ctx.innerOrigin, valueOffset), false)
+	});
+};
+//#endregion
 //#region src/inline/bracket-rules/formula.ts
 /** `[$ x^2]` — 中身は解釈せず生のまま返す (KaTeX 等に渡す想定)。 */
 const formulaRule = (inner) => inner.startsWith("$") ? effect.Option.some({
@@ -186,7 +263,7 @@ const urlRule = (inner) => {
 //#endregion
 //#region src/inline/bracket-rules/index.ts
 /** 中身に角括弧を含んでいても成立しうるルール。 */
-const bracketRules = [formulaRule, require_decoration.decorationRule];
+const bracketRules = [formulaRule, decorationRule];
 /**
 * 「単純ターゲット」のルール。中身に `[` / `]` を含むときは試さない (Cosense Web に合わせている)。
 * これにより `[[そうね] ですね]` の外側は記法にならず、先頭の `[` が素の文字になる。
@@ -219,7 +296,7 @@ const bracketConstruct = (source, index, ctx) => {
 		if (inner.trim() === "") return effect.Option.none();
 		const innerCtx = {
 			...ctx,
-			innerOrigin: require_decoration.shiftOrigin(ctx.origin, index + 1)
+			innerOrigin: shiftOrigin(ctx.origin, index + 1)
 		};
 		return (0, effect.pipe)(parseInner(inner, innerCtx), effect.Option.map((node) => ({
 			node,
@@ -295,7 +372,7 @@ const strongBracketConstruct = (source, index, ctx) => {
 			strike: false,
 			underline: false,
 			sizeLevel: 0,
-			children: ctx.tokenize(inner, require_decoration.shiftOrigin(ctx.origin, index + 2), false)
+			children: ctx.tokenize(inner, shiftOrigin(ctx.origin, index + 2), false)
 		},
 		length
 	});
@@ -318,21 +395,20 @@ const inlineConstructs = [
 * その 1 文字はテキストとして貯めておき、次にノードが出たところ (と末尾) でまとめて
 * text ノードにする。位置の付与はこのループだけが行う。
 */
+/** 拡張のルールは null で返すので、中のルールと同じく Option で返す形に包む。 */
+const fromConstruct = (construct) => (source, index, ctx) => effect.Option.fromNullable(construct(source, index, ctx));
+const fromBracketRule = (rule) => (inner, ctx) => effect.Option.fromNullable(rule(inner, ctx));
 /** 拡張のルールを既定のルールの前に並べる。拡張が既定の記法を上書きできるのはこの順序による。 */
 const resolveExtensions = (extensions) => {
 	if (extensions === void 0 || extensions.length === 0) return {
 		constructs: inlineConstructs,
 		bracketRules: []
 	};
-	const constructs = [];
-	const bracketRules = [];
-	for (const extension of extensions) {
-		if (extension.constructs) constructs.push(...extension.constructs);
-		if (extension.bracketRules) bracketRules.push(...extension.bracketRules);
-	}
+	const constructs = extensions.flatMap((extension) => extension.constructs ?? []);
+	const bracketRules = extensions.flatMap((extension) => extension.bracketRules ?? []);
 	return {
-		constructs: [...constructs, ...inlineConstructs],
-		bracketRules
+		constructs: [...constructs.map(fromConstruct), ...inlineConstructs],
+		bracketRules: bracketRules.map(fromBracketRule)
 	};
 };
 /**
@@ -363,7 +439,7 @@ const scan = (source, origin, allowDecoration, rules) => {
 		out.push({
 			type: "text",
 			value: source.slice(textStart, end),
-			position: require_decoration.spanAt(origin, textStart, end)
+			position: spanAt(origin, textStart, end)
 		});
 	};
 	while (index < source.length) {
@@ -374,7 +450,7 @@ const scan = (source, origin, allowDecoration, rules) => {
 		}
 		flushText(index);
 		const { node, length } = match.value;
-		out.push(withPosition(node, require_decoration.spanAt(origin, index, index + length)));
+		out.push(withPosition(node, spanAt(origin, index, index + length)));
 		index += length;
 		textStart = index;
 	}
@@ -457,8 +533,8 @@ const indentOf = (raw) => leadingWhitespace(raw).length;
 * この複数行のまとまりを作るのがここの仕事で、行の中身の解釈は注入された tokenize に任せる
 * (どの記法ルールを使うかを知らずに済むので、拡張入りのパーサーでもここは変わらない)。
 */
-const lineOrigin = (line) => require_decoration.originOfLine(line.index, line.offset);
-const wholeLine = (line) => require_decoration.spanAt(lineOrigin(line), 0, line.text.length);
+const lineOrigin = (line) => originOfLine(line.index, line.offset);
+const wholeLine = (line) => spanAt(lineOrigin(line), 0, line.text.length);
 /** インデントを `amount` 文字ぶん浅くする。空白より多くは削らない。 */
 const dedent = (text, amount) => text.slice(Math.min(amount, indentOf(text)));
 const titleBlock = (line, tokenize) => ({
@@ -484,24 +560,23 @@ const codeLine = (line, headerIndent) => ({
 	value: dedent(line.text, headerIndent + 1),
 	position: wholeLine(line)
 });
-const tableCells = (line) => {
-	const indent = indentOf(line.text);
+const tableCells = (line, tokenize) => {
 	const origin = lineOrigin(line);
-	const cells = [];
-	let start = indent;
-	for (const value of line.text.slice(indent).split("	")) {
-		cells.push({
+	const indent = indentOf(line.text);
+	const values = line.text.slice(indent).split("	");
+	return values.map((value, index) => {
+		const start = indent + values.slice(0, index).reduce((sum, cell) => sum + cell.length + 1, 0);
+		return {
 			type: "tableCell",
 			value,
-			position: require_decoration.spanAt(origin, start, start + value.length)
-		});
-		start += value.length + 1;
-	}
-	return cells;
+			children: tokenize(value, shiftOrigin(origin, start)),
+			position: spanAt(origin, start, start + value.length)
+		};
+	});
 };
-const tableRow = (line) => ({
+const tableRow = (line, tokenize) => ({
 	type: "tableRow",
-	cells: tableCells(line),
+	cells: tableCells(line, tokenize),
 	position: wholeLine(line)
 });
 /** ヘッダより深いインデントが続く範囲の終端 (exclusive)。 */
@@ -525,18 +600,19 @@ const codeBlock = (header, body, filename, indent) => ({
 	lines: body.map((line) => codeLine(line, indent)),
 	position: blockPosition(header, body)
 });
-const tableBlock = (header, body, name, indent) => ({
+const tableBlock = (header, body, name, indent, tokenize) => ({
 	type: "table",
 	name,
 	indent,
-	rows: body.map(tableRow),
+	rows: body.map((line) => tableRow(line, tokenize)),
 	position: blockPosition(header, body)
 });
 /**
 * 行の並びをブロックの並びに畳む。1 行目は無条件でタイトルになる
 * (Cosense ではタイトル行が `code:` や `table:` として解釈されることはない)。
 */
-const buildBlocks = (lines, tokenize) => {
+const buildBlocks = (lines, tokenizers) => {
+	const tokenize = tokenizers.line;
 	const blocks = [];
 	const head = lines[0];
 	if (head === void 0) return blocks;
@@ -551,7 +627,7 @@ const buildBlocks = (lines, tokenize) => {
 			return end;
 		}), effect.Match.tag("tableHeader", (role) => {
 			const end = bodyEnd(lines, index + 1, role.indent);
-			blocks.push(tableBlock(line, lines.slice(index + 1, end), role.name, role.indent));
+			blocks.push(tableBlock(line, lines.slice(index + 1, end), role.name, role.indent, tokenizers.tableCell));
 			return end;
 		}), effect.Match.tag("content", (role) => {
 			blocks.push(lineBlock(line, role, tokenize));
@@ -575,6 +651,79 @@ const buildLineBlock = (line, tokenize) => {
 	}, tokenize);
 };
 //#endregion
+//#region src/inline/table-cell.ts
+/**
+* table-cell.ts — テーブルのセルの中の記法。
+*
+* Cosense Web はセルの中ではリンクの記法 (`[title]` / `[https://…]` / `[/project/page]` /
+* 裸の URL / `#tag`) だけを読み、それ以外は書いたままの文字として出す。
+* ここでは行と同じ規則でいったん読み、残さないノードを書いたままの文字に戻す。
+* 最初からリンクの規則だけで読むと、`[* 太字]` が `* 太字` というページへのリンクになってしまうため。
+*
+* どのノードを残すかは拡張の `keepInTableCell` で足せる (`tableCellNotation`)。
+*/
+/** Cosense Web がセルの中でも読む記法。 */
+const LINK_TYPES = /* @__PURE__ */ new Set([
+	"internalLink",
+	"externalLink",
+	"projectLink",
+	"hashtag"
+]);
+/** リンクの記法は必ず残し、それに加えて拡張のどれかが残すと言ったノードを残す。 */
+const keepInTableCellOf = (extensions = []) => {
+	const keeps = extensions.flatMap((extension) => extension.keepInTableCell === void 0 ? [] : [extension.keepInTableCell]);
+	return (node) => LINK_TYPES.has(node.type) || keeps.some((keep) => keep(node));
+};
+const joinTexts = (previous, next) => ({
+	type: "text",
+	value: previous.value + next.value,
+	position: {
+		start: previous.position.start,
+		end: next.position.end
+	}
+});
+const isText = (node) => node.type === "text";
+/** `start` から続く text ノードの並び。 */
+const textRunFrom = (nodes, start) => {
+	const end = nodes.findIndex((node, index) => index > start && !isText(node));
+	return nodes.slice(start, end === -1 ? nodes.length : end).filter(isText);
+};
+/**
+* 隣り合う text ノードを 1 つにまとめる。行を読んだときと同じ形にするため。
+* text の並びの先頭で並び全体をまとめ、続きの text は先頭に含まれているので出さない。
+*/
+const mergeTexts = (nodes) => nodes.flatMap((node, index) => !isText(node) ? [node] : (0, effect.pipe)(effect.Option.fromNullable(nodes[index - 1]), effect.Option.exists(isText)) ? [] : [textRunFrom(nodes, index).reduce(joinTexts)]);
+/**
+* 行と同じ規則で読んだセルのノード列から、`keep` が残さないノードを書いたままの文字に戻す。
+* `source` はセルの中身、`origin` はその先頭のソース上の位置。
+*
+* 装飾を残さないときは記号の部分だけを文字に戻し、中身は同じように辿る。
+* `[* [リンク]]` の中のリンクは残す。装飾を残すときも、その中身は同じ規則で辿る。
+*/
+const keepNotation = (nodes, source, origin, keep) => {
+	/** ソース上の `[start, end)` を、書いたままの文字のノードにする。 */
+	const literal = (start, end) => start >= end ? [] : [{
+		type: "text",
+		value: source.slice(start - origin.offset, end - origin.offset),
+		position: spanAt(origin, start - origin.offset, end - origin.offset)
+	}];
+	const inside = (children) => mergeTexts(children.flatMap(demote));
+	/** 装飾の記号だけを文字に戻し、中身は辿る。中身が空なら丸ごと文字にする。 */
+	const unwrap = (node) => (0, effect.pipe)(effect.Option.all([effect.Option.fromNullable(node.children[0]), effect.Option.fromNullable(node.children[node.children.length - 1])]), effect.Option.match({
+		onNone: () => literal(node.position.start.offset, node.position.end.offset),
+		onSome: ([first, last]) => [
+			...literal(node.position.start.offset, first.position.start.offset),
+			...node.children.flatMap(demote),
+			...literal(last.position.end.offset, node.position.end.offset)
+		]
+	}));
+	const demote = (node) => effect.Match.value(node).pipe(effect.Match.when({ type: "text" }, (text) => [text]), effect.Match.when({ type: "decoration" }, (decoration) => keep(decoration) ? [{
+		...decoration,
+		children: inside(decoration.children)
+	}] : unwrap(decoration)), effect.Match.when(keep, (kept) => [kept]), effect.Match.orElse((other) => literal(other.position.start.offset, other.position.end.offset)));
+	return inside(nodes);
+};
+//#endregion
 //#region src/parse.ts
 /**
 * parse.ts — ページ全文の入口。
@@ -609,10 +758,14 @@ const parse = (source, options) => {
 	const normalized = normalizeLineEndings(source);
 	const lines = toSourceLines(normalized);
 	const rules = resolveExtensions(options?.extensions);
+	const keepInTableCell = keepInTableCellOf(options?.extensions);
 	const last = lines[lines.length - 1];
 	return {
 		type: "page",
-		children: buildBlocks(lines, (text, origin) => tokenizeInlineWith(text, origin, rules)),
+		children: buildBlocks(lines, {
+			line: (text, origin) => tokenizeInlineWith(text, origin, rules),
+			tableCell: (text, origin) => keepNotation(tokenizeInlineWith(text, origin, rules), text, origin, keepInTableCell)
+		}),
 		position: {
 			start: {
 				line: 0,