m{ \A (.+?) \1* (.*) (?(?{ 0 != index $1, $2 }) (*FAIL)) \z }xmsg;

##</code><code>##

use warnings;
use strict;


use Test::More 'no_plan';
use Test::NoWarnings;


my @vectors_1 = (
  [ 'abcdabc'                    => 'abcd',         'abc' ],
  [ 'abcdab'                     => 'abcd',         'ab'  ],
  [ 'abcda'                      => 'abcd',         'a'   ],
  [ 'abcd'                       => 'abcd',         ''    ],
  [ 'abcdabcdabcdabcdabc'        => 'abcd',         'abc' ],
  [ 'abcdabcdabcdabcdab'         => 'abcd',         'ab'  ],
  [ 'abcdabcdabcdabcda'          => 'abcd',         'a'   ],
  [ 'abcdabcdabcdabcd'           => 'abcd',         ''    ],
  [ 'abcdabcdabceabcdabcdabceabcdabcdabc' =>
      'abcdabcdabce', 'abcdabcdabc'  ],
  [ 'abcdabcdabceabcdabcdabceab' => 'abcdabcdabce', 'ab'  ],
  [ 'abcdabcdabceabcdabcdabce'   => 'abcdabcdabce', ''    ],
  [ 'aaaabaaaabaaaaabaaaab'      => 'aaaabaaaaba', 'aaaabaaaab' ],
  [ 'aaaabaaaabaaaaabaaaabaaaaabaaaab' =>
      'aaaabaaaaba', 'aaaabaaaab' ],
  [ 'aaaabaaaabaaaaabaaaabaaaaabaaaabaaaaabaaaab' =>
      'aaaabaaaaba', 'aaaabaaaab' ],
  );


for my $ar_vector (@vectors_1) {

    my ($string, $expect_rep, $expect_part) = @$ar_vector;

    my ($rep, $part) = $string =~ m{
        \A
        (.+?) \1*  (.*)  (?(?{ 0 != index $1, $2 }) (*FAIL))
        \z
        }xmsg;

    is $rep,  $expect_rep,  qq{rptd '$string' -> '$expect_rep'};
    is $part, $expect_part, qq{part '$string' -> '$expect_part'};

    }


note "\n\n\n\n";

my @vectors_2 = (
    [ 'a',               [1 .. 4], ],
    [ 'ab',              [1 .. 4], ],
    [ 'abc',             [1 .. 4], ],
    [ 'aba',             [2 .. 4], ],  # note: (aba) looks like (ab)a
    [ 'aab',             [1 .. 4], ],
    [ 'abcd',            [1 .. 4], ],
    [ 'abac',            [1 .. 4], ],
    [ 'aaab',            [1 .. 4], ],
    [ 'abcdabcdabce',    [1 .. 2], ],
    [ 'aaaabaaaaba',     [2 .. 3], ],  # (aaaabaaaaba) looks like (aaaab)(aaaab)a
    );


VECTORS_2:
for my $ar_vector (@vectors_2) {

    my ($base, $ar_reps) = @$ar_vector;

    REPS:
    for my $reps (@$ar_reps) {

        my $repeated = $base x $reps;

        PARTS:
        for my $part (0 .. length($base) - 1) {

            my $partial = substr $base, 0, $part;

            my $string = $repeated . $partial;

            my ($rep, $part) = $string =~ m{
                \A
                (.+?) \1*  (.*)  (?(?{ 0 != index $1, $2 }) (*FAIL))
                \z
                }xmsg;

            is $rep,  $base,    qq{repeat  '$string' -> '$base'};
            is $part, $partial, qq{partial '$string' -> '$partial'};

            }  # end for PARTS

        }  # end for REPS

    }  # end for VECTORS_2