semver 7.7.4

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 pkg:npm/semver@7.7.4
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:npm/semver@7.7.4

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:0e6d353f02cb324c644220c2ed62ba7c9eb0cc382c08cab96bfdb939cd20b798","contract":["semver.valid returns normalized version for valid semantic versions and null for invalid inputs","semver.clean extracts pure version strings by stripping whitespace and leading prefixes","semver.satisfies verifies whether versions meet semver range expressions","semver.gt, semver.lt, and semver.eq perform relational comparisons between semantic versions","semver.inc increments major, minor, patch, and prerelease versions according to semver rules","semver.major, semver.minor, semver.patch, and semver.diff extract version components and compute differences","semver.coerce coerces unformatted strings into valid semantic versions"],"goal":"verify pkg:npm/semver@7.7.4","kind":"HOW","packages":["pkg:npm/semver@7.7.4"],"schemaVersion":1},"contractCommand":["node","test/contract.js"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"npm","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"npm","schemaVersion":1},"license":"MIT-0","packages":["pkg:npm/semver@7.7.4"],"schemaVersion":1,"subject":"pkg:npm/semver@7.7.4","verifierAdapter":"node-typescript@1"}

{
  "name": "sample-semver",
  "version": "1.0.0",
  "lockfileVersion": 3,
  "requires": true,
  "packages": {
    "": {
      "name": "sample-semver",
      "version": "1.0.0",
      "license": "MIT-0",
      "dependencies": {
        "semver": "7.7.4"
      }
    },
    "node_modules/semver": {
      "version": "7.7.4",
      "resolved": "https://registry.npmjs.org/semver/-/semver-7.7.4.tgz",
      "integrity": "sha512-vFKC2IEtQnVhpT78h1Yp8wzwrf8CM+MzKMHGJZfBtzhZNycRFnXsHk6E5TxIkkMsgNS7mdX3AGB7x2QM2di4lA==",
      "license": "ISC",
      "bin": {
        "semver": "bin/semver.js"
      },
      "engines": {
        "node": ">=10"
      }
    }
  }
}

{
  "name": "sample-semver",
  "version": "1.0.0",
  "private": true,
  "description": "Clean-room verification sample for semver",
  "main": "src/index.js",
  "scripts": {
    "test": "node test/contract.js"
  },
  "dependencies": {
    "semver": "7.7.4"
  },
  "license": "MIT-0"
}

{
  "schemaVersion": 1,
  "goal": "verify pkg:npm/semver@7.7.4",
  "kind": "HOW",
  "packages": [
    "pkg:npm/semver@7.7.4"
  ]
}

const semver = require('semver');

function parseValid(version) {
  return semver.valid(version);
}

function cleanVersion(version) {
  return semver.clean(version);
}

function checkSatisfies(version, range) {
  return semver.satisfies(version, range);
}

function compareVersions(v1, v2) {
  if (semver.gt(v1, v2)) return 1;
  if (semver.lt(v1, v2)) return -1;
  return 0;
}

function incrementVersion(version, release, identifier) {
  return semver.inc(version, release, identifier);
}

function getVersionDetails(version) {
  return {
    major: semver.major(version),
    minor: semver.minor(version),
    patch: semver.patch(version),
    prerelease: semver.prerelease(version)
  };
}

function coerceVersion(version) {
  return semver.coerce(version);
}

module.exports = {
  parseValid,
  cleanVersion,
  checkSatisfies,
  compareVersions,
  incrementVersion,
  getVersionDetails,
  coerceVersion
};

const assert = require('node:assert');
const semver = require('semver');
const {
  parseValid,
  cleanVersion,
  checkSatisfies,
  compareVersions,
  incrementVersion,
  getVersionDetails,
  coerceVersion
} = require('../src/index.js');

// 1. semver.valid and semver.clean
assert.strictEqual(semver.valid('1.2.3'), '1.2.3', 'valid version should return normalized version');
assert.strictEqual(semver.valid('v1.2.3'), '1.2.3', 'valid version with v prefix should return normalized version');
assert.strictEqual(semver.valid('invalid-version'), null, 'invalid version should return null');
assert.strictEqual(semver.valid(null), null, 'null input should return null');
assert.strictEqual(parseValid('1.2.3'), '1.2.3', 'helper parseValid should return normalized version');
assert.strictEqual(parseValid('invalid'), null, 'helper parseValid on invalid should return null');

assert.strictEqual(semver.clean('  =v1.2.3  '), '1.2.3', 'clean should strip leading =/v and whitespace');
assert.strictEqual(semver.clean('~1.2.3'), null, 'clean on range operator should return null');
assert.strictEqual(cleanVersion('  =v1.2.3  '), '1.2.3', 'helper cleanVersion should return 1.2.3');

// 2. semver.satisfies
assert.strictEqual(semver.satisfies('1.2.3', '^1.0.0'), true, '1.2.3 satisfies ^1.0.0');
assert.strictEqual(semver.satisfies('2.0.0', '^1.0.0'), false, '2.0.0 does not satisfy ^1.0.0');
assert.strictEqual(semver.satisfies('1.2.3', '~1.2.0'), true, '1.2.3 satisfies ~1.2.0');
assert.strictEqual(semver.satisfies('1.3.0', '~1.2.0'), false, '1.3.0 does not satisfy ~1.2.0');
assert.strictEqual(semver.satisfies('1.2.3', '>=1.0.0 <2.0.0'), true, '1.2.3 satisfies >=1.0.0 <2.0.0');
assert.strictEqual(checkSatisfies('1.2.3', '^1.0.0'), true, 'helper checkSatisfies returns true for match');
assert.strictEqual(checkSatisfies('2.0.0', '^1.0.0'), false, 'helper checkSatisfies returns false for mismatch');

// 3. Comparisons: gt, lt, eq, neq, gte, lte, cmp
assert.strictEqual(semver.gt('1.2.4', '1.2.3'), true, '1.2.4 > 1.2.3');
assert.strictEqual(semver.gt('1.2.3', '1.2.4'), false, '1.2.3 not > 1.2.4');
assert.strictEqual(semver.lt('1.2.3', '1.2.4'), true, '1.2.3 < 1.2.4');
assert.strictEqual(semver.eq('1.2.3', 'v1.2.3'), true, '1.2.3 == v1.2.3');
assert.strictEqual(semver.neq('1.2.3', '1.2.4'), true, '1.2.3 != 1.2.4');
assert.strictEqual(semver.gte('1.2.3', '1.2.3'), true, '1.2.3 >= 1.2.3');
assert.strictEqual(semver.lte('1.2.3', '1.2.4'), true, '1.2.3 <= 1.2.4');
assert.strictEqual(semver.cmp('1.2.3', '>', '1.2.2'), true, 'cmp >');
assert.strictEqual(semver.cmp('1.2.3', '<', '1.2.4'), true, 'cmp <');
assert.strictEqual(compareVersions('1.2.4', '1.2.3'), 1, 'helper compareVersions returns 1 for greater');
assert.strictEqual(compareVersions('1.2.3', '1.2.4'), -1, 'helper compareVersions returns -1 for lesser');
assert.strictEqual(compareVersions('1.2.3', '1.2.3'), 0, 'helper compareVersions returns 0 for equal');

// 4. semver.inc
assert.strictEqual(semver.inc('1.2.3', 'major'), '2.0.0', 'inc major');
assert.strictEqual(semver.inc('1.2.3', 'minor'), '1.3.0', 'inc minor');
assert.strictEqual(semver.inc('1.2.3', 'patch'), '1.2.4', 'inc patch');
assert.strictEqual(semver.inc('1.2.3', 'prerelease', 'alpha'), '1.2.4-alpha.0', 'inc prerelease alpha');
assert.strictEqual(semver.inc('1.2.4-alpha.0', 'prerelease'), '1.2.4-alpha.1', 'inc existing prerelease');
assert.strictEqual(incrementVersion('1.2.3', 'patch'), '1.2.4', 'helper incrementVersion patch');

// 5. Version extraction: major, minor, patch, prerelease, diff
assert.strictEqual(semver.major('1.2.3-beta.4'), 1, 'major should be 1');
assert.strictEqual(semver.minor('1.2.3-beta.4'), 2, 'minor should be 2');
assert.strictEqual(semver.patch('1.2.3-beta.4'), 3, 'patch should be 3');
assert.deepStrictEqual(semver.prerelease('1.2.3-beta.4'), ['beta', 4], 'prerelease should be ["beta", 4]');
assert.strictEqual(semver.diff('1.2.3', '1.3.0'), 'minor', 'diff between 1.2.3 and 1.3.0 is minor');

const details = getVersionDetails('1.2.3-beta.4');
assert.strictEqual(details.major, 1);
assert.strictEqual(details.minor, 2);
assert.strictEqual(details.patch, 3);
assert.deepStrictEqual(details.prerelease, ['beta', 4]);

// 6. semver.coerce
const coerced = semver.coerce('v42');
assert.ok(coerced, 'coerce should return SemVer object');
assert.strictEqual(coerced.version, '42.0.0', 'coerced version should be 42.0.0');
const coercedHelper = coerceVersion('42.1');
assert.ok(coercedHelper, 'helper coerceVersion should return SemVer object');
assert.strictEqual(coercedHelper.version, '42.1.0', 'coerced version should be 42.1.0');

console.log('Contract tests passed successfully.');