TY - RPRT TI - Substep Linearizability: Relaxing Atomicity While Preserving Sequential Specification AU - Finn Hackett AU - Evan Wrench AU - Ivan Beschastnikh AU - Yuanhao Wei PY - 2026 UR - https://arxiv.org/abs/2610.16099 ID - 2610.16099 ER -