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-04-001-bre-pattern",
      "replacement_block": null,
      "command_block": "RGX-04-001-bre-command",
      "program_block": "RGX-04-001-bre-run",
      "note": "Optional u is u\\{0,1\\}; digit counts use \\{2,3\\}."
    },
    {
      "key": "ere",
      "label": "grep -E / ERE",
      "tool": "grep",
      "engine": "grep ERE (GNU/BSD -Eo)",
      "pattern_block": "RGX-04-001-ere-pattern",
      "replacement_block": null,
      "command_block": "RGX-04-001-ere-command",
      "program_block": "RGX-04-001-ere-run",
      "note": "Optional u is u?; digit counts use {2,3}."
    },
    {
      "key": "perl",
      "label": "Perl",
      "tool": "perl",
      "engine": "Perl regex",
      "pattern_block": "RGX-04-001-perl-pattern",
      "replacement_block": "RGX-04-001-perl-replacement",
      "command_block": "RGX-04-001-perl-command",
      "program_block": "RGX-04-001-perl-run",
      "note": "Perl uses the same ? and {2,3} spelling as ERE."
    },
    {
      "key": "sed",
      "label": "sed / BRE",
      "tool": "sed",
      "engine": "sed BRE",
      "pattern_block": "RGX-04-001-sed-pattern",
      "replacement_block": "RGX-04-001-sed-replacement",
      "command_block": "RGX-04-001-sed-command",
      "program_block": "RGX-04-001-sed-run",
      "note": "BRE counts stay escaped in default sed."
    },
    {
      "key": "emacs",
      "label": "Emacs",
      "tool": "emacs",
      "engine": "Emacs regex",
      "pattern_block": "RGX-04-001-emacs-pattern",
      "replacement_block": "RGX-04-001-emacs-replacement",
      "command_block": "RGX-04-001-emacs-command",
      "program_block": "RGX-04-001-emacs-run",
      "note": "Emacs uses u? but escapes the count braces."
    }
  ],
  "experiment": {
    "key": "change",
    "label": "Narrow the repetition bound",
    "tool": "grep",
    "engine": "grep ERE (GNU/BSD -o)",
    "pattern_block": "RGX-04-001-change-pattern",
    "replacement_block": null,
    "command_block": "RGX-04-001-change-command",
    "program_block": "RGX-04-001-change-run",
    "note": "Require exactly two digits instead of two or three. Records with three digits are excluded.",
    "goal": "Require exactly two digits instead of two or three. Records with three digits are excluded."
  },
  "aliases": [
    "RGX-04-002",
    "RGX-04-003",
    "RGX-04-004",
    "RGX-04-005",
    "RGX-04-006"
  ]
}
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/quantifiers.txt <<'RGX_INPUT'
color=12
colour=123
colouur=12
colour=1
color=1234
colour=99
RGX_INPUT
grep -o '^colou\{0,1\}r=[0-9]\{2,3\}$' data/quantifiers.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/quantifiers.txt <<'RGX_INPUT'
color=12
colour=123
colouur=12
colour=1
color=1234
colour=99
RGX_INPUT
grep -Eo '^colou?r=[0-9]{2,3}$' data/quantifiers.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/quantifiers.txt <<'RGX_INPUT'
color=12
colour=123
colouur=12
colour=1
color=1234
colour=99
RGX_INPUT
perl -pe '
s{^colou?r=[0-9]{2,3}$}{color=#}g;
' data/quantifiers.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/quantifiers.txt <<'RGX_INPUT'
color=12
colour=123
colouur=12
colour=1
color=1234
colour=99
RGX_INPUT
sed 's~^colou\{0,1\}r=[0-9]\{2,3\}$~color=#~g' data/quantifiers.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/quantifiers.txt <<'RGX_INPUT'
color=12
colour=123
colouur=12
colour=1
color=1234
colour=99
RGX_INPUT
cat > regexp.txt <<'RGX_REGEXP'
^colou?r=[0-9]\{2,3\}$
RGX_REGEXP
cat > replacement.txt <<'RGX_REPLACEMENT'
color=#
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/quantifiers.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/quantifiers.txt <<'RGX_INPUT'
color=12
colour=123
colouur=12
colour=1
color=1234
colour=99
RGX_INPUT
grep -Eo '^colou?r=[0-9]{2}$' data/quantifiers.txt
REGEX_PROGRAM_CHANGE
TMPDIR="$topic_work" python3 compare.py