Exact finite checks and a schedule explorer

# Negative accounting check: one declared workspace qubit # raises a three-input module's peak from three to four. workspace_module = ( Module("with_workspace", frozenset(("a", "b", "c")), frozenset(("out",)), frozenset(), 4), ) qw, _ = optimize_schedule( ("a", "b", "c"), workspace_module, batch=True ) need(qw == 4, "workspace was not counted") return "single_stream": (q1, p1), "patch_stream": (q2, p2), "patch_batch": (qb, pb)

def main(): stabilizer_group() code = encoded_integer_vectors() check_low_weight_privacy(code) check_batch_certificate(code) check_stream_certificate(code) check_npt_symbolic_certificate() schedules = check_schedules() print("Exact finite code and decoder checks: PASS") print("Declared finite schedule-class optima:", schedules) print("A pass is not a universal or formal proof certificate.")

if __name__ == "__main__": main()