Scope and Boundaries
Structural Assurability concerns the relationship among a system, a claim, an evaluator, available evidence, and resource constraints.
It formalizes whether relevant evidentiary capabilities are structurally available under stated conditions.
It does not determine whether the claim is true.
It also does not define a universal measure of trustworthiness, safety, transparency, explainability, or system quality.
Greater Structural Assurability means that a system enables additional claim-material evidentiary capabilities under the specified assurance model and comparative context.
Additional capabilities do not necessarily provide additional claim-resolving information. Two systems may have different capability profiles while their observation models have the same ability to resolve a particular claim.
Evidentiary capabilities may contribute to an assurance argument without determining the truth of the claim.
The formal theory therefore stops before the final inferential judgment of an assurance argument.
Source of Truth
See the authoritative Lean core and the repository authority statement.