샘플

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

sha256:580ba07de5f1437c2e3a695f2922c0cf691ecbf33608c1af2826f42269da5456

MIT-0

실행 증거

선언된 환경과 서명된 검증 실행을 분리해 이 샘플이 실제로 증명하는 범위를 보여줍니다.

선언된 환경 node 22.23 linux 24 · ubuntu · glibc 2.39 x64 node 22.23 javascript npm

환경	컨트랙트	단계	실행일
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

익명