《煤矿防治水细则》规定，防水闸门的施工及其质量，应当符合（）。闸门和闸门硐室不得漏水。