Axiom Dynamics 5: Transition Replay Verdict—Historical Taint, Bleach Impossibility, and Conservation Transmission

The object of a replay verdict is history, not the terminal state. This paper establishes a segment-by-segment dual-scale replay protocol on a finite Hornfragment, taking the initially pre-registered protected core Core0 as the sole finalinstance breach core, and taking archive monotonicity, final-column priority, andthe dual-reporting obligation as protocol constraints. The segment-by-segment verdict is mechanically given by the legality scale and the timing scale: the legalityscale precedes the timing scale, and a nonempty final-instance newly added breachis illegal; the timing scale uses the zero boundary of the total-ledger difference,with net benefit greater than zero as timely and equal to zero or less than zeroas untimely. Under this protocol three structural conclusions are proved. First,conservation transmission: if the starting Core0 is contained in the initial theoremset and the final-instance newly added breach of each segment is empty, then theterminal Core0 is still contained in the theorem set; the induction step uses onlythe emptiness of the newly added breach and does not depend on gain conditionsor the sign of net benefit. Second, re-deliberation rupture manifests as caliber separation: core re-deliberation can occur and generate parallel readings, but the finalcolumn still judges by Core0; a drift chain can be segment-by-segment legal underthe parallel caliber, while under the final caliber speculative segments appear, andthe full-history drift amount is the loss set of original core members. Third, thehistoricity of verdict and bleach impossibility: there exist two histories whose endpoints are pointwise identical in rule set, theorem set, depth ledger, and total ledger,while one is a clean history and the other contains speculative segments and inherited breaches; under fixed Core0, archive monotonicity, and final-column priority,subsequent batch sequences can only add archive entries and cannot delete existingtainted segments and inherited breach entries, so a tainted history cannot be rewritten as a clean history. Verdict-core fixation and final arbitration are a temporaryprotocol closure before a theory of re-deliberation legitimacy is established: theyprohibit re-deliberation from writing back into past segments, but do not evaluatewhich re-deliberations are substantively legitimate. This closure is not a replacement for open problems, but an operational constraint during the open period toprevent historical responsibility from being retrospectively rewritten. The mechanical recomputability of the replay verdict presupposes closure of the pre-registeredlist and archive discipline; non-Horn generalization, multi-candidate joint verdicts,and the completeness of real historical archives remain open boundaries.