BeTaL-GBI：几何信念接口的准入感知基准调整和全栈验证

验证基础在暴露其声明中的错误（而不仅仅是模型输出）时更加可信。 GBI-DCSE v3 伪造了一个架构声明：报告的 Fisher 值 epsilon ~ 0.066 仅在切片 [epsilon, 3, 4, 5] 上满足 kappa^2 <= 10^4 预算，而完整框 [epsilon, 20]^4 需要 epsilon ~ 0.326472。此勘误强调了企业验证架构是否可以隔离接口故障、任务能力、策略可接受性和控制完整性，同时保持索赔可审核。 BoundaryBench v0.1 建立了基线：Qwen3-4B-Instruct-2507 完成了 768 次冻结执行，但 0% 清除了合约（369 次解析失败，399 次验证失败），限制了下游选择性指标。这项配套研究评估了三个连续的改进。首先，BeTaL-GBI v0.2 在 2,218,750,380 个网格点上使用 LLM 在环进行基准调优，将格式准入与条件性能分开（rho_adm = N_admiss/N；rho_task = N_verified/N_admiss）。模式修复后，无模型反馈搜索实现了 2.87% 的平均保留目标差距，优于无反馈基线 (13.61%, 11.46%)。其次，GBI v2 将静态密钥交换为独立于参考的见证状态 W 和策略 P。在 512 个综合任务中，16 门策略检测到所有 116 个注入的严重矛盾并接受所有 99 个干净记录（宽分母：4.27％）。幻觉者和伪造证据的智能体被零沉默晋升所阻止。第三，GBI-DCSE v3 将 99 项声明映射到机器可读的证据：96 项可测试声明中的 95 项通过，其中 148 项独立检查执行无失败。该工具在 62 种配置中练习签名账本、PBFT 法定人数和 enclave 伪造。在综合条件下，GBI-DCSE 是一种选择性的、策略版本化的、自我审核的测试和路由基础。