런타임 단언(Runtime assertions)은 양자 프로그램을 테스트하고 디버깅하기 위한 유망한 메커니즘입니다. 하지만 고전 세계와 달리, 여러 개의 단언을 포함하는 양자 프로그램을 검사하는 것은 종종 추가적인 공간을 사용하거나 프로그램을 추가적으로 실행해야 하는 경우가 많습니다. 예를 들어, 중간 회로 측정(mid-circuit measurement)이 제한적이거나 비용이 많이 드는 현재의 양자 하드웨어에서는, 단언의 통과/실패 결과가 즉시 드러날 수 없습니다. 대신, 이는 실행 중에 보조 큐비트(ancilla qubit)로 라우팅되어 최종 측정에 의해 읽어 나갑니다. $n$개의 단언을 가진 프로그램의 경우, 단순한 전략은 모든 $n$개의 결과를 학습하기 위해 $n$개의 보조 큐비트를 사용하며, 대안적인 방법은 하나의 보조 큐비트를 사용하지만 라운드를 거쳐 프로그램을 $n$번 반복 실행하여 라운드당 하나의 단언을 검사합니다. 둘 다 $S imes T = O(n)$을 만족하는데, 여기서 $S$는 보조 큐비트의 수이고 $T$는 실행 횟수입니다: 근본적인 시간-공간 t