Ejemplo

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

sha256:580ba07de5f1437c2e3a695f2922c0cf691ecbf33608c1af2826f42269da5456

MIT-0

Evidencia de ejecución

Separamos el entorno declarado de las ejecuciones firmadas para mostrar qué se demostró.

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

Entorno	Contrato	Etapas	Ejecución
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 creates literal AST nodes (stringLiteral, numericLiteral, booleanLiteral, nullLiteral) with expected AST structure
types constructs variable declarations with identifiers and initializers using variableDeclaration and variableDeclarator
types builds binary operator expressions and verifies operand expression types
types builds call expressions and validates expression nodes with isCallExpression and isExpression
types constructs function declarations with identifier parameters and block statements
types provides type checking helpers including isIdentifier, isBinaryExpression, isExpression, and isStatement
types clones AST nodes deeply with cloneNode and verifies structural equivalence with isNodesEquivalent
types asserts identifier node types with assertIdentifier and throws an error for non-identifier nodes

anónimo