set -euo pipefail
export LC_ALL=C
topic_work=$(mktemp -d "${TMPDIR:-/tmp}/regex-topic.XXXXXX")
trap 'rm -rf -- "$topic_work"' EXIT
cd "$topic_work"
cat > topic.json <<'REGEX_TOPIC_SPEC'
{
  "variants": [
    {
      "key": "bre",
      "label": "Plain / BRE (grep)",
      "tool": "grep",
      "engine": "grep BRE (POSIX patterns; GNU/BSD -o)",
      "pattern_block": "RGX-15-001-bre-pattern",
      "replacement_block": null,
      "command_block": "RGX-15-001-bre-command",
      "program_block": "RGX-15-001-bre-run",
      "note": "BRE escapes the groups, + and ? repetitions, and count braces."
    },
    {
      "key": "ere",
      "label": "grep -E / ERE",
      "tool": "grep",
      "engine": "grep ERE (GNU/BSD -Eo)",
      "pattern_block": "RGX-15-001-ere-pattern",
      "replacement_block": null,
      "command_block": "RGX-15-001-ere-command",
      "program_block": "RGX-15-001-ere-run",
      "note": "Group 1 is the local part; group 3 is the full domain."
    },
    {
      "key": "perl",
      "label": "Perl",
      "tool": "perl",
      "engine": "Perl regex",
      "pattern_block": "RGX-15-001-perl-pattern",
      "replacement_block": "RGX-15-001-perl-replacement",
      "command_block": "RGX-15-001-perl-command",
      "program_block": "RGX-15-001-perl-run",
      "note": "Extract $1 and $3; leave unmatched records unchanged."
    },
    {
      "key": "sed",
      "label": "sed / BRE",
      "tool": "sed",
      "engine": "sed BRE",
      "pattern_block": "RGX-15-001-sed-pattern",
      "replacement_block": "RGX-15-001-sed-replacement",
      "command_block": "RGX-15-001-sed-command",
      "program_block": "RGX-15-001-sed-run",
      "note": "Default sed uses BRE groups and \\1 / \\3 in replacement."
    },
    {
      "key": "emacs",
      "label": "Emacs",
      "tool": "emacs",
      "engine": "Emacs regex",
      "pattern_block": "RGX-15-001-emacs-pattern",
      "replacement_block": "RGX-15-001-emacs-replacement",
      "command_block": "RGX-15-001-emacs-command",
      "program_block": "RGX-15-001-emacs-run",
      "note": "Enter \\1 and \\3 in the Emacs replacement field."
    }
  ],
  "experiment": {
    "key": "change",
    "label": "Try an over-permissive email shortcut",
    "tool": "perl",
    "engine": "Perl regex",
    "pattern_block": "RGX-15-001-change-pattern",
    "replacement_block": "RGX-15-001-change-replacement",
    "command_block": "RGX-15-001-change-command",
    "program_block": "RGX-15-001-change-run",
    "note": "Replacing the local/domain rules by non-space runs admits consecutive dots, a leading domain hyphen and a domain without a final dot. These are outside the declared email policy.",
    "goal": "Replacing the local/domain rules by non-space runs admits consecutive dots, a leading domain hyphen and a domain without a final dot. These are outside the declared email policy.",
    "kind": "change"
  },
  "aliases": [],
  "validation": true,
  "replacement_label": "Extracted fields · Perl, sed and Emacs"
}
REGEX_TOPIC_SPEC
cat > compare.py <<'REGEX_TOPIC_RUNNER'
#!/usr/bin/env python3
"""Capture the six source-owned programs for one regexp issue."""
import json
import os
from pathlib import Path
import signal
import subprocess
import sys


def capture(key):
    program = Path(key + '.sh')
    if not program.is_file() or program.is_symlink():
        raise ValueError('Missing regular comparison program: ' + key)
    with subprocess.Popen(['bash', '--noprofile', '--norc', str(program)],
                          stdin=subprocess.DEVNULL, stdout=subprocess.PIPE,
                          stderr=subprocess.PIPE, text=True, start_new_session=True) as process:
        try:
            stdout, stderr = process.communicate(timeout=20)
        except subprocess.TimeoutExpired:
            os.killpg(process.pid, signal.SIGKILL)
            process.communicate()
            raise RuntimeError('Comparison program timed out: ' + key) from None
    return dict(key=key, stdout=stdout, stderr=stderr, exit=process.returncode)


def main():
    spec = json.loads(Path('topic.json').read_text())
    keys = [entry['key'] for entry in spec['variants']]
    if keys != ['bre', 'ere', 'perl', 'sed', 'emacs'] or spec['experiment']['key'] != 'change':
        raise ValueError('Expected five dialect views and one changed assumption.')
    result = dict(variants=[capture(key) for key in keys], experiment=capture('change'))
    print(json.dumps(result, ensure_ascii=False, indent=2, sort_keys=True))
    return int(any(run['exit'] != 0 for run in result['variants'] + [result['experiment']]))


if __name__ == '__main__':
    try:
        raise SystemExit(main())
    except (OSError, ValueError, RuntimeError) as error:
        raise SystemExit('Regex comparison: ' + str(error)) from None
REGEX_TOPIC_RUNNER
cat > bre.sh <<'REGEX_PROGRAM_BRE'
set -euo pipefail
export LC_ALL=C
regex_work=$(mktemp -d "${TMPDIR:-/tmp}/regex-example.XXXXXX")
trap 'rm -rf -- "$regex_work"' EXIT
cd "$regex_work"
mkdir data
cat > data/email.txt <<'RGX_INPUT'
ada@example.org
ada.lovelace+notes@research.example.org
team@lab-2.example.org
bad..dots@example.org
name@-example.org
name@example
missing-at.example.org
"quoted local"@example.org
RGX_INPUT
grep -o '^\([A-Za-z0-9_+%-]\{1,\}\([.][A-Za-z0-9_+%-]\{1,\}\)*\)@\(\([A-Za-z0-9]\([A-Za-z0-9-]*[A-Za-z0-9]\)\{0,1\}[.]\)\{1,\}[A-Za-z]\{2,\}\)$' data/email.txt
REGEX_PROGRAM_BRE
cat > ere.sh <<'REGEX_PROGRAM_ERE'
set -euo pipefail
export LC_ALL=C
regex_work=$(mktemp -d "${TMPDIR:-/tmp}/regex-example.XXXXXX")
trap 'rm -rf -- "$regex_work"' EXIT
cd "$regex_work"
mkdir data
cat > data/email.txt <<'RGX_INPUT'
ada@example.org
ada.lovelace+notes@research.example.org
team@lab-2.example.org
bad..dots@example.org
name@-example.org
name@example
missing-at.example.org
"quoted local"@example.org
RGX_INPUT
grep -Eo '^([A-Za-z0-9_+%-]+([.][A-Za-z0-9_+%-]+)*)@(([A-Za-z0-9]([A-Za-z0-9-]*[A-Za-z0-9])?[.])+[A-Za-z]{2,})$' data/email.txt
REGEX_PROGRAM_ERE
cat > perl.sh <<'REGEX_PROGRAM_PERL'
set -euo pipefail
export LC_ALL=C
regex_work=$(mktemp -d "${TMPDIR:-/tmp}/regex-example.XXXXXX")
trap 'rm -rf -- "$regex_work"' EXIT
cd "$regex_work"
mkdir data
cat > data/email.txt <<'RGX_INPUT'
ada@example.org
ada.lovelace+notes@research.example.org
team@lab-2.example.org
bad..dots@example.org
name@-example.org
name@example
missing-at.example.org
"quoted local"@example.org
RGX_INPUT
perl -pe '
s{^([A-Za-z0-9_+%-]+([.][A-Za-z0-9_+%-]+)*)@(([A-Za-z0-9]([A-Za-z0-9-]*[A-Za-z0-9])?[.])+[A-Za-z]{2,})$}{local=$1 domain=$3}g;
' data/email.txt
REGEX_PROGRAM_PERL
cat > sed.sh <<'REGEX_PROGRAM_SED'
set -euo pipefail
export LC_ALL=C
regex_work=$(mktemp -d "${TMPDIR:-/tmp}/regex-example.XXXXXX")
trap 'rm -rf -- "$regex_work"' EXIT
cd "$regex_work"
mkdir data
cat > data/email.txt <<'RGX_INPUT'
ada@example.org
ada.lovelace+notes@research.example.org
team@lab-2.example.org
bad..dots@example.org
name@-example.org
name@example
missing-at.example.org
"quoted local"@example.org
RGX_INPUT
sed 's~^\([A-Za-z0-9_+%-]\{1,\}\([.][A-Za-z0-9_+%-]\{1,\}\)*\)@\(\([A-Za-z0-9]\([A-Za-z0-9-]*[A-Za-z0-9]\)\{0,1\}[.]\)\{1,\}[A-Za-z]\{2,\}\)$~local=\1 domain=\3~g' data/email.txt
REGEX_PROGRAM_SED
cat > emacs.sh <<'REGEX_PROGRAM_EMACS'
set -euo pipefail
export LC_ALL=C
regex_work=$(mktemp -d "${TMPDIR:-/tmp}/regex-example.XXXXXX")
trap 'rm -rf -- "$regex_work"' EXIT
cd "$regex_work"
mkdir data
cat > data/email.txt <<'RGX_INPUT'
ada@example.org
ada.lovelace+notes@research.example.org
team@lab-2.example.org
bad..dots@example.org
name@-example.org
name@example
missing-at.example.org
"quoted local"@example.org
RGX_INPUT
cat > regexp.txt <<'RGX_REGEXP'
^\([A-Za-z0-9_+%-]+\([.][A-Za-z0-9_+%-]+\)*\)@\(\([A-Za-z0-9]\([A-Za-z0-9-]*[A-Za-z0-9]\)?[.]\)+[A-Za-z]\{2,\}\)$
RGX_REGEXP
cat > replacement.txt <<'RGX_REPLACEMENT'
local=\1 domain=\3
RGX_REPLACEMENT
cat > example.el <<'RGX_ELISP'
(defun tour-read-editor-field (file)
  "Read one LF-terminated editor field without interpreting its backslashes."
  (with-temp-buffer
    (insert-file-contents-literally file)
    (unless (eq (char-before (point-max)) ?\n)
      (error "Expected an LF-terminated editor field: %s" file))
    (buffer-substring-no-properties (point-min) (1- (point-max)))))
(with-temp-buffer
  (insert-file-contents "data/email.txt")
  (let ((case-fold-search nil)
        (case-replace nil)
        (replace-regexp-lax-whitespace nil)
        (inhibit-message t))
    (replace-regexp (tour-read-editor-field "regexp.txt")
                    (tour-read-editor-field "replacement.txt")
                    nil (point-min) (point-max)))
  (princ (buffer-string)))
RGX_ELISP
emacs --batch -Q --script example.el
REGEX_PROGRAM_EMACS
cat > change.sh <<'REGEX_PROGRAM_CHANGE'
set -euo pipefail
export LC_ALL=C
regex_work=$(mktemp -d "${TMPDIR:-/tmp}/regex-example.XXXXXX")
trap 'rm -rf -- "$regex_work"' EXIT
cd "$regex_work"
mkdir data
cat > data/email.txt <<'RGX_INPUT'
ada@example.org
ada.lovelace+notes@research.example.org
team@lab-2.example.org
bad..dots@example.org
name@-example.org
name@example
missing-at.example.org
"quoted local"@example.org
RGX_INPUT
perl -pe '
s{^([^[:space:]@]+)@([^[:space:]@]+)$}{local=$1 domain=$2}g;
' data/email.txt
REGEX_PROGRAM_CHANGE
TMPDIR="$topic_work" python3 compare.py