C.2.2:4.2 - What Reliability R means in KD‑CAL
Definition DEF‑C2.2‑2 (Reliability as warrant).
R is a conservative, evidence-bound indicator of how strongly the claim “holds as stated” under its declared U.ClaimScope and the separately named evidence and use conditions. It is interpreted as warrant strength, not as truth.
Prophylactic clarification.
- A higher
Rmeans stronger warrant only within the same declared quantity, scale, claim, and receiving model. A number from another model is not automatically comparable. - A higher
Fmeans “the claim’s form is amenable to higher-formality checking and wider reuse,” but does not itself imply the claim is warranted. - A larger
Gmeans “the claim applies to more cases,” but does not itself imply the claim is warranted in those cases.