release 1.13.5: progress bar env-aware estimates and phase re-fit

Stage jobs estimated 139 checks (urls 95 + monpages 20 + phantom
post-check 12 + devtesting) but only ~46 ran, so bars sat at 42/139
then snapped to 46/46. Estimate from CHECK_BANK/LANDING and mon hosts;
after each phase set total = done + remaining; no suite credit for
host-agent monpages post-check outside the process.

lib.sh

@@ -574,8 +574,9 @@ set_progress_total() {
   # Optional: expected number of numbered checks in this run.
   # PROGRESS_TOTAL=0 → no percent, only "done=N".
   # Does not reset GLOBAL_N / PROGRESS_DONE if already mid-run (state file).
+  # May shrink when parent re-fits after a short phase (total = done + remaining est),
+  # but never below PROGRESS_DONE.
   local n="${1:-0}"
-  # Never shrink below already completed work (re-estimate mid-run safe)
   if [ "${PROGRESS_DONE:-0}" -gt 0 ] && [ "$n" -gt 0 ] && [ "$n" -lt "$PROGRESS_DONE" ]; then
     n=$PROGRESS_DONE
   fi