Use stim.solve_flow_measurements to support logical readouts like READOUT IN0.LX0 IN1.LX1 (measuring one joint logical operator). It tries to solve a measurement flow from input logical observables to concrete physical measurements and then XOR with any other physical measurements in the READOUT line. This can make user's life simpler when they know that some physical measurements are measuring a logical observable but don't know exactly which set of physical measurements it measures. Also, this should pick up the signs automatically.
Be careful with annotate tool, especially with COMPOSE: the READOUT must expand to full physical measurements before composing. Make sure to include test cases for these use cases.
Use stim.solve_flow_measurements to support logical readouts like
READOUT IN0.LX0 IN1.LX1(measuring one joint logical operator). It tries to solve a measurement flow from input logical observables to concrete physical measurements and then XOR with any other physical measurements in the READOUT line. This can make user's life simpler when they know that some physical measurements are measuring a logical observable but don't know exactly which set of physical measurements it measures. Also, this should pick up the signs automatically.Be careful with annotate tool, especially with COMPOSE: the READOUT must expand to full physical measurements before composing. Make sure to include test cases for these use cases.