资产、来源与权利身份
必须记录Menagerie 提交、准确模型目录、XML 与网格校验和、场景文件、本地修改、上游来源、目录 README、许可证及版权声明。
拒绝条件若文件、来源、本地修改或适用许可声明无法对应,不得开始。
第六级工程验证协议 · 04
把一个“能够加载”的机器人模型转化为版本锁定、可重建且可审查的仿真证据基线,并把任何实体迁移主张严格限制在已测边界内的第六级工程协议。
协议范围
适用于一个已声明的 MuJoCo Menagerie 模型、场景与运行环境,用于复现结构、数值和行为实验;只有在存在对应实体机器人及实测信号时,才进行有边界的实体对照。不包括制造发布、系统安全批准、认证或自主部署。
配置基线
Menagerie 提交、准确模型目录、XML 与网格校验和、场景文件、本地修改、上游来源、目录 README、许可证及版权声明。
拒绝条件若文件、来源、本地修改或适用许可声明无法对应,不得开始。
MuJoCo 发布版或提交、模型最低版本、平台、架构、依赖锁、加载路径、编译选项及干净环境重建说明。
拒绝条件若结果只能在未记录的工作站状态中运行,应拒绝。
单位、时间步长、积分器、求解器、迭代与容差设置、重力、接触、摩擦、等式约束、执行器动力学及传感器定义。
拒绝条件若依赖隐藏默认值、单位含混,或时间步长与求解器组合未经声明和压力测试,应拒绝。
场景、控制器、初始状态、随机种子、扰动分布、运行次数、记录信号、比较指标、容差及被检验的准确主张。
拒绝条件若成功规则或比较窗口是在看到结果后才选定,不得接受该复现。
分阶段验证
冻结上游提交与准确资产子集;盘点 XML、网格、纹理及支持文件;单独记录修改;保留适用于所选模型的声明。
来源清单、文件树、校验和、修改补丁与许可声明包。
审查者能够把每个已加载文件对应到不可变来源或已声明本地修改。
来源文件缺失、二进制资产无法解释、声明不兼容或替代项未记录时停止。
从零构建已声明环境,加载并编译模型与场景,捕获警告;在可行时于第二个干净运行环境重复。
依赖锁、构建日志、编译器输出、警告登记与机器可读环境报告。
准确资产无需未声明文件、未解决警告或工作站手工修补即可加载。
出现依赖缺失、静默资产回退、版本敏感失败或记录中没有的手工编辑时停止。
检查刚体与关节树、坐标系、限位、惯量、质量、碰撞几何、接触、执行器与传感器映射,再执行已声明的静态位姿和重力检查。
编译后结构报告、单位表、参数字典、带标注坐标图及异常登记。
每个重要参数都有单位、含义与来源;静态检查符合已声明模型意图。
出现不可能惯量、轴向反转、未声明缩放、相互穿透、碰撞覆盖缺失或执行器/传感器不匹配时停止。
运行已声明实验,并在预先声明的诊断矩阵内扰动时间步长、积分器、求解器、迭代、容差及接触参数。
敏感性矩阵、求解器统计、能量与约束轨迹、发散案例及保留的失败日志。
结果保持在声明容差内,或其敏感性已被明确限定和解释。
出现无法解释的不稳定、合理设置下结论实质不同、警告被隐瞒或只挑选稳定运行时停止。
复现固定状态、固定种子的黄金运行,再重复已声明的种子与扰动分布;依据冻结容差比较原始轨迹与结果分布。
黄金轨迹、复现哈希、种子清单、运行矩阵、结果分布及全部失败复现。
第二名操作者无需修改代码、阈值或试验分布即可复现所述结果。
测试后修改阈值、种子缺失、非确定性没有统计说明或失败运行被移除时停止。
仅在存在对应实体系统时,于有防护的低能量任务中复现,并比较预先声明的关节状态、接触时序、电流或任务结果等观测量;对模型残差建模,而不是隐藏残差。
机器人配置身份、已校准传感器记录、时间对齐的仿真/实体轨迹、残差分析、人工介入及未解决差异登记。
迁移证据仅针对已测观测量、配置、任务、环境与容差陈述。
出现不安全动作、硬件不匹配、数据未同步、传感器未校准,或试图从仿真一致性推断安全时停止。
验收主张
干净环境取得已锁定来源,并在无未声明介入下编译准确模型。
主张边界可重建不代表正确、优质,也不代表已获得所有下游用途许可。
审查者能够把单位、坐标系、惯量、碰撞、执行器与传感器参数追溯到已声明来源或假设。
主张边界参数表完整不代表实体系统辨识已成立。
第二名操作者能在预先声明的数值容差内复现冻结轨迹或分布。
主张边界可复现的仿真仍可能稳定复现同一个建模错误。
报告明确写出准确实体配置、已测观测量、残差、环境以及到期或复测触发条件。
主张边界选定观测量一致不构成通用数字孪生、安全或部署主张。
证据包与边界
FUURAA 分析
模型成功加载,或生成令人信服的视频,只是入场条件。可信仿真证据需要不可变的资产身份、明确的数值契约、可复现轨迹、敏感性测试;若主张迁移到实体,还必须展示与一个已测系统绑定的残差。因此,FUURAA 把仿真视为有边界的证据工具,而不是通往实体真相的捷径。
一手来源