Exemple
semver 6.3.1: neq
Échantillon vérifié pour npm semver 6.3.1: neq. Le contrat s'est exécuté sur node 22 · linux alpine/x64 · docker et a réussi.
sha256:7469444c08289fafbc421b970c03ddb12b4198728aee530bc17de57293cc15c4
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.neq in pkg:npm/semver@6.3.1
- Paquets
- Symboles
-
- semver.neq
- Environnement
- node 22.23.2
- Créé
- 2026-08-27T21:17:10Z
Contrat
- semver.neq returns true for different major, minor, or patch versions
- semver.neq returns false for identical semantic version strings
- semver.neq returns false when comparing versions with leading v prefix
- semver.neq returns false when versions differ only by build metadata
- semver.neq returns true when prerelease identifiers differ
- semver.neq returns true for SemVer class instances with different versions and false for identical versions
- semver.neq parses equals-prefixed version strings when loose mode is enabled
- semver.neq throws TypeError when an invalid version string is passed
- semver.neq throws TypeError when non-string or null arguments are passed
Fichiers
- PROMPT.md
- csx.json
- index.js
- package-lock.json
- package.json
- spec.json
- test/contract.js
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.neq 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.neq
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:75bd62d5a7d5c8fe893be626ca10764f323707eb3564a0e49942a82dd8ea4a03","contract":["semver.neq returns true for different major, minor, or patch versions","semver.neq returns false for identical semantic version strings","semver.neq returns false when comparing versions with leading v prefix","semver.neq returns false when versions differ only by build metadata","semver.neq returns true when prerelease identifiers differ","semver.neq returns true for SemVer class instances with different versions and false for identical versions","semver.neq parses equals-prefixed version strings when loose mode is enabled","semver.neq throws TypeError when an invalid version string is passed","semver.neq throws TypeError when non-string or null arguments are passed"],"goal":"verify semver.neq in pkg:npm/semver@6.3.1","kind":"HOW","packages":["pkg:npm/semver@6.3.1"],"schemaVersion":1,"symbols":["semver.neq"]},"contractCommand":["node","test/contract.js"],"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.neq"],"verifierAdapter":"node-typescript@1"}
const semver = require('semver');
/**
* Compares two semantic version strings or SemVer instances for inequality.
*
* @param {string|semver.SemVer} v1 - First version to compare.
* @param {string|semver.SemVer} v2 - Second version to compare.
* @param {boolean|object} [options] - Optional loose mode flag or options object.
* @returns {boolean} True if versions are logically not equal according to SemVer 2.0.0.
*/
function areVersionsNotEqual(v1, v2, options) {
return semver.neq(v1, v2, options);
}
module.exports = {
areVersionsNotEqual,
neq: semver.neq,
};
{
"name": "sample-semver-neq",
"version": "1.0.0",
"lockfileVersion": 3,
"requires": true,
"packages": {
"": {
"name": "sample-semver-neq",
"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-neq",
"version": "1.0.0",
"private": true,
"description": "Verify semver.neq in pkg:npm/semver@6.3.1",
"main": "index.js",
"scripts": {
"test": "node test/contract.js"
},
"dependencies": {
"semver": "6.3.1"
},
"license": "MIT-0"
}
{
"schemaVersion": 1,
"goal": "verify semver.neq in pkg:npm/semver@6.3.1",
"kind": "HOW",
"packages": [
"pkg:npm/semver@6.3.1"
],
"symbols": [
"semver.neq"
]
}
const assert = require('node:assert');
const semver = require('semver');
const { areVersionsNotEqual, neq } = require('../index.js');
// 1. semver.neq returns true for different major, minor, or patch versions
{
assert.strictEqual(areVersionsNotEqual('1.2.3', '1.2.4'), true, 'different patch version');
assert.strictEqual(areVersionsNotEqual('1.2.3', '1.3.3'), true, 'different minor version');
assert.strictEqual(areVersionsNotEqual('1.2.3', '2.2.3'), true, 'different major version');
assert.strictEqual(neq('0.0.1', '0.0.2'), true, 'different patch version with neq helper');
assert.strictEqual(semver.neq('2.10.5', '2.10.6'), true, 'direct semver.neq call with different versions');
}
// 2. semver.neq returns false for identical semantic version strings
{
assert.strictEqual(areVersionsNotEqual('1.2.3', '1.2.3'), false, 'identical versions should not be unequal');
assert.strictEqual(neq('0.0.1', '0.0.1'), false, 'identical patch versions should not be unequal');
assert.strictEqual(semver.neq('2.10.5', '2.10.5'), false, 'direct semver.neq call should not be unequal');
}
// 3. semver.neq returns false when comparing versions with leading v prefix
{
assert.strictEqual(areVersionsNotEqual('v1.2.3', '1.2.3'), false, 'leading v prefix on first argument');
assert.strictEqual(areVersionsNotEqual('1.2.3', 'v1.2.3'), false, 'leading v prefix on second argument');
assert.strictEqual(areVersionsNotEqual('v1.2.3', 'v1.2.3'), false, 'leading v prefix on both arguments');
}
// 4. semver.neq returns false when versions differ only by build metadata
{
assert.strictEqual(areVersionsNotEqual('1.0.0+build1', '1.0.0+build2'), false, 'build metadata is ignored in equality');
assert.strictEqual(areVersionsNotEqual('1.2.3-alpha.1+001', '1.2.3-alpha.1+002'), false, 'build metadata ignored with prerelease');
}
// 5. semver.neq returns true when prerelease identifiers differ
{
assert.strictEqual(areVersionsNotEqual('1.0.0-alpha', '1.0.0-beta'), true, 'different prerelease names');
assert.strictEqual(areVersionsNotEqual('1.0.0-alpha.1', '1.0.0-alpha.2'), true, 'different prerelease numeric ids');
assert.strictEqual(areVersionsNotEqual('1.0.0-alpha', '1.0.0'), true, 'prerelease vs release');
}
// 6. semver.neq returns true for SemVer class instances with different versions and false for identical versions
{
const s1 = new semver.SemVer('1.2.3');
const s2 = new semver.SemVer('1.2.4');
const s3 = new semver.SemVer('1.2.3');
assert.strictEqual(areVersionsNotEqual(s1, s2), true, 'two SemVer instances with different versions');
assert.strictEqual(areVersionsNotEqual(s1, s3), false, 'two SemVer instances with same version');
assert.strictEqual(areVersionsNotEqual(s1, '1.2.4'), true, 'SemVer instance and different string');
assert.strictEqual(areVersionsNotEqual(s1, '1.2.3'), false, 'SemVer instance and matching string');
}
// 7. semver.neq parses equals-prefixed version strings when loose mode is enabled
{
assert.strictEqual(areVersionsNotEqual('=1.2.3', '1.2.4', true), true, 'loose mode boolean true with different version');
assert.strictEqual(areVersionsNotEqual('=1.2.3', '1.2.3', true), false, 'loose mode boolean true with same version');
assert.strictEqual(areVersionsNotEqual('=1.2.3', '1.2.4', { loose: true }), true, 'loose mode object with different version');
assert.strictEqual(areVersionsNotEqual('=1.2.3', '1.2.3', { loose: true }), false, 'loose mode object with same version');
assert.throws(
() => areVersionsNotEqual('=1.2.3', '1.2.3', false),
/Invalid Version: =1.2.3/,
'non-loose mode throws on equal prefix'
);
}
// 8. semver.neq throws TypeError when an invalid version string is passed
{
assert.throws(
() => areVersionsNotEqual('invalid', '1.2.3'),
/Invalid Version: invalid/,
'throws on invalid v1'
);
assert.throws(
() => areVersionsNotEqual('1.2.3', 'invalid'),
/Invalid Version: invalid/,
'throws on invalid v2'
);
}
// 9. semver.neq throws TypeError when non-string or null arguments are passed
{
assert.throws(
() => areVersionsNotEqual(null, '1.2.3'),
/Invalid Version: null/,
'throws on null v1'
);
assert.throws(
() => areVersionsNotEqual('1.2.3', undefined),
/Invalid Version: undefined/,
'throws on undefined v2'
);
}
console.log('All semver.neq contract assertions passed.');
Seeder d'origine
anonyme