Usually QEC is treated in two different ways.
- Definition of a logical computation with a non-destructive QEC scheme
- Definition of a encoding-decoding scheme with destructive measurement after decoding
Is it possible to merge these two approaches in order to get something like:
encoding -> logical computation -> detection -> correction -> decoding
This would be really helpful as at the end I need to perform QPT on the circuit.