サンプル

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

匿名