Algorithm R8 is described here as a fail-closed verification and provenance system for cloud-quantum experiments, not as a claim that a physical theory has already been proved. Netanel Siboni designed it to freeze an experimental contract, bind raw evidence to that contract, reconstruct the analysis offline, and ...