Transitivity failure would require A ≤_P B ≤_P C but A ≰_P C under same encoding—no standard example...
This proposition has not been edited since the history system was added.