Fix configuration negotiation not to cycle due to existing dependent re-evaluation failure

5 files changed, 546 insertions, 65 deletions

diff --git a/bpkg/pkg-build-collect.cxx b/bpkg/pkg-build-collect.cxx
index 4ed8dc6..b3b50aa 100644
--- a/bpkg/pkg-build-collect.cxx
+++ b/bpkg/pkg-build-collect.cxx
@@ -120,7 +120,6 @@ namespace bpkg
              (selected->system () != system             ||
               selected->version != available_version () ||
               replace ()                                ||
-              (flags & build_recollect) != 0            ||
               (!system && (!config_vars.empty () || disfigure)))));
   }
 
@@ -675,6 +674,33 @@ namespace bpkg
   }
 
   bool postponed_configuration::
+  is_shadow_cluster (const postponed_configuration& c)
+  {
+    if (shadow_cluster.size () != c.dependents.size ())
+      return false;
+
+    for (auto& dt: c.dependents)
+    {
+      auto i (shadow_cluster.find (dt.first));
+      if (i == shadow_cluster.end ())
+        return false;
+
+      const positions& ps (i->second);
+
+      if (ps.size () != dt.second.dependencies.size ())
+        return false;
+
+      for (auto& d: dt.second.dependencies)
+      {
+        if (find (ps.begin (), ps.end (), d.position) == ps.end ())
+          return false;
+      }
+    }
+
+    return true;
+  }
+
+  bool postponed_configuration::
   contains_in_shadow_cluster (package_key dependent,
                               pair<size_t, size_t> pos) const
   {
@@ -1655,12 +1681,12 @@ namespace bpkg
             // given that the deviated dependents are not very common, we just
             // postpone their re-collection.
             //
-            collect_deviated_dependent (options,
-                                        ed,
-                                        pk,
-                                        replaced_vers,
-                                        postponed_recs,
-                                        postponed_cfgs);
+            recollect_existing_dependent (options,
+                                          ed,
+                                          true /* reconfigure */,
+                                          replaced_vers,
+                                          postponed_recs,
+                                          postponed_cfgs);
           }
 
           // Postpone the original dependency recursive collection if the
@@ -3443,12 +3469,11 @@ namespace bpkg
               //    currently re-evaluating (the negotiated member is absent
               //    but the depth is non-zero).
               //
-              // 3. Got added to an existing already-[being]-negotiated
-              //    cluster (which could potentially involve merging a bunch
-              //    of them, some negotiated, some being negotiated, and some
-              //    not yet negotiated). Perhaps just making the resulting
-              //    cluster shadow and rolling back, just like in the other
-              //    case (non-existing dependent), will do.
+              // 3. Got added to an existing already-negotiated cluster (which
+              //    could potentially involve merging a bunch of them, some
+              //    negotiated and some not yet negotiated). Perhaps just
+              //    making the resulting cluster shadow and rolling back, just
+              //    like in the other case (non-existing dependent), will do.
               //
               postponed_configuration& cfg (
                 postponed_cfgs.add (pk,
@@ -3459,17 +3484,54 @@ namespace bpkg
 
               if (cfg.negotiated) // Case (3).
               {
-                l5 ([&]{trace << "re-evaluating dependent "
-                              << pkg.available_name_version_db ()
-                              << " involves negotiated configurations and "
-                              << "results in " << cfg << ", throwing "
-                              << "merge_configuration";});
+                // Note that the closest cluster up on the stack is in the
+                // existing dependents re-evaluation phase and thus is not
+                // being negotiated yet. The following clusters up on the
+                // stack can only be in the (fully) negotiated state. Thus, if
+                // cfg.negotiated member is present it can only be true.
+                //
+                // Also as a side-note: at any given moment there can only be
+                // 0 or 1 cluster being negotiated (the negotiate member is
+                // false).
+                //
+                assert (*cfg.negotiated);
 
                 // Don't print the "while satisfying..." chain.
                 //
                 dep_chain.clear ();
 
-                throw merge_configuration {cfg.depth};
+                // There is just one complication:
+                //
+                // If the shadow cluster is already present and it is exactly
+                // the same as the resulting cluster which we are going to
+                // make a shadow, then we have already been here and we may
+                // start yo-yoing. To prevent that we will throw the
+                // merge_configuration_cycle exception instead of
+                // merge_configuration, so that the caller could handle this
+                // situation, for example, by just re-collecting the being
+                // re-evaluated existing dependent from scratch, reducing this
+                // case to the regular up-negotiating.
+                //
+                if (!cfg.is_shadow_cluster (cfg))
+                {
+                  l5 ([&]{trace << "re-evaluating dependent "
+                                << pkg.available_name_version_db ()
+                                << " involves negotiated configurations and "
+                                << "results in " << cfg << ", throwing "
+                                << "merge_configuration";});
+
+                  throw merge_configuration {cfg.depth};
+                }
+                else
+                {
+                  l5 ([&]{trace << "merge configuration cycle detected for "
+                                << "being re-evaluated dependent "
+                                << pkg.available_name_version_db ()
+                                << " since " << cfg << " is a shadow of itself"
+                                << ", throwing merge_configuration_cycle";});
+
+                  throw merge_configuration_cycle {cfg.depth};
+                }
               }
 
               l5 ([&]{trace << "re-evaluating dependent "
@@ -4747,6 +4809,12 @@ namespace bpkg
       postponed_configurations        postponed_cfgs_;
     };
 
+    struct recollect_dependent
+    {
+      size_t depth;
+      existing_dependent dependent;
+    };
+
     size_t depth (pcfg != nullptr ? pcfg->depth : 0);
 
     string t ("collect_build_postponed (" + to_string (depth) + ')');
@@ -4908,12 +4976,12 @@ namespace bpkg
               }
               else
               {
-                collect_deviated_dependent (o,
-                                            ed,
-                                            p,
-                                            replaced_vers,
-                                            postponed_recs,
-                                            postponed_cfgs);
+                recollect_existing_dependent (o,
+                                              ed,
+                                              true /* reconfigure */,
+                                              replaced_vers,
+                                              postponed_recs,
+                                              postponed_cfgs);
               }
             }
           }
@@ -4956,23 +5024,35 @@ namespace bpkg
               //
               assert (ed.dependency_position.first != 0);
 
-              build_package_refs dep_chain;
-              collect_build_prerequisites (o,
-                                           *b,
-                                           dep_chain,
-                                           fdb,
-                                           apc,
-                                           rpt_depts,
-                                           replaced_vers,
-                                           &postponed_repo,
-                                           &postponed_alts,
-                                           numeric_limits<size_t>::max (),
-                                           postponed_recs,
-                                           postponed_edeps,
-                                           postponed_deps,
-                                           postponed_cfgs,
-                                           unacceptable_alts,
-                                           ed.dependency_position);
+              try
+              {
+                build_package_refs dep_chain;
+                collect_build_prerequisites (o,
+                                             *b,
+                                             dep_chain,
+                                             fdb,
+                                             apc,
+                                             rpt_depts,
+                                             replaced_vers,
+                                             &postponed_repo,
+                                             &postponed_alts,
+                                             numeric_limits<size_t>::max (),
+                                             postponed_recs,
+                                             postponed_edeps,
+                                             postponed_deps,
+                                             postponed_cfgs,
+                                             unacceptable_alts,
+                                             ed.dependency_position);
+              }
+              catch (const merge_configuration_cycle& e)
+              {
+                l5 ([&]{trace << "re-evaluation of existing dependent "
+                              << b->available_name_version_db () << " failed "
+                              << "due to merge configuration cycle for "
+                              << *pcfg << ", throwing recollect_dependent";});
+
+                throw recollect_dependent {e.depth, move (ed)};
+              }
 
               ed.reevaluated = true;
             }
@@ -5670,6 +5750,53 @@ namespace bpkg
 
             pc->set_shadow_cluster (move (shadow));
           }
+          catch (const recollect_dependent& e)
+          {
+            // If this is not "our problem", then keep looking.
+            //
+            if (e.depth != pcd)
+              throw;
+
+            // Restore the state from snapshot.
+            //
+            // Note: postponed_cfgs is re-assigned.
+            //
+            s.restore (*this,
+                       postponed_repo,
+                       postponed_alts,
+                       postponed_recs,
+                       postponed_edeps,
+                       postponed_deps,
+                       postponed_cfgs);
+
+            pc = &postponed_cfgs[ci];
+
+            assert (!pc->negotiated);
+
+            // Drop any accumulated configuration (which could be carried
+            // over from retry_configuration logic).
+            //
+            pc->dependency_configurations.clear ();
+
+            // The shadow cluster likely contains the problematic
+            // dependent/dependencies. Thus, it feels right to drop the shadow
+            // before re-negotiating the cluster.
+            //
+            pc->shadow_cluster.clear ();
+
+            l5 ([&]{trace << "cfg-negotiation of " << *pc << " failed due "
+                          << "to merge configuration cycle while "
+                          << "re-evaluating existing dependent "
+                          << *e.dependent.selected << e.dependent.db
+                          << ", scheduling its re-collection";});
+
+            recollect_existing_dependent (o,
+                                          e.dependent,
+                                          false /* reconfigure */,
+                                          replaced_vers,
+                                          postponed_recs,
+                                          postponed_cfgs);
+          }
         }
       }
 
@@ -6597,13 +6724,16 @@ namespace bpkg
               pk = move (d.front ());
 
             r.push_back (
-              existing_dependent {ddb, move (dsp), move (pk), d.position, odp});
+              existing_dependent {ddb, move (dsp),
+                                  move (pk), d.position,
+                                  package_key {db, name}, odp});
           }
         }
         catch (const reeval_deviated&)
         {
           r.push_back (
-            existing_dependent {ddb, move (dsp), nullopt, {}, nullopt});
+            existing_dependent {
+              ddb, move (dsp), nullopt, {}, package_key {db, name}, nullopt});
         }
       }
     }
@@ -6724,17 +6854,22 @@ namespace bpkg
   }
 
   void build_packages::
-  collect_deviated_dependent (const pkg_build_options& o,
-                              const existing_dependent& ed,
-                              package_key orig_dep,
-                              replaced_versions& replaced_vers,
-                              postponed_packages& postponed_recs,
-                              postponed_configurations& postponed_cfgs)
+  recollect_existing_dependent (const pkg_build_options& o,
+                                const existing_dependent& ed,
+                                bool reconfigure,
+                                replaced_versions& replaced_vers,
+                                postponed_packages& postponed_recs,
+                                postponed_configurations& postponed_cfgs)
   {
     pair<shared_ptr<available_package>,
          lazy_shared_ptr<repository_fragment>> rp (
            find_available_fragment (o, ed.db, ed.selected));
 
+    uint16_t flags (build_package::build_recollect);
+
+    if (reconfigure)
+      flags |= build_package::adjust_reconfigure;
+
     build_package p {
       build_package::build,
       ed.db,
@@ -6756,9 +6891,9 @@ namespace bpkg
       nullopt,                    // Checkout root.
       false,                      // Checkout purge.
       strings (),                 // Configuration variables.
-      {move (orig_dep)},          // Required by (dependency).
+      {ed.orig_dependency},       // Required by (dependency).
       false,                      // Required by dependents.
-      build_package::build_recollect};
+      flags};
 
     // Note: not recursive.
     //
diff --git a/bpkg/pkg-build-collect.hxx b/bpkg/pkg-build-collect.hxx
index 8d34162..5b4db84 100644
--- a/bpkg/pkg-build-collect.hxx
+++ b/bpkg/pkg-build-collect.hxx
@@ -347,8 +347,8 @@ namespace bpkg
     //
     static const uint16_t build_reevaluate = 0x0008;
 
-    // Set if this build action is for recursive re-collecting of a deviated
-    // existing dependent.
+    // Set if this build action is for recursive re-collecting of an existing
+    // dependent due to deviation, detecting merge configuration cycle, etc.
     //
     static const uint16_t build_recollect = 0x0010;
 
@@ -931,6 +931,9 @@ namespace bpkg
     set_shadow_cluster (postponed_configuration&&);
 
     bool
+    is_shadow_cluster (const postponed_configuration&);
+
+    bool
     contains_in_shadow_cluster (package_key dependent,
                                 pair<size_t, size_t> pos) const;
 
@@ -1207,6 +1210,19 @@ namespace bpkg
     // be performed. See the collect lambda implementation for details on the
     // configuration refinement machinery.
     //
+    // If the reeval_pos argument is specified and is not {0,0}, then
+    // re-evaluate the package to the specified position. In this mode perform
+    // the regular dependency alternative selection and non-recursive
+    // dependency collection. When the specified position is reached, postpone
+    // the collection by recording the dependent together with the
+    // dependencies at that position in postponed_cfgs (see
+    // postponed_configurations for details). If the dependent/dependencies
+    // are added to an already negotiated cluster, then throw
+    // merge_configuration, similar to the regular collection mode (see
+    // above). Also check for the merge configuration cycles (see the function
+    // implementation for details) and throw the merge_configuration_cycle
+    // exception if such a cycle is detected.
+    //
     // If {0,0} is specified as the reeval_pos argument, then perform the
     // pre-reevaluation. In this read-only mode perform the regular dependency
     // alternative selection but not the actual dependency collection and stop
@@ -1214,7 +1230,7 @@ namespace bpkg
     // configuration clause is encountered. In the latter case return the list
     // of the selected alternative dependencies/positions, where the last
     // entry corresponds to the alternative with the encountered configuration
-    // clause. Return nullopt otherwise. Also lock for any deviation in the
+    // clause. Return nullopt otherwise. Also look for any deviation in the
     // dependency alternatives selection and throw reeval_deviated exception
     // if such a deviation is detected.
     //
@@ -1274,6 +1290,11 @@ namespace bpkg
       size_t depth;
     };
 
+    struct merge_configuration_cycle
+    {
+      size_t depth;
+    };
+
     struct reeval_deviated {};
 
     optional<vector<postponed_configuration::dependency>>
@@ -1440,10 +1461,18 @@ namespace bpkg
       reference_wrapper<database>    db;
       shared_ptr<selected_package>   selected;
 
-      // Dependency.
+      // Earliest dependency with config clause.
       //
       optional<package_key>          dependency;
       pair<size_t, size_t>           dependency_position;
+
+      // Original dependency.
+      //
+      // Note that we always know the original dependency but may not be able
+      // to obtain its position if it comes after the earliest dependency with
+      // config clause or the dependent deviates.
+      //
+      package_key                    orig_dependency;
       optional<pair<size_t, size_t>> orig_dependency_position;
     };
 
@@ -1485,12 +1514,12 @@ namespace bpkg
     // the postponed package recollections list.
     //
     void
-    collect_deviated_dependent (const pkg_build_options&,
-                                const existing_dependent&,
-                                package_key orig_dependency,
-                                replaced_versions&,
-                                postponed_packages& postponed_recs,
-                                postponed_configurations&);
+    recollect_existing_dependent (const pkg_build_options&,
+                                  const existing_dependent&,
+                                  bool reconfigure,
+                                  replaced_versions&,
+                                  postponed_packages& postponed_recs,
+                                  postponed_configurations&);
 
     struct package_ref
     {
diff --git a/tests/common/dependency-alternatives/t11a/bax-0.1.0.tar.gz b/tests/common/dependency-alternatives/t11a/bax-0.1.0.tar.gz
new file mode 100644
index 0000000..8ed7936
--- /dev/null
+++ b/tests/common/dependency-alternatives/t11a/bax-0.1.0.tar.gz
diff --git a/tests/common/dependency-alternatives/t11a/box-0.2.0.tar.gz b/tests/common/dependency-alternatives/t11a/box-0.2.0.tar.gz
new file mode 100644
index 0000000..fc22464
--- /dev/null
+++ b/tests/common/dependency-alternatives/t11a/box-0.2.0.tar.gz
diff --git a/tests/pkg-build.testscript b/tests/pkg-build.testscript
index f323f33..442349f 100644
--- a/tests/pkg-build.testscript
+++ b/tests/pkg-build.testscript
@@ -228,6 +228,7 @@
 # |   |-- box-0.1.0.tar.gz      -> libbox {require {config.libbox.extras=true}}
 # |   |-- box-1.0.0.tar.gz      -> {libbar libfoo} {require {config.libbar.extras=true config.libfoo.extras=true}} |
 # |   |                            libbox
+# |   |-- bax-0.1.0.tar.gz      -> {libbox libbar} {require {config.libbox.extras=true}}
 # |   |-- bax-1.0.0.tar.gz      -> libfoo {require {config.libfoo.extras=true}},
 # |   |                            {libbox libbar} {require {config.libbox.extras=true config.libbar.extras=true}}
 # |   |-- bux-1.0.0.tar.gz      -> libbar {require {config.libbar.extras=true}}
@@ -7540,7 +7541,7 @@ test.arguments += --sys-no-query
               !baz configured 1.0.0
                 libbar configured 1.0.0
                 libfoo configured 1.0.0
-              !box configured !0.1.0 available 1.0.0
+              !box configured !0.1.0 available 1.0.0 0.2.0
                 libbox configured 0.1.0 available 1.0.0
               EOO
 
@@ -15525,6 +15526,322 @@ test.arguments += --sys-no-query
       $pkg_drop tiz tuz tix
     }
 
+    : reeval-cycle-resolution
+    :
+    {
+      $clone_cfg;
+
+      #  Dependencies:
+      #
+      #  bax: depends: libfoo(c)
+      #       depends: {libbox libbar} (c)
+      #
+      #  tex: depends: libbar(c)
+      #       depends: libfoo(c)
+      #
+      #  box/0.1.0: depends: libbox(c)
+      #
+      $* bax tex 2>!;
+
+      $pkg_status -r >>EOO;
+        !bax configured 1.0.0
+          libbar configured 1.0.0
+          libbox configured 1.0.0
+          libfoo configured 1.0.0
+        !tex configured 1.0.0
+          libbar configured 1.0.0
+          libfoo configured 1.0.0
+        EOO
+
+      $* box/0.2.0  2>>~%EOE%;
+        %.*
+        trace: pkg_build: refine package collection/plan execution from scratch
+        %.*
+        trace: collect_build: add box/0.2.0
+        trace: collect_build_prerequisites: begin box/0.2.0
+        %.*
+        trace: collect_build: add libbox/1.0.0
+        trace: collect_build_prerequisites: cfg-postpone dependency libbox/1.0.0 of dependent box/0.2.0
+        trace: postponed_configurations::add: create {box | libbox->{box/1,1}}
+        trace: collect_build_prerequisites: postpone box/0.2.0
+        trace: collect_build_postponed (0): begin
+        trace: collect_build_postponed (1): begin {box | libbox->{box/1,1}}
+        %.*
+        trace: collect_build_prerequisites: pre-reeval bax/1.0.0
+        %.*
+        trace: collect_build_prerequisites: pre-reevaluated bax/1.0.0: 1,1
+        trace: collect_build: add libfoo/1.0.0
+        trace: collect_build_postponed (1): re-evaluate existing dependents for {box | libbox->{box/1,1}}
+        trace: collect_build: add bax/1.0.0
+        trace: collect_build_prerequisites: reeval bax/1.0.0
+        %.*
+        trace: postponed_configurations::add: create {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build_prerequisites: re-evaluating dependent bax/1.0.0 results in {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build_prerequisites: re-evaluated bax/1.0.0
+        trace: collect_build_postponed (1): cfg-negotiate begin {box | libbox->{box/1,1}}
+        %.*
+        trace: collect_build_postponed (1): recursively collect cfg-negotiated dependencies
+        trace: collect_build_prerequisites: skip configured libbox/1.0.0
+        trace: collect_build_postponed (1): recursively collect cfg-negotiated dependents
+        trace: collect_build_postponed (1): select cfg-negotiated dependency alternative for dependent box/0.2.0
+        trace: collect_build_prerequisites: resume box/0.2.0
+        trace: collect_build_prerequisites: end box/0.2.0
+        trace: collect_build_postponed (1): cfg-negotiate end {box | libbox->{box/1,1}}!
+        trace: collect_build_postponed (2): begin {bax^ | libfoo->{bax/1,1}}
+        %.*
+        trace: collect_build_postponed (2): skip being built existing dependent bax of dependency libfoo
+        %.*
+        trace: collect_build_prerequisites: pre-reeval tex/1.0.0
+        %.*
+        trace: collect_build_prerequisites: pre-reevaluated tex/1.0.0: 1,1
+        trace: collect_build: add libbar/1.0.0
+        trace: collect_build_postponed (2): re-evaluate existing dependents for {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build: add tex/1.0.0
+        trace: collect_build_prerequisites: reeval tex/1.0.0
+        %.*
+        trace: postponed_configurations::add: create {tex^ | libbar->{tex/1,1}}
+        trace: collect_build_prerequisites: re-evaluating dependent tex/1.0.0 results in {tex^ | libbar->{tex/1,1}}
+        trace: collect_build_prerequisites: re-evaluated tex/1.0.0
+        trace: collect_build_postponed (2): cfg-negotiate begin {bax^ | libfoo->{bax/1,1}}
+        %.*
+        trace: collect_build_postponed (2): recursively collect cfg-negotiated dependencies
+        trace: collect_build_prerequisites: skip configured libfoo/1.0.0
+        trace: collect_build_postponed (2): recursively collect cfg-negotiated dependents
+        trace: collect_build_postponed (2): select cfg-negotiated dependency alternative for dependent bax/1.0.0
+        trace: collect_build_prerequisites: resume bax/1.0.0
+        %.*
+        trace: collect_build_prerequisites: cfg-postpone dependency libbox/1.0.0 of dependent bax/1.0.0
+        trace: collect_build_prerequisites: cfg-postpone dependency libbar/1.0.0 of dependent bax/1.0.0
+        trace: postponed_configurations::add: add {bax 2,1: libbox libbar} to {box | libbox->{box/1,1}}!
+        trace: postponed_configurations::add: merge {tex^ | libbar->{tex/1,1}} into {bax box | libbox->{bax/2,1 box/1,1} libbar->{bax/2,1}}!
+        trace: collect_build_prerequisites: cfg-postponing dependent bax/1.0.0 merges non-negotiated and/or being negotiated configurations in and results in {bax box tex^ | libbox->{bax/2,1 box/1,1} libbar->{bax/2,1 tex/1,1}}!, throwing merge_configuration
+        trace: collect_build_postponed (0): cfg-negotiation of {box | libbox->{box/1,1}} failed due to non-negotiated clusters, force-merging based on shadow cluster {bax box tex^ | libbox->{bax/2,1 box/1,1} libbar->{bax/2,1 tex/1,1}}!
+        trace: collect_build_postponed (1): begin {box | libbox->{box/1,1}}
+        %.*
+        trace: collect_build_prerequisites: pre-reeval bax/1.0.0
+        %.*
+        trace: collect_build_prerequisites: pre-reevaluated bax/1.0.0: 1,1
+        trace: collect_build: add libfoo/1.0.0
+        trace: collect_build_postponed (1): re-evaluate existing dependents for {box | libbox->{box/1,1}}
+        trace: collect_build: add bax/1.0.0
+        trace: collect_build_prerequisites: reeval bax/1.0.0
+        %.*
+        trace: postponed_configurations::add: create {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build_prerequisites: re-evaluating dependent bax/1.0.0 results in {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build_prerequisites: re-evaluated bax/1.0.0
+        trace: collect_build_postponed (1): cfg-negotiate begin {box | libbox->{box/1,1}}
+        trace: collect_build_postponed (1): recursively collect cfg-negotiated dependencies
+        trace: collect_build_prerequisites: skip configured libbox/1.0.0
+        trace: collect_build_postponed (1): recursively collect cfg-negotiated dependents
+        trace: collect_build_postponed (1): select cfg-negotiated dependency alternative for dependent box/0.2.0
+        trace: collect_build_prerequisites: resume box/0.2.0
+        trace: collect_build_prerequisites: end box/0.2.0
+        trace: collect_build_postponed (1): cfg-negotiate end {box | libbox->{box/1,1}}!
+        trace: collect_build_postponed (2): begin {bax^ | libfoo->{bax/1,1}}
+        %.*
+        trace: collect_build_postponed (2): skip being built existing dependent bax of dependency libfoo
+        trace: collect_build_prerequisites: pre-reeval tex/1.0.0
+        %.*
+        trace: collect_build_prerequisites: pre-reevaluated tex/1.0.0: 1,1
+        trace: collect_build: add libbar/1.0.0
+        trace: collect_build_postponed (2): re-evaluate existing dependents for {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build: add tex/1.0.0
+        trace: collect_build_prerequisites: reeval tex/1.0.0
+        %.*
+        trace: postponed_configurations::add: add {tex^ 1,1: libbar} to {box | libbox->{box/1,1}}! (shadow cluster-based)
+        trace: collect_build_prerequisites: re-evaluating dependent tex/1.0.0 involves negotiated configurations and results in {box tex^ | libbox->{box/1,1} libbar->{tex/1,1}}!, throwing merge_configuration
+        trace: collect_build_postponed (0): cfg-negotiation of {box | libbox->{box/1,1}} failed due to non-negotiated clusters, force-merging based on shadow cluster {box tex^ | libbox->{box/1,1} libbar->{tex/1,1}}!
+        trace: collect_build_postponed (1): begin {box | libbox->{box/1,1}}
+        %.*
+        trace: collect_build_prerequisites: pre-reeval bax/1.0.0
+        %.*
+        trace: collect_build_prerequisites: pre-reevaluated bax/1.0.0: 1,1
+        trace: collect_build: add libfoo/1.0.0
+        trace: collect_build_postponed (1): re-evaluate existing dependents for {box | libbox->{box/1,1}}
+        trace: collect_build: add bax/1.0.0
+        trace: collect_build_prerequisites: reeval bax/1.0.0
+        %.*
+        trace: postponed_configurations::add: create {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build_prerequisites: re-evaluating dependent bax/1.0.0 results in {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build_prerequisites: re-evaluated bax/1.0.0
+        trace: collect_build_postponed (1): cfg-negotiate begin {box | libbox->{box/1,1}}
+        trace: collect_build_postponed (1): recursively collect cfg-negotiated dependencies
+        trace: collect_build_prerequisites: skip configured libbox/1.0.0
+        trace: collect_build_postponed (1): recursively collect cfg-negotiated dependents
+        trace: collect_build_postponed (1): select cfg-negotiated dependency alternative for dependent box/0.2.0
+        trace: collect_build_prerequisites: resume box/0.2.0
+        trace: collect_build_prerequisites: end box/0.2.0
+        trace: collect_build_postponed (1): cfg-negotiate end {box | libbox->{box/1,1}}!
+        trace: collect_build_postponed (2): begin {bax^ | libfoo->{bax/1,1}}
+        %.*
+        trace: collect_build_postponed (2): skip being built existing dependent bax of dependency libfoo
+        trace: collect_build_prerequisites: pre-reeval tex/1.0.0
+        %.*
+        trace: collect_build_prerequisites: pre-reevaluated tex/1.0.0: 1,1
+        trace: collect_build: add libbar/1.0.0
+        trace: collect_build_postponed (2): re-evaluate existing dependents for {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build: add tex/1.0.0
+        trace: collect_build_prerequisites: reeval tex/1.0.0
+        %.*
+        trace: postponed_configurations::add: add {tex^ 1,1: libbar} to {box | libbox->{box/1,1}}! (shadow cluster-based)
+        trace: collect_build_prerequisites: merge configuration cycle detected for being re-evaluated dependent tex/1.0.0 since {box tex^ | libbox->{box/1,1} libbar->{tex/1,1}}! is a shadow of itself, throwing merge_configuration_cycle
+        trace: collect_build_postponed (2): re-evaluation of existing dependent tex/1.0.0 failed due to merge configuration cycle for {bax^ | libfoo->{bax/1,1}}, throwing recollect_dependent
+        trace: collect_build_postponed (0): cfg-negotiation of {box | libbox->{box/1,1}} failed due to merge configuration cycle while re-evaluating existing dependent tex/1.0.0, scheduling its re-collection
+        trace: collect_build: add tex/1.0.0
+        trace: collect_build_postponed (1): begin {box | libbox->{box/1,1}}
+        %.*
+        trace: collect_build_prerequisites: pre-reeval bax/1.0.0
+        %.*
+        trace: collect_build_prerequisites: pre-reevaluated bax/1.0.0: 1,1
+        trace: collect_build: add libfoo/1.0.0
+        trace: collect_build_postponed (1): re-evaluate existing dependents for {box | libbox->{box/1,1}}
+        trace: collect_build: add bax/1.0.0
+        trace: collect_build_prerequisites: reeval bax/1.0.0
+        %.*
+        trace: postponed_configurations::add: create {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build_prerequisites: re-evaluating dependent bax/1.0.0 results in {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build_prerequisites: re-evaluated bax/1.0.0
+        trace: collect_build_postponed (1): cfg-negotiate begin {box | libbox->{box/1,1}}
+        trace: collect_build_postponed (1): recursively collect cfg-negotiated dependencies
+        trace: collect_build_prerequisites: skip configured libbox/1.0.0
+        trace: collect_build_postponed (1): recursively collect cfg-negotiated dependents
+        trace: collect_build_postponed (1): select cfg-negotiated dependency alternative for dependent box/0.2.0
+        trace: collect_build_prerequisites: resume box/0.2.0
+        trace: collect_build_prerequisites: end box/0.2.0
+        trace: collect_build_postponed (1): cfg-negotiate end {box | libbox->{box/1,1}}!
+        trace: collect_build_prerequisites: begin tex/1.0.0
+        %.*
+        trace: collect_build: add libbar/1.0.0
+        trace: collect_build_prerequisites: cfg-postpone dependency libbar/1.0.0 of dependent tex/1.0.0
+        trace: postponed_configurations::add: create {tex | libbar->{tex/1,1}}
+        trace: collect_build_prerequisites: postpone tex/1.0.0
+        trace: collect_build_postponed (2): begin {bax^ | libfoo->{bax/1,1}}
+        %.*
+        trace: collect_build_postponed (2): skip being built existing dependent bax of dependency libfoo
+        trace: collect_build_postponed (2): skip being built existing dependent tex of dependency libfoo
+        trace: collect_build_postponed (2): cfg-negotiate begin {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build_postponed (2): recursively collect cfg-negotiated dependencies
+        trace: collect_build_prerequisites: skip configured libfoo/1.0.0
+        trace: collect_build_postponed (2): recursively collect cfg-negotiated dependents
+        trace: collect_build_postponed (2): select cfg-negotiated dependency alternative for dependent bax/1.0.0
+        trace: collect_build_prerequisites: resume bax/1.0.0
+        %.*
+        trace: collect_build_prerequisites: cfg-postpone dependency libbox/1.0.0 of dependent bax/1.0.0
+        trace: collect_build_prerequisites: cfg-postpone dependency libbar/1.0.0 of dependent bax/1.0.0
+        trace: postponed_configurations::add: add {bax 2,1: libbox libbar} to {box | libbox->{box/1,1}}!
+        trace: postponed_configurations::add: merge {tex | libbar->{tex/1,1}} into {bax box | libbox->{bax/2,1 box/1,1} libbar->{bax/2,1}}!
+        trace: collect_build_prerequisites: cfg-postponing dependent bax/1.0.0 merges non-negotiated and/or being negotiated configurations in and results in {bax box tex | libbox->{bax/2,1 box/1,1} libbar->{bax/2,1 tex/1,1}}!, throwing merge_configuration
+        trace: collect_build_postponed (0): cfg-negotiation of {box | libbox->{box/1,1}} failed due to non-negotiated clusters, force-merging based on shadow cluster {bax box tex | libbox->{bax/2,1 box/1,1} libbar->{bax/2,1 tex/1,1}}!
+        trace: collect_build_postponed (1): begin {box | libbox->{box/1,1}}
+        %.*
+        trace: collect_build_prerequisites: pre-reeval bax/1.0.0
+        %.*
+        trace: collect_build_prerequisites: pre-reevaluated bax/1.0.0: 1,1
+        trace: collect_build: add libfoo/1.0.0
+        trace: collect_build_postponed (1): re-evaluate existing dependents for {box | libbox->{box/1,1}}
+        trace: collect_build: add bax/1.0.0
+        trace: collect_build_prerequisites: reeval bax/1.0.0
+        %.*
+        trace: postponed_configurations::add: create {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build_prerequisites: re-evaluating dependent bax/1.0.0 results in {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build_prerequisites: re-evaluated bax/1.0.0
+        trace: collect_build_postponed (1): cfg-negotiate begin {box | libbox->{box/1,1}}
+        trace: collect_build_postponed (1): recursively collect cfg-negotiated dependencies
+        trace: collect_build_prerequisites: skip configured libbox/1.0.0
+        trace: collect_build_postponed (1): recursively collect cfg-negotiated dependents
+        trace: collect_build_postponed (1): select cfg-negotiated dependency alternative for dependent box/0.2.0
+        trace: collect_build_prerequisites: resume box/0.2.0
+        trace: collect_build_prerequisites: end box/0.2.0
+        trace: collect_build_postponed (1): cfg-negotiate end {box | libbox->{box/1,1}}!
+        trace: collect_build_prerequisites: begin tex/1.0.0
+        %.*
+        trace: collect_build: add libbar/1.0.0
+        trace: collect_build_prerequisites: cfg-postpone dependency libbar/1.0.0 of dependent tex/1.0.0
+        trace: postponed_configurations::add: add {tex 1,1: libbar} to {box | libbox->{box/1,1}}! (shadow cluster-based)
+        %.*
+        trace: collect_build_prerequisites: cfg-postponing dependent tex/1.0.0 involves (being) negotiated configurations and results in {box tex | libbox->{box/1,1} libbar->{tex/1,1}}!, throwing retry_configuration
+        trace: collect_build_postponed (0): cfg-negotiation of {box | libbox->{box/1,1}} failed due to dependent tex, refining configuration
+        trace: collect_build_postponed (1): begin {box | libbox->{box/1,1}}
+        %.*
+        trace: collect_build_prerequisites: pre-reeval bax/1.0.0
+        %.*
+        trace: collect_build_prerequisites: pre-reevaluated bax/1.0.0: 1,1
+        trace: collect_build: add libfoo/1.0.0
+        trace: collect_build_postponed (1): re-evaluate existing dependents for {box | libbox->{box/1,1}}
+        trace: collect_build: add bax/1.0.0
+        trace: collect_build_prerequisites: reeval bax/1.0.0
+        %.*
+        trace: postponed_configurations::add: create {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build_prerequisites: re-evaluating dependent bax/1.0.0 results in {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build_prerequisites: re-evaluated bax/1.0.0
+        trace: collect_build_postponed (1): cfg-negotiate begin {box | libbox->{box/1,1}}
+        trace: collect_build_postponed (1): recursively collect cfg-negotiated dependencies
+        trace: collect_build_prerequisites: skip configured libbox/1.0.0
+        trace: collect_build_postponed (1): recursively collect cfg-negotiated dependents
+        trace: collect_build_postponed (1): select cfg-negotiated dependency alternative for dependent box/0.2.0
+        trace: collect_build_prerequisites: resume box/0.2.0
+        trace: collect_build_prerequisites: end box/0.2.0
+        trace: collect_build_postponed (1): cfg-negotiate end {box | libbox->{box/1,1}}!
+        trace: collect_build_prerequisites: begin tex/1.0.0
+        %.*
+        trace: collect_build: add libbar/1.0.0
+        trace: collect_build_prerequisites: cfg-postpone dependency libbar/1.0.0 of dependent tex/1.0.0
+        trace: postponed_configurations::add: add {tex 1,1: libbar} to {box | libbox->{box/1,1}}! (shadow cluster-based)
+        trace: collect_build_prerequisites: configuration for cfg-postponed dependencies of dependent tex/1.0.0 is shadow-negotiated
+        trace: collect_build_prerequisites: collecting cfg-postponed dependency libbar/1.0.0 of dependent tex/1.0.0
+        trace: collect_build_prerequisites: skip configured libbar/1.0.0
+        %.*
+        trace: collect_build_prerequisites: cfg-postpone dependency libfoo/1.0.0 of dependent tex/1.0.0
+        trace: postponed_configurations::add: add {tex 2,1: libfoo} to {bax^ | libfoo->{bax/1,1}}
+        trace: collect_build_prerequisites: postpone tex/1.0.0
+        trace: collect_build_postponed (2): begin {bax^ tex | libfoo->{bax/1,1 tex/2,1}}
+        %.*
+        trace: collect_build_postponed (2): skip being built existing dependent bax of dependency libfoo
+        trace: collect_build_postponed (2): skip being built existing dependent tex of dependency libfoo
+        trace: collect_build_postponed (2): cfg-negotiate begin {bax^ tex | libfoo->{bax/1,1 tex/2,1}}
+        trace: collect_build_postponed (2): recursively collect cfg-negotiated dependencies
+        trace: collect_build_prerequisites: skip configured libfoo/1.0.0
+        trace: collect_build_postponed (2): recursively collect cfg-negotiated dependents
+        trace: collect_build_postponed (2): select cfg-negotiated dependency alternative for dependent bax/1.0.0
+        trace: collect_build_prerequisites: resume bax/1.0.0
+        %.*
+        trace: collect_build_prerequisites: cfg-postpone dependency libbox/1.0.0 of dependent bax/1.0.0
+        trace: collect_build_prerequisites: cfg-postpone dependency libbar/1.0.0 of dependent bax/1.0.0
+        trace: postponed_configurations::add: add {bax 2,1: libbox libbar} to {box tex | libbox->{box/1,1} libbar->{tex/1,1}}! (shadow cluster-based)
+        trace: collect_build_prerequisites: configuration for cfg-postponed dependencies of dependent bax/1.0.0 is shadow-negotiated
+        trace: collect_build_prerequisites: dependency libbox/1.0.0 of dependent bax/1.0.0 is already (being) recursively collected, skipping
+        trace: collect_build_prerequisites: dependency libbar/1.0.0 of dependent bax/1.0.0 is already (being) recursively collected, skipping
+        trace: collect_build_prerequisites: end bax/1.0.0
+        trace: collect_build_postponed (2): select cfg-negotiated dependency alternative for dependent tex/1.0.0
+        trace: collect_build_prerequisites: resume tex/1.0.0
+        trace: collect_build_prerequisites: end tex/1.0.0
+        trace: collect_build_postponed (2): cfg-negotiate end {bax^ tex | libfoo->{bax/1,1 tex/2,1}}!
+        trace: collect_build_postponed (2): end {bax^ tex | libfoo->{bax/1,1 tex/2,1}}
+        trace: collect_build_postponed (1): end {box | libbox->{box/1,1}}
+        trace: collect_build_postponed (0): end
+        trace: execute_plan: simulate: yes
+        %.*
+        build plan:
+          new box/0.2.0
+        trace: execute_plan: simulate: no
+        %.*
+        EOE
+
+      $pkg_status -r >>EOO;
+        !bax configured 1.0.0
+          libbar configured 1.0.0
+          libbox configured 1.0.0
+          libfoo configured 1.0.0
+        !tex configured 1.0.0
+          libbar configured 1.0.0
+          libfoo configured 1.0.0
+        !box configured !0.2.0 available 1.0.0
+          libbox configured 1.0.0
+        EOO
+
+      $pkg_drop bax tex box
+    }
+
     : all-repo-packages
     :
     : Don't match the tracing but just make sure that pkg-build doesn't crash
@@ -16174,7 +16491,7 @@ test.arguments += --sys-no-query
             libbiz configured !0.1.0 available 1.0.0
           !tix configured !0.1.0 available 1.0.0
           !toz configured !0.1.0 available 1.0.0 0.2.0
-          !box configured !0.1.0 available 1.0.0
+          !box configured !0.1.0 available 1.0.0 0.2.0
             libbox configured !0.1.0 available 1.0.0
           !tux configured !1.0.0
             libbox configured !0.1.0 available 1.0.0
@@ -16410,7 +16727,7 @@ test.arguments += --sys-no-query
             libbiz configured !0.1.0 available 1.0.0
           !tix configured !0.1.0 available 1.0.0
           !toz configured !0.1.0 available 1.0.0 0.2.0
-          !box configured !0.1.0 available 1.0.0
+          !box configured !0.1.0 available 1.0.0 0.2.0
             libbox configured !0.1.0 available 1.0.0
           !tux configured !1.0.0
             libbox configured !0.1.0 available 1.0.0