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