可驗證的 AI 控制平面