公式库

管理从 Listing 中观察到的结构，并保留每条公式的来源证据。Observed 只表示“看见过”，Validated 必须有明确、可追溯的人工验证依据。