The world science festival has a good video about this: https://www.youtube.com/watch?v=HnETCBOlzJs - The "correction" could very well be reconciliation, the output of what plays out in the program + the program is procedurally generated based on the outputs. Another good talk is this one by John Preskill from 2015: https://www.youtube.com/watch?v=SW2rlQVfnK0
