Function main

targettests/execution/dem_from_kernel.cpp:262–309

}

int main() {
  // Trivial: kernel without QEC ops yields an empty DEM.
  runTrivial();

  // Detector / logical-observable source examples without any noise model.
  runNoNoiseCase("DEMO_NO_NOISE", demoKernel);
  runNoNoiseCase("DEMO_ROUNDS_NO_NOISE", demoKernel2, 2);
  runNoNoiseCase("DEMO_VEC_ROUNDS_NO_NOISE", demoKernel3, 2);

  // Test the builder path
  {
    auto kernel = cudaq::make_kernel();
    auto q = kernel.qalloc();
    auto m = kernel.mz(q);
    kernel.detector(m);
    kernel.logical_observable(m);
    auto qsA = kernel.qalloc(2);
    auto qsB = kernel.qalloc(2);
    auto prev = kernel.mz(qsA);
    auto curr = kernel.mz(qsB);
    kernel.detectors(prev, curr);
    runNoNoiseCase("BUILDER", kernel);
  }

  // Single noisy qubit, single detector: one X_ERROR mechanism, one
  // detector reference. No observable.
  runCase("SINGLE_NOISY", singleNoisyDetector{});

  // Three noisy measurements with multi-handle detector and observable.
  runCase("THREE_MZ", threeMzMultiDetector{});

  // Memory experiment, two rounds, three cross-round detectors plus one
  // multi-target observable.
  runCase("MEM_EXP_2R", memoryExperimentTwoRounds{});

  // Vectorized stdvec form producing the same shape as MEM_EXP_2R.
  runCase("VECTORIZED", vectorizedDetectors{});

  // Measurement-dependent control flow must be rejected with a clear
  // diagnostic. The single-trajectory recorded circuit cannot represent
  // measurement-conditional gates.
  runNoNoiseCase("CONDITIONAL", conditionalKernel{});

  // Non-Clifford gate must surface as a Stim diagnostic.
  runNoNoiseCase("NON_CLIFFORD", nonClifford{});

  return 0;
}

// CHECK: TRIVIAL errors=0 detectors=0 observables=0
// CHECK: DEMO_NO_NOISE errors=0 detectors=1 observables=1