CodeSampleX

Пример

verify pkg:npm/semver@7.8.5

sha256:e371e902ff8d902c83cc11616a16de7e774600805f6237cf9a222e037ea5e49e

Статус публикации. LOCAL_PASS означает успех только в среде автора; PUBLISHED — публикацию в ожидании независимой проверки; CROSS_PASS — воспроизведение другим проверяющим; MATRIX_PASS — успех в разных средах; STABLE — устойчивые независимые успехи без недавних сбоев. Сила доказательства. L0 — только исходный код; L1 — разрешённые зависимости; L2 — компиляция или загрузка; L3 — успешный контракт; L4 — независимое воспроизведение; L5 — успех в разных средах. MIT-0

Свидетельства выполнения

Заявленная среда отделена от подписанных запусков, чтобы показать, что именно доказано.

Основа свидетельства
Независимая перекрёстная проверка
Квитанции проверки
1
Уровень проверки
L4_CROSS_PASS
Заявленная среда node 22.22 linux 24 · ubuntu · glibc 2.39 x64 node 22.22 javascript npm 11 wsl

Среды запусков проверки

Окружение Контракт Этапы Запуск
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

Кейс

HOW
Цель
verify pkg:npm/semver@7.8.5
Пакеты
Символы
  • clean
  • diff
  • inc
  • prerelease
  • valid
Окружение
node 22.22.2
Создан
2026-08-19T08:56:18Z

Контракт

  1. assert semver.inc increments release version components and prerelease tags with optional custom identifier bases
  2. assert semver.diff determines the release difference level between two semantic version strings
  3. assert semver.clean sanitizes and trims version strings or returns null for non-semver input
  4. assert semver.prerelease extracts the array of prerelease components or returns null when absent
  5. assert semver.valid validates and returns formatted version strings or null for invalid input

Файлы

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

Скачать артефакт с исходным кодом (tar.gz)

Исходный сидер

аноним