[2026-09-17T17:11:19Z] fixup started: failed dossiers, missing display lines, wallet ranking
401 PRs loaded, 13 need a dossier
total $0.3672
[2026-09-17T17:12:32Z] dossier fill-in done
401 dossiers, 21 need display lines
total $0.0909
[2026-09-17T17:13:17Z] display fill-in done
  wallet: 85 PRs, 43 band changes, 11 inconsistencies, $0.722
total $0.722
[2026-09-17T17:17:29Z] wallet ranking done
[2026-09-17T17:17:41Z] done: site published