CodeSampleX

Exemple

globals 15.15.0: builtin

Échantillon vérifié pour npm globals 15.15.0: builtin. Le contrat s'est exécuté sur node 22 · linux debian/x64 · docker et a réussi.

sha256:e57bce2e77ff1faad6244c28cc4e07e63eacc2ed991c0cba2a651fd282da2eaa

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 debian/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · node-typescript@1node:22@sha256:8a34c4ab3ea2…
2026-09-05

Cas

HOW
Objectif
verify globals.builtin in pkg:npm/globals@15.15.0
Paquets
Symboles
  • globals.builtin
Environnement
node 22.23.2
Créé
2026-09-05T23:51:34Z

Contrat

  1. globals.builtin is an object dictionary mapping ECMAScript built-in identifiers to boolean values
  2. globals.builtin defines core standard built-ins as non-writeable
  3. globals.builtin defines standard collections, structured data, and promises as non-writeable
  4. globals.builtin defines standard global value properties and functions as non-writeable
  5. globals.builtin defines standard ECMAScript error types as non-writeable
  6. globals.builtin maps all registered built-in identifiers strictly to false

Fichiers

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

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 globals.builtin in pkg:npm/globals@15.15.0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:npm/globals@15.15.0
Demonstrate these symbols/APIs:
  - globals.builtin

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:270f7a1beee8a4b3bed612e2d9ce6fc767139f81ba1d7f7c546f6bd3cec246ff","contract":["globals.builtin is an object dictionary mapping ECMAScript built-in identifiers to boolean values","globals.builtin defines core standard built-ins as non-writeable","globals.builtin defines standard collections, structured data, and promises as non-writeable","globals.builtin defines standard global value properties and functions as non-writeable","globals.builtin defines standard ECMAScript error types as non-writeable","globals.builtin maps all registered built-in identifiers strictly to false"],"goal":"verify globals.builtin in pkg:npm/globals@15.15.0","kind":"HOW","packages":["pkg:npm/globals@15.15.0"],"schemaVersion":1,"symbols":["globals.builtin"]},"contractCommand":["node","test/contract.cjs"],"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/globals@15.15.0"],"schemaVersion":1,"subject":"pkg:npm/globals@15.15.0","symbols":["globals.builtin"],"verifierAdapter":"node-typescript@1"}
package-lock.json
{
  "name": "sample-globals-builtin",
  "version": "1.0.0",
  "lockfileVersion": 3,
  "requires": true,
  "packages": {
    "": {
      "name": "sample-globals-builtin",
      "version": "1.0.0",
      "license": "MIT-0",
      "dependencies": {
        "globals": "15.15.0"
      }
    },
    "node_modules/globals": {
      "version": "15.15.0",
      "resolved": "https://registry.npmjs.org/globals/-/globals-15.15.0.tgz",
      "integrity": "sha512-7ACyT3wmyp3I61S4fG682L0VA2RGD9otkqGJIwNUMF1SWUombIIk+af1unuDYgMm082aHYwD+mzJvv9Iu8dsgg==",
      "license": "MIT",
      "engines": {
        "node": ">=18"
      },
      "funding": {
        "url": "https://github.com/sponsors/sindresorhus"
      }
    }
  }
}
package.json
{
  "name": "sample-globals-builtin",
  "version": "1.0.0",
  "private": true,
  "description": "verify globals.builtin in pkg:npm/globals@15.15.0",
  "main": "src/index.js",
  "scripts": {
    "test": "node test/contract.cjs"
  },
  "dependencies": {
    "globals": "15.15.0"
  },
  "license": "MIT-0"
}
spec.json
{
  "schemaVersion": 1,
  "goal": "verify globals.builtin in pkg:npm/globals@15.15.0",
  "kind": "HOW",
  "packages": [
    "pkg:npm/globals@15.15.0"
  ],
  "symbols": [
    "globals.builtin"
  ]
}
src/index.js
'use strict';

const globals = require('globals');

/**
 * Returns the globals.builtin dictionary.
 * @returns {Record<string, boolean>}
 */
function getBuiltinGlobals() {
  return globals.builtin;
}

/**
 * Checks if a given identifier name is defined in globals.builtin.
 * @param {string} name
 * @returns {boolean}
 */
function isBuiltinGlobal(name) {
  return Object.prototype.hasOwnProperty.call(globals.builtin, name);
}

/**
 * Checks whether an identifier is marked writeable in globals.builtin.
 * @param {string} name
 * @returns {boolean}
 */
function isWriteableBuiltin(name) {
  return globals.builtin[name] === true;
}

module.exports = {
  getBuiltinGlobals,
  isBuiltinGlobal,
  isWriteableBuiltin,
  globals
};
test/contract.cjs
'use strict';

const assert = require('node:assert/strict');
const globals = require('globals');
const {
  getBuiltinGlobals,
  isBuiltinGlobal,
  isWriteableBuiltin
} = require('../src/index.js');

async function testContract() {
  // 1. globals.builtin is an object dictionary mapping ECMAScript built-in identifiers to boolean values
  assert.equal(typeof globals.builtin, 'object', 'globals.builtin must be an object');
  assert.notEqual(globals.builtin, null, 'globals.builtin must not be null');
  assert.equal(typeof getBuiltinGlobals(), 'object', 'getBuiltinGlobals must return an object');
  assert.strictEqual(getBuiltinGlobals(), globals.builtin, 'helper getBuiltinGlobals matches globals.builtin');
  const entries = Object.entries(globals.builtin);
  assert.ok(entries.length >= 60, 'globals.builtin must contain at least 60 built-in identifiers');

  // 2. globals.builtin defines core standard built-ins as non-writeable
  const coreBuiltins = ['Object', 'Array', 'Function', 'Boolean', 'Number', 'String', 'Symbol', 'BigInt'];
  for (const name of coreBuiltins) {
    assert.strictEqual(isBuiltinGlobal(name), true, `${name} must be present in globals.builtin`);
    assert.strictEqual(globals.builtin[name], false, `${name} must be marked non-writeable (false)`);
    assert.strictEqual(isWriteableBuiltin(name), false, `${name} must not be writeable`);
  }

  // 3. globals.builtin defines standard collections, structured data, and promises as non-writeable
  const collectionBuiltins = ['Map', 'Set', 'WeakMap', 'WeakSet', 'Promise', 'JSON', 'Math', 'Reflect', 'Proxy'];
  for (const name of collectionBuiltins) {
    assert.strictEqual(isBuiltinGlobal(name), true, `${name} must be present in globals.builtin`);
    assert.strictEqual(globals.builtin[name], false, `${name} must be marked non-writeable (false)`);
    assert.strictEqual(isWriteableBuiltin(name), false, `${name} must not be writeable`);
  }

  // 4. globals.builtin defines standard global value properties and functions as non-writeable
  const valueBuiltins = ['Infinity', 'NaN', 'undefined', 'globalThis', 'eval', 'parseInt', 'parseFloat', 'isFinite', 'isNaN'];
  for (const name of valueBuiltins) {
    assert.strictEqual(isBuiltinGlobal(name), true, `${name} must be present in globals.builtin`);
    assert.strictEqual(globals.builtin[name], false, `${name} must be marked non-writeable (false)`);
    assert.strictEqual(isWriteableBuiltin(name), false, `${name} must not be writeable`);
  }

  // 5. globals.builtin defines standard ECMAScript error types as non-writeable
  const errorBuiltins = ['Error', 'TypeError', 'RangeError', 'SyntaxError', 'ReferenceError', 'URIError', 'EvalError', 'AggregateError'];
  for (const name of errorBuiltins) {
    assert.strictEqual(isBuiltinGlobal(name), true, `${name} must be present in globals.builtin`);
    assert.strictEqual(globals.builtin[name], false, `${name} must be marked non-writeable (false)`);
    assert.strictEqual(isWriteableBuiltin(name), false, `${name} must not be writeable`);
  }

  // 6. globals.builtin maps all registered built-in identifiers strictly to false
  for (const [key, value] of entries) {
    assert.strictEqual(value, false, `identifier ${key} must strictly map to boolean false`);
  }
  assert.strictEqual(isBuiltinGlobal('window'), false, 'window is a browser global, not in globals.builtin');
  assert.strictEqual(isBuiltinGlobal('process'), false, 'process is a node global, not in globals.builtin');
  assert.strictEqual(isBuiltinGlobal('Buffer'), false, 'Buffer is a node global, not in globals.builtin');

  console.log('Contract assertions verified successfully.');
}

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

Seeder d'origine

anonyme