PTBCC's prototype-sharing mechanism, exact Val5 gain and structural efficiency survive direct execution. The registered headline macro and prototype-count peak do not reproduce under the printed algorithm on every publicly recoverable native dataset; both caveats are bounded explicitly.
