Exemple
semver 6.3.1: gte
Échantillon vérifié pour npm semver 6.3.1: gte. Le contrat s'est exécuté sur node 22 · linux alpine/x64 · docker et a réussi.
sha256:4748343c0ddce65d5561c6c573924ebb7774576c6e5795cc6ec2368913d9d2cb
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-27 |
Cas
HOW- Objectif
- verify semver.gte in pkg:npm/semver@6.3.1
- Paquets
- Symboles
-
- semver.gte
- Environnement
- node 22.23.2
- Créé
- 2026-08-27T17:51:57Z
Contrat
- semver.gte evaluates greater-than comparisons across major, minor, and patch numeric versions
- semver.gte evaluates version equality as true for identical semantic versions
- semver.gte ignores build metadata when evaluating version precedence
- semver.gte orders release versions higher than prerelease versions with the same major, minor, and patch
- semver.gte accepts SemVer object instances as arguments
- semver.gte supports loose option flag and throws TypeError on invalid version strings when strict
Fichiers
- PROMPT.md
- csx.json
- index.js
- package-lock.json
- package.json
- spec.json
- test/contract.cjs
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 semver.gte in pkg:npm/semver@6.3.1
Kind: HOW
Use EXACTLY these public packages and versions:
- pkg:npm/semver@6.3.1
Demonstrate these symbols/APIs:
- semver.gte
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:5d77faec07bc80d9b10ac6fbc54790319fd94176db0f6747715d060ac1b6017a","contract":["semver.gte evaluates greater-than comparisons across major, minor, and patch numeric versions","semver.gte evaluates version equality as true for identical semantic versions","semver.gte ignores build metadata when evaluating version precedence","semver.gte orders release versions higher than prerelease versions with the same major, minor, and patch","semver.gte accepts SemVer object instances as arguments","semver.gte supports loose option flag and throws TypeError on invalid version strings when strict"],"goal":"verify semver.gte in pkg:npm/semver@6.3.1","kind":"HOW","packages":["pkg:npm/semver@6.3.1"],"schemaVersion":1,"symbols":["semver.gte"]},"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/semver@6.3.1"],"schemaVersion":1,"subject":"pkg:npm/semver@6.3.1","symbols":["semver.gte"],"verifierAdapter":"node-typescript@1"}
const semver = require('semver');
/**
* Compares two semantic version strings or SemVer instances and checks if v1 >= v2.
*
* @param {string|semver.SemVer} v1 - First version.
* @param {string|semver.SemVer} v2 - Second version.
* @param {boolean|object} [options] - Optional loose mode flag or options object.
* @returns {boolean} True if v1 is greater than or equal to v2.
*/
function isGreaterOrEqualTo(v1, v2, options) {
return semver.gte(v1, v2, options);
}
module.exports = {
isGreaterOrEqualTo,
};
{
"name": "sample-semver-gte",
"version": "1.0.0",
"lockfileVersion": 3,
"requires": true,
"packages": {
"": {
"name": "sample-semver-gte",
"version": "1.0.0",
"license": "MIT-0",
"dependencies": {
"semver": "6.3.1"
}
},
"node_modules/semver": {
"version": "6.3.1",
"resolved": "https://registry.npmjs.org/semver/-/semver-6.3.1.tgz",
"integrity": "sha512-BR7VvDCVHO+q2xBEWskxS6DJE1qRnb7DxzUrogb71CWoSficBxYsiAGd+Kl0mmq/MprG9yArRkyrQxTO6XjMzA==",
"license": "ISC",
"bin": {
"semver": "bin/semver.js"
}
}
}
}
{
"name": "sample-semver-gte",
"version": "1.0.0",
"private": true,
"license": "MIT-0",
"dependencies": {
"semver": "6.3.1"
}
}
{
"schemaVersion": 1,
"goal": "verify semver.gte in pkg:npm/semver@6.3.1",
"kind": "HOW",
"packages": [
"pkg:npm/semver@6.3.1"
],
"symbols": [
"semver.gte"
]
}
const assert = require('node:assert/strict');
const semver = require('semver');
const { isGreaterOrEqualTo } = require('../index.js');
// Contract 1: semver.gte evaluates greater-than comparisons across major, minor, and patch numeric versions
{
assert.strictEqual(semver.gte('2.0.0', '1.9.9'), true, '2.0.0 >= 1.9.9');
assert.strictEqual(semver.gte('1.3.0', '1.2.9'), true, '1.3.0 >= 1.2.9');
assert.strictEqual(semver.gte('1.2.4', '1.2.3'), true, '1.2.4 >= 1.2.3');
assert.strictEqual(semver.gte('1.9.9', '2.0.0'), false, '1.9.9 not >= 2.0.0');
assert.strictEqual(semver.gte('1.2.0', '1.3.0'), false, '1.2.0 not >= 1.3.0');
assert.strictEqual(semver.gte('1.2.3', '1.2.4'), false, '1.2.3 not >= 1.2.4');
assert.strictEqual(isGreaterOrEqualTo('2.0.0', '1.9.9'), true);
assert.strictEqual(isGreaterOrEqualTo('1.2.3', '1.2.4'), false);
}
// Contract 2: semver.gte evaluates version equality as true for identical semantic versions
{
assert.strictEqual(semver.gte('1.2.3', '1.2.3'), true, '1.2.3 >= 1.2.3');
assert.strictEqual(semver.gte('0.0.1', '0.0.1'), true, '0.0.1 >= 0.0.1');
assert.strictEqual(semver.gte('2.1.0', 'v2.1.0'), true, '2.1.0 >= v2.1.0');
assert.strictEqual(semver.gte('v1.2.3', '1.2.3'), true, 'v1.2.3 >= 1.2.3');
assert.strictEqual(isGreaterOrEqualTo('1.2.3', '1.2.3'), true);
}
// Contract 3: semver.gte ignores build metadata when evaluating version precedence
{
assert.strictEqual(semver.gte('1.2.3+build.1', '1.2.3+build.2'), true, 'Build metadata is ignored on both sides');
assert.strictEqual(semver.gte('1.2.3+build.2', '1.2.3+build.1'), true, 'Build metadata is ignored on both sides');
assert.strictEqual(semver.gte('1.2.3+build.999', '1.2.3'), true, 'Build metadata on left ignored');
assert.strictEqual(semver.gte('1.2.3', '1.2.3+build.999'), true, 'Build metadata on right ignored');
}
// Contract 4: semver.gte orders release versions higher than prerelease versions with the same major, minor, and patch
{
assert.strictEqual(semver.gte('1.2.3', '1.2.3-alpha'), true, 'Release version >= prerelease');
assert.strictEqual(semver.gte('1.2.3-alpha', '1.2.3'), false, 'Prerelease not >= release');
assert.strictEqual(semver.gte('1.2.3-beta.2', '1.2.3-beta.1'), true, 'Higher prerelease >= lower prerelease');
assert.strictEqual(semver.gte('1.2.3-beta.1', '1.2.3-beta.2'), false, 'Lower prerelease not >= higher prerelease');
assert.strictEqual(semver.gte('1.2.3-beta', '1.2.3-alpha.9'), true, 'beta >= alpha');
assert.strictEqual(semver.gte('1.2.3-rc.1', '1.2.3-beta.1'), true, 'rc >= beta');
assert.strictEqual(semver.gte('1.2.3-alpha', '1.2.3-alpha'), true, 'Equal prerelease >= equal prerelease');
}
// Contract 5: semver.gte accepts SemVer object instances as arguments
{
const v1 = new semver.SemVer('1.2.3');
const v2 = new semver.SemVer('1.2.0');
assert.strictEqual(semver.gte(v1, v2), true, 'SemVer instance >= SemVer instance');
assert.strictEqual(semver.gte(v1, '1.2.3'), true, 'SemVer instance >= string version');
assert.strictEqual(semver.gte('1.2.0', v1), false, 'Lower string not >= SemVer instance');
}
// Contract 6: semver.gte supports loose option flag and throws TypeError on invalid version strings when strict
{
assert.strictEqual(semver.gte('=1.2.3', '1.2.0', true), true, 'Loose boolean accepts = prefix');
assert.strictEqual(semver.gte('=1.2.3', '1.2.0', { loose: true }), true, 'Loose options object accepts = prefix');
assert.throws(() => semver.gte('=1.2.3', '1.2.0'), TypeError, 'Strict mode rejects = prefix');
assert.throws(() => semver.gte('invalid', '1.2.3'), TypeError, 'Invalid version string throws TypeError');
assert.throws(() => semver.gte('1.2.3', 'invalid'), TypeError, 'Invalid second argument throws TypeError');
assert.throws(() => semver.gte(null, '1.2.3'), TypeError, 'Null argument throws TypeError');
assert.throws(() => semver.gte('1.2.3', undefined), TypeError, 'Undefined argument throws TypeError');
}
console.log('All semver.gte contract assertions passed.');
Seeder d'origine
anonyme