Function verifyBlockCitations

tools/debug-console/lib/verify-citations.ts:197–283

(
  answerText: string,
  blockRefs: BlockRefSpec[],
  opts: { useJudge?: boolean } = {},
)

}

export async function verifyBlockCitations(
  answerText: string,
  blockRefs: BlockRefSpec[],
  opts: { useJudge?: boolean } = {},
): Promise<CitationVerifyResult> {
  const useJudge = opts.useJudge ?? judgeAvailable();
  const brokenAnchors: string[] = [];
  const downgraded: string[] = [];
  const unverified: string[] = [];

  const byKey = new Map<string, BlockRefSpec>();
  for (const r of blockRefs) if (!byKey.has(r.key)) byKey.set(r.key, r);
  const uniq = [...byKey.values()];

  const reads = await Promise.all(
    uniq.map((r) =>
      executeTool("read_block", { path: r.path, anchor: `^${r.anchor}` }).then((res) => ({ r, res })),
    ),
  );

  const grays: Array<{ key: string; claim: string; content: string }> = [];

  for (const { r, res } of reads) {
    if (!res.ok) {
      if (errorIsNotFound(res.error || "")) {
        brokenAnchors.push(r.key);
        downgraded.push(r.key);
      } else {
        unverified.push(r.key); // 网络/超时 → 不降级
      }
      continue;
    }
    const content = blockContent(res.data);
    if (!content.trim()) {
      unverified.push(r.key);
      continue;
    }
    if (blockKind(res.data) === "heading") continue; // heading 指整节、只回标题行，豁免

    const ctxs = claimContextsFor(answerText, r.key).filter((c) => hasSalient(c));
    if (ctxs.length === 0) continue;

    const blockTok = hardNumericTokens(content);
    let hardSupported = false; // 某出现处被块的 strong 要素命中 → 整 key 保留
    let numericMismatch = false; // 某出现处有 strong 要素、块全未命中
    let needsJudge = false; // 纯定性 / 仅年份 → 灰区
    let judgeClaim = "";
    for (const ctx of ctxs) {
      const ct = hardNumericTokens(ctx);
      if (ct.strong.size >= 1) {
        if (matchHits(ct, blockTok).strongHit >= 1) hardSupported = true;
        else numericMismatch = true;
      } else {
        // 仅年份 或 无硬要素 → 不凭启发式定，交灰区
        needsJudge = true;
        if (!judgeClaim) judgeClaim = ctx;
      }
    }