Can anyone tell me (or point me to) the regulations covering gas
supplies to free standing cookers in the UK? This is for domestic
use.

What I have now is a 15mm copper pipe coming up through the kitchen
floor by the edge of a wall. The pipe is secured to the wall with
metal clips (screwed in to the wall) and goes up 3 feet. At the end of
the pipe is the socket that I plug the hose coming out of the cooker
into. It's all very secure, just exposed.

There's no shielding around the pipe and the cooker is stood right
next to it however the pipe never gets hot, even when the oven is on.

Next to the cooker is a kitchen unit so the pipe is kind of behind
this and the cooker so it's not in a position to recieve a knock from
anything. You can just see it at the back of the gap between the unit
and the cooker.

It's been like this for years and is quite safe but I am wondering
whether there are any regs that demand double shielding for exposed gas
pipes or require the cooker to be a certain distance from the socket
etc?

Many thanks.