regex-partial-match 1.0.0 → 1.1.1

package/README.md

@@ -10,6 +10,8 @@ Unlike C/C++ (via [PCRE/PCRE2](https://www.pcre.org/original/doc/html/pcrepartia
 
 This library transforms regular expressions to best-effort support **partial matching**, allowing you to test if an incomplete string could potentially match the full pattern. This is particularly useful for real-time input validation, autocomplete systems, progressive form validation, stream chunk matching, etc.
 
+As a side effect of the parse this requires, each `PartialMatchRegExp` also exposes a [`features`](#partialmatchregexpprototypefeatures-readonlysetregexfeature) set naming the syntactic constructs its pattern uses — useful for consumers that need to reason about a pattern without writing their own regex parser.  For many features, a simple search in the [source](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/RegExp/source) would be insufficient.
+
 **Based on an algorithm created by [Lucas Trzesniewski](https://github.com/ltrzesniewski)**, re-created for NPM via ISC license, with permission.
 
 ## 📦 Installation
@@ -54,10 +56,6 @@ The library transforms a regular expression by wrapping each [atomic element](ht
 
 This allows the pattern to match prefixes of the original pattern, enabling validation of incomplete input.
 
-### Patterns with backreferences
-
-Backreferences cannot be handled by the `|$(?![\s\S])` transform alone because they are atomic — `\1` must match the entire captured string or fail, and its length is only known at runtime. `PartialMatchRegExp` first tries a full match natively, as a short-circuit — if the input already satisfies the whole pattern, there's nothing further to do. Otherwise it runs a "capture scan": a variant of the pattern with each backreference swapped for a lazy `(?:[\s\S]*?)` wildcard, so the group it depends on can still capture against a partial input — matching anything, or nothing at all, without needing to already know the backreference's value. Whatever that scan captures (or leaves undefined, if the group hasn't been reached yet) is then used to build a fresh partial-matching regex for this specific input, expanding the backreference character-by-character from the captured value with the same per-atom transform as the rest of the pattern. See [docs/backreferences.md](./docs/backreferences.md) for the full algorithm, including the prefer-longer post-processing that preserves correct captures for groups inside quantifiers.
-
 Since the library accepts only valid regular expressions [^2], this enables the algorithm to make lots of unguarded assumptions about the source of the expression.
 
 The library has been stress-tested with various regular expression features in isolation, and some in likely combination, but obviously it's an unbounded test space, and syntactically valid regular expressions nevertheless support contradictory patterns e.g.
@@ -71,6 +69,13 @@ Such combinations have not been tested.
 > [!NOTE]
 > See [Partial Match Parity](/docs/partial-match-parity.md) for full details on how the library compares to reference implementations
 
+### Patterns with backreferences
+
+Backreferences cannot be handled by the `|$(?![\s\S])` transform alone because they are atomic — `\1` must match the entire captured string or fail, and its length is only known at runtime. `PartialMatchRegExp` first tries a full match natively, but that native result only wins outright if nothing earlier in the input could still be a viable partial — a cheap bound check settles that without needing to resolve the backreference's actual value, so the common case (no earlier partial exists) stays fast. Otherwise it runs a "capture scan": a variant of the pattern with each backreference swapped for a lazy `(?:[\s\S]*?)` wildcard, so the group it depends on can still capture against a partial input — matching anything, or nothing at all, without needing to already know the backreference's value. 
+
+Whatever that scan captures (or leaves `undefined`, if the group hasn't been reached yet) is then used to build a fresh partial-matching regex for this specific input, expanding the backreference character-by-character from the captured value with the same per-atom transform as the rest of the pattern. See [docs/backreferences.md](./docs/backreferences.md) for the full algorithm, including the prefer-longer post-processing that preserves correct captures for groups inside quantifiers.
+
+
 ## ✅ Supported Features
 
 - 🔤 [Literal characters](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Regular_expressions/Literal_character)
@@ -171,17 +176,36 @@ The following cases remain atomic (full native value or exactly at true end of i
 - **`\k<name>` with no named capturing groups in the pattern.** [Annex B](https://tc39.es/ecma262/#sec-regular-expressions-patterns) tolerates this as the literal characters `k<a>`, but it's still treated as if it were a named backreference and matched atomically — `"k"` and `"k<"` will not partially match. A `\k` not immediately followed by a well-formed `<name>` reference is treated as the literal `k` and partially matches as usual.
 - **A backreference whose captured value can't be determined from a partial input.** This only affects the backreference site itself; it's strictly better than rejecting the input outright, and never accepts anything unsound.
 
-See also the [prefix-ambiguous top-level alternation](#prefix-ambiguous-top-level-alternation) caveat below — a related edge case where the internal capture scan resolves the wrong branch first.
+#### Prefix-ambiguous top-level alternation
+
+When a pattern uses top-level alternation where one branch is a strict prefix of another (e.g. `^(ab)\1|^(abc)\2`), the internal capture scan may select the shorter branch — because it uses `(?:[\s\S]*?)` which accepts zero characters — causing the final partial regex to fail for inputs that are valid prefixes of the longer branch. In such cases `exec` returns `null` even though the input is a valid partial match:
+
+```javascript
+const partial = new PartialMatchRegExp(/^(ab)\1|^(abc)\2/);
+
+partial.test("abca"); // false — but "abca" is a valid prefix of "abcabc" via the second branch
+```
+
+> [!TIP]
+> If alternate branches share a prefix, list the longer one first. The capture scan tries branches in order and stops at the first that accepts the partial input, so putting the longer branch first ensures it's the one selected:
+>
+> ```javascript
+> const partial = new PartialMatchRegExp(/^(abc)\2|^(ab)\1/);
+>
+> partial.test("abca"); // true
+> ```
+
+See [docs/backreferences.md](./docs/backreferences.md) for why this happens (the internal capture scan resolving the wrong alternative first).
 
-[^1]:
-     A bare `$` alone isn't sufficient here: under the `m` (multiline) flag — including one turned on locally via a `(?m:...)` [modifier](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Regular_expressions/Modifier) — `$` also matches immediately before *any* line terminator, not just the true end of input. That would let a `"\n"` the source pattern never allowed for be silently accepted as if the input had simply run out, e.g. `new PartialMatchRegExp(/^foobar/m)` would wrongly accept `"foo\nbaz"`. Appending `(?![\s\S])` narrows the disjunction down to strict end-of-input, regardless of multiline state.
+[^1]: 
+    A bare `$` alone isn't sufficient here: under the `m` (multiline) flag — including one turned on locally via a `(?m:...)` [modifier](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Regular_expressions/Modifier) — `$` also matches immediately before *any* line terminator, not just the true end of input. That would let a `"\n"` the source pattern never allowed for be silently accepted as if the input had simply run out, e.g. `new PartialMatchRegExp(/^foobar/m)` would wrongly accept `"foo\nbaz"`. Appending `(?![\s\S])` narrows the disjunction down to strict end-of-input, regardless of multiline state.
 
-     See [chromium issue 536420076](https://issues.chromium.org/u/2/issues/536420076) for the underlying V8 bug that requires `$` to precede `(?![\s\S])` rather than using the lookahead alone.
+    See [chromium issue 536420076](https://issues.chromium.org/u/2/issues/536420076) for the underlying V8 bug that requires `$` to precede `(?![\s\S])` rather than using the lookahead alone.
 
-     A shorter option, `(?-m:$)` — disabling multiline locally so `$` means strict end-of-input on its own — also sidesteps the bug and saves a few bytes per atom. However, modifier groups are new enough that support isn't universal, and feature-detecting them would add a fallback branch our test suite can't exercise honestly, since every engine that can realistically be tested against already supports them.
+    A shorter option, `(?-m:$)` — disabling multiline locally so `$` means strict end-of-input on its own — also sidesteps the bug and saves a few bytes per atom. However, modifier groups are new enough that support isn't universal, and feature-detecting them would add a fallback branch the test suite can't exercise honestly, since every engine that can realistically be tested against already supports them.
 
-[^2]:
-     To remain lightweight, no runtime type validation is applied, so non-TypeScript consumers will be reliant on underlying errors thrown if used incorrectly.
+[^2]: 
+    To remain lightweight, no runtime type validation is applied, so non-TypeScript consumers will be reliant on underlying errors thrown if used incorrectly.
 
 ### Positive Lookbehinds
 
@@ -238,18 +262,6 @@ Hence, `[\p{RGI_Emoji_Flag_Sequence}]` will match `🇺🇳` as a whole, but not
 
 In [`v` mode](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/RegExp/unicodeSets) expressions, where `[\q{abc}]` syntax is used in isolation (rather than its canonical use-case as a subtraction/intersection of another character class), this will also only match entirely or not at all. i.e. `abc` can match, but not partially.
 
-### Prefix-ambiguous top-level alternation
-
-When a pattern uses top-level alternation where one branch is a strict prefix of another (e.g. `^(ab)\1|^(abc)\2`), the internal capture scan may select the shorter branch — because it uses `(?:[\s\S]*?)` which accepts zero characters — causing the final partial regex to fail for inputs that are valid prefixes of the longer branch. In such cases `exec` returns `null` even though the input is a valid partial match:
-
-```javascript
-const partial = new PartialMatchRegExp(/^(ab)\1|^(abc)\2/);
-
-partial.test("abca"); // false — but "abca" is a valid prefix of "abcabc" via the second branch
-```
-
-See [docs/backreferences.md](./docs/backreferences.md) for why this happens (the internal capture scan resolving the wrong alternative first).
-
 ## 💡 Examples
 
 ### Form Validation
@@ -352,6 +364,63 @@ When using `import 'regex-partial-match/extend'`, this method is added to `RegEx
 
 - A new `PartialMatchRegExp` that matches partial strings, created from the `RegExp` instance the method was called on.
 
+### `PartialMatchRegExp.prototype.features: ReadonlySet<RegexFeature>`
+
+Building the partial-match regex requires walking the entire source pattern once. As a side effect of that same walk, each instance records which syntactic constructs its pattern actually uses, exposed as a `features` set — no separate scan of the source is performed to produce it.
+
+This is useful for consumers building on top of `PartialMatchRegExp` who need to reason about which constructs a *specific* pattern uses, without writing their own regex parser to find out. Two concrete cases:
+
+- **Flagging patterns likely to hit one of the [caveats](#caveats) documented above.** For example, a pattern combining `backreference` with `lookbehind`, `negativeLookahead`, or `negativeLookbehind` is a candidate for the [atomic-backreference caveat](#backreferences); one combining `backreference` with `disjunction` is a candidate for the [prefix-ambiguous top-level alternation caveat](#prefix-ambiguous-top-level-alternation). A consumer accepting user-supplied patterns can surface a warning instead of letting the edge case surprise someone later.
+- **Restricting which constructs a product surface allows.** e.g. a system that only wants to accept "simple" patterns (no lookaround, no backreferences) from untrusted input can check `features` against an allow-list and reject the rest, without needing to hand-roll that check against the raw pattern source.
+
+```javascript
+import PartialMatchRegExp from "regex-partial-match";
+
+const partial = new PartialMatchRegExp(/^[a-z]+(?<domain>\.[a-z]+)\1/);
+
+partial.features; // Set { "startAnchor", "characterClass", "quantifier", "namedGroup", "capturingGroup", "backreference" }
+partial.features.has("backreference"); // true
+```
+
+`RegexFeature` is a string union, exported alongside `PartialMatchRegExp`:
+
+| Feature                    | Matches                                                | Notes                                                                          |
+| --------------------------- | ------------------------------------------------------- | ------------------------------------------------------------------------------- |
+| `patternCharacter`          | An ordinary literal character                          |                                                                                 |
+| `startAnchor`                | Top-level `^`                                           |                                                                                 |
+| `endAnchor`                  | Top-level `$`                                           |                                                                                 |
+| `wordBoundary`               | Top-level `\b`                                          |                                                                                 |
+| `nonWordBoundary`            | Top-level `\B`                                          |                                                                                 |
+| `lookahead`                  | `(?=...)`                                               |                                                                                 |
+| `negativeLookahead`          | `(?!...)`                                               |                                                                                 |
+| `lookbehind`                 | `(?<=...)`                                              |                                                                                 |
+| `negativeLookbehind`         | `(?<!...)`                                              |                                                                                 |
+| `backreference`              | `\1`                                                     |                                                                                 |
+| `namedBackreference`         | `\k<name>`                                              |                                                                                 |
+| `namedGroup`                 | `(?<name>...)`                                          | Always accompanied by `capturingGroup` — see below                            |
+| `capturingGroup`             | `(...)`, including named groups                        |                                                                                 |
+| `nonCapturingGroup`          | `(?:...)`                                               |                                                                                 |
+| `modifierGroup`              | `(?ims:...)`                                            |                                                                                 |
+| `modifierGroupWithRemoval`   | `(?ims-ims:...)`                                        | Mutually exclusive with `modifierGroup`                                       |
+| `characterClass`             | `[...]`                                                 |                                                                                 |
+| `nestedCharacterClass`       | `[...[...]...]`                                         | `v` flag only                                                                  |
+| `classIntersection`          | `&&` inside a character class                          | `v` flag only                                                                  |
+| `classSubtraction`           | `--` inside a character class                          | `v` flag only                                                                  |
+| `disjunction`                | `\|`                                                    |                                                                                 |
+| `quantifier`                 | `*`, `+`, `?`, `{n}`, `{n,}`, `{n,m}`                    |                                                                                 |
+| `unicodePropertyEscape`      | `\p{...}`, `\P{...}`                                    | `u`/`v` flag only — otherwise tagged `otherEscape`                            |
+| `characterClassEscape`       | `\d`, `\D`, `\w`, `\W`, `\s`, `\S`                       |                                                                                 |
+| `controlEscape`               | `\f`, `\n`, `\r`, `\t`, `\v`                             |                                                                                 |
+| `controlLetterEscape`        | `\cX`                                                   |                                                                                 |
+| `hexEscapeSequence`          | `\xXX`                                                  |                                                                                 |
+| `unicodeEscapeSequence`      | `\uXXXX`, `\u{...}`                                     |                                                                                 |
+| `otherEscape`                 | Any other `\X`, e.g. `\.`, `\0`                         |                                                                                 |
+
+Two things worth knowing about how these tags line up with the grammar:
+
+- **One ECMA-262 production can map to several tags.** `Assertion` alone covers `^`, `$`, `\b`, `\B`, and all four lookarounds — `features` splits it by whichever discriminant is easiest to read off during the walk (`^` vs `$`, `=` vs `!` after `(?<`, etc.), since that information is free at the point each construct is recognised.
+- **A named capturing group always carries both `namedGroup` and `capturingGroup`.** The grammar treats a capturing group with a name and one without as the same production (`( GroupSpecifier? Disjunction )`), not two, so both tags are added together.
+
 ## 📜 License
 
 ISC License - see [LICENSE](./LICENSE) file for details.

package/lib/compilePartial.d.ts

@@ -1,13 +1,16 @@
+export type RegexFeature = "patternCharacter" | "startAnchor" | "endAnchor" | "wordBoundary" | "nonWordBoundary" | "lookahead" | "negativeLookahead" | "lookbehind" | "negativeLookbehind" | "backreference" | "namedBackreference" | "namedGroup" | "capturingGroup" | "nonCapturingGroup" | "modifierGroup" | "modifierGroupWithRemoval" | "characterClass" | "nestedCharacterClass" | "classIntersection" | "classSubtraction" | "disjunction" | "quantifier" | "unicodePropertyEscape" | "characterClassEscape" | "controlEscape" | "controlLetterEscape" | "hexEscapeSequence" | "unicodeEscapeSequence" | "otherEscape";
 export interface DynamicPath {
     originalCaptureScan: RegExp;
     preScan: RegExp;
     expand: (capture: RegExpExecArray) => string;
 }
-export type CompiledPartial = {
+export type CompiledPartial = ({
     kind: "static";
     regex: RegExp;
 } | {
     kind: "dynamic";
     dynamic: DynamicPath;
+}) & {
+    features: Set<RegexFeature>;
 };
 export declare const compilePartial: (regex: RegExp) => CompiledPartial;

package/lib/compilePartial.js

@@ -1,8 +1,8 @@
 import escapeAtom from "./escapeAtom.js";
 const OCCURRENCES_REGEX = /\{\d+,?\d*\}/y;
 const NOT_NUMBERS_REGEX = /\D/g;
-const ALTERNATION_TO_END_OF_INPUT = "|$(?![\\s\\S]))";
-const MAYBE_HAS_BACKREFERENCE = /\\[1-9]|\\k</;
+const MAYBE_HAS_BACKREFERENCE_REGEX = /\\[1-9]|\\k</;
+const DISJUNCTION_TO_END_OF_INPUT = "|$(?![\\s\\S]))";
 const isBackreference = (part) => typeof part !== "string";
 const isNumericBackreference = (part) => isBackreference(part) && typeof part.ref === "number";
 function walk(regex) {
@@ -10,6 +10,7 @@ function walk(regex) {
     const isUnicode = regex.unicode || regex.unicodeSets;
     let i = 0;
     let groupCount = 0;
+    const features = new Set();
     function extractSlice(length) {
         return source.slice(i, (i += length));
     }
@@ -17,7 +18,7 @@ function walk(regex) {
         var _a;
         const result = [];
         function appendOptional(length) {
-            result.push("(?:" + extractSlice(length) + ALTERNATION_TO_END_OF_INPUT);
+            result.push("(?:" + extractSlice(length) + DISJUNCTION_TO_END_OF_INPUT);
         }
         function appendRaw(length) {
             result.push(extractSlice(length));
@@ -33,6 +34,7 @@ function walk(regex) {
                 case "\\":
                     switch (source[i + 1]) {
                         case "c":
+                            features.add("controlLetterEscape");
                             appendOptional(3);
                             break;
                         case "k": {
@@ -41,6 +43,7 @@ function walk(regex) {
                                 appendOptional(2);
                             }
                             else {
+                                features.add("namedBackreference");
                                 const start = i;
                                 const ref = source.slice(i + 3, referenceEnd);
                                 i = referenceEnd + 1;
@@ -49,6 +52,7 @@ function walk(regex) {
                             break;
                         }
                         case "u":
+                            features.add("unicodeEscapeSequence");
                             if (isUnicode && source[i + 2] === "{") {
                                 appendOptional(source.indexOf("}", i) - i + 1);
                             }
@@ -59,6 +63,7 @@ function walk(regex) {
                         case "p":
                         case "P":
                             if (isUnicode) {
+                                features.add("unicodePropertyEscape");
                                 appendOptional(source.indexOf("}", i) - i + 1);
                             }
                             else {
@@ -66,8 +71,25 @@ function walk(regex) {
                             }
                             break;
                         case "x":
+                            features.add("hexEscapeSequence");
                             appendOptional(4);
                             break;
+                        case "b":
+                            features.add("wordBoundary");
+                            appendOptional(2);
+                            break;
+                        case "B":
+                            features.add("nonWordBoundary");
+                            appendOptional(2);
+                            break;
+                        case "f":
+                        case "n":
+                        case "r":
+                        case "t":
+                        case "v":
+                            features.add("controlEscape");
+                            appendOptional(2);
+                            break;
                         case "1":
                         case "2":
                         case "3":
@@ -77,6 +99,7 @@ function walk(regex) {
                         case "7":
                         case "8":
                         case "9": {
+                            features.add("backreference");
                             NOT_NUMBERS_REGEX.lastIndex = i + 1;
                             const nextNonDigit = NOT_NUMBERS_REGEX.exec(source);
                             const start = i;
@@ -86,43 +109,80 @@ function walk(regex) {
                             result.push({ ref, start, end });
                             break;
                         }
+                        case "d":
+                        case "D":
+                        case "w":
+                        case "W":
+                        case "s":
+                        case "S":
+                            features.add("characterClassEscape");
+                            appendOptional(2);
+                            break;
                         default:
+                            features.add("otherEscape");
                             appendOptional(2);
                             break;
                     }
                     break;
                 case "[": {
-                    let depth = 1, j = i + 1;
+                    features.add("characterClass");
+                    let depth = 1, j = i + 1, previousSetOperatorCharacter;
                     while (depth) {
-                        switch (source[j]) {
+                        const character = source[j];
+                        switch (character) {
                             case "\\":
                                 j += 2;
+                                previousSetOperatorCharacter = undefined;
                                 continue;
                             case "[":
-                                if (regex.unicodeSets)
+                                if (regex.unicodeSets) {
+                                    features.add("nestedCharacterClass");
                                     depth++;
+                                }
                                 break;
                             case "]":
                                 depth--;
                                 break;
+                            case "&":
+                                if (regex.unicodeSets && previousSetOperatorCharacter === "&") {
+                                    features.add("classIntersection");
+                                }
+                                break;
+                            case "-":
+                                if (regex.unicodeSets && previousSetOperatorCharacter === "-") {
+                                    features.add("classSubtraction");
+                                }
+                                break;
                         }
+                        previousSetOperatorCharacter = character;
                         j++;
                     }
                     appendOptional(j - i);
                     break;
                 }
-                case "|":
                 case "^":
+                    features.add("startAnchor");
+                    appendRaw(1);
+                    break;
+                case "$":
+                    features.add("endAnchor");
+                    appendRaw(1);
+                    break;
+                case "|":
+                    features.add("disjunction");
+                    appendRaw(1);
+                    break;
                 case "*":
                 case "+":
                 case "?":
-                case "$":
+                    features.add("quantifier");
                     appendRaw(1);
                     break;
                 case "{": {
                     OCCURRENCES_REGEX.lastIndex = i;
                     const regExpExecArray = OCCURRENCES_REGEX.exec(source);
                     if (regExpExecArray) {
+                        features.add("quantifier");
                         appendRaw(regExpExecArray[0].length);
                     }
                     else {
@@ -134,11 +194,13 @@ function walk(regex) {
                     if (source[i + 1] == "?") {
                         switch (source[i + 2]) {
                             case ":":
+                                features.add("nonCapturingGroup");
                                 result.push("(?:");
                                 i += 3;
-                                result.push(...process(), ALTERNATION_TO_END_OF_INPUT);
+                                result.push(...process(), DISJUNCTION_TO_END_OF_INPUT);
                                 break;
                             case "=":
+                                features.add("lookahead");
                                 result.push("(?=");
                                 i += 3;
                                 result.push(...process(), ")");
@@ -148,46 +210,59 @@ function walk(regex) {
                             case "s":
                             case "m": {
                                 const flagsStart = i + 2, colonIndex = source.indexOf(":", flagsStart);
-                                result.push("(?" + source.slice(flagsStart, colonIndex) + ":");
+                                const modifiers = source.slice(flagsStart, colonIndex);
+                                features.add(modifiers.includes("-")
+                                    ? "modifierGroupWithRemoval"
+                                    : "modifierGroup");
+                                result.push("(?" + modifiers + ":");
                                 i = colonIndex + 1;
                                 result.push(...process(), ")");
                                 break;
                             }
                             case "!":
+                                features.add("negativeLookahead");
                                 appendRawGroup(3);
                                 break;
                             case "<":
                                 switch (source[i + 3]) {
                                     case "=":
+                                        features.add("lookbehind");
+                                        appendRawGroup(4);
+                                        break;
                                     case "!":
+                                        features.add("negativeLookbehind");
                                         appendRawGroup(4);
                                         break;
                                     default:
+                                        features.add("namedGroup");
+                                        features.add("capturingGroup");
                                         ++groupCount;
                                         appendRaw(source.indexOf(">", i) - i + 1);
-                                        result.push(...process(), ALTERNATION_TO_END_OF_INPUT);
+                                        result.push(...process(), DISJUNCTION_TO_END_OF_INPUT);
                                         break;
                                 }
                                 break;
                         }
                     }
                     else {
+                        features.add("capturingGroup");
                         ++groupCount;
                         appendRaw(1);
-                        result.push(...process(), ALTERNATION_TO_END_OF_INPUT);
+                        result.push(...process(), DISJUNCTION_TO_END_OF_INPUT);
                     }
                     break;
                 case ")":
                     ++i;
                     return result;
                 default:
+                    features.add("patternCharacter");
                     appendOptional(isUnicode && ((_a = source.codePointAt(i)) !== null && _a !== void 0 ? _a : 0) > 0xffff ? 2 : 1);
                     break;
             }
         }
         return result;
     }
-    return { parts: process(), groupCount };
+    return { parts: process(), groupCount, features };
 }
 function render(parts, renderBackref) {
     return parts
@@ -201,7 +276,7 @@ function backrefToken(backref) {
 }
 function reclassifyOctalEscapes(parts, source, groupCount) {
     return parts.map((part) => isNumericBackreference(part) && part.ref > groupCount
-        ? "(?:" + source.slice(part.start, part.end) + ALTERNATION_TO_END_OF_INPUT
+        ? "(?:" + source.slice(part.start, part.end) + DISJUNCTION_TO_END_OF_INPUT
         : part);
 }
 function spliceOriginalSource(source, backrefs) {
@@ -215,30 +290,33 @@ function spliceOriginalSource(source, backrefs) {
 }
 function expandCaptured(value, isUnicode) {
     return (isUnicode ? Array.from(value) : value.split(""))
-        .map((atom) => "(?:" + escapeAtom(atom) + ALTERNATION_TO_END_OF_INPUT)
+        .map((atom) => "(?:" + escapeAtom(atom) + DISJUNCTION_TO_END_OF_INPUT)
         .join("");
 }
 export const compilePartial = (regex) => {
-    const { parts, groupCount } = walk(regex);
-    if (!MAYBE_HAS_BACKREFERENCE.test(regex.source)) {
+    const { parts, groupCount, features } = walk(regex);
+    if (!MAYBE_HAS_BACKREFERENCE_REGEX.test(regex.source)) {
         return {
             kind: "static",
-            regex: new RegExp(render(parts, backrefToken), regex.flags)
+            regex: new RegExp(render(parts, backrefToken), regex.flags),
+            features
         };
     }
     const isUnicode = regex.unicode || regex.unicodeSets;
-    const sanitizedParts = isUnicode
+    const sanitisedParts = isUnicode
         ? parts
         : reclassifyOctalEscapes(parts, regex.source, groupCount);
-    const backreferences = sanitizedParts.filter(isBackreference);
+    const backreferences = sanitisedParts.filter(isBackreference);
     if (backreferences.length === 0) {
         return {
             kind: "static",
-            regex: new RegExp(render(sanitizedParts, backrefToken), regex.flags)
+            regex: new RegExp(render(sanitisedParts, backrefToken), regex.flags),
+            features
         };
     }
     return {
         kind: "dynamic",
+        features,
         dynamic: {
             originalCaptureScan: new RegExp(spliceOriginalSource(regex.source, backreferences), regex.flags),
             preScan: new RegExp(render(parts, () => "(?:[\\s\\S]*?)"), regex.flags),
@@ -248,7 +326,7 @@ export const compilePartial = (regex) => {
                     ? capture[backref.ref]
                     : (_a = capture.groups) === null || _a === void 0 ? void 0 : _a[backref.ref];
                 return captured === undefined
-                    ? "(?:" + backrefToken(backref) + ALTERNATION_TO_END_OF_INPUT
+                    ? "(?:" + backrefToken(backref) + DISJUNCTION_TO_END_OF_INPUT
                     : expandCaptured(captured, isUnicode);
             })
         }

package/lib/partialMatchRegExp.d.ts

@@ -1,3 +1,5 @@
+import { type RegexFeature } from "./compilePartial.ts";
+export type { RegexFeature };
 /**
  * A `RegExp` subclass that supports partial (prefix) matching.
  *
@@ -26,6 +28,7 @@
  */
 declare class PartialMatchRegExp extends RegExp {
     #private;
+    readonly features: ReadonlySet<RegexFeature>;
     constructor(pattern: RegExp | string, flags?: string);
     exec(input: string): RegExpExecArray | null;
 }

package/lib/partialMatchRegExp.js

@@ -9,7 +9,7 @@ var __classPrivateFieldGet = (this && this.__classPrivateFieldGet) || function (
     if (typeof state === "function" ? receiver !== state || !f : !state.has(receiver)) throw new TypeError("Cannot read private member from an object whose class did not declare it");
     return kind === "m" ? f : kind === "a" ? f.call(receiver) : f ? f.value : state.get(receiver);
 };
-var _PartialMatchRegExp_static, _PartialMatchRegExp_dynamic;
+var _PartialMatchRegExp_instances, _PartialMatchRegExp_compiledPartial, _PartialMatchRegExp_execDynamic;
 import { compilePartial } from "./compilePartial.js";
 /**
  * A `RegExp` subclass that supports partial (prefix) matching.
@@ -39,47 +39,56 @@ import { compilePartial } from "./compilePartial.js";
  */
 class PartialMatchRegExp extends RegExp {
     constructor(pattern, flags) {
-        var _a, _b;
         super(pattern, flags);
-        _PartialMatchRegExp_static.set(this, void 0);
-        _PartialMatchRegExp_dynamic.set(this, void 0);
-        const compiled = compilePartial(this);
-        _a = this, _b = this, [({ set value(_c) { __classPrivateFieldSet(_a, _PartialMatchRegExp_dynamic, _c, "f"); } }).value, ({ set value(_c) { __classPrivateFieldSet(_b, _PartialMatchRegExp_static, _c, "f"); } }).value] = compiled.kind === "dynamic"
-            ? [compiled.dynamic, null]
-            : [null, compiled.regex];
+        _PartialMatchRegExp_instances.add(this);
+        _PartialMatchRegExp_compiledPartial.set(this, void 0);
+        __classPrivateFieldSet(this, _PartialMatchRegExp_compiledPartial, compilePartial(this), "f");
+        this.features = __classPrivateFieldGet(this, _PartialMatchRegExp_compiledPartial, "f").features;
     }
     exec(input) {
-        if (!__classPrivateFieldGet(this, _PartialMatchRegExp_dynamic, "f")) {
-            const partial = __classPrivateFieldGet(this, _PartialMatchRegExp_static, "f"); // eslint-disable-line @typescript-eslint/no-non-null-assertion -- #static is set whenever #dynamic is null
-            partial.lastIndex = this.lastIndex;
-            const match = partial.exec(input);
-            this.lastIndex = partial.lastIndex;
-            return match;
-        }
-        const start = this.lastIndex;
-        const originalMatch = super.exec(input);
-        if (originalMatch)
-            return originalMatch;
-        const { originalCaptureScan, preScan, expand } = __classPrivateFieldGet(this, _PartialMatchRegExp_dynamic, "f");
-        originalCaptureScan.lastIndex = start;
-        let capture = originalCaptureScan.exec(input);
-        if (capture === null) {
-            preScan.lastIndex = start;
-            capture = preScan.exec(input);
-        }
-        if (capture === null)
-            return null;
-        const expanded = new RegExp(expand(capture), this.flags);
-        expanded.lastIndex = start;
-        const match = expanded.exec(input);
-        if (match === null)
-            return null;
-        preferLongerCaptures(match, capture);
-        this.lastIndex = expanded.lastIndex;
+        const compiled = __classPrivateFieldGet(this, _PartialMatchRegExp_compiledPartial, "f");
+        if (compiled.kind === "dynamic")
+            return __classPrivateFieldGet(this, _PartialMatchRegExp_instances, "m", _PartialMatchRegExp_execDynamic).call(this, compiled.dynamic, input);
+        const { regex } = compiled;
+        const match = execFrom(regex, input, this.lastIndex);
+        this.lastIndex = regex.lastIndex;
         return match;
     }
 }
-_PartialMatchRegExp_static = new WeakMap(), _PartialMatchRegExp_dynamic = new WeakMap();
+_PartialMatchRegExp_compiledPartial = new WeakMap(), _PartialMatchRegExp_instances = new WeakSet(), _PartialMatchRegExp_execDynamic = function _PartialMatchRegExp_execDynamic(dynamic, input) {
+    var _a, _b;
+    const { originalCaptureScan, preScan, expand } = dynamic;
+    const honoursLastIndex = this.global || this.sticky;
+    const start = honoursLastIndex ? this.lastIndex : 0;
+    const originalMatch = super.exec(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 = (_b = (_a = execFrom(originalCaptureScan, input, start)) !== null && _a !== void 0 ? _a : preScanMatch) !== null && _b !== void 0 ? _b : execFrom(preScan, input, start);
+    if (capture === null)
+        return originalMatch;
+    const expanded = new RegExp(expand(capture), this.flags);
+    const match = execFrom(expanded, input, start);
+    if (match === null || isAtOrBefore(originalMatch, match.index))
+        return originalMatch;
+    preferLongerCaptures(match, capture);
+    if (honoursLastIndex)
+        this.lastIndex = expanded.lastIndex;
+    return match;
+};
+function execFrom(regex, input, start) {
+    regex.lastIndex = start;
+    return regex.exec(input);
+}
+function isAtOrBefore(match, index) {
+    return match !== null && match.index <= index;
+}
 function pickLonger(scanned, matched) {
     return scanned !== undefined &&
         matched !== undefined &&

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "regex-partial-match",
-  "version": "1.0.0",
+  "version": "1.1.1",
   "description": "A regular expression transform for partial matching",
   "devEngines": {
     "runtime": {