根据《公路路基施工技术规范》规定，洞式渗沟顶部必须设置( )。