// Selected Test262 witnesses retain their upstream copyright and BSD license in THIRD_PARTY_NOTICES.md.
// Copyright 2022 Igalia S.L. All rights reserved.
// Copyright (C) 2017 the V8 project authors. All rights reserved.
// Copyright 2025 Mathias Bynens. All rights reserved.

export interface RegexWitness {
  readonly pattern: string;
  readonly flags: string;
  readonly hits: readonly string[];
  readonly misses: readonly string[];
  readonly rejectCandidates: boolean;
  readonly source: string;
}

const test262 = "https://github.com/tc39/test262/blob/main/test/built-ins/RegExp/";
const local = "JS-to-rg translation contract";

export const REGEX_TRANSLATION_CORPUS: readonly RegexWitness[] = [
  {
    pattern: "(?:([])\\1|b)",
    flags: "",
    hits: ["b"],
    misses: ["a"],
    rejectCandidates: true,
    source: local,
  },
  {
    pattern: "(?!a)[a-z]",
    flags: "",
    hits: ["b", "z"],
    misses: ["a", "A"],
    rejectCandidates: false,
    source: local,
  },
  {
    pattern: "(?=ab)a[bcd]",
    flags: "",
    hits: ["ab"],
    misses: ["ac", "ad"],
    rejectCandidates: false,
    source: local,
  },
  {
    pattern: "[a-z](?<=b)",
    flags: "",
    hits: ["b"],
    misses: ["a", "c"],
    rejectCandidates: false,
    source: local,
  },
  {
    pattern: "(?!ab)[a-z]{2}",
    flags: "",
    hits: ["ac", "ba"],
    misses: ["ab"],
    rejectCandidates: false,
    source: local,
  },
  {
    pattern: "[a-z]{2}(?<!ab)",
    flags: "",
    hits: ["ac", "ba"],
    misses: ["ab"],
    rejectCandidates: false,
    source: local,
  },
  {
    pattern: "(?i:(?!k)[a-z])",
    flags: "u",
    hits: ["a", "ſ"],
    misses: ["k", "K", "K"],
    rejectCandidates: false,
    source: local,
  },
  {
    pattern: "a\\b[ a]",
    flags: "",
    hits: ["a "],
    misses: ["aa"],
    rejectCandidates: true,
    source: local,
  },
  {
    pattern: "k\\b[\\w ]",
    flags: "iu",
    hits: ["k ", "K "],
    misses: ["kk", "Kk"],
    rejectCandidates: false,
    source: local,
  },
  {
    pattern: "(?m:[\\ra]^b)",
    flags: "",
    hits: ["\rb"],
    misses: ["ab"],
    rejectCandidates: false,
    source: local,
  },
  {
    pattern: "a^b",
    flags: "",
    hits: [],
    misses: ["ab", "a^b"],
    rejectCandidates: true,
    source: local,
  },
  {
    pattern: "(?=needle)",
    flags: "",
    hits: ["needle"],
    misses: ["haystack"],
    rejectCandidates: true,
    source: local,
  },
  {
    pattern: "(?<=needle)",
    flags: "",
    hits: ["needle"],
    misses: ["haystack"],
    rejectCandidates: true,
    source: local,
  },
  {
    pattern: "(?<=(a)\\1)",
    flags: "",
    hits: ["a", "ab"],
    misses: ["b"],
    rejectCandidates: true,
    source: local,
  },
  {
    pattern: "(?<=\\1(a))",
    flags: "",
    hits: ["aa"],
    misses: ["a", "ab"],
    rejectCandidates: true,
    source: local,
  },
  {
    pattern: "(cat|dog)\\1",
    flags: "",
    hits: ["catcat", "dogdog"],
    misses: ["catdog", "dogcat"],
    rejectCandidates: false,
    source: local,
  },
  {
    pattern: "(a|bc)\\1",
    flags: "",
    hits: ["aa", "bcbc"],
    misses: ["abc", "bca"],
    rejectCandidates: false,
    source: local,
  },
  {
    pattern: "(a{1,2})b\\1",
    flags: "",
    hits: ["aba", "aabaa"],
    misses: ["abb"],
    rejectCandidates: true,
    source: local,
  },
  {
    pattern: "(?i:([\\q{ks|ab}]))(?-i:\\1)",
    flags: "v",
    hits: ["KsKs", "abab"],
    misses: ["Ksks", "abAB"],
    rejectCandidates: false,
    source: local,
  },
  {
    pattern: "(a(?=b))b\\1",
    flags: "",
    hits: ["aba"],
    misses: ["abb"],
    rejectCandidates: false,
    source: local,
  },
  {
    pattern: "^(é|Σ|𐐀)$",
    flags: "iu",
    hits: ["É", "é", "ς", "σ", "Σ", "𐐨"],
    misses: ["e", "s", "a"],
    rejectCandidates: true,
    source: local,
  },
  {
    pattern: "^\\p{Letter}+$",
    flags: "u",
    hits: ["é", "Σ", "𐐀"],
    misses: ["123", "😀"],
    rejectCandidates: true,
    source: local,
  },
  {
    pattern: "^[\\p{Letter}--[a-z]]+$",
    flags: "v",
    hits: ["É", "Σ"],
    misses: ["abc", "123"],
    rejectCandidates: true,
    source: local,
  },
  {
    pattern: "^[^\\p{Letter}]$",
    flags: "v",
    hits: ["1", "😀"],
    // Malformed-byte widening may also admit non-ASCII letters as candidates.
    misses: ["a"],
    rejectCandidates: true,
    source: local,
  },
  {
    pattern: `^[\\q{prefix${"a".repeat(300)}suffix|prefix${"b".repeat(300)}suffix}]$`,
    flags: "v",
    hits: [`prefix${"a".repeat(300)}suffix`, `prefix${"b".repeat(300)}suffix`],
    misses: ["wrong", "prefixwrong", "wrongsuffix"],
    rejectCandidates: false,
    source: local,
  },
  {
    pattern: "(?:(?<x>a)|(?<x>b))\\k<x>",
    flags: "",
    hits: ["aa", "bb"],
    misses: ["abab", "cdef"],
    rejectCandidates: false,
    source: `${test262}named-groups/duplicate-names-exec.js`,
  },
  {
    pattern: "(?:(?:(?<x>a)|(?<x>b))\\k<x>){2}",
    flags: "",
    hits: ["aabb"],
    misses: ["abab"],
    rejectCandidates: false,
    source: `${test262}named-groups/duplicate-names-exec.js`,
  },
  {
    pattern: "^(?:(?<a>x)|(?<a>y)|z)\\k<a>$",
    flags: "",
    hits: ["xx", "z"],
    misses: ["zz"],
    rejectCandidates: false,
    source: `${test262}named-groups/duplicate-names-exec.js`,
  },
  {
    pattern: "^(?:(?<a>x)|(?<a>y)|z){2}\\k<a>$",
    flags: "",
    hits: ["xz", "yz"],
    misses: ["xzx", "yzy"],
    rejectCandidates: false,
    source: `${test262}named-groups/duplicate-names-exec.js`,
  },
  {
    pattern: "(.)(?<=(\\1\\1))",
    flags: "i",
    hits: ["abB"],
    misses: ["ab"],
    rejectCandidates: false,
    source: `${test262}lookBehind/back-references.js`,
  },
  {
    pattern: "(..)(?<=\\1\\1\\1)",
    flags: "",
    hits: ["fababab"],
    misses: ["fabxbab", "faxabab"],
    rejectCandidates: false,
    source: `${test262}lookBehind/back-references.js`,
  },
  {
    pattern: "(?<=(.))(\\w+)(?=\\1)",
    flags: "",
    hits: ["  'foo'  ", '  "foo"  '],
    misses: ['  .foo"  '],
    rejectCandidates: false,
    source: `${test262}lookBehind/back-references.js`,
  },
  {
    pattern: "(?<=ab(?=c)\\wd)\\w\\w",
    flags: "",
    hits: ["abcdef"],
    misses: [],
    rejectCandidates: false,
    source: `${test262}lookBehind/nested-lookaround.js`,
  },
  {
    pattern: "(?<=a(?=([bc]{2}(?<!a{2}))d)\\w{3})\\w\\w",
    flags: "",
    hits: ["abcdef"],
    misses: [],
    rejectCandidates: false,
    source: `${test262}lookBehind/nested-lookaround.js`,
  },
  {
    pattern: "(?<=a(?=([bc]{2}(?<!a*))d)\\w{3})\\w\\w",
    flags: "",
    hits: [],
    misses: ["abcdef"],
    rejectCandidates: false,
    source: `${test262}lookBehind/nested-lookaround.js`,
  },
  {
    pattern: "(?<!(^|[ab]))\\w{2}",
    flags: "",
    hits: ["abcdef"],
    misses: [],
    rejectCandidates: false,
    source: `${test262}lookBehind/captures-negative.js`,
  },
  {
    pattern: "^[[0-9]--\\p{ASCII_Hex_Digit}]+$",
    flags: "v",
    hits: [],
    misses: ["0", "9", "C", "☃", "𝌆", "🇧🇪"],
    rejectCandidates: true,
    source: `${test262}unicodeSets/generated/character-class-difference-character-property-escape.js`,
  },
  {
    pattern: "^[[0-9]&&[0-9]]+$",
    flags: "v",
    hits: ["0", "9"],
    misses: ["6\uFE0F\u20E3", "C", "☃", "𝌆", "🇧🇪"],
    rejectCandidates: true,
    source: `${test262}unicodeSets/generated/character-class-intersection-character-class.js`,
  },
];