第六级工程验证协议 · 04

MuJoCo 机器人仿真资产复现与迁移验证协议

把一个“能够加载”的机器人模型转化为版本锁定、可重建且可审查的仿真证据基线,并把任何实体迁移主张严格限制在已测边界内的第六级工程协议。

证据状态仿真证据协议 · 不证明实体保真度或机器人安全一手资料核对日期:2026 年 8 月 5 日

协议范围

先限定要证明什么,也明确这份协议不批准什么。

适用于一个已声明的 MuJoCo Menagerie 模型、场景与运行环境,用于复现结构、数值和行为实验;只有在存在对应实体机器人及实测信号时,才进行有边界的实体对照。不包括制造发布、系统安全批准、认证或自主部署。

配置基线

任何动作之前,先把物理系统、软件环境和运行包络固定下来。

01

资产、来源与权利身份

必须记录

Menagerie 提交、准确模型目录、XML 与网格校验和、场景文件、本地修改、上游来源、目录 README、许可证及版权声明。

拒绝条件

若文件、来源、本地修改或适用许可声明无法对应,不得开始。

02

编译器与运行环境身份

必须记录

MuJoCo 发布版或提交、模型最低版本、平台、架构、依赖锁、加载路径、编译选项及干净环境重建说明。

拒绝条件

若结果只能在未记录的工作站状态中运行,应拒绝。

03

数值物理契约

必须记录

单位、时间步长、积分器、求解器、迭代与容差设置、重力、接触、摩擦、等式约束、执行器动力学及传感器定义。

拒绝条件

若依赖隐藏默认值、单位含混,或时间步长与求解器组合未经声明和压力测试,应拒绝。

04

实验与主张契约

必须记录

场景、控制器、初始状态、随机种子、扰动分布、运行次数、记录信号、比较指标、容差及被检验的准确主张。

拒绝条件

若成功规则或比较窗口是在看到结果后才选定,不得接受该复现。

分阶段验证

一次只打开一个新的能量、运动或自主性包络。

  1. 01 · 权利与不可变资产身份

    继续必须有证据,停止必须有执行者。
    方法

    冻结上游提交与准确资产子集;盘点 XML、网格、纹理及支持文件;单独记录修改;保留适用于所选模型的声明。

    应保留证据

    来源清单、文件树、校验和、修改补丁与许可声明包。

    进入下一阶段

    审查者能够把每个已加载文件对应到不可变来源或已声明本地修改。

    立即停止

    来源文件缺失、二进制资产无法解释、声明不兼容或替代项未记录时停止。

  2. 02 · 干净环境加载与依赖闭合

    继续必须有证据,停止必须有执行者。
    方法

    从零构建已声明环境,加载并编译模型与场景,捕获警告;在可行时于第二个干净运行环境重复。

    应保留证据

    依赖锁、构建日志、编译器输出、警告登记与机器可读环境报告。

    进入下一阶段

    准确资产无需未声明文件、未解决警告或工作站手工修补即可加载。

    立即停止

    出现依赖缺失、静默资产回退、版本敏感失败或记录中没有的手工编辑时停止。

  3. 03 · 结构、单位与静态审查

    继续必须有证据,停止必须有执行者。
    方法

    检查刚体与关节树、坐标系、限位、惯量、质量、碰撞几何、接触、执行器与传感器映射,再执行已声明的静态位姿和重力检查。

    应保留证据

    编译后结构报告、单位表、参数字典、带标注坐标图及异常登记。

    进入下一阶段

    每个重要参数都有单位、含义与来源;静态检查符合已声明模型意图。

    立即停止

    出现不可能惯量、轴向反转、未声明缩放、相互穿透、碰撞覆盖缺失或执行器/传感器不匹配时停止。

  4. 04 · 数值敏感性与稳定性

    继续必须有证据,停止必须有执行者。
    方法

    运行已声明实验,并在预先声明的诊断矩阵内扰动时间步长、积分器、求解器、迭代、容差及接触参数。

    应保留证据

    敏感性矩阵、求解器统计、能量与约束轨迹、发散案例及保留的失败日志。

    进入下一阶段

    结果保持在声明容差内,或其敏感性已被明确限定和解释。

    立即停止

    出现无法解释的不稳定、合理设置下结论实质不同、警告被隐瞒或只挑选稳定运行时停止。

  5. 05 · 确定性与统计复现

    继续必须有证据,停止必须有执行者。
    方法

    复现固定状态、固定种子的黄金运行,再重复已声明的种子与扰动分布;依据冻结容差比较原始轨迹与结果分布。

    应保留证据

    黄金轨迹、复现哈希、种子清单、运行矩阵、结果分布及全部失败复现。

    进入下一阶段

    第二名操作者无需修改代码、阈值或试验分布即可复现所述结果。

    立即停止

    测试后修改阈值、种子缺失、非确定性没有统计说明或失败运行被移除时停止。

  6. 06 · 有边界的实体迁移对照

    继续必须有证据,停止必须有执行者。
    方法

    仅在存在对应实体系统时,于有防护的低能量任务中复现,并比较预先声明的关节状态、接触时序、电流或任务结果等观测量;对模型残差建模,而不是隐藏残差。

    应保留证据

    机器人配置身份、已校准传感器记录、时间对齐的仿真/实体轨迹、残差分析、人工介入及未解决差异登记。

    进入下一阶段

    迁移证据仅针对已测观测量、配置、任务、环境与容差陈述。

    立即停止

    出现不安全动作、硬件不匹配、数据未同步、传感器未校准,或试图从仿真一致性推断安全时停止。

验收主张

每项结论都必须同时写出测量方法与适用边界。

01

资产可重建

如何测量

干净环境取得已锁定来源,并在无未声明介入下编译准确模型。

主张边界

可重建不代表正确、优质,也不代表已获得所有下游用途许可。

02

模型结构可审查

如何测量

审查者能够把单位、坐标系、惯量、碰撞、执行器与传感器参数追溯到已声明来源或假设。

主张边界

参数表完整不代表实体系统辨识已成立。

03

实验可复现

如何测量

第二名操作者能在预先声明的数值容差内复现冻结轨迹或分布。

主张边界

可复现的仿真仍可能稳定复现同一个建模错误。

04

迁移陈述有边界

如何测量

报告明确写出准确实体配置、已测观测量、残差、环境以及到期或复测触发条件。

主张边界

选定观测量一致不构成通用数字孪生、安全或部署主张。

证据包与边界

让下一名工程师能够复核、复现、拒绝或批准下一步。

最低证据包

  • 锁定来源、许可声明与校验和清单
  • 运行环境、编译器与依赖锁及干净构建日志
  • 编译后结构、单位、坐标系与参数来源报告
  • 包含失败的黄金、敏感性与扰动轨迹
  • 适用时的实体对照轨迹与残差报告
  • 决定、已知未知、有效边界与复测触发条件

本协议不能替代

  • 不是制造图纸、BOM 或生产发布
  • 不证明系统辨识、通用实体保真度或完整数字孪生
  • 不是机器人安全论证、认证或合规结论
  • 不构成对全部捆绑或上游资产可用于拟议用途的法律判断

FUURAA 分析

真正可复用的是决策证据,而不是一次成功演示。

模型成功加载,或生成令人信服的视频,只是入场条件。可信仿真证据需要不可变的资产身份、明确的数值契约、可复现轨迹、敏感性测试;若主张迁移到实体,还必须展示与一个已测系统绑定的残差。因此,FUURAA 把仿真视为有边界的证据工具,而不是通往实体真相的捷径。

一手来源

协议从一手资料出发,但每次实物采用仍需重新验证。

Google DeepMind · MuJoCo Menagerie一手精选模型集合、目录结构、最低版本、来源及逐模型许可说明仓库创建于 2022 年 9 月 5 日;活跃集合核对于 2026 年 8 月 5 日MuJoCo · Modeling guide模型编译、默认值、坐标、求解器选项及时间步相关稳定性的一手语义参考MuJoCo 3.11.0 活文档;版本发布于 2026 年 7 月 28 日,核对于 2026 年 8 月 5 日MuJoCo · XML referenceMJCF 元素、属性、默认值、单位、接触、执行器与传感器的一手参考MuJoCo 3.11.0 活文档;版本发布于 2026 年 7 月 28 日,核对于 2026 年 8 月 5 日MuJoCo · Computation数值管线、动力学、约束及积分的一手参考MuJoCo 3.11.0 活文档;版本发布于 2026 年 7 月 28 日,核对于 2026 年 8 月 5 日
返回相关第五级技术档案 →