
The disposed-cases mean as a bound: what the pending cases imply
Source:R/court_backlog.R
morie_backlog_censoring.RdA cohort of \(n\) disposed cases with durations \(t_i\) and \(m\)
pending cases with elapsed ages \(a_j\). The published disposed-cases
mean \(\bar t\) is compared with the cohort's true mean, whose pending
durations are unknown but at least the ages. The true mean is at least
\(L = (\sum t + \sum a)/(n + m)\) (Research.P16Censoring.true_mean_ge),
and \(L - \bar t = \frac{m}{n+m}(\bar a - \bar t)\)
(lower_bound_sub), so the published mean understates the truth for
certain whenever the pending cases are on average older than it
(disposed_understates) by at least that amount (bias_lower).
No upper bound exists without a cap on the pending durations
(no_upper_bound): this is the P1 dark-figure structure again.