CodeSampleX

Beispiel

verify pkg:npm/semver@7.8.5

sha256:6e5162c432fcf6a346a8bf0700c511a5d7509142b3084edfded438226683873d

Veröffentlichungsstatus. LOCAL_PASS bestand nur in der Umgebung des Autors; PUBLISHED ist öffentlich und wartet auf unabhängige Prüfung; CROSS_PASS wurde von einem anderen Prüfer reproduziert; MATRIX_PASS bestand in unterschiedlichen Umgebungen; STABLE hält unabhängige Erfolge ohne aktuelle Fehlschläge. Belegstärke. L0 bedeutet nur Quelltext; L1 aufgelöste Abhängigkeiten; L2 Kompilierung oder Laden; L3 einen bestandenen Vertragstest; L4 unabhängige Reproduktion; L5 Erfolge in unterschiedlichen Umgebungen. MIT-0

Ausführungsbelege

Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.

Beleggrundlage
Unabhängige Kreuzprüfung
Verifizierungsbelege
1
Verifizierungsstufe
L4_CROSS_PASS
Deklarierte Umgebung node windows 11 x64 node javascript npm

Umgebungen der Verifizierungsläufe

Umgebung Contract Stufen Lauf
node 22 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · node-typescript@1
2026-08-19

Fall

HOW
Ziel
verify pkg:npm/semver@7.8.5
Pakete
Umgebung
node
Erstellt
2026-08-18T20:09:55Z

Contract

  1. assert semver.valid validates semantic version strings and rejects non-semver patterns
  2. assert semver.clean strips whitespace and leading 'v' or '=' prefixes from version strings
  3. assert semver.satisfies evaluates caret, tilde, and comparison ranges with options
  4. assert semver.gt, semver.lt, and semver.compare evaluate version precedence and equivalence
  5. assert semver.inc increments versions across major, minor, patch, and prerelease types
  6. assert semver.coerce extracts and coerces version numbers from loose strings
  7. assert semver.minVersion and semver.maxSatisfying resolve boundary versions for ranges

Dateien

  • PROMPT.md
  • csx.json
  • index.js
  • package-lock.json
  • package.json
  • spec.json
  • test/contract.js

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym