JAXA has published its updated requirements management framework developed during the Martian Moons eXploration (MMX) mission. The framework introduces probabilistic requirement verification for deep space environments where deterministic verification is infeasible.