securemark 0.237.0 → 0.238.0

package/markdown.d.ts

@@ -388,7 +388,7 @@ export namespace MarkdownParser {
         export interface SegmentParser extends
           Block<'extension/figure/segment'>,
           Parser<never, Context, [
-            InlineParser.ExtensionParser.LabelParser.SegmentParser,
+            SourceParser.ContentLineParser,
             Parser<never, Context, [
               Parser<never, Context, [
                 CodeBlockParser.SegmentParser,

package/package-lock.json

@@ -1,6 +1,6 @@
 {
   "name": "securemark",
-  "version": "0.237.0",
+  "version": "0.238.0",
   "lockfileVersion": 1,
   "requires": true,
   "dependencies": {
@@ -1923,9 +1923,9 @@
       "dev": true
     },
     "caniuse-lite": {
-      "version": "1.0.30001324",
-      "resolved": "https://registry.npmjs.org/caniuse-lite/-/caniuse-lite-1.0.30001324.tgz",
-      "integrity": "sha512-/eYp1J6zYh1alySQB4uzYFkLmxxI8tk0kxldbNHXp8+v+rdMKdUBNjRLz7T7fz6Iox+1lIdYpc7rq6ZcXfTukg==",
+      "version": "1.0.30001325",
+      "resolved": "https://registry.npmjs.org/caniuse-lite/-/caniuse-lite-1.0.30001325.tgz",
+      "integrity": "sha512-sB1bZHjseSjDtijV1Hb7PB2Zd58Kyx+n/9EotvZ4Qcz2K3d0lWB8dB4nb8wN/TsOGFq3UuAm0zQZNQ4SoR7TrQ==",
       "dev": true
     },
     "chalk": {
@@ -4915,9 +4915,9 @@
       }
     },
     "graceful-fs": {
-      "version": "4.2.9",
-      "resolved": "https://registry.npmjs.org/graceful-fs/-/graceful-fs-4.2.9.tgz",
-      "integrity": "sha512-NtNxqUcXgpW2iMrfqSfR73Glt39K+BLwWsPs94yR63v45T0Wbej7eRmL5cWfwEgqXnmjQp3zaJTshdRW/qC2ZQ==",
+      "version": "4.2.10",
+      "resolved": "https://registry.npmjs.org/graceful-fs/-/graceful-fs-4.2.10.tgz",
+      "integrity": "sha512-9ByhssR2fPVsNZj478qUUbKfmL0+t5BDVyjShtyZZLiK7ZDAArFFfopyOTj0M05wE2tJPisA4iTnnXl2YoPvOA==",
       "dev": true
     },
     "growl": {
@@ -8018,15 +8018,15 @@
       }
     },
     "npm-check-updates": {
-      "version": "12.5.5",
-      "resolved": "https://registry.npmjs.org/npm-check-updates/-/npm-check-updates-12.5.5.tgz",
-      "integrity": "sha512-7LH6KN6F1fZMtY4zNYAQPpJU1ToxZ6sSCxk948vrLIz97aNqmPLSX72MrmbOWwpyBgLCPbFJWY/k3zE18pmxfw==",
+      "version": "12.5.7",
+      "resolved": "https://registry.npmjs.org/npm-check-updates/-/npm-check-updates-12.5.7.tgz",
+      "integrity": "sha512-WDkqPBevmgphV1UH3FImsDEpTAq2UFvnMZC3GdXPknE2VL701kfKylnae8IA9ZeYfm/uU0249N9gjMXqA/9y3w==",
       "dev": true,
       "requires": {
         "chalk": "^4.1.2",
         "cint": "^8.2.1",
         "cli-table": "^0.3.11",
-        "commander": "^9.0.0",
+        "commander": "^9.1.0",
         "fast-memoize": "^2.5.2",
         "find-up": "5.0.0",
         "fp-and-or": "^0.1.3",
@@ -8039,11 +8039,11 @@
         "lodash": "^4.17.21",
         "minimatch": "^5.0.1",
         "p-map": "^4.0.0",
-        "pacote": "^13.0.3",
+        "pacote": "^13.0.5",
         "parse-github-url": "^1.0.2",
         "progress": "^2.0.3",
         "prompts": "^2.4.2",
-        "rc-config-loader": "^4.0.0",
+        "rc-config-loader": "^4.1.0",
         "remote-git-tags": "^3.0.0",
         "rimraf": "^3.0.2",
         "semver": "^7.3.5",
@@ -9124,9 +9124,9 @@
       }
     },
     "rc-config-loader": {
-      "version": "4.0.0",
-      "resolved": "https://registry.npmjs.org/rc-config-loader/-/rc-config-loader-4.0.0.tgz",
-      "integrity": "sha512-//LRTblJEcqbmmro1GCmZ39qZXD+JqzuD8Y5/IZU3Dhp3A1Yr0Xn68ks8MQ6qKfKvYCWDveUmRDKDA40c+sCXw==",
+      "version": "4.1.0",
+      "resolved": "https://registry.npmjs.org/rc-config-loader/-/rc-config-loader-4.1.0.tgz",
+      "integrity": "sha512-aW+kX4qy0CiM9L4fG4Us3oEOpIrOrXzWykAn+xldD07Y9PXWjTH744oHbv0Kc9ZwWaylw3jMjxaf14RgStrNrA==",
       "dev": true,
       "requires": {
         "debug": "^4.1.1",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "securemark",
-  "version": "0.237.0",
+  "version": "0.238.0",
   "description": "Secure markdown renderer working on browsers for user input data.",
   "private": false,
   "homepage": "https://github.com/falsandtru/securemark",

package/src/debug.test.ts

@@ -19,7 +19,7 @@ export function inspect(result: Result<HTMLElement | string>, until: number | st
         ? until
         : ~(~node.outerHTML.indexOf(until) || -Infinity) + until.length;
       const el = html('div');
-      assert(!node.outerHTML.match(/[\0\x7F]/));
+      assert(!node.outerHTML.match(/[\x00-\x08\x0B-\x1F\x7F]/));
       el.innerHTML = node.outerHTML.slice(0, until);
       if (node.outerHTML.length <= until) {
         assert(node.outerHTML === el.innerHTML);

package/src/parser/block/codeblock.test.ts

@@ -47,7 +47,7 @@ describe('Unit: parser/block/codeblock', () => {
     it('attribute', () => {
       assert.deepStrictEqual(inspect(parser('```0\n```')), [['<pre class="code language-0" translate="no" data-lang="0"></pre>'], '']);
       assert.deepStrictEqual(inspect(parser('```a\n```')), [['<pre class="code language-a" translate="no" data-lang="a"></pre>'], '']);
-      assert.deepStrictEqual(inspect(parser('```A\n```')), [['<pre class="text" translate="no" data-path="A"></pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('```A\n```')), [['<pre class="code language-a" translate="no" data-lang="a"></pre>'], '']);
       assert.deepStrictEqual(inspect(parser('```a-b\n```')), [['<pre class="code language-a-b" translate="no" data-lang="a-b"></pre>'], '']);
       assert.deepStrictEqual(inspect(parser('```a-b0\n```')), [['<pre class="code language-a-b0" translate="no" data-lang="a-b0"></pre>'], '']);
       assert.deepStrictEqual(inspect(parser('```a--b\n```')), [['<pre class="text" translate="no" data-path="a--b"></pre>'], '']);
@@ -62,7 +62,10 @@ describe('Unit: parser/block/codeblock', () => {
       assert.deepStrictEqual(inspect(parser('```.b\n```')), [['<pre class="text" translate="no" data-path=".b"></pre>'], '']);
       assert.deepStrictEqual(inspect(parser('```b.c\n```')), [['<pre class="code language-c" translate="no" data-lang="c" data-path="b.c"></pre>'], '']);
       assert.deepStrictEqual(inspect(parser('```a b.c\n```')), [['<pre class="code language-a" translate="no" data-lang="a" data-path="b.c"></pre>'], '']);
-      assert.deepStrictEqual(inspect(parser('```A b.c\n```')), [['<pre class="invalid" translate="no">```A b.c\n```</pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('```a 1\n```')), [['<pre class="code language-a" translate="no" data-lang="a" data-line="1"></pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('``` 1\n```')), [['<pre class="text" translate="no" data-line="1"></pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('``` 1,2-3\n```')), [['<pre class="text" translate="no" data-line="1,2-3"></pre>'], '']);
+      assert.deepStrictEqual(inspect(parser('``` 1 b.c\n```')), [['<pre class="code language-c" translate="no" data-lang="c" data-line="1" data-path="b.c"></pre>'], '']);
     });
 
   });

package/src/parser/block/codeblock.ts

@@ -3,12 +3,10 @@ import { CodeBlockParser } from '../block';
 import { eval } from '../../combinator/data/parser';
 import { some, block, validate, fence, clear, fmap } from '../../combinator';
 import { autolink } from '../autolink';
-import { escsource } from '../source';
 import { html, defrag } from 'typed-dom';
-import { join } from 'spica/array';
 
-const opener = /^(`{3,})(?!`)(\S*)([^\n]*)(?:$|\n)/;
-const language = /^[0-9a-z]+(?:-[a-z][0-9a-z]*)*$/;
+const opener = /^(`{3,})(?!`)([^\n]*)(?:$|\n)/;
+const language = /^[0-9a-z]+(?:-[a-z][0-9a-z]*)*$/i;
 
 export const segment: CodeBlockParser.SegmentParser = block(validate('```',
   clear(fence(opener, 300))));
@@ -19,35 +17,55 @@ export const segment_: CodeBlockParser.SegmentParser = block(validate('```',
 export const codeblock: CodeBlockParser = block(validate('```', fmap(
   fence(opener, 300),
   // Bug: Type mismatch between outer and inner.
-  ([body, closer, opener, delim, lang, param]: string[], _, context) => {
-    [lang, param] = language.test(lang)
-      ? [lang, param]
-      : ['', lang + param];
-    param = param.trim();
-    const path = join(eval(some(escsource, /^\s/)(param, context), []));
-    if (!closer || param !== path) return [html('pre', {
+  ([body, closer, opener, delim, param]: string[], _, context) => {
+    const params = param.match(/(?:\\.?|\S)+/g)?.reduce<{
+      lang?: string;
+      path?: string;
+      line?: string;
+      invalid?: string;
+    }>((params, value, i) => {
+      let name: string;
+      switch (true) {
+        case i === 0
+          && value[0] === param[0]
+          && language.test(value):
+          name = 'lang';
+          value = value.toLowerCase();
+          break;
+        case /^\d+(?:[,-]\d+)*$/.test(value):
+          name = 'line';
+          break;
+        default:
+          name = 'path';
+          if (!params.lang) {
+            const file = value.split('/').pop() ?? '';
+            params.lang = file && file.includes('.', 1)
+              ? file.split('.').pop()?.match(language)?.[0].toLowerCase()
+              : params.lang;
+          }
+      }
+      name in params
+        ? params.invalid = `Duplicate ${name} value`
+        : params[name] = value;
+      return params;
+    }, {}) ?? {};
+    if (!closer || params.invalid) return [html('pre', {
       class: 'invalid',
       translate: 'no',
       'data-invalid-syntax': 'codeblock',
-      'data-invalid-type': !closer ? 'closer' : 'argument',
-      'data-invalid-message': !closer ? `Missing the closing delimiter "${delim}"` : 'Invalid argument',
+      'data-invalid-type': !closer ? 'fence' : 'argument',
+      'data-invalid-message': !closer ? `Missing the closing delimiter "${delim}"` : params.invalid,
     }, `${opener}${body}${closer}`)];
-    const file = path.split('/').pop() ?? '';
-    const ext = file && file.includes('.', 1)
-      ? file.split('.').pop()!
-      : '';
-    lang = language.test(lang || ext)
-      ? lang || ext
-      : lang && 'invalid';
     const el = html('pre',
       {
-        class: lang ? `code language-${lang}` : 'text',
+        class: params.lang ? `code language-${params.lang}` : 'text',
         translate: 'no',
-        'data-lang': lang || undefined,
-        'data-path': path || undefined,
+        'data-lang': params.lang || undefined,
+        'data-line': params.line || undefined,
+        'data-path': params.path || undefined,
       },
-      lang
-        ? context.caches?.code?.get(`${lang}\n${body.slice(0, -1)}`)?.cloneNode(true).childNodes ||
+      params.lang
+        ? context.caches?.code?.get(`${params.lang ?? ''}\n${body.slice(0, -1)}`)?.cloneNode(true).childNodes ||
           body.slice(0, -1) || undefined
         : defrag(eval(some(autolink)(body.slice(0, -1), context), [])));
     return [el];

package/src/parser/block/extension/aside.ts

@@ -12,7 +12,7 @@ export const aside: ExtensionParser.AsideParser = creator(100, block(validate('~
       class: 'invalid',
       translate: 'no',
       'data-invalid-syntax': 'aside',
-      'data-invalid-type': !closer ? 'closer' : 'argument',
+      'data-invalid-type': !closer ? 'fence' : 'argument',
       'data-invalid-message': !closer ? `Missing the closing delimiter "${delim}"` : 'Invalid argument',
     }, `${opener}${body}${closer}`)];
     const annotations = html('ol', { class: 'annotations' });

package/src/parser/block/extension/example.ts

@@ -15,7 +15,7 @@ export const example: ExtensionParser.ExampleParser = creator(100, block(validat
       class: 'invalid',
       translate: 'no',
       'data-invalid-syntax': 'example',
-      'data-invalid-type': !closer ? 'closer' : 'argument',
+      'data-invalid-type': !closer ? 'fence' : 'argument',
       'data-invalid-message': !closer ? `Missing the closing delimiter "${delim}"` : 'Invalid argument',
     }, `${opener}${body}${closer}`)];
     switch (type) {

package/src/parser/block/extension/fig.test.ts

@@ -14,7 +14,7 @@ describe('Unit: parser/block/extension/fig', () => {
       assert.deepStrictEqual(inspect(parser('[$group-name]\n !https://host')), undefined);
       assert.deepStrictEqual(inspect(parser('[$group-name]\n\n!https://host')), undefined);
       assert.deepStrictEqual(inspect(parser('[$group-name]a\nhttps://host')), undefined);
-      assert.deepStrictEqual(inspect(parser('[$group-name]a\n!https://host')), [['<figure data-type="media" data-label="group-name" data-group="group" class="invalid"><div><a href="https://host" target="_blank"><img class="media" data-src="https://host" alt=""></a></div><figcaption><span class="figindex"></span></figcaption></figure>'], '']);
+      assert.deepStrictEqual(inspect(parser('[$group-name]a\n!https://host')), undefined);
       assert.deepStrictEqual(inspect(parser('[$group-name] a\nhttps://host')), undefined);
       assert.deepStrictEqual(inspect(parser('[$group-name] a\n!https://host')), [['<figure data-type="media" data-label="group-name" data-group="group" class="invalid"><div><a href="https://host" target="_blank"><img class="media" data-src="https://host" alt=""></a></div><figcaption><span class="figindex"></span></figcaption></figure>'], '']);
       assert.deepStrictEqual(inspect(parser('$-a\n$-b')), undefined);

package/src/parser/block/extension/fig.ts

@@ -13,7 +13,7 @@ import FigParser = ExtensionParser.FigParser;
 
 export const segment: FigParser.SegmentParser = block(validate(['[$', '$'],
   sequence([
-    line(close(seg_label, /^.*\n/)),
+    line(close(seg_label, /^(?=\s).*\n/)),
     union([
       seg_code,
       seg_math,

package/src/parser/block/extension/figure.test.ts

@@ -24,6 +24,8 @@ describe('Unit: parser/block/extension/figure', () => {
       assert.deepStrictEqual(inspect(parser('~~~figure [$group-name]a\n!https://host\n~~~')), [['<figure data-type="media" data-label="group-name" data-group="group" class="invalid"><div><a href="https://host" target="_blank"><img class="media" data-src="https://host" alt=""></a></div><figcaption><span class="figindex"></span></figcaption></figure>'], '']);
       assert.deepStrictEqual(inspect(parser('~~~figure [$group-name] a\nhttps://host\n~~~')), undefined);
       assert.deepStrictEqual(inspect(parser('~~~figure [$group-name] a\n!https://host\n~~~')), [['<figure data-type="media" data-label="group-name" data-group="group" class="invalid"><div><a href="https://host" target="_blank"><img class="media" data-src="https://host" alt=""></a></div><figcaption><span class="figindex"></span></figcaption></figure>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~figure a[$group-name]\n!https://host\n~~~')), undefined);
+      assert.deepStrictEqual(inspect(parser('~~~figure a [$group-name]\n!https://host\n~~~')), undefined);
       assert.deepStrictEqual(inspect(parser('~~~ [$group-name]\n!https://host\n~~~')), undefined);
       assert.deepStrictEqual(inspect(parser('~~~ $group-name\n!https://host\n~~~')), undefined);
       assert.deepStrictEqual(inspect(parser(' ~~~figure [$group-name]\n!https://host\n~~~')), undefined);

package/src/parser/block/extension/figure.ts

@@ -2,7 +2,7 @@ import { undefined } from 'spica/global';
 import { ExtensionParser } from '../../block';
 import { union, inits, sequence, some, block, line, rewrite, context, close, match, convert, trim, fmap } from '../../../combinator';
 import { str, contentline, emptyline } from '../../source';
-import { label, segment as seg_label } from '../../inline/extension/label';
+import { label } from '../../inline/extension/label';
 import { ulist } from '../ulist';
 import { olist } from '../olist';
 import { table as styled_table } from '../table';
@@ -22,12 +22,12 @@ import { unshift } from 'spica/array';
 import FigureParser = ExtensionParser.FigureParser;
 
 export const segment: FigureParser.SegmentParser = block(match(
-  /^(~{3,})(?:figure[^\S\n]+)?(?=\[?\$[A-Za-z-][^\n]*\n(?:[^\n]*\n)*?\1[^\S\n]*(?:$|\n))/,
+  /^(~{3,})(?:figure[^\S\n]+)?(?=\[?\$[A-Za-z-][^\n]*\n)/,
   memoize(
   ([, fence], closer = new RegExp(String.raw`^${fence}[^\S\n]*(?:$|\n)`)) =>
     close(
       sequence([
-        line(close(seg_label, /^.*\n/)),
+        contentline,
         inits([
           // All parsers which can include closing terms.
           union([
@@ -85,10 +85,6 @@ export const figure: FigureParser = block(rewrite(segment, fmap(
 
 function attributes(label: string, param: string, content: HTMLElement, caption: readonly HTMLElement[]): Record<string, string | undefined> {
   const group = label.split('-', 1)[0];
-  const invalidLabel = /^[^-]+-(?:[0-9]+\.)*0$/.test(label);
-  const invalidParam = param.trimStart() !== '';
-  const invalidContent = group === '$' && (!content.classList.contains('math') || caption.length > 0);
-  const invalid = invalidLabel || invalidParam || invalidContent || undefined;
   let type: string = content.className.split(/\s/)[0];
   switch (type || content.tagName) {
     case 'UL':
@@ -113,27 +109,28 @@ function attributes(label: string, param: string, content: HTMLElement, caption:
     default:
       assert(false);
   }
+  const invalid =
+    /^[^-]+-(?:[0-9]+\.)*0$/.test(label) && {
+      'data-invalid-type': 'label',
+      'data-invalid-message': 'The last part of the fixed label numbers must not be 0',
+    } ||
+    param.trimStart() !== '' && {
+      'data-invalid-type': 'argument',
+      'data-invalid-message': 'Invalid argument',
+    } ||
+    group === '$' && (!content.classList.contains('math') || caption.length > 0) && {
+      'data-invalid-type': 'content',
+      'data-invalid-message': 'A figure labeled to define a formula number can contain only a math formula and no caption',
+    } ||
+    undefined;
   return {
     'data-type': type,
     'data-label': label,
     'data-group': group,
-    class: invalid && 'invalid',
-    ...
-      invalidLabel && {
-        'data-invalid-syntax': 'figure',
-        'data-invalid-type': 'label',
-        'data-invalid-message': 'The last part of the fixed label numbers must not be 0',
-      } ||
-      invalidParam && {
-        'data-invalid-syntax': 'figure',
-        'data-invalid-type': 'argument',
-        'data-invalid-message': 'Invalid argument',
-      } ||
-      invalidContent && {
-        'data-invalid-syntax': 'figure',
-        'data-invalid-type': 'content',
-        'data-invalid-message': 'A figure labeled to define a formula number can contain only a math formula and no caption',
-      } ||
-      undefined,
+    ...invalid && {
+      class: 'invalid',
+      'data-invalid-syntax': 'figure',
+      ...invalid,
+    },
   };
 }

package/src/parser/block/extension/message.ts

@@ -24,7 +24,7 @@ export const message: MessageParser = block(validate('~~~', fmap(
       class: 'invalid',
       translate: 'no',
       'data-invalid-syntax': 'message',
-      'data-invalid-type': !closer ? 'closer' : 'argument',
+      'data-invalid-type': !closer ? 'fence' : 'argument',
       'data-invalid-message': !closer ? `Missing the closing delimiter "${delim}"` : 'Invalid argument',
     }, `${opener}${body}${closer}`)];
     switch (type) {

package/src/parser/block/extension/placeholder.ts

@@ -17,7 +17,7 @@ export const placeholder: ExtensionParser.PlaceholderParser = block(validate('~~
       class: 'invalid',
       translate: 'no',
       'data-invalid-syntax': 'extension',
-      'data-invalid-type': !closer ? 'closer' : 'syntax',
+      'data-invalid-type': !closer ? 'fence' : 'syntax',
       'data-invalid-message': !closer ? `Missing the closing delimiter "${delim}"` : 'Invalid syntax',
     }, `${opener}${body}${closer}`)
   ])));

package/src/parser/block/extension/table.ts

@@ -31,7 +31,7 @@ export const table: TableParser = block(validate('~~~', recover(fmap(
       class: 'invalid',
       translate: 'no',
       'data-invalid-syntax': 'table',
-      'data-invalid-type': !closer ? 'closer' : 'argument',
+      'data-invalid-type': !closer ? 'fence' : 'argument',
       'data-invalid-message': !closer ? `Missing the closing delimiter "${delim}"` : 'Invalid argument',
     }, `${opener}${body}${closer}`)];
     return eval(parser(body, context)) ?? [html('table')];

package/src/parser/block/heading.test.ts

@@ -27,7 +27,7 @@ describe('Unit: parser/block/heading', () => {
       assert.deepStrictEqual(inspect(parser('# a\nb')), undefined);
       assert.deepStrictEqual(inspect(parser('# *a\nb*')), undefined);
       assert.deepStrictEqual(inspect(parser('# a\n#b')), undefined);
-      assert.deepStrictEqual(inspect(parser('####### a')), undefined);
+      assert.deepStrictEqual(inspect(parser('####### a')), [['<h6 class="invalid" id="index:a">a</h6>'], '']);
       assert.deepStrictEqual(inspect(parser(' # a')), undefined);
     });
 

package/src/parser/block/heading.ts

@@ -4,10 +4,9 @@ import { inline, indexee, indexer } from '../inline';
 import { str } from '../source';
 import { visualize } from '../util';
 import { html, defrag } from 'typed-dom';
-import { shift } from 'spica/array';
 
 export const segment: HeadingParser.SegmentParser = block(validate('#', focus(
-  /^#{1,6}[^\S\n]+\S[^\n]*(?:\n#{1,6}(?!\S)[^\n]*)*(?:$|\n)/,
+  /^#+[^\S\n]+\S[^\n]*(?:\n#+(?!\S)[^\n]*)*(?:$|\n)/,
   some(line(source => [[source], ''])))));
 
 export const heading: HeadingParser = block(rewrite(segment,
@@ -30,6 +29,13 @@ export const heading: HeadingParser = block(rewrite(segment,
       }}},
       trim(visualize(some(union([indexer, inline]))))), true),
   ]),
-  (ns: [string, ...(HTMLElement | string)[]]) => [
-    html(`h${shift(ns)[0].length}` as 'h1', defrag(ns))
+  ([h, ...ns]: [string, ...(HTMLElement | string)[]]) => [
+    h.length <= 6
+      ? html(`h${h.length as 1}`, defrag(ns))
+      : html(`h6`, {
+          class: 'invalid',
+          'data-invalid-syntax': 'heading',
+          'data-invalid-type': 'syntax',
+          'data-invalid-message': 'Heading level must be up to 6',
+        }, defrag(ns))
   ]))))));

package/src/parser/block/mathblock.ts

@@ -22,7 +22,7 @@ export const mathblock: MathBlockParser = block(validate('$$', fmap(
           class: 'invalid',
           translate: 'no',
           'data-invalid-syntax': 'mathblock',
-          'data-invalid-type': delim.length > 2 ? 'syntax' : !closer ? 'closer' : 'argument',
+          'data-invalid-type': delim.length > 2 ? 'syntax' : !closer ? 'fence' : 'argument',
           'data-invalid-message': delim.length > 2 ? 'Invalid syntax' : !closer ? `Missing the closing delimiter "${delim}"` : 'Invalid argument',
         }, `${opener}${body}${closer}`),
   ])));

package/src/parser/block.ts

@@ -54,7 +54,7 @@ export const block: BlockParser = creator(error(
 
 function error(parser: BlockParser): BlockParser {
   return recover<BlockParser>(fallback(
-    open('\0', source => { throw new Error(source.split('\n', 1)[0]); }),
+    open('\x07', source => { throw new Error(source.split('\n', 1)[0]); }),
     parser),
     (source, { id }, reason) => [[
       html('h1',
@@ -71,7 +71,7 @@ function error(parser: BlockParser): BlockParser {
           translate: 'no',
         },
         source
-          .replace(/^\0.*\n/, '')
+          .replace(/^\x07.*\n/, '')
           .slice(0, 1001)
           .replace(/^(.{997}).{4}$/s, '$1...') || undefined),
     ], '']);

package/src/parser/inline/comment.ts

@@ -21,4 +21,4 @@ export const comment: CommentParser = lazy(() => creator(validate('[#', match(
         ]),
       ], rest],
       ([as, bs = []], rest) => [unshift(as, bs), rest]),
-  ([, fence]) => fence)))));
+  ([, fence]) => fence.length)))));

package/src/parser/inline/extension/index.test.ts

@@ -42,6 +42,7 @@ describe('Unit: parser/inline/extension/index', () => {
       assert.deepStrictEqual(inspect(parser('[#a  ]')), [['<a class="index" href="#index:a">a</a>'], '']);
       assert.deepStrictEqual(inspect(parser('[#a b]')), [['<a class="index" href="#index:a_b">a b</a>'], '']);
       assert.deepStrictEqual(inspect(parser('[#a  b]')), [['<a class="index" href="#index:a_b">a  b</a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a \\ ]')), [['<a class="index" href="#index:a">a</a>'], '']);
       assert.deepStrictEqual(inspect(parser('[#a &nbsp;]')), [['<a class="index" href="#index:a">a</a>'], '']);
       assert.deepStrictEqual(inspect(parser('[#a <wbr>]')), [['<a class="index" href="#index:a">a</a>'], '']);
       assert.deepStrictEqual(inspect(parser('[#a [# b #]]')), [['<a class="index" href="#index:a">a <span class="comment"><input type="checkbox"><span>[# b #]</span></span></a>'], '']);
@@ -70,21 +71,26 @@ describe('Unit: parser/inline/extension/index', () => {
       assert.deepStrictEqual(inspect(parser('[#|]')), [['<a class="index" href="#index:|">|</a>'], '']);
       assert.deepStrictEqual(inspect(parser('[#|#]')), [['<a class="index" href="#index:|#">|#</a>'], '']);
       assert.deepStrictEqual(inspect(parser('[#|#b]')), [['<a class="index" href="#index:|#b">|#b</a>'], '']);
-      assert.deepStrictEqual(inspect(parser('[#a|#b]')), [['<a class="index" href="#index:a|#b">a|#b</a>'], '']);
-      assert.deepStrictEqual(inspect(parser('[#a |]')), [['<a class="index" href="#index:a_|">a |</a>'], '']);
-      assert.deepStrictEqual(inspect(parser('[#a |#]')), [['<a class="index" href="#index:a_|#">a |#</a>'], '']);
-      assert.deepStrictEqual(inspect(parser('[#a |# ]')), [['<a class="index" href="#index:a_|#">a |#</a>'], '']);
-      assert.deepStrictEqual(inspect(parser('[#a |#\\ ]')), [['<a class="index" href="#index:a_|#">a |#</a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a|]')), [['<a class="index" href="#index:a|">a|</a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a|#]')), [['<a class="index" href="#index:a|#">a|#</a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a|# ]')), [['<a class="index" href="#index:a|#">a|#</a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a|#\\ ]')), [['<a class="index" href="#index:a|#">a|#</a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a|#b]')), [['<a class="index" href="#index:b">a<span class="indexer" data-index="b"></span></a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a|#b ]')), [['<a class="index" href="#index:b">a<span class="indexer" data-index="b"></span></a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a|#b  ]')), [['<a class="index" href="#index:b">a<span class="indexer" data-index="b"></span></a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a|#\\b]')), [['<a class="index" href="#index:b">a<span class="indexer" data-index="b"></span></a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a|#*b*]')), [['<a class="index" href="#index:*b*">a<span class="indexer" data-index="*b*"></span></a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a|#b c]')), [['<a class="index" href="#index:b_c">a<span class="indexer" data-index="b_c"></span></a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a|#b  c]')), [['<a class="index" href="#index:b_c">a<span class="indexer" data-index="b_c"></span></a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a|#[]]')), [['<a class="index" href="#index:[]">a<span class="indexer" data-index="[]"></span></a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a|#&copy;]')), [['<a class="index" href="#index:&amp;copy;">a<span class="indexer" data-index="&amp;copy;"></span></a>'], '']);
       assert.deepStrictEqual(inspect(parser('[#a |#b]')), [['<a class="index" href="#index:b">a<span class="indexer" data-index="b"></span></a>'], '']);
-      assert.deepStrictEqual(inspect(parser('[#a |#b ]')), [['<a class="index" href="#index:b">a<span class="indexer" data-index="b"></span></a>'], '']);
-      assert.deepStrictEqual(inspect(parser('[#a |#b  ]')), [['<a class="index" href="#index:b">a<span class="indexer" data-index="b"></span></a>'], '']);
-      assert.deepStrictEqual(inspect(parser('[#a |#\\b]')), [['<a class="index" href="#index:b">a<span class="indexer" data-index="b"></span></a>'], '']);
-      assert.deepStrictEqual(inspect(parser('[#a |#*b*]')), [['<a class="index" href="#index:*b*">a<span class="indexer" data-index="*b*"></span></a>'], '']);
-      assert.deepStrictEqual(inspect(parser('[#a |#b c]')), [['<a class="index" href="#index:b_c">a<span class="indexer" data-index="b_c"></span></a>'], '']);
-      assert.deepStrictEqual(inspect(parser('[#a |#b  c]')), [['<a class="index" href="#index:b_c">a<span class="indexer" data-index="b_c"></span></a>'], '']);
-      assert.deepStrictEqual(inspect(parser('[#a |#[]]')), [['<a class="index" href="#index:[]">a<span class="indexer" data-index="[]"></span></a>'], '']);
-      assert.deepStrictEqual(inspect(parser('[#a |#&copy;]')), [['<a class="index" href="#index:&amp;copy;">a<span class="indexer" data-index="&amp;copy;"></span></a>'], '']);
       assert.deepStrictEqual(inspect(parser('[#a  |#b]')), [['<a class="index" href="#index:b">a<span class="indexer" data-index="b"></span></a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a \\ |#b]')), [['<a class="index" href="#index:b">a<span class="indexer" data-index="b"></span></a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a &nbsp;|#b]')), [['<a class="index" href="#index:b">a<span class="indexer" data-index="b"></span></a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a <wbr>|#b]')), [['<a class="index" href="#index:b">a<span class="indexer" data-index="b"></span></a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a [# b #]|#c]')), [['<a class="index" href="#index:c">a <span class="comment"><input type="checkbox"><span>[# b #]</span></span><span class="indexer" data-index="c"></span></a>'], '']);
+      assert.deepStrictEqual(inspect(parser('[#a\\ |#b]')), [['<a class="index" href="#index:b">a<span class="indexer" data-index="b"></span></a>'], '']);
     });
 
   });

package/src/parser/inline/extension/index.ts

@@ -3,7 +3,7 @@ import { ExtensionParser } from '../../inline';
 import { union, some, validate, guard, context, creator, surround, open, lazy, fmap } from '../../../combinator';
 import { inline } from '../../inline';
 import { indexee, identity } from './indexee';
-import { txt, str } from '../../source';
+import { txt, str, stropt } from '../../source';
 import { startTight, trimNodeEnd } from '../../util';
 import { html, define, defrag } from 'typed-dom';
 import { join } from 'spica/array';
@@ -23,10 +23,11 @@ export const index: IndexParser = lazy(() => creator(validate('[#', ']', '\n', f
     media: false,
     autolink: false,
   }}},
+  open(stropt('|'),
   some(union([
     signature,
     inline,
-  ]), ']', /^\\?\n/)))),
+  ]), ']', /^\\?\n/), true)))),
   ']'),
   ns => [html('a', trimNodeEnd(defrag(ns)))])),
   ([el]: [HTMLAnchorElement]) => [
@@ -40,7 +41,7 @@ export const index: IndexParser = lazy(() => creator(validate('[#', ']', '\n', f
   ]))));
 
 const signature: IndexParser.SignatureParser = lazy(() => creator(fmap(open(
-  /^\s+\|#/,
+  '|#',
   startTight(some(union([bracket, txt]), ']'))),
   ns => [
     html('span', { class: 'indexer', 'data-index': identity(join(ns)).slice(6) }),

package/src/parser/inline/htmlentity.ts

@@ -6,12 +6,12 @@ import { reduce } from 'spica/memoize';
 
 export const unsafehtmlentity: UnsafeHTMLEntityParser = creator(validate('&', focus(
   /^&[0-9A-Za-z]+;/,
-  entity => [[parse(entity) ?? `\0${entity}`], ''])));
+  entity => [[parse(entity) ?? `\x1B${entity}`], ''])));
 
 export const htmlentity: HTMLEntityParser = fmap(
   union([unsafehtmlentity]),
   ([test]) => [
-    test[0] === '\0'
+    test[0] === '\x1B'
       ? html('span', {
           class: 'invalid',
           'data-invalid-syntax': 'htmlentity',

package/src/parser/inline/media.ts

@@ -95,13 +95,13 @@ function sanitize(target: HTMLElement, uri: ReadonlyURL, alt: string): boolean {
       });
       return false;
   }
-  if (alt.includes('\0')) {
+  if (alt.includes('\x1B')) {
     define(target, {
       class: void target.classList.add('invalid'),
       'data-invalid-syntax': 'media',
       'data-invalid-type': 'content',
       'data-invalid-message': `Cannot use invalid HTML entitiy "${alt.match(/&[0-9A-Za-z]+;/)![0]}"`,
-      alt: target.getAttribute('alt')?.replace(/\0/g, ''),
+      alt: target.getAttribute('alt')?.replace(/\x1B/g, ''),
     });
     return false;
   }

package/src/parser/inline/ruby.ts

@@ -83,8 +83,8 @@ function attributes(texts: string[], rubies: string[]): Record<string, string> {
   let attrs: Record<string, string> | undefined;
   for (const ss of [texts, rubies]) {
     for (let i = 0; i < ss.length; ++i) {
-      if (ss[i].indexOf('\0') === -1) continue;
-      ss[i] = ss[i].replace(/\0/g, '');
+      if (ss[i].indexOf('\x1B') === -1) continue;
+      ss[i] = ss[i].replace(/\x1B/g, '');
       attrs ??= {
         class: 'invalid',
         'data-invalid-syntax': 'ruby',