securemark 0.237.2 → 0.238.0

package/CHANGELOG.md

@@ -1,5 +1,9 @@
 # Changelog
 
+## 0.238.0
+
+- Revert signature syntax not to require leading whitespace.
+
 ## 0.237.2
 
 - Refactoring.

package/dist/securemark.js

@@ -1,4 +1,4 @@
-/*! securemark v0.237.2 https://github.com/falsandtru/securemark | (c) 2017, falsandtru | UNLICENSED */
+/*! securemark v0.238.0 https://github.com/falsandtru/securemark | (c) 2017, falsandtru | UNLICENSED */
 require = function () {
     function r(e, n, t) {
         function o(i, f) {
@@ -4648,7 +4648,7 @@ require = function () {
                 paragraph_1.paragraph
             ]))));
             function error(parser) {
-                return (0, combinator_1.recover)((0, combinator_1.fallback)((0, combinator_1.open)('\0', source => {
+                return (0, combinator_1.recover)((0, combinator_1.fallback)((0, combinator_1.open)('\x07', source => {
                     throw new Error(source.split('\n', 1)[0]);
                 }), parser), (source, {id}, reason) => [
                     [
@@ -4659,7 +4659,7 @@ require = function () {
                         (0, typed_dom_1.html)('pre', {
                             class: 'error',
                             translate: 'no'
-                        }, source.replace(/^\0.*\n/, '').slice(0, 1001).replace(/^(.{997}).{4}$/s, '$1...') || global_1.undefined)
+                        }, source.replace(/^\x07.*\n/, '').slice(0, 1001).replace(/^(.{997}).{4}$/s, '$1...') || global_1.undefined)
                     ],
                     ''
                 ]);
@@ -5043,7 +5043,7 @@ require = function () {
                 '[$',
                 '$'
             ], (0, combinator_1.sequence)([
-                (0, combinator_1.line)((0, combinator_1.close)(label_1.segment, /^.*\n/)),
+                (0, combinator_1.line)((0, combinator_1.close)(label_1.segment, /^(?=\s).*\n/)),
                 (0, combinator_1.union)([
                     codeblock_1.segment,
                     mathblock_1.segment,
@@ -5119,7 +5119,7 @@ require = function () {
             const memoize_1 = _dereq_('spica/memoize');
             const array_1 = _dereq_('spica/array');
             exports.segment = (0, combinator_1.block)((0, combinator_1.match)(/^(~{3,})(?:figure[^\S\n]+)?(?=\[?\$[A-Za-z-][^\n]*\n)/, (0, memoize_1.memoize)(([, fence], closer = new RegExp(String.raw`^${ fence }[^\S\n]*(?:$|\n)`)) => (0, combinator_1.close)((0, combinator_1.sequence)([
-                (0, combinator_1.line)((0, combinator_1.close)(label_1.segment, /^.*\n/)),
+                source_1.contentline,
                 (0, combinator_1.inits)([
                     (0, combinator_1.union)([
                         codeblock_1.segment_,
@@ -5164,10 +5164,6 @@ require = function () {
                 ])])));
             function attributes(label, param, content, caption) {
                 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 || global_1.undefined;
                 let type = content.className.split(/\s/)[0];
                 switch (type || content.tagName) {
                 case 'UL':
@@ -5191,24 +5187,25 @@ require = function () {
                     break;
                 default:
                 }
+                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'
+                } || global_1.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 && {
+                    ...invalid && {
+                        class: 'invalid',
                         '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'
-                    } || global_1.undefined
+                        ...invalid
+                    }
                 };
             }
         },
@@ -6989,15 +6986,15 @@ require = function () {
                         autolink: false
                     }
                 }
-            }, (0, combinator_1.some)((0, combinator_1.union)([
+            }, (0, combinator_1.open)((0, source_1.stropt)('|'), (0, combinator_1.some)((0, combinator_1.union)([
                 signature,
                 inline_1.inline
-            ]), ']', /^\\?\n/)))), ']'), ns => [(0, typed_dom_1.html)('a', (0, util_1.trimNodeEnd)((0, typed_dom_1.defrag)(ns)))])), ([el]) => [(0, typed_dom_1.define)(el, {
+            ]), ']', /^\\?\n/), true)))), ']'), ns => [(0, typed_dom_1.html)('a', (0, util_1.trimNodeEnd)((0, typed_dom_1.defrag)(ns)))])), ([el]) => [(0, typed_dom_1.define)(el, {
                     id: el.id ? null : global_1.undefined,
                     class: 'index',
                     href: el.id ? `#${ el.id }` : global_1.undefined
                 }, el.childNodes)]))));
-            const signature = (0, combinator_1.lazy)(() => (0, combinator_1.creator)((0, combinator_1.fmap)((0, combinator_1.open)(/^\s+\|#/, (0, util_1.startTight)((0, combinator_1.some)((0, combinator_1.union)([
+            const signature = (0, combinator_1.lazy)(() => (0, combinator_1.creator)((0, combinator_1.fmap)((0, combinator_1.open)('|#', (0, util_1.startTight)((0, combinator_1.some)((0, combinator_1.union)([
                 bracket,
                 source_1.txt
             ]), ']'))), ns => [(0, typed_dom_1.html)('span', {
@@ -7378,11 +7375,11 @@ require = function () {
             exports.unsafehtmlentity = (0, combinator_1.creator)((0, combinator_1.validate)('&', (0, combinator_1.focus)(/^&[0-9A-Za-z]+;/, entity => {
                 var _a;
                 return [
-                    [(_a = parse(entity)) !== null && _a !== void 0 ? _a : `\0${ entity }`],
+                    [(_a = parse(entity)) !== null && _a !== void 0 ? _a : `\x1B${ entity }`],
                     ''
                 ];
             })));
-            exports.htmlentity = (0, combinator_1.fmap)((0, combinator_1.union)([exports.unsafehtmlentity]), ([test]) => [test[0] === '\0' ? (0, typed_dom_1.html)('span', {
+            exports.htmlentity = (0, combinator_1.fmap)((0, combinator_1.union)([exports.unsafehtmlentity]), ([test]) => [test[0] === '\x1B' ? (0, typed_dom_1.html)('span', {
                     class: 'invalid',
                     'data-invalid-syntax': 'htmlentity',
                     'data-invalid-type': 'syntax',
@@ -7780,13 +7777,13 @@ require = function () {
                     });
                     return false;
                 }
-                if (alt.includes('\0')) {
+                if (alt.includes('\x1B')) {
                     (0, typed_dom_1.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: (_a = target.getAttribute('alt')) === null || _a === void 0 ? void 0 : _a.replace(/\0/g, '')
+                        alt: (_a = target.getAttribute('alt')) === null || _a === void 0 ? void 0 : _a.replace(/\x1B/g, '')
                     });
                     return false;
                 }
@@ -7949,9 +7946,9 @@ require = function () {
                         rubies
                     ]) {
                     for (let i = 0; i < ss.length; ++i) {
-                        if (ss[i].indexOf('\0') === -1)
+                        if (ss[i].indexOf('\x1B') === -1)
                             continue;
-                        ss[i] = ss[i].replace(/\0/g, '');
+                        ss[i] = ss[i].replace(/\x1B/g, '');
                         attrs !== null && attrs !== void 0 ? attrs : attrs = {
                             class: 'invalid',
                             'data-invalid-syntax': 'ruby',
@@ -8190,7 +8187,7 @@ require = function () {
                     const def = defs[i];
                     if (def.parentNode !== target)
                         continue;
-                    const {tagName, classList} = def;
+                    const {tagName} = def;
                     if (bases.length === 1 && tagName[0] === 'H')
                         continue;
                     const label = tagName === 'FIGURE' ? def.getAttribute('data-label') : `$-${ increment(index, def) }`;
@@ -8198,7 +8195,7 @@ require = function () {
                         continue;
                     if (label.endsWith('-0')) {
                         (0, typed_dom_1.define)(def, {
-                            class: void classList.add('invalid'),
+                            class: void def.classList.add('invalid'),
                             'data-invalid-syntax': 'figure',
                             'data-invalid-type': 'argument',
                             'data-invalid-message': 'Invalid base index',
@@ -8209,7 +8206,7 @@ require = function () {
                     if (tagName === 'FIGURE' && label.endsWith('.0')) {
                         if (label.lastIndexOf('.', label.length - 3) !== -1) {
                             (0, typed_dom_1.define)(def, {
-                                class: void classList.add('invalid'),
+                                class: void def.classList.add('invalid'),
                                 'data-invalid-syntax': 'figure',
                                 'data-invalid-type': 'argument',
                                 'data-invalid-message': 'Base index must be $-x.0 format',
@@ -8219,16 +8216,16 @@ require = function () {
                         }
                         if (!/^H[1-6]$/.test((_d = (_c = def.previousElementSibling) === null || _c === void 0 ? void 0 : _c.tagName) !== null && _d !== void 0 ? _d : '')) {
                             (0, typed_dom_1.define)(def, {
-                                class: void classList.add('invalid'),
+                                class: void def.classList.add('invalid'),
                                 'data-invalid-syntax': 'figure',
                                 'data-invalid-type': 'position',
                                 'data-invalid-message': 'Base index declarations must be after level 1 to 6 headings',
                                 hidden: null
                             });
                             continue;
-                        } else {
-                            classList.contains('invalid') && (0, typed_dom_1.define)(def, {
-                                class: void classList.remove('invalid'),
+                        } else if (def.getAttribute('data-invalid-message') === 'Base index declarations must be after level 1 to 6 headings') {
+                            (0, typed_dom_1.define)(def, {
+                                class: void def.classList.remove('invalid'),
                                 'data-invalid-syntax': null,
                                 'data-invalid-type': null,
                                 'data-invalid-message': null,
@@ -8253,39 +8250,47 @@ require = function () {
                         continue;
                     }
                     !(0, label_1.isFixed)(label) && numbers.set(group, number);
-                    opts.id !== '' && def.setAttribute('id', `label:${ opts.id ? `${ opts.id }:` : '' }${ label }`);
                     const figindex = group === '$' ? `(${ number })` : `${ capitalize(group) }${ group === 'fig' ? '.' : '' } ${ number }`;
                     (0, typed_dom_1.define)(def.querySelector(':scope > figcaption > .figindex'), group === '$' ? figindex : `${ figindex }. `);
                     if (labels.has(label)) {
-                        if (classList.contains('invalid') && def.getAttribute('data-invalid-message') !== 'Duplicate label')
+                        if (def.classList.contains('invalid'))
                             continue;
                         (0, typed_dom_1.define)(def, {
                             id: null,
-                            class: void classList.add('invalid'),
+                            class: void def.classList.add('invalid'),
                             'data-invalid-syntax': 'figure',
                             'data-invalid-type': 'argument',
                             'data-invalid-message': 'Duplicate label'
                         });
                         continue;
-                    } else {
-                        labels.add(label);
+                    } else if (def.getAttribute('data-invalid-message') === 'Duplicate label') {
                         (0, typed_dom_1.define)(def, {
-                            class: void classList.remove('invalid'),
+                            class: void def.classList.remove('invalid'),
                             'data-invalid-syntax': null,
                             'data-invalid-type': null,
                             'data-invalid-message': null
                         });
                     }
+                    labels.add(label);
+                    opts.id !== '' && def.setAttribute('id', `label:${ opts.id ? `${ opts.id }:` : '' }${ label }`);
                     for (const ref of refs.take(label, global_1.Infinity)) {
+                        if (ref.getAttribute('data-invalid-message') === 'Missing the target figure') {
+                            (0, typed_dom_1.define)(ref, {
+                                class: void ref.classList.remove('invalid'),
+                                'data-invalid-syntax': null,
+                                'data-invalid-type': null,
+                                'data-invalid-message': null
+                            });
+                        }
                         if (ref.hash.slice(1) === def.id && ref.innerText === figindex)
                             continue;
                         yield (0, typed_dom_1.define)(ref, opts.id !== '' ? { href: `#${ def.id }` } : { class: `${ ref.className } disabled` }, figindex);
                     }
                 }
                 for (const [, ref] of refs) {
-                    if (opts.id !== '') {
+                    if (opts.id !== '' && !ref.classList.contains('invalid')) {
                         (0, typed_dom_1.define)(ref, {
-                            class: `${ ref.className } disabled invalid`,
+                            class: void ref.classList.add('invalid'),
                             'data-invalid-syntax': 'label',
                             'data-invalid-type': 'reference',
                             'data-invalid-message': 'Missing the target figure'
@@ -8477,14 +8482,14 @@ require = function () {
             ]);
             function* segment(source) {
                 if (!validate(source, exports.MAX_INPUT_SIZE))
-                    return yield `\0Too large input over ${ exports.MAX_INPUT_SIZE.toLocaleString('en') } bytes.\n${ source.slice(0, 1001) }`;
+                    return yield `\x07Too large input over ${ exports.MAX_INPUT_SIZE.toLocaleString('en') } bytes.\n${ source.slice(0, 1001) }`;
                 while (source !== '') {
                     const result = parser(source, {});
                     const rest = (0, parser_1.exec)(result);
                     const segs = (0, parser_1.eval)(result).length ? (0, parser_1.eval)(result) : [source.slice(0, source.length - rest.length)];
                     for (let i = 0; i < segs.length; ++i) {
                         const seg = segs[i];
-                        validate(seg, exports.MAX_SEGMENT_SIZE) ? yield seg : yield `\0Too large segment over ${ exports.MAX_SEGMENT_SIZE.toLocaleString('en') } bytes.\n${ seg }`;
+                        validate(seg, exports.MAX_SEGMENT_SIZE) ? yield seg : yield `\x07Too large segment over ${ exports.MAX_SEGMENT_SIZE.toLocaleString('en') } bytes.\n${ seg }`;
                     }
                     source = rest;
                 }
@@ -8510,7 +8515,7 @@ require = function () {
         function (_dereq_, module, exports) {
             'use strict';
             Object.defineProperty(exports, '__esModule', { value: true });
-            exports.anyline = exports.emptyline = exports.contentline = exports.str = exports.unescsource = exports.escsource = exports.linebreak = exports.txt = exports.text = void 0;
+            exports.anyline = exports.emptyline = exports.contentline = exports.stropt = exports.str = exports.unescsource = exports.escsource = exports.linebreak = exports.txt = exports.text = void 0;
             var text_1 = _dereq_('./source/text');
             Object.defineProperty(exports, 'text', {
                 enumerable: true,
@@ -8551,6 +8556,12 @@ require = function () {
                     return str_1.str;
                 }
             });
+            Object.defineProperty(exports, 'stropt', {
+                enumerable: true,
+                get: function () {
+                    return str_1.stropt;
+                }
+            });
             var line_1 = _dereq_('./source/line');
             Object.defineProperty(exports, 'contentline', {
                 enumerable: true,
@@ -8659,10 +8670,10 @@ require = function () {
         function (_dereq_, module, exports) {
             'use strict';
             Object.defineProperty(exports, '__esModule', { value: true });
-            exports.str = void 0;
+            exports.stropt = exports.str = void 0;
             const global_1 = _dereq_('spica/global');
             const combinator_1 = _dereq_('../../combinator');
-            function str(pattern, mustConsume = true) {
+            function str(pattern) {
                 return typeof pattern === 'string' ? (0, combinator_1.creator)(source => {
                     if (source === '')
                         return;
@@ -8674,14 +8685,38 @@ require = function () {
                     if (source === '')
                         return;
                     const m = source.match(pattern);
-                    return m && (!mustConsume || m[0].length > 0) ? [
+                    return m && m[0].length > 0 ? [
                         [m[0]],
                         source.slice(m[0].length)
                     ] : global_1.undefined;
                 });
             }
             exports.str = str;
-            ;
+            function stropt(pattern) {
+                return typeof pattern === 'string' ? (0, combinator_1.creator)(source => {
+                    if (source === '')
+                        return;
+                    return source.slice(0, pattern.length) === pattern ? [
+                        [pattern],
+                        source.slice(pattern.length)
+                    ] : [
+                        [],
+                        source
+                    ];
+                }) : (0, combinator_1.creator)(source => {
+                    if (source === '')
+                        return;
+                    const m = source.match(pattern);
+                    return m ? [
+                        [m[0]],
+                        source.slice(m[0].length)
+                    ] : [
+                        [],
+                        source
+                    ];
+                });
+            }
+            exports.stropt = stropt;
         },
         {
             '../../combinator': 27,
@@ -8898,7 +8933,7 @@ require = function () {
             exports.startLoose = startLoose;
             exports.isStartLoose = (0, memoize_1.reduce)((source, context, except) => {
                 return isStartTight(source.replace(/^[^\S\n]+/, ''), context, except);
-            }, (source, _, except = '') => `${ source }\0${ except }`);
+            }, (source, _, except = '') => `${ source }\x1E${ except }`);
             function startTight(parser, except) {
                 return (source, context) => isStartTight(source, context, except) ? parser(source, context) : global_1.undefined;
             }
@@ -8932,7 +8967,7 @@ require = function () {
                 default:
                     return source[0].trimStart() !== '';
                 }
-            }, (source, _, except = '') => `${ source }\0${ except }`);
+            }, (source, _, except = '') => `${ source }\x1E${ except }`);
             function isStartTightNodes(nodes) {
                 if (nodes.length === 0)
                     return true;

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.2",
+  "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": {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "securemark",
-  "version": "0.237.2",
+  "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/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';
@@ -27,7 +27,7 @@ export const segment: FigureParser.SegmentParser = block(match(
   ([, 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.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/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',

package/src/parser/processor/figure.test.ts

@@ -21,6 +21,7 @@ describe('Unit: parser/processor/figure', () => {
       const target = parse([
         '$fig-a\n> ',
         '$fig-a',
+        '$fig-b',
         '$fig-a',
       ].join('\n\n'));
       for (let i = 0; i < 3; ++i) {
@@ -30,6 +31,7 @@ describe('Unit: parser/processor/figure', () => {
           [
             '<figure data-type="quote" data-label="fig-a" data-group="fig" data-number="1" id="label:fig-a"><div><blockquote></blockquote></div><figcaption><span class="figindex">Fig. 1. </span></figcaption></figure>',
             '<p><a class="label" data-label="fig-a" href="#label:fig-a">Fig. 1</a></p>',
+            '<p><a class="label invalid" data-label="fig-b" data-invalid-syntax="label" data-invalid-type="reference" data-invalid-message="Missing the target figure">$fig-b</a></p>',
             '<p><a class="label" data-label="fig-a" href="#label:fig-a">Fig. 1</a></p>',
           ]);
       }
@@ -98,7 +100,7 @@ describe('Unit: parser/processor/figure', () => {
             '<figure data-type="quote" data-label="fig-a" data-group="fig" data-number="1" id="label:fig-a"><div><blockquote></blockquote></div><figcaption><span class="figindex">Fig. 1. </span></figcaption></figure>',
             '<p><a class="label" data-label="fig-2" href="#label:fig-2">Fig. 2</a></p>',
             '<p><a class="label" data-label="$-4.1.1" href="#label:$-4.1.1">(4.1.1)</a></p>',
-            '<p><a class="label disabled invalid" data-label="fig-1" data-invalid-syntax="label" data-invalid-type="reference" data-invalid-message="Missing the target figure">$fig-1</a></p>',
+            '<p><a class="label invalid" data-label="fig-1" data-invalid-syntax="label" data-invalid-type="reference" data-invalid-message="Missing the target figure">$fig-1</a></p>',
           ]);
       }
     });

package/src/parser/processor/figure.ts

@@ -29,7 +29,7 @@ export function* figure(
     yield;
     const def = defs[i];
     if (def.parentNode !== target) continue;
-    const { tagName, classList } = def;
+    const { tagName } = def;
     if (bases.length === 1 && tagName[0] === 'H') continue;
     assert(base === '0' || bases.length > 1);
     const label = tagName === 'FIGURE'
@@ -38,7 +38,7 @@ export function* figure(
     if (label.endsWith('-')) continue;
     if (label.endsWith('-0')) {
       define(def, {
-        class: void classList.add('invalid'),
+        class: void def.classList.add('invalid'),
         'data-invalid-syntax': 'figure',
         'data-invalid-type': 'argument',
         'data-invalid-message': 'Invalid base index',
@@ -50,7 +50,7 @@ export function* figure(
       // $-x.x.0 is disabled.
       if (label.lastIndexOf('.', label.length - 3) !== -1) {
         define(def, {
-          class: void classList.add('invalid'),
+          class: void def.classList.add('invalid'),
           'data-invalid-syntax': 'figure',
           'data-invalid-type': 'argument',
           'data-invalid-message': 'Base index must be $-x.0 format',
@@ -61,7 +61,7 @@ export function* figure(
       // $-x.0 after h1-h6.
       if (!/^H[1-6]$/.test(def.previousElementSibling?.tagName ?? '')) {
         define(def, {
-          class: void classList.add('invalid'),
+          class: void def.classList.add('invalid'),
           'data-invalid-syntax': 'figure',
           'data-invalid-type': 'position',
           'data-invalid-message': 'Base index declarations must be after level 1 to 6 headings',
@@ -69,9 +69,9 @@ export function* figure(
         });
         continue;
       }
-      else {
-        classList.contains('invalid') && define(def, {
-          class: void classList.remove('invalid'),
+      else if (def.getAttribute('data-invalid-message') === 'Base index declarations must be after level 1 to 6 headings') {
+        define(def, {
+          class: void def.classList.remove('invalid'),
           'data-invalid-syntax': null,
           'data-invalid-type': null,
           'data-invalid-message': null,
@@ -118,7 +118,6 @@ export function* figure(
     assert(number.split('.').pop() !== '0');
     !isFixed(label) && numbers.set(group, number);
     assert(!+def.setAttribute('data-number', number));
-    opts.id !== '' && def.setAttribute('id', `label:${opts.id ? `${opts.id}:` : ''}${label}`);
     const figindex = group === '$'
       ? `(${number})`
       : `${capitalize(group)}${group === 'fig' ? '.' : ''} ${number}`;
@@ -126,27 +125,35 @@ export function* figure(
       def.querySelector(':scope > figcaption > .figindex')!,
       group === '$' ? figindex : `${figindex}. `);
     if (labels.has(label)) {
-      if (classList.contains('invalid') &&
-          def.getAttribute('data-invalid-message') !== 'Duplicate label') continue;
+      if (def.classList.contains('invalid')) continue;
       define(def, {
         id: null,
-        class: void classList.add('invalid'),
+        class: void def.classList.add('invalid'),
         'data-invalid-syntax': 'figure',
         'data-invalid-type': 'argument',
         'data-invalid-message': 'Duplicate label',
       });
       continue;
     }
-    else {
-      labels.add(label);
+    else if (def.getAttribute('data-invalid-message') === 'Duplicate label') {
       define(def, {
-        class: void classList.remove('invalid'),
+        class: void def.classList.remove('invalid'),
         'data-invalid-syntax': null,
         'data-invalid-type': null,
         'data-invalid-message': null,
       });
     }
+    labels.add(label);
+    opts.id !== '' && def.setAttribute('id', `label:${opts.id ? `${opts.id}:` : ''}${label}`);
     for (const ref of refs.take(label, Infinity)) {
+      if (ref.getAttribute('data-invalid-message') === 'Missing the target figure') {
+        define(ref, {
+          class: void ref.classList.remove('invalid'),
+          'data-invalid-syntax': null,
+          'data-invalid-type': null,
+          'data-invalid-message': null,
+        });
+      }
       if (ref.hash.slice(1) === def.id && ref.innerText === figindex) continue;
       yield define(ref,
         opts.id !== '' ? { href: `#${def.id}` } : { class: `${ref.className} disabled` },
@@ -154,9 +161,9 @@ export function* figure(
     }
   }
   for (const [, ref] of refs) {
-    if (opts.id !== '') {
+    if (opts.id !== '' && !ref.classList.contains('invalid')) {
       define(ref, {
-        class: `${ref.className} disabled invalid`,
+        class: void ref.classList.add('invalid'),
         'data-invalid-syntax': 'label',
         'data-invalid-type': 'reference',
         'data-invalid-message': 'Missing the target figure',

package/src/parser/segment.test.ts

@@ -4,12 +4,12 @@ describe('Unit: parser/segment', () => {
   describe('segment', () => {
     it('huge input', () => {
       const result = segment(`${'\n'.repeat(10 * 1000 ** 2)}`).next().value?.split('\n', 1)[0];
-      assert(result?.startsWith('\0Too large input'));
+      assert(result?.startsWith('\x07Too large input'));
     });
 
     it('huge segment', () => {
       const result = segment(`${'\n'.repeat(1000 ** 2 - 1)}`).next().value?.split('\n', 1)[0];
-      assert(result?.startsWith('\0Too large segment'));
+      assert(result?.startsWith('\x07Too large segment'));
     });
 
     it('basic', () => {

package/src/parser/segment.ts

@@ -23,7 +23,7 @@ const parser: SegmentParser = union([
 ]);
 
 export function* segment(source: string): Generator<string, undefined, undefined> {
-  if (!validate(source, MAX_INPUT_SIZE)) return yield `\0Too large input over ${MAX_INPUT_SIZE.toLocaleString('en')} bytes.\n${source.slice(0, 1001)}`;
+  if (!validate(source, MAX_INPUT_SIZE)) return yield `\x07Too large input over ${MAX_INPUT_SIZE.toLocaleString('en')} bytes.\n${source.slice(0, 1001)}`;
   assert(source.length < Number.MAX_SAFE_INTEGER);
   while (source !== '') {
     const result = parser(source, {})!;
@@ -36,7 +36,7 @@ export function* segment(source: string): Generator<string, undefined, undefined
       const seg = segs[i];
       validate(seg, MAX_SEGMENT_SIZE)
         ? yield seg
-        : yield `\0Too large segment over ${MAX_SEGMENT_SIZE.toLocaleString('en')} bytes.\n${seg}`
+        : yield `\x07Too large segment over ${MAX_SEGMENT_SIZE.toLocaleString('en')} bytes.\n${seg}`
     }
     source = rest;
   }

package/src/parser/source/str.ts

@@ -3,8 +3,8 @@ import { StrParser } from '../source';
 import { Parser, Context } from '../../combinator/data/parser';
 import { creator } from '../../combinator';
 
-export function str(pattern: string | RegExp, mustConsume?: boolean): StrParser;
-export function str(pattern: string | RegExp, mustConsume = true): Parser<string, Context<StrParser>, []> {
+export function str(pattern: string | RegExp): StrParser;
+export function str(pattern: string | RegExp): Parser<string, Context<StrParser>, []> {
   assert(pattern);
   return typeof pattern === 'string'
     ? creator(source => {
@@ -16,8 +16,27 @@ export function str(pattern: string | RegExp, mustConsume = true): Parser<string
     : creator(source => {
         if (source === '') return;
         const m = source.match(pattern);
-        return m && (!mustConsume || m[0].length > 0)
+        return m && m[0].length > 0
           ? [[m[0]], source.slice(m[0].length)]
           : undefined;
       });
-};
+}
+
+export function stropt(pattern: string | RegExp): StrParser;
+export function stropt(pattern: string | RegExp): Parser<string, Context<StrParser>, []> {
+  assert(pattern);
+  return typeof pattern === 'string'
+    ? creator(source => {
+        if (source === '') return;
+        return source.slice(0, pattern.length) === pattern
+          ? [[pattern], source.slice(pattern.length)]
+          : [[], source];
+      })
+    : creator(source => {
+        if (source === '') return;
+        const m = source.match(pattern);
+        return m
+          ? [[m[0]], source.slice(m[0].length)]
+          : [[], source];
+      });
+}

package/src/parser/source/text.ts

@@ -24,6 +24,7 @@ export const text: TextParser = creator((source, context) => {
             case '。':
             case '！':
             case '？':
+              assert(source[0] !== '\x1B');
               return text(source.slice(1), context);
           }
           break;
@@ -39,8 +40,10 @@ export const text: TextParser = creator((source, context) => {
         case '\\':
           switch (source[1]) {
             case undefined:
+              assert(source[0] !== '\x1B');
               return [[], ''];
             case '\n':
+              assert(source[0] !== '\x1B');
               return [[html('span', { class: 'linebreak' }, ' ')], source.slice(2)];
             default:
               return [[source.slice(1, 2)], source.slice(2)];

package/src/parser/source.ts

@@ -14,5 +14,5 @@ export import AnyLineParser = SourceParser.AnyLineParser;
 export { text, txt, linebreak } from './source/text';
 export { escsource } from './source/escapable';
 export { unescsource } from './source/unescapable';
-export { str } from './source/str';
+export { str, stropt } from './source/str';
 export { contentline, emptyline, anyline } from './source/line';

package/src/parser/util.ts

@@ -55,7 +55,7 @@ export function startLoose<T extends HTMLElement | string>(parser: Parser<T>, ex
 }
 export const isStartLoose = reduce((source: string, context: MarkdownParser.Context, except?: string): boolean => {
   return isStartTight(source.replace(/^[^\S\n]+/, ''), context, except);
-}, (source, _, except = '') => `${source}\0${except}`);
+}, (source, _, except = '') => `${source}\x1E${except}`);
 export function startTight<P extends Parser<unknown>>(parser: P, except?: string): P;
 export function startTight<T>(parser: Parser<T>, except?: string): Parser<T> {
   return (source, context) =>
@@ -93,7 +93,7 @@ const isStartTight = reduce((source: string, context: MarkdownParser.Context, ex
     default:
       return source[0].trimStart() !== '';
   }
-}, (source, _, except = '') => `${source}\0${except}`);
+}, (source, _, except = '') => `${source}\x1E${except}`);
 export function isStartTightNodes(nodes: readonly (HTMLElement | string)[]): boolean {
   if (nodes.length === 0) return true;
   return isVisible(nodes[0], 0);