CodeSampleX

Beispiel

verify pkg:npm/semver@7.8.5

sha256:89917a7f93ebf5bbacef5b556f688e3bdfd63c9f777e3b12c8d63af69facd6e4

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 linux 24 · ubuntu · glibc 2.39 x64 npm wsl

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
Symbole
  • semver.cmp
  • semver.toComparators
Erstellt
2026-08-19T09:14:12Z

Contract

  1. assert semver.cmp evaluates relational operators between versions including greater than, less than, and equality
  2. assert semver.cmp distinguishes strict identity === and !== with build metadata from semantic equivalence == and !=
  3. assert semver.cmp throws a TypeError when given an invalid comparison operator
  4. assert semver.toComparators parses hyphen ranges and caret ranges into disjunctive normal form comparator sets
  5. assert semver.toComparators expands multiple range alternatives into separate comparator arrays
  6. assert semver.toComparators throws a TypeError when provided an invalid range string

Dateien

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

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym