LedgerQL：让本地开源模型用 SQL 回答 SEC 财报问题并强制验证答案依据

LedgerQL 是一个 text-to-SQL 管线，用本地开源权重模型（如 7B 经 Ollama、30B 级经 vLLM）对 SEC 财报写 SQL 回答自然语言财务问题，不调用任何托管 LLM API。每个问题只以三种状态结束：给出数据中的答案、说明假设的答案，或说明原因的拒答；答案中的每个数字、年份和财报标识都必须能在查询结果中找到，否则被扣留。开发集含 103 个案例，最终指标来自预注册的 80 题冻结 held-out 集，目前尚未运行，所有头条数字标记为 pending。