Description
Return reported±halfwidth clipped to [0, 1].
Evidence weights and credences are numerical representations under a chosen model. Likelihood ratios, probabilities, logarithmic weights and confidence bounds have different meanings; one local calculation does not establish the truth of a claim.
Return reported±halfwidth clipped to [0, 1].
When to use this tool
Use Prior Credence Rounding Envelope when you need an explicit evidence-weight or probability-consistency term.
How to use the tool and how it works
- Enter reported, halfwidth. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read lower, upper. Use the output convention below.
Require reported probability in [0, 1] and nonnegative halfwidth. Return reported±halfwidth clipped to [0, 1].1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| reported | Reported | Required. Finite number; minimum 0; maximum 1. |
| halfwidth | Halfwidth | Required. Finite number; minimum 0. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| lower | Lower | Required. Finite number. |
| upper | Upper | Required. Finite number. |
{
"input": {
"reported": 0.5,
"halfwidth": 0.05
},
"output": {
"lower": 0.45,
"upper": 0.55
}
}Limitations and assumptions
- The envelope is caller specified, not an estimated confidence or credible interval or verified rounding error bound.
- Inputs must satisfy both the field types and the cross-field conditions above. Invalid input causes an error; a successful false flag or documented placeholder is a different result.
- Numeric calculations use binary floating point unless exact decimal-integer arithmetic is explicitly stated. No hidden measurement tolerance or decimal rounding is added; nonfinite or out-of-contract results are rejected. Numeric signed-zero results are exported as zero.
Alternative or Complementary methods
Evaluate source quality and the complete inference model. Check likelihood meaning, dependence, prior assumptions, normalization and uncertainty rather than substituting counts or weights for justified evidence.
References
Similar or alternative tools
- Assertion Confidence Interval Width
Return upper-minus-lower width and arithmetic midpoint.
- Belief Consistency Probability Bound Gap
Compute Fréchet lower max(0,p+q-1) and upper min(p,q), their signed conjunction slacks and inclusive coherence.