Review-3890: record true wall clock (29m) rather than attributed-work total
Review-3890: round 2 — both round-one asks verified met; request changes on the no-exit default and the CSS invariant