C.2.2:4.5 - Effective reliability under reuse: a justified loss model

Definition DEF‑C2.2‑4 (Effective reliability under reuse). A relied-on relation may introduce loss in the support for the receiving claim. Name that relation and its scope, semantic, notation, model-use, evidence-reuse, kind, or reference-plane rule. The corresponding CL, CL^k, or CL^plane is an ordinal summary belonging to that relation family; the ranks are not amounts to subtract from R.

A quantitative loss model names the receiving quantity and scale, input meanings, dependencies, loss interpretation, derivation or calibration, and applicability assumptions under B.3. If the model uses functions Φ, Ψ, Φ_plane, and a combining operation Π, cite their actual definitions and versions. A policy identifier, table, monotonicity, boundedness, or clipping to [0,1] does not by itself justify any of them.

For a loss-only interpretation on an ordered scale, worsening fit cannot by itself count as an improvement in warrant. The model must justify any pathwise CL minimum, repeated-loss treatment, or neutral term for an absent relation. Preserve separately justified ordinal chain-congruence operations in C.3.3; they do not provide a numerical R penalty.

Positive quantitative illustration, not a default. Suppose a receiving claim requires events A and B. An applicable model and evidence establish P(A) ≥ 0.82 and P(¬B) ≤ 0.15 for the same use. The probability bound P(A ∩ B) ≥ max(0, 0.82 − 0.15) = 0.67 follows without an independence assumption. Here 0.67 is a lower bound, not a point estimate or a generic confidence score. The 0.15 term comes from the stated bound on failure of B, not a CL rank. If those event meanings or bounds are unavailable, the calculation is unavailable.

Reuse conditions. Apply a relation’s justified admissibility or protection condition to the named use before relying on it; neither this pattern nor a bare CL rung creates a universal waiver obligation. If the condition is unsupported, limit or stop that reliance while retaining any independently supported source conclusion.