类型 Source Formalization Claim Evidence Concept Conflict Verification Lifecycle extracted formalized reconciled Epistemic n/a partially-supported supported 0 命中