针对应收账款计价与存在性风险，注册会计师应实施的审计程序是：

函证是验证应收账款存在性的直接有效程序，其他选项属于不同性质的审计程序。