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-23-001-bre-pattern",
      "replacement_block": null,
      "command_block": "RGX-23-001-bre-command",
      "program_block": "RGX-23-001-bre-run",
      "note": "Escaped count braces and groups; [.] keeps the separators literal."
    },
    {
      "key": "ere",
      "label": "grep -E / ERE",
      "tool": "grep",
      "engine": "grep ERE (GNU/BSD -Eo)",
      "pattern_block": "RGX-23-001-ere-pattern",
      "replacement_block": null,
      "command_block": "RGX-23-001-ere-command",
      "program_block": "RGX-23-001-ere-run",
      "note": "Anchors reject the existing ISO form. Digit counts do not validate dates."
    },
    {
      "key": "perl",
      "label": "Perl",
      "tool": "perl",
      "engine": "Perl regex",
      "pattern_block": "RGX-23-001-perl-pattern",
      "replacement_block": "RGX-23-001-perl-replacement",
      "command_block": "RGX-23-001-perl-command",
      "program_block": "RGX-23-001-perl-run",
      "note": "Use $3-$2-$1; capture values preserve the leading zeros."
    },
    {
      "key": "sed",
      "label": "sed / BRE",
      "tool": "sed",
      "engine": "sed BRE",
      "pattern_block": "RGX-23-001-sed-pattern",
      "replacement_block": "RGX-23-001-sed-replacement",
      "command_block": "RGX-23-001-sed-command",
      "program_block": "RGX-23-001-sed-run",
      "note": "Use \\3-\\2-\\1 in replacement; no date utility is invoked."
    },
    {
      "key": "emacs",
      "label": "Emacs",
      "tool": "emacs",
      "engine": "Emacs regex",
      "pattern_block": "RGX-23-001-emacs-pattern",
      "replacement_block": "RGX-23-001-emacs-replacement",
      "command_block": "RGX-23-001-emacs-command",
      "program_block": "RGX-23-001-emacs-run",
      "note": "The actual minibuffer fields use literal backslashes, without Lisp quotes."
    }
  ],
  "experiment": {
    "key": "change",
    "label": "Check month lengths and century leap years",
    "tool": "perl",
    "engine": "Perl regex",
    "pattern_block": "RGX-23-001-change-pattern",
    "replacement_block": null,
    "command_block": "RGX-23-001-change-command",
    "program_block": "RGX-23-001-change-run",
    "note": "After the format match, parse captures as decimal values. Require year >= 1, month 1–12 and day within that month. A leap year is divisible by 400, or divisible by 4 but not 100. Emit an ISO date only for valid dates. The 1900/2000 examples test the century rule explicitly.",
    "goal": "After the format match, parse captures as decimal values. Require year >= 1, month 1–12 and day within that month. A leap year is divisible by 400, or divisible by 4 but not 100. Emit an ISO date only for valid dates. The 1900/2000 examples test the century rule explicitly.",
    "kind": "semantic-check",
    "pattern_label": "Format regexp",
    "result_label": "Additional check result"
  },
  "aliases": [],
  "compact": true
}
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/dates.txt <<'RGX_INPUT'
01.11.2026
29.02.2024
29.02.2026
31.04.2026
29.02.1900
29.02.2000
00.13.2026
2026-11-01
RGX_INPUT
grep -o '^\([0-9]\{2\}\)[.]\([0-9]\{2\}\)[.]\([0-9]\{4\}\)$' data/dates.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/dates.txt <<'RGX_INPUT'
01.11.2026
29.02.2024
29.02.2026
31.04.2026
29.02.1900
29.02.2000
00.13.2026
2026-11-01
RGX_INPUT
grep -Eo '^([0-9]{2})[.]([0-9]{2})[.]([0-9]{4})$' data/dates.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/dates.txt <<'RGX_INPUT'
01.11.2026
29.02.2024
29.02.2026
31.04.2026
29.02.1900
29.02.2000
00.13.2026
2026-11-01
RGX_INPUT
perl -pe '
s{^([0-9]{2})[.]([0-9]{2})[.]([0-9]{4})$}{$3-$2-$1}g;
' data/dates.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/dates.txt <<'RGX_INPUT'
01.11.2026
29.02.2024
29.02.2026
31.04.2026
29.02.1900
29.02.2000
00.13.2026
2026-11-01
RGX_INPUT
sed 's~^\([0-9]\{2\}\)[.]\([0-9]\{2\}\)[.]\([0-9]\{4\}\)$~\3-\2-\1~g' data/dates.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/dates.txt <<'RGX_INPUT'
01.11.2026
29.02.2024
29.02.2026
31.04.2026
29.02.1900
29.02.2000
00.13.2026
2026-11-01
RGX_INPUT
cat > regexp.txt <<'RGX_REGEXP'
^\([0-9]\{2\}\)[.]\([0-9]\{2\}\)[.]\([0-9]\{4\}\)$
RGX_REGEXP
cat > replacement.txt <<'RGX_REPLACEMENT'
\3-\2-\1
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/dates.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/dates.txt <<'RGX_INPUT'
01.11.2026
29.02.2024
29.02.2026
31.04.2026
29.02.1900
29.02.2000
00.13.2026
2026-11-01
RGX_INPUT
perl -ne '
chomp;
my $input = $_;
if (m{^([0-9]{2})[.]([0-9]{2})[.]([0-9]{4})$}) {
  my ($day, $month, $year) = (0 + $1, 0 + $2, 0 + $3);
  my $leap = $year % 400 == 0 || ($year % 4 == 0 && $year % 100 != 0);
  my @days = (0, 31, 28 + $leap, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31);
  if ($year >= 1 && $month >= 1 && $month <= 12 && $day >= 1 && $day <= $days[$month]) {
    printf "calendar-ok\t%04d-%02d-%02d\n", $year, $month, $day;
  } else {
    printf "invalid-date\t%s\n", $input;
  }
} else {
  printf "outside-format\t%s\n", $input;
}
' data/dates.txt
REGEX_PROGRAM_CHANGE
TMPDIR="$topic_work" python3 compare.py