サンプル

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

sha256:2cb04b202031340043e89ee140c8904fa558b2a9657f0286388c630cbb5ca1d3

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 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

匿名