securemark 0.295.3 → 0.295.4

package/CHANGELOG.md

@@ -1,5 +1,9 @@
 # Changelog
 
+## 0.295.4
+
+- Refactoring.
+
 ## 0.295.3
 
 - Refactoring.

package/dist/index.js

@@ -1,4 +1,4 @@
-/*! securemark v0.295.3 https://github.com/falsandtru/securemark | (c) 2017, falsandtru | UNLICENSED License */
+/*! securemark v0.295.4 https://github.com/falsandtru/securemark | (c) 2017, falsandtru | UNLICENSED License */
 (function webpackUniversalModuleDefinition(root, factory) {
 	if(typeof exports === 'object' && typeof module === 'object')
 		module.exports = factory(require("Prism"), require("DOMPurify"));
@@ -3862,7 +3862,7 @@ Object.defineProperty(exports, "__esModule", ({
   value: true
 }));
 exports.inits = void 0;
-function inits(parsers, resume) {
+function inits(parsers) {
   if (parsers.length === 1) return parsers[0];
   return input => {
     const {
@@ -3878,7 +3878,6 @@ function inits(parsers, resume) {
       const result = parsers[i](input);
       if (result === undefined) break;
       nodes = nodes?.import(result) ?? result;
-      if (resume?.(result) === false) break;
     }
     return nodes;
   };
@@ -3897,7 +3896,7 @@ Object.defineProperty(exports, "__esModule", ({
   value: true
 }));
 exports.sequence = void 0;
-function sequence(parsers, resume) {
+function sequence(parsers) {
   if (parsers.length === 1) return parsers[0];
   return input => {
     const {
@@ -3913,7 +3912,6 @@ function sequence(parsers, resume) {
       const result = parsers[i](input);
       if (result === undefined) return;
       nodes = nodes?.import(result) ?? result;
-      if (resume?.(result) === false) return;
     }
     return nodes;
   };
@@ -3985,8 +3983,8 @@ Object.defineProperty(exports, "__esModule", ({
 exports.subsequence = void 0;
 const union_1 = __webpack_require__(2369);
 const inits_1 = __webpack_require__(2861);
-function subsequence(parsers, resume) {
-  return (0, union_1.union)(parsers.map((_, i) => i + 1 < parsers.length ? (0, inits_1.inits)([parsers[i], subsequence(parsers.slice(i + 1), resume)], resume) : parsers[i]));
+function subsequence(parsers) {
+  return (0, union_1.union)(parsers.map((_, i) => i + 1 < parsers.length ? (0, inits_1.inits)([parsers[i], subsequence(parsers.slice(i + 1))]) : parsers[i]));
 }
 exports.subsequence = subsequence;
 
@@ -4004,8 +4002,8 @@ Object.defineProperty(exports, "__esModule", ({
 exports.tails = void 0;
 const union_1 = __webpack_require__(2369);
 const sequence_1 = __webpack_require__(3989);
-function tails(parsers, resume) {
-  return (0, union_1.union)(parsers.map((_, i) => (0, sequence_1.sequence)(parsers.slice(i), resume)));
+function tails(parsers) {
+  return (0, union_1.union)(parsers.map((_, i) => (0, sequence_1.sequence)(parsers.slice(i))));
 }
 exports.tails = tails;
 
@@ -6567,19 +6565,19 @@ exports.bracket = (0, combinator_1.lazy)(() => (0, combinator_1.union)([input =>
       return d1(input);
   }
 }]));
-const p1 = (0, combinator_1.lazy)(() => (0, combinator_1.surround)((0, source_1.str)('('), (0, combinator_1.precedence)(1, (0, combinator_1.recursion)(5 /* Recursion.bracket */, (0, combinator_1.some)(inline_1.inline, ')', [[')', 1]]))), (0, source_1.str)(')'), true, [], ([as, bs = new parser_1.List(), cs], context) => {
+const p1 = (0, combinator_1.lazy)(() => (0, combinator_1.surround)((0, source_1.str)('('), (0, combinator_1.precedence)(1, (0, combinator_1.recursion)(5 /* Recursion.bracket */, (0, combinator_1.some)(inline_1.inline, ')', [[')', 1]]))), (0, source_1.str)(')'),
+// 唯一の参照者であるAnnotation構文に対してのみバックトラックを記録しその他は記録しない。
+// 二重括弧構文の内括弧のバックトラックは二重括弧構文自身が記録するため記録不要。
+// Ruby構文の丸括弧は常にRuby構文が先に到達し記録するため記録不要。
+true, [], ([as, bs = new parser_1.List(), cs], context) => {
   const {
     source,
     position,
     range
   } = context;
   const head = position - range;
-  if (context.linebreak !== 0) {
-    if (head > 0 && source[head - 1] === '(') {
-      (0, combinator_1.setBacktrack)(context, 2 | 128 /* Backtrack.doublebracket */, head - 1);
-    }
-  } else if (source[position] !== ')' && source[head - 1] === '(') {
-    (0, combinator_1.setBacktrack)(context, 2 | 128 /* Backtrack.doublebracket */, head - 1);
+  if (source[head + 1] === '(' && (context.linebreak !== 0 || source[position - 2] !== ')')) {
+    (0, combinator_1.setBacktrack)(context, 2 | 128 /* Backtrack.doublebracket */, head);
   }
   const str = source.slice(position - range + 1, position - 1);
   return indexA.test(str) ? new parser_1.List([new parser_1.Node(as.head.value), new parser_1.Node(str), new parser_1.Node(cs.head.value)]) : new parser_1.List([new parser_1.Node((0, dom_1.html)('span', {
@@ -6623,12 +6621,8 @@ const s1 = (0, combinator_1.lazy)(() => (0, combinator_1.surround)((0, source_1.
     range
   } = context;
   const head = position - range;
-  if (context.linebreak !== 0) {
-    if (head > 0 && source[head - 1] === '[') {
-      (0, combinator_1.setBacktrack)(context, 2 | 128 /* Backtrack.doublebracket */, head - 1);
-    }
-  } else if (source[position] !== ']' && source[head - 1] === '[') {
-    (0, combinator_1.setBacktrack)(context, 2 | 128 /* Backtrack.doublebracket */, head - 1);
+  if (source[head + 1] === '[' && (context.linebreak !== 0 || source[position - 2] !== ']')) {
+    (0, combinator_1.setBacktrack)(context, 2 | 128 /* Backtrack.doublebracket */, head);
   }
   if (context.state & 8 /* State.link */) {
     if (context.linebreak !== 0) {
@@ -6637,15 +6631,14 @@ const s1 = (0, combinator_1.lazy)(() => (0, combinator_1.surround)((0, source_1.
       (0, combinator_1.setBacktrack)(context, 2 | 64 /* Backtrack.link */, head);
     } else {
       context.state ^= 8 /* State.link */;
-      const result = !(0, combinator_1.isBacktrack)(context, 1 | 64 /* Backtrack.link */) ? (0, link_1.textlink)({
+      if (!(0, combinator_1.isBacktrack)(context, 1 | 64 /* Backtrack.link */) && !(0, link_1.textlink)({
         context
-      }) : undefined;
-      context.position = position;
-      if (!result) {
+      })) {
         (0, combinator_1.setBacktrack)(context, 2 | 64 /* Backtrack.link */, head);
       }
-      context.state ^= 8 /* State.link */;
+      context.position = position;
       context.range = range;
+      context.state ^= 8 /* State.link */;
     }
   }
   return as.import(bs).import(cs);
@@ -7214,14 +7207,14 @@ Object.setPrototypeOf(attrspecs, null);
 Object.values(attrspecs).forEach(o => Object.setPrototypeOf(o, null));
 exports.html = (0, combinator_1.lazy)(() => (0, combinator_1.validate)(/<[a-z]+(?=[ >])/yi, (0, combinator_1.union)([(0, combinator_1.surround)(
 // https://html.spec.whatwg.org/multipage/syntax.html#void-elements
-(0, source_1.str)(/<(?:area|base|br|col|embed|hr|img|input|link|meta|source|track|wbr)(?=[ >])/y), (0, combinator_1.some)((0, combinator_1.union)([exports.attribute])), (0, combinator_1.open)((0, source_1.str)(/ ?/y), (0, source_1.str)('>'), true), true, [], ([as, bs = new parser_1.List(), cs], context) => new parser_1.List([new parser_1.Node(elem(as.head.value.slice(1), false, [...(0, util_1.unwrap)(as.import(bs).import(cs))], new parser_1.List(), new parser_1.List(), context))]), ([as, bs = new parser_1.List()], context) => new parser_1.List([new parser_1.Node(elem(as.head.value.slice(1), false, [...(0, util_1.unwrap)(as.import(bs))], new parser_1.List(), new parser_1.List(), context))])), (0, combinator_1.match)(new RegExp(String.raw`<(${TAGS.join('|')})(?=[ >])`, 'y'), (0, memoize_1.memoize)(([, tag]) => (0, combinator_1.surround)((0, combinator_1.surround)((0, source_1.str)(`<${tag}`), (0, combinator_1.some)(exports.attribute), (0, combinator_1.open)((0, source_1.str)(/ ?/y), (0, source_1.str)('>'), true), true, [], ([as, bs = new parser_1.List(), cs]) => as.import(bs).import(cs), ([as, bs = new parser_1.List()]) => as.import(bs)),
+(0, source_1.str)(/<(?:area|base|br|col|embed|hr|img|input|link|meta|source|track|wbr)(?=[ >])/y), (0, combinator_1.precedence)(9, (0, combinator_1.some)((0, combinator_1.union)([exports.attribute]))), (0, combinator_1.open)((0, source_1.str)(/ ?/y), (0, source_1.str)('>'), true), true, [], ([as, bs = new parser_1.List(), cs], context) => new parser_1.List([new parser_1.Node(elem(as.head.value.slice(1), false, [...(0, util_1.unwrap)(as.import(bs).import(cs))], new parser_1.List(), new parser_1.List(), context))]), ([as, bs = new parser_1.List()], context) => new parser_1.List([new parser_1.Node(elem(as.head.value.slice(1), false, [...(0, util_1.unwrap)(as.import(bs))], new parser_1.List(), new parser_1.List(), context))])), (0, combinator_1.match)(new RegExp(String.raw`<(${TAGS.join('|')})(?=[ >])`, 'y'), (0, memoize_1.memoize)(([, tag]) => (0, combinator_1.surround)((0, combinator_1.surround)((0, source_1.str)(`<${tag}`), (0, combinator_1.precedence)(9, (0, combinator_1.some)(exports.attribute)), (0, combinator_1.open)((0, source_1.str)(/ ?/y), (0, source_1.str)('>'), true), true, [], ([as, bs = new parser_1.List(), cs]) => as.import(bs).import(cs), ([as, bs = new parser_1.List()]) => as.import(bs)),
 // 不可視のHTML構造が可視構造を変化させるべきでない。
 // 可視のHTMLは優先度変更を検討する。
-// このため<>は将来的に共通構造を変化させる可能性があり
+// このため`<>`記号は将来的に共通構造を変化させる可能性があり
 // 共通構造を変化させない非構造文字列としては依然としてエスケープを要する。
 (0, combinator_1.precedence)(0, (0, combinator_1.recursion)(4 /* Recursion.inline */, (0, combinator_1.some)((0, combinator_1.union)([(0, combinator_1.some)(inline_1.inline, (0, visibility_1.blankWith)('\n', `</${tag}>`)), (0, combinator_1.open)('\n', (0, combinator_1.some)(inline_1.inline, `</${tag}>`), true)])))), (0, source_1.str)(`</${tag}>`), true, [], ([as, bs = new parser_1.List(), cs], context) => new parser_1.List([new parser_1.Node(elem(tag, true, [...(0, util_1.unwrap)(as)], bs, cs, context))]), ([as, bs = new parser_1.List()], context) => new parser_1.List([new parser_1.Node(elem(tag, true, [...(0, util_1.unwrap)(as)], bs, new parser_1.List(), context))])), ([, tag]) => tag, new Map())), (0, combinator_1.surround)(
 // https://html.spec.whatwg.org/multipage/syntax.html#void-elements
-(0, source_1.str)(/<[a-z]+(?=[ >])/yi), (0, combinator_1.some)((0, combinator_1.union)([exports.attribute])), (0, combinator_1.open)((0, source_1.str)(/ ?/y), (0, source_1.str)('>'), true), true, [], ([as, bs = new parser_1.List(), cs], context) => new parser_1.List([new parser_1.Node(elem(as.head.value.slice(1), false, [...(0, util_1.unwrap)(as.import(bs).import(cs))], new parser_1.List(), new parser_1.List(), context))]), ([as, bs = new parser_1.List()], context) => new parser_1.List([new parser_1.Node(elem(as.head.value.slice(1), false, [...(0, util_1.unwrap)(as.import(bs))], new parser_1.List(), new parser_1.List(), context))]))])));
+(0, source_1.str)(/<[a-z]+(?=[ >])/yi), (0, combinator_1.precedence)(9, (0, combinator_1.some)((0, combinator_1.union)([exports.attribute]))), (0, combinator_1.open)((0, source_1.str)(/ ?/y), (0, source_1.str)('>'), true), true, [], ([as, bs = new parser_1.List(), cs], context) => new parser_1.List([new parser_1.Node(elem(as.head.value.slice(1), false, [...(0, util_1.unwrap)(as.import(bs).import(cs))], new parser_1.List(), new parser_1.List(), context))]), ([as, bs = new parser_1.List()], context) => new parser_1.List([new parser_1.Node(elem(as.head.value.slice(1), false, [...(0, util_1.unwrap)(as.import(bs))], new parser_1.List(), new parser_1.List(), context))]))])));
 exports.attribute = (0, combinator_1.union)([(0, source_1.str)(/ [a-z]+(?:-[a-z]+)*(?:="(?:\\[^\n]|[^\\\n"])*")?(?=[ >])/yi), (0, source_1.str)(/ [^\s<>]+/y)]);
 function elem(tag, content, as, bs, cs, context) {
   if (!tags.includes(tag)) return ielem('tag', `Invalid HTML tag name "${tag}"`, context);
@@ -7390,7 +7383,7 @@ exports.textlink = (0, combinator_1.lazy)(() => (0, combinator_1.constraint)(8 /
 })),
 // `{ `と`{`で個別にバックトラックが発生し+1nされる。
 // 自己再帰的にパースしてもオプションの不要なパースによる計算量の増加により相殺される。
-(0, combinator_1.dup)((0, combinator_1.surround)(/{(?![{}])/y, (0, combinator_1.inits)([exports.uri, (0, combinator_1.some)(exports.option)]), / ?}/y, false, [], undefined, ([as, bs]) => bs && as.import(bs).push(new parser_1.Node("\u0018" /* Command.Cancel */)) && as))]), ([{
+(0, combinator_1.dup)((0, combinator_1.surround)(/{(?![{}])/y, (0, combinator_1.precedence)(9, (0, combinator_1.inits)([exports.uri, (0, combinator_1.some)(exports.option)])), / ?}/y, false, [], undefined, ([as, bs]) => bs && as.import(bs).push(new parser_1.Node("\u0018" /* Command.Cancel */)) && as))]), ([{
   value: content
 }, {
   value: params = undefined
@@ -7415,7 +7408,7 @@ exports.textlink = (0, combinator_1.lazy)(() => (0, combinator_1.constraint)(8 /
   if (content.length !== 0 && (0, visibility_1.trimBlankNodeEnd)(content).length === 0) return;
   return new parser_1.List([new parser_1.Node(parse(content, params, context))]);
 })))));
-exports.medialink = (0, combinator_1.lazy)(() => (0, combinator_1.constraint)(8 /* State.link */ | 4 /* State.media */, (0, combinator_1.state)(251 /* State.linkers */, (0, combinator_1.bind)((0, combinator_1.sequence)([(0, combinator_1.dup)((0, combinator_1.surround)('[', (0, combinator_1.union)([inline_1.media, inline_1.shortmedia]), ']')), (0, combinator_1.dup)((0, combinator_1.surround)(/{(?![{}])/y, (0, combinator_1.inits)([exports.uri, (0, combinator_1.some)(exports.option)]), / ?}/y))]), ([{
+exports.medialink = (0, combinator_1.lazy)(() => (0, combinator_1.constraint)(8 /* State.link */ | 4 /* State.media */, (0, combinator_1.state)(251 /* State.linkers */, (0, combinator_1.bind)((0, combinator_1.sequence)([(0, combinator_1.dup)((0, combinator_1.surround)('[', (0, combinator_1.union)([inline_1.media, inline_1.shortmedia]), ']')), (0, combinator_1.dup)((0, combinator_1.surround)(/{(?![{}])/y, (0, combinator_1.precedence)(9, (0, combinator_1.inits)([exports.uri, (0, combinator_1.some)(exports.option)])), / ?}/y))]), ([{
   value: content
 }, {
   value: params
@@ -7616,7 +7609,7 @@ exports.media = (0, combinator_1.lazy)(() => (0, combinator_1.constraint)(4 /* S
     return void (0, combinator_1.setBacktrack)(context, 2 | 64 /* Backtrack.link */ | 32 /* Backtrack.ruby */, head);
   }
   return ns;
-})), (0, combinator_1.dup)((0, combinator_1.surround)(/{(?![{}])/y, (0, combinator_1.inits)([link_1.uri, (0, combinator_1.some)(option)]), / ?}/y, false, [], undefined, ([as, bs]) => bs && as.import(bs).push(new parser_1.Node("\u0018" /* Command.Cancel */)) && as))]), nodes => nodes.length === 1 ? new parser_1.List([new parser_1.Node(new parser_1.List([new parser_1.Node('')])), nodes.delete(nodes.head)]) : new parser_1.List([new parser_1.Node(new parser_1.List([new parser_1.Node(nodes.head.value.foldl((acc, {
+})), (0, combinator_1.dup)((0, combinator_1.surround)(/{(?![{}])/y, (0, combinator_1.precedence)(9, (0, combinator_1.inits)([link_1.uri, (0, combinator_1.some)(option)])), / ?}/y, false, [], undefined, ([as, bs]) => bs && as.import(bs).push(new parser_1.Node("\u0018" /* Command.Cancel */)) && as))]), nodes => nodes.length === 1 ? new parser_1.List([new parser_1.Node(new parser_1.List([new parser_1.Node('')])), nodes.delete(nodes.head)]) : new parser_1.List([new parser_1.Node(new parser_1.List([new parser_1.Node(nodes.head.value.foldl((acc, {
   value
 }) => acc + value, ''))])), nodes.delete(nodes.last)])), ([{
   value: [{
@@ -7740,14 +7733,17 @@ exports.reference = (0, combinator_1.lazy)(() => (0, combinator_1.constraint)(64
     (0, combinator_1.setBacktrack)(context, 2 | 4 /* Backtrack.common */, head, 2);
   } else if (linebreak !== 0) {
     (0, combinator_1.setBacktrack)(context, 2 | 128 /* Backtrack.doublebracket */ | 64 /* Backtrack.link */ | 32 /* Backtrack.ruby */, head, 2);
+  } else if (source[position + 1] !== '{') {
+    (0, combinator_1.setBacktrack)(context, 2 | 64 /* Backtrack.link */, head + 1);
   } else {
     context.position += 1;
-    if (source[context.position] !== '{' || (0, combinator_1.isBacktrack)(context, 1 | 64 /* Backtrack.link */) || !(0, link_1.textlink)({
+    if (!(0, link_1.textlink)({
       context
     })) {
       (0, combinator_1.setBacktrack)(context, 2 | 64 /* Backtrack.link */, head + 1);
     }
     context.position = position;
+    context.range = range;
   }
 })));
 // Chicago-Style

package/package.json

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

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

@@ -1,7 +1,7 @@
 import { Parser, List, Node, Context } from '../parser';
 
-export function inits<P extends Parser>(parsers: Parser.SubParsers<P>, resume?: (nodes: List<Node<Parser.SubNode<P>>>) => boolean): Parser.SubNode<P> extends Parser.Node<P> ? P : Parser<Parser.SubNode<P>, Parser.Context<P>, Parser.SubParsers<P>>;
-export function inits<N, D extends Parser<N>[]>(parsers: D, resume?: (nodes: List<Node<N>>) => boolean): Parser<N, Context, D> {
+export function inits<P extends Parser>(parsers: Parser.SubParsers<P>): Parser.SubNode<P> extends Parser.Node<P> ? P : Parser<Parser.SubNode<P>, Parser.Context<P>, Parser.SubParsers<P>>;
+export function inits<N, D extends Parser<N>[]>(parsers: D): Parser<N, Context, D> {
   assert(parsers.every(f => f));
   if (parsers.length === 1) return parsers[0];
   return input => {
@@ -14,7 +14,6 @@ export function inits<N, D extends Parser<N>[]>(parsers: D, resume?: (nodes: Lis
       const result = parsers[i](input);
       if (result === undefined) break;
       nodes = nodes?.import(result) ?? result;
-      if (resume?.(result) === false) break;
     }
     return nodes;
   };

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

@@ -1,7 +1,7 @@
 import { Parser, List, Node, Context } from '../parser';
 
-export function sequence<P extends Parser>(parsers: Parser.SubParsers<P>, resume?: (nodes: List<Node<Parser.SubNode<P>>>) => boolean): Parser.SubNode<P> extends Parser.Node<P> ? P : Parser<Parser.SubNode<P>, Parser.Context<P>, Parser.SubParsers<P>>;
-export function sequence<N, D extends Parser<N>[]>(parsers: D, resume?: (nodes: List<Node<N>>) => boolean): Parser<N, Context, D> {
+export function sequence<P extends Parser>(parsers: Parser.SubParsers<P>): Parser.SubNode<P> extends Parser.Node<P> ? P : Parser<Parser.SubNode<P>, Parser.Context<P>, Parser.SubParsers<P>>;
+export function sequence<N, D extends Parser<N>[]>(parsers: D): Parser<N, Context, D> {
   assert(parsers.every(f => f));
   if (parsers.length === 1) return parsers[0];
   return input => {
@@ -14,7 +14,6 @@ export function sequence<N, D extends Parser<N>[]>(parsers: D, resume?: (nodes:
       const result = parsers[i](input);
       if (result === undefined) return;
       nodes = nodes?.import(result) ?? result;
-      if (resume?.(result) === false) return;
     }
     return nodes;
   };

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

@@ -1,13 +1,13 @@
-import { Parser, List, Node, Context } from '../parser';
+import { Parser, Context } from '../parser';
 import { union } from './union';
 import { inits } from './inits';
 
-export function subsequence<P extends Parser>(parsers: Parser.SubParsers<P>, resume?: (nodes: List<Node<Parser.SubNode<P>>>) => boolean): Parser.SubNode<P> extends Parser.Node<P> ? P : Parser<Parser.SubNode<P>, Parser.Context<P>, Parser.SubParsers<P>>;
-export function subsequence<N, D extends Parser<N>[]>(parsers: D, resume?: (nodes: List<Node<N>>) => boolean): Parser<N, Context, D> {
+export function subsequence<P extends Parser>(parsers: Parser.SubParsers<P>): Parser.SubNode<P> extends Parser.Node<P> ? P : Parser<Parser.SubNode<P>, Parser.Context<P>, Parser.SubParsers<P>>;
+export function subsequence<N, D extends Parser<N>[]>(parsers: D): Parser<N, Context, D> {
   assert(parsers.every(f => f));
   return union(
     parsers.map((_, i) =>
       i + 1 < parsers.length
-        ? inits([parsers[i], subsequence(parsers.slice(i + 1), resume)], resume)
+        ? inits([parsers[i], subsequence(parsers.slice(i + 1))])
         : parsers[i]) as D);
 }

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

@@ -1,8 +1,8 @@
-import { Parser, List, Node, Context } from '../parser';
+import { Parser, Context } from '../parser';
 import { union } from './union';
 import { sequence } from './sequence';
 
-export function tails<P extends Parser>(parsers: Parser.SubParsers<P>, resume?: (nodes: List<Node<Parser.SubNode<P>>>) => boolean): Parser.SubNode<P> extends Parser.Node<P> ? P : Parser<Parser.SubNode<P>, Parser.Context<P>, Parser.SubParsers<P>>;
-export function tails<N, D extends Parser<N>[]>(parsers: D, resume?: (nodes: List<Node<N>>) => boolean): Parser<N, Context, D> {
-  return union(parsers.map((_, i) => sequence(parsers.slice(i), resume)) as D);
+export function tails<P extends Parser>(parsers: Parser.SubParsers<P>): Parser.SubNode<P> extends Parser.Node<P> ? P : Parser<Parser.SubNode<P>, Parser.Context<P>, Parser.SubParsers<P>>;
+export function tails<N, D extends Parser<N>[]>(parsers: D): Parser<N, Context, D> {
+  return union(parsers.map((_, i) => sequence(parsers.slice(i))) as D);
 }

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

@@ -364,16 +364,16 @@ describe('Unit: parser/api/parse', () => {
       this.timeout(5000);
       // 最悪計算量での実行速度はCommonMarkの公式JS実装の32nに対して50-400%程度。
       // 6n = annotation + reference + link + url/math + ruby + text
-      const source = `((([[[[#$[${'.'.repeat(16665)}`;
+      const source = `((([[[[#$[${'.'.repeat(16664)}]]]`;
       assert.deepStrictEqual(
         [...parse(source, {}, new Context({ resources: { clock: 100000, recursions: [100] } })).children]
           .map(el => el.tagName),
-        ['P']);
+        ['P', 'OL']);
     });
 
     it('backtrack error', function () {
       this.timeout(5000);
-      const source = `((([[[[#$[${'.'.repeat(16665 + 1)}`;
+      const source = `((([[[[#$[${'.'.repeat(16664 + 1)}]]]`;
       assert.deepStrictEqual(
         [...parse(source, {}, new Context({ resources: { clock: 100000, recursions: [100] } })).children]
           .map(el => el.tagName),

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

@@ -34,7 +34,6 @@ describe('Unit: parser/block/table', () => {
       assert.deepStrictEqual(inspect(parser, input('|"|\n|-\n|', new Context())), [['<table><thead><tr><th>"</th></tr></thead><tbody><tr></tr></tbody></table>'], '']);
       assert.deepStrictEqual(inspect(parser, input('|`|`|\n|-\n|', new Context())), [['<table><thead><tr><th><code data-src="`|`">|</code></th></tr></thead><tbody><tr></tr></tbody></table>'], '']);
       assert.deepStrictEqual(inspect(parser, input('|((|\n|-\n|', new Context())), [['<table><thead><tr><th><span class="paren">(<span class="paren">(</span></span></th></tr></thead><tbody><tr></tr></tbody></table>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('|${|\n|-\n|', new Context())), [['<table><thead><tr><th>${</th></tr></thead><tbody><tr></tr></tbody></table>'], '']);
       assert.deepStrictEqual(inspect(parser, input('|a|b|\n|-|-|\n|1|2|', new Context())), [['<table><thead><tr><th>a</th><th>b</th></tr></thead><tbody><tr><td>1</td><td>2</td></tr></tbody></table>'], '']);
       assert.deepStrictEqual(inspect(parser, input('|a|b\n|-|-\n|1|2', new Context())), [['<table><thead><tr><th>a</th><th>b</th></tr></thead><tbody><tr><td>1</td><td>2</td></tr></tbody></table>'], '']);
       assert.deepStrictEqual(inspect(parser, input('|a|\n|-|\n|1|', new Context())), [['<table><thead><tr><th>a</th></tr></thead><tbody><tr><td>1</td></tr></tbody></table>'], '']);

package/src/parser/inline/bracket.ts

@@ -38,17 +38,15 @@ const p1 = lazy(() => surround(
   str('('),
   precedence(1, recursion(Recursion.bracket, some(inline, ')', [[')', 1]]))),
   str(')'),
+  // 唯一の参照者であるAnnotation構文に対してのみバックトラックを記録しその他は記録しない。
+  // 二重括弧構文の内括弧のバックトラックは二重括弧構文自身が記録するため記録不要。
+  // Ruby構文の丸括弧は常にRuby構文が先に到達し記録するため記録不要。
   true, [],
   ([as, bs = new List(), cs], context) => {
     const { source, position, range } = context;
     const head = position - range;
-    if (context.linebreak !== 0) {
-      if (head > 0 && source[head - 1] === '(') {
-        setBacktrack(context, 2 | Backtrack.doublebracket, head - 1);
-      }
-    }
-    else if (source[position] !== ')' && source[head - 1] === '(') {
-      setBacktrack(context, 2 | Backtrack.doublebracket, head - 1);
+    if (source[head + 1] === '(' && (context.linebreak !== 0 || source[position - 2] !== ')')) {
+      setBacktrack(context, 2 | Backtrack.doublebracket, head);
     }
     const str = source.slice(position - range + 1, position - 1);
     return indexA.test(str)
@@ -91,13 +89,8 @@ const s1 = lazy(() => surround(
   ([as, bs = new List(), cs], context) => {
     const { source, position, range } = context;
     const head = position - range;
-    if (context.linebreak !== 0) {
-      if (head > 0 && source[head - 1] === '[') {
-        setBacktrack(context, 2 | Backtrack.doublebracket, head - 1);
-      }
-    }
-    else if (source[position] !== ']' && source[head - 1] === '[') {
-      setBacktrack(context, 2 | Backtrack.doublebracket, head - 1);
+    if (source[head + 1] === '[' && (context.linebreak !== 0 || source[position - 2] !== ']')) {
+      setBacktrack(context, 2 | Backtrack.doublebracket, head);
     }
     if (context.state & State.link) {
       if (context.linebreak !== 0) {
@@ -108,15 +101,12 @@ const s1 = lazy(() => surround(
       }
       else {
         context.state ^= State.link;
-        const result = !isBacktrack(context, 1 | Backtrack.link)
-          ? textlink({ context })
-          : undefined;
-        context.position = position;
-        if (!result) {
+        if (!isBacktrack(context, 1 | Backtrack.link) && !textlink({ context })) {
           setBacktrack(context, 2 | Backtrack.link, head);
         }
-        context.state ^= State.link;
+        context.position = position;
         context.range = range;
+        context.state ^= State.link;
       }
     }
     return as.import(bs as List<Node<string>>).import(cs);

package/src/parser/inline/html.ts

@@ -24,7 +24,7 @@ export const html: HTMLParser = lazy(() => validate(/<[a-z]+(?=[ >])/yi,
     surround(
       // https://html.spec.whatwg.org/multipage/syntax.html#void-elements
       str(/<(?:area|base|br|col|embed|hr|img|input|link|meta|source|track|wbr)(?=[ >])/y),
-      some(union([attribute])),
+      precedence(9, some(union([attribute]))),
       open(str(/ ?/y), str('>'), true),
       true, [],
       ([as, bs = new List(), cs], context) =>
@@ -37,13 +37,15 @@ export const html: HTMLParser = lazy(() => validate(/<[a-z]+(?=[ >])/yi,
       ([, tag]) =>
         surround<HTMLParser.TagParser, string>(
           surround(
-            str(`<${tag}`), some(attribute), open(str(/ ?/y), str('>'), true),
+            str(`<${tag}`),
+            precedence(9, some(attribute)),
+            open(str(/ ?/y), str('>'), true),
             true, [],
             ([as, bs = new List(), cs]) => as.import(bs).import(cs),
             ([as, bs = new List()]) => as.import(bs)),
           // 不可視のHTML構造が可視構造を変化させるべきでない。
           // 可視のHTMLは優先度変更を検討する。
-          // このため<>は将来的に共通構造を変化させる可能性があり
+          // このため`<>`記号は将来的に共通構造を変化させる可能性があり
           // 共通構造を変化させない非構造文字列としては依然としてエスケープを要する。
           precedence(0, recursion(Recursion.inline,
           some(union([
@@ -61,7 +63,7 @@ export const html: HTMLParser = lazy(() => validate(/<[a-z]+(?=[ >])/yi,
     surround(
       // https://html.spec.whatwg.org/multipage/syntax.html#void-elements
       str(/<[a-z]+(?=[ >])/yi),
-      some(union([attribute])),
+      precedence(9, some(union([attribute]))),
       open(str(/ ?/y), str('>'), true),
       true, [],
       ([as, bs = new List(), cs], context) =>

package/src/parser/inline/link.ts

@@ -35,7 +35,7 @@ export const textlink: LinkParser.TextLinkParser = lazy(() => constraint(State.l
     // 自己再帰的にパースしてもオプションの不要なパースによる計算量の増加により相殺される。
     dup(surround(
       /{(?![{}])/y,
-      inits([uri, some(option)]),
+      precedence(9, inits([uri, some(option)])),
       / ?}/y,
       false, [],
       undefined,
@@ -78,7 +78,10 @@ export const medialink: LinkParser.MediaLinkParser = lazy(() => constraint(State
       '[',
       union([media, shortmedia]),
       ']')),
-    dup(surround(/{(?![{}])/y, inits([uri, some(option)]), / ?}/y)),
+    dup(surround(
+      /{(?![{}])/y,
+      precedence(9, inits([uri, some(option)])),
+      / ?}/y)),
   ]),
   ([{ value: content }, { value: params }], context) =>
     new List([new Node(parse(content, params as List<Node<string>>, context))])))));

package/src/parser/inline/media.ts

@@ -40,7 +40,7 @@ export const media: MediaParser = lazy(() => constraint(State.media, open(
       })),
     dup(surround(
       /{(?![{}])/y,
-      inits([uri, some(option)]),
+      precedence(9, inits([uri, some(option)])),
       / ?}/y,
       false, [],
       undefined,

package/src/parser/inline/reference.ts

@@ -38,15 +38,19 @@ export const reference: ReferenceParser = lazy(() => constraint(State.reference,
     else if (linebreak !== 0) {
       setBacktrack(context, 2 | Backtrack.doublebracket | Backtrack.link | Backtrack.ruby, head, 2);
     }
+    else if (source[position + 1] !== '{') {
+      setBacktrack(context, 2 | Backtrack.link, head + 1);
+    }
     else {
       assert(source[position] === ']');
+      assert(~context.state & State.link);
       context.position += 1;
-      if (source[context.position] !== '{' ||
-          isBacktrack(context, 1 | Backtrack.link) ||
-          !textlink({ context })) {
+      assert(!isBacktrack(context, 1 | Backtrack.link));
+      if (!textlink({ context })) {
         setBacktrack(context, 2 | Backtrack.link, head + 1);
       }
       context.position = position;
+      context.range = range;
     }
   })));
 

package/src/parser/inline.test.ts

@@ -165,7 +165,7 @@ describe('Unit: parser/inline', () => {
       assert.deepStrictEqual(inspect(parser, input('[^a@b', new Context())), [['[^', '<a class="email" href="mailto:a@b">a@b</a>'], '']);
       assert.deepStrictEqual(inspect(parser, input('"[% *"*"*', new Context())), [['"', '[%', ' ', '*', '"', '*', '"', '*'], '']);
       assert.deepStrictEqual(inspect(parser, input('"[% "*"* %]', new Context())), [['"', '<span class="remark"><input type="checkbox"><span>[% "*"* %]</span></span>'], '']);
-      assert.deepStrictEqual(inspect(parser, input('"{{""}}', new Context())), [['"', '{', '{', '"', '"', '}', '}'], '']);
+      assert.deepStrictEqual(inspect(parser, input('"{{""}}', new Context())), [['"', '{', '<a class="url" href="&quot;&quot;">""</a>', '}'], '']);
       assert.deepStrictEqual(inspect(parser, input('[#http://host/(<bdi>)]</bdi>', new Context())), [['<a class="index" href="#index::http://host/(&lt;bdi&gt;)">http://host/<span class="paren">(<span class="invalid">&lt;bdi&gt;</span>)</span></a>', '</bdi', '>'], '']);
       assert.deepStrictEqual(inspect(parser, input('[#@a/http://host/(<bdi>)]</bdi>', new Context())), [['<a class="index" href="#index::@a/http://host/(&lt;bdi&gt;)">@a/http://host/<span class="paren">(<span class="invalid">&lt;bdi&gt;</span>)</span></a>', '</bdi', '>'], '']);
       assert.deepStrictEqual(inspect(parser, input('[#a|<bdi>]</bdi>', new Context())), [['<a class="index" href="#index::a|&lt;bdi&gt;">a|<span class="invalid">&lt;bdi&gt;</span></a>', '</bdi', '>'], '']);