Rigid stabilizers and local prosolubility for boundary-transitive actions on tree | Synapse