Why Prespecify the Summary?
A sensitivity analysis can produce many treatment-effect estimates, each conditional on a different assumption about unobserved outcomes. If the reporting choices are made after those estimates are seen, it becomes easy—deliberately or not—to emphasize a favorable scenario, an appealing scale, or a convenient uncertainty display. Prespecifying the summary plan makes clear what will be reported regardless of which way the results turn out.
The plan is not a promise that every scenario will support one conclusion. It specifies the assumptions to examine, the quantities to summarize, and the rule for describing how conclusions vary. The results can then be read against decisions made before they were known. This is distinct from choosing a single “best” assumption: a sensitivity analysis describes how inferences depend on assumptions that cannot be settled from the observed data alone.
The estimand, its scale, and its direction must be explicit. For example, suppose the effect is defined as mean outcome under treatment minus mean outcome under control, measured in points, and higher values are better. Then positive effects favor treatment. If instead the outcome is time to an event, a risk difference, or a ratio, the direction and interpretation may differ. The plan should name the treatment contrast, outcome and time point, target population, scale, units, and direction considered beneficial. It should also state whether the sensitivity configuration changes assumptions about missing outcomes, the analysis model, or both.
What the Plan Should Fix
A useful plan makes the set of analyses reproducible, not just the final sentence of the report. Specify which assumptions vary, their plausible values or ranges, and any combinations that will be examined. If parameters vary independently, say so; if their values are constrained to move together, define that constraint. A grid of selected values is a finite set, whereas a range such as \(a\in[0,1]\) describes infinitely many configurations. The distinction matters when checking a rule that must hold across every planned configuration.
Next, specify the same core summary for each configuration: the effect estimate, uncertainty interval and confidence level, and—when useful—the standard error or other supporting quantity. State the method used to form the intervals and the assumptions needed for that method. For example, a normal-approximation interval \(\hat\theta(a)\pm1.96SE(a)\) relies on an adequate normal approximation for the estimator under configuration \(a\). If that approximation is not justified, the plan should name a more appropriate interval procedure. Reporting a confidence interval does not remove the need to state what it is conditional on: it is conditional on the configuration and the statistical model used to calculate it.
The plan should also fix how results will be displayed. A table can show every prespecified scenario and its estimate and interval; a plot can show the same quantities across an ordered sensitivity parameter. If a concise headline summary is needed, state in advance how it will be obtained and which result remains available to readers. A single representative scenario should not silently replace the full planned set.
Name the outcome, time point, population, treatment contrast, scale, units, and favorable direction.
List the configurations or parameter ranges, their rationale, and any restrictions on combinations.
Specify estimates, interval method and level, and the table or graph that will show results across the set.
Define what will count as robust, what changes will be described, and how analyses outside the plan will be labelled.
Define Robustness as a Rule, Not a Reaction
A conclusion should be stated in relation to a prespecified criterion. Suppose higher values are beneficial and \(\delta\) is a clinically important benefit threshold, in the same units as \(\theta(a)\). One possible rule is to call evidence of clinically important benefit robust across the planned set only when the lower confidence limit exceeds the threshold for every planned configuration:
This is a universal condition. For a finite set, it can be checked by comparing the smallest lower limit with \(\delta\). But a range may contain infinitely many configurations, and a smallest lower limit may not exist. For an arbitrary set, do not replace the universal condition with a claim about a “smallest” lower limit unless a minimum is known to be attained. A strict bound \(\inf_{a\in\mathcal A}L(a)>\delta\) is sufficient for the universal condition, but it is not necessary: every \(L(a)\) can exceed \(\delta\) even when the infimum equals \(\delta\).
The threshold and direction must fit the outcome. A rule for clinically important benefit is not the same as a rule for any positive effect, absence of harm, or equivalence. For a harmful direction, state the corresponding rule with the inequality reversed. Do not define robustness as “the result is statistically significant” without specifying the effect scale and substantive criterion. Statistical significance and clinical importance answer different questions.
Also state what uncertainty display supports the rule. Intervals computed separately at each configuration are ordinarily pointwise intervals: each has its stated coverage under that configuration and model. They do not, merely by being displayed together, guarantee simultaneous coverage over all configurations. If the intended claim requires joint coverage across the whole set, the plan must specify an appropriate simultaneous procedure. Otherwise, describe the rule accurately as one applied to the planned set of pointwise intervals, rather than implying a simultaneous confidence guarantee.
Worked Example: Fixing a Summary for a Continuous Outcome
Consider a hypothetical trial with a continuous symptom score measured in points at week 12; higher scores indicate improvement. The planned contrast is treatment minus control, and the prespecified clinically important benefit threshold is \(\delta=3\) points. The sensitivity plan includes three stated assumptions, \(a_1,a_2,a_3\), about unobserved outcomes. Suppose the plan specifies a two-sided 95% normal-approximation interval for each scenario, provided the estimator’s normal approximation is adequate.
Under \(a_1\), suppose \(\hat\theta(a_1)=5.4\) points and \(SE(a_1)=1.1\) points. The planned interval is:
Its lower limit, 3.244 points, exceeds the 3-point threshold, so this scenario meets the stated criterion. Suppose the other prespecified results are \(\hat\theta(a_2)=4.8\), \(SE(a_2)=1.0\), and \(\hat\theta(a_3)=3.9\), \(SE(a_3)=1.0\), all in points. Their intervals are \(4.8\pm1.96=[2.84,6.76]\) and \(3.9\pm1.96=[1.94,5.86]\) points. Both lower limits are below 3.
Because the set has three configurations, the universal rule fails: not every lower limit exceeds 3 points. The planned report should show all three estimates and intervals and state that evidence of benefit exceeding the clinical threshold is not robust under this rule. It should not say that treatment has no effect: the intervals include values above the threshold, and the rule’s failure is not proof of no benefit. The interval method’s adequacy and its conditional interpretation should also be reported; the arithmetic alone does not establish those assumptions.
Checking a Range of Assumptions
For a continuous sensitivity range, the plan should state how the universal rule will be checked. If \(L(a)\) is continuous on a closed, bounded set \(\mathcal A\), then it attains a minimum there. In that special case, checking that this attained minimum exceeds \(\delta\) is equivalent to checking \(L(a)>\delta\) for every \(a\in\mathcal A\). Without conditions that guarantee attainment, the universal statement remains the safest formulation. Numerical grids can help explore a range, but checking only a finite grid does not establish the rule for every point between grid values unless additional reasoning bounds what can happen between them.
Worked Example: Verifying a Criterion Across a Closed Range
Suppose a hypothetical analysis varies one sensitivity parameter over \(a\in[0,1]\), and the planned lower confidence limit is \(L(a)=6.2-0.7a\) points. The clinically important threshold is \(\delta=5\) points. Assume this expression is the specified lower limit throughout the range, and the plan requires the rule to hold for every \(a\) in that range.
The function decreases as \(a\) increases, so its minimum on \([0,1]\) occurs at \(a=1\):
Since \(5.5>5\), the lower limit exceeds the threshold for every value in the planned range. Here the minimum-based check is valid because the range is closed and bounded and the specified function is continuous, so the minimum is attained. A plot or a sufficiently dense grid may illustrate the pattern, but the monotonicity calculation provides the actual justification. The conclusion remains conditional on the stated sensitivity range and the interval procedure.
Worked Example: An Infimum Is Not Always a Minimum
For a mathematical edge case, suppose configurations are indexed by positive integers \(n=1,2,\ldots\), and the planned lower limits are \(L(n)=5+1/n\) points. Let the threshold be \(\delta=5\) points. For every planned configuration, \(1/n>0\), so \(L(n)>5\). Thus the universal criterion holds.
However, there is no smallest lower limit: increasing \(n\) makes \(1/n\) smaller, but it never equals zero. The infimum is:
which is not greater than the threshold. Therefore, requiring the infimum to exceed 5 would incorrectly reject this case, even though every individual lower limit exceeds 5. A reporting plan for a general configuration set should retain the universal criterion unless attainment of a minimum has been established.
Diagnostics, Alternatives, and Limits
Several warning signs suggest that the summary plan is not doing its job. The reported scenarios do not match the prespecified set; the effect scale changes between scenarios; an interval method or confidence level changes without explanation; or the headline conclusion is based on a favorable scenario while other planned results are omitted. A display that contains only a p-value can also obscure whether effects are clinically important and how uncertain they are. These are reasons to check the reporting against the plan, not reasons to redefine the plan after seeing the estimates.
A complete table is often the clearest primary display for a finite scenario set. A plot is useful when the sensitivity parameter has a meaningful order or continuous range, because it can reveal trends, crossings of a clinical threshold, or abrupt changes. A concise summary can accompany either display, but should not replace it. A worst-case summary can be useful when its direction and criterion are explicit; for an infinite set, its calculation needs justification rather than a grid-based assertion. These displays answer complementary questions and are not interchangeable with a single “preferred” scenario.
Prespecification improves transparency, but it cannot make implausible assumptions plausible or identify unobserved outcomes from observed data alone. Robustness is always relative to the assumptions included, effect scale, uncertainty procedure, and criterion chosen. Results outside the planned set may be informative, but they should be identified as exploratory and distinguished from planned analyses. Finally, a pointwise interval-based robustness rule does not by itself establish simultaneous confidence coverage over many scenarios, nor does robustness under the chosen set prove that the assumptions encompass every credible possibility.
Check Your Understanding
Answer each question using the stated reporting rules. Brief solutions follow.
- A plan defines a benefit threshold of 2 points and requires every lower confidence limit to exceed it. Three planned lower limits are 2.4, 2.1, and 1.9 points. Is the conclusion robust under this rule?
- Why is checking a finite grid of parameter values not generally enough to establish a criterion over a continuous range?
- For every positive integer \(n\), let \(L(n)=4+1/n\) points and let \(\delta=4\) points. Does every scenario meet the universal rule? Is the infimum greater than the threshold?
- What additional interpretation is needed when a report shows separate 95% intervals for many sensitivity configurations?
Solutions. (1) No. The third lower limit, 1.9 points, is not greater than 2, so the universal condition fails. (2) Values between grid points may violate the rule; a grid establishes the result only with added mathematical justification, such as a bound or a valid optimization argument. (3) Yes, because \(1/n>0\) for each \(n\), so every \(L(n)>4\). But \(\inf_{n\geq1}L(n)=4\), which is not greater than the threshold; the infimum is not attained. (4) State that the intervals are pointwise and conditional on their respective configurations and models. Separate 95% intervals do not automatically provide 95% simultaneous coverage across all configurations.