Definition. Elicitation [ftip-0005]

Fix a capability claim in Convention [ftip-0003], a prespecified successful behaviour event \(B\), and a tolerance \(\varepsilon >0\). Let \(p_0(B)\) be the probability of \(B\) under the declared starting procedure and \(p_1(B)\) its probability after the intervention, both measured by the same evaluator. An elicitation witness is an observed increase \[ p_1(B)>p_0(B)\quad \text {with}\quad p_0(B)\geq \varepsilon . \] It witnesses improved access to behaviour that was already observable at the declared starting budget.

The event \(B\), tolerance \(\varepsilon \), sampling procedure, and confidence rule are part of the claim. Changing any of them changes what the witness means.