Quantum / CONCEPT

RetainedLocalProtocol

For every finite local instrument tree and every input matrix with arbitrary finite inaccessible garbage and untouched spectator, tracing the recursively retained outputs reproduces the complete coarse terminal and prefix lists. At every nonterminal root the internally selected spectral Kraus data reproduce its actual CP action on every local matrix. Later operations leave old garbage coordinates untouched and branch only on observed outcomes.