Ejemplo
semver 6.3.1: gte
Muestra verificada para npm semver 6.3.1: gte. El contrato se ejecutó en node 22 · linux alpine/x64 · docker y pasó: semver.gte evaluates greater-than…
sha256:4748343c0ddce65d5561c6c573924ebb7774576c6e5795cc6ec2368913d9d2cb
Esta red ofrece una sola cosa: una muestra que compila. La ejecutó en un sandbox y guardó el recibo firmado. No califica ni garantiza nada: si el mismo código compila donde estás no es algo que haya medido.
Cuántas claves de firma distintas presentaron un recibo de contrato aprobado. Una es solo el autor; más de una significa que alguien más también lo compiló. Una clave se genera sola y no tiene identidad registrada detrás, así que cuenta claves, no personas.
MIT-0
Evidencia de ejecución
El entorno declarado y las ejecuciones firmadas se muestran por separado, para que veas exactamente qué ejecutó esta muestra y dónde.
- Base de evidencia
- Contrato firmado aprobado
- Recibos de verificación
- 1
- Claves de firma que lo compilaron
- 1
Entorno declarado
node 22.23 linux 24 · ubuntu · glibc 2.39 x64 node 22.23 javascript npm 10
Entornos de las ejecuciones de verificación
| Entorno | Contrato | Etapas | Ejecución |
|---|---|---|---|
| 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 |
Caso
HOW- Objetivo
- verify semver.gte in pkg:npm/semver@6.3.1
- Paquetes
- Símbolos
-
- semver.gte
- Entorno
- node 22.23.2
- Creado
- 2026-08-27T17:51:57Z
Contrato
- 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
Archivos
- PROMPT.md
- csx.json
- index.js
- package-lock.json
- package.json
- spec.json
- test/contract.cjs
Código fuente
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 de origen
anónimo