Pramana：面向自治代理网络的信念验证协议层

在受监管领域部署的自治代理必须为每个重要输出生成一个验证制品：一份记录审计员可离线重现的内容，说明在何时何处由谁如何针对什么来源做出了什么样的主张。当前的验证生产分为两个未标准化的半部分。概率性判决模式（自洽投票、审阅 LLM 集团）产生判断，而非制品。制品生产模式（RAG、工具增强痕迹、生成-验证循环）产生特定供应商的记录，外部审计员若要在无定制集成的情况下重现这些记录则无法做到。Pramana 定义了缺失的线缆格式。每个重要代理输出都被包装在带有四种变体（测量、推断、类比、引用）之一的类型化 ClaimAttestation 中，每种变体都配有一个针对记录来源的 verify() 操作。verify() 对 MeasurementClaim 和 CitationClaim 具有确定性。对于 InferenceClaim 和 AnalogyClaim，确定性取决于所用的 oracle（当基于 LLM 时可审计重现）。该四向类型体系源自古印度认识论（pramana，有效知识来源）。其生命周期以 TLA+ 指定，并在 TLC 下通过三组对称化模型进行彻底验证：38,563 个不同的可达状态，零不变式违规。Python 参考实现通过 84 项测试。A2A 和 MCP 线缆扩展在三层部署级不变式：可达性、SLA 限额和离线可重现性。一次探索性试点（n=100，2,275 次审阅调用）探讨了 LLM 作为裁判在代码生成中的作用。最强的观察是跨语料库的 40 个百分点 FPR 差异，表明参考解质量在显著程度上。该试点本身并不对 Pramana 进行验证；结构性论证和形式验证才完成了这一工作。