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