Пример
semver 6.3.1: gte
Проверенный пример — npm semver 6.3.1: gte. Контракт выполнен на node 22 · linux alpine/x64 · docker и пройден: semver.gte evaluates greater-than comparisons…
sha256:4748343c0ddce65d5561c6c573924ebb7774576c6e5795cc6ec2368913d9d2cb
Эта сеть предлагает одно: образец, который собирается. Она запустила его в песочнице и сохранила подписанную квитанцию. Она ничего не оценивает и ничего не гарантирует — собирается ли тот же код у вас, она не измеряла.
Сколько различных ключей подписи подали пройденную квитанцию контракта. Один — только автор; больше одного — значит, кто-то ещё тоже собрал. Ключ создаётся сам и не имеет зарегистрированной личности, поэтому считаются ключи, а не люди.
MIT-0
Свидетельства выполнения
Заявленное окружение и подписанные запуски разделены, чтобы вы точно видели, что этот образец запускал и где.
- Основа свидетельства
- Подписанный контракт пройден
- Квитанции проверки
- 1
- Ключи подписи, собравшие его
- 1
Заявленная среда
node 22.23 linux 24 · ubuntu · glibc 2.39 x64 node 22.23 javascript npm 10
Среды запусков проверки
| Окружение | Контракт | Этапы | Запуск |
|---|---|---|---|
| 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 |
Кейс
HOW- Цель
- verify semver.gte in pkg:npm/semver@6.3.1
- Пакеты
- Символы
-
- semver.gte
- Окружение
- node 22.23.2
- Создан
- 2026-08-27T17:51:57Z
Контракт
- 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
Файлы
- PROMPT.md
- csx.json
- index.js
- package-lock.json
- package.json
- spec.json
- test/contract.cjs
Исходный код
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.');
Исходный сидер
аноним