Anonymous unrefereed theoretical-computational candidate. The release gives exact-rational certificates and bounded computational evidence for prefix stability in the declared forced-source path model, with an ordinary Wagner-Whitin interpretation only under explicit classical active-horizon bridge conditions. Producer replay is not independent reproduction, peer review, formal verification or field validation.