nuwa/stage: links for asm-verificador