regex-partial-match 1.2.0 → 2.0.0

package/lib/hitEnd/index.d.ts

@@ -0,0 +1,45 @@
+import type PartialMatchRegExp from "../partialMatchRegExp/index.ts";
+/**
+ * Whether the engine reached the end of the input while producing `match` —
+ * a match `partial` produced — so that more input could change it.
+ *
+ * The contract is that of the JDK's `Matcher.hitEnd()`: when this returns
+ * `false`, no continuation of the input changes the match's index or text,
+ * and its captures are the ones the original pattern produces, except for
+ * the two limits noted under `@remarks` below, where `false` is reported
+ * despite a read of the end. `true` means the match read the end of the
+ * input — an atom ran out of input, a greedy quantifier stopped there with
+ * nothing left to read, or `$`, `\b` or `\B` held there — so more input
+ * could extend it, change which alternative wins, or invalidate it, and
+ * its captures are the closest to what a full match would report rather
+ * than final.
+ *
+ * `false` is not "is a match": `/hello \w+/` matches `"hello world"` in full
+ * and still reports `true`, since `\w+` read the end looking for more. An
+ * exact-length match that consumed the last character without reading past
+ * it reports `false`.
+ *
+ * @param partial - The `PartialMatchRegExp` instance that produced `match`
+ * @param match - A match returned by `partial.exec()`
+ * @returns `true` when the match read the end of the input, `false` when it
+ * settled short of it
+ *
+ * @remarks
+ * Conservative where the JDK is exact in one place: a bounded greedy
+ * quantifier (`?`, `{n,m}`) fully taken at the end of the input reports
+ * `true` — on a group, and the same way for an unequal-bound `{n,m}`
+ * directly on a single atom once it's saturated at its maximum. Cannot see
+ * a read of the end inside a raw lookaround, or inside a lookahead in an
+ * earlier iteration of a quantified group.
+ *
+ * @example
+ * ```typescript
+ * import PartialMatchRegExp, { hitEnd } from "regex-partial-match";
+ *
+ * const partial = new PartialMatchRegExp(/^\d{4}-\d{2}-\d{2}/);
+ * const match = partial.exec('2024-06');
+ *
+ * match !== null && hitEnd(partial, match); // true - keep typing
+ * ```
+ */
+export default function hitEnd(partial: PartialMatchRegExp, match: RegExpExecArray): boolean;

package/lib/hitEnd/index.js

@@ -0,0 +1,57 @@
+import { compiledOf } from "../partialMatchRegExp/partialMatchInternals.js";
+import matchHitEnd from "./matchHitEnd.js";
+/**
+ * Whether the engine reached the end of the input while producing `match` —
+ * a match `partial` produced — so that more input could change it.
+ *
+ * The contract is that of the JDK's `Matcher.hitEnd()`: when this returns
+ * `false`, no continuation of the input changes the match's index or text,
+ * and its captures are the ones the original pattern produces, except for
+ * the two limits noted under `@remarks` below, where `false` is reported
+ * despite a read of the end. `true` means the match read the end of the
+ * input — an atom ran out of input, a greedy quantifier stopped there with
+ * nothing left to read, or `$`, `\b` or `\B` held there — so more input
+ * could extend it, change which alternative wins, or invalidate it, and
+ * its captures are the closest to what a full match would report rather
+ * than final.
+ *
+ * `false` is not "is a match": `/hello \w+/` matches `"hello world"` in full
+ * and still reports `true`, since `\w+` read the end looking for more. An
+ * exact-length match that consumed the last character without reading past
+ * it reports `false`.
+ *
+ * @param partial - The `PartialMatchRegExp` instance that produced `match`
+ * @param match - A match returned by `partial.exec()`
+ * @returns `true` when the match read the end of the input, `false` when it
+ * settled short of it
+ *
+ * @remarks
+ * Conservative where the JDK is exact in one place: a bounded greedy
+ * quantifier (`?`, `{n,m}`) fully taken at the end of the input reports
+ * `true` — on a group, and the same way for an unequal-bound `{n,m}`
+ * directly on a single atom once it's saturated at its maximum. Cannot see
+ * a read of the end inside a raw lookaround, or inside a lookahead in an
+ * earlier iteration of a quantified group.
+ *
+ * @example
+ * ```typescript
+ * import PartialMatchRegExp, { hitEnd } from "regex-partial-match";
+ *
+ * const partial = new PartialMatchRegExp(/^\d{4}-\d{2}-\d{2}/);
+ * const match = partial.exec('2024-06');
+ *
+ * match !== null && hitEnd(partial, match); // true - keep typing
+ * ```
+ */
+export default function hitEnd(partial, match) {
+    var _a, _b;
+    const compiled = compiledOf(partial);
+    return matchHitEnd(compiled, match, ((_a = compiled.probeCache) !== null && _a !== void 0 ? _a : (compiled.probeCache = {
+        rawLookarounds: (_b = compiled.rawLookarounds) !== null && _b !== void 0 ? _b : [],
+        flags: partial.flags,
+        probe: undefined,
+        stickyPreScan: undefined,
+        expansions: [],
+        oldestExpansion: 0
+    })));
+}

package/lib/hitEnd/matchHitEnd.d.ts

@@ -0,0 +1,4 @@
+import type { CompiledPartial } from "../partialMatchRegExp/compilePartial/compiled.ts";
+import type { TruncationProbeCache } from "./truncationProbeCache.ts";
+export declare const EXPANDED_PROBES_KEPT = 12;
+export default function matchHitEnd(compiled: CompiledPartial, match: RegExpExecArray, cache: TruncationProbeCache): boolean;

package/lib/hitEnd/matchHitEnd.js

@@ -0,0 +1,51 @@
+import { buildTruncationProbe, tookTruncationBranch } from "./truncationProbe.js";
+import { backreferenceExpansion } from "../partialMatchRegExp/backreferenceExpansion.js";
+import { FLAGS_IRRELEVANT_TO_REBUILD } from "../partialMatchRegExp/constants.js";
+export const EXPANDED_PROBES_KEPT = 12;
+export default function matchHitEnd(compiled, match, cache) {
+    const probe = "dynamic" in compiled
+        ? dynamicProbe(compiled, match, cache)
+        : unexpandedProbe(compiled, cache);
+    return tookTruncationBranch(probe, match.input, match.index);
+}
+function dynamicProbe(compiled, match, cache) {
+    var _a;
+    const parts = (_a = match[backreferenceExpansion]) !== null && _a !== void 0 ? _a : expandedPartsAt(compiled, match, cache);
+    if (parts === undefined)
+        return unexpandedProbe(compiled, cache);
+    for (const expansion of cache.expansions) {
+        if (sameParts(expansion.parts, parts))
+            return expansion.probe;
+    }
+    const probe = probeOf(parts, cache);
+    cache.expansions[cache.oldestExpansion] = { parts, probe };
+    cache.oldestExpansion = (cache.oldestExpansion + 1) % EXPANDED_PROBES_KEPT;
+    return probe;
+}
+function unexpandedProbe(compiled, cache) {
+    var _a;
+    return ((_a = cache.probe) !== null && _a !== void 0 ? _a : (cache.probe = probeOf(compiled.parts, cache)));
+}
+function probeOf(parts, { rawLookarounds, flags }) {
+    return buildTruncationProbe(parts, rawLookarounds, flags);
+}
+function expandedPartsAt(compiled, match, cache) {
+    var _a;
+    const { preScan, expand } = compiled.dynamic;
+    (_a = cache.stickyPreScan) !== null && _a !== void 0 ? _a : (cache.stickyPreScan = new RegExp(preScan.source, cache.flags.replace(FLAGS_IRRELEVANT_TO_REBUILD, "") + "y"));
+    cache.stickyPreScan.lastIndex = match.index;
+    const capture = cache.stickyPreScan.exec(match.input);
+    if (capture === null)
+        return undefined;
+    const parts = expand(capture);
+    return parts.length === compiled.parts.length ? undefined : parts;
+}
+function sameParts(cached, parts) {
+    if (cached.length !== parts.length)
+        return false;
+    for (let index = 0; index < parts.length; index++) {
+        if (cached[index] !== parts[index])
+            return false;
+    }
+    return true;
+}

package/lib/hitEnd/partRole.d.ts

@@ -0,0 +1,3 @@
+import { type Part } from "../partialMatchRegExp/part.ts";
+export type PartRole = "backreference" | "rawLookaround" | "groupOpen" | "truncationEnd" | "plain";
+export declare function roleOf(part: Part): PartRole;

package/lib/hitEnd/partRole.js

@@ -0,0 +1,17 @@
+import { NAMED_GROUP_OPENING, endsAtTruncationBranch, isRawLookaround } from "../partialMatchRegExp/atomSyntax.js";
+import { isBackreference } from "../partialMatchRegExp/part.js";
+function isGroupOpen(part) {
+    return (part === "(" ||
+        (part.startsWith(NAMED_GROUP_OPENING) && !isRawLookaround(part)));
+}
+export function roleOf(part) {
+    if (isBackreference(part))
+        return "backreference";
+    if (isRawLookaround(part))
+        return "rawLookaround";
+    if (isGroupOpen(part))
+        return "groupOpen";
+    if (endsAtTruncationBranch(part))
+        return "truncationEnd";
+    return "plain";
+}

package/lib/hitEnd/truncationProbe.d.ts

@@ -0,0 +1,8 @@
+import { type Part } from "../partialMatchRegExp/part.ts";
+import type { RawLookarounds } from "../partialMatchRegExp/rawLookaroundInfo.ts";
+export interface TruncationProbe {
+    regex: RegExp;
+    markerGroups: readonly number[];
+}
+export declare const buildTruncationProbe: (parts: readonly Part[], rawLookarounds: RawLookarounds, flags: string) => TruncationProbe;
+export declare const tookTruncationBranch: (probe: TruncationProbe, input: string, index: number) => boolean;

package/lib/hitEnd/truncationProbe.js

@@ -0,0 +1,187 @@
+import { legacyEscapeAsLiteral } from "../partialMatchRegExp/legacyEscape.js";
+import { FLAGS_IRRELEVANT_TO_REBUILD } from "../partialMatchRegExp/constants.js";
+import { DISJUNCTION_TO_END_OF_INPUT, END_ANCHOR, OPTIONAL_ATOM_OPENING, isOptionalAtom, isWordBoundaryAtom } from "../partialMatchRegExp/atomSyntax.js";
+import { isQuantifier, quantifierEndingAt } from "../partialMatchRegExp/quantifier.js";
+import { isBackreference, isNumericBackreference } from "../partialMatchRegExp/part.js";
+import { roleOf } from "./partRole.js";
+const END_OF_INPUT = DISJUNCTION_TO_END_OF_INPUT.slice(1, -1);
+const OPTIONAL_QUANTIFIER = "?";
+const EXACT_QUANTIFIER = /^\{0*([1-9]\d*|0)(?:,0*\1)?\}$/;
+const MARKING = {
+    none: 0,
+    groupOpen: 1,
+    rawLookaround: 2,
+    truncationBranch: 3,
+    wordBoundary: 4,
+    endAnchor: 5,
+    readAtEnd: 6,
+    optionalAtEnd: 7
+};
+function isGreedyReadAtEnd(parts, index) {
+    const part = parts[index];
+    return (isQuantifier(part) &&
+        !EXACT_QUANTIFIER.test(part) &&
+        parts[index + 1] !== OPTIONAL_QUANTIFIER &&
+        quantifierEndingAt(parts, index) === index);
+}
+function markingOf(parts, index) {
+    const part = parts[index];
+    switch (roleOf(part)) {
+        case "backreference":
+            return MARKING.truncationBranch;
+        case "rawLookaround":
+            return MARKING.rawLookaround;
+        case "groupOpen":
+            return MARKING.groupOpen;
+        case "truncationEnd":
+            return isWordBoundaryAtom(part)
+                ? MARKING.wordBoundary
+                : MARKING.truncationBranch;
+        case "plain": {
+            if (part === END_ANCHOR)
+                return MARKING.endAnchor;
+            if (!isGreedyReadAtEnd(parts, index))
+                return MARKING.none;
+            const previous = parts[index - 1];
+            return part === OPTIONAL_QUANTIFIER &&
+                (isBackreference(previous) || isOptionalAtom(previous))
+                ? MARKING.optionalAtEnd
+                : MARKING.readAtEnd;
+        }
+    }
+}
+const markingsOf = (parts) => parts.map((_, index) => markingOf(parts, index));
+function markersAddedBy(marking) {
+    switch (marking) {
+        case MARKING.none:
+        case MARKING.groupOpen:
+        case MARKING.rawLookaround:
+            return 0;
+        case MARKING.wordBoundary:
+            return 2;
+        default:
+            return 1;
+    }
+}
+function groupShiftTable(markings, rawLookarounds) {
+    var _a, _b;
+    const shiftForGroup = [0];
+    let markerCount = 0;
+    let rawLookaroundIndex = 0;
+    for (const marking of markings) {
+        if (marking === MARKING.groupOpen) {
+            shiftForGroup.push(markerCount);
+        }
+        else if (marking === MARKING.rawLookaround) {
+            const capturingGroupsOpened = (_b = (_a = rawLookarounds[rawLookaroundIndex++]) === null || _a === void 0 ? void 0 : _a.capturingGroupsOpened) !== null && _b !== void 0 ? _b : 0;
+            for (let opened = 0; opened < capturingGroupsOpened; opened++) {
+                shiftForGroup.push(markerCount);
+            }
+        }
+        markerCount += markersAddedBy(marking);
+    }
+    return shiftForGroup;
+}
+function renumberedToken(backreference, shiftForGroup) {
+    return isNumericBackreference(backreference)
+        ? "\\" + String(backreference.ref + shiftForGroup[backreference.ref])
+        : "\\k<" + backreference.ref + ">";
+}
+function renumberRawBackreferences(part, info, shiftForGroup) {
+    let renumbered = "";
+    let cursor = 0;
+    for (const reference of info.references) {
+        const relativeStart = reference.start - info.sourceStart;
+        const relativeEnd = reference.end - info.sourceStart;
+        renumbered +=
+            part.slice(cursor, relativeStart) +
+                rawReferenceReplacement(part.slice(relativeStart, relativeEnd), reference, shiftForGroup);
+        cursor = relativeEnd;
+    }
+    return renumbered + part.slice(cursor);
+}
+function rawReferenceReplacement(spelling, { ref }, shiftForGroup) {
+    return ref >= 1 && ref < shiftForGroup.length
+        ? "\\" + String(ref + shiftForGroup[ref])
+        : legacyEscapeAsLiteral(spelling.slice(1));
+}
+export const buildTruncationProbe = (parts, rawLookarounds, flags) => {
+    var _a;
+    const markings = markingsOf(parts);
+    const shiftForGroup = groupShiftTable(markings, rawLookarounds);
+    const markerGroups = [];
+    let groupsOpened = 0;
+    let rawLookaroundIndex = 0;
+    const marker = () => {
+        markerGroups.push(groupsOpened + markerGroups.length + 1);
+        return "()";
+    };
+    const truncationBranch = () => "|" + marker() + END_OF_INPUT + ")";
+    const readAtEnd = () => "(?:" + marker() + END_OF_INPUT + "|)";
+    const probed = [];
+    for (let index = 0; index < parts.length; index++) {
+        const part = parts[index];
+        if (isBackreference(part)) {
+            probed.push(OPTIONAL_ATOM_OPENING +
+                renumberedToken(part, shiftForGroup) +
+                truncationBranch());
+            continue;
+        }
+        switch (markings[index]) {
+            case MARKING.rawLookaround: {
+                const rawLookaround = rawLookarounds[rawLookaroundIndex++];
+                groupsOpened += (_a = rawLookaround === null || rawLookaround === void 0 ? void 0 : rawLookaround.capturingGroupsOpened) !== null && _a !== void 0 ? _a : 0;
+                probed.push(rawLookaround
+                    ? renumberRawBackreferences(part, rawLookaround, shiftForGroup)
+                    : part);
+                break;
+            }
+            case MARKING.groupOpen:
+                groupsOpened++;
+                probed.push(part);
+                break;
+            case MARKING.truncationBranch:
+                probed.push(part.slice(0, -DISJUNCTION_TO_END_OF_INPUT.length) + truncationBranch());
+                break;
+            case MARKING.wordBoundary:
+                probed.push(part.slice(0, -DISJUNCTION_TO_END_OF_INPUT.length) +
+                    readAtEnd() +
+                    truncationBranch());
+                break;
+            case MARKING.endAnchor:
+                probed.push(END_ANCHOR + "(?:" + marker() + "(?![\\s\\S])|)");
+                break;
+            case MARKING.readAtEnd:
+                probed.push(part + readAtEnd());
+                break;
+            case MARKING.optionalAtEnd:
+                probed[probed.length - 1] =
+                    OPTIONAL_ATOM_OPENING +
+                        probed[probed.length - 1] +
+                        "|" +
+                        marker() +
+                        END_OF_INPUT +
+                        "|)";
+                break;
+            default:
+                probed.push(part);
+                break;
+        }
+    }
+    return {
+        regex: new RegExp(probed.join(""), flags.replace(FLAGS_IRRELEVANT_TO_REBUILD, "") + "y"),
+        markerGroups
+    };
+};
+export const tookTruncationBranch = (probe, input, index) => {
+    const { regex, markerGroups } = probe;
+    regex.lastIndex = index;
+    const probed = regex.exec(input);
+    if (probed === null)
+        return true;
+    for (const group of markerGroups) {
+        if (probed[group] !== undefined)
+            return true;
+    }
+    return false;
+};

package/lib/hitEnd/truncationProbeCache.d.ts

@@ -0,0 +1,14 @@
+import type { Part } from "../partialMatchRegExp/part.ts";
+import type { RawLookarounds } from "../partialMatchRegExp/rawLookaroundInfo.ts";
+import type { TruncationProbe } from "./truncationProbe.ts";
+export interface TruncationProbeCache {
+    rawLookarounds: RawLookarounds;
+    flags: string;
+    probe: TruncationProbe | undefined;
+    stickyPreScan: RegExp | undefined;
+    expansions: {
+        parts: readonly Part[];
+        probe: TruncationProbe;
+    }[];
+    oldestExpansion: number;
+}

package/lib/hitEnd/truncationProbeCache.js

@@ -0,0 +1 @@
+export {};

package/lib/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./partialMatchRegExp/index.ts";
+export { default } from "./partialMatchRegExp/index.ts";
+export { default as hitEnd } from "./hitEnd/index.ts";
+export { default as features } from "./features/index.ts";

package/lib/index.js

@@ -0,0 +1,4 @@
+export * from "./partialMatchRegExp/index.js";
+export { default } from "./partialMatchRegExp/index.js";
+export { default as hitEnd } from "./hitEnd/index.js";
+export { default as features } from "./features/index.js";

package/lib/modules/backreferences/asNativeAtom.d.ts

@@ -0,0 +1,2 @@
+import { type Backreference } from "../../partialMatchRegExp/part.ts";
+export default function asNativeAtom(backref: Backreference): string;

package/lib/modules/backreferences/asNativeAtom.js

@@ -0,0 +1,10 @@
+import { isNumericBackreference } from "../../partialMatchRegExp/part.js";
+import { asOptionalAtom } from "../../partialMatchRegExp/atomSyntax.js";
+function backrefToken(backref) {
+    return isNumericBackreference(backref)
+        ? "\\" + String(backref.ref)
+        : "\\k<" + backref.ref + ">";
+}
+export default function asNativeAtom(backref) {
+    return asOptionalAtom(backrefToken(backref));
+}

package/lib/modules/backreferences/asPreScanPart.d.ts

@@ -0,0 +1,2 @@
+import { type Part } from "../../partialMatchRegExp/part.ts";
+export default function asPreScanPart(part: Part): string;

package/lib/modules/backreferences/asPreScanPart.js

@@ -0,0 +1,8 @@
+import { ANY_CAPTURED_TEXT } from "./constants.js";
+import { isBackreference } from "../../partialMatchRegExp/part.js";
+import asNativeAtom from "./asNativeAtom.js";
+export default function asPreScanPart(part) {
+    if (!isBackreference(part))
+        return part;
+    return part.forward ? asNativeAtom(part) : ANY_CAPTURED_TEXT;
+}

package/lib/modules/backreferences/backreferenceRecorder.d.ts

@@ -0,0 +1,2 @@
+import type { BackreferenceRecorder } from "../../partialMatchRegExp/backreferenceHook.ts";
+export default function backreferenceRecorder(): BackreferenceRecorder;

package/lib/modules/backreferences/backreferenceRecorder.js

@@ -0,0 +1,38 @@
+import { decodeGroupName, groupNameOf } from "./groupName.js";
+import { isNumericBackreference } from "../../partialMatchRegExp/part.js";
+import { CASE_INSENSITIVE } from "../../partialMatchRegExp/scope.js";
+const UNNAMED_GROUP_OPENING = "(";
+export default function backreferenceRecorder() {
+    let closedGroupNumbers;
+    let referencesSinceLastClose;
+    return {
+        groupClosed(groupNumber, opening) {
+            (closedGroupNumbers !== null && closedGroupNumbers !== void 0 ? closedGroupNumbers : (closedGroupNumbers = new Set())).add(groupNumber);
+            if (opening === UNNAMED_GROUP_OPENING)
+                return;
+            const name = decodeGroupName(groupNameOf(opening));
+            const earlierReferences = referencesSinceLastClose === null || referencesSinceLastClose === void 0 ? void 0 : referencesSinceLastClose.get(name);
+            if (earlierReferences === undefined)
+                return;
+            for (const earlier of earlierReferences)
+                earlier.forward = true;
+            referencesSinceLastClose === null || referencesSinceLastClose === void 0 ? void 0 : referencesSinceLastClose.delete(name);
+        },
+        backreference(backreference, scope) {
+            backreference.caseInsensitive = (scope & CASE_INSENSITIVE) !== 0;
+            if (isNumericBackreference(backreference)) {
+                backreference.forward = !(closedGroupNumbers === null || closedGroupNumbers === void 0 ? void 0 : closedGroupNumbers.has(backreference.ref));
+                return;
+            }
+            const name = decodeGroupName(backreference.ref);
+            backreference.forward = false;
+            referencesSinceLastClose !== null && referencesSinceLastClose !== void 0 ? referencesSinceLastClose : (referencesSinceLastClose = new Map());
+            const references = referencesSinceLastClose.get(name);
+            if (references === undefined) {
+                referencesSinceLastClose.set(name, [backreference]);
+                return;
+            }
+            references.push(backreference);
+        }
+    };
+}

package/lib/modules/backreferences/caseFoldFlags.d.ts

@@ -0,0 +1 @@
+export default function caseFoldFlags(flags: string): string;

package/lib/modules/backreferences/caseFoldFlags.js

@@ -0,0 +1,3 @@
+export default function caseFoldFlags(flags) {
+    return flags.replace(/[^iuv]/g, "");
+}

package/lib/modules/backreferences/compileDynamic.d.ts

@@ -0,0 +1,4 @@
+import { type Backreference, type Part } from "../../partialMatchRegExp/part.ts";
+import type { Hooks } from "../../partialMatchRegExp/walk.ts";
+import { CompiledBackreferences } from "./compiledBackreferences.ts";
+export default function compileDynamic(parts: readonly Part[], backreferences: readonly Backreference[], flags: string, isUnicode: boolean, featureMask: number, hooks: Hooks): CompiledBackreferences;

package/lib/modules/backreferences/compileDynamic.js

@@ -0,0 +1,53 @@
+import escapeAtom from "./escapeAtom.js";
+import { ALTERNATION } from "./constants.js";
+import { GROUP_CLOSING, ONLY_AT_END_OF_INPUT, OPTIONAL_ATOM_OPENING, asOptionalAtom } from "../../partialMatchRegExp/atomSyntax.js";
+import { isBackreference } from "../../partialMatchRegExp/part.js";
+import { CompiledBackreferences } from "./compiledBackreferences.js";
+import asPreScanPart from "./asPreScanPart.js";
+import resolvedFromScan from "./resolvedFromScan.js";
+import startsWithUnderFlags from "./startsWithUnderFlags.js";
+import longestBakedPrefixEndingInput from "./longestBakedPrefixEndingInput.js";
+import flagsAtBackreference from "./flagsAtBackreference.js";
+export default function compileDynamic(parts, backreferences, flags, isUnicode, featureMask, hooks) {
+    const dynamic = {
+        preScan: new RegExp(parts.map(asPreScanPart).join(""), flags),
+        expansionFitsCaptures: (expandedFrom, match, input) => {
+            var _a;
+            for (const backref of backreferences) {
+                const baked = resolvedFromScan(backref, expandedFrom);
+                if (baked === undefined)
+                    continue;
+                const resolved = (_a = resolvedFromScan(backref, match)) !== null && _a !== void 0 ? _a : "";
+                if (resolved === baked)
+                    continue;
+                const backrefFlags = flagsAtBackreference(backref, flags);
+                const consumed = longestBakedPrefixEndingInput(baked, input, backrefFlags);
+                if (!startsWithUnderFlags(resolved, consumed, backrefFlags))
+                    return false;
+            }
+            return true;
+        },
+        expand: (capture) => {
+            const expanded = [];
+            for (const part of parts) {
+                if (!isBackreference(part)) {
+                    expanded.push(part);
+                    continue;
+                }
+                const captured = resolvedFromScan(part, capture);
+                if (captured === undefined || captured === "") {
+                    expanded.push(part);
+                    continue;
+                }
+                const atoms = isUnicode ? Array.from(captured) : captured.split("");
+                expanded.push(OPTIONAL_ATOM_OPENING, part, ALTERNATION);
+                for (const atom of atoms) {
+                    expanded.push(asOptionalAtom(escapeAtom(atom)));
+                }
+                expanded.push(ONLY_AT_END_OF_INPUT, GROUP_CLOSING);
+            }
+            return expanded;
+        }
+    };
+    return new CompiledBackreferences(dynamic, parts, featureMask, hooks);
+}

package/lib/modules/backreferences/compiledBackreferences.d.ts

@@ -0,0 +1,9 @@
+import { Compiled, type CompiledDynamic, type DynamicPath } from "../../partialMatchRegExp/compilePartial/compiled.ts";
+import type { Part } from "../../partialMatchRegExp/part.ts";
+import type { Hooks } from "../../partialMatchRegExp/walk.ts";
+import execDynamic from "./execDynamic.ts";
+export declare class CompiledBackreferences extends Compiled implements CompiledDynamic {
+    readonly dynamic: DynamicPath;
+    readonly execDynamic: typeof execDynamic;
+    constructor(dynamic: DynamicPath, parts: readonly Part[], featureMask: number, hooks: Hooks);
+}

package/lib/modules/backreferences/compiledBackreferences.js

@@ -0,0 +1,9 @@
+import { Compiled } from "../../partialMatchRegExp/compilePartial/compiled.js";
+import execDynamic from "./execDynamic.js";
+export class CompiledBackreferences extends Compiled {
+    constructor(dynamic, parts, featureMask, hooks) {
+        super(parts, featureMask, hooks);
+        this.dynamic = dynamic;
+        this.execDynamic = execDynamic;
+    }
+}

package/lib/modules/backreferences/constants.d.ts

@@ -0,0 +1,2 @@
+export declare const ANY_CAPTURED_TEXT = "(?:[\\s\\S]*?)";
+export declare const ALTERNATION = "|";

package/lib/modules/backreferences/constants.js

@@ -0,0 +1,2 @@
+export const ANY_CAPTURED_TEXT = "(?:[\\s\\S]*?)";
+export const ALTERNATION = "|";

package/lib/modules/backreferences/execDynamic.d.ts

@@ -0,0 +1,2 @@
+import type { DynamicPath } from "../../partialMatchRegExp/compilePartial/compiled.ts";
+export default function execDynamic(this: RegExp, dynamic: DynamicPath, input: string): RegExpExecArray | null;

package/lib/modules/backreferences/execDynamic.js

@@ -0,0 +1,43 @@
+import renderParts from "./renderParts.js";
+import { backreferenceExpansion } from "../../partialMatchRegExp/backreferenceExpansion.js";
+import execFrom from "../../partialMatchRegExp/execFrom.js";
+function isAtOrBefore(match, index) {
+    return match !== null && match.index <= index;
+}
+export default function execDynamic(dynamic, input) {
+    const { preScan, expand, expansionFitsCaptures } = dynamic;
+    const honoursLastIndex = this.global || this.sticky;
+    const start = honoursLastIndex ? this.lastIndex : 0;
+    const originalMatch = RegExp.prototype.exec.call(this, input);
+    if (isAtOrBefore(originalMatch, start))
+        return originalMatch;
+    let preScanMatch = null;
+    if (originalMatch) {
+        preScanMatch = execFrom(preScan, input, start);
+        const noEarlierPartialPossible = preScanMatch === null || preScanMatch.index >= originalMatch.index;
+        if (noEarlierPartialPossible)
+            return originalMatch;
+    }
+    const capture = preScanMatch !== null && preScanMatch !== void 0 ? preScanMatch : execFrom(preScan, input, start);
+    if (capture === null)
+        return originalMatch;
+    const scanningFlags = honoursLastIndex ? this.flags : this.flags + "g";
+    let expandedFrom = capture;
+    let expandedParts = expand(expandedFrom);
+    let expanded = new RegExp(renderParts(expandedParts), scanningFlags);
+    let match = execFrom(expanded, input, start);
+    if (match !== null && !expansionFitsCaptures(expandedFrom, match, input)) {
+        expandedFrom = match;
+        expandedParts = expand(expandedFrom);
+        expanded = new RegExp(renderParts(expandedParts), scanningFlags);
+        match = execFrom(expanded, input, expandedFrom.index);
+        if (match !== null && !expansionFitsCaptures(expandedFrom, match, input))
+            match = null;
+    }
+    if (match === null || isAtOrBefore(originalMatch, match.index))
+        return originalMatch;
+    if (honoursLastIndex)
+        this.lastIndex = expanded.lastIndex;
+    match[backreferenceExpansion] = expandedParts;
+    return match;
+}

package/lib/modules/backreferences/flagsAtBackreference.d.ts

@@ -0,0 +1,2 @@
+import type { Backreference } from "../../partialMatchRegExp/part.ts";
+export default function flagsAtBackreference(backref: Backreference, flags: string): string;

package/lib/modules/backreferences/flagsAtBackreference.js

@@ -0,0 +1,4 @@
+export default function flagsAtBackreference(backref, flags) {
+    const unicodeMode = flags.includes("v") ? "v" : flags.includes("u") ? "u" : "";
+    return (backref.caseInsensitive ? "i" : "") + unicodeMode;
+}

package/lib/modules/backreferences/groupName.d.ts

@@ -0,0 +1,2 @@
+export declare const groupNameOf: (namedGroupOpening: string) => string;
+export declare function decodeGroupName(rawName: string): string;