Merge branch 'german/refactor-e4-model-retry' into german/navara-refactor

scripts/contract-mutants.test.mjs

@@ -207,7 +207,7 @@ const mutants = [
   ],
   [
     'failed model reports no failure',
-    'MoverSet.failed:',
+    'movers.createSet: failed model retries',
     (e) => {
       handle(e, 'movers', 'createSet', (set) => {
         set.failed = () => false;
@@ -216,13 +216,30 @@ const mutants = [
   ],
   [
     'failed model reports ready',
-    'MoverSet.failed:',
+    'movers.createSet: failed model retries',
     (e) => {
       handle(e, 'movers', 'createSet', (set) => {
         set.ready = () => true;
       });
     },
   ],
+  [
+    'failed model never retries',
+    'movers.createSet: failed model retries',
+    (e) => {
+      handle(e, 'movers', 'createSet', (set) => {
+        replace(set, 'commit', (commit) => () => {
+          const schedule = globalThis.setTimeout;
+          globalThis.setTimeout = () => null;
+          try {
+            commit();
+          } finally {
+            globalThis.setTimeout = schedule;
+          }
+        });
+      });
+    },
+  ],
   [
     'hidden mover reports shown',
     'movers.list: shown follows',