securemark 0.234.2 → 0.235.1

package/package-lock.json

@@ -1,6 +1,6 @@
 {
   "name": "securemark",
-  "version": "0.234.2",
+  "version": "0.235.1",
   "lockfileVersion": 1,
   "requires": true,
   "dependencies": {
@@ -449,9 +449,9 @@
       },
       "dependencies": {
         "lru-cache": {
-          "version": "7.7.1",
-          "resolved": "https://registry.npmjs.org/lru-cache/-/lru-cache-7.7.1.tgz",
-          "integrity": "sha512-cRffBiTW8s73eH4aTXqBcTLU0xQnwGV3/imttRHGWCrbergmnK4D6JXQd8qin5z43HnDwRI+o7mVW0LEB+tpAw==",
+          "version": "7.7.3",
+          "resolved": "https://registry.npmjs.org/lru-cache/-/lru-cache-7.7.3.tgz",
+          "integrity": "sha512-WY9wjJNQt9+PZilnLbuFKM+SwDull9+6IAguOrarOMoOHTcJ9GnXSO11+Gw6c7xtDkBkthR57OZMtZKYr+1CEw==",
           "dev": true
         },
         "mkdirp": {
@@ -1760,10 +1760,13 @@
       "dev": true
     },
     "builtins": {
-      "version": "1.0.3",
-      "resolved": "https://registry.npmjs.org/builtins/-/builtins-1.0.3.tgz",
-      "integrity": "sha1-y5T662HIaWRR2zZTThQi+U8K7og=",
-      "dev": true
+      "version": "5.0.0",
+      "resolved": "https://registry.npmjs.org/builtins/-/builtins-5.0.0.tgz",
+      "integrity": "sha512-aizhtbxgT1Udg0Fj6GssXshAVK+nxbtCV+1OtTrMNy67jffDFBY6CUBAkhO4owbleAx6fdbnWdpsmmcXydbzNw==",
+      "dev": true,
+      "requires": {
+        "semver": "^7.0.0"
+      }
     },
     "bytes": {
       "version": "3.1.2",
@@ -1798,9 +1801,9 @@
       },
       "dependencies": {
         "lru-cache": {
-          "version": "7.7.1",
-          "resolved": "https://registry.npmjs.org/lru-cache/-/lru-cache-7.7.1.tgz",
-          "integrity": "sha512-cRffBiTW8s73eH4aTXqBcTLU0xQnwGV3/imttRHGWCrbergmnK4D6JXQd8qin5z43HnDwRI+o7mVW0LEB+tpAw==",
+          "version": "7.7.3",
+          "resolved": "https://registry.npmjs.org/lru-cache/-/lru-cache-7.7.3.tgz",
+          "integrity": "sha512-WY9wjJNQt9+PZilnLbuFKM+SwDull9+6IAguOrarOMoOHTcJ9GnXSO11+Gw6c7xtDkBkthR57OZMtZKYr+1CEw==",
           "dev": true
         },
         "mkdirp": {
@@ -1924,9 +1927,9 @@
       "dev": true
     },
     "caniuse-lite": {
-      "version": "1.0.30001320",
-      "resolved": "https://registry.npmjs.org/caniuse-lite/-/caniuse-lite-1.0.30001320.tgz",
-      "integrity": "sha512-MWPzG54AGdo3nWx7zHZTefseM5Y1ccM7hlQKHRqJkPozUaw3hNbBTMmLn16GG2FUzjR13Cr3NPfhIieX5PzXDA==",
+      "version": "1.0.30001322",
+      "resolved": "https://registry.npmjs.org/caniuse-lite/-/caniuse-lite-1.0.30001322.tgz",
+      "integrity": "sha512-neRmrmIrCGuMnxGSoh+x7zYtQFFgnSY2jaomjU56sCkTA6JINqQrxutF459JpWcWRajvoyn95sOXq4Pqrnyjew==",
       "dev": true
     },
     "chalk": {
@@ -3030,9 +3033,9 @@
       "dev": true
     },
     "electron-to-chromium": {
-      "version": "1.4.96",
-      "resolved": "https://registry.npmjs.org/electron-to-chromium/-/electron-to-chromium-1.4.96.tgz",
-      "integrity": "sha512-DPNjvNGPabv6FcyjzLAN4C0psN/GgD9rSGvMTuv81SeXG/EX3mCz0wiw9N1tUEnfQXYCJi3H8M0oFPRziZh7rw==",
+      "version": "1.4.103",
+      "resolved": "https://registry.npmjs.org/electron-to-chromium/-/electron-to-chromium-1.4.103.tgz",
+      "integrity": "sha512-c/uKWR1Z/W30Wy/sx3dkZoj4BijbXX85QKWu9jJfjho3LBAXNEGAEW3oWiGb+dotA6C6BzCTxL2/aLes7jlUeg==",
       "dev": true
     },
     "elliptic": {
@@ -7092,9 +7095,9 @@
       }
     },
     "make-fetch-happen": {
-      "version": "10.1.0",
-      "resolved": "https://registry.npmjs.org/make-fetch-happen/-/make-fetch-happen-10.1.0.tgz",
-      "integrity": "sha512-HeP4QlkadP/Op+hE+Une1070kcyN85FshQObku3/rmzRh4zDcKXA19d2L3AQR6UoaX3uZmhSOpTLH15b1vOFvQ==",
+      "version": "10.1.1",
+      "resolved": "https://registry.npmjs.org/make-fetch-happen/-/make-fetch-happen-10.1.1.tgz",
+      "integrity": "sha512-3/mCljDQNjmrP7kl0vhS5WVlV+TvSKoZaFhdiYV7MOijEnrhrjaVnqbp/EY/7S+fhUB2KpH7j8c1iRsIOs+kjw==",
       "dev": true,
       "requires": {
         "agentkeepalive": "^4.2.1",
@@ -7116,9 +7119,9 @@
       },
       "dependencies": {
         "lru-cache": {
-          "version": "7.7.1",
-          "resolved": "https://registry.npmjs.org/lru-cache/-/lru-cache-7.7.1.tgz",
-          "integrity": "sha512-cRffBiTW8s73eH4aTXqBcTLU0xQnwGV3/imttRHGWCrbergmnK4D6JXQd8qin5z43HnDwRI+o7mVW0LEB+tpAw==",
+          "version": "7.7.3",
+          "resolved": "https://registry.npmjs.org/lru-cache/-/lru-cache-7.7.3.tgz",
+          "integrity": "sha512-WY9wjJNQt9+PZilnLbuFKM+SwDull9+6IAguOrarOMoOHTcJ9GnXSO11+Gw6c7xtDkBkthR57OZMtZKYr+1CEw==",
           "dev": true
         }
       }
@@ -8128,14 +8131,14 @@
       "dev": true
     },
     "npm-package-arg": {
-      "version": "9.0.1",
-      "resolved": "https://registry.npmjs.org/npm-package-arg/-/npm-package-arg-9.0.1.tgz",
-      "integrity": "sha512-Xs9wznfEAmZAR61qsYH3iN24V/qMYYkvAR5CRQNMvC6PjN2fHtO8y9XP/xdp5K+Icx+u1wMBMgWRPCmAEChSog==",
+      "version": "9.0.2",
+      "resolved": "https://registry.npmjs.org/npm-package-arg/-/npm-package-arg-9.0.2.tgz",
+      "integrity": "sha512-v/miORuX8cndiOheW8p2moNuPJ7QhcFh9WGlTorruG8hXSA23vMTEp5hTCmDxic0nD8KHhj/NQgFuySD3GYY3g==",
       "dev": true,
       "requires": {
         "hosted-git-info": "^5.0.0",
         "semver": "^7.3.5",
-        "validate-npm-package-name": "^3.0.0"
+        "validate-npm-package-name": "^4.0.0"
       },
       "dependencies": {
         "hosted-git-info": {
@@ -8148,9 +8151,9 @@
           }
         },
         "lru-cache": {
-          "version": "7.7.1",
-          "resolved": "https://registry.npmjs.org/lru-cache/-/lru-cache-7.7.1.tgz",
-          "integrity": "sha512-cRffBiTW8s73eH4aTXqBcTLU0xQnwGV3/imttRHGWCrbergmnK4D6JXQd8qin5z43HnDwRI+o7mVW0LEB+tpAw==",
+          "version": "7.7.3",
+          "resolved": "https://registry.npmjs.org/lru-cache/-/lru-cache-7.7.3.tgz",
+          "integrity": "sha512-WY9wjJNQt9+PZilnLbuFKM+SwDull9+6IAguOrarOMoOHTcJ9GnXSO11+Gw6c7xtDkBkthR57OZMtZKYr+1CEw==",
           "dev": true
         }
       }
@@ -9187,9 +9190,9 @@
           }
         },
         "lru-cache": {
-          "version": "7.7.1",
-          "resolved": "https://registry.npmjs.org/lru-cache/-/lru-cache-7.7.1.tgz",
-          "integrity": "sha512-cRffBiTW8s73eH4aTXqBcTLU0xQnwGV3/imttRHGWCrbergmnK4D6JXQd8qin5z43HnDwRI+o7mVW0LEB+tpAw==",
+          "version": "7.7.3",
+          "resolved": "https://registry.npmjs.org/lru-cache/-/lru-cache-7.7.3.tgz",
+          "integrity": "sha512-WY9wjJNQt9+PZilnLbuFKM+SwDull9+6IAguOrarOMoOHTcJ9GnXSO11+Gw6c7xtDkBkthR57OZMtZKYr+1CEw==",
           "dev": true
         },
         "normalize-package-data": {
@@ -11307,12 +11310,12 @@
       }
     },
     "validate-npm-package-name": {
-      "version": "3.0.0",
-      "resolved": "https://registry.npmjs.org/validate-npm-package-name/-/validate-npm-package-name-3.0.0.tgz",
-      "integrity": "sha1-X6kS2B630MdK/BQN5zF/DKffQ34=",
+      "version": "4.0.0",
+      "resolved": "https://registry.npmjs.org/validate-npm-package-name/-/validate-npm-package-name-4.0.0.tgz",
+      "integrity": "sha512-mzR0L8ZDktZjpX4OB46KT+56MAhl4EIazWP/+G/HPGuvfdaqg4YsCdtOm6U9+LOFyYDoh4dpnpxZRB9MQQns5Q==",
       "dev": true,
       "requires": {
-        "builtins": "^1.0.3"
+        "builtins": "^5.0.0"
       }
     },
     "value-or-function": {

package/package.json

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

package/src/combinator/control/constraint/block.ts

@@ -6,10 +6,8 @@ export function block<P extends Parser<unknown>>(parser: P, separation?: boolean
 export function block<T>(parser: Parser<T>, separation = true): Parser<T> {
   assert(parser);
   return (source, context) => {
-    assert(!context?.delimiters);
     if (source === '') return;
     const result = parser(source, context);
-    assert(!context?.delimiters);
     if (!result) return;
     const rest = exec(result);
     if (separation && !isEmpty(firstline(rest))) return;

package/src/combinator/control/constraint/contract.ts

@@ -15,7 +15,7 @@ export function validate<T>(patterns: string | RegExp | (string | RegExp)[], has
   if (typeof end === 'function') return validate(patterns, has, '', end);
   if (!isArray(patterns)) return validate([patterns], has, end!, parser!);
   assert(patterns.length > 0);
-  assert(patterns.every(pattern => pattern instanceof RegExp ? !pattern.global && pattern.source.startsWith('^') : true));
+  assert(patterns.every(pattern => pattern instanceof RegExp ? !pattern.flags.match(/[gmy]/) && pattern.source.startsWith('^') : true));
   assert(parser);
   const match: (source: string) => boolean = Function([
     '"use strict";',

package/src/combinator/control/manipulation/context.test.ts

@@ -13,7 +13,7 @@ describe('Unit: combinator/context', () => {
       (s, context) => [[context.resources?.budget ?? NaN], s.slice(1)]));
 
     it('root', () => {
-      const base: Context = { resources: { budget: 3 } };
+      const base: Context = { resources: { budget: 3, recursion: 1 } };
       const ctx: Context = {};
       assert.deepStrictEqual(reset(base, parser)('123', ctx), [[3, 2, 1], '']);
       assert(base.resources?.budget === 3);
@@ -24,8 +24,8 @@ describe('Unit: combinator/context', () => {
     });
 
     it('node', () => {
-      const base: Context = { resources: { budget: 3 } };
-      const ctx: Context = { resources: { budget: 1 } };
+      const base: Context = { resources: { budget: 3, recursion: 1 } };
+      const ctx: Context = { resources: { budget: 1, recursion: 1 } };
       assert.deepStrictEqual(reset(base, parser)('1', ctx), [[1], '']);
       assert(base.resources?.budget === 3);
       assert(ctx.resources?.budget === 0);
@@ -41,7 +41,7 @@ describe('Unit: combinator/context', () => {
 
     it('', () => {
       const base: Context = { state: true };
-      const ctx: Context = { resources: { budget: 3 } };
+      const ctx: Context = { resources: { budget: 3, recursion: 1 } };
       assert.deepStrictEqual(context(base, parser)('123', ctx), [[true, true, true], '']);
       assert(ctx.resources?.budget === 0);
       assert(ctx.state === undefined);

package/src/combinator/control/manipulation/context.ts

@@ -17,6 +17,7 @@ export function reset<P extends Parser<unknown>>(context: Context<P>, parser: P)
 export function reset<T>(base: Ctx, parser: Parser<T>): Parser<T> {
   assert(Object.getPrototypeOf(base) === Object.prototype);
   assert(Object.freeze(base));
+  if (isEmpty(base)) return parser;
   return (source, context) =>
     parser(source, inherit(ObjectCreate(context), base));
 }
@@ -25,6 +26,7 @@ export function context<P extends Parser<unknown>>(context: Context<P>, parser:
 export function context<T>(base: Ctx, parser: Parser<T>): Parser<T> {
   assert(Object.getPrototypeOf(base) === Object.prototype);
   assert(Object.freeze(base));
+  if (isEmpty(base)) return parser;
   const override = memoize<Ctx, Ctx>(context => inherit(ObjectCreate(context), base), new WeakMap());
   return (source, context) =>
     parser(source, override(context));
@@ -56,3 +58,8 @@ const inherit = template((prop, target, source) => {
       return target[prop] = source[prop];
   }
 });
+
+function isEmpty(context: Ctx): boolean {
+  for (const _ in context) return false;
+  return true;
+}

package/src/combinator/control/manipulation/match.ts

@@ -3,7 +3,7 @@ import { Parser, exec, check } from '../../data/parser';
 
 export function match<P extends Parser<unknown>>(pattern: RegExp, f: (matched: RegExpMatchArray) => P): P;
 export function match<T>(pattern: RegExp, f: (matched: RegExpMatchArray) => Parser<T>): Parser<T> {
-  assert(!pattern.global && pattern.source.startsWith('^'));
+  assert(!pattern.flags.match(/[gmy]/) && pattern.source.startsWith('^'));
   return (source, context) => {
     if (source === '') return;
     const param = source.match(pattern);

package/src/combinator/control/manipulation/resource.ts

@@ -6,10 +6,13 @@ export function creator(cost: number | Parser<unknown>, parser?: Parser<unknown>
   if (typeof cost === 'function') return creator(1, cost);
   assert(cost > 0);
   return (source, context) => {
-    const { resources } = context;
-    if (resources?.budget! <= 0) throw new Error('Too many creations.');
+    const { resources = { budget: 1, recursion: 1 } } = context;
+    if (resources.budget <= 0) throw new Error('Too many creations.');
+    if (resources.recursion <= 0) throw new Error('Too much recursion.');
+    --resources.recursion;
     const result = parser!(source, context);
-    if (result && resources) {
+    ++resources.recursion;
+    if (result) {
       resources.budget -= cost;
     }
     return result;

package/src/combinator/control/manipulation/scope.ts

@@ -3,7 +3,7 @@ import { Parser, Context, eval, exec, check } from '../../data/parser';
 
 export function focus<P extends Parser<unknown>>(scope: string | RegExp, parser: P): P;
 export function focus<T>(scope: string | RegExp, parser: Parser<T>): Parser<T> {
-  assert(scope instanceof RegExp ? !scope.global && scope.source.startsWith('^') : scope);
+  assert(scope instanceof RegExp ? !scope.flags.match(/[gmy]/) && scope.source.startsWith('^') : scope);
   assert(parser);
   const match: (source: string) => string = typeof scope === 'string'
     ? source => source.slice(0, scope.length) === scope ? scope : ''

package/src/combinator/control/manipulation/surround.ts

@@ -1,7 +1,6 @@
 import { undefined } from 'spica/global';
 import { Parser, Result, Ctx, Tree, Context, SubParsers, SubTree, IntermediateParser, eval, exec, check } from '../../data/parser';
 import { fmap } from '../monad/fmap';
-import { creator } from './resource';
 import { unshift, push } from 'spica/array';
 
 export function surround<P extends Parser<unknown>, S = string>(
@@ -69,14 +68,14 @@ export function surround<T>(
 function match(pattern: string | RegExp): (source: string, context: Ctx) => [never[], string] | undefined {
   switch (typeof pattern) {
     case 'string':
-      return creator(source => source.slice(0, pattern.length) === pattern ? [[], source.slice(pattern.length)] : undefined);
+      return source => source.slice(0, pattern.length) === pattern ? [[], source.slice(pattern.length)] : undefined;
     case 'object':
-      return creator(source => {
+      return source => {
         const m = source.match(pattern);
         return m
           ? [[], source.slice(m[0].length)]
           : undefined;
-      });
+      };
   }
 }
 

package/src/combinator/data/parser/inits.ts

@@ -14,7 +14,7 @@ export function inits<T, D extends Parser<T>[]>(parsers: D): Parser<T, Ctx, D> {
       const result = parsers[i](rest, context);
       assert(check(rest, result));
       if (!result) break;
-      assert(!context?.delimiters?.some(match => match(rest)));
+      assert(!context?.delimiters?.match(rest));
       nodes = nodes
         ? push(nodes, eval(result))
         : eval(result);

package/src/combinator/data/parser/sequence.ts

@@ -14,7 +14,7 @@ export function sequence<T, D extends Parser<T>[]>(parsers: D): Parser<T, Ctx, D
       const result = parsers[i](rest, context);
       assert(check(rest, result));
       if (!result) return;
-      assert(!context?.delimiters?.some(match => match(rest)));
+      assert(!context?.delimiters?.match(rest));
       nodes = nodes
         ? push(nodes, eval(result))
         : eval(result);

package/src/combinator/data/parser/some.ts

@@ -1,33 +1,56 @@
 import { undefined } from 'spica/global';
-import { Parser, eval, exec, check } from '../parser';
+import { Parser, Delimiters, eval, exec, check } from '../parser';
+import { memoize, reduce } from 'spica/memoize';
 import { push } from 'spica/array';
 
+const signature = (pattern: string | RegExp | undefined): string => {
+  switch (typeof pattern) {
+    case 'undefined':
+      return signature('');
+    case 'string':
+      return `s:${pattern}`;
+    case 'object':
+      return `r/${pattern.source}/${pattern.flags}`;
+  }
+};
+const matcher = memoize(
+  (pattern: string | RegExp | undefined): (source: string) => boolean => {
+    switch (typeof pattern) {
+      case 'undefined':
+        return () => false;
+      case 'string':
+        return source => source.slice(0, pattern.length) === pattern;
+      case 'object':
+        return reduce(source => pattern.test(source));
+    }
+  },
+  signature);
+
 export function some<P extends Parser<unknown>>(parser: P, until?: string | RegExp | number, deep?: string | RegExp, limit?: number): P;
 export function some<T>(parser: Parser<T>, until?: string | RegExp | number, deep?: string | RegExp, limit = -1): Parser<T> {
   assert(parser);
-  assert(until instanceof RegExp ? !until.global && until.source.startsWith('^') : true);
+  assert(until instanceof RegExp ? !until.flags.match(/[gmy]/) && until.source.startsWith('^') : true);
+  assert(deep instanceof RegExp ? !deep.flags.match(/[gmy]/) && deep.source.startsWith('^') : true);
   if (typeof until === 'number') return some(parser, undefined, deep, until);
-  const match: (source: string) => boolean = typeof until === 'string' && until !== undefined
-    ? source => source.slice(0, until.length) === until
-    : source => !!until && until.test(source);
-  const delim: (source: string) => boolean = typeof deep === 'string' && deep !== undefined
-    ? source => source.slice(0, deep.length) === deep
-    : source => !!deep && deep.test(source);
-  let memory = '';
+  const match = matcher(until);
+  const delimiter = {
+    signature: signature(deep),
+    matcher: matcher(deep),
+  } as const;
   return (source, context) => {
-    if (source === memory) return;
+    if (source === '') return;
     let rest = source;
     let nodes: T[] | undefined;
-    if (context && deep) {
-      context.delimiters
-        ? context.delimiters.push(delim)
-        : context.delimiters = [delim];
-      assert(context.delimiters.length <= 3);
+    if (deep && context) {
+      // bracket > annotation > bracket > reference > bracket > link > media | bracket
+      // bracket > annotation > bracket > reference > bracket > index > bracket
+      context.delimiters ??= new Delimiters();
+      context.delimiters.push(delimiter);
     }
     while (true) {
       if (rest === '') break;
       if (match(rest)) break;
-      if (context?.delimiters?.some(match => match(rest))) break;
+      if (context.delimiters?.match(rest)) break;
       const result = parser(rest, context);
       assert.doesNotThrow(() => limit < 0 && check(rest, result));
       if (!result) break;
@@ -37,12 +60,9 @@ export function some<T>(parser: Parser<T>, until?: string | RegExp | number, dee
       rest = exec(result);
       if (limit >= 0 && source.length - rest.length > limit) break;
     }
-    if (context && deep) {
-      context.delimiters?.length! > 1
-        ? context.delimiters?.pop()
-        : context.delimiters = undefined;
+    if (deep && context.delimiters) {
+      context.delimiters.pop();
     }
-    memory = limit < 0 && rest || memory;
     assert(rest.length <= source.length);
     return nodes && rest.length < source.length
       ? [nodes, rest]

package/src/combinator/data/parser.ts

@@ -1,16 +1,16 @@
-export interface Ctx {
-  readonly resources?: {
-    budget: number;
-  };
-  delimiters?: ((source: string) => boolean)[];
-}
-
 export type Parser<T, C extends Ctx = Ctx, D extends Parser<unknown, C>[] = any>
   = (source: string, context: C) => Result<T, C, D>;
 export type Result<T, C extends Ctx = Ctx, D extends Parser<unknown, C>[] = any>
   = readonly [T[], string, C, D]
   | readonly [T[], string]
   | undefined;
+export interface Ctx {
+  readonly resources?: {
+    budget: number;
+    recursion: number;
+  };
+  delimiters?: Delimiters;
+}
 export type Tree<P extends Parser<unknown>> = P extends Parser<infer T> ? T : never;
 export type SubParsers<P extends Parser<unknown>> = P extends Parser<unknown, any, infer D> ? D : never;
 export type Context<P extends Parser<unknown>> = P extends Parser<unknown, infer C> ? C : never;
@@ -19,6 +19,32 @@ export type IntermediateParser<P extends Parser<unknown>> = Parser<SubTree<P>, C
 type ExtractSubTree<D extends Parser<unknown>[]> = ExtractSubParser<D> extends infer T ? T extends Parser<infer U> ? U : never : never;
 type ExtractSubParser<D extends Parser<unknown>[]> = D extends (infer P)[] ? P extends Parser<unknown> ? P : never : never;
 
+export class Delimiters {
+  private readonly stack: string[] = [];
+  private readonly matchers: Record<string, (source: string) => boolean> = {};
+  public push(delimiter: { readonly signature: string; readonly matcher: (source: string) => boolean; }): void {
+    const { signature, matcher } = delimiter;
+    this.stack.push(signature);
+    this.matchers[signature] ??= matcher;
+    assert(this.matchers[signature] === matcher);
+  }
+  public pop(): void {
+    assert(this.stack.length > 0);
+    this.stack.pop();
+  }
+  public match(source: string): boolean {
+    const { stack, matchers } = this;
+    const log = {};
+    for (let i = 0; i < stack.length; ++i) {
+      const sig = stack[i];
+      if (sig in log) continue;
+      if (matchers[sig](source)) return true;
+      log[sig] = false;
+    }
+    return false;
+  }
+}
+
 export { eval_ as eval };
 function eval_<T>(result: NonNullable<Result<T>>, default_?: T[]): T[];
 function eval_<T>(result: Result<T>, default_: T[]): T[];

package/src/parser/api/bind.test.ts

@@ -34,7 +34,7 @@ describe('Unit: parser/api/bind', () => {
       assert.deepStrictEqual(
         inspect(iter),
         [
-          '<h1 class="error" translate="no">Error: Too large input over 1,000,000 bytes.</h1>',
+          '<h1 class="error">Error: Too large input over 1,000,000 bytes.</h1>',
           `<pre class="error" translate="no">${'\n'.repeat(997)}...</pre>`,
         ]);
     });
@@ -46,9 +46,9 @@ describe('Unit: parser/api/bind', () => {
       assert.deepStrictEqual(
         inspect(iter, 3),
         [
-          '<h1 class="error" translate="no">Error: Too large segment over 100,000 bytes.</h1>',
+          '<h1 class="error">Error: Too large segment over 100,000 bytes.</h1>',
           `<pre class="error" translate="no">${'\n'.repeat(997)}...</pre>`,
-          '<h1 class="error" translate="no">Error: Too large segment over 100,000 bytes.</h1>',
+          '<h1 class="error">Error: Too large segment over 100,000 bytes.</h1>',
         ]);
     });
 

package/src/parser/api/normalize.ts

@@ -1,6 +1,5 @@
 import { eval } from '../../combinator/data/parser';
-import { htmlentity } from '../inline/htmlentity';
-import { stringify } from '../util';
+import { unsafehtmlentity } from '../inline/htmlentity';
 
 const UNICODE_REPLACEMENT_CHARACTER = '\uFFFD';
 assert(UNICODE_REPLACEMENT_CHARACTER.trim());
@@ -25,9 +24,9 @@ function sanitize(source: string): string {
 
 // https://dev.w3.org/html5/html-author/charref
 // https://en.wikipedia.org/wiki/Whitespace_character
-const unreadableHTMLEntityNames = [
-  //'Tab',
-  //'NewLine',
+export const invisibleHTMLEntityNames = [
+  'Tab',
+  'NewLine',
   'NonBreakingSpace',
   'nbsp',
   'shy',
@@ -59,8 +58,10 @@ const unreadableHTMLEntityNames = [
   'InvisibleComma',
   'ic',
 ] as const;
+const unreadableHTMLEntityNames: readonly string[] = invisibleHTMLEntityNames.slice(2);
 const unreadableEscapableCharacters = unreadableHTMLEntityNames
-  .map(name => stringify(eval(htmlentity(`&${name};`, {}))!));
+  .map(name => eval(unsafehtmlentity(`&${name};`, {}))![0]);
+assert(unreadableEscapableCharacters.length === unreadableHTMLEntityNames.length);
 assert(unreadableEscapableCharacters.every(c => c.length === 1));
 const unreadableEscapableCharacter = new RegExp(`[${
   [...new Set<string>(unreadableEscapableCharacters)].join('')

package/src/parser/api/parse.test.ts

@@ -118,7 +118,7 @@ describe('Unit: parser/api/parse', () => {
           '<p><a href="https://source/hashtags/a" target="_blank" class="hashtag">#a</a></p>',
           '<p><a href="https://domain/hashtags/a" target="_blank" class="hashtag">#domain/a</a></p>',
           '<p><a class="index" href="#index:a">a</a></p>',
-          '<figure data-label="$-a" data-group="$" data-number="1" id="label:$-a"><div class="figcontent"><div class="math" translate="no">$$\n$$</div></div><span class="figindex">(1)</span><figcaption></figcaption></figure>',
+          '<figure data-label="$-a" data-group="$" data-number="1" id="label:$-a"><div class="figcontent"><div class="math" translate="no">$$\n$$</div></div><figcaption><span class="figindex">(1)</span></figcaption></figure>',
           '<p><a class="label" data-label="$-a" href="#label:$-a">(1)</a></p>',
           '<p><sup class="annotation" id="annotation:ref:1" title="a"><span hidden="">a</span><a href="#annotation:def:1">*1</a></sup></p>',
           '<p><a href="https://source/x/a" target="_blank">a</a></p>',
@@ -201,7 +201,7 @@ describe('Unit: parser/api/parse', () => {
       assert.deepStrictEqual(
         [...parse('$-a\n$$\n$$\n\n(($-a[[b]][[c*d*]]))', { footnotes }).children].map(el => el.outerHTML),
         [
-          '<figure data-label="$-a" data-group="$" data-number="1" id="label:$-a"><div class="figcontent"><div class="math" translate="no">$$\n$$</div></div><span class="figindex">(1)</span><figcaption></figcaption></figure>',
+          '<figure data-label="$-a" data-group="$" data-number="1" id="label:$-a"><div class="figcontent"><div class="math" translate="no">$$\n$$</div></div><figcaption><span class="figindex">(1)</span></figcaption></figure>',
           '<p><sup class="annotation" id="annotation:ref:1" title="(1)[1][2]"><span hidden=""><a class="label" data-label="$-a" href="#label:$-a">(1)</a><sup class="reference" id="reference:ref:1" title="b"><span hidden="">b</span><a href="#reference:def:1">[1]</a></sup><sup class="reference" id="reference:ref:2" title="cd"><span hidden="">c<em>d</em></span><a href="#reference:def:2">[2]</a></sup></span><a href="#annotation:def:1">*1</a></sup></p>',
         ]);
       assert.deepStrictEqual(
@@ -218,10 +218,17 @@ describe('Unit: parser/api/parse', () => {
         ['<p>a<span class="linebreak"> </span>b</p>']);
     });
 
-    it('reset', () => {
+    it('recursion', () => {
       assert.deepStrictEqual(
-        [...parse(`"${'('.repeat(10000)}\n\n"`).children].slice(2).map(el => el.outerHTML),
-        ['<p>"</p>']);
+        [...parse('('.repeat(199)).children].map(el => el.outerHTML),
+        [`<p>${'('.repeat(199)}</p>`]);
+      assert.deepStrictEqual(
+        [...parse('('.repeat(200) + '\n\na').children].map(el => el.outerHTML.replace(/:\w+/, ':rnd')),
+        [
+          '<h1 id="error:rnd" class="error">Error: Too much recursion.</h1>',
+          `<pre class="error" translate="no">${'('.repeat(200)}\n</pre>`,
+          '<p>a</p>',
+        ]);
     });
 
   });

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

@@ -95,7 +95,7 @@ describe('Unit: parser/block/blockquote', () => {
       assert.deepStrictEqual(inspect(parser('!>\n> a')), [['<blockquote><section><p>a</p><ol class="annotations"></ol><ol class="references"></ol></section></blockquote>'], '']);
       assert.deepStrictEqual(inspect(parser('!>> ## a\n> ## a')), [['<blockquote><blockquote><section><h2>a</h2><ol class="annotations"></ol><ol class="references"></ol></section></blockquote><section><h2>a</h2><ol class="annotations"></ol><ol class="references"></ol></section></blockquote>'], '']);
       assert.deepStrictEqual(inspect(parser('!>> ~ a\n> ~ a')), [['<blockquote><blockquote><section><dl><dt>a</dt><dd></dd></dl><ol class="annotations"></ol><ol class="references"></ol></section></blockquote><section><dl><dt>a</dt><dd></dd></dl><ol class="annotations"></ol><ol class="references"></ol></section></blockquote>'], '']);
-      assert.deepStrictEqual(inspect(parser('!>> ~~~figure $fig-a\n>> > \n>>\n~~~\n> ~~~figure $fig-a\n> > \n>\n[#a]\n~~~')), [['<blockquote><blockquote><section><figure data-label="fig-a" data-group="fig" data-number="1"><div class="figcontent"><blockquote></blockquote></div><span class="figindex">Fig. 1. </span><figcaption></figcaption></figure><ol class="annotations"></ol><ol class="references"></ol></section></blockquote><section><figure data-label="fig-a" data-group="fig" data-number="1"><div class="figcontent"><blockquote></blockquote></div><span class="figindex">Fig. 1. </span><figcaption><a class="index">a</a></figcaption></figure><ol class="annotations"></ol><ol class="references"></ol></section></blockquote>'], '']);
+      assert.deepStrictEqual(inspect(parser('!>> ~~~figure $fig-a\n>> > \n>>\n~~~\n> ~~~figure $fig-a\n> > \n>\n[#a]\n~~~')), [['<blockquote><blockquote><section><figure data-label="fig-a" data-group="fig" data-number="1"><div class="figcontent"><blockquote></blockquote></div><figcaption><span class="figindex">Fig. 1. </span></figcaption></figure><ol class="annotations"></ol><ol class="references"></ol></section></blockquote><section><figure data-label="fig-a" data-group="fig" data-number="1"><div class="figcontent"><blockquote></blockquote></div><figcaption><span class="figindex">Fig. 1. </span><a class="index">a</a></figcaption></figure><ol class="annotations"></ol><ol class="references"></ol></section></blockquote>'], '']);
       assert.deepStrictEqual(inspect(parser('!>> ((a))\n> ((a))')), [['<blockquote><blockquote><section><p><sup class="annotation disabled" title="a"><span hidden="">a</span><a>*1</a></sup></p><ol class="annotations"><li>a<sup><a>^1</a></sup></li></ol><ol class="references"></ol></section></blockquote><section><p><sup class="annotation disabled" title="a"><span hidden="">a</span><a>*1</a></sup></p><ol class="annotations"><li>a<sup><a>^1</a></sup></li></ol><ol class="references"></ol></section></blockquote>'], '']);
     });
 

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

@@ -16,7 +16,7 @@ describe('Unit: parser/block/extension/aside', () => {
     it('valid', () => {
       assert.deepStrictEqual(inspect(parser('~~~aside\n# 0\n~~~')), [['<aside id="index:0" class="aside"><h1>0</h1><ol class="annotations"></ol><ol class="references"></ol></aside>'], '']);
       assert.deepStrictEqual(inspect(parser('~~~aside\n## 0\n~~~')), [['<aside id="index:0" class="aside"><h2>0</h2><ol class="annotations"></ol><ol class="references"></ol></aside>'], '']);
-      assert.deepStrictEqual(inspect(parser('~~~aside\n# 0\n\n$-0.0\n\n## 1\n\n$fig-a\n> \n~~~')), [['<aside id="index:0" class="aside"><h1>0</h1><figure data-label="$-0.0" data-group="$" hidden="" data-number="0.0"></figure><h2>1</h2><figure data-label="fig-a" data-group="fig" data-number="1.1"><div class="figcontent"><blockquote></blockquote></div><span class="figindex">Fig. 1.1. </span><figcaption></figcaption></figure><ol class="annotations"></ol><ol class="references"></ol></aside>'], '']);
+      assert.deepStrictEqual(inspect(parser('~~~aside\n# 0\n\n$-0.0\n\n## 1\n\n$fig-a\n> \n~~~')), [['<aside id="index:0" class="aside"><h1>0</h1><figure data-label="$-0.0" data-group="$" hidden="" data-number="0.0"></figure><h2>1</h2><figure data-label="fig-a" data-group="fig" data-number="1.1"><div class="figcontent"><blockquote></blockquote></div><figcaption><span class="figindex">Fig. 1.1. </span></figcaption></figure><ol class="annotations"></ol><ol class="references"></ol></aside>'], '']);
     });
 
   });