Ejemplo

verify @babel/core.traverse in pkg:npm/%40babel/core@7.24.0

sha256:ca8fdef0bef1c25c3c96c0f598dd9573f10c1744eeb4b08f2b348be0b5fae7bc

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 10

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

assert babel.traverse is exported as a function with helper utilities (explode, hasType, clearNode)
assert traverse walks AST nodes and triggers visitor callbacks for specific node types such as Identifier
assert traverse executes enter and exit lifecycle hooks in correct order for AST nodes
assert traverse supports path.scope binding inspection and scope-level symbol renaming
assert traverse supports path.skip to bypass child node traversal and path.stop to halt traversal
assert traverse passes custom visitor state and context objects across AST nodes
assert traverse supports AST mutation with path.remove and path.replaceWith
assert traverse.hasType quickly detects existence of AST node types without full traversal
assert traverse.explode normalizes multi-key and pipe-separated visitor descriptors

anónimo