VALIDATE

Kind: keyword

Record: pag:keyword-validate

Canonical: Grammar

Verification · lowers to VALIDATE_ARTIFACT

Listed in Grammar records, after ANALYZE and before VERIFY.

Grounds

• node:ver-evidence