refactor(spec): one union-branch selection policy, imported by both walks, with a shared-fixture parity pin (#8318)

refactor(spec): one union-branch selection policy, imported by both walks, with a shared-fixture parity pin (#8318) #19640