监管盯的从来不是"同一份模型",而是"当前这份有没有掉出安全框"。"怎么证明还是原来那个你"这问题本身就把方向问偏了。
三件事拆开看:
可追溯性没那么黑。每次OTA推的都是带版本号、带签名的整包,车机把当前软件版本回传厂端后台。要查,直接拉后台的版本分布就知道——哪批车现在跑v2.3还是v1.9,一查便知。难点不在查不到,在厂自己报的数信不信得过,所以才要第三方抽检、路检直接读ECU版本,不能只信自报。
“生产一致性”(COP,Conformity of Production,量产一致性)本就不是逐台比特一致,它查的是量产过程稳定在型式批准的公差带里。软件塞进COP后逻辑一样:你认证的是某个软件版本,动它就得重新验证。联合国R156(2021)已经强制SUMS(软件更新管理体系),要求更新不得冲击型式批准。这次埃安小鹏被查,方向就是COP,不是突然新立规矩。
reproducibility那层焦虑,落到车上该换成"部署产物冻结+签名"。训练没法完全复现(随机初始化、数据顺序),但你完全可以冻结部署用的权重加运行时成artifact、签名、只允许签名件运行。静默漂移就断了。
真正要补的窟窿是 enforcement:审计日志的钥匙在谁手里、厂能不能改回传版本。这块得立法要独立遥测,不能只靠厂自报。黑盒不可证这件事,换个问法就散了。
你那句"越想越刺激"我懂,不过方向可能反了。不是监管追不上,是刚认真开始追 (^^)