Overview
The paper supplies a normative expected-utility rule for splitting the shared false-positive budget of an MCED panel across cancer-type detectors. It replaces the multiclass Neyman–Pearson (detection-count) objective with J = Σ_k [π_k v_k g_k(f_k) − h f_k], where v_k = m_k B_k − (1−m_k) H_k may be negative, derives the first-order allocation and inclusion threshold, and shows that the optimum can invert the detection-maximising ranking (“indolence inversion”). No trial is run and no measurements are reported; every input is a named parameter. The contribution is therefore an analytic design principle plus a qualitative falsifiable prediction.
Correctness
I re-derived the stationarity conditions. J is separable; under the maintained concavity of each g_k the per-type problem is concave, so ∂J/∂f_k = π_k v_k g_k'(f_k) − h yields Proposition 1 (interior inverse-slope rule for v_k > 0; boundary f_k* = 0 for v_k ≤ 0). Because the marginal is largest at the origin, Proposition 2’s admission test π_k v_k g_k'(0) > h follows at once. Proposition 3’s inversion inequality is the correct algebraic rearrangement of the two inclusion scores, and the Section 6 KKT value-weighted water-filling is standard. No algebraic errors were found. The authors are also transparent that they fabricate nothing.
Novelty (5/10)
The single genuine conceptual move is to treat overall specificity as a deliberately divisible budget and to insist that under-detection of indolent cancers should be engineered rather than celebrated as a biological accident. That reframing is useful. Everything else is immediate. Once a possibly-negative v_k is inserted into a separable concave objective, the first-order condition, the inclusion threshold and the inversion are direct consequences; there is no deep theorem. The same v_k parameterisation already appears in a companion deployment-threshold paper from the same line of work, so the present manuscript is an incremental extension (multi-detector allocation) rather than a fresh foundation. Critically, the paper never engages the two-decade literature on decision-curve analysis, net-benefit evaluation of screening, or cost-effectiveness acceptability that already trades true positives against weighted false positives and overdiagnosis. Positioning the work solely against multiclass Neyman–Pearson therefore overstates originality. Score 5: a crisp, non-obvious framing built on elementary, previously used machinery.
Rigour (5/10)
Mathematics under the stated assumptions is sound, and Section 7 honestly lists several limitations. Three substantive gaps nevertheless keep the score low.
(1) Parameter identifiability. The entire normative force of the rule rests on m_k, the actionable fraction that fixes sign(v_k). m_k is a counterfactual confounded by lead-time and length-time bias; even large randomised MCED trials will struggle to produce stable cancer-type-specific estimates. The paper flags the problem but offers neither an estimation strategy, nor a sensitivity analysis showing how allocation rankings move under plausible m_k ranges, nor bounds recoverable from observable quantities. Without that, the “optimum” is an empty formal object.
(2) Independence and additivity. The framework treats each f_k as an independent design lever and approximates the overall false-positive probability by Σ f_k. In a real shared-cfDNA assay the type-specific detectors are coupled through the same feature space; lowering one threshold typically perturbs others. Correlated false calls also make the rare-event approximation degrade as K grows. Both issues are acknowledged in a single sentence and then left unquantified. Because separability and the budget constraint are load-bearing, the omission is material.
(3) Absence of any concrete illustration. No numerical example—even with stylised but published-style prevalences, ROC slopes and value parameters—is supplied. The reader therefore cannot judge whether inversion occurs under realistic inputs or whether the welfare gap is clinically meaningful. Unresolved citation keys (klein2021ccga, scott2005np, tong2018np) further weaken verifiability.
These are not peripheral presentation issues; they determine whether the formal rule can ever be used. Score 5.
Clarity (8/10)
The manuscript is well organised: budget framing → net-benefit objective → propositions with short proofs → dual → candid limitations → falsifiable prediction. Notation is consistent, the inclusion score S_k is memorable, and the equity caveat is admirably direct. The principal presentational defect is the lack of a resolved bibliography. Score 8.
Significance (5/10)
Overdiagnosis is a first-order harm in cancer screening, and a principled lever for steering specificity away from indolent types would be valuable to developers and regulators. The pre-registerable prediction (net-benefit allocation yields more deaths averted per work-up at matched overall specificity, gap widening with indolent high-prevalence types) is a genuine strength. In practice, however, every inclusion/exclusion decision hinges on parameters no one can currently supply, the paper never demonstrates that existing panels are meaningfully suboptimal under its criterion, and the analytic gap between the model and a deployable threshold schedule remains wide. The result is therefore a design heuristic whose near-term impact is modest. Score 5.
Recommendation
Major revision. The core reframing is worth preserving, but the manuscript needs (i) explicit positioning against decision-curve and net-benefit screening literatures, (ii) at least one fully worked numerical example with sensitivity to m_k, (iii) quantitative discussion of the additive-budget error and detector coupling, and (iv) resolvable references. Absent those additions the contribution remains too thin and too operationally hollow for acceptance.
Scores
Novelty 5 | Rigour 5 | Clarity 8 | Significance 5 | Recommendation: major_revision (3)