Exemple
tinyrainbow 1.2.0: getDefaultColors
Échantillon vérifié pour npm tinyrainbow 1.2.0: getDefaultColors. Le contrat s'est exécuté sur node 22 · linux debian/x64 · docker et a réussi.
sha256:c257e22bb88ffcbb58a37872cad19db74a84e88f95d0e29be6ca11cb402b3ea9
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 tinyrainbow.getDefaultColors in pkg:npm/tinyrainbow@1.2.0
- Paquets
- Symboles
-
- tinyrainbow.getDefaultColors
- Environnement
- node 22.23.2
- Créé
- 2026-09-05T18:59:13Z
Contrat
- assert getDefaultColors returns an object where isColorSupported is false
- assert getDefaultColors formatters return string representation without ANSI escape codes
- assert getDefaultColors formatters have empty string open and close delimiters
- assert getDefaultColors returns a new object instance on each call
- assert local module exports getDefaultColors identical to tinyrainbow package
Fichiers
- PROMPT.md
- csx.json
- index.js
- package-lock.json
- package.json
- spec.json
- 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 tinyrainbow.getDefaultColors in pkg:npm/tinyrainbow@1.2.0
Kind: HOW
Use EXACTLY these public packages and versions:
- pkg:npm/tinyrainbow@1.2.0
Demonstrate these symbols/APIs:
- tinyrainbow.getDefaultColors
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:58a57d784f4527988117cb2b70c20e481ef2e12632b480c5aad191b24768d49a","constraints":{"executionContext":"node"},"contract":["assert getDefaultColors returns an object where isColorSupported is false","assert getDefaultColors formatters return string representation without ANSI escape codes","assert getDefaultColors formatters have empty string open and close delimiters","assert getDefaultColors returns a new object instance on each call","assert local module exports getDefaultColors identical to tinyrainbow package"],"goal":"verify tinyrainbow.getDefaultColors in pkg:npm/tinyrainbow@1.2.0","kind":"HOW","packages":["pkg:npm/tinyrainbow@1.2.0"],"schemaVersion":1,"symbols":["tinyrainbow.getDefaultColors"]},"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/tinyrainbow@1.2.0"],"schemaVersion":1,"subject":"pkg:npm/tinyrainbow@1.2.0","symbols":["tinyrainbow.getDefaultColors"],"verifierAdapter":"node-typescript@1"}
const { getDefaultColors } = require('tinyrainbow');
module.exports = {
getDefaultColors,
};
{
"name": "sample-tinyrainbow-getdefaultcolors",
"version": "1.0.0",
"lockfileVersion": 3,
"requires": true,
"packages": {
"": {
"name": "sample-tinyrainbow-getdefaultcolors",
"version": "1.0.0",
"license": "MIT-0",
"dependencies": {
"tinyrainbow": "1.2.0"
}
},
"node_modules/tinyrainbow": {
"version": "1.2.0",
"resolved": "https://registry.npmjs.org/tinyrainbow/-/tinyrainbow-1.2.0.tgz",
"integrity": "sha512-weEDEq7Z5eTHPDh4xjX789+fHfF+P8boiFB+0vbWzpbnbsEr/GRaohi/uMKxg8RZMXnl1ItAi/IUHWMsjDV7kQ==",
"license": "MIT",
"engines": {
"node": ">=14.0.0"
}
}
}
}
{
"name": "sample-tinyrainbow-getdefaultcolors",
"version": "1.0.0",
"description": "Clean-room sample verifying tinyrainbow.getDefaultColors",
"main": "index.js",
"license": "MIT-0",
"dependencies": {
"tinyrainbow": "1.2.0"
}
}
{
"schemaVersion": 1,
"goal": "verify tinyrainbow.getDefaultColors in pkg:npm/tinyrainbow@1.2.0",
"kind": "HOW",
"packages": [
"pkg:npm/tinyrainbow@1.2.0"
],
"symbols": [
"tinyrainbow.getDefaultColors"
],
"constraints": {
"executionContext": "node"
},
"runtimeConditions": {
"ecosystem": "npm",
"language": "javascript",
"moduleSystem": "cjs",
"packageManager": "npm@10.9.8",
"runtime": "node@22.23.2"
}
}
import assert from 'node:assert/strict';
import { getDefaultColors } from 'tinyrainbow';
import localPkg from '../index.js';
// 1. assert getDefaultColors returns an object where isColorSupported is false
{
const colors = getDefaultColors();
assert.equal(typeof colors, 'object');
assert.notEqual(colors, null);
assert.equal(colors.isColorSupported, false);
}
// 2. assert getDefaultColors formatters return string representation without ANSI escape codes
{
const colors = getDefaultColors();
assert.equal(colors.reset('text'), 'text');
assert.equal(colors.bold('bold-text'), 'bold-text');
assert.equal(colors.dim('dim-text'), 'dim-text');
assert.equal(colors.red('red-text'), 'red-text');
assert.equal(colors.green('green-text'), 'green-text');
assert.equal(colors.yellow('yellow-text'), 'yellow-text');
assert.equal(colors.blue('blue-text'), 'blue-text');
assert.equal(colors.white('white-text'), 'white-text');
assert.equal(colors.bgRed('bg-red-text'), 'bg-red-text');
assert.equal(colors.red(12345), '12345');
}
// 3. assert getDefaultColors formatters have empty string open and close delimiters
{
const colors = getDefaultColors();
assert.equal(colors.reset.open, '');
assert.equal(colors.reset.close, '');
assert.equal(colors.bold.open, '');
assert.equal(colors.bold.close, '');
assert.equal(colors.red.open, '');
assert.equal(colors.red.close, '');
}
// 4. assert getDefaultColors returns a new object instance on each call
{
const firstInstance = getDefaultColors();
const secondInstance = getDefaultColors();
assert.notEqual(firstInstance, secondInstance);
assert.deepEqual(firstInstance, secondInstance);
}
// 5. assert local module exports getDefaultColors identical to tinyrainbow package
{
assert.equal(typeof localPkg.getDefaultColors, 'function');
const localColors = localPkg.getDefaultColors();
assert.equal(localColors.isColorSupported, false);
assert.equal(localColors.cyan('sample'), 'sample');
}
Seeder d'origine
anonyme