Exemplo

verify pkg:npm/%40babel/types@8.0.4

sha256:f9050053b98521c44618f61ef894d6d2178097c3c28433612798ae91027631a1

MIT-0

Evidência de execução

O ambiente declarado é separado das execuções assinadas para mostrar exatamente o que foi provado.

Ambiente declarado node 22.23 linux 24 · ubuntu · glibc 2.39 x64 node 22.23 javascript npm

Ambiente	Contrato	Etapas	Execução
node 22 · linux alpine/x64 · docker ed25519:c1973797be207ac4	PASS	compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · node-typescript@1	2026-08-20

HOW

types provides AST builder functions to construct literal nodes such as identifier, numericLiteral, stringLiteral, booleanLiteral, and nullLiteral
types provides AST builder functions to construct complex expression nodes including binaryExpression, unaryExpression, and callExpression
types provides AST builder functions to construct statements and declarations including variableDeclaration, variableDeclarator, and functionDeclaration
types provides type predicate functions such as isIdentifier, isNumericLiteral, isExpression, and isStatement with optional property matching
types provides type assertion functions such as assertIdentifier and assertNumericLiteral that throw an error on type mismatch
types provides AST utility functions such as cloneNode to create structural duplicates and isNodesEquivalent to verify structural equality
types provides AST utility functions such as removeProperties to strip location metadata from AST nodes

anônimo