Exemple
@babel/types 7.29.8: isNodesEquivalent
Échantillon vérifié pour npm @babel/types 7.29.8: isNodesEquivalent. Le contrat s'est exécuté sur node 22 · linux alpine/x64 · docker et a réussi.
sha256:bcccd5d929b568c19aa23c6f9f7d0282fb8b8af06609c9458654db525eea10fb
Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré.
Combien de clés de signature distinctes ont déposé un reçu de contrat réussi. Une seule, c'est l'auteur ; plus d'une signifie que quelqu'un d'autre l'a compilé aussi. Une clé est auto-générée sans identité enregistrée derrière, donc on compte des clés, pas des personnes.
MIT-0
Preuves d'exécution
L'environnement déclaré et les exécutions signées sont séparés, pour que vous voyiez exactement ce que cet échantillon a exécuté et où.
- Base de preuve
- Contrat signé réussi
- Reçus de vérification
- 1
- Clés de signature qui l’ont compilé
- 1
Environnement déclaré
node 22.23 linux 24 · ubuntu · glibc 2.39 x64 node 22.23 javascript npm 10
Environnements des exécutions de vérification
| Environnement | Contrat | Étapes | Exécution |
|---|---|---|---|
| node 22 · linux alpine/x64 · docker ed25519:c1973797be207ac4 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · node-typescript@1node:22-alpine@sha256:c610fcdfb1d5… |
2026-08-23 |
Cas
HOW- Objectif
- verify @babel/types.isNodesEquivalent in pkg:npm/%40babel/types@7.29.8
- Paquets
- Symboles
-
- @babel/types.isNodesEquivalent
- Environnement
- node 22.23.2
- Créé
- 2026-08-23T05:09:26Z
Contrat
- isNodesEquivalent returns true for structurally identical AST nodes with matching types and values
- isNodesEquivalent returns true for structurally equivalent AST nodes with different location metadata
- isNodesEquivalent returns false for AST nodes with different types or differing property values
- isNodesEquivalent recursively compares complex nested AST structures such as binary expressions and call expressions
Fichiers
- PROMPT.md
- csx.json
- package-lock.json
- package.json
- spec.json
- src/index.mjs
- test/contract.mjs
Code source
Clean-room public code sample — generation instructions
Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.
A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.
Goal: verify @babel/types.isNodesEquivalent in pkg:npm/%40babel/types@7.29.8
Kind: HOW
Use EXACTLY these public packages and versions:
- pkg:npm/%40babel/types@7.29.8
Demonstrate these symbols/APIs:
- @babel/types.isNodesEquivalent
Constraints:
- executionContext: node
Required runtime conditions:
- ecosystem: npm
- language: javascript
- moduleSystem: cjs
- packageManager: npm@10.9.8
- runtime: node@22.23.2
Rules:
- One focused purpose; the smallest project that proves the goal.
- Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
- Pin every dependency with a lockfile so resolution is reproducible.
- No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
- No personal names, emails, company names, or project identifiers of any kind.
- No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
- Keep it under 200 files and 256KB packed.
{"case":{"caseId":"case:sha256:23fd93325f0c1a2d0064b44c29230e35e5f452c19fb0f68378cd6fc1d2ec5082","constraints":{"executionContext":"node"},"contract":["isNodesEquivalent returns true for structurally identical AST nodes with matching types and values","isNodesEquivalent returns true for structurally equivalent AST nodes with different location metadata","isNodesEquivalent returns false for AST nodes with different types or differing property values","isNodesEquivalent recursively compares complex nested AST structures such as binary expressions and call expressions"],"goal":"verify @babel/types.isNodesEquivalent in pkg:npm/%40babel/types@7.29.8","kind":"HOW","packages":["pkg:npm/%40babel/types@7.29.8"],"schemaVersion":1,"symbols":["@babel/types.isNodesEquivalent"]},"contractCommand":["node","test/contract.mjs"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"npm","executionContext":"node","language":"javascript","libc":"glibc","libcVersion":"2.39","moduleSystem":"cjs","os":"linux","osVersionBucket":"24","packageManager":"npm","packageManagerVersion":"10.9.8","runtime":"node","runtimeVersion":"22.23.2","schemaVersion":1},"license":"MIT-0","packages":["pkg:npm/%40babel/types@7.29.8"],"schemaVersion":1,"subject":"pkg:npm/%40babel/types@7.29.8","symbols":["@babel/types.isNodesEquivalent"],"verifierAdapter":"node-typescript@1"}
{
"name": "sample-babel-types-is-nodes-equivalent",
"version": "1.0.0",
"lockfileVersion": 3,
"requires": true,
"packages": {
"": {
"name": "sample-babel-types-is-nodes-equivalent",
"version": "1.0.0",
"license": "MIT-0",
"dependencies": {
"@babel/types": "7.29.8"
}
},
"node_modules/@babel/helper-string-parser": {
"version": "7.29.7",
"resolved": "https://registry.npmjs.org/@babel/helper-string-parser/-/helper-string-parser-7.29.7.tgz",
"integrity": "sha512-Pb5ijPrZ89GDH8223L4UP8i6QApWxs04RbPQJTeWDV0/keR2E36MeKnyr6LYmUUvqRRI+Iv87SuF1W6ErINzYw==",
"license": "MIT",
"engines": {
"node": ">=6.9.0"
}
},
"node_modules/@babel/helper-validator-identifier": {
"version": "7.29.7",
"resolved": "https://registry.npmjs.org/@babel/helper-validator-identifier/-/helper-validator-identifier-7.29.7.tgz",
"integrity": "sha512-qehxGkRj55h/ff8EMaJ+cYhyaKlHIxqYDn682wQD7RNp9UujOQsHog2uS0r2vzr4pW+sXf90NeeayjcNaX3fFg==",
"license": "MIT",
"engines": {
"node": ">=6.9.0"
}
},
"node_modules/@babel/types": {
"version": "7.29.8",
"resolved": "https://registry.npmjs.org/@babel/types/-/types-7.29.8.tgz",
"integrity": "sha512-Vj1jF3cPfxg7OAfoI7QnVKLoILlm2JF9pnVHrX8qx7AHMiYWT+NDAA7jChlNgRS4WTLc/fD1lXLmPixluj+3Gg==",
"license": "MIT",
"dependencies": {
"@babel/helper-string-parser": "^7.29.7",
"@babel/helper-validator-identifier": "^7.29.7"
},
"engines": {
"node": ">=6.9.0"
}
}
}
}
{
"name": "sample-babel-types-is-nodes-equivalent",
"version": "1.0.0",
"private": true,
"type": "module",
"license": "MIT-0",
"dependencies": {
"@babel/types": "7.29.8"
}
}
{
"schemaVersion": 1,
"goal": "verify @babel/types.isNodesEquivalent in pkg:npm/%40babel/types@7.29.8",
"kind": "HOW",
"packages": [
"pkg:npm/%40babel/types@7.29.8"
],
"symbols": [
"@babel/types.isNodesEquivalent"
],
"constraints": {
"executionContext": "node"
},
"runtimeConditions": {
"ecosystem": "npm",
"language": "javascript",
"moduleSystem": "cjs",
"packageManager": "npm@10.9.8",
"runtime": "node@22.23.2"
}
}
import * as t from "@babel/types";
export function areNodesEquivalent(nodeA, nodeB) {
return t.isNodesEquivalent(nodeA, nodeB);
}
export function compareExpressions(exprA, exprB) {
return t.isNodesEquivalent(exprA, exprB);
}
export function areNodesEquivalentIgnoringLoc(nodeA, nodeB) {
return t.isNodesEquivalent(nodeA, nodeB);
}
import assert from "node:assert/strict";
import * as t from "@babel/types";
import {
areNodesEquivalent,
compareExpressions,
areNodesEquivalentIgnoringLoc
} from "../src/index.mjs";
// Test 1: isNodesEquivalent returns true for structurally identical AST nodes with matching types and values
{
const id1 = t.identifier("variableName");
const id2 = t.identifier("variableName");
assert.equal(areNodesEquivalent(id1, id2), true);
const num1 = t.numericLiteral(12345);
const num2 = t.numericLiteral(12345);
assert.equal(areNodesEquivalent(num1, num2), true);
const str1 = t.stringLiteral("hello world");
const str2 = t.stringLiteral("hello world");
assert.equal(areNodesEquivalent(str1, str2), true);
}
// Test 2: isNodesEquivalent returns true for structurally equivalent AST nodes with different location metadata
{
const node1 = t.identifier("foo");
node1.loc = { start: { line: 1, column: 0 }, end: { line: 1, column: 3 } };
node1.start = 0;
node1.end = 3;
const node2 = t.identifier("foo");
node2.loc = { start: { line: 50, column: 10 }, end: { line: 50, column: 13 } };
node2.start = 500;
node2.end = 503;
assert.equal(areNodesEquivalentIgnoringLoc(node1, node2), true);
}
// Test 3: isNodesEquivalent returns false for AST nodes with different types or differing property values
{
const id1 = t.identifier("alpha");
const id2 = t.identifier("beta");
assert.equal(areNodesEquivalent(id1, id2), false);
const num = t.numericLiteral(42);
const str = t.stringLiteral("42");
assert.equal(areNodesEquivalent(num, str), false);
const binPlus = t.binaryExpression("+", t.identifier("a"), t.numericLiteral(1));
const binMinus = t.binaryExpression("-", t.identifier("a"), t.numericLiteral(1));
assert.equal(compareExpressions(binPlus, binMinus), false);
}
// Test 4: isNodesEquivalent recursively compares complex nested AST structures such as binary expressions and call expressions
{
const nestedExpr1 = t.binaryExpression(
"*",
t.binaryExpression("+", t.identifier("x"), t.numericLiteral(2)),
t.callExpression(t.identifier("getValue"), [t.stringLiteral("param")])
);
const nestedExpr2 = t.binaryExpression(
"*",
t.binaryExpression("+", t.identifier("x"), t.numericLiteral(2)),
t.callExpression(t.identifier("getValue"), [t.stringLiteral("param")])
);
const nestedExpr3 = t.binaryExpression(
"*",
t.binaryExpression("+", t.identifier("x"), t.numericLiteral(3)),
t.callExpression(t.identifier("getValue"), [t.stringLiteral("param")])
);
assert.equal(compareExpressions(nestedExpr1, nestedExpr2), true);
assert.equal(compareExpressions(nestedExpr1, nestedExpr3), false);
}
console.log("All @babel/types.isNodesEquivalent contract tests passed successfully.");
Seeder d'origine
anonyme