CodeSampleX

Exemple

@babel/types 7.29.8: cloneNode

Échantillon vérifié pour npm @babel/types 7.29.8: cloneNode. Le contrat s'est exécuté sur node 22 · linux alpine/x64 · docker et a réussi.

sha256:adb78833022763ebc8c5198be4c2cefd5009b092bea28bb94005d24f4a733e10

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é linux 24 · ubuntu · glibc 2.39 x64 npm

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.cloneNode in pkg:npm/%40babel/types@7.29.8
Paquets
Symboles
  • @babel/types.cloneNode
Créé
2026-08-23T04:31:24Z

Contrat

  1. types.cloneNode produces an independent deep copy of an AST node with structural equivalence
  2. types.cloneNode deeply clones nested children such that mutating a clone does not mutate the original AST
  3. types.cloneNode supports shallow cloning when deep is false, preserving references to child nodes
  4. types.cloneNode strips location metadata (loc, start, end) when withoutLoc is true
  5. types.cloneNode safely handles null and undefined inputs by returning them unchanged
  6. types.cloneNode duplicates complex AST nodes including function declarations, binary expressions, and variable declarations

Fichiers

  • PROMPT.md
  • csx.json
  • package-lock.json
  • package.json
  • spec.json
  • src/index.js
  • test/contract.mjs

Télécharger l’artefact source (tar.gz)

Code source

PROMPT.md
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.cloneNode 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.cloneNode

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.
csx.json
{"case":{"caseId":"case:sha256:21b3c32f3f03466b1efa93a631fb7110f05436f22bdfc55ab34d3f676d7df60c","contract":["types.cloneNode produces an independent deep copy of an AST node with structural equivalence","types.cloneNode deeply clones nested children such that mutating a clone does not mutate the original AST","types.cloneNode supports shallow cloning when deep is false, preserving references to child nodes","types.cloneNode strips location metadata (loc, start, end) when withoutLoc is true","types.cloneNode safely handles null and undefined inputs by returning them unchanged","types.cloneNode duplicates complex AST nodes including function declarations, binary expressions, and variable declarations"],"goal":"verify @babel/types.cloneNode in pkg:npm/%40babel/types@7.29.8","kind":"HOW","packages":["pkg:npm/%40babel/types@7.29.8"],"schemaVersion":1,"symbols":["@babel/types.cloneNode"]},"contractCommand":["node","test/contract.mjs"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"npm","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"npm","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.cloneNode"],"verifierAdapter":"node-typescript@1"}
package-lock.json
{
  "name": "sample-babel-types-clonenode",
  "version": "1.0.0",
  "lockfileVersion": 3,
  "requires": true,
  "packages": {
    "": {
      "name": "sample-babel-types-clonenode",
      "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"
      }
    }
  }
}
package.json
{
  "name": "sample-babel-types-clonenode",
  "version": "1.0.0",
  "private": true,
  "description": "Clean-room verification of @babel/types.cloneNode",
  "main": "src/index.js",
  "license": "MIT-0",
  "dependencies": {
    "@babel/types": "7.29.8"
  }
}
spec.json
{
  "schemaVersion": 1,
  "goal": "verify @babel/types.cloneNode in pkg:npm/%40babel/types@7.29.8",
  "kind": "HOW",
  "packages": [
    "pkg:npm/%40babel/types@7.29.8"
  ],
  "symbols": [
    "@babel/types.cloneNode"
  ]
}
src/index.js
const t = require('@babel/types');

/**
 * Deeply clones an AST node.
 * @param {object} node
 * @returns {object}
 */
function cloneNodeDeep(node) {
  return t.cloneNode(node, true);
}

/**
 * Shallowly clones an AST node without recursively cloning child nodes.
 * @param {object} node
 * @returns {object}
 */
function cloneNodeShallow(node) {
  return t.cloneNode(node, false);
}

/**
 * Clones an AST node while stripping location information (loc, start, end).
 * @param {object} node
 * @param {boolean} [deep=true]
 * @returns {object}
 */
function cloneNodeWithoutLoc(node, deep = true) {
  return t.cloneNode(node, deep, true);
}

/**
 * Creates a binary expression AST node.
 * @param {string} operator
 * @param {object} left
 * @param {object} right
 * @returns {object}
 */
function createBinaryExpression(operator, left, right) {
  return t.binaryExpression(operator, left, right);
}

/**
 * Creates a function declaration AST node with a body and parameters.
 * @param {string} name
 * @param {string[]} paramNames
 * @param {object[]} bodyStatements
 * @returns {object}
 */
function createFunctionDeclaration(name, paramNames, bodyStatements) {
  const id = t.identifier(name);
  const params = paramNames.map((p) => t.identifier(p));
  const body = t.blockStatement(bodyStatements);
  return t.functionDeclaration(id, params, body);
}

/**
 * Checks if two AST nodes are structurally equivalent.
 * @param {object} a
 * @param {object} b
 * @returns {boolean}
 */
function areNodesEquivalent(a, b) {
  return t.isNodesEquivalent(a, b);
}

module.exports = {
  t,
  cloneNodeDeep,
  cloneNodeShallow,
  cloneNodeWithoutLoc,
  createBinaryExpression,
  createFunctionDeclaration,
  areNodesEquivalent,
};
test/contract.mjs
import assert from 'node:assert';
import { createRequire } from 'node:module';

const require = createRequire(import.meta.url);
const {
  t,
  cloneNodeDeep,
  cloneNodeShallow,
  cloneNodeWithoutLoc,
  createBinaryExpression,
  createFunctionDeclaration,
  areNodesEquivalent,
} = require('../src/index.js');

async function runContract() {
  // 1. types.cloneNode produces an independent deep copy of an AST node with structural equivalence
  const idNode = t.identifier('counter');
  const clonedId = cloneNodeDeep(idNode);
  assert.notStrictEqual(clonedId, idNode, 'Cloned node must have distinct object identity');
  assert.strictEqual(clonedId.type, 'Identifier');
  assert.strictEqual(clonedId.name, 'counter');
  assert.strictEqual(areNodesEquivalent(clonedId, idNode), true);

  const numNode = t.numericLiteral(100);
  const clonedNum = t.cloneNode(numNode);
  assert.notStrictEqual(clonedNum, numNode);
  assert.strictEqual(clonedNum.type, 'NumericLiteral');
  assert.strictEqual(clonedNum.value, 100);
  assert.strictEqual(areNodesEquivalent(clonedNum, numNode), true);

  // 2. types.cloneNode deeply clones nested children such that mutating a clone does not mutate the original AST
  const originalBinary = createBinaryExpression('+', t.identifier('a'), t.numericLiteral(5));
  const deepClonedBinary = cloneNodeDeep(originalBinary);

  assert.notStrictEqual(deepClonedBinary, originalBinary);
  assert.notStrictEqual(deepClonedBinary.left, originalBinary.left, 'Deep clone child node must have distinct reference');
  assert.notStrictEqual(deepClonedBinary.right, originalBinary.right, 'Deep clone child node must have distinct reference');
  assert.strictEqual(areNodesEquivalent(deepClonedBinary, originalBinary), true);

  // Mutate clone child and ensure original is unaffected
  deepClonedBinary.left.name = 'modifiedVar';
  assert.strictEqual(originalBinary.left.name, 'a', 'Original node child must not be affected by clone modification');
  assert.strictEqual(deepClonedBinary.left.name, 'modifiedVar');

  // 3. types.cloneNode supports shallow cloning when deep is false, preserving references to child nodes
  const leftNode = t.identifier('b');
  const rightNode = t.numericLiteral(10);
  const binaryForShallow = createBinaryExpression('*', leftNode, rightNode);
  const shallowClonedBinary = cloneNodeShallow(binaryForShallow);

  assert.notStrictEqual(shallowClonedBinary, binaryForShallow, 'Shallow clone root must have distinct reference');
  assert.strictEqual(shallowClonedBinary.left, binaryForShallow.left, 'Shallow clone must share child node references');
  assert.strictEqual(shallowClonedBinary.right, binaryForShallow.right, 'Shallow clone must share child node references');

  // Mutating child via shallow clone affects original child reference
  shallowClonedBinary.left.name = 'mutatedB';
  assert.strictEqual(binaryForShallow.left.name, 'mutatedB');

  // 4. types.cloneNode strips location metadata (loc, start, end) when withoutLoc is true
  const nodeWithLoc = t.identifier('myVariable');
  nodeWithLoc.loc = {
    start: { line: 1, column: 0 },
    end: { line: 1, column: 10 },
  };
  nodeWithLoc.start = 0;
  nodeWithLoc.end = 10;
  nodeWithLoc.leadingComments = [{ type: 'CommentLine', value: ' banner comment' }];

  const strippedNode = cloneNodeWithoutLoc(nodeWithLoc, true);
  assert.notStrictEqual(strippedNode, nodeWithLoc);
  assert.strictEqual(strippedNode.name, 'myVariable');
  assert.strictEqual(strippedNode.loc, null, 'Location object must be reset to null');
  assert.strictEqual(strippedNode.start, undefined, 'Start offset must be stripped');
  assert.strictEqual(strippedNode.end, undefined, 'End offset must be stripped');

  // Verify original node preserved its location metadata
  assert.strictEqual(nodeWithLoc.start, 0);
  assert.strictEqual(nodeWithLoc.loc.start.line, 1);

  // 5. types.cloneNode safely handles null and undefined inputs by returning them unchanged
  assert.strictEqual(t.cloneNode(null), null);
  assert.strictEqual(t.cloneNode(undefined), undefined);
  assert.strictEqual(cloneNodeDeep(null), null);
  assert.strictEqual(cloneNodeWithoutLoc(undefined), undefined);

  // 6. types.cloneNode duplicates complex AST nodes including function declarations, binary expressions, and variable declarations
  const returnExpr = createBinaryExpression('+', t.identifier('x'), t.identifier('y'));
  const fnDecl = createFunctionDeclaration('sum', ['x', 'y'], [t.returnStatement(returnExpr)]);

  const clonedFn = t.cloneNode(fnDecl);
  assert.notStrictEqual(clonedFn, fnDecl);
  assert.notStrictEqual(clonedFn.id, fnDecl.id);
  assert.notStrictEqual(clonedFn.params[0], fnDecl.params[0]);
  assert.notStrictEqual(clonedFn.params[1], fnDecl.params[1]);
  assert.notStrictEqual(clonedFn.body, fnDecl.body);
  assert.strictEqual(clonedFn.id.name, 'sum');
  assert.strictEqual(clonedFn.params.length, 2);
  assert.strictEqual(areNodesEquivalent(clonedFn, fnDecl), true);

  const varDecl = t.variableDeclaration('const', [
    t.variableDeclarator(t.identifier('total'), clonedFn.id),
  ]);
  const clonedVarDecl = t.cloneNode(varDecl);
  assert.notStrictEqual(clonedVarDecl, varDecl);
  assert.strictEqual(clonedVarDecl.kind, 'const');
  assert.strictEqual(areNodesEquivalent(clonedVarDecl, varDecl), true);

  console.log('All contract assertions passed successfully.');
}

runContract().catch((err) => {
  console.error('Contract test failed:', err);
  process.exit(1);
});

Seeder d'origine

anonyme