返回 Papers
AI 底层逻辑 / 经典论文

AI Reasoning Budget:推理预算与验证级联架构

Reasoning budget 是运行时策略:系统在面对不同业务价值、客户影响、证据缺口、监管风险和时延约束时,决定是快速回答、检索证据、深度拆解、调用工具、运行 verifier、拒答,还是升级人工。Test-time compute 不是“让模型多想一会儿”,而是成本、质量、权限、证据和治理之间的动态资源分配。

425ai-foundations/papers/167-ai-reasoning-budget-test-time-compute-verifier-cascade-architecture.md

AI 推理预算架构:Test-Time Compute / Verifier Cascade / Reasoning Budget

配对阅读:本篇的操作手册版(模板/RACI/门禁/runbook)是 docs/AI_REASONING_BUDGET_TEST_TIME_COMPUTE_VERIFIER_CASCADE_PLAYBOOK.md。第一遍读本篇建立原理与架构判断;第二遍做案例时再用 playbook 查表落地,两者不需要重复精读。

Date: 2026-06-30
Status: evergreen
Audience: experienced CBAP / 金融零售 AI 产品与架构从业者 / AI governance lead


核心导读

Reasoning budget 是运行时策略:系统在面对不同业务价值、客户影响、证据缺口、监管风险和时延约束时,决定是快速回答、检索证据、深度拆解、调用工具、运行 verifier、拒答,还是升级人工。Test-time compute 不是“让模型多想一会儿”,而是成本、质量、权限、证据和治理之间的动态资源分配。

金融零售里的关键问题不是“多花 tokens 会不会更聪明”,而是简单 FAQ、内部摘要、信贷解释、AML narrative、KYC 异常、支付争议和监管投诉根因是否应该走同一条推理路径。Reasoning budget 把请求分类、证据需求、工具权限、verifier cascade、人工门禁、成本上限和时延 SLO 放进同一套 runtime policy;系统价值来自让推理强度和客户影响、监管暴露、事实缺口相称。

架构取舍在 fast path、evidence path、deliberation path 和 controlled decision path 之间展开。低风险请求需要稳定、便宜、低延迟;证据型请求需要检索来源和 citation verifier;复杂分析需要拆解、计算、交叉检查和不确定性表达;高影响场景需要 rule engine、独立 verifier、abstention、人工审批和可追溯 disposition。更多计算不等于更多权限,高预算也不等于自动决策。

评估证据要证明预算策略本身有效:tier classifier 是否把高风险请求正确升级,RAG 和工具调用是否真的降低 unsupported claim,verifier 是否校准,人工门禁是否捕获关键失败,成本/延迟是否在 SLO 内,事故后能否重放 budget decision、source ids、tool outputs、model config、output hash、approval event 和 final disposition。控制边界同样明确:隐藏推理草稿不是审计证据,不应暴露给客户或坐席;审计需要可复现的外部证据和决策记录,而不是模型内部思维过程。

问题定义

AI 产品上线后,最贵的不是单次模型调用,而是把所有问题都当成同一种问题处理。简单 FAQ、低风险摘要、高风险授信解释、AML case narrative、支付争议判断和监管投诉根因分析,不应该共享同一条推理路径、同一延迟预算、同一审计证据、同一人工复核策略。

Reasoning budget 指系统在运行时愿意为一次任务投入多少 deliberation resource:tokens、samples、retrieval passes、tool calls、verifier checks、human review time、queue priority 和 audit evidence capture。它的目标不是最大化推理长度,而是让推理强度与业务风险相称。

层级核心问题架构含义
Product value哪些场景值得慢一点、贵一点、稳一点用业务价值、客户影响、监管风险决定 budget tier
Risk control哪些结论必须被证据、规则、复核或审批约束把 verifier cascade 和 escalation 变成工作流门禁
SLO economics哪些请求必须实时返回,哪些可以异步处理把成本、延迟、质量、升级率纳入同一 scorecard
Governance evidence如何证明系统没有把内部推理草稿当审计证据保存输入、证据、版本、校验结果、审批动作,不保存或暴露 hidden chain-of-thought

本文不重复 CoT、self-consistency、process supervision、LLM-as-judge 或 prompt optimization 的基础介绍。这里关注企业如何把推理能力设计成可运营、可审计、可控成本的系统能力。

架构模型/核心原理

flowchart TB
  A[Business request] --> B[Risk and complexity classifier]
  B --> C{Budget tier}

  C -->|Tier 0 Fast path| F0[Direct response with schema checks]
  C -->|Tier 1 Evidence path| F1[RAG + grounded answer]
  C -->|Tier 2 Deliberation path| F2[Plan -> solve -> check loop]
  C -->|Tier 3 Controlled decision path| F3[Decompose + tools + verifier cascade + human gate]

  F0 --> V0[Safety and format check]
  F1 --> V1[Citation support verifier]
  F2 --> V2[Consistency, policy and calculation verifier]
  F3 --> V3[Independent verifier + rule engine + SME review]

  V0 --> D{Deliver, abstain, or escalate}
  V1 --> D
  V2 --> D
  V3 --> D

  D --> E[Customer or analyst output]
  D --> G[Runtime evidence packet]

  G --> H[Trace spans, source ids, policy versions]
  G --> I[Verifier results, risk score, abstention reason]
  G --> J[Human review action, final disposition]

架构图表达的是控制路径, 不是模型内部实现。企业不需要知道模型内部到底如何推理, 也不应该要求模型暴露 hidden chain-of-thought。企业能控制的是外部运行时: 是否检索证据、是否拆任务、是否调用工具、是否多次生成、是否运行 verifier、是否要求人工审批、是否记录证据。


核心架构模型

1. Request intake and risk classification

每次 AI run 先进入 request intake, 识别:

Signal示例用途
Use caseAML investigation, credit policy QA, complaint RCA匹配允许的 workflow 和控制清单
User rolefrontline agent, analyst, supervisor, customer决定可见信息、动作权限、解释深度
Customer impactinformational, operational, adverse decision support决定是否需要人工复核和证据包
Data sensitivityPII, account data, transaction data, credit data决定 redaction, retention, access control
Time criticalityreal-time call center vs back-office investigation决定 latency budget
Regulatory exposureAML, fair lending, UDAAP, dispute rights, complaints决定 verifier 和 escalation gates

风险分类器不必一开始就复杂。成熟做法是把规则、用例台账和模型分类结合:

budget_tier = f(use_case, action_type, customer_impact, uncertainty, data_sensitivity, user_role, channel_slo)

2. Budget tiering

Tier适用任务典型预算输出策略门禁
Tier 0 Fast path低风险 FAQ、格式改写、内部草稿1 model call, low max tokens, no extra retrieval unless required直接回答, 可带简短来源schema, safety, policy allowlist
Tier 1 Evidence path政策 QA、知识库问答、客服标准话术RAG top-k, one grounded generation, citation verifier回答 + 引用 + limitationsource support, freshness, no unsupported claim
Tier 2 Deliberation path投诉原因归类、支付争议初判、运营异常诊断plan/solve/check, limited tools, targeted verifier建议 + confidence + evidence summaryrule check, contradiction check, reviewer sampling
Tier 3 Controlled decision pathAML SAR support、信贷政策边界、客户不利影响解释decomposition, multiple evidence passes, deterministic tools, verifier cascade, human gaterecommendation only, no autonomous adverse actionindependent verification, mandatory human decision, audit packet

预算不是“越多越好”。高预算可能带来更长延迟、更高成本、更多表面合理化、更多隐私暴露面和更复杂的证据管理。关键是把预算和风险相称。

3. Decomposition and planner/solver/checker loop

复杂任务不要把所有要求塞进一个 prompt。推荐拆成三个角色, 但不要求一定是三个模型:

Role责任不能做什么
Planner把任务拆成可验证子问题, 选择需要的证据和工具不直接下最终业务结论
Solver根据证据、工具结果和规则生成候选结论不越过权限执行客户影响动作
Checker检查证据支撑、规则一致性、计算正确性、输出合规不把模型内部草稿当事实

示例: 支付争议 reasoning。

Planner:
1. 识别 dispute reason code.
2. 检查交易状态、授权方式、3DS/AVS/CVV 结果、merchant evidence.
3. 检查客户争议窗口和法规/卡组织时限.
4. 判断是否需要临时贷记、补件或人工审查.

Solver:
根据检索到的交易数据和政策版本生成建议处置。

Checker:
验证时限、金额、原因码、客户通知模板、证据引用和禁用话术。

4. Abstention and escalation

推理预算体系必须承认“不能答”和“不能自动决定”是正常产出。

Trigger系统行为用户可见表达
Evidence missingabstain or request missing field“当前资料不足, 需要补充 X 后才能判断。”
Policy conflictescalate to supervisor/compliance“该问题涉及政策冲突, 已标记人工复核。”
High customer impactrecommendation only“以下是供授权人员复核的建议, 不是自动决定。”
Verifier disagreementhold output, generate reviewer packet“系统发现证据与结论不一致, 需要人工确认。”
Latency breachdegraded mode“先返回可确认事实, 复杂判断转入异步处理。”

5. Hidden vs exposed rationale

企业系统应区分三类材料:

Material是否可对客户展示是否可作审计证据管理原则
Hidden model reasoning / scratchpad不保存或严格隔离, 不作为事实来源
Concise rationale可以, 需经模板和政策控制可作为输出记录面向用户解释“为什么”, 不暴露内部草稿
Evidence packet通常不直接展示全文, 可按权限查看保存 source ids, policy versions, tool results, verifier outcomes, reviewer actions

审计要的是可复现证据, 不是模型的完整思维过程。可复现证据包括: 输入摘要、检索来源、工具结果、规则版本、模型配置、输出哈希、verifier 分数、人工审批记录、最终业务处置。


关键机制

Policy 1: Risk-proportional compute

Risk levelRule
Low不允许为低价值请求无限增加 samples 或 verifier。通过 fast path 和缓存控制成本。
Medium必须有 evidence grounding, schema validation, basic contradiction check。
High必须有 decomposition、独立 verifier、人工复核或抽样、完整 evidence packet。
CriticalAI 只能生成建议或材料, 不得自动执行客户不利动作或监管申报。

Policy 2: Budget cannot override authority

更多推理 token 不等于更多权限。系统即使很“自信”, 也不能绕过:

  • 信贷拒绝、降额、冻结账户等 customer-impacting action 的授权流程。
  • AML/SAR 的法定流程和合规复核。
  • 支付争议的时限、通知和客户权利要求。
  • 投诉处置的监管分类、根因编码和整改流程。

Policy 3: Budget escalation requires evidence

从 Tier 1 升到 Tier 2 或 Tier 3, 必须记录触发原因:

Trigger示例
Uncertainty候选答案不一致, citation support 低
High impact可能影响授信、交易、投诉补救、监管报送
Policy edge规则例外、产品条款冲突、跨辖区要求
Evidence gap关键字段缺失或来源过期
User challenge客户或员工对答案提出异议

Policy 4: Stop conditions

系统需要明确何时停止继续消耗 test-time compute:

Stop condition处理
Evidence exhausted输出 insufficiency statement, 不继续猜测
Verifier hard fail阻断输出或转人工
Max latency reached返回 partial factual answer 或异步工单
Budget cap reached保存当前 evidence packet, 标记未决
Policy denial直接拒绝或升级, 不允许 prompt retry 绕过

Policy 5: Budget ownership

Owner责任
Product owner定义用例价值、用户旅程、可接受等待时间
Business control owner定义哪些任务必须人工复核或留痕
AI 架构责任设计 tiering、orchestration、verifier cascade 和 observability
Model risk / governance审批高风险用例的评估、证据和持续监控
Operations owner管理升级队列、人工复核 SLA、反馈闭环
Finance / platform owner管理 token cost, capacity, vendor spend, rate limits

Verifier cascade and evidence design

Verifier cascade 是把多个低耦合校验器按成本、确定性和风险影响排序。目标不是让某个 judge “裁判一切”, 而是用便宜、确定、可解释的检查先拦截明显问题, 再把复杂判断交给更昂贵的模型、规则或人工。

Cascade pattern

StageVerifier例子Fail action
V0Input and permission verifier用户是否有权访问账户、case、policydeny or redact
V1Schema and completeness verifier是否包含 reason code、policy id、amount、dateask for missing fields
V2Retrieval support verifier每个关键 claim 是否被 source id 支撑revise or abstain
V3Deterministic tool verifierAPR/DTI/期限/金额/时限计算是否正确block and rerun with corrected tool result
V4Policy rule verifier是否违反产品政策、监管口径、禁用承诺escalate or rewrite
V5Cross-case consistency verifier同类 case 结论是否明显偏离历史处理reviewer sampling or supervisor gate
V6Human expert verifierAML investigator、credit policy officer、complaints QAapprove, edit, reject, create finding

Evidence object design

建议每次 high-impact run 生成 reasoning_budget_evidence 对象:

Field示例
run_idai-run-20260630-aml-00031
use_caseAML alert narrative support
budget_tierTier 3
trigger_reasonhigh customer/regulatory impact, evidence conflict
model_config_hashhash of model id, prompt version, temperature, max tokens
source_refstransaction ids, policy ids, knowledge chunk ids
tool_resultssanctions screen result summary, DTI calculator result
verifier_resultsV1 pass, V2 fail then pass, V4 pass, V6 approved
abstention_or_escalationescalated to level-2 investigator
output_hashhash of delivered narrative
human_actionapproved with edits, reviewer id, timestamp
retention_policy7 years for AML case record, or local policy

不要把 hidden chain-of-thought 放进这个对象。需要记录的是控制结果和证据链接。


证据与控制

Product and operations metrics

Metric含义目标用法
budget tier mix各 tier 请求占比发现过度使用高预算或高风险请求被低估
cost per resolved case单个完成 case 的模型和工具成本和人工节省、损失减少、SLA 改善一起看
p50/p95 latency by tier不同预算层延迟证明 SLO 设计是否现实
abstention rate系统拒答或要求补证比例太低可能过度自信, 太高可能体验差
escalation rate转人工比例运营容量和控制强度的核心指标
verifier failure rate各 verifier 拦截率找到知识库、prompt、工具或政策缺口
unsupported claim rate无证据支撑的关键 claim 比例RAG 和输出治理关键指标
human override rate人工修改或推翻比例高于阈值时触发模型/流程复盘
repeat complaint / rework rate后续返工或投诉衡量真实业务质量

Control metrics

ControlEvidenceReview cadence
Budget tier assignment accuracy抽样复核 risk classifier 决策monthly
High-impact human gateTier 3 case approval logsweekly
Citation supportClaim-source support reportdaily dashboard
Policy version freshnessKnowledge base index version and policy release logeach release
Cost cap enforcementper use case budget dashboardweekly
Latency SLO breachtrace metrics and degraded mode eventsdaily
Hidden rationale protectionlog inspection, redaction tests, output safety evaleach release
Reviewer calibrationinter-reviewer agreement and QA findingsmonthly

Evidence model aligned to observability

OpenTelemetry 的 trace/span 思路可以映射到 AI reasoning workflow:

root span: ai.reasoning.run
  span: ai.budget.classify
  span: ai.context.retrieve
  span: ai.plan.create
  span: ai.solve.generate
  span: ai.tool.calculate
  span: ai.verify.citation
  span: ai.verify.policy
  span: ai.escalate.human
  span: ai.output.deliver

关键属性:

Attribute示例
ai.use_casecredit_policy_reasoning
ai.budget_tiertier_3
ai.budget_reasonadverse_action_support
ai.max_model_calls4
ai.max_latency_ms30000
ai.max_cost_usd0.35
ai.verifier_policycredit_v12_cascade
ai.abstention_reasonmissing_income_evidence
ai.human_gaterequired
ai.final_dispositionhuman_approved_with_edits

金融零售/AI产品场景

1. AML investigations

AML copilot 的高价值不是“自动判定可疑”, 而是减少 analyst 搜集材料和起草 narrative 的时间。

StepReasoning budget design
TriageTier 2: 总结 alert, 聚合交易模式, 检查客户画像偏差
Typology matchTier 3: 检索 typology library, 制裁/PEP/地理风险工具, verifier 检查 unsupported claim
Narrative draftTier 3: 只生成 analyst-facing draft, 必须人工批准
Evidence保存 transaction refs、typology ids、tool results、analyst edits、final disposition

关键控制: AI 不应把“看起来可疑”的语言变成事实断言。叙述必须区分 observed facts, policy indicators, analyst judgment。

2. Credit policy reasoning

信贷场景的 reasoning budget 要保护公平性、可解释性和授权边界。

StepReasoning budget design
Eligibility QATier 1: RAG 回答政策, 引用当前版本
Borderline assessmentTier 3: 调用 DTI/affordability 工具, 检查例外政策
Adverse action supportTier 3: AI 生成 reason candidates, 人类或规则系统决定最终原因
Evidence保存 policy version、input fields、calculation tool result、adverse reason mapping

关键控制: AI 不能生成未经验证的不利行动原因, 不能使用禁止变量或 proxy reasoning, 不能把内部推理作为客户解释。

3. Payment dispute reasoning

支付争议需要在客户体验、卡组织规则、监管时限和损失控制之间平衡。

StepReasoning budget design
Frontline intakeTier 1: 指导需要收集哪些事实, 不做最终拒绝
Case classificationTier 2: 根据 reason code、交易状态、时间线提出候选路径
Liability analysisTier 3: 调用交易工具、规则库、时限计算器, verifier 检查冲突
Evidence保存 transaction data refs、rule version、deadline calculation、customer notice template

关键控制: 若证据不足, 系统应要求补件或升级, 而不是为了给出答案而猜测。

4. Complaints root-cause analysis

投诉 RCA 适合 test-time compute, 因为它通常需要跨渠道、跨系统、跨政策的证据拼接。

StepReasoning budget design
Complaint summaryTier 1: 摘要客户主张、时间线、涉及产品
Root cause hypothesisTier 2: 生成多个候选根因, 每个候选必须引用证据
Regulatory classificationTier 3: 检查投诉分类、响应时限、补救要求
Evidence保存 case notes、call transcript ids、policy refs、RCA code、QA review

关键控制: 区分 customer allegation, confirmed fact, business error, systemic root cause, remediation action。

5. Contact center policy QA

Contact center 需要低延迟, 但不能牺牲政策准确性。

StepReasoning budget design
Live answerTier 1: RAG + citation, 强制短答案
Complex exceptionTier 2: 提醒转主管或创建 back-office task
Customer-facing languageTier 1/Tier 2: 禁用承诺、禁用法律结论、使用批准模板
Evidence保存 policy source ids、agent accepted/edited、call outcome

关键控制: 对话中不要展示内部推理。坐席需要的是可读话术、来源、限制和下一步。


反模式

Anti-patternWhy it failsBetter design
One prompt for every risk tier低风险浪费成本, 高风险缺控制按 use case、impact、uncertainty 分 tier
More tokens as universal fix增加成本和延迟, 不保证事实正确先增加 evidence, tools, deterministic checks
Saving full hidden reasoning for audit暴露敏感草稿, 混淆事实与推测保存 source refs, tool results, verifier outcomes
Letting confidence bypass controls自信不等于授权高影响动作必须走权限和人工门禁
Verifier only at final output错误已经污染上下文和结论input、retrieval、tool、policy、output 分层校验
No stop condition系统会 retry 到成本失控或产生幻想设置 latency, cost, evidence exhaustion, policy denial caps
Treating abstention as failure迫使模型在证据不足时编造把 abstention/escalation 作为合格结果
Unobserved reasoning workflows无法复盘成本、延迟、失败原因用 trace/span 记录每个预算和 verifier 决策
User-facing rationale copied from internal scratchpad可能泄露安全策略、错误分支、敏感信息生成独立的 concise rationale 和 evidence summary
Business owners not involved in tiering技术团队无法独自判断客户影响产品、风险与控制负责人 共同维护 policy

最终心智模型

把 reasoning budget 放在 AI platform 的 runtime policy layer,而不是让每个应用团队靠 prompt retry 自行处理。平台应提供 budget classifier、orchestration contract、verifier registry、tool permission model、OpenTelemetry instrumentation 和 evidence store;每个 use case 注册 risk tier、SLO、allowed tools、verifier cascade、human gate 和 retention policy。

Architecture areaReasoning budget roleDesign question
RAG决定是否检索、检索几轮、是否需要 citation verifier这个 claim 必须被哪个 source type 支撑?
Agent决定工具调用、计划深度、动作权限、停止条件哪些 tool 可以自动调用,哪些 action 只生成建议?
Copilot决定对员工展示多少 rationale、何时转人工用户需要的是答案、建议、来源,还是复核包?
Eval按 budget tier 建 golden set、challenge set、cost/latency eval高预算路径是否真的带来质量提升?
Governance将 tiering、abstention、human gate、evidence retention 纳入控制库谁批准某个用例进入 Tier 3 controlled decision path?
Observability记录每次预算选择、verifier 结果、成本和延迟事故后能否复盘为什么系统给出该建议?
Model risk验证模型变化对 tier mix、override、unsupported claim 的影响换模型是否导致高风险请求被更少升级?

最终判断标准:更多 token 不等于更多权限,高预算也不等于自动决策。低风险走 fast path,证据型问题走 RAG 和引用校验,高影响场景走拆解、确定性工具、verifier cascade、abstention 和人工门禁。审计需要的是 source ids、policy versions、tool outputs、verifier results、model config hash、output hash、human approval 和 final disposition,而不是模型内部草稿。

Source Anchors

SourceLink本文采用的思想
Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parametershttps://arxiv.org/abs/2408.03314Test-time compute 是可优化资源, 不是固定推理成本
Self-Consistency Improves Chain of Thought Reasoning in Language Modelshttps://arxiv.org/abs/2203.11171多路径推理可作为历史背景, 但企业应把它抽象为受控预算策略
Training Verifiers to Solve Math Word Problemshttps://arxiv.org/abs/2110.14168Verifier 思路启发“生成答案”和“检查答案”分离
NIST AI Risk Management Frameworkhttps://www.nist.gov/itl/ai-risk-management-framework将 AI 风险纳入 Govern, Map, Measure, Manage 的闭环
NIST AI RMF Generative AI Profilehttps://www.nist.gov/publications/artificial-intelligence-risk-management-framework-generative-artificial-intelligence生成式 AI 特有风险需要专项控制、评估和证据
ISO/IEC 42001https://www.iso.org/standard/81230.htmlAI management system 对责任、运行控制和持续改进的管理体系要求
OpenTelemetry Documentationhttps://opentelemetry.io/docs/用 trace, span, metrics, logs 设计 AI runtime evidence 和 SLO 监控

SOTA 状态标注 (2026-07-01)

本篇属于第二、三遍深读池(参考架构/深读笔记),未列入 12 周主线必读。时效基线为写作时点;引用前请按 CLAUDE.md 全局时效性硬规则复查最新进展。模块级 SOTA 对照见 docs/AI_SYSTEMATIC_LEARNING_ROADMAP_2026.md 各周「2026 SOTA 对照」行与文末「SOTA 检查」。