domain/runtime, app/run: add execution-time statistics aggregate (T2.4)

Add RunCount, FailCount, LastDurationMS, AvgDurationMS, MaxDurationMS
to JobRuntime and fold each completed RunRecord into them via updateStats
called from executeRun.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

src/app/run.go

@@ -140,6 +140,7 @@ func (s *Service) executeRun(ctx context.Context, jobCopy domain.Job, trigger st
 		runtime.LastState = record.State
 		runtime.Output = record.Output
 		prependLog(runtime, record)
+		updateStats(runtime, record)
 		rerun := runtime.Pending && current.Enabled && !s.paused
 		runtime.Pending = false
 		if rerun {
@@ -190,6 +191,20 @@ func (s *Service) advanceNextDueLocked(job *domain.Job, runtime *domain.JobRunti
 	runtime.NextDue = sched.Next(from)
 }
 
+// updateStats folds one completed RunRecord into the runtime's aggregate
+// execution-time statistics. Called under mu inside executeRun.
+func updateStats(rt *domain.JobRuntime, r domain.RunRecord) {
+	rt.RunCount++
+	if r.State == "Failed" {
+		rt.FailCount++
+	}
+	rt.LastDurationMS = r.DurationMS
+	if r.DurationMS > rt.MaxDurationMS {
+		rt.MaxDurationMS = r.DurationMS
+	}
+	rt.AvgDurationMS = (rt.AvgDurationMS*int64(rt.RunCount-1) + r.DurationMS) / int64(rt.RunCount)
+}
+
 // runningOutput is the placeholder output shown while a job is running, before
 // the real command output replaces it.
 func runningOutput(job domain.Job, trigger string, started time.Time) string {

src/domain/runtime.go

@@ -22,6 +22,14 @@ type JobRuntime struct {
 	// Pending is set when a run was skipped due to the overlap policy being
 	// "queue". The scheduler will start this job as soon as the current run ends.
 	Pending bool
+
+	// Execution-time statistics accumulated since the last process start.
+	// Seeded from log files on startup by T2.5; zero until then.
+	RunCount     int
+	FailCount    int
+	LastDurationMS int64
+	AvgDurationMS  int64
+	MaxDurationMS  int64
 }
 
 // NewRuntime builds the initial runtime state for a freshly loaded or created